 2*k + 6 = 0 for l.
-2
Let x be -13 - (-16)/(-4) - (2 - 1). Let u = x + 21. Suppose -6*w + 2*w + j = -105, 0 = 3*j + 15. Solve 2*b = 3*d - 3*b + w, b = u*d + 17 for d.
-5
Suppose -5*y - 8 = 3*a, 0 = 40*a - 38*a + 2*y. Solve 0 = 2*f - 2*j, a*f - 3*j + j - 2 = 0 for f.
1
Suppose 2*c - 5 = -b, -3*c - 2*b + 10 = -b. Solve -i + 17 = 3*v, 4*v - 2*i - 11 + c = 0 for v.
4
Let f be ((-34)/(-85))/(8/100). Suppose f*i - 17 = 3. Solve 3 - 16 = -5*c - 3*k, 2 = -c + i*k for c.
2
Suppose 0 = 17*z + 51*z + 217*z - 436 - 419. Suppose 0*w = w - 3*v - 9, 4*v + 8 = 0. Solve k + 0 = z*j + 1, -j + w*k + 13 = 0 for j.
-2
Suppose 193 - 183 = 5*t. Let r be (-122)/(-12) - 2/12. Solve 2*u - r = -3*b - t*b, b + 1 = -u for b.
4
Suppose 0 = -93*q - 1631 + 2003. Suppose -3*c + 20 = -43. Suppose 4*j + 1 = c. Solve j*l + 2*o = 5*o - 2, q*l - 4*o = -8 for l.
2
Let a = -989 - -909. Let g be 8 - (0 - a/10). Solve 8 = -z + 5*r, r = 4*z - g - 6 for z.
2
Let f(t) = 87*t + 11. Let r be f(3). Suppose r + 311 = 11*z. Suppose -15*b + z = -7. Solve -11 = -5*h - b*v, 2*h - v = 2*v + 9 for h.
3
Let q(c) = 229*c + 1377. Let y be q(-6). Solve -2*p - 18 = -5*z, y*p - 5*z + 13 = -z for p.
1
Suppose 4*v - 4 = 0, 2*z - 7*v + 3*v - 94 = 0. Suppose -z*f + 44*f = 0. Solve f = -5*t + 2*g - 31, 4*t - g + 17 = -6 for t.
-5
Let w be 24/(-9)*99/(-6). Suppose w = -c + 14. Let r be (-20)/(-2)*(-12)/c. Solve 0 = -r*s - q + 2*q - 21, 2*s + 6 = -4*q for s.
-5
Suppose -6 = -11*x + 14*x. Let y be (2/x)/(11/(-2) - -5). Suppose f - 15 = -y*q - 0*f, 31 = 4*q + f. Solve 0*t - 2*t - q = 5*c, 2*c + 8 = -2*t for t.
-4
Let k = -35 - -132. Let b = k - 89. Solve 5*u + 2 = -3*s - b, 0 = s - 5*u - 10 for s.
0
Suppose 536 = 305*a - 379. Solve -5*g = 3*h + 8 + 7, 0 = 3*h - a*g + 15 for h.
-5
Let o(j) = -2*j**2 - 24*j + 4. Let u = -294 - -282. Let h be o(u). Solve -d - s - 6 = -4*d, h = 2*d - 4*s for d.
2
Let q(s) = -3*s - 1. Let w(y) = y - 116. Let d(l) = 2*q(l) + w(l). Let f be d(-24). Solve 0*n - 2*n = 2*p, -f*p + 3*n + 10 = 0 for p.
2
Suppose -5*b = -4*f + 64, -2*b = -5705 + 5721. Solve 2*c = -4*v - f, -17*c + 14*c - 5 = 4*v for v.
-2
Suppose 0 = -c - 4*n + 7 + 31, -3*c + 69 = -3*n. Let w = c + -24. Solve -o - w = 4*j, -j - 2 = -o + 1 for j.
-1
Let z = -5 - -9. Let i = 28464 - 28463. Solve -i = 4*o - r + 6, -z*r + 9 = 3*o for o.
-1
Suppose 9*k - 274 + 247 = 0. Solve 3 = -k*v + 3*g, -v + g = -5*v - 14 for v.
-3
Suppose 2*p - 3*c - 20 = 0, p - 20 = -3*p + c. Solve -3*w - 4 = 4*q, p*w = -0*w - q - 14 for w.
-4
Suppose -20*y = -9*y + 22. Let i be 0/((y + 5)*1). Let l(z) = z + 11. Let r be l(-6). Solve -r*c + 30 = -5*m, i*m + 3*m = c - 16 for c.
1
Let u = -49 + 55. Suppose u = -18*n + 60. Solve h - 20 - 4 = -4*s, 13 = 5*s - n*h for s.
5
Suppose -2*v + 3*s = -9, -3*v + 0*s = s + 3. Solve 3*x = -3*f - 124 + 121, v = 4*x - 4 for f.
-2
Suppose 4*f = -u - 40 - 37, -2*u = f + 154. Let t = -69 - u. Solve -t = 5*o + 2, -i - o = 0 for i.
2
Let p(o) = -5*o**2 + 8*o + 34. Let l be p(-5). Let r = -127 - l. Let w be ((-9)/(-1))/((-3)/(-4)). Solve -3*x + x + r*u = w, -2*x - 2*u = -18 for x.
4
Let v(l) = -l**2 + 56*l - 780. Let i be v(26). Solve -5*n - 2*b + 12 = i, -39*n = -37*n - 5*b - 28 for n.
4
Suppose 2*l = 5*w + 290, -l - 28*w = -29*w - 148. Suppose 5*b = -y + l, -4*b + 2*y + 3*y = -91. Solve -8 = -3*f - 5*o + b, o = -2*f + 13 for f.
4
Suppose 0 = -46*r - 27*r. Solve r = 5*o + 5*s - 20 - 0, -2*o = -5*s - 1 for o.
3
Let o = -554 + 654. Suppose 0 = 15*r + 5*r - o. Solve 2*v + 6 - r = g, 2*v = -2*g + 8 for g.
3
Let o be 293/(-6 + (-66)/(-12)). Let i = o - -588. Solve -6*v = i*d - v, 3*d + 13 = -v for d.
-5
Let n = -294 - -327. Suppose 0 = -5*z + 8*h - 6*h + n, 36 = 4*z - 4*h. Solve -2*r - 2*l - 12 = 0, 2*r + z*l + 26 = -r for r.
-2
Suppose 974 + 951 = 5*k. Let t = 387 - k. Solve 0 = 4*g + p + 13, -t*p + 4 = -2*g for g.
-3
Let r = -227 + 263. Suppose -14*h = -r + 8. Solve 3*u - 4*j = -2*u + 9, -5*u = h*j - 3 for u.
1
Let v = -45354 - -45356. Suppose -y - 4*y + 100 = 0. Solve -m + 16 = v*m + 2*c, y = 4*c for m.
2
Let m(c) = c**3 + 4*c**2 - 5*c - 19. Let y be m(-3). Suppose 0 = 49*j - 48*j - y. Solve -p = j*b - 2*p + 17, 4*b + 20 = 4*p for b.
-3
Let p(w) = -4*w + 13. Let q(d) = 3*d + 5. Let f be q(-1). Let j be p(f). Solve 0 = 3*z - 3*g - 15, -j*z = -7*z - g + 4 for z.
3
Suppose 5*v = h - 8, 4*h + 2*v + 0*v - 10 = 0. Let s be (5 - h) + 3 + -7 + 15. Solve -5*u - 7*o = -3*o - s, 3*o = -4*u + 11 for u.
5
Suppose 49*x - 660 = -83*x. Solve x*z + 0*z - 5 = k, -2*k - z + 12 = 0 for k.
5
Let v(l) = 16*l - 45. Let g be v(6). Suppose -6*r = -9*r + g. Solve 0 = 5*a - u - 29, -3*u = -2*a + a + r for a.
5
Suppose 0 = 4*n - 2*k - 2*k - 84, 5*n = -2*k + 49. Solve -3*t = -10*y + 7*y - 12, -n = -4*t + y for t.
3
Let r = -117 - -257. Let t be 20/14 + 80/r. Solve 4*n - s = 2, 2 = 3*n - t*s + 3 for n.
1
Let p = 76 + -63. Suppose 4*c - p = 39. Suppose 33 = 4*d + c. Solve 28 = -2*o + 4*u, -4*o + u - 1 = -d*o for o.
-4
Let x be (-30)/25*15/(-8) + (-105)/(-140). Solve 4*o + 2*m = -2, 7 = o + x*m - 5 for o.
-3
Let j be ((-189)/42 - -6)/((-3)/(-4)). Solve 4*z - v - 10 = -0*v, -2*z - j*v = 0 for z.
2
Let o(k) = -6*k - 1. Let w = 157 - 158. Let g be o(w). Solve r + g*c = 2, 5*c - 1 = -3*r + 5 for r.
2
Let q(o) = -o**2 + 19*o - 45. Let k be q(3). Let b = 15 + -11. Suppose 60 = b*a - 16. Solve k*x + 5*w - 17 = x, a = 4*x + 5*w for x.
1
Let x(s) = -4*s**2 - 45*s - 9. Let d be x(-11). Let r be (-1)/((-345)/(-171) + -2). Let o be 38/r + -14*(-1)/3. Solve 4*i = d*c + 6, -7*i + 3*i + o*c = 0 for i.
3
Suppose 0 = 4*j + j - 300. Let q be ((-6)/9)/((-4)/12). Suppose -2*p + j = 4*m, -q*m + 6*m - 74 = 5*p. Solve 0 = 4*g + 2*a + 42 - m, -g = 2*a + 11 for g.
-5
Suppose 186*t - 38 = 181*t - 3*j, 3*j - 22 = -t. Solve t*f + 15 = 3*x, 307*f - 303*f + 5 = x for x.
5
Let w = -9097 + 9108. Solve -4*s = -5*x + 3, 2*s - 6*x + 9 = -w*x for s.
-2
Let m(g) = -2*g**3 + 7*g**2 + 13*g + 13. Let k be m(5). Solve -5*d + 32 = -k*z - d, -5*d = 3*z - 13 for z.
-4
Suppose -21 = -2*i + 5*w, 2*w - 5 = -11. Solve d + 24 = -2*u + 5*d, -1 = i*u + d for u.
-2
Let s be (185/(-148))/(5/(-24)). Solve s*q = 4*q, z - 5*q + 3 = 0 for z.
-3
Let v(u) = u**2 - 4*u - 6. Let p be v(5). Let z be (-1 + 2 - p) + 25. Suppose -6 - 166 = -30*k - 22. Solve -8 = 5*n + w - 34, z = k*n + 2*w for n.
5
Let p(s) = -9*s + 37. Suppose 8*o + 10*o - 72 = 0. Let g be p(o). Solve 2*h = -4*l + 8, l + g - 3 = -h for h.
0
Suppose -4*b = -5*n - 139, 45*n - 48*n = b - 39. Suppose 53 = g + 14. Let o = g - b. Solve -p - 9 = o*p + 5*s, 0 = -p + 5*s + 4 for p.
-1
Let x = -3272 - -3358. Solve 0 = -f + t + x - 90, -4*t + 16 = 0 for f.
0
Suppose -3*i = -j + 11, 5*j - 65 = i + 18. Suppose -j*x = -18*x. Solve z + 4*a + 3 = x, -4*a = 2*z - 0*a + 2 for z.
1
Suppose 7*s - 201*s = 19*s - 3195. Solve -26*r + 18 = 3*c - 29*r, -s = 5*r for c.
3
Let h(g) = g + 26. Let c be 2/15 - 4004/330. Let l be h(c). Solve -2*z - 4*j - l = -j, 0 = -5*z + 5*j + 15 for z.
-1
Let y = 59 - 113. Let j be (y/(-8))/(57/152). Solve -2*i - 2*i + 4*v = 4, -j = -2*i - 2*v for i.
4
Suppose l - 3*x + 1 - 18 = 0, -4*l - 2 = 2*x. Solve h - 21 = 2*h + 5*p, l*p + 10 = -2*h for h.
-1
Suppose -18*t - 70 = -20*t. Solve 40*u = x + t*u + 28, 0 = x + 5*u - 22 for x.
-3
Let s(j) = -10 + 8*j + 2*j**3 + 6*j**2 - 12*j - j**3. Let q be s(-6). Let m be (10 - q) + (8 - 1). Solve 2*y = -i - m, 0 = -2*y - i - 4*i + 1 for y.
-2
Let x = -46 + 63. Suppose 4*n + 2*n = 192. Suppose 27*h - n*h = -15. Solve -2*z - 3*j - x = -h*z, 0 = 2*z - 4*j - 24 for z.
2
Let l be (-21)/(-2)*18/(-1071)*-34. Let r be 22/6 - 10/15. Solve -3*s - l*k = -r*k - 18, k - 2 = 3*s for s.
1
Suppose 43*x - 90 = 17*x + 20*x. Solve -2*v - x = -2*a - 1, 5*a - 33 = 4*v for v.
-2
Suppose -1 = -4*m - 5*i, 7*m - 5*m + 7 = 5*i. Let x(h) = -2*h**3 - 3*h**2 + 3*h + 4. Let u be x(m). Solve -6 = 2*s - 2*j, 3*s + 2*s - j + 23 = u for s.
-5
Suppose -6*b + 78 + 42 = 0. Let l be (-9)/((-45)/b) - -1. Solve l*q = -4*v - 35, 4*v + 16 = -4 for q.
-3
Suppose 164*o = 177*o. Solve -4 = -m - o*q - q, -m - 6*q = 1 for m.
5
Let m be (((-27)/(-2))/(6/8))/2. Solve o = -0*o - n - m, 3*o = 5*n + 5 for o.
-5
Suppose 0 = -0*m + 3*m + 6*z - 18, -5*m - 5*z + 25 = 0. Solve -m*x = -2*t - 8, -16 = -2*x - t + 5*t for x.
0
Suppose -4*w = -i - 37 + 31, w + 9 = -5*i. So