Let j be 2/(1 + 3 - 2). Let b be 6⁄9*21⁄2. Solve -4*m + b = -j for m.
2
Let r be (-1 + 2)/(1⁄9). Let v = r + -6. Let m = 8 + -4. Solve 16 = -v*h + m for h.
-4
Suppose 0 = 5*s - 8*s + 3. Solve 2*t + 5 = -s for t.
-3
Let f(b) = -2*b - 18. Let w = -25 + 13. Let z be f(w). Solve -5*c = -z - 9 for c.
3
Let y(u) = -4*u + 63. Let o be y(15). Solve 0 = v - o*v for v.
0
Let w be -3 + (-12 - (-3 - 0)). Let t be (w/(-20))/((-1)/(-15)). Solve -4*o = -t*o - 15 for o.
-3
Suppose 0 = -5*y, 3*m + m - 2*y - 20 = 0. Solve k - m*k = 0 for k.
0
Suppose 5*h - 12 = 3*h. Solve j = h*j for j.
0
Suppose -6 = -4*v + 3*j, 4*v = -j + 3*j + 4. Solve v = -3*o + 16 - 7 for o.
3
Let z = -11 - -21. Suppose 0 = 2*t - 2*c + 4, 0 = -5*t + 4*t - 2*c + z. Suppose -25 = -t*w - 3*w. Solve s + 20 = w*s for s.
5