Let u(q) be the second derivative of q5⁄20 - q4 + 11*q3⁄6 + q2 - q. Let j be u(11). Suppose -3*c = -j - 16. Solve 0 = -5*z + 21 - c for z.
3
Let k = 1 + 5. Let b be 2 - (-2)/(k/9). Solve 4*y - 2 = b*y for y.
-2
Let y = -8 + 9. Suppose 0 = -d + y - 0. Solve d = -4*w + 5 for w.
1
Let d(p) = -4*p2 - 2 - p + 3 + 2*p2 + 3*p**3. Let t be d(2). Solve t = -2*j + 5*j for j.
5
Let p(k) = 3*k**2 + k. Let h = -7 - -11. Suppose 4*t - 19 = -3*i, 2*i + 3*t = h + 10. Let n be p(i). Solve 10 - n = 2*g for g.
3
Suppose 3 = 4*n - 5. Suppose 0 = m + 3*m - 24. Suppose -10*l + 12 = -m*l. Solve l*b = n*b for b.
0
Suppose -8 = c - 3*j, -3*c - 3*j = 79 - 7. Let g = c - -20. Solve -m - m = g for m.
0
Suppose 0 = 2*n - 12. Suppose f - 4*u = n*f - 32, -4*f + 40 = -4*u. Solve f = -0*h - 2*h for h.
-4
Let o© = -c3 - 2*c2 + 3*c + 3. Let n be o(-3). Solve -2*f - n*f = -15 for f.
3
Let o be (-42)/12*(-4)/7. Suppose 5*d + 5*g - 23 = 3*d, -4*d + o*g + 10 = 0. Solve 2*i - i = d for i.
4