Let w be (8*(-3 + 4))/2. Suppose -w*j + 4*s = 0, -5*j = -j + s - 15. Solve j = -3*n + 12 for n.
3
Let y = 115 + -112. Solve -y*w - 17 + 5 = 0 for w.
-4
Let q = 115 - 115. Suppose 5*i - 4*z - 64 = 0, 3*z - 4 = -5*i + 53. Solve -3*d + i = -q*d for d.
4
Suppose 0 = 5*v - 0 - 5. Let a(i) = i**2 + 7*i + 8. Let s be a(-6). Solve v - 3 = -s*w for w.
1
Let a be -1 + 1 + -4 + 7. Suppose -10 - 14 = -a*i. Solve i = -3*w + 17 for w.
3
Let w = -3 - -4. Let v(u) = 4*u + 1. Let p be v(w). Suppose 2*i + i = q + 28, -3*i + p*q = -32. Solve -4*n + n = i for n.
-3
Let o be (-35)/(-5) - (-3 - 1). Solve o = 4*p - 1 for p.
3
Suppose 1 - 7 = -2*o. Solve 20 = -o*d - d for d.
-5
Let k be 2 + -2 + (-3 - -5). Solve k = -q - 1 for q.
-3
Let d(x) be the second derivative of -x3⁄6 + x2 - 3*x. Let a be d(0). Suppose 0 = -2*q + 3*q - a. Solve -i = q*i - 3 for i.
1