Did Tucker Smith actually sing Cool in the movie West Side Story?

No. Although Tucker Smith played Baby John in the movie, his singing voice was dubbed by Jimmy Bryant.