Suppose -9 = -x - 2*v, -5*x - 5*v = -4 - 16. Let n = x + 6. Solve 0 = -3*z - n - 7 for z.
-4
Suppose 2*u = 7 - 3. Solve -2*v - u + 12 = 0 for v.
5
Suppose s - 23 = -20. Solve s*j = 2*j for j.
0
Let i = 81 + -81. Solve 0 = j - i*j + 4 for j.
-4
Let u be (-6)/(-2 - -5) + 2. Let p = u + 1. Let f be -1 + (-4)/(-2) - p. Solve f + 1 = -t for t.
-1
Let k = -13 - -17. Let i = k + 4. Solve -i = 3*n + 4 for n.
-4
Let g = -9 - -11. Let k be -6*(15/(-6) + g). Solve -8 = -k*p - 20 for p.
-4
Let i(u) = u**2 + 3*u - 8. Let h be i(-5). Suppose 4*n = h*n + 6. Solve n*s = -3 - 12 for s.
-5
Suppose -19*b = -22*b. Solve b = -5*n + 4*n + 1 for n.
1
Let r be 5/(3 - 2) - 1. Suppose 4*x = 3*x + r. Suppose 2*p - 14 = -s, 20 = 4*s + 3*p - x*p. Solve -s = z - 3 for z.
-3