Let c® be the first derivative of r3⁄3 - 2*r2 - 2*r + 1. Let p(f) = -f**2 + 10*f - 11. Let l be p(8). Let w be c(l). Solve 10 = 2*m + w*m for m.
2
Suppose -3*m + 0*m = 39. Let i = -18 - m. Let n be (-11)/i - (-1)/(-5). Solve 3*p - n - 1 = 0 for p.
1
Suppose 5*u = 22 - 17. Solve 2*l - 5 = u for l.
3
Let n(p) = -p3 - 4*p2 + 5p - 1. Let b be n(-5). Let w = 7 + -14. Let i be (b + 2)(-2 - w). Solve -i*l + 11 = -14 for l.
5
Let j(z) = -4*z + 4. Let x(b) = 7*b - 8. Let n(t) = 5*j(t) + 3*x(t). Let d be n(6). Suppose d = i - 0. Solve i*l = -l + 12 for l.
4
Let s be ((-24)/(-18))/(4⁄6). Suppose s + 2 = 4*w. Solve j - w + 2 = 0 for j.
-1
Let h = 2 + 2. Let d be 6/h*(-12)/9. Let b be 6 - (0 + (0 - d)). Solve 0 = -b*z - 0*z + 4 for z.
1
Suppose -4l = -l. Let j be 3 - 1(l - -1). Solve -j*y - 5 = -y for y.
-5
Suppose 0 = 12*r - 11*r - 4. Suppose 2*m - 54 + 0 = -h, 3*h = 2*m - 38. Solve -l = r*l + m for l.
-5
Let a = -81 + 83. Solve -g = 1 + a for g.
-3