Let y(i) = -i**3 + 8*i**2 - 8*i + 7. Let m be y(7). Let l(s) = -s**2 + 2*s + 1. Let t be l(0). Solve m = 4*v + 11 + t for v.

Suppose -4*q + 5 = -11. Suppose 0 = 4*v - 4*g - 0*g - 16, -5*v + q*g = -18. Suppose 2*u = 2*p - 2*u - 4, 0 = -u - 1. Solve p*x + x = v for x.

2

Suppose 0 = 2*s - 6 - 0. Solve -s + 2 = p for p.

-1

Suppose 2*x - 7 + 3 = 0. Suppose -4*y = y - 10. Let l = 0 + y. Solve l + 0 = -x*j for j.

-1

Let s = -5 + 6. Suppose 2*m - s - 7 = 0. Suppose -25 = -4*n - 5. Solve -n + 1 = -m*u for u.

1

Let i = -9 + 54. Suppose 2*v + v + i = 3*p, -p - v = -5. Solve -y + p = y for y.

5

Let j(b) = 2*b - 2. Let t be j(2). Solve -h + t*h + 5 = 0 for h.

-5

Let c(d) = d3 - 7*d2 + 2*d - 10. Let k be c(7). Solve -k*a = -a for a.

0

Suppose -15 = -3*u + 3*p, 0 = -0*u + u - 3*p - 11. Solve 2*n + u*n - 4 = 0 for n.

1

Suppose k + 7 = 5*n - 4, -n = -3*k - 5. Solve -n*z = -0*z - 2 for z.

1

Suppose 0 = -5*h + 10*h - 20. Solve 1 + 11 = -h*l for l.

-3