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 -z6⁄60 - z5⁄60 - z4⁄12 - z3⁄6 - 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 v7⁄1680 - v6⁄720 + v5⁄20 - 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