-2*u = -2*y - l, y + 4*u = 6*y + 27. Put y, -1, 3 in decreasing order.
3, -1, y
Let k be (-74)/555 - ((-56)/30)/(-1). Sort 3, k, 2, 152, 0 in decreasing order.
152, 3, 2, 0, k
Let w(k) = -235*k + 4229. Let x be w(18). Suppose 4*m - 5*i + 55 = 0, 0*i = m - 2*i + 16. Put 0, x, m, -5 in decreasing order.
0, x, -5, m
Let u be -22 + 15 - ((-21)/9 - (-2)/6). Put -3, 0, -1, u, -4 in ascending order.
u, -4, -3, -1, 0
Let o = 27/1298 - -19/118. Put -3.7, -1/8, 5, o in increasing order.
-3.7, -1/8, o, 5
Let z(g) = 9*g + 38. Let a be z(-3). Let h(l) = 4*l - 44. Let o be h(a). Put o, -40, 2 in decreasing order.
2, o, -40
Suppose 2*s = -4, 5 = 3*y - 11*s + 7*s. Sort -5, 5, -12, -5/4, y in descending order.
5, y, -5/4, -5, -12
Let i(w) = w**3 + 133*w**2 - 412*w - 549. Let z be i(-136). Put 8, 2, 49, -4, z in decreasing order.
49, 8, 2, -4, z
Suppose -2*b = 38*b + 102*b + 142. Sort -115, b, -15.
-115, -15, b
Let c = -30 - -27.495. Let p = c + 0.005. Let t = 3 + p. Sort t, 5, -1/6 in decreasing order.
5, t, -1/6
Suppose -4*b + 8 = 4*s, -b + 5 = 4*s + 6. Sort 2, 3, s, -5, 1.
-5, s, 1, 2, 3
Suppose -5 + 0 = -i. Suppose -15 = -5*p + i*t, 5*p = -5*t - 0*t + 25. Suppose -k + 6 = -5*o, 0*k - 2*k = -p*o. Sort -11, k, -3 in increasing order.
-11, k, -3
Let q be (((-36)/(-3) - 3)*(-2)/24)/3. Let p(g) = -g - 8. Let n = 11 + -18. Let i be p(n). Sort i, q, 3/7 in ascending order.
i, q, 3/7
Let o = -358 - -362. Let g be -6 + 2/2 - -3. Sort 16, g, o in descending order.
16, o, g
Let b = 4.08 + -4.1. Let k = -74 + 73.78. Let s = k - b. Sort s, 1.3, 5, -4.
-4, s, 1.3, 5
Let l = -5686 - -5688. Put 0.02, 4, l, 0, -0.4 in descending order.
4, l, 0.02, 0, -0.4
Let f be (2/(-4)*-19)/(1/10). Let k = f - 64. Suppose k*v - 25*v + 6 = 0. Sort -5, 8, v in decreasing order.
8, v, -5
Let c = 4041 - 4040. Put -3, 0, 43, c in ascending order.
-3, 0, c, 43
Let b = 6/7 - 46/21. Let j = -767 - -753. Sort j, 0.3, 3, b.
j, b, 0.3, 3
Suppose -8*i = -5*i - 117. Suppose -i*u = -42*u - 60. Sort 0, u, -4 in ascending order.
u, -4, 0
Suppose 52*k = 49*k + 3, -4*l - k + 5 = 0. Put -2, 290, 3, l in ascending order.
-2, l, 3, 290
Suppose 61*l = -5*f + 60*l - 29, -3*l - 12 = 0. Put -1, 358, 0, f, 3 in ascending order.
f, -1, 0, 3, 358
Let u = -593 - -616. Suppose -4*g = 4*l - 8*l + 24, -u = -2*g - 5*l. Put -2, -3, 10, g in decreasing order.
10, g, -2, -3
Suppose -5*h = 5*n - 25, 5*n = -3*h + 24 - 5. Let y be (-2 - 1 - 2)/1. Let c(a) = 2*a**3 - 16*a - 2. Let i be c(3). Sort 1, i, n, y in decreasing order.
i, n, 1, y
Let c be 5 - (1 + (4 - (-4 - -6))). Suppose c*i - 44 = -68. Put 2, i, 5 in increasing order.
i, 2, 5
Let p = -284 + 207. Let v be p/28 - (-5)/(-20). Let j = 15 - 6. Put 0, -4, j, v in decreasing order.
j, 0, v, -4
Let i = 0.3819 - 0.4329. Put -3, i, -0.3, -5 in descending order.
i, -0.3, -3, -5
Let z(i) = 3*i**2 + 62*i + 89. Let p be z(-19). Sort 2, 5, -50, p in descending order.
5, 2, p, -50
Let u = 11705 + -11703. Put -3, 5, 4, 24, u in increasing order.
-3, u, 4, 5, 24
Suppose 9*o + 91 = 73. Let p be 21/56*(o + 10). Sort -4, -3, p in ascending order.
-4, -3, p
Let i(r) = 3*r**2 + 88*r - 61. Let z = -496 - -466. Let n be i(z). Suppose 3*a - 13 + 1 = 0. Sort a, 11, n in increasing order.
n, a, 11
Let v = 3243 + -3244.7. Sort 0.03, -0.4, 2, v, 0 in descending order.
2, 0.03, 0, -0.4, v
Let z = 1.94208 - -0.05792. Put -721, 3, 1, z in ascending order.
-721, 1, z, 3
Let n = -17214 + 17217. Put n, -0.0545, -3/4 in increasing order.
-3/4, -0.0545, n
Suppose 205 = 4*p + 61. Let h be p/10 + 4/10. Let g = -591536 + 591539. Put h, -1, -4, g in descending order.
h, g, -1, -4
Let k = 195.8 + -982.8. Let u = 790 + k. Sort 12, 2/9, 2, u.
2/9, 2, u, 12
Let f(l) = l**2 + 2*l - 2. Let h be f(-3). Let w = 733 - 1164. Let s = w - -431.5. Put s, 8, h in ascending order.
s, h, 8
Let u = 5160 + -5158. Sort 1, u, 0.4, -1/3, 5/4 in ascending order.
-1/3, 0.4, 1, 5/4, u
Suppose -11805 = 19*h - 11881. Put h, 34, -1, -3, 13 in descending order.
34, 13, h, -1, -3
Let k be (12/8)/(2*4/(-144)). Let i be (-13)/39*k/21. Put -2/7, 1/4, i, -11 in ascending order.
-11, -2/7, 1/4, i
Let t be (1/11*-4)/((-17)/2 + 9). Sort t, -3, -0.09 in decreasing order.
-0.09, t, -3
Suppose -8*w + 3*x - 74 = -3*w, -49 = 4*w + x. Let f(u) = -u**3 + 4*u**2 - u + 1. Let q be f(4). Let n = -542 - -537. Sort q, w, n in ascending order.
w, n, q
Let y = 1.1681 + 0.0589. Let v = y - 0.227. Sort v, 0.3, 1/5, -0.4 in decreasing order.
v, 0.3, 1/5, -0.4
Let m(y) = 3*y**2 - 144*y + 1221. Let t be m(11). Put -3, t, 3, 105 in ascending order.
-3, t, 3, 105
Let u be -15 + (-3015)/(-63) + -17 + -16. Let l = -26 + 43. Put l, u, 5, -4 in descending order.
l, 5, u, -4
Let o be 2/(-4) + (-5)/(-2). Let v be ((-9)/(5 - (-176)/(-40)))/3. Sort 7, v, o in increasing order.
v, o, 7
Let k(v) = -v + 7. Let g be k(7). Let o(z) = -z**3 + 6*z**2 - 6*z + 1. Suppose 5*p = -8 + 33. Let s be o(p). Sort g, 3, s in decreasing order.
3, g, s
Let d be -13 - ((-43065)/5220 + (1 - (-6)/(-8))). Put -4/33, 0.5, d, -1/2 in increasing order.
d, -1/2, -4/33, 0.5
Let i be ((-20)/(-50) - (-44)/(-10)) + -157. Let x = i + 158. Sort 12, 3, x, 4 in decreasing order.
12, 4, 3, x
Suppose -o = -4*o - 12. Let j be 2*(4 - 10/4)/(1/1). Put -77, o, -5, j in decreasing order.
j, o, -5, -77
Let n = 8391 - 8395. Sort 6, 0.7, -1, n in increasing order.
n, -1, 0.7, 6
Let s = 268.1 + -269.1. Put -1/5, -0.3, s, -3 in descending order.
-1/5, -0.3, s, -3
Suppose 161 = 44*c + 580 + 109. Put c, -4, 600, -2 in increasing order.
c, -4, -2, 600
Suppose -2573*c = -2560*c + 26. Let o = -0.1 + -0.4. Let y = -4.5 - o. Put y, -1, c in increasing order.
y, c, -1
Suppose 9*c - 297 = 34*c + 953. Sort c, 30, -2 in decreasing order.
30, -2, c
Suppose 1204*h + 16 = 1205*h. Sort -2, 5, h, 1, 3.
-2, 1, 3, 5, h
Let t = 1.4 - 1.13. Let i = 125.87 - 126. Let b = i - t. Sort b, 4, 0.3 in increasing order.
b, 0.3, 4
Suppose -4*b = -20*b + b + 15. Sort 5, b, 100, -5.
-5, b, 5, 100
Let v = -2.12 + 80.12. Let r = v - 78.5. Let q(g) = 3*g + 1. Let n be q(-1). Sort n, r, 4, -4 in decreasing order.
4, r, n, -4
Let h = 4229 + -4192. Let q be 2/3 - 30/(-9). Suppose -11*c - q + h = 0. Sort 5, c, 2, -18.
-18, 2, c, 5
Suppose -i - 10 = 4*i. Suppose 86*h + 107*h + 71 = -122. Sort i, 0, h, 33 in decreasing order.
33, 0, h, i
Let d = -796 - -799. Let u = -86/15 - -32/5. Put 0.2, 1/4, u, d in ascending order.
0.2, 1/4, u, d
Suppose -1 = -2*w + 3. Suppose x - 29*j + 19 = -28*j, 2*x - 3*j + 40 = 0. Put w, 5, x in increasing order.
x, w, 5
Let y be (16 - 21)*1*3/5. Sort 2, y, -156.
-156, y, 2
Let h = -21.18 + -0.22. Let z = h - 6.6. Let p = z - -28.4. Put -0.01, 3/7, p in decreasing order.
3/7, p, -0.01
Let d = 6908 - 6909. Put d, 90, -7, 2 in increasing order.
-7, d, 2, 90
Let u = 2 - 3/2. Let h = -466 - -468. Sort h, -39, u in descending order.
h, u, -39
Let o = -215 + 215. Let a be o + -1 - (-1 - -2). Sort a, 27, -4.
-4, a, 27
Let m = -32.01 + 32. Let c = -4736/23 - -206. Let l be 1440/540*(-3)/(-2). Sort c, m, l in descending order.
l, c, m
Let f = 5036 - 5036.095. Sort -1/2, 0.4, f in ascending order.
-1/2, f, 0.4
Let w = 31/57 + -4/19. Let n = -177 - -173. Let d be 108/(-24) + (-2)/n + 7. Sort 4, w, d in ascending order.
w, d, 4
Let d(j) = -27*j**2 - 5*j + 5. Let l be d(2). Let x = 119 + l. Let r be (x/24)/((15/4)/3). Put r, 4, 2, -1/3 in descending order.
4, 2, r, -1/3
Let q = -8.491 + 8.501. Let u(x) = -x**3 - 2*x**2 + 5*x + 3. Let t be u(-3). Sort q, t, 2/11 in decreasing order.
2/11, q, t
Suppose 0 = 227*u - 697*u + 940. Sort -1, u, 54, 15 in increasing order.
-1, u, 15, 54
Let z be (-4)/12*-4*((-6)/(-24) + -1). Sort -0.3, -3/472, -4, z.
-4, z, -0.3, -3/472
Let t(s) = -509*s - 2060. Let g be t(-4). Let f = -2 + 3. Put -4, g, 3, f in decreasing order.
3, f, -4, g
Let p(b) = 5*b + 6*b - 20 - 6*b. Let x be p(5). Let j = -140 + 129. Sort 0, j, x.
j, 0, x
Suppose -1060*w + 2*v = -1059*w - 4, 0 = -v. Sort -83, -2, w, 1 in descending order.
w, 1, -2, -83
Let z = 16 + -7. Let v be (-1)/(-5)*z/(-3). Let q = -53.9 - -53. Put 0.4, q, v in descending order.
0.4, v, q
Let l = -28978 - -318763/11. Put 0, l, -46, 3 in increasing order.
-46, 0, l, 3
Let y be (-9)/12*8/2. Let w(x) = 8*x - 52. Let b be w(7). Suppose -b*h = -6 - 10. Put 0, y, 1, h in d