Let d(k) be the second derivative of k3⁄3 - 8*k2 - 10*k. Let s be d(12). Solve -17 = -5*f + s for f.
5
Let n be 12/(-3 - 1) + 7. Solve -2 = 2*g - n for g.
1
Suppose d + 3*d = -12. Let b be d/3 + 2 - -4. Let j(i) = i - 2. Let m be j(5). Solve -m*c - 4 = b for c.
-3
Let s(z) = 2*z - 5. Let t be s(5). Suppose -11 = -3*v + 1. Solve -v*w + 1 - t = 0 for w.
-1
Let j be (-2)/(-11)*-1 + 8⁄44. Solve j = 10*i - 5*i + 20 for i.
-4
Suppose 5*h - 2*h - 6 = 0. Suppose -4*b + 8 = -i, -2*i - h*b + 29 = -b. Solve i = -5*p - 8 for p.
-4
Suppose 4*t + 4*j = 40, 0*t = -4*t - j + 25. Let h be (t/(-2))/((-5)/20). Suppose 2*o + 4 = 4*o. Solve 4*q + h = o for q.
-2
Suppose -4*m + m = -96. Suppose 0 = -3*g + m - 2. Let i = g + -6. Solve 8 - i = a for a.
4
Let j(y) = 3*y**3 - y + 1. Let r be j(1). Suppose 0 = -r*l - l + 24. Suppose 0 = 2*i + i - 9. Solve 12 = i*q - l*q for q.
-4
Let t be (15 + -1)*10⁄4. Let c(y) = -y + 11. Let j be c(6). Suppose -j*x = k - 0*k + 10, 2*k - x - t = 0. Solve -4*v = v + k for v.
-3