Let g = 12 - -5. Let y = -15 + g. Solve y + 2 = b for b.

4

Let x = -14 - -16. Solve 0 = -x*n - 5 - 1 for n.

-3

Let h be 2*2/(-4)*0. Let t = -9 + 12. Suppose 3*x + 0 - t = h. Solve 0*a - x = a for a.

-1

Suppose 0 = -o - 2 - 10. Let j be o*(-1 - 4/(-6)). Solve -20 = j*w - 0 for w.

-5

Let w(u) = u**2 + u - 11. Let n be w(-4). Solve -5*v + n = 6 for v.

-1

Let d = -36 + 52. Suppose 0*y + d = 2*y. Solve 0*k = -4*k - y for k.

-2

Suppose -2*x = 4*d - 8, 4*x + 1 = -4*d + 13. Suppose 5*h - 5*a - 20 = 0, 1 = -3*a + x*a. Solve -2*w + 15 = h*w for w.

3

Let r = -6 + 11. Suppose -r*k + 0*y + 9 = 4*y, -2*y + 7 = 3*k. Suppose k*f = 4*f + 3. Solve -1 - 8 = f*v for v.

-3

Let k(f) = -f3 - f2 + f + 4. Let r be k(0). Suppose 9 + 3 = -r*j - 4*d, -5*j - 4*d = 10. Let z = 0 + j. Solve 0 = s - z*s + 1 for s.

1

Let n be (0 - -4)/(147). Suppose -m - 2 = n*b, 4*m + b = 3*b + 12. Solve m*o + 1 = 7 for o.

3