Let a© be the third derivative of -c6⁄240 + c5⁄24 + c4⁄12 + 2*c2. Let v(b) be the second derivative of a(b). Let j be v(-5). Solve 4*x + j = -x for x.
-4
Suppose -2*w = 5*r - 0*r - 11, -w = r - 4. Solve 0 = 2*k + 9 - r for k.
-4
Suppose -w + 8 = 3*w. Solve -21 + 17 = -w*p for p.
2
Suppose -b - 19 + 1 = 0. Let a be (b/3)/((-6)/8). Suppose 2*q + 2*q - a = 0. Solve -q*m + m = 1 for m.
-1
Suppose -4*w = -0*w - 32. Solve 2*m - w + 2 = 0 for m.
3
Let r = 23 + -8. Let h be 27/r - 2/(-10). Suppose d - h = -d. Solve l - d = 1 for l.
2
Let y(b) = 5*b - 8. Let x(t) = 2*t - 4. Let k© = 9*x© - 4*y©. Let j be k(-4). Solve 14 = j*f + 2 for f.
3
Let u = -6 + 9. Suppose 10 = -1207*a + 1212*a. Solve a = -u*r - 1 for r.
-1
Suppose 4*r = 60 - 12. Suppose r = 3*d + 6. Solve -3 = d*w + w for w.
-1
Suppose 5*t - 7 = l, -3*l = -3*t + 2 - 5. Solve 0*y - l*y = -15 for y.
5