Let n(a) be the third derivative of -1/120*a**6 + 1/2*a**3 + 1/15*a**5 + 3*a**2 + 0*a + 0 + 0*a**4. Let u be n(4). Solve -u*o = o for o.

Suppose 3*d + 1 - 13 = 0. Suppose 3*a - 23 = -2*l, d*l + 2*a = 20 + 6. Suppose l*z = 6*z - 16. Solve 0 = 3*o - o - z for o.

4

Let w = -6 + 8. Suppose 2*r - w*x = -x + 20, 20 = 5*r + 5*x. Suppose 2*b - r = -0. Solve -1 = -b*s + 11 for s.

3

Suppose -4*d = 12, -4*t = -2*d - 6 - 8. Let j be -1 + 58*1/t. Suppose 2*l - j = 8. Solve 5*z - l = -3 for z.

3

Suppose d - 2*x = -28, -2*d + 5*x - 37 = 21. Let n = d - -27. Solve n*o = o - 8 for o.

-4

Suppose -3*p + 25 = 2*j, j + 48 = 3*p + p. Let v = p + -8. Solve 0 = -v*b - 2*b + 5 for b.

1

Let j(s) = -s**2 - 3*s - 1. Let p be j(-1). Suppose 2*o - p = 3. Solve o*m - 3 + 1 = 0 for m.

1

Suppose i + 2 = -h, i + 1 = -3*h + 5. Let b = 8 - h. Solve 0 = -b*f - 3 + 23 for f.

4

Let u be ⁵⁄₁₅ - 4/(-6). Solve -3 - u = -f for f.

4

Let h be 0/(1 + 0 + -2). Solve h = -3*u + 6 + 6 for u.

4

Let f(s) = s - 6. Let o be f(0). Let c = o - -11. Suppose 2*d = 6*d - 12. Solve d = 2*q - c*q for q.

-1