Let b be 1⁄1 - (-4 - -5). Suppose y = -y. Let c = b - y. Solve 0 = 2*h - 2 - c for h.
1
Suppose -3 = 4*l + c - 0, 0 = -2*c - 6. Solve 3*w = -l*w + 6 for w.
2
Suppose q + 7 = 5*z, 9*q + 3 = 10*q. Solve -z*c - 1 = 9 for c.
-5
Let z = 0 - -2. Suppose -3*f = f + 16, -z*i = -5*f - 32. Solve 0*g - 2*g = -i for g.
3
Let t be (-4)/5 - 204/(-30). Solve -r = -t*r for r.
0
Let j = -19 - -19. Solve -3*q - 9 = -j*q for q.
-3
Suppose 3*w - 20 = -w. Suppose -40 = -w*d + 3*d - 5*t, 4*d - 5*t = 80. Solve 0*r - 5*r = d for r.
-4
Suppose r + 26 = 5*g, -4*g + 21 + 0 = -r. Suppose -3 - 12 = -g*c. Solve 8*o = c*o for o.
0
Let z = 35 + -21. Suppose 6*l + z = 44. Solve -l*s + 0 = -5 for s.
1
Suppose 0*a = -a - 3*q + 5, -4*q = 0. Let u be -1 - -1 - 2/(-2). Suppose w - 4 = t + 1, -5*w = -2*t - 16. Solve 0 = -w*k + u - a for k.
-2