Let f(c) be the third derivative of -c**6/120 + c**5/10 - c**4/8 - 5*c**3/6 - 2*c**2. Let w be f(5). Suppose w*j = j + 8. Solve -x + j = -3*x for x.

Suppose 3*a + 16 = l, -2*a = 4*l - 8 - 0. Suppose -3*i = -4*v - 8 - 5, l*v + 12 = 4*i. Let d be 39i(-6)/18. Solve -3*c - 2 - d = 0 for c.

-5

Let h = 28 - 23. Solve -2*o + 3*o - h = 0 for o.

5

Let j(s) = s3 - 10*s2 + 11*s - 9. Suppose 0*b = -5*b + 45. Let t be j(b). Let g be (-1)/(-3) + (-3)/t. Solve g*l - 6 = 2*l for l.

-3

Let n = 1 + 2. Solve -n*p - 6 = -p for p.

-3

Let s be (-2)/(-4) - ²⁷⁄₆. Let c(z) be the first derivative of z³⁄₃ + 2*z2 + 2. Let d be c(s). Solve d*a = 5*a - 25 for a.

5

Let l = -4 - -8. Solve 0*p + l*p - 8 = 0 for p.

2

Let z(y) = 3*y**2 + 2*y - 2. Let q be z(2). Let i be ⁴⁄₁₄ - (-276)/q. Solve 4*o + o = i for o.

4

Let p(f) be the second derivative of -f⁴⁄₁₂ + 7*f³⁄₆ - 4*f. Let t be p(5). Let y be ((0 + 4)/(-1))/(-2). Solve 0 = -3*q + t + y for q.

4

Suppose 0 = -5*b + 2 + 13. Suppose 0 = -3*g - 4*y - 20, 3*y + 9 = -bg - 6. Let t be (2 + 1)(g - -2). Solve 0 = -0*z + 2*z - t for z.

3

Suppose -w + d = -3*d + 1, -w - 3*d + 20 = 0. Let p(n) = n3 - 2*n2 - n. Let v be p(3). Let q = w - v. Solve -5*z - q + 30 = 0 for z.

5