Let s = 7 + -13. Let k be (-8)/s*(-2 + 5). Let z = -8 + 14. Solve 0 = k*y - z*y - 10 for y.
-5
Suppose 1 = -4*y + 17. Let p = 5 - y. Solve -5*b + 4 = -p for b.
1
Suppose -2*f = 6 - 18. Solve -3*a - f = -a for a.
-3
Let w = 10 + -8. Solve -2*m = w*m + 16 for m.
-4
Let g be (-6)/21 - (-153)/21. Solve -g = h - 2 for h.
-5
Let t(g) = -2*g - 8. Let n = -4 - 1. Let d = -1 + n. Let s be t(d). Solve 2*h - s = -14 for h.
-5
Let k be 1((-18)/(-3) - -1). Let v be (-2)/(-5) + k/(-5). Let n be -1(v + 1)*-1. Solve 0 = -h - n*h + 5 for h.
5
Let r be 116⁄30 - (-8)/60. Solve 8 = 3*a - r for a.
4
Suppose -5 = 4*i + 3. Let q = i - -6. Suppose 0 = -2*a + q*d - 3*d + 11, 2*a - 14 = 2*d. Solve a*u = -0*u + 12 for u.
3
Suppose 0 = -5*k, 5*x - 5*k - 102 - 23 = 0. Solve 3*s = -2*s + x for s.
5