Let l = -17 + 34. Let f = 25 - l. Let b be (2/f)/((-1)/(-4)). Solve 2*n - b = n for n.
1
Suppose 3*l = 4*l. Suppose l = -2*f - 2. Let c(k) = k3 + 2*k2 + 2*k + 1. Let m be c(f). Solve i = -m*i for i.
0
Let a be (-2)/((-2)/(-85)*5). Let n = a - -17. Solve 6*i - i = n for i.
0
Let u be 0/(2*(-4 + 3)). Solve -2*w - 5 - 1 = u for w.
-3
Let n(l) = 3*l + 4. Let c be n(4). Let a = c + -6. Solve 6*t - a = t for t.
2
Let l(j) = -j**2 - 8*j - 5. Suppose 0 = 2*q + 5*c + 14, -4*q + 4*c = -c + 28. Let v be l(q). Solve v*n - n = -4 for n.
-4
Let m = 19 - 11. Let b = m + 1. Let p = 2 + 8. Solve b*s = 4*s + p for s.
2
Let g be (-15)/(-4) - (-4)/16. Let w = g - 3. Solve 0 = -4*y + w - 9 for y.
-2
Let b(z) be the second derivative of z4⁄12 - 2*z3⁄3 - z**2 - 2*z. Let n be b(-9). Suppose -2*v = 3*v - n. Solve 5*x + v = 3 for x.
-4
Let j = 32 + -16. Suppose r - 4*c = 17, 0 = 2*r + 3*r + 3*c - j. Solve r*k + 0 = 15 for k.
3