Suppose -4*m + w + 1 + 9 = 0, 5*m + 4*w - 23 = 0. Let i = 5 - m. Suppose 0 = 5*g - 3*g. Solve v - 1 - i = g for v.
3
Let b(p) = 9 + 8 - 2*p - p**2 - 3*p - 15. Let x be b(-5). Solve 0 = x*q - 1 - 1 for q.
1
Let u = 15 + -8. Solve -3*f = -u - 2 for f.
3
Let b be 9*((-2)/(-3) + 0). Suppose b*l = 3*l + 9. Solve -7 = -l*r + 2 for r.
3
Let j© = c**2 + 6*c + 2. Let g be j(-5). Let h be g/(-3) + (-2)/2. Solve -k - 2 + 0 = h for k.
-2
Suppose 5*l - 4*c - 29 = -3*c, 3*c = -12. Suppose -3*k + 4*v = -l*k + 12, k = 2*v - 2. Solve -5*b - k = -4*b for b.
-2
Let z(t) = -t**2 + 10*t + 2. Let p be z(10). Solve -p = c + 3 for c.
-5
Suppose 0 = 2*s - 3*g - 0*g - 9, 0 = 4*g - 4. Suppose 33 = 2*y + r, -69 = -s*y + y + 2*r. Suppose -y = -4*v + v. Solve v*m + 14 = -1 for m.
-3
Let r = 66 - 63. Let l(s) = -s**2 - 6*s - 5. Let m be l(-5). Let y = m + 2. Solve -y = 5*p + r for p.
-1
Let g(s) = -s**2 - 11*s + 2. Let x be g(-9). Suppose -2*p - 4*m - x = 0, 4*p + 0*m = m + 5. Solve -2 = -p*r + 2*r for r.
-1