Let v(x) be the first derivative of -x4⁄4 + 7*x3⁄3 - 5*x**2⁄2 - 4*x + 1. Let m be v(6). Let c be (7/(-14))/(m/(-12)). Solve 0*o - c = o for o.
-3
Suppose 5*i = -0*i + 10. Suppose 5*a = i*a. Solve 0 = -a*h - 5*h for h.
0
Let r = -3 + 5. Suppose -d = -2 - r. Solve 7*c - 12 = d*c for c.
4
Let w(d) = d3 + 5*d2 + 3. Let r be w(-5). Suppose b - 2*b - 177 = -4*y, 4*y - 157 = -r*b. Let f be (-4)/(-6) + y/3. Solve -6*m + f = -3*m for m.
5
Let q be ((-16)/(-10))/((-1)/(-5)). Suppose -3*i = g - 5, 4*g + q + 2 = 3*i. Solve 4*z + 2 = -i for z.
-1
Let s = -5 + 8. Suppose r = 4 + s. Solve r*n = 4*n - 6 for n.
-2
Let p = -13 + 13. Solve -4*c = -p*c + 12 for c.
-3
Suppose -v = v - 3*f - 47, 0 = -v - f + 31. Suppose 4*g = -5*w + v, 3*g = 3 + 3. Solve 0*k + w*k = 8 for k.
2
Suppose m = 2 - 1. Suppose l = 4*b - 4*l + 5, 5*b - m = -l. Suppose b = -2*r - 3 + 1, -r = 3*j - 5. Solve -a - j = a for a.
-1
Let d be (0 + 1)*0/4. Suppose 2*l + l - 60 = d. Solve -l = -4*w - 0 for w.
5