20485. Put 0, j, l, -4 in descending order.
l, j, 0, -4
Suppose -3*a - 2*a + i - 16 = 0, -2*i + 2 = 0. Let w be a*4/36*-3. Suppose 4*g - 36 = -8*g. Put g, -8, w in decreasing order.
g, w, -8
Suppose -3 = -4*o + 3*o, q - 10 = -3*o. Let x(n) = -n**3 - 4*n**2 - n + 1. Let p be 3/6 - 2*12/16. Let c be x(p). Put c, -5, q in increasing order.
-5, c, q
Let c(q) = q**3 - q**2 + 3. Let w be c(0). Let k = -9 + 9. Let o be (30/(-40))/((-3)/(-11 + -1)). Sort w, k, o in decreasing order.
w, k, o
Let q = -20/13 - -113/65. Let l be (-5931)/(-42) - 3/(42/(-4)). Let a = 142 - l. Put q, a, 1/3, 2 in increasing order.
q, 1/3, a, 2
Let a be (2 - -8) + 5/(-1). Let b(d) = -d**2 + d - 1. Let g be b(1). Suppose -5*o + 19*h - 14*h = 50, 3*o + 18 = -h. Sort g, o, -4, a in ascending order.
o, -4, g, a
Let l be (5 - (-769)/10) + (-2)/5. Let z = -82 + l. Let t = -5.4 + 5.7. Put -2/11, z, t, 1/7 in ascending order.
z, -2/11, 1/7, t
Let j be (-3 - (1 + (-6)/2))/1. Let s(o) = -o**2 + o + 28. Let n be s(8). Let m be (n/(-16) + -2)*-2*2. Sort 7, m, j, 2 in decreasing order.
7, 2, m, j
Let u be ((-35)/21)/((-1)/3). Suppose -u*f - 414 = f. Let v be f/(-15) + -4*1. Sort v, 1/6, -1/12.
-1/12, 1/6, v
Let a = -110 + 106. Suppose -5*v - 4*u - u = 0, 0 = -v + 2*u + 9. Sort -2, v, a, 5 in increasing order.
a, -2, v, 5
Let z(x) = -x - 13. Let s be z(-8). Suppose 0 = 54*g - g - 265. Put 4, s, g, 1 in ascending order.
s, 1, 4, g
Suppose -x - 547 + 544 = 0, 3*b = -3*x - 18. Sort 4, -7, 11, b, 3 in ascending order.
-7, b, 3, 4, 11
Let b(p) = 2*p**2 - 92*p - 743. Let q be b(-7). Sort -3, -11, 7, q in decreasing order.
7, q, -3, -11
Suppose 15*c + 4741 - 957 = 817*c - 1028. Suppose -2*n - d - 2*d = -12, -3*n = 3*d - 15. Let w = 2 - 1. Sort n, c, 5, w.
w, n, 5, c
Suppose 49*r - 36 = 46*r - 3*p, -5*p + 5 = -6*r. Suppose -2*l - 5*k - 28 = 0, -5*k + 4*k - 4 = 0. Put 1, r, l in decreasing order.
r, 1, l
Let c = -264 - -237.8. Let a = c - -26. Put 0.1, -1/4, a, 4 in ascending order.
-1/4, a, 0.1, 4
Suppose 0 = -4*p + 5*w - 0*w + 12, p = w + 2. Let b be (-276)/(-429) + ((-8)/11)/4. Put p, b, 0, 1 in ascending order.
p, 0, b, 1
Let h = -0.3918 + 6.2918. Sort h, -2/5, -3 in ascending order.
-3, -2/5, h
Let v = 635 + -631. Sort v, 26, 25 in decreasing order.
26, 25, v
Let u = -27.21 + 27.71. Put -0.7, u, -0.96 in ascending order.
-0.96, -0.7, u
Let d = -2272 - -2272. Sort -4, -14, d, 1 in ascending order.
-14, -4, d, 1
Let w be (3 - (5 - 0))/(11 + (-3591)/323). Put 5, 1, -1, -4, w in increasing order.
-4, -1, 1, 5, w
Let t be ((-265)/(4 - 9))/((-2)/(-4)). Put 4, t, 0, -2 in descending order.
t, 4, 0, -2
Let x = 4.3 + -4. Let d = -1389.4 - -1276. Let l = d + 113. Sort -0.9, x, l.
-0.9, l, x
Let g = -13.32 - -1.42. Let d = -11 - g. Let r = d + -1.1. Sort -42, r, -2/9 in ascending order.
-42, -2/9, r
Let k = -8 - -8. Suppose -6*s + 8*s = k. Suppose 0 = 18*b - 12 - 24. Sort 1, b, -13, s in descending order.
b, 1, s, -13
Let c = 1439.4 + -1439. Put -59, -1, 0.5, -4, c in increasing order.
-59, -4, -1, c, 0.5
Let t(a) = -a**2 + 5*a + 6. Let d be (0/(-2))/(1 + 0/2). Let o be d + (-4)/(-10) + (-112)/(-20). Let r be t(o). Sort -4, r, 3 in increasing order.
-4, r, 3
Let z = 788 - 783. Let k = -5 + 3.5. Let l = k + 1.5. Put -0.2, -2/9, z, l in decreasing order.
z, l, -0.2, -2/9
Let r = 10694.7 + -10695. Sort r, 21, -4/17.
r, -4/17, 21
Let s = -0.02799 + 0.22799. Sort 1, s, -62/13.
-62/13, s, 1
Let s = 72 + 3. Let y = -4148 + 4072.91. Let q = y + s. Sort 0.4, 1/5, q in increasing order.
q, 1/5, 0.4
Let f = -0.10827 + -0.29173. Sort 2, -20/13, -4, f, 0.3 in decreasing order.
2, 0.3, f, -20/13, -4
Let w(o) = -o**3 - 12*o**2 - 13*o - 27. Let c be w(-11). Sort c, 2, -7.
-7, c, 2
Suppose 3*u + 16 = -2*o, -20 = 3*u + 2*u + 2*o. Let f be (4 - 3) + u/6. Put -1, f, -2/47 in decreasing order.
f, -2/47, -1
Let y = 1031.8 - 1031. Put y, -3/2, -46 in descending order.
y, -3/2, -46
Let k = 8 - 5. Let t = 8 - k. Let r = 198587 + -198591. Put r, t, -2, 1 in decreasing order.
t, 1, -2, r
Let j = 5.2 - 5. Let k = -0.6 + j. Suppose 5*r - 13 = 27. Sort k, 0.2, r.
k, 0.2, r
Let j = -115648.4557 - -115597.1. Let s = j - -0.0557. Let u = 51 + s. Put 4, u, 0.2, 5 in decreasing order.
5, 4, 0.2, u
Let g be 2*(-2 - (-3)/(-6)). Let m = -174 - -172. Let j be (-3 + 4)*2/(m/(-1)). Put g, -4, j, -3 in increasing order.
g, -4, -3, j
Suppose 5*i - 2*i = 12. Let b = 14 - i. Suppose 4*s - 5*f = 2*s - 10, -2*s + 6 = 3*f. Sort 1, s, b in decreasing order.
b, 1, s
Let f = -67.1 + -0.9. Let i = f + 69. Let m = -15.92 + -0.08. Put 0.4, i, m in descending order.
i, 0.4, m
Suppose -17*s = -34 - 0. Let y be ((-160)/39 - -4)*(-3)/s. Put -9, 3/4, y in decreasing order.
3/4, y, -9
Suppose -26*j + 6 = -72. Let l be -2*44/32 - (-3)/(-12). Put j, l, -4, 5 in increasing order.
-4, l, j, 5
Suppose -27 = 95*v - 68*v. Put -28, v, -2, -4, 2 in descending order.
2, v, -2, -4, -28
Let z = 0.8171 + 4.1829. Put -1/4, 472, 1, -3, z in descending order.
472, z, 1, -1/4, -3
Suppose -2*n - 9 = -c + 4, 0 = -n - 4. Suppose -b - 4 = -5*k, -c*k + 10*k = -b - 4. Put -1, k, -17, -4 in ascending order.
-17, -4, -1, k
Let o(u) = -5*u**2 - 1. Let y be o(-1). Suppose 1 = 18*l - 3*l - 16*l. Suppose 5*x = -11 - 4. Put l, y, x, -5 in descending order.
l, x, -5, y
Let o(l) = -3*l**2 - 9*l - 140. Let j(h) = 2*h**2 + 10*h + 138. Let a(x) = -4*j(x) - 3*o(x). Let i be a(21). Sort 2, i, -4 in increasing order.
-4, 2, i
Suppose -15*w = -26*w. Suppose 5*j - 4*o - 30 = 3*j, w = -3*o - 15. Suppose -3*c + 0 = 6. Sort -3, 3, j, c.
-3, c, 3, j
Let n be 4/(-7)*(-3)/3. Let z = 158 - 160.1. Let a = z - -1.6. Put -2, n, a in increasing order.
-2, a, n
Let w = -3052 - -3045. Sort w, 5/4, -8, -1, -3 in descending order.
5/4, -1, -3, w, -8
Let s be 2/(-2) + 0 + 4 + -2. Suppose 63 = -3*u - 4*p - p, -u + 5*p = s. Sort -3, 1, u in ascending order.
u, -3, 1
Let t = -924/5 - -192. Let r(i) = 5*i - 23. Let c be r(4). Sort c, t, 0.5 in ascending order.
c, 0.5, t
Let j = -568.6 + 568.44. Put 1, j, -3 in decreasing order.
1, j, -3
Let u = 649.5 + -644.5. Let z = 0.6 + -0.1. Put z, u, -1.8, -4/7 in decreasing order.
u, z, -4/7, -1.8
Suppose 0 = 3*m + 8*c - 9*c + 13, m - 3 = -7*c. Sort 23, m, -147 in descending order.
23, m, -147
Let n = 32.7 - 30. Let v = n - 2.5. Let l = 1649/3 + -550. Sort l, v, -2/11, 1 in decreasing order.
1, v, -2/11, l
Let l = -0.0555 + 0.1555. Let o = -2 - -2.2. Sort l, -1, 4, o in ascending order.
-1, l, o, 4
Suppose -2*j + 7*j - 230 = -5*v, 2*v = -5*j + 107. Suppose 7*d + 396 = -4*d. Let x = d + v. Sort x, 2, 1, -4 in ascending order.
-4, 1, 2, x
Let k(t) = 2*t**3 + 17*t**2 + 7*t - 8. Let y be k(-8). Let m be (-34 + 36)/((-2)/(-3)). Sort m, 5, -113, y in descending order.
5, m, y, -113
Let o(n) = 6*n + 62. Let w be o(-10). Let v be (w/(-2) - -3) + -13. Put -4, 3, v in ascending order.
v, -4, 3
Let l = 4.4 - 4. Let x(h) = h**3 + 10*h**2 - 12*h - 12. Let m be x(-11). Let u = 563.9 - 564. Sort 2/9, m, u, l in decreasing order.
l, 2/9, u, m
Let j = -333.34 - -333.54. Sort -10, 54/7, j.
-10, j, 54/7
Let g = 3 + -3. Let h = 2 - g. Let z = -3034 + 3035. Put -5, h, z, 0.3 in decreasing order.
h, z, 0.3, -5
Suppose 38*t - 180*t = 0. Sort 3, 107, 1, t in descending order.
107, 3, 1, t
Suppose 20*g + 18*g - 52 = 6*g + 6*g. Let t(m) = -m**3 - 8*m**2 - 8*m - 4. Let n be t(-7). Put g, 24, 4, n in ascending order.
g, n, 4, 24
Let v = -18949 - -18949.5. Sort 3/10, 1/10, 8/3, v in increasing order.
1/10, 3/10, v, 8/3
Let i = 679 + -669. Suppose 2*c - 3*o + i = 0, o = -25*c + 22*c - 15. Put 2, 1, 0, c in decreasing order.
2, 1, 0, c
Let o = -1543 - -1547. Let i = -2 - -5. Suppose -4*s - 1 = s + o*p, i*s - 3*p = -6. Sort -2, -50, s.
-50, -2, s
Let u = 297 + -299. Let l(w) = -3*w + 5. Let h(p) = -p + 2. Let q(j) = -5*h(j) + 2*l(j). Let b be q(0). Put 4, u, b, -1 in decreasing order.
4, b, -1, u
Suppose -37*m = -38*m - 2. Let q(a) = a**2 + 6*a + 8. Let w be q(m). Sort w, -3, 5, 4 in ascending order.
-3, w, 4, 5
Let d be (-4)/((-7)/(14/8)). Let f = 322 - 321.6. Let v be (3/(-2))/((99/12)/(-1)). Put f, d, v, -1/2 in descending order.
d, f, v, -1/2
Let i be (4/(-12))/(1/3). Suppose 257*y + 546 = 439*y. Let z = 1.7 + 0.3. Put -3, z, y, i in increasing order.
-3, i, z, y
Let q = -35 - -35. Suppose q*h = 2*h. Let