Let p be (0*1⁄4)/(-1). Solve 3*s - s - 10 = p for s.
5
Let q = -5 - -5. Let m be (0/2 - -1) + 2. Solve 3*x + m + 0 = q for x.
-1
Suppose 4*b - 21 = -5. Suppose b*v - 5*c - 72 = -c, 4*c = -2*v + 6. Let t = -7 + v. Solve 1 = -5*o + t for o.
1
Let p be 1 - (-3 - 1*-2). Suppose 6*k - 6 = k - 3*f, -p*f - 15 = -3*k. Suppose -2*g + c - k*c = -14, 4*g + 2*c = 22. Solve -l = g*l - 15 for l.
3
Let i be 7 + -1 - (3 - 1). Suppose 2*n = -4*c + i*n + 16, 0 = -5*c + 2*n + 18. Suppose 3*q = -v + 24, 5*q - q - 5*v - 32 = 0. Solve -q = 2*r + c*r for r.
-2
Suppose 0 = -5*x + s + 7, 22*s - 17*s = 15. Let m = 18 + -11. Solve -m - x = 3*y for y.
-3
Let d = 17 - 15. Solve f = d*f for f.
0
Suppose -4*t + 2 = 2*n + 8, -2*n + 5*t = -21. Suppose 5*i = i + 28. Solve n*a - 5 = i for a.
4
Let a = 6 + -10. Let t = 4 - 0. Let r be 2/a - (-2)/t. Solve r = -s + 5*s + 20 for s.
-5
Suppose -k + 5*k - 8 = -4*c, -4*c + 2 = k. Let l be 16/(-1 - c - -3). Solve 3*m + 7 = -l for m.
-5