Let h = 13 + -11. Suppose 3*z - h*b = 18, -5*z = -2*b - 14 - 12. Solve z*a = 5*a - 4 for a.
4
Let s = -32 + 15. Let a = -17 - s. Let z(j) = -4*j3 + 2*j2 - 1. Let n be z(-1). Solve -w = -a - n for w.
5
Let i be ((-3)/(-12) - 0) + (-19)/(-4). Solve 14 = i*m - 1 for m.
3
Let z = -10 - -13. Suppose z*f = f + 12. Solve 0 = f*x - 3*x + 12 for x.
-4
Let h be -3*((-16)/3 + 4). Solve n = h*n for n.
0
Let m = 11 - 9. Let x be (-14)/(-3) + m/6. Solve v + 0 = -x for v.
-5
Let q be (-3)/((-11)/(-7) + -2). Suppose a = 4*r + 1 + q, a + r = 8. Suppose -c = 2*m - a, 0 = 2*m - 2*c + c - 4. Solve -w = -0 - m for w.
3
Suppose -4*y = -t - 0*y, 2*t + 3*y = 0. Solve -h + 5*h = t for h.
0
Suppose 2*m - 20 = -5*f + 6*m, -2*f - 4*m = -8. Solve 2*s + 4 = -f for s.
-4
Suppose -j - 28 = -5*j. Let g(q) = q**2 + 6*q + 3. Let h be g(-6). Solve h*t + 5 = -j for t.
-4