Let m(x) be the second derivative of -x5⁄20 - x4 + x**2⁄2 + 2*x. Let k be m(-12). Solve 0 = -3*a - 10 + k for a.
-3
Suppose 0 = 5*i - i - 12. Suppose 0 = 4*t - i*t - 5. Solve -t*z - 22 - 3 = 0 for z.
-5
Let c(u) = u3 + 13*u2 + 11*u - 12. Suppose 63 - 3 = -5*x. Let o be c(x). Solve -2*v + 4*v + 6 = o for v.
-3
Suppose -2*a = 5*g - 2*g - 14, a - g - 12 = 0. Solve 0 = -0*p - 2*p + a for p.
5
Let q(v) = -v3 - 6*v2 - 7*v - 7. Let c be q(-5). Suppose -c*y = -y. Suppose 0*f = -3*f + 9. Solve y*g - f = g for g.
-3
Suppose 2*k - 3 = -k. Let o be (k - 2⁄4)*10. Suppose -b = -o*b. Solve -a = -b*a for a.
0
Let j(b) = b3 + 6*b2 - 6*b + 8. Let u be j(-7). Solve d = 3 - u for d.
2
Let o = 88 - 86. Solve -2*m - o*m - 4 = 0 for m.
-1
Let q = -72 - -92. Suppose -5*w = 7 - 17. Solve 6*d - w*d = q for d.
5
Let q be (-16)/(-10) + (-4)/(-10). Let h be q*(-31)/(-6)*3. Suppose 3*y + s - 18 = 0, 4*y = 3*s - 2*s + h. Solve 1 = -3*o + y for o.
2