Let r(s) be the third derivative of -s6⁄120 + s5⁄20 + 5*s4⁄24 + s3⁄6 - 3*s**2. Let x be r(4). Solve 2*z - 3 = x*z for z.
-1
Let x be 1 - (4 + 24/(-4)). Suppose i + 28 = 5*i + 2*t, -x*t = -i + 14. Solve 0*u + i = 2*u for u.
4
Let n(p) = -p - 2. Let t be n(-6). Let s = t - -3. Solve -1 + s = -2*b for b.
-3
Let m(k) = -5*k3 + k2 - 4*k - 5. Let d be m(-1). Solve -3*t - 2*t + d = 0 for t.
1
Let k(n) = -n. Let z(l) = 2*l + 1. Let m(x) = -k(x) - z(x). Let d be m(-2). Solve 3*s + d = -11 for s.
-4
Suppose 0 = h - z - 2*z - 9, -4*h + 16 = -2*z. Solve h*r - 5 - 4 = 0 for r.
3
Suppose -10 = -4*a - a. Solve 1 + 5 = -a*h for h.
-3
Let m be 1*(-5)/((-10)/28). Let x = m + -2. Solve -2*k = k + x for k.
-4
Suppose p - 31 = -0*n + 3*n, 2*p = -5*n + 18. Solve 0 = 5*r + 1 + p for r.
-4
Let m(f) = f - 6. Let w be m(3). Let k(v) = v3 + 5*v2 + 2*v - 4. Let p be k(w). Solve p = -5*g + 3*g for g.
-4