Let q(n) = n**3 - 3*n**2 - n + 3. Suppose -16 = -s - 4*s - 4*z, 0 = s - 5*z + 20. Suppose s = 6*k - 5*k - 3. Let y be q(k). Solve 4*f = -y*f for f.

Suppose 4*c = 16 - 4. Let q = 4 + -2. Let o = c - q. Solve -a - o = -2 for a.

1

Let f(m) = -m - 9. Let o be f(-11). Solve y - 2*y = o for y.

-2

Let r(k) = -k2 - k + 5. Let g© = -c3 - 6*c**2 - c - 6. Let a be g(-6). Let q be r(a). Solve -q = -4*b - b for b.

1

Let a = -1 - -6. Let h(i) = -i + 7. Let j be h(a). Suppose -2*q = -j*o, 6*o = 2*o - 3*q. Solve o = -0*s + 4*s for s.

0

Suppose 2 = k + 5*a - 7, 4*k + 5*a - 21 = 0. Suppose 0 = 2*t - k. Solve n + 0 - t = 0 for n.

2

Let f = -130 + 142. Solve 2 = 2*k + f for k.

-5

Suppose 21*k - 20*k = 3. Solve 0 = -2*c - 3 - k for c.

-3

Let s be 2/(-8)*(3 + -3). Solve s*x + 4*x = -12 for x.

-3

Let z = -49 - -65. Solve -z = -3*w - 7 for w.

3

Suppose d = t + 4*d - 4, 5*d = 5*t - 20. Let v = t + -4. Solve v*g - g = 0 for g.

0