Let r = 161 + -160. Solve -3*b - r = -7 for b.
2
Let v be (6⁄2)/(12⁄20). Suppose -3*y = 5*d - 9, -3*d + 0*d + 15 = v*y. Solve -c - y*c = 0 for c.
0
Let n be -4 + 6 - -4*1. Solve 0 = 2*p - n*p for p.
0
Let r = -157 - -163. Solve 3*q + 9 + r = 0 for q.
-5
Let t = -14 + -1. Let s = -23 + 38. Let v = s - t. Solve 5*g + 10 - v = 0 for g.
4
Suppose -4*c + q = -6, 4*c + 5 = -4*q + 21. Solve -i = i + c for i.
-1
Let f be 1/(9/(-21))*-3. Suppose 2*i = f*i - 20. Solve 0 = i*s + 20 - 0 for s.
-5
Let u = 6 - 3. Suppose 0 = -u*q + 6*q - 6. Let b = 2 + q. Solve b*y + 8 = 2*y for y.
-4
Let w = -3 + 9. Suppose 4*v = 5*d - 7, 2*v + 2*d - 10 = -0*v. Suppose 0 = -y - v*y. Solve -2*b - b - w = y for b.
-2
Suppose 3 = -0*y + y. Solve 0*v = -y*v for v.
0