Let n(a) be the third derivative of -1⁄120*a6 + 1⁄2*a3 + 1⁄15*a5 + 3*a2 + 0*a + 0 + 0*a**4. Let u be n(4). Solve -u*o = o for o.
0
Suppose 0 = g, -j = -3*j - 2*g - 14. Let r = j - -7. Solve r = -d + 6*d - 20 for d.
4
Let b = 17 - 16. Solve -b + 3 = u for u.
2
Suppose -4*m - 8 = -0*m. Let r = 0 - m. Let q(v) = 2*v**2 - 3*v + 1. Let n be q®. Solve n*o - 5*o = 6 for o.
-3
Suppose 6*z = 5*z + 7. Solve 3*s + z = -8 for s.
-5
Suppose -f = 3*f. Solve 0 = -3*b - f - 3 for b.
-1
Suppose 0 = -3*w + 12, -w = -4*j + 2*j + 2. Suppose -2*k + j*o = k, 0 = 5*k + 2*o. Solve m + 4*m - 15 = k for m.
3
Suppose 0*o + 4*o - 8 = 0. Suppose 4 = -o*b + 4*b. Solve -m + b = -2 for m.
4
Let n be 0/(1 - 3)*1. Let d be -3*1/((-3)/20). Suppose 3*j + 5*w - d = w, 3*j - 5*w - 56 = 0. Solve r + 3*r - j = n for r.
3
Suppose -63*n - 4 = -65*n. Solve n + 3 = -g for g.
-5