Let i(w) = -2*w - 6. Let m be i(6). Let n = -16 - m. Solve -3*v - n*v = -10 for v.

Let b(s) = -s3 + 3*s2 + 7*s + 3. Let m be b(4). Solve -a = 4*a - m for a.

3

Let q = -1 + 1. Let x = 2 - q. Suppose 2*g + 10 = 5*a, -2*a - 10 = -0*a + 2*g. Solve a + 8 = x*h for h.

4

Let q = -13 - -18. Suppose -q*h + 25 = 5*v, -2*h + 5 = 4*v - 13. Let g(y) = -y - 2. Let k be g(-4). Solve 0 = -k*s + v*s for s.

0

Suppose 5*u - 4*u - 5 = 0. Suppose 10 = -2*l + 2. Let b = l + 4. Solve b = u*z - z - 16 for z.

4

Let z = -36 - -37. Solve z = -i + 2 for i.

1

Suppose 0 = 2*h + 33 - 37. Solve -3*f = -h*f for f.

0

Let a be (-5)/(-7) + (-6)/(-21). Let l = a - -2. Suppose l*n - 2 = 4. Solve 1 = -k + n for k.

1

Suppose 0*p - 3*d - 25 = -4*p, 4*d = -3*p. Suppose 3*t = 2*x - 7, 3*t + 12 = p*x - t. Suppose -1 = -3*h + 3*j + 14, x*h + 2*j = 18. Solve 2*o - h = -1 for o.

3

Let n(i) = -i - 9. Let x be n(-9). Suppose p + 5*o = -x*p - 10, -4 = p + 3*o. Solve 0 = p*c + 15 - 0 for c.

-3

Suppose 5*h - 197 = -87. Solve 0 = 5*p + h + 3 for p.

-5