Let d(j) = j3 - 4*j2 + 3. Suppose 3*w = 10 + 2. Let u be d(w). Solve k - 12 = -u*k for k.

3

Let v = 6 + -3. Solve v*m - 2 = m for m.

1

Suppose 6*v + 7 = -v. Let l(z) be the third derivative of -z660 - z560 - z412 - z36 - z**2. Let h be l(v). Solve 0 = -t - h*t for t.

0

Suppose -2*m = -3*m + 2. Let p(v) = 2*v**2 - 3*v + 2. Let i be p(m). Suppose -3*q = i*k - 97, -4*k + 93 = q - 6. Solve -5 + k = -5*g for g.

-4

Suppose -c + 3*m + 3 = 0, 3*c + 5 = -5*m - 0. Solve c = 4*r - 3 - 5 for r.

2

Let u = -8 - -9. Let i = u + 4. Suppose g + 2*g - 5*k - 35 = 0, -i*k - 25 = -2*g. Solve -4*w = w - g for w.

2

Let g(v) be the third derivative of v71680 - v6720 + v520 - v2. Let w(s) be the third derivative of g(s). Let x be w(1). Solve 0 = x*d - 4 + 2 for d.

1

Let v(i) = i3 - 6*i2 + 5*i + 4. Let a be v(5). Suppose -33 = -5*w + 3*u - 6*u, -5*w + 32 = 2*u. Solve -2*m - a = -w*m for m.

1

Suppose 0 = 2*b - 0 - 8. Suppose -s + 16 - b = 0. Solve 5*n + 13 = -s for n.

-5

Let b = -5 + 5. Suppose b = -a - 0*a + 38. Suppose -3*w + w = -5*f + a, 0 = 2*f + 3*w. Solve 0*u = -3*u - f for u.

-2