Let w be 2 + -2 + (-11 - -2). Let l be w/12*-2*2. Suppose -l*f + 4 = f. Solve 0*d + f = d for d.
1
Suppose 2*t + 15 = 3*g, g - 1 = 3*t - 3. Let q = -17 + 24. Let p = q - 6. Solve 0 = 2*b + g - p for b.
-3
Let f© = 2*c**2 - 6*c - 4. Let o be f(4). Solve o = -0*b - b for b.
-4
Let l be (-2 + -1)/(-1) + 3. Suppose -z + l*z = 10. Solve -z*r + 0*r = 8 for r.
-4
Suppose 0 = -4*h + 158 - 2. Let t = h - 16. Solve -t = -5*w - 8 for w.
3
Suppose 4*l + 117 - 47 = 5*n, -4*n - 2*l = -82. Let f = -28 + n. Let j be (-4)/f - 10⁄25. Solve j*w - 3 = w for w.
-3
Let t be (-5)/(-15)*3*8. Solve -t = -3*i + 1 for i.
3
Suppose 0 = 3*b - 15 + 3. Solve 3*g - 13 = -b for g.
3
Suppose -b = -1 - 0. Solve -4 = -5*z + b for z.
1
Suppose 9*l = -3*l + 144. Solve 0 = -9*v + 3*v + l for v.
2