Let f(g) = g**3 + 5*g + 6. Let q(i) = i. Let k(j) = f(j) - 5*q(j). Let r be k(0). Let n = -2 + r. Solve x - n = -3*x for x.

Suppose -5 = -5*o + 5*g, -5*o = 4*g + g + 45. Let p = o - -7. Solve 0 = p*j - 2*j + 3 for j.

-3

Let q(b) = -b3 + 12*b2 - 8*b - 22. Let a be q(11). Solve 0 = 5*n + 1 - a for n.

2

Let s® = r + 5. Let l be s(0). Suppose 6 = l*w - 4. Suppose -9*q + 4*q = 0. Solve q*z + 2 = w*z for z.

1

Let h be 3 + (-2 - -3) + 0. Suppose a - 1 = -0*a, -h*a = 2*c - 18. Suppose 2*z + w = 6, -5*w + 1 + c = -z. Solve -b = -z*b for b.

0

Let m(s) = -s3 + 6*s2 + 2*s - 9. Let p be m(6). Suppose -5*j = c + 15, -c - 2*c = -j - p. Solve c*b - 3 = -b for b.

3

Suppose 1 = 2*b - 1, 2*b = -3*i + 11. Suppose 28 = -i*a + 94. Solve 0 = -3*d - 7 + a for d.

5

Let p(d) = 3*d2 + d - 3. Let k(t) = 4*t2 + 2*t - 4. Let j(u) = -2*k(u) + 3*p(u). Let s be j(-1). Let c = 5 + s. Solve 25 = -c*y + y for y.

-5

Let d = -28 - -40. Suppose 3*z - 6 - 3 = 0. Suppose -7*c + 25 = -2*c. Solve -c*r + d = -z for r.

3

Suppose 0 = -0*o - 5*o + 30. Let t(g) = -g**2 + 5*g + 7. Let i be t(o). Let h be 12 + i + (2 - 0). Solve w + h = -4*w for w.

-3

Let b = -28 + 40. Solve 0 = 3*r + b for r.

-4