Let c(o) = -2*o + 4 - 6 - 2. Let y be c(-2). Suppose 0 = 2*w + 3*w. Solve w*z + z - 1 = y for z.
1
Let z be (0 - -2)*(-7)/(-2). Suppose 5*g = z*g - 4. Solve g*v = v for v.
0
Suppose 15 = -5*l - 5*f, -19*l + 2*f = -15*l - 6. Let p = 2 + 0. Solve p + l = y for y.
2
Let t(p) = p**2 + 10*p + 8. Let u be t(-10). Solve -4*h + 2*h - u = 0 for h.
-4
Suppose -4*b + 5*b - 5 = 0. Suppose 0*q = b*q. Suppose 1 = 3*k - 4*p - 17, -6 = 2*p. Solve -k*x - 1 + 9 = q for x.
4
Let b be ((-30)/6)/5 - -2. Solve -2*c + 5 = b for c.
2
Suppose k - 9 - 3 = 0. Solve 0 = 4*h - h + k for h.
-4
Let f = -4 + 9. Let c = 1 + f. Suppose -3*s = -0*s - c. Solve 0 = x - s for x.
2
Let k(s) = -4*s + 5*s - 13 + 5 - 3*s. Suppose 0*t = 4*t + 24. Let o be k(t). Solve 3*z - o*z = 4 for z.
-4
Suppose 0 = l - 1 + 5. Let z = 6 + l. Solve 2*h + z = 12 for h.
5