Let a(o) = -4*o + 8. Let k be a(0). Solve -7*x = -3*x - k for x.
2
Let b = -9 + 24. Suppose -4*l - l = -b. Solve i - l = -2 for i.
1
Let x be -5 + (-70)/(-9) + 4⁄18. Solve 3*j + 9 = -x for j.
-4
Suppose -4*m = -2*m - 6. Suppose -3*k + 8 = -0*k - 5*o, -4*k - m*o = -1. Solve 7 = 2*b + k for b.
3
Let i(o) = 2*o - 2. Let u be i(1). Let q(y) = -y**2 + 6*y - 4. Let w be q(4). Solve u = -3*f + w - 13 for f.
-3
Let k = 7 - 6. Let r = k + 13. Suppose -o + 4*g + r = 0, 0*o - 5*g = -4*o + 23. Solve -2*w = o + 6 for w.
-4
Suppose -2*n = 5*l - 10, -10*n + 6*n + 20 = l. Solve 0*p - n = p for p.
-5
Let t be 1 - 1*(-1)/1. Let r be t - (-5 + 2 - -3). Solve -r*x + 14 = 6 for x.
4
Let k = -16 + 28. Let r be (4⁄1)/(4/(-6)). Let x be ((-70)/21)/(4/r). Solve -o = -x*o - k for o.
-3
Suppose 4*q - 10 - 10 = 0. Let o be (-9)/(-2) - q/10. Let b = o - 1. Solve 2*x - b = -x for x.
1