 b, 0.4, -6, 0.03 in descending order.
0.4, b, 0.03, -6
Let a = -3.165 + 3.138. Sort a, -4, -3, 1/2 in decreasing order.
1/2, a, -3, -4
Let j = -47327 - -47327.5. Let k = 22 - 21.87. Sort k, -0.4, -5, j in decreasing order.
j, k, -0.4, -5
Let m = -2 - -3. Let u = 4 + m. Suppose 17*b + 17*b = -204. Put b, 0, 2, u in decreasing order.
u, 2, 0, b
Suppose -33*u = 2171 - 2270. Let l = -10 - -9. Let k be (-6 + 1)*(l + 0). Put 1, k, u, 13 in decreasing order.
13, k, u, 1
Let l = 23258 - 23258.4. Put 4, -3.8, -1/4, l, -0.1 in increasing order.
-3.8, l, -1/4, -0.1, 4
Suppose -7*z = -8*z + 5, 0 = -2*o - z + 23. Put 23, -4, o in ascending order.
-4, o, 23
Let o(l) = -l**2 - 27*l + 61. Let a be o(-29). Suppose -4*h = -5*x - 9, x - 1 = a*h - 5. Sort 13, -3, x.
-3, x, 13
Let y = 3 + 1. Let f(q) = -4811*q - 43294. Let c be f(-9). Let t be 1 + (-1 - 0) - 1. Sort t, c, y in descending order.
c, y, t
Let x = 12.82 - 12.62. Let o = -13 + 7. Sort x, -4, o.
o, -4, x
Let r be (12/(-7))/(384/1792). Put 5, 2, -37, r in increasing order.
-37, r, 2, 5
Let q = -246 + 238. Let l = -0.3 + -0.7. Let v = -2.21 + 2.41. Sort l, q, v, 5.
q, l, v, 5
Let r = 7315 + -7315. Sort r, -0.1, -28, 1/17 in increasing order.
-28, -0.1, r, 1/17
Let w = 65.9 + -72.9. Let v be (-15)/6*8/30*-18. Put w, -1/3, v in increasing order.
w, -1/3, v
Let k(d) = -2*d + 4. Let g be k(11). Let p = 22 + g. Let o = 111 - 114. Sort p, 5, o in decreasing order.
5, p, o
Let j = -59143 - -59143. Let v be (-12)/(-5)*62/4. Let u = v - 38. Sort 3, j, -3, u in ascending order.
-3, u, j, 3
Suppose 25*b + 1680 = 81*b. Suppose 55*j = b*j - 50. Sort 4, -3, j in descending order.
4, j, -3
Suppose -1222 + 1216 = -3*t. Let d = -8 - 0. Sort t, d, 0.
d, 0, t
Let q = -1254 + 1256. Let w = 55 - 66. Put w, -5, q, -4 in decreasing order.
q, -4, -5, w
Let w = -2707 - -2705. Sort -3, 3, w, 16 in decreasing order.
16, 3, w, -3
Let v be 12/(-11) - (144/99)/(-16). Sort v, -11, -43, 3 in ascending order.
-43, -11, v, 3
Let o be (2/65)/(-173 + 160 + (-66)/(-5)). Put 1.9, -3/4, o, 23 in ascending order.
-3/4, o, 1.9, 23
Suppose 3*u - 1075 = -5*p, 4*u = -u + 25. Suppose p - 56 = 4*b. Let t be (b/52)/((-1)/4). Put t, 1, 3, -4 in ascending order.
-4, t, 1, 3
Let y be ((-2)/4)/(1/(-10)). Let q(a) be the first derivative of -a**4/4 - 10*a**3/3 + 13*a**2 + 15*a - 73. Let w be q(-12). Sort -2, y, w.
w, -2, y
Suppose 83*d - 42*d = 40*d - 2. Put -5, -10, d, 60 in decreasing order.
60, d, -5, -10
Let j = 0.22151 - 0.02151. Sort 8, 2, 0.4, 1.8, j in descending order.
8, 2, 1.8, 0.4, j
Let o(k) = -197*k + 17 - 1 + 195*k. Let i be o(-2). Put i, 3, 1 in increasing order.
1, 3, i
Let r be 10*(-1)/6 - (-19)/((-684)/48). Put -2, r, 194, 1, 3 in descending order.
194, 3, 1, -2, r
Suppose 31*a + 37 + 3 = 39*a. Sort a, -6/17, 1/14 in ascending order.
-6/17, 1/14, a
Suppose 3*r = 5*q - 8 - 13, r = -3*q + 7. Let z be (9/(-5))/((-6)/10). Let m be (-16)/3 - -1*1/z. Sort 3, r, m.
m, r, 3
Let z be 14 + (-32451)/4032 - 2/(-21) - 6. Sort 2, 0.5, -1/5, z, -0.5 in decreasing order.
2, 0.5, z, -1/5, -0.5
Let m = 4 - 6. Suppose 7*t = 6*t + 3. Suppose 0 = 2*z - 4*w - 8, 6*z + 15 = z + t*w. Put z, m, 0 in decreasing order.
0, m, z
Suppose 2*y - 4*f = 30, -11 + 62 = 7*y - 5*f. Let h be -3 - -2 - 2/4. Sort y, -1/7, -14, h.
-14, h, -1/7, y
Suppose -148 = -42*i + 79*i. Put 5, -7, i, 1 in decreasing order.
5, 1, i, -7
Let l = -9090 + 9091. Let z be 6/2 - 50/16. Put l, -4/5, z, 8 in descending order.
8, l, z, -4/5
Let r(g) = -g**3 + 4*g**2 - 8*g + 14. Let d be r(3). Put -34, d, -3, 7 in descending order.
7, d, -3, -34
Let b be (-20)/8*(-4)/10. Let q = -7684 - -7684. Put b, q, 9 in decreasing order.
9, b, q
Let s = 139 - 182. Let q(o) = 6*o + 4. Let u be q(6). Let g = s + u. Sort -4, g, 5 in decreasing order.
5, g, -4
Let o(n) = -n**3 - 23*n**2 - 147*n + 24. Let a be o(-5). Put -2, -4, 3, a in descending order.
a, 3, -2, -4
Let g = 211 - 213. Let d = 13 + -12.7. Sort -2/11, d, g, 4 in ascending order.
g, -2/11, d, 4
Let u be -12 + 126/9 - -12. Sort -6, 5, 3, u in decreasing order.
u, 5, 3, -6
Let p = -412 - -512. Let c = p + -99.9. Put 0.2, -2, c, -5 in decreasing order.
0.2, c, -2, -5
Let h = -149.2 - -149.2. Sort -1569, 3, h in descending order.
3, h, -1569
Let c = -0.31 - 0.01. Let k be 40/(-150)*(-2 + 102/36). Sort c, 0, k.
c, k, 0
Let r = -147 + 10. Let t = r - -135. Put -0.4, -1/8, t, 1/11 in ascending order.
t, -0.4, -1/8, 1/11
Let x(n) be the first derivative of n**4/4 + 4*n**3/3 + n**2/2 + 4*n + 1. Let m be x(-4). Let f = -36011 - -36018. Sort f, m, 3 in descending order.
f, 3, m
Let l be 4/(-22) + 303/33 + -4. Let t = -1.416 + 24.416. Sort t, l, 2/17 in decreasing order.
t, l, 2/17
Suppose 2*y + 5*v - 25 = 0, 5*y + 36*v - 10 = 34*v. Sort -1, -6, y, -10.
-10, -6, -1, y
Suppose 0 = -5*w + d - 79, -2*d = -2*w - 0*w - 30. Let s be w/4 + 9/3. Let m(h) = 61*h + 674. Let v be m(-11). Sort -3, v, 4, s in decreasing order.
4, v, s, -3
Suppose -m + 0*m = m. Suppose -3*o + 11 = 5*b - 4*b, 3*o + 2*b - 13 = 0. Suppose 0 = -y, 5*i - i + o*y = m. Sort -3, 5, -4, i.
-4, -3, i, 5
Let s = 176 + -360. Let p = -184.5 - s. Let c be 0 - (3 + 3 + -1). Sort c, p, -4, 0.05 in ascending order.
c, -4, p, 0.05
Let g(l) = 2*l**3 - 5*l**2 + 2*l + 10. Let o be g(3). Let a = 913 + -913. Sort 3, o, a in increasing order.
a, 3, o
Let n = 1 - 0. Let d be 4278/529 - (-2)/(-23). Suppose -d*x + 34*x = -52. Put 2, n, x, 5 in descending order.
5, 2, n, x
Let c = -175 + 176.3. Let v = -1.36 + 1.16. Sort c, v, 1/5.
v, 1/5, c
Let d(y) = 30*y - 144. Let f(m) = -59*m + 290. Let w(s) = -9*d(s) - 4*f(s). Let g be w(4). Sort g, -38, -5.
-38, -5, g
Let i be (-1 - 0/(-1))*-5. Let t(w) = 10*w - 75. Let r be t(22). Let a = r + -147. Sort a, i, -3 in decreasing order.
i, a, -3
Let l = 62 + -63. Let g(s) = -s**2 + 4*s + 7. Let h be g(3). Suppose -5*n - 3*v + h = 0, n + 0*n - 5*v = 2. Sort n, 7, l.
l, n, 7
Let h = 15115 - 15114.8. Put 0.3, h, 1/77, 0.5 in descending order.
0.5, 0.3, h, 1/77
Let s = 4847 - 4849. Sort s, 0, -48 in decreasing order.
0, s, -48
Let q = -52 - -61. Suppose 53 = -q*a + 44. Sort a, -2, 52 in descending order.
52, a, -2
Let k = 6133 + -6138. Sort 4, k, -436.
-436, k, 4
Let g = 0.52116 - 0.12116. Put 2/3, g, 0, 7, 2/37 in increasing order.
0, 2/37, g, 2/3, 7
Suppose 3*a - 4*u = 20 + 32, -21 = -a + 5*u. Suppose 15*l - 5 = a*l. Let q = 9 - 13. Sort l, 2, q, 11 in decreasing order.
11, 2, q, l
Let h be ((-4)/(-14) - (-194)/(-91)) + 1368/(-8892). Let g be 0*(2/(-2) + 0). Put -300, g, 2, h in ascending order.
-300, h, g, 2
Suppose 580*i - 576*i + b + 8 = 0, -2*i + 3*b - 4 = 0. Sort i, 47, 229 in descending order.
229, 47, i
Let o = -142 - -83. Let j = o - -44. Let b = j - -12. Put 1/2, b, -0.1 in increasing order.
b, -0.1, 1/2
Let x = -1795.47 + 1799.47. Let g be 331/(-445) + 1*2. Let y = -5/89 + g. Sort 0.05, -3/5, y, x.
-3/5, 0.05, y, x
Let z be (-8)/28 - 526*3/210. Let t = z + 83/10. Let x be -3 - (-21)/6 - 2*1. Put t, 5, x, 1 in decreasing order.
5, 1, t, x
Suppose -3*y + 269 + 102 = -4*w, 2*w + 127 = y. Put 5, 6/13, y in descending order.
y, 5, 6/13
Let p(v) = 4*v**2 + 92*v + 91. Let l be p(-22). Suppose -q = 2*q. Sort q, l, 6, 5.
q, l, 5, 6
Let k = -36.4 + 75. Let h = k - -13.4. Let c = -62 + h. Sort -1/7, c, -5.
c, -5, -1/7
Let u = -7039 + 7037. Sort 5, 0.08, 0.4, 30, u in increasing order.
u, 0.08, 0.4, 5, 30
Suppose -2*g = -z, g + z = 1 + 2. Suppose 3*p + g + 2 = 0. Suppose -15 = -3*w + 30 - 30. Sort w, -3, p.
-3, p, w
Let y be 5/(-35) + 116/28. Suppose -5*k - 5*h = -15, -7*k + 33 - 12 = 3*h. Put y, -5, k in descending order.
y, k, -5
Suppose -5*r = -4*c - 24 + 9, 4*c = r - 3. Sort -22, 4, -5, r in increasing order.
-22, -5, r, 4
Let u(p) = p**3 + 7*p**2 - 7*p + 6. Let l be u(-8). Let g be -6 + (3 + -6)*-1. Let w = g + 12/5. Put -4/5, l, w in increasing order.
l, -4/5, w
Let s be (144/10)/((-1)/10). Let g(a) = 1094*a - 38285. Let j be g(35). Put 2, s, j in decreasing order.
j, 2, s
Let d = -2547 - -2551. Put -5, d, 0.2, 2/39 in descending order.
d, 0.2, 2/39, -5
Let k = 26/3931 - -4489072/19655. Let s = k + -228. Sort s, 0.2, -8 in increasing order.
-8, 0.2, s
Let a = -20665 - -20671. Suppose 5 = -k + s, 5*k + 0*k + 5*s = 15. Sort k, a, 4 in descending order.
a, 4, k
Suppose 0 = -2*b - 