Let n = -20 - -11. Let t = n - -11. Let s = 0 + 2. Solve s*o = o + t for o.

2

Suppose -4*b = -0*u - 2*u + 8, -4*u + b + 2 = 0. Solve u = 4*w + w for w.

0

Let m = 35 + -35. Solve 1 = c - m*c for c.

1

Let a = -7 + -6. Let t = 8 + a. Let m = t - -9. Solve 2*y = -2*y + m for y.

1

Let x = -5 + 5. Let n(k) = k**2 - 7*k + 6. Let j be n(7). Solve x = -0*o - 2*o - j for o.

-3

Let v be 4 - -1 - (-3 + 1). Let j(m) = -m**2 + 10*m - 6. Let y be j(v). Suppose w - y = -4*w. Solve -w*a = -a for a.

0

Suppose 0 = 3*d - 3*h - 15, 2*h + 11 = 5. Suppose 3*p + 8*c - 1 = 3*c, 4*p + 3*c - 16 = 0. Let v(x) = 2*x - 1. Let r be v(9). Solve d*f - r = -p for f.

5

Suppose 3*f = -2*d + 13, 0*f - 22 = -5*d + 3*f. Solve -4*y = y - d for y.

1

Let s = 10 + -5. Suppose -4*y - 8 = -6*k + k, 0 = -k + 5*y - 11. Solve -1 = k*u - s*u for u.

1

Suppose -2*t + 8 = -4*w, 1 = 4*t + w - 6. Suppose t = -n, -n - 15 - 14 = -3*k. Suppose -4*q + 2*z - 30 = -k*q, 3*z - 35 = -5*q. Solve -5*l - q = 1 for l.

-1