Suppose -a = -2*k + 5, 0*k = 4*k + 2*a + 10. Let h = 5 - 1. Suppose k = -h*c + 4*x + 32, -5*x - 5 = -c + 7. Solve -5*g - c = -32 for g.

5

Suppose 3*c + 3*l = 5*c + 8, 5*l - 20 = 0. Solve 9 = y + c*y for y.

3

Let z(s) = -s**2 + 11*s - 10. Let u be z(10). Solve k + 0 - 2 = u for k.

2

Suppose a + 0*a = -l - 5, a = 4*l + 25. Let r(o) = o3 + 6*o2 + 2*o - 1. Let y be r(l). Let p = y - -18. Solve -p + 1 = -h for h.

4

Let k(o) = o**2 - 3*o - 7. Let a be k(6). Let p = a - 8. Solve 0 = -p*j - 0*j + 6 for j.

2

Suppose 0 = 2*y - 8*c + 3*c, 3*y - 19 = -2*c. Solve -y*k + 11 = -4 for k.

3

Let i(k) = k**2 - 3*k + 5. Let g be i(3). Solve -g*v + 3 = -2*v for v.

1

Let o(g) = g2 + g + 1. Let i(w) = 6*w2 + 14*w + 13. Let b(v) = i(v) - 5*o(v). Let y be b(-8). Solve c - 1 = -y*c for c.

1

Suppose 0 = -0*w - 2*w. Let m be -1 - 1 - (0 + -6). Suppose -c - c = -m. Solve w = -c*o + 3*o - 5 for o.

5

Suppose 5*d - 32 = 38. Solve -d = -3*v - 5 for v.

3