Let s = 28 - 30. Let r be ((-27)/72)/((-1)/(-4))*s. Solve -k - r*k + 3*c - 8 = 0, 0 = c for k.
-2
Suppose 0 = -18*d + 316 - 280. Solve d*v = -10, -u - 4*u = v for u.
1
Let v = -10 - -28. Let t be (-3)/v10-3. Suppose 0*f + 2*g + 18 = f, f + t*g = -3. Solve -2*z = a + 7 - 1, -4*a + f = -z for z.
-4
Let v = 2975 - 2971. Solve 2*r - 3*l - v = 0, -2*r = 5*l - 0 + 12 for r.
-1
Suppose -3*d = -4*k - d + 20, -5*d + 16 = k. Let p be ((-10)/k)/((-45)/162). Let z be (p - 4)/((-2)/(-3)). Solve -l + 2 = -z, l = 5*t - 20 for t.
5
Let v(f) = f**2 - 17*f. Let n be v(17). Suppose n*x - 200 = 5*x. Let r = -38 - x. Solve -2*k = 10, -k - 7 - r = 2*u for u.
-2
Suppose -2*z + 2*m - 1 = 5, -5*z + 2*m = 24. Let l be (9/z)/((-13)/26). Solve 0 = 2*g - 4*v - 12, -g + 3*g + 23 = -l*v for g.
-4
Let r be (-2)/(-8) - (-285)/76. Solve -r*n + 20 = 0, 4*y = -5*n + 8 + 1 for y.
-4
Let u(h) = h**2 + 9*h + 10. Let r(o) = -45*o + 4. Let g be r(1). Let v = g - -33. Let k be u(v). Solve q - y = -5, 2*y = -4*q - k*y - 4 for q.
-3
Let h(n) = 2 - 6*n3 + 22*n - 6*n + 0*n + 17*n2 + 7*n**3. Let j be h(-16). Let x = 26 + -19. Solve 2*s - s + j*f = x, -s = -5*f for s.
5