Let a = 563 + -563. Solve -w - s = a, 4*w + 0*w + s = 15 for w.
5
Let b(g) = -2g + 42. Let f be b(19). Let x be -2(0 - 2) - f. Solve -3*o = -3, a - 5*a + o + 11 = x for a.
3
Let c(j) = -7*j - 23 - 19 - 4*j - 40 + j**2. Let r be c(17). Solve -r = -4*t - s + 2*s, 5*s = 0 for t.
5
Let r = 2843 + -2808. Solve 3*i + d + d = -11, -5*d + r = -5*i for i.
-5
Let q = -108 - -123. Suppose 17 = h - 8*j + 3*j, 5*j + q = 0. Solve -3*m = 2*m - k + 26, -17 = 3*m - h*k for m.
-5
Let o be 1/((-1547)/(-259) - 6). Let s = -87 - -55. Let z = s - o. Solve -z = 2*x - b, -x + 0*b + 5 = b for x.
0
Suppose 0 = -35*k + 22*k. Solve 0 = i + w, 0 = -k*i - 4*i - 3*w + 5 for i.
5
Suppose 0 = 34*q - 35*q + 2. Solve r = 3*k - 11, 6*r - q*r + 4*k = 20 for r.
1
Suppose 69 = -2*a + 257. Let w = a - 90. Solve -2*d = 4*g + 2*d + w, -3*d = -9 for g.
-4
Let z = 0 - -1. Suppose p = 3 - 0. Let h(i) = -i3 + 34*i2 + 152*i + 16. Let l be h(38). Solve -d - w - 3 + z = 0, p*d + 5*w + l = 0 for d.
3