Let y be 1/(-1 + (-8)/(-7)). Suppose -y*s = -3*s. Solve -4*k - 1 + 17 = s for k.
4
Suppose b + 3 + 6 = 0. Let n = 11 + b. Solve n*a + 3 = 9 for a.
3
Let r be (-625)/(-50)*(-8)/(-10). Solve 0 = 5*m - 30 + r for m.
4
Let q = 8 - 6. Let o = -6 - -10. Suppose -r = -3*r + 44. Solve -r = -o*i - q for i.
5
Let o be 5(0 - 24/(-10)). Let d be (6/(-4))/1-2. Solve d*k = 3 - o for k.
-3
Let c be (0 + -1 + 5)/1. Suppose 0 = 3*y + 7*y - 30. Let k = 6 + -4. Solve -k*g - c = -y*g for g.
4
Let v(g) = -1 + 0 - 3 - g. Suppose -2*o = -2*x - 2, 2*x - 3*x + 2*o = -4. Let w be v(x). Solve -3*h + 20 = w*h for h.
4
Let p be ((-2 + 1)*-7)/1. Let l = p - 5. Solve 3 = l*d - d for d.
3
Let f(y) = -5*y - 1. Let b be f(-2). Solve -o = 2*o + b for o.
-3
Suppose 2*f + 12 = 6*f, -3*b = -3*f - 30. Suppose -3*v + 3 = -0, 3*o - 2*v = b. Solve -5*s + 15 = o for s.
2