Let t = -5 + -3. Let q(f) be the first derivative of f3⁄3 + 4*f2 - 1. Let u be q(t). Solve u = 3*k + k - 4 for k.
1
Let w(q) be the second derivative of q5⁄20 + 2*q4⁄3 - 4*q3⁄3 + 6*q2 + 4*q. Let b be w(-9). Solve -k = b*k - 4 for k.
1
Suppose -4*n = 5*o - 49, 7 = 5*n + o - 28. Suppose -2*b = b - n. Solve b*u - 3*u = 0 for u.
0
Let k = 0 + 0. Suppose 0 = 2*a - 28*a + 52. Solve k = -4*n + a*n for n.
0
Suppose 0 = -2*r + 1 - 5. Let l be 114⁄27 - r/(-9). Suppose -3*b - l*k = -3*k - 10, 0 = 2*b + 2*k - 8. Solve -b = q - 8 for q.
5
Suppose 4*j - 2*k - 17 = 21, 5*j = 5*k + 55. Suppose 4*o + 28 = -4*l, 2*o + 5 = 2*l - 5. Let m = o + j. Solve -m = -4*g + 10 for g.
3
Suppose -n + 6 = 2*g - 3*g, 0 = -5*n - 3*g + 30. Suppose 0 = -2*q + n*q. Solve -8 = -q*s - 2*s for s.
4
Suppose 3*m + 4 = 13. Solve -m*k = k for k.
0
Let l = 7 + -1. Solve z = l*z for z.
0
Let y(f) = 2*f + 4. Let n be y(5). Let s = -10 + n. Solve 20 = s*u - 9*u for u.
-4