Let i = 31 + -27. Solve 12 = -0*h + i*h for h.
3
Let l(v) = v3 + 6*v2 + 5*v + 2. Suppose 0 = 2*r - 5*r - 15. Let z be l®. Solve 0 = 5*b - z*b - 12 for b.
4
Let i = -11 - -4. Let f = 2 - 12. Let a = i - f. Solve 1 + a = 4*q for q.
1
Suppose -5 = 2*a - 7. Solve 2 = -i + a for i.
-1
Let w(d) = -d3 + d2 - 1. Let n(j) = 13*j2 - 4*j2 - 5 - 8*j**3 - 4. Let t(p) = -4*n(p) + 36*w(p). Let c be t(-1). Solve 3*m = c*m - 1 for m.
1
Suppose s = -s + 4. Solve -q - s = -2*q for q.
2
Let j = -17 + 20. Solve j*s - 5 = -2 for s.
1
Let d = -178 + 186. Suppose 12 = 3*q - 9. Solve -3*f - q = d for f.
-5
Suppose 2*h + 25 = 5*n + 4, -3*h = 9. Suppose -n*v + 3 = 3*l, -2*v + 0 = -2. Solve l = 2*t + 2 - 0 for t.
-1
Suppose -2*i + 4*t = -4*i + 24, 3*i - 3*t = 0. Suppose -s = -2*s - i. Let z be s + 2 + 1 + 1. Solve 2*q - 3*q + 3 = z for q.
3