 Sort m, z, h, 0.3 in decreasing order.
z, 0.3, m, h
Let u = -11708 - -11712. Let i = 2/85 - -326/595. Sort u, i, -0.1, -6.
-6, -0.1, i, u
Let i = 9107 + -9060. Sort 1/11, -0.3, i in decreasing order.
i, 1/11, -0.3
Let v = 9142 + -9210. Put v, 8, 2 in increasing order.
v, 2, 8
Suppose -j + 0 + 1 = -3*w, -3*w - 3*j = -15. Suppose 5*y - h = -98 + 613, 0 = 4*y - 5*h - 391. Let u = y + -102. Sort u, 14, w in descending order.
14, u, w
Let a = 315 + -255. Suppose -5*v + 2*y = -3*y - 290, v - a = 2*y. Sort -4, v, 4 in ascending order.
-4, 4, v
Let k = 32750.2 - 32733. Let w = -0.03 + 0.03. Sort w, -2, k in ascending order.
-2, w, k
Let a = -30891.5 + 30892. Sort -4/7, 87, 5, a, 1/8.
-4/7, 1/8, a, 5, 87
Let o be (9/2 - 1)/(1/2). Let v(h) = 4*h - 27. Let a be v(o). Sort a, -1/9, 5, 1/20 in decreasing order.
5, a, 1/20, -1/9
Let x be -4 - (-2 + (-982)/(-660)). Let j = x + -2/165. Let f = 16/3 - 121/21. Put j, 1, f in descending order.
1, f, j
Let r = -2.1 + 2.245. Let k = -0.175 + r. Put 1, k, -2, -0.5 in decreasing order.
1, k, -0.5, -2
Let g = 2426 - 2435. Put -0.092, g, 0.2 in decreasing order.
0.2, -0.092, g
Let f = 1160.6 + -1156.6. Put 6, f, 7, -0.2 in decreasing order.
7, 6, f, -0.2
Let y = 269 + -262. Let w(i) = i**2 - 9*i + 16. Let t be w(y). Put -0.1, t, 3, -0.01 in decreasing order.
3, t, -0.01, -0.1
Let n = 1.678 + -1.56. Let d = n - -0.182. Sort d, -0.5, 0, -2 in ascending order.
-2, -0.5, 0, d
Let f be (-967)/(-3) + 5/(-15). Let w = f + -316. Sort -5, w, -1.
-5, -1, w
Let w(p) = -p**2 + 5*p - 2. Let r be w(3). Let y(b) = 6681*b - 494389. Let z be y(74). Sort z, r, -11 in decreasing order.
z, r, -11
Suppose 21 = 2*s + 11. Suppose 5*u + 7 - 17 = s*t, -3*u - 8 = 4*t. Let r be (-372)/96 + 2/(1 + -17). Sort r, 78, u.
r, u, 78
Let v = -320.18 + 316. Let j = -0.4 + 0.22. Let t = v - j. Put 5, -3/5, t in descending order.
5, -3/5, t
Let d be ((-3)/(-4))/((-2)/8). Suppose c = -c + 10. Let i = -3035 - -3033. Put d, -4, i, c in increasing order.
-4, d, i, c
Suppose -2*c - 10 = -2. Let r be 0 + 4 + (c - -6). Suppose 2*g = -3*z - 9, 14 = -2*g + 2*z - r*z. Sort 0, g, -3, -1 in decreasing order.
g, 0, -1, -3
Let l = -3402 + 3401.6. Put l, -1/5, -1.3, -0.82 in decreasing order.
-1/5, l, -0.82, -1.3
Let z = -2.19 + 1.99. Let u = 4.2 + z. Sort u, -3, 65.
-3, u, 65
Let l(x) = x**3 + 14*x**2 + 6*x - 19. Let c be l(-13). Suppose 0 = 8*i - 0*i - c. Put -3, 5, i in decreasing order.
i, 5, -3
Let r be 3/(-21) - 10/(-14). Let p = 143 + -144. Let i be -3 + (21/3 - (0 - -1)). Sort p, r, i, 0.1 in increasing order.
p, 0.1, r, i
Suppose 33*x - 59 - 106 = 0. Put -4, x, 1/3, -2/11, 4 in descending order.
x, 4, 1/3, -2/11, -4
Let c = -82.5 - -515.5. Let n = c - 428. Sort 11/3, 4/5, n in decreasing order.
n, 11/3, 4/5
Let l = -60/1211 + 5577675/20587. Let z = 271 - l. Let q = -0.9 - -0.4. Put 0, 0.5, q, z in increasing order.
q, 0, z, 0.5
Suppose 1388*k - 1278*k + 6490 = 0. Suppose 10*i + 16 = 6*i. Sort 1/3, k, -0.5, i in increasing order.
k, i, -0.5, 1/3
Suppose 3*g = 3*o - 30, 1 = 2*o - 5*g - 19. Suppose -4*h = o - 10. Suppose 3*r + 1 + 11 = h. Sort 3, 4, 2, r in increasing order.
r, 2, 3, 4
Let q = 209.67 + -205.67. Sort -0.015, q, 8, -1/3, 0.3 in ascending order.
-1/3, -0.015, 0.3, q, 8
Let o be -3*2/(-984)*2. Let b = o - 22/123. Let f(k) = -k**3 + 7*k**2 + 15*k - 51. Let v be f(8). Sort v, -0.02, b.
b, -0.02, v
Let o(c) = -c**3 - 4*c**2 + 4*c - 4. Let x be o(-5). Let i(v) = 8*v**2 - 11*v**2 + v**3 + v - x + v**2. Let k be i(2). Sort 4, -1, k.
-1, k, 4
Let t = 1.9 + 0.1. Let g be ((-6)/9)/(4 - 304/75). Let b = g + -183/14. Sort b, t, 0.2, -4 in descending order.
t, 0.2, b, -4
Suppose -2*g = -6*g + 3*g. Suppose -z = -3*z - 2*t - 6, 5*z = -2*t. Suppose 2 = -z*v - 6. Sort 5, g, v in decreasing order.
5, g, v
Let w = 1/101 + -209/707. Let x(f) = 5*f**2 + 90*f + 83. Let r be x(-17). Sort w, 0.4, r in ascending order.
r, w, 0.4
Suppose 2*f + 35 = -5*f. Suppose -5*g + 2*s - 15 = 0, -5*s + 23 = 7*g - 5*g. Put g, f, 0, 18 in descending order.
18, 0, g, f
Let y(l) = l**3 + 112*l**2 - 114*l - 117. Let h be y(-113). Put 747, -12, 4, h in increasing order.
-12, h, 4, 747
Suppose 17*g - 168 = 11*g. Let y(f) = -3*f + 86. Let z be y(g). Let x be 20/12 - 12/(-9). Sort -1, x, z.
-1, z, x
Let v = -40/13 + 626/195. Let c(o) = 9*o**2 + 28*o + o**3 + 12*o**2 - 5*o**2 - 212 + 216. Let j be c(-14). Put -5/6, v, j in ascending order.
-5/6, v, j
Suppose 4*k = 0, 3*k - 2 = -3*g + 1. Let j(n) = n**3 - 18*n**2 - 70*n + 132. Let a be j(21). Sort g, 0, a in ascending order.
a, 0, g
Let s = -260.61 + 264.61. Put 1, 39, s, -0.7, -2 in decreasing order.
39, s, 1, -0.7, -2
Suppose -3*c + n = -16, c + 4 - 28 = 5*n. Put 5, -4, c, -2, -3 in ascending order.
-4, -3, -2, c, 5
Suppose -2*b - 3*z + 1 = -162, -2*b = 5*z - 173. Suppose -4*m = 3*a - 44, 2*m - a - b = -3*m. Sort 2, m, 3 in descending order.
m, 3, 2
Let x = 12 - 13.2. Let n be ((-126)/(-36) + -5)*((-35)/6 + 6). Sort x, n, -0.3, -1 in descending order.
n, -0.3, -1, x
Suppose 13 = l - 44. Let c be 6 + (-324)/45 + 9/(-5). Sort -2, l, c in decreasing order.
l, -2, c
Suppose -72 - 203 = -9*x + 274. Put x, -2, -3 in descending order.
x, -2, -3
Let y = 474481 - 474486. Let s = -4.6 - -5. Put 44, y, -2, s in ascending order.
y, -2, s, 44
Let r = 841 - 483. Let q = -353 + r. Put -4, 5/3, q, -0.38 in ascending order.
-4, -0.38, 5/3, q
Let z be -1*(2 - 1) - 2*40/(-60). Sort z, -0.3, 4, 0.3, 4/165 in descending order.
4, z, 0.3, 4/165, -0.3
Let p = -0.3 + -27.7. Let f = p + 28.222. Let t = f + 0.078. Put 3, -0.6, -5, t in descending order.
3, t, -0.6, -5
Let o = 3/47 + 38/141. Let v be (-6 - (-931)/171)/((-4)/(-18)). Sort o, v, 2/7.
v, 2/7, o
Let g(n) = 80 - 45*n**3 - 40*n**2 + 12*n**3 + 43*n + 32*n**3. Let i be g(-41). Put i, -1, 2, 1 in increasing order.
i, -1, 1, 2
Let p = -2469.74 + 2469.54. Let h = -3 - 1. Let b = 0.3 - 0.25. Put h, b, p in decreasing order.
b, p, h
Let w(x) = -30*x + 229. Let c(y) = y**2 + 5*y + 1. Let t be c(-6). Let r be w(t). Put -1, 0, 1, r in decreasing order.
r, 1, 0, -1
Let o = -2.697 + 3.697. Sort -7, -8, o in ascending order.
-8, -7, o
Let m be 5 - (34/(-119) + 1328/(-7)). Let c be -3*(-10)/m + (-50)/(-13). Suppose 5*f = -7 - 18. Sort f, c, 2 in increasing order.
f, 2, c
Let m be 6/((-72)/(-4))*-3 + (-4 - -10). Suppose 1 = 5*l - 9. Sort m, l, 19 in descending order.
19, m, l
Suppose -17*j + 16*j + 19 = -5*p, 5*j - 14 = -2*p. Let u = -1.6 - -1.8. Let z = u + -5.2. Sort j, z, -2 in descending order.
j, -2, z
Let r = -3 + 2.8. Suppose -a - 3 = -3*s, -73*a + 77*a + s = -51. Put r, -2, a in decreasing order.
r, -2, a
Let o = 850/19 + -24612/551. Let x be 13/(-3) + (-2)/3. Sort -4, x, 1, o.
x, -4, o, 1
Let y = -13491/5 - -2697. Sort y, 5/2, -24.
-24, y, 5/2
Let s be ((-539)/(-21))/(-7) - -3. Suppose 0 = 4*t - 4*a + 24, -t - 6*a + 6 = -a. Let u = 5 - 2. Sort u, t, 3/8, s.
t, s, 3/8, u
Let v(o) = 4*o + 54. Let h be v(-12). Suppose -g - 3 = 2*g + 2*i, -5*g - h = 3*i. Sort 4, -49, g in ascending order.
-49, g, 4
Let l be (70/15 - 4)/((-4)/206). Let f = l + 521/15. Put 0.5, f, 17 in decreasing order.
17, 0.5, f
Let x be (170/28 + -6)*2. Let v = -22 - -15. Let k = v + 3. Sort x, -0.4, k in decreasing order.
x, -0.4, k
Let z = -33653 - -33659. Let f = 13 + -9. Put -1, f, z, 5 in decreasing order.
z, 5, f, -1
Let d = 49/2 + -24. Let o be 1155/(-110)*4/(-3) - 12. Sort o, 0.1, 1.1, d in descending order.
o, 1.1, d, 0.1
Suppose p + 13 - 12 = 0. Let l be p - -5 - (2 + 3). Sort 1, l, -3, 4 in ascending order.
-3, l, 1, 4
Suppose 2484 = 21*s - 19*s - 2*i, i = 4*s - 4986. Sort -2, s, 2 in descending order.
s, 2, -2
Suppose 2*o = -6, -14*w + 16*w + o = -3. Put 1, -4, w, -26, -5 in descending order.
1, w, -4, -5, -26
Let p = 0 - 5. Suppose 0 = 2*f + 4*l - 4, l + 10 = 12. Let w(y) = 2*y - 30. Let r be w(15). Sort f, p, r, -4 in decreasing order.
r, f, -4, p
Let o = 13.1901 + 0.0099. Let g = -13.1 + o. Sort -4, g, -0.4, -2/11.
-4, -0.4, -2/11, g
Let m = -0.6 + -10.4. Let z = -6 - m. Suppose -9*r + 5516 = 5507. Sort z, -23, r in ascending order.
-23, r, z
Let t be (-2)/3 - (-14)/3. Let b = 333845 + -333839. Suppose 2*p = -0*p. Sort 2, t, b, p in decreasing order.
b, t, 2, p
Let y(h) = -7*h - 1 + 3*h + 5*h. Let t be y(1). Suppose t = 3*i - 0 - 6. S