guy is pouring a new patio for his house.
He rents a concrete mixer for $50 per day plus $12.50 per hour. If he is charged $143.75, how long did guy have the concrete mixer?