Let n(v) be the second derivative of v4⁄4 - v3⁄3 + v**2⁄2 - 2*v. Let s be n(1). Suppose s*k = -k. Solve -3*g + 2*g + 4 = k for g.
4
Let f = -11 - -7. Let p = f + 6. Suppose 0*d = p*d. Solve 2*n + 2*n = d for n.
0
Let f(q) = q**2 - 6*q + 8. Let o be f(4). Solve -3*c = -o*c for c.
0
Let c(b) = -6 + 5*b + b - b. Let q(t) = -14*t + 19. Let d(x) = 11*c(x) + 4*q(x). Let v be d(7). Solve 3*l = v + 12 for l.
5
Let d = 6 - 3. Let r be -1 + (-3)/d - -3. Solve -r - 24 = -5*l for l.
5
Let f = -9 - -9. Let q = -3 - -5. Suppose o = q*x + 6, -5*x = -3*o + 11 + 7. Solve f = -2*h - o - 0 for h.
-3
Let r = 31 + -28. Solve r*c - 1 = -16 for c.
-5
Let i = 48 - 48. Solve i = -k - k for k.
0
Suppose 5*b + 3 = -x, 8*x + 15 = 5*b + 3*x. Suppose 0 = -4*n + 2*n + 6. Solve b = 4*a - n*a for a.
0
Let m© = c2 + 2*c - 1. Let k be m(-3). Suppose 2*r = -k*r - 28. Let f(y) = y2 + 7*y + 5. Let j be f®. Solve 0*t = -j*t + 5 for t.
1