Suppose -2*n + n + 23 = 3*k, -4*n + 4*k = -12. Solve n*v - 3*v - 20 = 0 for v.

4

Suppose -24 = v - 28. Solve 0 = v*a - 2*a for a.

0

Let l = -12 - -12. Suppose -4*o = -5*n - 22, 0 = 3*o - 2*n + 2 - 15. Suppose 3*k - 6 = -o*w, k = -k. Solve l*s - s - w = 0 for s.

-2

Suppose 0*c - 3*w - 4 = -2*c, 0 = 5*c - 3*w - 10. Suppose c*y + 2*y = -56. Let b = y + 24. Solve b = h + h for h.

5

Let c = 35 - 15. Suppose a = -3*a + c. Suppose -3*g = -5*g. Solve u - a = -g for u.

5

Suppose -20 = -5*t + t. Let p = t - 5. Let w = p + 1. Solve 0 = -s + 2*s - w for s.

1

Suppose -3 = 2*t - 11. Solve t*c = -3 - 1 for c.

-1

Let s = -4 + 8. Solve -z = -s*z - 12 for z.

-4

Suppose 0 = -b - 0 - 5. Let l = b - -7. Solve -l = 5*w + 3 for w.

-1

Let o be (-4 + 9)/(-10)*(-2 + 0). Solve 4*t = -o + 21 for t.

5