Let c = -2 - -1. Let m = 1 + c. Let b = m + 1. Solve -o = -b - 2 for o.

3

Let q = -27 + 30. Solve 0 = s - q*s for s.

0

Let h(o) = o - 1. Let j be h(1). Suppose -z + 7 = -j. Solve 2*k = z*k for k.

0

Let p(d) = 2*d - 3. Let t be p(3). Suppose t*j = 13 - 1. Suppose 2*g = -5*k - 16, -g - 1 + 15 = -3*k. Solve -g = -b - j for b.

-2

Let q be 6 + -9 + 6 + 1. Solve z + q = -z for z.

-2

Suppose 0 = 4*o - 0*o + 8, d + 3 = -3*o. Suppose 3*m + 0*z + 3*z - 24 = 0, -4*m + 28 = d*z. Solve 25 = -m*l - l for l.

-5

Suppose 4*u - 8 = -0*u. Solve -1 = -u*t + 1 for t.

1

Suppose 4*t = -t + 15. Solve t - 2 = l for l.

1

Suppose -b - 3*b = -5*i + 17, -5*i + b + 8 = 0. Suppose i + 1 = 2*u, 0 = -g + 4*u. Suppose -h = -2*y + 1, g*y + 0*h + h = 5. Solve 2*w + 3 + y = 0 for w.

-2

Suppose -3*s = -10 - 2. Suppose 2*u + 10 = -2*x + s*u, x - 3u = -15. Let g be (-1)/(-2)-2 - -4. Solve g*p = -x*p for p.

0