Let w = -22 - -23. Solve 0 = 5*s - w + 16 for s.

-3

Let p be 1⁄2*(0 - -2). Suppose 8 = 4*l - 0*l, -5*b = 3*l - 31. Suppose -s + 3 - p = -b*y, 2*y = -s + 2. Solve 10 = -0*m - s*m for m.

-5

Suppose -1 = -4*d + 3. Let f be (d - 2) + 2 + 7. Solve 4*k + f = 2*k for k.

-4

Suppose -16 = 3*d - 28. Solve -d*g = -g for g.

0

Suppose 10 = 2*u - f, 3*u + 2*f + 2 = 3. Solve u = -4*q - 17 for q.

-5

Suppose -4*w = 5*z - 2*w - 20, 0 = -z + w + 4. Let g(m) = m - 4. Let l be g(z). Solve 4*o + l*o = 0 for o.

0

Suppose -4*c + 3 = v, -4*c - 11 = v - 2*v. Let f be (-2 - 0) + v + -1. Solve 0*w + 20 = -f*w for w.

-5

Suppose q - 6*q = -20. Solve 0 = q*g - 8*g + 20 for g.

5

Suppose -2*s - 1 = -2*w - w, 23 = w + 5*s. Solve p = w - 2 for p.

1

Let y be (-1)/(3/(-9)) + 1. Let s = -8 - -8. Suppose 0 = -2*h - s*h - 8, -5*k - 4*h - 16 = 0. Solve -4 = y*n - k for n.

-1