Let g(t) = t**3 - t**2 - t + 2. Let s be g(0). Suppose s*v - 9 = 3. Suppose 0*b = 2*b - v. Solve 0 = -b*p - 16 + 1 for p.

Let d = -27 - -39. Solve 8*o - 4*o + d = 0 for o.

-3

Let z(h) be the third derivative of h⁴⁄₂₄ - 2*h³⁄₃ + h**2. Let l be z(6). Solve l + 2 = -4*o for o.

-1

Let f = -213 - -220. Solve -f*u + 9*u = 0 for u.

0

Suppose -4*h - 11 = -31. Solve h + 15 = 4*p for p.

5

Let p = -20 - -31. Let s = -6 + p. Suppose 1 = l - s. Solve 0 = 2*b - 0 + l for b.

-3

Let r(k) = -6*k + 0*k + 7*k. Let x be r(4). Solve -5*i - x = -3*i for i.

-2

Suppose 0 = 25*c - 6*c - 57. Solve c*z + 7 = 19 for z.

4

Let j(l) = -2*l - 10. Let p be j(-10). Suppose 35 + p = 5*a. Solve 3 = -3*x - a for x.

-4

Let v(h) = 2*h**2 - 2*h - 2. Let i be v(3). Solve 0 = -k - k + i for k.

5

Let z = 116 + -111. Solve -8 = z*d + 17 for d.

-5