Let x(v) = -v + 8. Let w be x(5). Let p = w - 6. Let o be 2 - (-5 - p)*1. Solve -o*a + 2*a = 2 for a.
-1
Let c(t) = t - 3. Let o be 2/(1*(-6)/(-15)). Let m be c(o). Solve -3 = -m*z + 3*z for z.
-3
Let i(z) = z3 - 18*z2 + 17*z + 3. Let o be i(17). Solve 5 = -o*y - 10 for y.
-5
Let a(w) = -5*w2 - 1. Let v(o) = -4*o2 - o. Let u(k) = 3*a(k) - 4*v(k). Let x be u(-5). Suppose -x*i - 10 = -7*i. Solve -i*g = g - 15 for g.
5
Suppose -3*u + 6 = -5*x, -3*x - 2*u + 4 = -6*x. Suppose x*f + 2*f = 0. Solve -3*w = -f - 3 for w.
1
Suppose -4*v = -2 - 10. Suppose 2*a + 3 - 28 = -5*i, -i = a - 8. Solve -v*z - 12 = -i for z.
-3
Let b = 36 - 36. Solve b = -4*g - 0*g + 12 for g.
3
Let n(h) = -5 + 2 - 3 + 11*h - h**2. Let r be n(10). Suppose 2*k = u + 10, 0*k - 3*k = r*u - 15. Solve -3*y + y + 8 = u for y.
4
Let m = 5 - -2. Solve 1 = 4*q - m for q.
2
Let s = -34 - -34. Solve s = -8*k + 5*k + 6 for k.
2