Let u(z) = z3 + z2 + 2. Let q be u(0). Suppose 55 = c - 0*c. Suppose 0 = 5*o - 25 - c. Solve q*d = -2*d + o for d.
4
Let m = -40 + 44. Solve -m*g - 7 = 1 for g.
-2
Suppose -4 = n - 0. Suppose 0 = -3*o - 5*i + 1, 10 - 30 = 5*i. Let c = o + n. Solve -d - c = -6 for d.
3
Let j = 0 + 0. Suppose 3 = -5*m + 13. Suppose -m*b = -j*b. Solve 0 = -b*k - 2*k + 8 for k.
4
Suppose 3*l = -2*l + 20. Let x = -4 + l. Let o(s) = s + 5. Let g be o(x). Solve -6 = g*j - 1 for j.
-1
Suppose 5*q - 2*x = 6, 2*q - 4*x - 12 = -0*x. Solve -4*d = -q*d + 12 for d.
-3
Suppose -2*o + 5 = 5*c - 3*o, 2*c + 4*o - 24 = 0. Let i = c + 1. Suppose -12 = s + 3*j, 0*j = s + j + 4. Solve s = -2*q + q - i for q.
-3
Let z(d) = 2 - 2 + 1 + 5*d2 + 0*d2. Let c be z(1). Let q(x) = x**2 - 5*x - 6. Let k be q©. Solve k*w - 5 = w for w.
-5
Suppose -u + 6*u + 10 = 0. Let s be (2/(-6))/(u/24). Solve w = -w + s for w.
2
Let k = 13 - 8. Solve -k*z = -5 - 0 for z.
1