Suppose x + 0*x = 1. Let j be x + 1 + 4 + -3. Solve -j*r = -0*r - 15 for r.

5

Let l be 0 - 1 - 1*-11. Suppose -5*w = -0 - l. Solve w*f = -7 + 17 for f.

5

Let d be (-1 - -16)/3 - 2. Solve -5 = d*u + 7 for u.

-4

Let j = -68 + 70. Solve 16 = -j*o + 6*o for o.

4

Let v(d) = d - 3. Let i be v(5). Suppose i*z - 4 = 6. Solve 0 = 2*h - z*h - 15 for h.

-5

Let t be (-10)/3*(-18)/10. Let o = 11 - t. Solve o*b + 32 = 7 for b.

-5

Suppose 2*r = 3*p - 5, p + 0*r + 7 = 5*r. Suppose -4*y + 3*y = -5*t - 16, -6 = p*t. Solve y = 4*m + 2 for m.

1

Suppose 3*t + 62 = -2*x - 2*x, 2*x - 2*t = -38. Let g be (-4)/6 + x/(-3). Suppose 3 + g = 2*o - 3*s, -4*o + 2*s = -16. Solve -9 = h - o*h for h.

3

Suppose -2*v + 10 = z, -2*z + 3*v = 2*v + 5. Solve z = -3*p + 2*p + 5 for p.

5

Let r(p) = -p + 8. Let v be r(8). Solve v + 3 = k for k.

3