Let o = 2 + 7. Let n(d) = d**2 - 8*d - 4. Let t be n(o). Solve 3*c - t*c = 10 for c.
-5
Suppose -13 = -2*q - 5. Solve q*c + 1 = -15 for c.
-4
Suppose 0*g = g - 8. Let d = g - 4. Let n = d + -4. Solve n = l - 2*l for l.
0
Let y = 149 - 143. Solve -3*i + y*i = 0 for i.
0
Let m(b) = -b3 + b - 3. Let g be m(0). Let r(y) = -y3 - 4*y**2 - 3*y + 2. Let q be r(g). Suppose 0 = -q*h - 2*h. Solve h = -3*a - 2*a - 10 for a.
-2
Suppose s - 2*s + 5 = 0, -3*s = 5*h - 60. Let i be (-22)/(-3) - 3/h. Solve 0 = -t - 2 + i for t.
5
Let p be ((-9)/(-15))/(1⁄10). Let v be (2 - p/3)/1. Solve v = -z - 0*z - 5 for z.
-5
Let q be 18 + -7 + 2 + -1. Solve 5 = -13*k + q*k for k.
-5
Suppose 3*r = 0, 0 = -3*z + 4*z + 2*r - 3. Let l be (-9)/z + 0 - -28. Let f be ((-1)/(-2))/((-2)/(-16)). Solve l = f*b + b for b.
5
Suppose -s = 3*s - 12. Let l = 10 + 0. Solve -2*m = s*m + l for m.
-2