Let v(u) = u3 + 5*u2 - 7*u - 4. Let w be v(-6). Let y = -6 + 22. Let f be y/9 - (-4)/18. Solve -4 = w*n - f for n.

-1

Suppose 0 = 4*w - 4*n + 4, 2*n + 7 = w + 4*w. Let o = 58 + -24. Let u = -14 + o. Solve -2*q = w*q + u for q.

-4

Let b = -2 - 0. Let f = b + 17. Solve c + f = -2*c for c.

-5

Suppose 0 = -2*c + 10 - 6. Solve -3 = h + c for h.

-5

Suppose a - 6*a = 5*l, 2*a - l = 3. Solve -a = 4*s + 11 for s.

-3

Suppose 5*u - 164 + 39 = 0. Solve 0 = -2*y - 3*y - u for y.

-5

Let x be (-4 - -3)/((-1)/4). Solve -x - 5 = -3*s for s.

3

Let j be (-1 + 1)*(-4)/(-12). Suppose -i + 0*i = j. Solve i = 2*d + 2*d for d.

0

Let v(f) = -2*f - 1. Let c be v(-1). Solve -4*k - c = -13 for k.

3

Suppose 47 = -4*b + w, 5*b - w + 33 + 25 = 0. Let t(j) = 7*j + 1. Let x be t(2). Let h = b + x. Solve 0 = 2*q - q + h for q.

-4