Let s(z) be the second derivative of -7*z**4/24 - z**3/6 - 2*z**2 + z. Let b(k) be the first derivative of s(k). Let r be b(-1). Solve -r = -t + 4*t for t.

Let h(x) = -x3 + 3*x2 - 2*x + 1. Let c be h(1). Let b = -6 - -7. Let s be 2 + (b - (0 + c)). Solve s*d + 0*d = -10 for d.

-5

Let t© = 11*c + 1. Let z be t(-1). Suppose -3*j + 2 = -4*j. Let g be j/(-3) - z/3. Solve r + 1 = -g for r.

-5

Let k(d) be the first derivative of -⁵⁄₃*d3 + 3 - ¹⁄₂*d2 - 5*d - ¹⁄₄*d**4. Let o be k(-5). Solve o = -0*c - 2*c - 6 for c.

-3

Let d(t) = -t**2 + 6*t. Let b be d(6). Suppose b = 4*w + w - 20. Suppose -w*z - 4*f + 34 = 6, 5*f - 23 = z. Solve z - 11 = 3*r for r.

-3

Suppose 0*p + 2 = p. Let d = p + -2. Solve 0 = -d*f - f - 2 for f.

-2

Suppose 4*h = -h + 5, 0 = 5*k - 4*h - 11. Solve d - 2*d + k = 0 for d.

3

Suppose 2*c + 2*c + 146 = 2*a, 5*c = -5*a - 145. Let m be ²²⁄₉₉ - c/9. Solve m*o + o - 25 = 0 for o.

5

Let l be ((-77)/14 - -6)*(-1 + 7). Solve 0 = -3*s + 6*s - l for s.

1

Suppose 7*o - 6*o - 13 = 0. Solve -o = -3*r - 7 for r.

2

Suppose -3*n = n - 16. Suppose -9*b = -7*b - n. Solve -7 = b*u + 3 for u.

-5