Let u(k) = k**2 + 6*k + 7. Let l be u(-7). Solve -1 - l = -3*t for t.
5
Suppose -5*c + 3 = -3*l - 5, -5*l = 5*c. Solve -4*r = -3*r + c for r.
-1
Let d be (60⁄70)/(1⁄21). Let a = d - 11. Solve -a = 4*q + 5 for q.
-3
Let s be 2 - 0/(-1 - -5). Solve 0*w = -s*w for w.
0
Suppose 2*c + 2*c = -4*x, -2*x = 5*c. Solve x*a - a = 0 for a.
0
Let j = -9 - -8. Let l be 4 + j + 0 + -2. Solve -4*t = -l + 5 for t.
-1
Let u = -7 - 1. Let c be (-1 - (-84)/4)/2. Let h = u + c. Solve -6 + 0 = -h*m for m.
3
Let f be (-8)/12*(-12)/2. Suppose 3*m = 4*u + f + 5, -4*m = -12. Solve -j + 4 - 9 = u for j.
-5
Suppose 0 = 4*m - 7*m. Solve 6 = -2*s - m*s for s.
-3
Suppose 0*f - 15 = -5*f - 5*z, 4*f - 17 = z. Suppose l = 7 - f. Solve 0 = -2*t + 7 + l for t.
5