Let p(k) = k**3 + 8*k**2 + 7*k + 2. Let u be p(-7). Suppose -4*d = 5*f - 3 - 6, -u = -2*d. Let i = f + 1. Solve -6*c = -i*c for c.

Let i(j) = 4*j2 - 3. Let y(s) = -7*s2 + s + 5. Let x(a) = -5*i(a) - 3*y(a). Let q be x(3). Solve 5*h - 4*h = q for h.

0

Suppose j + 0 = 4. Let d(w) = w + 11. Let a be d(-7). Suppose 4 = -2*c + 3*c - f, -c + a = -4*f. Solve -3*n = -j*n + c for n.

4

Suppose -4*p + 5 = -2*p + s, 0 = 4*p - 3*s + 5. Solve p - 3 = -2*o for o.

1

Suppose 3*h + 2h - 10 = 0. Let y be (-3)/6(1 + -1). Suppose 5 + y = l. Solve h*k + 9 = l*k for k.

3

Let i(l) = 5*l - 1. Let q be i(1). Suppose 2*c = -2*k + 10, 0 = 2*c - 0*k - q*k + 14. Solve 2*g - g = -c for g.

-1

Suppose -4*t + 11 = -9. Solve o = 6*o + t for o.

-1

Let o = 5 + 1. Suppose 4*p + 76 = 2*a - o*a, 0 = -a + 2*p - 7. Let h be (-8)/10*a/6. Solve q = -h*q + 6 for q.

2

Suppose 0 = 5*r - 9 - 1. Solve 1 - r = q for q.

-1

Suppose -7 = -2x - 5. Let l be (x(-1 - 1))/(-2). Solve -s = -1 - l for s.

2

Let a be (-9)/15*(4 - -1). Let i = a - -6. Solve -i*u = u for u.

0