Suppose -b = -0*b. Let j be 0 - (10/(-2) + 1). Let r = -2 + 6. Solve -j*c + 0*c + r = b for c.
1
Let h = -10 + -5. Let p be (-6)/h - 28/(-5). Solve 3*f + p = f for f.
-3
Let r = 7 - -2. Let j = 15 - 10. Solve j*f + r = -6 for f.
-3
Let x(h) = h**2 + 6*h + 12. Let g be x(-4). Solve q = -g*q - 10 for q.
-2
Let p be 3*2 - (-8)/(-4). Suppose g + g = p. Solve l + 7 = g for l.
-5
Let i(x) = x**2 + 10x + 12. Let c be i(-8). Let p be (c + 2)(-1 - 0). Solve 2 = -u - p for u.
-4
Let b(p) = -p - 3. Let c be b(-6). Let f = 21 - 23. Let m be (5 - 6)*(0 + f). Solve 0 = m*s - 3*s + c for s.
3
Let w(x) = -x**2 - 2*x + 8. Let p be w(6). Let y be 1/(-3 + p/(-12)). Solve -4*z + y + 5 = 0 for z.
2
Suppose -3*v + 5*d - 10 = 0, -5*v - 2*d = -4*d + 4. Solve -2*f + v = -10 for f.
5
Let y be 21⁄5 - (-2)/(-10). Solve -10 = 2*p - y*p for p.
5