Let t = 3 - 1. Let s = 0 + t. Suppose -s*c - 2*a = c - 6, 0 = -c + 2*a - 6. Solve c = 2*l + l for l.

0

Let i be (-2 - -2)/(2 + -4). Solve i = 2*s - 0*s + 4 for s.

-2

Suppose p + 11 = 4*k - 2*p, 5 = 3*k + p. Suppose -v + 3*l + 12 = 0, 3*v - l + 2*l + 4 = 0. Solve v*q - k*q = 0 for q.

0

Let s(q) = q + 4. Let f be s(-2). Suppose 2*a + 6 = -5*m, -3 = -4*a - f*m + 1. Suppose 2*p + 0*p - 24 = -a*o, 12 = o - 3*p. Solve 0 = -2*n - 2*n + o for n.

3

Suppose 0 = -4*t - 5*i + 23 - 3, 5*i - 20 = -2*t. Solve -4 + t = -m for m.

4

Let d be -4 - (-5)/(1599). Solve -4 = 5*y - d for y.

5

Let o(t) = t + 1. Suppose 5*f + 3 + 12 = 0. Let z = f + 4. Let m be o(z). Solve 3*v = -m*v + 20 for v.

4

Let n be ((-15)/10)/(2/(-4)). Solve 0*h - 3*h + n = 0 for h.

1

Let z = 0 - -2. Let r(p) = p. Let b be r(1). Suppose 4 - b = j. Solve 0 = -z*n + j*n for n.

0

Let j = 4 + -1. Let o(s) = -1 + j + 0 + s + s**3. Let d be o(0). Solve -4*p + 14 = d for p.

3