Let j(a) be the first derivative of -a4⁄4 - 5*a3⁄3 + 3*a**2 + 3*a - 3. Let f be j(-6). Suppose -d = f - 7. Solve m + d = 2*m for m.
4
Suppose 0*m = -4*w - 3*m + 9, 0 = -2*w - 5*m - 13. Suppose -w*g = -4*g. Solve g = -d - 0*d for d.
0
Suppose 2*z + 2*u = z - 3, 29 = 5*z - u. Solve -11 = z*k + 14 for k.
-5
Let t be 228⁄54 - 2⁄9. Suppose 4*a = -4*w + 12, 40 = ta - w + 13. Let g be 60/a(-3)/(-5). Solve 14 + g = -5*v for v.
-4
Let w(t) be the third derivative of -t4⁄24 - t3⁄3 - t**2. Let z be w(-4). Let s = z + 0. Solve -13 = -s*q - 5 for q.
4
Let q = -16 + 17. Let b be 1(-14)/4-2. Suppose 2*s + 25 = b*s. Solve -o - q = -s for o.
4
Let t = -15 + 32. Let s = -33 + t. Let g = s + 36. Solve 6*d - d = g for d.
4
Let p be 1 + 0 - (3 - 5). Solve p*w - w = 2 for w.
1
Let u = 1 + 1. Suppose z + u - 4 = 0. Suppose 2*q + z = 6. Solve 3*s - 5 + q = 0 for s.
1
Let z(j) = j3 - 2*j2 + j - 10. Let p be z(3). Solve p*b = -3 + 9 for b.
3