Let k(y) = y**3 - y - 2. Let c be k(2). Let w = 13 + -19. Let z be w + (-2 - -5) + 3. Solve -2*m = -z*m + c for m.
-2
Let m(d) = -d2 + 4*d + 7. Let w be (-2)/6 - (-2)/6. Let h(u) = -u3 + u**2 + u + 5. Let l be h(w). Let j be m(l). Solve s + s = -j for s.
-1
Let q(v) = v3 - 3*v2 + 3*v. Let x be q(2). Suppose x*y - 12 = 12. Solve 0 - y = 4*t for t.
-3
Let j(k) = k**2 - 2*k - 9. Let l be j(-4). Solve -5*g = -10 - l for g.
5
Let d(i) = -i**2 - 5. Let q be d(0). Let t be (-5 - -3) + 4 - q. Suppose t*k - 10 = 2*k. Solve k*y - 5*y = -15 for y.
5
Suppose -b = 5*y - 3 - 5, 5*b - 12 = 3*y. Let p be (-2 + 8/b)*6. Suppose t - 2*t - 3*n + p = 0, t = 4*n - 3. Solve 3 = -2*m + t for m.
-1
Suppose -20 = -0*r - 4*r. Let m(f) = 2*f - 2. Let l be m(6). Suppose -55 = -r*v - l. Solve 3 = -3*n + v for n.
2
Let n(k) = -8*k2 + 18*k - 21. Let y(v) = -3*v2 + 6*v - 7. Let i(l) = -4*n(l) + 11*y(l). Let p be 1*1/((-2)/14). Let u be i(p). Solve 5*h + 9 + 11 = u for h.
-4
Suppose -3 = -4*f + 13. Suppose -f*r = 2*q - 26, 2*r = r - 2*q + 2. Solve 5*x - 3 = -r for x.
-1
Let k = -26 - -29. Solve -k*g = 8 - 2 for g.
-2