Let a(y) = -2*y3 - 2*y2 - 1. Let l be a(-2). Suppose -l*x + 20 = -2*x. Solve x*o + 4 = -4 for o.
-2
Suppose -2*u + 65 = -0*b + 5*b, 5*b - 85 = 2*u. Suppose w - 3*w = 4. Let t(a) = 2*a**2 + 4*a + 3. Let j be t(w). Solve b = 2*s + j*s for s.
3
Let l(t) = -6*t - 1. Let f(d) = -d. Let v(u) = u3 + 4*u2 - 2. Let i be v(-4). Let b(h) = i*f(h) + l(h). Let a be b(-1). Solve a*g = -g + 4 for g.
1
Let v = -12 + 24. Solve s = 4*s + v for s.
-4
Suppose -5*z - 6*m - 6 = -2*m, -5*z + 22 = -3*m. Solve -a - 3 - z = 0 for a.
-5
Let x = -10 + 19. Suppose 4*v = 4*b - 8, 5*v + 2*b - 16 = x. Solve -v*r - 2 = 4 for r.
-2
Let n = 6 + -4. Suppose -m = 5*r - 21, -m + n*r = -3*m + 10. Let a be 5*1/(5⁄4). Solve x + m = -a for x.
-5
Suppose 23 - 79 = 2*y. Let f = -18 - y. Let d = f + -7. Solve -d*h - 8 = h for h.
-2
Suppose 8*n = 4*n + 44. Let l = n - 6. Solve -l*o = 15 + 10 for o.
-5
Let n = 4 - 10. Let g be (4 - 1) + n + 3. Solve g = -5*t - 6 + 11 for t.
1