Let b(s) be the third derivative of s**4/12 - 2*s**3/3 + s**2. Let y be b(3). Let v(w) = w**3 + 2*w**2 - 2*w + 5. Let t be v(-3). Solve -t*l + 8 = -y for l.

Let r(j) = -2*j - 5. Let w be r(-5). Suppose -w*v + 22 + 13 = 0. Solve v*f - 3*f = 12 for f.

3

Let t = -20 + 24. Solve 11 = -t*b - 5 for b.

-4

Let y(d) = 3*d**2 - d. Let t be y(-1). Solve 0 = 2*q + t for q.

-2

Suppose -4*h = -0*h + 16. Let q = 6 - h. Solve 0*o + 2*o = q for o.

5

Suppose -21 = -12*y + 5*y. Solve -y*w - 2*w + 5 = 0 for w.

1

Let b(j) = 16*j - 3. Let z be b(2). Suppose 0 = 31*v - z*v. Solve 0 = -v*l - l + 3 for l.

3

Let i = -21 - -47. Let v = i - -4. Suppose -v = -2*t - t. Solve 0 = -0*z - 5*z + t for z.

2

Suppose -3*w - 2*c + 2 + 2 = 0, -4*w = -3*c + 6. Let t(x) = x. Let j be t(-2). Let q be (j/(-8))/((-1)/(-4)). Solve -h + q + 1 = w for h.

2

Let p® = -6*r + 1 + 4*r - 2 + 3*r**2. Let t be p(-1). Suppose -t*a + 9 + 3 = 0. Solve 2 + 1 = a*v for v.

1

Suppose -f + 3 = 0, 2*f + 3 = 3*j + f. Solve 2*b - j = 2 for b.

2