Let b(w) be the third derivative of w**5/60 - 2*w**3/3 - 4*w**2. Let k be b(2). Solve 3*t - t = k for t.

Let w be 0 - 0 - (-1 + 4). Let r = 5 + w. Solve -z = -2*z + r for z.

2

Let k(s) = s + 1. Let j be k(1). Suppose -4*u + 6 = -j*u. Solve 2*b - u*b = -5 for b.

5

Let d(h) = -h + 5. Let j be d(4). Let u(x) = -3 + 2 + 3*x + 12*x3 - 2*x2 - x. Let s be u(j). Solve -31 = -4*y - s for y.

5

Let z(h) = h**2 + h - 5. Let i be z(4). Solve -3*l - i = -8*l for l.

3

Let q(a) = a - 6. Let u be q(8). Solve y - u*y = -5 for y.

5

Suppose 0 = -a - 5, -5*u = -0*u - 5*a - 45. Solve 8 = -u*l - 0*l for l.

-2

Let d = 4 - 4. Let v be d - (2 + -1 - 1). Solve -5*c - 1 - 19 = v for c.

-4

Let a = 4 - 5. Let p be 7 + a + (2 - 4). Suppose p*c + 5*l - 12 = 2*l, 4 = -3*c + l. Solve 5*t - 21 + 1 = c for t.

4

Let y = -13 + 7. Let b be (-9)/y*⁸⁄₆. Solve -5*i - 12 = -b for i.

-2

Suppose c - 2*c + 13 = f, 3*f = -c + 11. Suppose 0 = -j - 2*q + 3 + 9, 3*j + 3*q = 21. Let t be j/4 - (-21)/c. Solve t*s + s = -9 for s.

-3