Let y(z) = -z3 - 2*z2 - z + 1. Let d be y(-2). Let a = d + 1. Let r = 5 - 1. Solve r = a*u - 0 for u.

1

Suppose 2*d - 8 = -2*d. Suppose -2*k = 3*k - 25. Suppose -s - d*s + 4 = -q, s = -k*q + 28. Solve -s*j = -2*j + 4 for j.

-4

Suppose -b - 2 = -d - 5*b, -d + 2 = 2*b. Suppose 0 = -c + d*c - 2. Solve -c*z + z = 5 for z.

-5

Let z = -3 - -4. Solve 2*y = -z - 1 for y.

-1

Suppose -7*y + 52 = -3*y. Solve 4*g + 5 = y for g.

2

Let g = -13 + 22. Let l(j) = 3*j**2 - j + 1. Suppose -2 - 2 = -4*o. Let z be l(o). Solve 0*x = z*x + g for x.

-3

Let r = 3 - 0. Let x = r - -4. Solve 2*i - x*i - 5 = 0 for i.

-1

Let t = 30 + -15. Suppose -3*q + t = -0*q. Solve -q*g + 2*g = 12 for g.

-4

Suppose 5*v - 2 + 7 = 0. Let p be 1 + (-2 - v) + 0. Suppose -j + 4*y + 20 = p, -y = -4*j - 0*j + 5. Solve 4*x + 4 + 0 = j for x.

-1

Let t(y) be the first derivative of -y**22 + y - 1. Let f be t(1). Suppose f = -4*r + r + 6. Solve -r*u = -0*u - 8 for u.

4