Let d = -18 - -20. Solve d*b - 6*b = 0 for b.

0

Suppose -4*j = -0*j - 20. Solve j*n - 20 = -0*n for n.

4

Suppose -2*y - 3*c = -0*y - 15, 0 = -2*y + 3*c - 3. Let j(b) = b**2 + 5*b - 5. Let m = 0 - 6. Let g be j(m). Solve -g - y = 2*l for l.

-2

Suppose 0 = 4*d - 0*d + 80. Let c = d + 35. Solve 0*l + 5*l - c = 0 for l.

3

Suppose -8 = 7*m - 8*m. Solve -n = 3*n + m for n.

-2

Let u be 13⁄3 + (-2)/6. Suppose 2*s = u*s - 88. Suppose 0 = -5*x + 124 - s. Solve -2*w + x = 2*w for w.

4

Suppose 0 = -2*g + 2 + 4. Suppose 4*z - 5*t = 19, -g*z - 5*t - 9 = -t. Solve -4*l + z = -3 for l.

1

Suppose 0 = 3*t - 5*t. Let u be (0 + t)/1 + 0. Suppose -2*r + 22 = 4*l, -3*r = -u*l + 3*l - 18. Solve s + 2 = -r for s.

-3

Suppose a + 4*a + 5 = 0. Let y = 3 + a. Suppose 0 = 5*x - 4*m - 10, -4*x + m = x - 25. Solve y*j + x = 2 for j.

-2

Let i(f) = f + 5. Let h be i(0). Let v = h + -1. Solve -2*z = -3*z - v for z.

-4