Amy drove x miles, and Carl drove 7/1​ less than Amy's distance

The total distance Amy drove is represented as x miles, while Carl drove 7/1 less than Amy, or x - 7/1 miles.