Suppose -t + 1 = -4*x, 2*x = -2*x + 8. Solve 5*k + 4 = t for k.
1
Suppose 0 = -2*o + 6*o - 16. Solve -3*j = 1 - o for j.
1
Let t = 1 + -1. Suppose -c + 0*c = 3. Let v = t - c. Solve 3*l - 4*l + v = 0 for l.
3
Suppose 3*b + b = z - 60, 0 = 2*b + 2*z + 30. Let m = -62 - -40. Let y = b - m. Solve 0 = 2*k - y*k - 5 for k.
-1
Let m be 1*-2 + (-4)/(-2) + 7. Solve -5*n - m = 3 for n.
-2
Let t = 7 + -5. Suppose t*x + 0 - 4 = 0. Solve -x*h - 4 = -h for h.
-4
Suppose 5*w = 2*s - 3*s + 1, -3*w = 5*s - 27. Suppose 0 = s*t - 2*t. Let a = -21 - -29. Solve l + l - a = t for l.
4
Suppose -2*m = -0*d + 5*d - 12, -8 = -3*d - m. Let k be (2 - 1)/1 + 2. Solve d*a + k = -1 for a.
-1
Let w = 25 + -21. Solve h + 0 + w = 0 for h.
-4
Let i be ((-2)/(-6))/(3⁄45). Solve 3 + 2 = -i*n for n.
-1