Let n = -17 - -19. Suppose s + 2*l - 12 = -0*s, -n*s = l - 12. Solve s = 2*h - 2*z, 5*z - 6 = -h + 2*z for h.
3
Let g(w) = w**2 + 3*w + 4. Let p be g(-3). Let v = -89 + 91. Suppose -2*s + 16 = 2*y + v*s, 0 = -y - s + 4. Solve y = 5*r + 13 + 7, r = -u - p for u.
0
Let k(u) = u**2 + 2*u - 1. Let y be k(0). Let g be (-22)/(-11) - (-10 - y)/1. Let r = g - 6. Solve r*s - 5*p + 3 = -7, 0 = s - 5*p - 2 for s.
Let c(g) = -15*g**2 + 120*g + 3. Let u be c(8). Solve 9*b + k = 10*b + 2, u*k - 4 = b for b.
-1
Let a be (21/(-2))/((-33)/6 + 5). Suppose a*w = 28*w - 28. Solve 4*b - 6 = 2*c + 12, 0 = -w*b + 3*c + 21 for b.
3
Let a = -201 + 334. Let o = -130 + a. Solve -4*h - k = -0*h - 5, -4 = -o*h - k for h.
1
Let s = 180 - 177. Solve 5*f - 3*p = 35, s*f + p - 32 = 5*p for f.
4
Let f(s) = -s3 - 45*s2 - 2*s - 75. Let l be f(-45). Let a = -2 + 2. Solve a*u = 5*r - 4*u - 45, -r + 2*u + l = 0 for r.
5
Suppose -5*k + 34 = 4*b, 7*b = 5*k + 5*b - 58. Suppose -3*o + 5*o = k. Solve 5*v = -4*q - 6, o*q - 7 + 19 = -4*v for v.
2
Suppose 4*t - q - 4 = 11, 0 = -2*t + 2*q + 6. Suppose 5*h - t*c + 10 = 0, -7*h + 13 = -3*h + c. Solve -5*v + h*p - 27 = 0, -6*v - 22 = -v + 3*p for v.
-5