Let v be 12/30 - (-2)/(-5). Let p(d) be the third derivative of 5*d**4/24 - d**3/6 + d**2. Let z be p(1). Solve z = o - v for o.

Suppose a + 76 = 4*v, -48 = -6*v + 4*v - 2*a. Suppose 2*p - 2 = -l, 0*l - 2*l + 3*p = 3. Let d = l - -6. Solve -d*y + v = -2*y for y.

5

Let r(z) = z**2 - z - 1. Let x be r(0). Let n be (-10)/(-1) - (x - 0). Solve n = -4*c - 5 for c.

-4

Let m = -24 + 25. Solve z = m - 5 for z.

-4

Let i(k) = k - 1. Let s be i(3). Suppose 0 = 2*q + s*p - 20, -29 + 5 = -3*q - p. Solve 4*a = q - 23 for a.

-4

Let b(a) = a3 - 4*a2 + 4*a + 1. Let w be b(3). Suppose -q = q - w. Solve -q*n + 0*n = 10 for n.

-5

Let c(f) = 2*f**2 - 2*f + 3. Let w be c(2). Let i(b) = b + 6. Let x be i(9). Suppose -x = -4*g + g. Solve 0 = -g*t - 13 - w for t.

-4

Suppose 0*x - 2*x + 3*b = -25, 5*b = -5*x + 50. Suppose 5o + 12 + x = h, -h = -o - 7. Let j be 1(2 + -1) + h. Solve j*r - 15 = r for r.

5

Suppose x - 7 - 5 = 0. Suppose -x = -2*v + 8. Suppose 0 = 5*y - v. Solve -t + y = t for t.

1

Let t(d) be the third derivative of d⁶⁄₁₂₀ - d⁵⁄₁₅ - d⁴⁄₆ + d³⁄₃ + 3*d**2. Let l be t(5). Solve 0 = -5*k + l + 13 for k.

4

Suppose 0 = -b - 0*b + 21. Suppose x - b = -5*a, 2*a = -0*a - 2*x + 10. Solve -t = a*t + 25 for t.

-5