Let n(a) be the third derivative of 2*a2 + 0*a + 0 + 1⁄6*a3 + 1⁄24*a**4. Let d be n(-1). Solve d - 1 = -f for f.
1
Suppose -w = w + 4*y + 4, 2*w = 5*y + 14. Solve -4*c = -2 - w for c.
1
Let f be 28/(-126) - (-70)/(-9). Let z(q) = q + 11. Let s be z(f). Solve 0*a + s*a = 12 for a.
4
Let a be (-8)/(1 - (-9)/(-11)). Let m be a/12 - 4/(-6). Let s = 9 + m. Solve 0 = 5*l - 1 + s for l.
-1
Suppose 0 = 4*g + 13 - 73. Let a(m) = m**2 + m + 4. Let y be a(0). Suppose -y*n = -n. Solve -g + n = 5*z for z.
-3
Let s(z) = z**2 + 5*z + 6. Let n = -5 + 1. Let y be s(n). Suppose -2*b + 0*w + 3 = -w, 9 = 3*w. Solve -b = r - y for r.
-1
Suppose v + 6 = -3*k + k, -10 = 4*k + v. Let d = k + 4. Suppose 7 = -3*o + 4*o - 2*c, -3*c = -2*o + 11. Solve -o = -t + d for t.
3
Suppose -4*c = d - 3, 5*c + 0*d - 15 = d. Solve 0 = -c*s - 10 for s.
-5
Let o be ((-2)/(-4))/(15⁄120). Suppose 8 + 0 = o*f. Solve 0 = -f*u + 4*u - 2 for u.
1
Let r(p) = -p**2 - 24*p + 30. Let c be r(-25). Solve -c*j - 1 - 19 = 0 for j.
-4