Let d(t) = t**3 + 4*t**2 - t - 4. Let g be d(-4). Suppose 4*q - 4*i - 4 = 0, -2*q + 3*i = -g*i + 2. Solve 0 = -q*h + 2*h for h.

Let c(f) = f3 - 5*f2 + 5*f + 2. Let a be c(4). Suppose 0*p - p + 11 = 0. Suppose 3*b - 1 = p. Solve -a = 2*u - b*u for u.

3

Suppose 0 = -3*b + 2*b - 5*k - 15, -3*b - 5*k = 15. Suppose b*u - 4*l = 3*u - 39, 5*u - l - 42 = 0. Solve -5*o - u = 11 for o.

-4

Suppose 3*p + 16 = -2*a, -5*a + 3 = -2. Let c be 3*p/(-9)*1. Solve -c*g + 3*g = -3 for g.

-3

Suppose g = 2*w + 8, 18 = 2*g - 4*w + w. Let y = 13 - g. Solve c = -1 - y for c.

-2

Let g = -3 + 4. Suppose 0 = w - g. Solve -4*o - 5 = -w for o.

-1

Let u = 7 + -14. Let j = 8 + u. Solve l + j = -1 for l.

-2

Let b(v) = v3 - 2*v2 - 2*v - 4. Let d be b(3). Let x be (-15)/(-3) - (1 + d). Suppose -x*u = -3*u. Solve -3*z = -u*z for z.

0

Suppose -9 = -4*x + x. Suppose -x*c + 30 = -39. Suppose g - 4*f = c, 3*g - 3*f + 10 = 34. Solve k + g = 4*k for k.

1

Let r = 41 + -39. Solve -x + 1 = -r*x for x.

-1

Suppose -5*n + 3*l = 3, 0*l = -n + l - 1. Solve -k + 1 + 1 = n for k.

2