= k + o + x, 3*o + o = -2*k - 12 for k.
-4
Suppose -6*q + 5*q - 56 = 0. Let g be 12/21*2/((-32)/q). Solve -x = o - g + 3, 3*o + 5*x = -3 for o.
-1
Suppose -4*v = 3*i - 12, 3*i + 73 = 2*v + 67. Solve i*t + 15 = 3*t, -a + 2*t - 7 = 0 for a.
3
Let o be (-2)/(-4 + (-42)/(-11)). Suppose -o = -12*g + 49. Let j = 43 - 25. Solve -f + 2 = g*r, -2*f - j = -3*r + 3*f for r.
1
Suppose 0 = 4*s - 10*d - 40, 2*s - 44 = 181*d - 182*d. Solve a - s = 4*v, 5*v + 14 + 11 = -a for a.
0
Let d = -17609 + 17610. Solve 5*y + d = b + 3, -2*b + y = -5 for b.
3
Let f(u) = 49 + 33 - 71 + 3*u. Let h be f(-3). Solve -7*a + 20 = -w - 2*a, -w + h*a = 5 for w.
5
Let a(n) = n**3 - n**2 - 36*n + 93. Let c be a(3). Solve c*h - 3*t = 7*h + 20, -3*h - 5*t = 15 for h.
-5
Let g = -5 - -6. Let z be (-1)/(g*3/156). Let l = z - -69. Solve 4*f = 5*c + l, 2*f = c + 1 - 0 for c.
-5
Let d be (-7 - (-225)/27)*630/56. Solve -m = -7*p + 35, -3*p = -11*m + 9*m - d for p.
5
Let l(z) = -4*z**2 - 48*z - 36. Let c be l(-10). Solve 4*m = 4*a + c, -5*a - 50 = 15*m - 19*m for a.
-6
Let w be (-1 - 4)*(24/10 + -4). Solve 0 = 5*x - 3*r + 29, 6*r + w = -5*x + 2*r for x.
-4
Suppose -5*o + 19 = 2*f, -f = -0*o + 3*o - 11. Let c = 1325 - 1325. Solve 0 = -4*q - f*y - 4, 0*q - q + 2*y - 6 = c for q.
-2
Suppose -15*g = 14*g - 696. Let s = -22 + g. Solve 3*y + o = -9, s*o = 2*y + y + 9 for y.
-3
Suppose 7*f = 31 + 18. Let y(c) = -c + 11. Let z be y(f). Solve 2*k + z*x - 20 = -2*k, -3*k + x = -11 for k.
4
Let w be -27 + 21/70*90. Solve 0 = -2*r + 3*p + 5, -p + 2*p + 1 = w for r.
1
Suppose 6*z = -0 - 108. Let l = z + 21. Suppose -2*j + 1 = 5*v, j = -v - 1 + l. Solve 0 = -j*s + 3*q - 0*q + 12, 2*s = -5*q - 27 for s.
-1
Let a = -239 - 25. Let b = -261 - a. Solve -4*f + f = 5*l + 13, -b*f - 11 = 4*l for l.
-2
Let r(n) = n - 2. Let g be r(6). Suppose 0 = -g*h - 16, 2*h - 32 = -4*y - 0*h. Suppose -1531 + 3079 = 7*z + 1436. Solve s - 5*f = -z, -5*s + y = 6*f - f for s.
-1
Suppose 0 = 12*p - 9 - 507. Suppose -13 = -7*x + p. Solve 5*k - x = u + 21, 3*u - k = -17 for u.
-4
Suppose -3*a = 2*q - 5*a - 38, 12 = -3*a. Solve 0 = 4*z + j - q, -96*z = -95*z - 2*j + 3 for z.
3
Let l = -1029 + 1746. Suppose 2*h + 709 = l. Solve 0 = 3*v + 2*c - 5, -h*v + 0*c - 2*c = -8 for v.
3
Let z = 5 + -8. Let w(j) = 265*j + 528. Let c be w(-2). Let u be c/z - (-110)/33. Solve -2*f - 2*f = -u*d + 8, -5*d = 4*f + 8 for f.
-2
Let f(t) = t**3 + 16*t**2 + 15*t + 3. Let l be f(-15). Suppose l*w + 256 = -w. Let c = 64 + w. Solve c = -0*h - 4*h + o - 5, 0 = -3*h - 3*o for h.
-1
Let f(v) = v**2 + 17*v + 74. Let g be f(-5). Let r be (-22)/g + 8/14 + 25. Solve 4*i + 2*t = -26, -r = i + 3*t + t for i.
-4
Let l be (7 + -5)*11/2. Let i be -4 + (-5)/(20/1872) - 2. Let u = -470 - i. Solve 5*d - 8 = d, -u*d = -r - l for r.
-3
Let m(q) = q - 6. Let x be m(6). Suppose x*h - 3*h = 2*h. Suppose -4*y + 26 = 2*r, 4*y + r + 0*r - 23 = h. Solve i = 5*t + 1, 2*t + y*i + 22 = -0*t for t.
-1
Let y be (17 - 12) + (4 - 10 - -4). Solve 3*o = -1 - 2, -y*g - o - 10 = 0 for g.
-3
Let r be 11/(99/36) + -32 + 0. Let f be (-3)/12 - 231/r. Solve -4*q = 2*g, 0*g - 4*g = f for q.
1
Let w = -2096 - -2101. Solve -d + 23 = 4*i, -12*i = -7*i - w*d - 10 for i.
5
Let p = 6438 + -6434. Suppose 2*n - 30 = -t - 3*n, 4*t - 5*n + 5 = 0. Solve h + 5*i = 25, p*i - 14 = -t*h + 27 for h.
5
Suppose -92*a + 98*a + 1788 = 0. Let u = -296 - a. Solve 3*x - 19 = -u*x - m, -5*m + 3 = 2*x for x.
4
Suppose 110*g + 132 = 114*g. Solve -3*i + 5 = -5*f, i - 4 = -29*f + g*f for i.
0
Suppose -m - r = 46, 3*m + 0*m - 3*r = -108. Let a be (0 - -43)*((-4)/6 - 89/267). Let i = m - a. Solve 2*h = -4*p - 14, h = 2*h - i*p - 1 for h.
-3
Suppose 9 = 5*a + 4*j, -5*a = -0*a + j - 21. Suppose 0 = 9*s + 6*s - 14*s. Solve s = y + 4*f - 15, a*f - 12 = -3*y + 4*f for y.
3
Let s(r) = 2*r + 40. Let a be s(5). Let o = 180 - a. Suppose -14*b + 38 = -o. Solve -5*j - 2*z - 28 = 0, 2*j - 7*z = -2*z + b for j.
-4
Let j be (-3)/((9/6)/(-1)) - 0. Suppose 4*f + j*f = 24. Suppose 3*b = u + 6, 5*b + 3 = -f*u + 13. Solve -b*k = c - 2, 0 = c + 3*c + k + 13 for c.
-4
Let v = 904 + -902. Solve 4*k = 4*h, 5*k = v*h - 4*h + 14 for k.
2
Let u be 8 + -5 + (0 - 0). Let q be (-2)/1*(21/(-6) + 1). Solve 3*c = -u*x, 2*x = -0*x + q*c for x.
0
Suppose -24*i - 12 = -27*i. Suppose i = 11*x - 29. Solve 4*p = 3*o - 23, -x*o + p = 6*p + 22 for o.
1
Suppose v + 4 = 5*y, 2*v - 12 = -5*y + 10*y. Suppose 3*o + 13*j + v = 8*j, o - 28 = 5*j. Solve o*l = l - 4*u - 10, -3*l + 2*u = -25 for l.
5
Let f = 18 - -1. Let t be (-64)/(-2) + (44/88)/(2/(-16)). Let p(r) = r**2 + 3*r - 1. Let v be p(-4). Solve -2*h - 4*w - t = 2*h, -f = -v*h + 5*w for h.
-2
Let q be (-6)/3*102/(-12). Suppose -6*d - 22 = -q*d. Solve -4*h = -b - 2, -h + d*h + 3*b = 7 for h.
1
Let o be 5 + (-1)/(-5) + 204/30. Suppose 5*v - 5 - 5 = 0, -3*v = 2*g - o. Solve 3*u - 12 = -5*d, -g*d = -2*d + u - 2 for d.
3
Let t(i) = i**2 + 9*i + 8. Suppose -b - 2*b = -9. Suppose 2*q + 16 = -2*j, -q = 2*j + b*q + 16. Let z be t(j). Solve 5*w + z = -5*l + 20, -5*w - l = -20 for w.
4
Let m = -2491 - -2493. Solve m*x = -10, 2*x + 12 = l - 2*l for l.
-2
Let u = 331 + -333. Let b be 1/(u/(-12)*(3 + 0)). Solve -t = 4*x + 11, 5*t - 2*x = b*t + 9 for t.
1
Let j(q) = 2*q**2 - 5 + 0*q**2 + 0*q**2 - 3*q**2. Let c be j(5). Let w = c - -32. Solve -2*p + w*t - 4 = 0, -3*p - t - 11 = t for p.
-3
Suppose -5*z + 6 = -19. Let l(w) = -w**3 + 5*w**2 + 3. Let b be l(z). Suppose 23*a - 984 = -18*a. Solve m = 2*h - 3*h, 0 = b*h - 3*m - a for h.
4
Let s be (-14)/(-6)*-3 + 4. Let k(g) = g**2 + g - 3. Let n be k(s). Suppose -6*t + t = 4*l - 18, 21 = n*t - l. Solve 4*f + 3 = 3*w - t, -w - 13 = 4*f for w.
-1
Let r(p) = 25*p + 53. Let w be r(-2). Suppose -2*d = -0*d + w*d. Solve -4*m - 6*q = -2*q - 4, -q = d for m.
1
Let y = 1509 - 1504. Solve -5*x = -r + 7, 2*r + y*x = -9 - 7 for r.
-3
Let o = 315 - 70. Let n be (-58)/(-14) - 35/o. Solve -17 = -5*w - n*p, 3*p = 4*w + 5*p - 10 for w.
1
Let v = 23 - 19. Suppose 9*l = v*l. Let h be (0 - -4)/(236/177). Solve u + 0 = 2*x + 1, -x - 3*u + h = l for x.
0
Let q = -29697 - -29709. Solve 15*m - q*m = -5*u - 5, -5*u = -3*m + 5 for m.
0
Suppose 17*z - 80 = z. Let u(o) = o**2 - 16*o + 63. Let s be u(z). Solve b - 2*b + 5 = -2*h, 2*b + s = -2*h for b.
-1
Suppose 4*d - 32 = 3*y - 6, 2*y = 3*d - 21. Solve -d = -3*q - 5*g, -3*g + 12 = -0 for q.
-3
Suppose -6*q - 885 = -915. Solve -3*w + q*i = 23, 20*w + i = 19*w + 3 for w.
-1
Let m = 293 - 295. Let p = 8 + m. Solve 3*v - 18 = i - v, 2*i + p = 2*v for i.
2
Let b be ((-14)/6 + -3)/((-18)/297). Suppose -185*o = -163*o - b. Solve -j - j + 16 = o*q, 2*j - 14 = -3*q for j.
4
Suppose -5 = -5*q - 3*z, -q + 12 = 4*z - 6. Let m = q + 6. Solve -2 = -2*u - m*d + 2, d = 0 for u.
2
Let k = -16256 + 16352. Solve k*b - 98*b = 2*c - 8, -2*c + 12 = -2*b for c.
5
Let l be ((-1)/(-3) - -1)*(44 - 3825/90). Solve -5*b = -5*g - 10, -l*g + 5*g - 2*b = -6 for g.
-2
Let m be (-3 - 80/(-25)) + 357/15. Let d be (3 + -3)/(m/6). Solve -3*q + o = -d*o - 10, -o - 2 = q for q.
2
Suppose -q + 40 = -3*g, -2*g - 131 = 7*q - 365. Solve 6 = -y + 7*s + q, -5*y - 2*s - 8 = 0 for y.
0
Let l = -149 + 146. Let f(m) = m**3 + 6*m**2 + 9*m + 7. Let h be f(l). Let j(u) = -u + 3. Let c be j(3). Solve -2*g - 3*b = 7, c = 4*g - b - 0*b + h for g.
-2
Let p = -196 - -136. Let b = -77 - p. Let f = b - -18. Solve -19 = -2*q - 4*r - f, 4*r = 2*q + 14 for q.
1
Let p = 153 - 121. Suppose 0 = -p*x + 14*x + 54. Solve -3*o - 1 = -x*y - 7, -5*o = -y - 2 for y.
-2
Let f(n) = 27*n**2 - 702*n + 1. Let q be f(26). Solve 2*c - 5 = -d + q, 3*c = -2*d + 8 for c.
4
Suppose -15*d = -18846 + 18786. Solve 2*p - 7 = 7*p + d*z, 0 = 4*p + 2*z + 2 for p.
1
Suppose 0 = -3*d - w + 62 - 176, -3*w = 3*d + 108. Let k = 42 + d. Suppose 0 = 2*c + 6*x - 8*x - 12, 3*x + 12 = 0. Solve -16 = -t - k*t + 3*a, 0 = -c*a for t.
4
Let m(u) = u**2 - 21. Suppose 2*p = -4*q - 12, -4*q + 3*p = 42 - 10. Let n be m(q). Suppose 12 = n*t - t. Solve t*i + f - 11 = 0, -i + 3*f = -8 + 2 for i.
3
Let x = -9 + 14. Suppose x*q - 4*m - 4 = 3, 4*q - m - 10 = 0. Suppose 2*j + p - 9 = -0, -2*j + 19 = q*p. Solve -4*o = -j*w, w + 1 = 5 for o.
2
Let d be (39/(-52))/(3/(-4)) - -4. Suppose -w = -1, -4*p + 0*w + 117 = d*w. Solve -p = -4*u + 4*v, -4*v - v - 10 = 0 for u.
5
Let