Let l = 30 - 24. Solve 3*b - l = 3 for b.
3
Let v = 1 + 0. Let l = -8 + v. Let j = 13 + l. Solve 4*c - j*c = -6 for c.
3
Let r be 3 + -1 + -1 - -23. Suppose 5*t - r = 6. Let y be 6⁄18 + (-2)/t. Solve 3 = -3*s - y*s for s.
-1
Let v(o) = o3 + 5*o2 - 2*o - 6. Let c be v(-5). Solve 1 - 21 = -c*p for p.
5
Let f = -5 - 4. Let r be 2⁄9 - 25/f. Solve -w = r*w - 12 for w.
3
Suppose 4*o = -0*o + 4. Solve m - o = 3 for m.
4
Let w = -5 - -8. Let u be (2/(-4))/(w/72). Let h be (-21)/(-3 - 27/u). Solve 12 = 4*b + h for b.
-4
Suppose h + 3*a + 19 = 5*h, -5*a = 5. Solve -o + 9 = -h*o for o.
-3
Suppose 0 = -2*v - 1 + 43. Suppose v = 4*a - a. Solve a = -3*d + 19 for d.
4
Let l(f) = 4*f + 11. Let w be l(3). Solve -8 = 5*o - w for o.
3