Let d(x) be the first derivative of -x**7/840 + x**6/360 - x**3/3 - 1. Let u(a) be the third derivative of d(a). Let z be u(-1). Solve 3*n = -z*n + 5 for n.

Suppose 2*g = 5*y, -25 = -5*y - 6*g + 3*g. Suppose -3*q + 35 = y*o, 0 = -o + 5*o - 5*q - 37. Solve 3*w = 1 - o for w.

-4

Let o = 15 - 15. Suppose -4*n + 4*w + 24 = o, 2*w = -n - 3*w - 12. Solve -4*s - n = -19 for s.

4

Let c = 3 + -2. Let k = c + -2. Let o be 6 + (0 - 0) + k. Solve -l + o*l - 8 = 0 for l.

2

Suppose -5*j + 42 = q, 2*j = 3*q - q + 12. Suppose 2*y - j = -4. Solve -i = -0*i + y for i.

-2

Let f be (-15)/(-6) - 4/(-8). Solve 0 = -f*k - 0 + 9 for k.

3

Let a = 5 - 2. Suppose 0*o - 6 = -3*o. Let v = o - -4. Solve n - a*n = -v for n.

3

Suppose -2*x - 12 = -4*x. Suppose -3*k = 5*l - 2*l - x, -18 = -5*l - 3*k. Suppose -4*o + 4*p = -12, -2*o + 4*p - 20 = -l*o. Solve 2*q + o = -0*q for q.

-2

Suppose 5*f - 2*w = -8, f - 5*w + 20 = -0*f. Solve -5*p - 13 + 3 = f for p.

-2

Let c = 13 - 7. Let l = c - 3. Solve 0 = -3*w + 2*w - l for w.

-3

Let q(t) = -t3 + 8*t2 - 7*t + 5. Let d be q(7). Suppose 0 = -2*a + 6*a - 116. Suppose -w - 15 = -3*b, 0*b + 3*w = d*b - a. Solve -12 = f - b*f for f.

4