Let x(f) be the second derivative of -f5⁄20 + 7*f4⁄12 - 5*f3⁄6 - f2⁄2 + f. Let v be x(4). Let i be 6/v + (-356)/(-18). Solve -6*y + i = -y for y.
4
Let r = -12 - -18. Let d = 12 - 3. Let q = d - r. Solve o - q*o = 10 for o.
-5
Suppose 0 = 4*l - 3*i + 47, 4*i = -5*l - 27 - 24. Let o = 20 + l. Let t = -10 + 13. Solve -3*n = -t - o for n.
4
Suppose 5*t + 5 = -5. Let z = t - -5. Solve z = 2*j + 1 for j.
1
Let c(y) be the third derivative of -y6⁄120 + y5⁄15 + y4⁄4 - y3⁄3 - 2*y**2. Let q be c(5). Solve q*v - 10 = -2*v for v.
2
Suppose 0 = 8*h - 2*h - 30. Let x be 1 - (-25 + 2/(-2)). Suppose 5*i - x = -5*f + 13, -f = -2*i + 4. Solve -h*t = -3*t + i for t.
-2
Suppose 2*c + v - 9 = 0, c - v - 7 = v. Let w = 0 - c. Let y = w - -10. Solve -f = -y - 0 for f.
5
Let p(b) = 3*b**2 + 3*b + 3. Let o = 3 - 5. Let g be p(o). Suppose 2*q + 3*d + 7 = 0, -4*q + q - 4*d = g. Solve -q = -2*l + 1 for l.
1
Let w = 37 + -34. Solve 0 = w*f + 2 + 10 for f.
-4
Suppose -2*h + 11 = 1. Let b = h + -3. Suppose b*u = -5*c - 10, -7*u = 5*c - 3*u + 20. Solve c*x + 3 = x for x.
3