Let k(f) = -3*f3 + 2*f2 + 2*f + 1. Let u be k(-1). Suppose 5 = u*g - 3. Suppose 0 = -5*y - 3*p + 40, 3*y - 20 = -3*p + 4. Solve 3*n + g = y for n.
2
Let h be -1 + (-5 + -20)/(-5). Solve 0 = h*t - 6*t for t.
0
Let x be (-2)/1 + 4 + -2. Let v = 304 + -296. Suppose -5*g + 3*g + 4 = 0. Solve x*s - v = g*s for s.
-4
Suppose 0 = f - 5*b - 30, -17 - 13 = -5*f + b. Suppose 0 = 2*o - f - 5. Solve n = o*n - 12 for n.
3
Let b© = c**2 + 3*c + 2. Let h be b(-3). Suppose 2 = -h*n + 18. Suppose 3*v + n = 7*v. Solve k - v = -0 for k.
2
Let s(x) = x**2 + 4*x + 2. Let q be s(-6). Let t be 24/q + (-20)/(-70). Solve t*u + 15 = -u for u.
-5
Let j be (-6)/4*(-2)/3. Let l(z) = z - 1. Let g be l(4). Suppose -k - g*k = -16. Solve -11 = k*r + j for r.
-3
Suppose -4*t + 0 = -16. Let a = t - 5. Let x = a - -4. Solve 0 = -x*n + 5*n + 4 for n.
-2
Suppose -3*s - 1 = 59. Let n = s + 56. Suppose 0*i = -3*i + n. Solve 3*h + i = -0*h for h.
-4
Suppose -4*p - p = -125. Suppose -5*i + 25 = -p. Let g = i - 4. Solve 0 = g*j - j for j.
0