Could I make a command block teleport the player to any of (for example) 5 given coordinates?
Solution 1:
The easiest way would be to have entities at each point and teleport the player to a random entity with @r. Only works in loaded chunks though.
By default @r only selects players, so you have to specify a type. For armor stands for example it's @r[type=armor_stand].