Let b(w) = w**2 - w - 5. Suppose 1 = 3*k - 8. Let o be b(k). Solve m - 3 = o for m.

Let l(b) = b3 + 3*b2 - 3*b - 6. Let j be l(-3). Suppose 4*d + w - 23 = 4*w, -j*w - 17 = -d. Solve -d*a = -4*a + 6 for a.

3

Let k = 54 - 0. Suppose 0 = 7*i - k - 114. Solve -i = -4*l - 8 for l.

4

Suppose 3*v - v - 4*g = 0, 4*v = 4*g. Solve 0 = -v*r + r + 4 for r.

-4

Suppose 0*x + x = 4. Solve x*q = -0*q for q.

0

Let c = 0 + 0. Let o(a) = 11*a2 + 7*a - 9. Let p(s) = 6*s2 + 4*s - 5. Let v(b) = 3*o(b) - 5*p(b). Let f be v(-2). Solve c = w - 5*w + f for w.

2

Suppose 2*d = 2*n - 6, 3*n = 7*n - 5*d - 12. Suppose -5*o + 3*k + 9 = -9, 2*o - 5*k - 11 = 0. Suppose 0 = -0*p - o*p. Solve -3*y = n - p for y.

-1

Let a(l) = -2*l + 4. Let c be a(-3). Solve 5*i = 5 + c for i.

3

Suppose -4*q + g = -4*g + 10, 0 = q + 5*g - 10. Solve 0*j - j = q for j.

0

Let m(y) = -y + 9. Let u be m(7). Let f be (-15)/(-6)*(u + 0). Solve f*x - 5 = -15 for x.

-2

Let k(d) = 4*d - 3. Suppose 0 = -3*q + 9 - 3. Let r be k(q). Suppose 0*m + 9 = m. Solve 2*u = r*u + m for u.

-3