Let t(o) be the third derivative of -o5⁄60 - 5*o4⁄12 - 2*o3 + 2*o2. Let v be t(-8). Solve s = v*s for s.
0
Let j = 10 + -18. Let l(m) = m + 8. Let z be l(j). Suppose -3 = -2*f + a - 2*a, 5*f - a - 11 = z. Solve -3*y - 5 = f*y for y.
-1
Let g be (1 + -1 - 0) + 1. Let r = 1 + g. Solve -r*u = 2*u + 8 for u.
-2
Suppose -4*z - 5*z = -198. Solve -3*s + 7 = z for s.
-5
Suppose -3*h - 1 = 3*u + 8, 4 = -u. Suppose -4 - h = 5*x. Let q = x - -1. Solve q = -5*c + c for c.
0
Let n = 27 - 13. Let b be (-3 + 2)/((-1)/n). Suppose 2 = -4*o + b. Solve 0 = o*h - 2 - 7 for h.
3
Let a = 9 - 4. Suppose 289 = a*q + 69. Suppose q = 3*v - 16. Solve -2*i = 3*i - v for i.
4
Let x = -2 + 7. Suppose 4*n - 37 = x*v, -40 + 16 = -3*n + 3*v. Suppose -n*z + 24 = z. Solve -4*l = -z - 14 for l.
5
Let x(w) = -2*w - 1. Let h(t) = -2*t - 1. Let c(p) = 4*h(p) - 5*x(p). Let s be c(1). Let b(j) = -j + 9. Let d be b(4). Solve 1 = s*a - d for a.
2
Let p(t) = t3 - 4*t2 - 4*t - 2. Let b be p(5). Let y = -1 + 7. Suppose -b*v + y = -2*v. Solve -4*d - v - 10 = 0 for d.
-4