Problem: Solve 0 = 31*t + 232 - 77 for t.
And the answer is...
-5