Let k = 7 - 3. Solve 11 + k = -5*h for h.
-3
Suppose 8 = 5*a - 2. Suppose 3*z = z. Solve a*g - 4*g = z for g.
0
Suppose 4*o - o = 6. Suppose 3*g = s + 3, 1 = g - o*g + s. Solve 0*r - g*r = 4 for r.
-2
Suppose -3*n + 1 = -2. Let r be -3 + 6/n + -3. Solve r = 6*q - 3*q for q.
0
-5
Suppose 5*w - 2 = -4*l, -4*w + 1 = 2*l + l. Suppose l*o + 2 + 1 = 0, 4*b = -2*o + 10. Solve b*t = -t for t.
0
Suppose -2*q + 4*q - 6 = 0. Suppose -k + q*k = 0. Suppose -4*l - 1 + 13 = k. Solve 6 = l*b - b for b.
3
Suppose 2*v = 3*v - 3. Suppose 22 = -4*j + 2*x, 2*j = -v*x - 0*x + 9. Let s be (7/j)/(2/(-18)). Solve 5*u + s = -4 for u.
-5
Suppose -v - 24 = -5*v. Suppose -5*f - 1 = -v. Solve s = -0*s + f for s.
1
Let k = 40 - 79. Let q = k - -65. Let h be (-8)/(-20) + q/10. Solve -2 = -r - h for r.
-1