Let a(t) be the third derivative of -t5⁄60 - t4⁄4 + 5*t3⁄3 + 3*t2. Let h be a(-6). Solve 0*u + 2*u = h for u.
5
Suppose -5*t = 2*k - 0*t - 12, -4*t = -4*k - 4. Suppose 12 = 3*c + c. Suppose -3*x + 4*m - 1 = -4, 4*m - 27 = -c*x. Solve x*b - 4 = k for b.
1
Let w© = c**2 + 5*c - 3. Suppose 4*a + 24 = 3*d, 0 = -3*a + d + 3*d - 18. Let f be w(a). Let j = 2 + 0. Solve j*z = 1 - f for z.
-1
Let s(u) = -2*u**2 + 4*u - 3. Let i be s(2). Let n be (i - -7)*10⁄8. Solve 0 = 5*p - n - 0 for p.
1
Let a(i) = 19*i3 - 2*i2 + 1. Let y be a(1). Let n = y + -15. Solve 2 = -n*v + 2*v for v.
-2
Suppose 5*m = f + 29, m - 5*m = 3*f - 8. Solve 2*h - 3 = -m for h.
-1
Suppose -b = -0*b - 3. Solve -4*i + b = -5 for i.
2
Let t = -23 + 20. Let i = 5 - t. Solve -i = -2*h - 0*h for h.
4
Let b be 1/(-6) + 4⁄24. Suppose 5*l - 4*l = b. Solve o - 2 + 0 = l for o.
2
Suppose 0*x + 12 = 3*x. Suppose 0 = 5*t - 1 - x. Let c = 0 - -4. Solve c = k + t for k.
3