Let z(f) be the second derivative of f**4/12 + f**3/6 - f**2 - f. Let t be z(-5). Suppose -4*d - 6 + t = 0. Solve d = y + 2*y for y.

Let u be 2 + 1 + (3 - 3). Let i(d) = 0*d + 4*d - 2*d + 12 - u*d. Let p be i(9). Solve 0 = -v - p + 2 for v.

-1

Let h = 3 - 17. Let y = h + 21. Suppose x - y = -4. Solve -4*s + 23 - x = 0 for s.

5

Let n = 6 + -4. Let o be n/7 - 57/(-21). Suppose g - 4*g = -6. Solve d + g*d = -o for d.

-1

Suppose 0*r + 70 = 7*r. Let i(f) = 7*f3 - 2*f2 + 2*f - 1. Let k be i(1). Solve -k*w - r = -w for w.

-2

Let q = -7 - -8. Suppose -3*m - 2*y - q = 0, 5*y = 2*y - 6. Solve 1 = w - m for w.

2

Let k(v) = -v3 + 8*v2 + 2*v - 12. Let p be k(8). Solve p*h = 9*h for h.

0

Let d = -37 + 42. Solve -d*x + 3*x = -2 for x.

1

Suppose 0 = -3*k + 2*f + 16 + 1, 3*f = -5*k + 3. Solve -k = 2*q - 3*q for q.

3

Suppose -v + 4*v + 7 = 4*y, 35 = 5*y + 5*v. Let g = -7 + 19. Suppose 6*x - 5*x = 0. Solve x*u = y*u + g for u.

-3

Let l(n) = -18*n - 1. Let v be l(-1). Suppose 3*k + 5 = v. Suppose -2*x + 3*y = 0, 3*y = -k*x + 2*y. Solve -2*t - 2 - 4 = x for t.

-3