Let t(j) = -4*j - 1. Let u be t(-1). Suppose u*c - 69 = -3*g, g - 200 + 65 = -5*c. Solve 0 = 5*n + c - 3 for n.
-5
Let n(b) = -b**2 + 21*b - 36. Let p be n(19). Solve 3*w = p*w - 5 for w.
-5
Let v(k) = -k + 7. Let t be v(7). Suppose -20 = 5*f, t = -o - 2*f - 0*f - 2. Solve -o*n - 15 = -3*n for n.
-5
Let t(o) = -o3 - 7*o2 + 9. Let k be t(-7). Solve -5*x = k + 6 for x.
-3
Let u be (-172)/14 + 6⁄21. Let h = u + 20. Solve 3*l = h*l + 10 for l.
-2
Let f(w) = 3*w3 + w2 + 2*w + 1. Let n(s) = s + 4. Let q be n(-5). Let v be f(q). Let r be (-10)/v - 3⁄9. Solve 3*m - r - 3 = 0 for m.
2
Suppose -f - f = 4. Let s(k) = -2*k3 - 5*k2 + k**2 - 3*k + 3 - 5. Let b be s(f). Solve b*g - 3 - 1 = 0 for g.
1
Let v = -7 + 10. Let f(o) = -15*o. Let t be f(-2). Suppose 0 = d + 4*d - t. Solve -v*j + d = -6 for j.
4
Let a(m) be the first derivative of m4⁄4 - 10*m3⁄3 - m**2⁄2 + 12*m + 2. Let l be a(10). Suppose -3*j = l*j - 10. Solve -j*g = 3*g for g.
0
Suppose 0 = -p + 4 - 1. Suppose 43 = c + 38. Solve p = 2*u - c for u.
4