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

Let the distance Amy drove be represented by x.

Then, the distance Carl drove is (x - 1/7x)

Given that Amy drove x miles, we have:

x + (x - 1/7x) = x

Combining like terms:

x + 6/7x = x
13/7x = x

Dividing both sides by 13/7:

x = 7/13x

Therefore, Amy drove 7/13 of the total distance.