Let c = -22 + 31. Let t be (-2)/((-6)/c) - 1. Solve -7 = t*z + 3 for z.

-5

Let c(l) = -l3 - 21*l2 + 19*l - 54. Let j be c(-22). Solve 5*s = 13 + j for s.

5

Let h(y) = -16*y + 116. Let q be h(7). Suppose 0 = 4*s + 2 - 42. Solve q*u - s = 2*u for u.

5

Suppose q - 18 = -16. Suppose d - 4 = -0. Suppose -d*x + 60 = -x. Solve 0 = q*s + 2*s - x for s.

5

Let y(k) = -k**3 + k. Let s be y(-1). Let w = 5 + s. Solve 0 = -r + 2 - w for r.

-3

Let a(o) = 26*o - 1. Let h be a(1). Let g = -2 - -4. Suppose -g = -z + 1. Solve z*k = -2*k + h for k.

5

Let s(b) = -b3 - 4*b2 - b - 2. Let m be s(-4). Suppose -4*u = -7*u + 42. Let d = u + -14. Solve d = -a - m for a.

-2

Suppose -5 + 3 = -j. Solve -2*s - 12 = j*s for s.

-3

Suppose -4 = 5*l - 39. Suppose 12 = 2*j - l*j - 3*b, 3*j - 5*b - 20 = 0. Suppose k = -3*k + 16. Solve -16 + j = -k*t for t.

4

Let j(x) = -x3 + 6*x2 - 6*x + 3. Let u be j(4). Suppose 2*r + 1 - u = 0. Solve 0 = -4*g + 1 - r for g.

-1