Suppose -o - 4*o = -30. Let g = 8 - o. Let i(t) = -t**2 + t. Let x be i(0). Solve g*m + x*m = 2 for m.
1
Let v(h) = -h**2 + 11*h - 10. Let q = 22 - 12. Let j be v(q). Suppose -3 = -3*i + a - 4, 4*i - a = j. Solve 2*u - i = -5 for u.
-2
Let t = -14 + 15. Solve -2*k - t - 5 = 0 for k.
-3
Let b = 20 - 0. Suppose 6*k = k + b. Suppose q - k = -q. Solve q*c + 2 + 0 = 0 for c.
-1
Let g be (-2 - -1)*(-12 + 10). Solve 0 = -a + 2 + g for a.
4
Let f(j) = j3 + 15*j2 + 13*j - 14. Let u be f(-14). Solve -3*c - c + 16 = u for c.
4
Let s be (-2)/4 - 147/(-14). Suppose -5*n + s = 5*q, -3 - 17 = -3*n + 4*q. Solve 10 = -3*l + n for l.
-2
Let x(w) = w**2 + 6*w + 6. Let p be x(-4). Let z be (p/4)/((-5)/10). Solve 3*f - z = 8 for f.
3
Suppose 0 = 3*p + 5*p. Let i = 12 + -17. Let f(z) = -z**2 - 7*z - 7. Let v be f(i). Solve -o + v = -p for o.
3
Let g(q) = q3 - 12*q2 - q + 15. Let b be g(12). Suppose 0 = -v - 8*f + 4*f + 16, -12 = -b*v - 3*f. Solve -o + v = -2 for o.
2