Let x(k) be the third derivative of k**6/120 - k**5/10 + k**4/6 + 5*k**3/6 + 7*k**2. Let g be x(5). Solve g = 3*y - 0*y + 12 for y.

Let f = 7 + -7. Suppose -2*t - 5 = -13. Suppose -t*i - 3*p - 3 = -6*p, -4*p + 20 = f. Solve i*q - 6 = q for q.

3

Let j = -6 + 5. Let f be -4 - (j + -2) - -9. Suppose -5*z = -7 - f. Solve 3*v + z = 18 for v.

5

Let j = -41 + 74. Suppose -t = -4*t + j. Solve -4*w + t = 3 for w.

2

Let l be 2/(-9) + (-38)/(-9). Suppose 2*r = -4*v + 4*r + 2, -5*r + 25 = 0. Suppose -6*k = 5*h - v*k - 34, h - 3*k + 4 = 0. Solve l*x - h = -x for x.

1

Let x be -16 + 1 + (4 - 1). Let q be 40/x*(-3)/2. Solve q*m - m = -4 for m.

-1

Suppose -v + 1 = 4. Suppose -3*j + i = -15, -j - 4*i = -0*j + 8. Let l = v + j. Solve 2*q + l = 3 for q.

1

Let d(s) = 5 - s - 1 - 2. Let x be d(2). Let t(b) = -b3 - b2 + 5. Let r be t(x). Solve 10*v = r*v + 15 for v.

3

Let s(o) = 5*o - 57. Let y be s(15). Solve 3 = 5*r + y for r.

-3

Suppose 5*h + 32 + 18 = -5*x, 5*h + 32 = x. Let w(j) = j**2 + 8*j + 10. Let r be w(h). Suppose k = -0*o + o - 5, 2*k + 10 = 0. Solve -r*q + 0*q + 6 = o for q.

2

Let q be (2 + 0)/((12/(-27))/(-2)). Solve -y + q = -4*y for y.

-3