Suppose -12 - 7 = -y. Suppose -5*g + 0 - 5 = 0, -4*g = -5*x + y. Let z be 4 - x - (1 + -2). Solve -z*u = 2*u + 20 for u.

Suppose -7*o + 43 = -34. Let c = -4 - -9. Suppose -o = c*f - 4*p, -p = 4*f - f - 7. Solve -9 = -5*s + f for s.

2

Let z = 12 + -12. Solve 4*b + 16 = -z*b for b.

-4

Let d(o) = -2*o + 3. Let f be d(2). Let i = f - -7. Solve 3*j - 6 = i for j.

4

Let g = -12 - -15. Let z(v) = 2 + 6*v + v2 + 2 + v2. Let i be z(-4). Solve g*c + 0*c = i for c.

4

Let n = -31 + 43. Solve 0*y = -3*y + n for y.

4

Suppose 0 = -q - 3*q. Suppose 0 = -2*y + 8 - q. Let v be 2/y + 2/(-4). Solve 2*r - 9 + 3 = v for r.

3

Suppose -2 - 7 = -3*n. Solve 2*y - y = n for y.

3

Let b(u) = u - 2. Suppose 0 = q - 2. Let f be b(q). Solve f = 5*h - 2*h for h.

0

Let k(t) = t3 - 7*t2 - t + 10. Suppose 0 = -2*a + 3*h + 11, -3*a + 2*h + 25 = 6*h. Let j be k(a). Solve 0 = -3*u + j for u.

1

Suppose -3*i - 42 = -3*d, -5*d = -3*d - 3*i - 30. Solve -3 - d = -3*k for k.

5