Let y = -6 - -7. Solve 0 + y = -q for q.

-1

Suppose q + 2*m + 0 = 2, -2*q = 2*m - 8. Let n = q + -4. Solve -n*f - 3 = 7 for f.

-5

Let d = 1 - -2. Suppose 0 = -x - n, d*x + 0*x + 8 = n. Let l = 3 - x. Solve -g = -2*g + l for g.

5

Let g be (-2)/6*(-15 - 0). Suppose -b = 3*a + 15, 5*a + 25 = -0*b + g*b. Solve b = 4*l - l + 6 for l.

-2

Suppose s = -3, 4*j - 2*s + 20 = -6*s. Let g be ((-3 - -1) + 1)*j. Solve -2*b = -0*b - g for b.

1

Let x be (-6)/12*-2*1. Solve i - x = -2 for i.

-1

Suppose 21*k = 18*k + 21. Solve w + k = 3 for w.

-4

Suppose 36 = -2*i + 6*i. Suppose 5*o - 3*o + h - 61 = 0, -3*o + 4*h + 119 = 0. Suppose -4*z - 5*x = -o, 3*z + 0*z - 3*x + i = 0. Solve 4*v = z*v for v.

0

Let j = 2 + 0. Suppose -2*v + 5*h = 2*v - 20, -3*h = 0. Suppose 3*k - 3*s - 3 = 0, 21 = v*k - 4*s + 3*s. Solve 0 = -j*b + k - 3 for b.

1

Let p(i) = -2*i - 6. Let y be p(-4). Let s = y + -1. Suppose 13 = -4*c - 5*z, 4*c + z - s = 6. Solve -c*h - 10 = -h for h.

-5