Let r(z) be the first derivative of z44 + 4*z33 + z**22 + 2*z - 2. Let c be r(-4). Let b be (c - (0 - 1)) + 1. Solve 3*k + b*k - 12 = 0 for k.

4

Let i(o) = 2*o - 2. Let j be i(2). Suppose 4*w - 18 = -j*a, a - 5*w = -6 + 15. Solve 0 = 4*r - 7 - a for r.

4

Let o = -6 + 8. Solve -6*q = -o*q for q.

0

Suppose -2*m + 11 = 1. Suppose -h + 0 = -5, 0 = 5*i + 3*h - 15. Solve i*c + m = c for c.

5

Let q be (-4)/6 + 166. Suppose -7*v + 15 = -q*v. Let w = 4 + 1. Solve w*u = 4*u - v for u.

-3

Let x® = -r2 - 7*r - 7. Let b(y) = 4*y + 4. Let v(m) = -5*b(m) - 3*x(m). Let n be v(2). Let g(k) = -k2 + 5*k. Let z be g(4). Solve t - n = z*t for t.

-5

Let n(z) = z + 7. Let x be n(-7). Suppose x*d = -d. Solve d = 3*m + 6 for m.

-2

Suppose 5*v - 5 = -0*v. Solve 6 - v = m for m.

5

Let h = 44 + -12. Let l = h - 17. Solve 0*y = 3*y - l for y.

5

Let j = 130 + -92. Suppose 2*r + 0 = j. Solve 0 = 5*t - r - 1 for t.

4