Suppose -30 = 2*s + 3*s. Let i = s - -9. Let d = 23 + -17. Solve -i*k = -d*k - 6 for k.
-2
Suppose -i + 5 = -0. Solve -2*t + 3 = -i for t.
4
Let c be 8/(-12)*3⁄2. Let y be c/(((-1)/(-2))/(-1)). Suppose -w = -0*w - k - 3, 4*k = -4*w - 12. Solve y*f - 6*f + 4 = w for f.
1
Let s = 4 + -3. Let n = 5 + -8. Let t = s - n. Solve -2*d = 2*d - t for d.
1
Let k be 770⁄6 - (-3)/(-9). Suppose k = -0*n + 4*n. Suppose c + 2*g - 16 = 0, -2*c + 28 = 3*g - g. Solve 4*q = -c + n for q.
5
Suppose -2 = -4*x - 3*d, 3*d - 4d = 2. Let v be 0(-3 + x) + 2. Solve 0 + v = y for y.
2
Let m = 45 + -43. Solve t - m*t + 3 = 0 for t.
3
Let u be (2 - 2) + 0 - 0. Suppose 3*g + 2*g - 20 = u. Suppose 0 = -5*s - v + 14, -3*s + g*v - 5 = 5. Solve -4*o + s = -14 for o.
4
Let y be -14*(1 + (-54)/42). Let b = 1 - -2. Solve -16 = b*q - y for q.
-4
Suppose 0 = -3*l - 18. Let w be l/(-1) + 1 + -2. Let h be (2/(-2))/((-2)/4). Solve -7*o + w = -h*o for o.
1