 = -31 + b. Let s = t - -39. Sort -4, -6, s.
-6, -4, s
Let u = -190.1 - -190.4. Sort 1/8, 4, u, -0.51 in descending order.
4, u, 1/8, -0.51
Let b(j) = j**2 + 3*j + 5. Let c be b(-2). Suppose 3*s = -6*r + c*r - 9, -3*r = 0. Sort 4, s, -13 in descending order.
4, s, -13
Let v = -0.02718 + -0.37282. Sort 5/4, -0.2, v in decreasing order.
5/4, -0.2, v
Suppose -5*g + 3*l = -54, -2*l - 14 = -4*l. Sort -3, g, -17 in descending order.
g, -3, -17
Let n = -0.277 - 2.812. Let q = n + -0.151. Let a = q - -0.24. Put 1/3, 3, a, 0.1 in decreasing order.
3, 1/3, 0.1, a
Let s be 40/(-18) - (-4116)/(-5292). Let w = 7 - 10. Let r = w - -2.6. Sort r, s, 0.4, -1 in descending order.
0.4, r, -1, s
Let a = 4663 + -4690. Sort a, 2, -3, 4, 3 in decreasing order.
4, 3, 2, -3, a
Let f = -19.23 + 1.83. Let g = 5 - 22. Let r = f - g. Put 0.2, r, -2/11 in decreasing order.
0.2, -2/11, r
Let z = -13.3 - -14. Let g = 279253 + -279237. Put z, g, 3, 0.2 in ascending order.
0.2, z, 3, g
Let i be 14/10 - 2 - (-70)/(-50). Let y be 1/i*((-36)/(-8) - 3). Sort y, 2/7, -2, -1/9 in ascending order.
-2, y, -1/9, 2/7
Let p = 0.053 - 1.053. Let d be 5 - (2/(4 + -3) - 5). Let u(s) = s - 17. Let k be u(12). Sort d, k, p in descending order.
d, p, k
Let c be 0*(1 - (3 + -1)). Let r = -28963 - -28966. Sort r, -3, c.
-3, c, r
Let i = -30287 + 30289. Let w = 0.7 + -0.77. Let q = w - -3.07. Sort -0.6, 0, i, q.
-0.6, 0, i, q
Suppose 0 = -412*h + 374*h + 38. Put h, -7, 0, -2 in descending order.
h, 0, -2, -7
Suppose 3*q - 1 = 2*f, -46 = 2*f - 60. Put 0, -15, q in descending order.
q, 0, -15
Suppose 0 = -a + 5, a + a = -5*z - 215. Let l be (z/27)/(1 - (-2)/(-3)). Sort 3, l, 9.
l, 3, 9
Suppose 3*u = -5*g - 672, -g = -4*g. Let n = 228 + u. Let j be -1*6/2 + -1. Sort n, 3, j in descending order.
n, 3, j
Let v(p) = -602*p + 3007. Let g be v(5). Put 4, g, 14, 1, 12 in descending order.
14, 12, 4, 1, g
Let z = -19.973 + -0.027. Let d = 21.8 - 44.8. Let p = z - d. Put p, -9, -0.5 in descending order.
p, -0.5, -9
Let w(h) = 4*h**2 - 2*h - 3. Let v be w(-1). Suppose 0 = -5*t - v + 28. Suppose -3*s + 18 = 3*o, -7*s = -5*o - 10*s + 22. Sort o, 7, t.
o, t, 7
Let a = 976 - 983. Let j be 0/3 + (-10)/30. Put j, 0, 0.3, a in descending order.
0.3, 0, j, a
Let m = -21.02 + 36.02. Sort m, 1, 0.4 in descending order.
m, 1, 0.4
Let r(y) = -13*y + 934. Let h be r(68). Sort 0, 5, -4, -1, h.
-4, -1, 0, 5, h
Suppose 0 = -5*a, g + 5*a = -50 + 57. Suppose g*d - 36 = 10*d. Sort 1/3, -9, -2/9, d.
d, -9, -2/9, 1/3
Let j = 68 + -73. Let n = -4.7 - j. Let d be ((-3)/(-2))/(21/6). Sort n, -4, d in increasing order.
-4, n, d
Let r(v) = v**3 + 9*v**2 - 13*v - 32. Let a = 117 + -127. Let z be r(a). Let h be (-6 - -4) + 4 + (-1 - z). Sort -5, 17, 1, h.
-5, 1, h, 17
Let y = 22.69 - 27.69. Sort 5, y, 0.2, -2/29 in decreasing order.
5, 0.2, -2/29, y
Let w = -22559 - -23608. Put 2/3, w, 2 in decreasing order.
w, 2, 2/3
Let g = -795/8 + 99. Suppose -455 = -84*o + 20*o - 27*o. Put o, g, -0.15 in decreasing order.
o, -0.15, g
Let d(n) = n + 20. Let b be d(-14). Let s = 4 - b. Let g(y) = -y**2 - 53*y - 286. Let o be g(-47). Put s, o, 2 in decreasing order.
2, s, o
Let s = 1.1778 - -0.1312. Let z = -0.091 - s. Let q = 107 - 106.8. Put q, -1/5, z in ascending order.
z, -1/5, q
Let h = -2092/3025 - -74/121. Sort -3, h, -1.8.
-3, -1.8, h
Let w = -307 + 318. Put 5, -2, -4, 18, w in ascending order.
-4, -2, 5, w, 18
Let d(n) = 2*n**3 + 10*n**2 - 25*n - 74. Let y be d(-6). Suppose y*r - h + 32 = -2*h, -2*h = -2*r - 6. Put r, 10, 3 in increasing order.
r, 3, 10
Let h = 6 + 7. Suppose 17 + 48 = -15*n + 20. Sort n, 1, h in descending order.
h, 1, n
Let r be -5*(-56)/80 - (-1)/2. Suppose -3*p = -7*p - 11*p. Sort r, 9, 3, p in increasing order.
p, 3, r, 9
Let c = 0.3 + 0.4. Let h = c + -0.7. Suppose -1 = m - 2*s, -m - 2*m + 5*s - 5 = 0. Sort h, m, -9 in decreasing order.
h, m, -9
Let z = 77 + -1220. Let n = z - -1141. Let q be (0 + -1)*2/2. Put n, q, -14 in decreasing order.
q, n, -14
Let l = -29 - -28. Let x = 6 + -6. Suppose 5*t + 3*q - 7 = 0, 4*t + x*q - q = 9. Put t, l, 3, 6 in decreasing order.
6, 3, t, l
Let r be 92/(-22) + 3 + (0 - (-6)/33). Sort 0.3, r, -108, 1, 5 in increasing order.
-108, r, 0.3, 1, 5
Let w(c) = 2*c**2 + 38*c - 126. Let z be w(3). Let l(r) = -r**3 - 5*r**2 + 4*r + 4. Let d be l(-4). Let p be ((-2)/z)/(d/9 + 3). Sort p, -1, -4, 8.
-4, -1, p, 8
Let j = 24 + -22. Let g be 1184/(-37) + -1*j + 2. Sort -0.1, g, -3 in decreasing order.
-0.1, -3, g
Let s = 13.2 + 66.8. Let k(j) = -j**3 + 18*j**2 + 31*j - 96. Let b be k(-3). Sort s, -0.4, b.
-0.4, b, s
Let z = 1.59 + -0.77. Let n = 0.82 - z. Put 6, 0.1, n in increasing order.
n, 0.1, 6
Let y(o) = 12*o - o**2 + 14 + 12*o**2 + 1 - 10*o**2. Let p be y(-11). Suppose 0 = -4*n - 174 + 178. Put 0.4, n, p in descending order.
p, n, 0.4
Suppose 0 = -35*u + 8*u + 54. Put u, 24, -13, -4, 5 in ascending order.
-13, -4, u, 5, 24
Let v = 6.3 - 6.06. Put v, 12, -2/15, -2 in decreasing order.
12, v, -2/15, -2
Suppose b = 4*d - 13, 4*d + 23*b = 25*b + 18. Suppose 7*m = 2*q + 11*m - 12, -3*q = d*m - 14. Sort 1, 1/3, -2, q.
-2, 1/3, 1, q
Suppose 0*f - 3*f - 3 = 0. Let l be ((-306)/204)/((-2)/8). Sort l, -2, 2, f in increasing order.
-2, f, 2, l
Let n = 390.7 + -383.7. Sort n, -2, 0.3, -29 in decreasing order.
n, 0.3, -2, -29
Let g = -18408 + 18353. Sort 0, 49, g, -4 in ascending order.
g, -4, 0, 49
Let x be (1/(-18))/(-6 - (-125)/20). Let d be 118/10 - (-6 - -5). Let n = -13 + d. Put 0.5, x, -1, n in descending order.
0.5, n, x, -1
Let g = -445 + 452. Sort 1, 4, g, 78 in descending order.
78, g, 4, 1
Let u be (-4)/(-3)*18/4. Suppose 3*a - 2 - 1 = 0. Let b = -46478 + 46476. Sort b, u, a, 4 in increasing order.
b, a, 4, u
Suppose -w + 1 = -0, 3*d + 2*w + 4 = 0. Let y = 26821 - 53645/2. Sort d, y, 27.1.
d, y, 27.1
Let x(h) = 18*h - 11. Let i be x(1). Put 4, i, -23 in decreasing order.
i, 4, -23
Let q = 1200 - 22799/19. Sort q, 0.6, 1, 2/11 in ascending order.
q, 2/11, 0.6, 1
Let r(j) = j**2 + 23*j - 801. Let w be r(19). Put w, -5, -1358 in decreasing order.
w, -5, -1358
Let d be 6*(-4 + (-8)/6). Sort -16, 4, d, 5 in decreasing order.
5, 4, -16, d
Let w = 51 + -54. Sort 1, 7, w, 4, 2 in increasing order.
w, 1, 2, 4, 7
Let h = -13.9 + 13.934. Let q = h + -0.134. Sort q, 3, 1.6 in increasing order.
q, 1.6, 3
Let p(f) = -f**3 + 3*f + 68. Let h be p(0). Suppose h = 16*o + 20. Sort o, 0, -7 in ascending order.
-7, 0, o
Suppose -10 + 24 = -6*k - 16. Sort 0.2, 2/59, 0.3, k.
k, 2/59, 0.2, 0.3
Let y = -0.11 - 7.59. Let a = 3.3 + y. Sort 2/17, a, 0.3, 2/3 in ascending order.
a, 2/17, 0.3, 2/3
Let n be (1 + -2)/1 + -4. Let d be (-3)/(-4) + (0 - n/20). Let i be (-1*2/(-1))/1. Put -14, d, i, 0 in descending order.
i, d, 0, -14
Let o(p) = -95*p - 113. Let w be o(-2). Suppose -3*n + 44 = w. Suppose -3*r = -5*i + 19, -r + 4*r + 4 = 2*i. Sort -1, i, n in increasing order.
n, -1, i
Suppose 0 = 6*n - 30, 159*i = 156*i - 2*n + 25. Put 4, -3723, i in decreasing order.
i, 4, -3723
Let b be (16/20)/(0 + (-140)/50). Sort -0.05, 2, b in ascending order.
b, -0.05, 2
Let x = 0.15 + 0.25. Suppose 0 = 2*u - 98 + 80. Sort -0.3, x, -2, u in increasing order.
-2, -0.3, x, u
Let r = -0.1717 + 789.8717. Let y = 790 - r. Sort 0.014, -0.3, y.
-0.3, 0.014, y
Let g be (16 + 75/(-5))*(-9)/1. Sort g, 101, 3 in decreasing order.
101, 3, g
Suppose -6*d - 1 = -19. Suppose -5*j = -4*v - 18, -d*v + v = 2*j. Let f = 0.018 + -0.018. Sort j, f, -2, -2/5 in decreasing order.
j, f, -2/5, -2
Let d = -446/1683 + 42/187. Let m = d - -317/495. Let b = -0.9 + -1.1. Sort b, m, -6, 1 in ascending order.
-6, b, m, 1
Let p = -0.1031 - 539.8969. Let i = p - -543. Sort -3, i, 2/3 in ascending order.
-3, 2/3, i
Let r(o) = -2*o + 3. Let t be r(4). Let g be (31 - 8) + 28 + -52. Sort g, 0, 4, t in increasing order.
t, g, 0, 4
Let m(i) = -2*i**3 - 3*i**2. Let z be m(-2). Suppose 145*s - 5*l - 4 + 214 = 140*s, 0 = 5*l + 35. Sort z, 5, s.
s, z, 5
Suppose -14 = -2*k + 2*j, -5*j - 37 + 2 = -4*k. Let g(a) = -a**3 + 6*a**2 + 7*a + 1. Let z be g(7). Sort -53, z, k, 2 in increasing order.
-53, k, z, 2
Let z(k) = -5*k - 336. Let j be z(-67). Suppose -1 - 3 = -4*b. Suppose -5*c - 4 + 24 = 0. Put c, j, b, 5 in decreasing order.
5, c, b, j
Suppose -64*h + 163 = -234 + 141. Put 0