Suppose 8 + 0 = 2*k. Suppose -4*d + k = -4, 4*r = 3*d - 22. Let a = r + 15. Solve -4*m + 5 + a = 0 for m.
4
Let v(g) be the first derivative of -g**3⁄3 + 9*g + 2. Suppose 0 = 2*f - 3*f. Let x be v(f). Solve x*o = 4*o - 5 for o.
-1
Suppose 5*f - 20 = -5*a, 2*a + 3*a - 2*f = -8. Let i = -16 - -33. Suppose -11 = -4*p + i. Solve a = -5*t + 8 + p for t.
3
Let s be 1 + ((-8)/(-3) - 3)*-15. Solve 3*b = -0*b - s for b.
-2
Let s = -44 + 47. Suppose 4*u = 2*q + 12, -5*q - 13 + 43 = 5*u. Solve -g - u = s*g for g.
-1
Let c(y) = -3*y2 + 4*y - 3. Let b be c(2). Let r(v) = v3 + 8*v**2 + 6*v - 6. Let x be r(b). Suppose -4 = -u - x. Solve -2*n = u*n + 10 for n.
-2
Let s = 8 - 8. Suppose -g - 4*g = s. Solve g*c + 2*c - 6 = 0 for c.
3
Let c = -15 - -35. Let g = 24 - c. Solve w + 5 = g for w.
-1
Let t = 4 + 1. Let p = 9 - 4. Suppose 35 = 3*s + p. Solve 0 = -t*z + 5 + s for z.
3
Suppose h = -3*h - 4*r - 12, -r = 3. Let i(k) be the first derivative of 5*k**3⁄3 + k - 1. Let g be i(1). Solve -3*c + 5*c - g = h for c.
3