Let t(h) = -h**2 - h + 17. Let u be t(0). Suppose -3 = -4*f + u. Solve 2*j = f + 5 for j.
5
Suppose -19 = 8*v - 75. Solve 4*s + 9 = v*s for s.
3
Let h(v) = -2*v3 + 3*v2 - v - 2. Let c be h(2). Let r = c - -13. Suppose t - 3*t + 30 = 4*b, b + 3*t + r = 0. Solve -b = 5*o - 10*o for o.
2
Let g = -1 - -3. Suppose y - g - 1 = 0. Let r = y + -3. Solve 2*a + r = -4 for a.
-2
Let z(l) be the third derivative of l6⁄120 + l5⁄15 + l4⁄8 + l3⁄3 + 5*l**2. Let s be z(-3). Solve -n - s*n = -15 for n.
5
Let t(f) = -f3 - 2*f2 + 14*f. Let r be t(-5). Solve o - 20 = r*o for o.
-5
Let q = -22 - -27. Solve -3*d - q = -2*d for d.
-5
Suppose -3*b = b - 8. Suppose -b*v = 3*v. Solve 5*o - 10 = -v for o.
2
Let j = 59 + -54. Solve 3*w + 6 = j*w for w.
3
Let d(z) be the second derivative of z5⁄20 + 3*z4⁄4 - 11*z3⁄6 - 7*z2⁄2 + z. Let h be d(-10). Let a = 1 - 1. Solve a = 5*m - h*m for m.
0