Let n = 17 + -17. Solve -8*k + 3*k - 15 = n for k.

-3

Let r = 4 - -16. Solve f + r = -4*f for f.

-4

Suppose -4*d + 2*d + 4 = 0. Let r = -8 + 80. Suppose -d*g = -5*g + r. Solve 5*l - g = -4 for l.

4

Suppose -21 = -3*q + 6. Solve -2*s - q = -5*s for s.

3

Let g be (-2 + -2)/(6 - 10). Suppose 3*o - 13 = -g. Solve -2*p - 14 = -o for p.

-5

Let o(h) = h3 + 9*h2 + 8*h + 3. Let g be o(-8). Suppose g = -4*k + v + 19, 5*k - 5*v - 5 = 0. Solve 8*t + k = 3*t for t.

-1

Suppose -5*t = -s - 7, -3*s - 2*t + 1 = -6*t. Suppose 0 = s*r - 7*r. Suppose -2*k + 1 + 1 = r. Solve k = -3*y + 4 for y.

1

Let i = 19 + -20. Let d(b) = b3 + b2 + b + 1. Let r be d(i). Suppose 0*k = 4*v - 2*k - 12, -3*k = 0. Solve -v*y = -r*y + 6 for y.

-2

Suppose 8 = -2*n - 0*n. Let l be 936 + 1/n. Solve l = -0*t - 2*t for t.

0

Let n = 11 + -9. Let d be (2 + n/(-2))*0. Solve d = -4*w + 3 - 11 for w.

-2