Let d be (0 - 6)/((1 - 4) + 1). Let n = 3 + -2. Solve -d = -y - n for y.
2
Suppose 0 - 4 = -2*t. Let s = t - 2. Solve a + 4 = -s for a.
-4
Suppose -s = -3*s - 5*j - 19, 0 = s - 2*j - 13. Suppose 4*n - 4 = -4*q + 4, -q - 4*n = 1. Let z be (q/(-3) + s)/1. Solve -2 = -2*v + z for v.
2
Let r be (-55)/(-10) + (-2)/4. Solve 3*c - r = 1 for c.
2
Suppose -35*x - 5 = -40*x. Solve 1 = -2*a - x for a.
-1
Suppose -4*r + 6*r - 2 = 0, 0 = 3*c + 4*r - 13. Solve -3*v = -2*v - c for v.
3
Suppose w = 3*c - 7, c - 5 = 2*w - 11. Solve -3*h - 2 = -c*h for h.
2
Suppose 5*c = -0*c + 6*c. Solve -g - 3*g = c for g.
0
Suppose -4*l = -x + 28, -x - 5*l + 8 = -4*l. Solve 5*v = -3 - x for v.
-3
Let j be 3*((-4)/(-3) + 0). Solve -j*y + 5 = 1 for y.
1