Problem: Solve -31 = 12*t - 7 for t.
And the answer is...
-2