Problem: Solve 253*v = 9691 - 5137 for v.
And the answer is...
18