Let a(b) be the second derivative of b3⁄6 + 3*b2 - 2*b. Let g be a(-4). Suppose 2*i = 3*i - 3. Solve g*y - 5 = i for y.
4
Suppose 0 = -q - 0*q + 5. Suppose -1 + 0 = -w. Suppose -q*b + 20 = 2*p, -4*b = -p - 15 - w. Solve -b*k = -3*k - 3 for k.
3
Let y = -143 + 145. Solve w - 2*w = -y for w.
2
Suppose -6*t = -5*t + 3*l - 9, -2*t + l = 3. Let c = 488 + -468. Solve t = -4*g + c - 0 for g.
5
Suppose 24 = 3*i + 12. Solve -3*j = j + i for j.
-1
Let h(k) be the first derivative of k5⁄120 + k4⁄24 - k**3 + 3. Let d(a) be the third derivative of h(a). Let z be d(1). Solve -2 = -2*r + z for r.
2
Let a(n) = n + 3. Let s be a(0). Suppose -8*d = -s*d. Solve d = -0*t + 2*t + 2 for t.
-1
Let l = 28 + -26. Solve 0 = -h + 6 - l for h.
4
Let t be ((-8)/(-10))/((-4)/(-20)). Suppose -t*b + 6 = -b. Let w be ((-8)/6)/(2/(-6)). Solve 2*l + b = -w for l.
-3
Let m be (0 - 4)/((-4)/14). Let c be (m/8)/7*0. Solve v - 5 = -c*v for v.
5