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

Let l = -20 + 25. Solve 0 = -2*p + 5 + l for p.

5

Suppose d = 4*p + 26, 0*d + 2*d - 4*p = 32. Solve -m - 10 = -d*m for m.

2

Suppose 5*t = -10, -4*z + 18 = 4*t - 3*t. Suppose 0 = -2*r + 2, -z*r + 1 = 3*v - 5*v. Let k = 1 - -1. Solve -6 + v = -k*m for m.

2

Suppose -t + 4 = 2. Suppose -3*q = 5*j - 32, -t*j + 4*j - 24 = -4*q. Suppose d - 36 = -j*p + 23, -4*p - 3*d = -57. Solve 0 = 3*a - 0 + p for a.

-5

Let a(l) = -l**2 + 7*l - 2. Let s be a(6). Let c = 6 + 1. Solve c*i = s*i + 3 for i.

1

Suppose -5*c = -c + 20. Let p = c + 5. Solve -2*m + 0*m - 8 = p for m.

-4

Suppose -s = -1 + 6. Let l be ((-8)/10)/(1/s). Solve y = -y + l for y.

2

Let b = 9 - 6. Let j(o) = o3 + 5*o2 - 9o - 10. Let u be j(-7). Let f be u/12(-16)/3. Solve -2*q - f = b*q for q.

-4

Let w(a) = -a3 + 2*a - 1. Let i be w(1). Let q(m) be the second derivative of m⁴⁄₁₂ - m³⁄₆ - 2*m2 + 8*m. Let y be q(-2). Solve y*k + 2*k = i for k.

0

Let q be (3 - 3)/(1 - 2). Solve q = -3*w + 7*w + 8 for w.

-2