Leo took an Uber to get to football practice. Uber charged $1.25 per mile (m) and he gave the driver a $5.00 tip. If the total trip was $16.25, how many miles did he travel to football practice?