The total price of nachos for a group of people at the amusement park was $112.50. Each person paid $2.50 to have nachos.

How many people were in the group?