Solving proportion involving mileage and gas consumption