Let v(k) be the third derivative of 0 + 1⁄20*k5 - 2⁄3*k3 + 1⁄12*k4 - 4*k2 + 0*k - 1⁄120*k**6. Let f be v(3). Solve -f = -t - 3 for t.
-1
Suppose -3*v + 15 = 2*v. Solve -5*t - 8 = -v*t for t.
-4
Let w = 14 - 11. Suppose 0 = l + c - 5, -w*c + 8*c = 0. Solve -16 - 9 = l*x for x.
-5
Suppose 11*b = 8*b. Let m(f) = f**2 + f + 4. Let a be m(0). Solve a*c + 4 + 8 = b for c.
-3
Suppose 4 = 3*k + 1. Let t = k + -1. Suppose t*g = -4*g. Solve g*o + 3 = -o for o.
-3
Let s(i) = -i**2 - 12*i - 31. Let n be s(-7). Solve n*y - 7*y + 9 = 0 for y.
3
Let o® = r + 5*r - 7r + 4. Let c be o(5). Let f be c/2-2 - 1. Solve f = v - 3*v + 4 for v.
2
Suppose 1 = -5*z - 19. Let f be 215/(-20) - (-1)/z. Let s = -7 - f. Solve 0 = 5*x + 6 + s for x.
-2
Let q = -36 - -41. Solve -6 + 1 = q*d for d.
-1
Let o be (-2)/(-5) - (-39)/15. Let z(x) = 2 + 4 - 11 + 2*x. Let i be z(4). Solve -i*d - 12 = o for d.
-5