Let w(s) be the third derivative of s5⁄60 - s4⁄12 + s3⁄6 + 4*s2. Let z be w(3). Suppose 4*j + z*o = 4 - 0, 0 = 4*j + 2*o - 8. Solve 8 = -j*t - t for t.
-2
Let x = 54 + -26. Suppose -f = f - x. Solve -3*o = 1 + f for o.
-5
Suppose 3*f = f. Let d(w) = -w**2 - w + 2. Let y be d(f). Let n(x) = -2*x. Let z be n(-1). Solve -z*c + y + 6 = 0 for c.
4
Let s(v) be the third derivative of v6⁄120 + v5⁄15 - v4⁄24 - 2*v3⁄3 + 3*v**2. Let m = 3 - 6. Let a be s(m). Solve -a*z - 12 = -4*z for z.
-3
Let m = 19 + -19. Suppose m = -3*t - 8 + 14. Solve -3*x + t = -x for x.
1
Suppose -4*t + 4 + 0 = 0. Suppose -4*q - 1 = -x, t = -x + 2*x + 5*q. Let z = 3 - 0. Solve 0 = -4*i + x + z for i.
1
Suppose 2*q = -3*d, 4*d + 4 = -q - 1. Let k = d + 8. Solve -a - a + k = 0 for a.
3
Let v(t) = -t**2 - 9*t + 13. Let u be v(-10). Solve -3*m - u = 9 for m.
-4
Let j be 22*(-4)/(-8) + 1. Suppose 5 = n + 1. Solve n*g = -0*g - j for g.
-3
Suppose -4*s = -6 - 2. Let k(y) = -y**2 - 8*y + 9. Let r be k(-11). Let v be ((-6)/(-9))/((-2)/r). Solve -s*h + 4 - v = 0 for h.
-2