k = q + 56. Sort -6, -2, k.
-6, -2, k
Let a = 1.7446 - 0.2446. Put -1, a, -0.2, 0.2 in descending order.
a, 0.2, -0.2, -1
Let r = 2175.077 + -8.077. Sort 0, 0.5, r.
0, 0.5, r
Suppose -5*d = -i + 4287, 41*i + 2586 = -3*d + 37*i. Sort -5, 3, d.
d, -5, 3
Suppose -2*w = -4, -23*q - 10 = -21*q + 2*w. Put 12, q, 21 in ascending order.
q, 12, 21
Suppose -c = -11 - 11. Suppose 5*p + c = 7*p. Suppose 0*i - i - 4*g + p = 0, -4*g + 12 = 0. Sort -2, i, -32, -5.
-32, -5, -2, i
Let u = 7.44 - 7.04. Sort 0.1, 0.07, u in descending order.
u, 0.1, 0.07
Let i = -3.5 + 20.8. Let x = -7.3 + i. Let c = 7 - x. Put c, 0.2, 0.3 in increasing order.
c, 0.2, 0.3
Let c be -25 - 2*(-3)/6*1. Let b = c - -21. Let o be (-1 - 2)*8/3. Sort b, o, 5 in increasing order.
o, b, 5
Let w = 0.43 - 0.03. Let o = 209985 + -209985. Put 2/67, w, 0.5, o in increasing order.
o, 2/67, w, 0.5
Let b = 13381 - 13540. Put 1, 3/5, -3, b in ascending order.
b, -3, 3/5, 1
Let o = -20492/5 - -4074. Let d = o + 869/35. Sort -24, d, 2/7, 0.3 in descending order.
d, 0.3, 2/7, -24
Suppose -5*a - 12 = 88. Let l be -10*(1 + -1 + (-12)/(-5)). Let k(x) = -x**3 - 24*x**2 - x - 24. Let s be k(l). Put a, 2, -4, s in descending order.
2, s, -4, a
Let j = -9 + 9.3. Let i = j - -3.7. Let t = 4.1 - i. Sort 0.38, 1/4, t.
t, 1/4, 0.38
Let v = 144 + -411. Let o = 153 + v. Let j = -114.4 - o. Sort -13/5, j, -0.1 in decreasing order.
-0.1, j, -13/5
Let f = 254 - 351. Sort 2, f, -2/3 in decreasing order.
2, -2/3, f
Let r be (-74)/(-1591) - (-279)/2322. Sort r, 0.4, -0.2, 0.5, -71/2 in decreasing order.
0.5, 0.4, r, -0.2, -71/2
Let o = -21/2 - -10. Let r(g) = 10*g**2 + 168*g - 30. Let u be r(-17). Sort -7/5, u, o in decreasing order.
u, o, -7/5
Suppose 0 = -3*g - 2*g. Let r be (6/(-45) + g)*6. Suppose 131*z = 678*z + 185*z. Sort r, 1, z, 2 in descending order.
2, 1, z, r
Let s = -1231 - -1284. Put 1, s, -5, -3, -2 in descending order.
s, 1, -2, -3, -5
Suppose 125 = 167*o - 78 - 131. Sort -71, 3, o, 2/9 in decreasing order.
3, o, 2/9, -71
Let d be (330/(-6))/5 - -2*1. Let i be 19/2*24/(5 + d). Let t be 44/i - (-2 + 8/6). Sort -3, t, -2 in descending order.
t, -2, -3
Let f be (-1)/3 + (-1)/(-3). Suppose 4*a = -f*a - 24. Let g be 0*(-2)/3*(-7 + (-90)/(-12)). Sort a, -1, g, -4 in descending order.
g, -1, -4, a
Suppose -2*o - 3*t + 52 = 0, -352*t + 351*t + 64 = 2*o. Sort o, 39, 4 in ascending order.
4, o, 39
Let n be (-1)/(5/317) + 531/(-885). Put -1, -3, n in increasing order.
n, -3, -1
Let j(k) = 43*k**2 - 87*k + 1. Let f be j(2). Sort f, 590, -3 in ascending order.
-3, f, 590
Suppose -7*v + 4*v - 3 = 3*s, 0 = -4*s - 3*v - 1. Sort 9, 1/6, s, 0.06 in ascending order.
0.06, 1/6, s, 9
Let v(i) = 53*i**2 - 262*i - 15. Let w be v(5). Put 63, w, -1 in ascending order.
-1, w, 63
Let z = -182 - -502. Let y = -320.2 + z. Let h = 0 - 2/5. Put 0.1, y, h in increasing order.
h, y, 0.1
Suppose -40*o + 37*o = -f + 7, -11 = -2*f + 5*o. Sort -4, f, 884 in descending order.
884, f, -4
Let j be 0 + 2 + 6222/6*-1. Let u = j - -1031. Suppose 2 = 5*g - 3. Put u, 0, g in ascending order.
u, 0, g
Let p be (4/6)/((-1)/6). Suppose -147532*l = -147545*l. Sort 12, -3, l, p in descending order.
12, l, -3, p
Suppose 0 = -75*i + 61*i - 14. Put i, -262, -3 in decreasing order.
i, -3, -262
Suppose -2*y = -3*k + 1 + 4, 0 = 5*y + 2*k + 22. Sort y, 9, -2, -5, -0.4 in increasing order.
-5, y, -2, -0.4, 9
Let n(w) = -w**2 + 3*w - 2. Let g be n(2). Let x(u) = -u**2 + 15*u + 84. Let j be x(19). Suppose 47 = j*l + 39. Put l, -4, g in ascending order.
-4, g, l
Suppose 3*h = -58 + 1. Let u be -5*(-4 - (-3)/1). Put 2/17, h, u, 2 in descending order.
u, 2, 2/17, h
Let r be (22 + -14 - 11)/((-3)/(-31)). Put r, 1, -3, 5, -11 in decreasing order.
5, 1, -3, -11, r
Let v = 56.8 - 56.9. Let h = 28.1 + -28. Sort -26, h, v, -0.4 in descending order.
h, v, -0.4, -26
Suppose h + 73 = -39. Let l = h + 104. Put 0.2, l, -1, 1/2 in ascending order.
l, -1, 0.2, 1/2
Let p(a) = a**3 + 11*a**2 - a - 9. Let d be p(-11). Suppose 0 = -2*j + 6*u - d*u, 0 = j - u + 2. Sort j, -2, 7, 1 in descending order.
7, 1, -2, j
Let t = -37.76 + 41.76. Sort t, 2/11, 1/7 in ascending order.
1/7, 2/11, t
Let q be (0 + -2)*(8 - 1). Let o = -76930/3 + 25643. Put q, 0.3, -3, o in decreasing order.
0.3, o, -3, q
Let q = 3223 + -3222. Sort q, -3, -227, -5 in decreasing order.
q, -3, -5, -227
Let h = 2.739 + -86.739. Sort -0.11, h, -2.
h, -2, -0.11
Let l = -10 + 17. Suppose -52*a + 61*a = 36. Let x(h) = 9*h - 207. Let o be x(23). Put o, l, a in increasing order.
o, a, l
Suppose -13*n + 728 - 26 = 0. Suppose n*z - 51*z - 3 = 0. Put -25, z, -2 in ascending order.
-25, -2, z
Let r = -40362/5 - -8073. Sort 2, 1, -0.032, r, 4.
-0.032, r, 1, 2, 4
Suppose 0 = -2*n + 5*q - 73, n = -2*q + q - 33. Let f(z) = -14*z**3 + 27*z**2 + 4*z + 1. Let i be f(2). Put 4, i, n, 1 in descending order.
i, 4, 1, n
Let c(u) = -3*u + 133. Let a be c(-14). Suppose a*r + 12 = 181*r. Let v be (2 + -1)/(1/(-2)). Put v, r, 8, -1 in increasing order.
v, -1, r, 8
Let k = 7 - 11. Let f be (-2)/11 + 2 + (-1029)/(-33). Suppose 4 = -f*t + 34*t. Sort 2, k, t in ascending order.
k, 2, t
Let q = 189 + -1321/7. Let t = 5376 + -5375.9. Sort q, 1, t, -2/13.
-2/13, t, q, 1
Let l = -70.39 + 70.19. Sort -0.4, l, 15/4.
-0.4, l, 15/4
Let u = -72.13 + 76.13. Let b = -0.6 + 0.2. Put 47, b, u in decreasing order.
47, u, b
Suppose -16*o = -14*o - t - 10, 0 = 4*o - 4*t - 24. Suppose o*l = 8, l = -7*c + 5*c + 2. Sort 2, 1/67, -2, c in decreasing order.
2, 1/67, c, -2
Let r(h) = 5*h**3 + 26*h**2 - 21*h - 23. Let c(g) = 2*g**3 + g**2 - 1. Let o(i) = 3*c(i) - r(i). Let u be o(22). Sort -3, u, 2, -1 in decreasing order.
2, -1, u, -3
Let m be (-110)/8 + 9 + (-2)/8. Let y be 2/(-5) - (-36)/(-10). Let c be (-30)/y*4/6. Sort 0, -7, m, c in ascending order.
-7, m, 0, c
Let a be 1*(-7)/(-2)*10/(-35). Let p(l) = l - 2. Let o be p(3). Put 8, a, o in decreasing order.
8, o, a
Let c(r) = r**3 + 3*r**2 - 50*r + 45. Let j be c(5). Sort 305, 1, j, 3, 5 in increasing order.
j, 1, 3, 5, 305
Let i be 23 - (-611)/(-91) - 6/21. Sort 0, -49, i, -2 in increasing order.
-49, -2, 0, i
Let x be 20/32*((-560)/10)/(-7). Sort x, 3, -5, 1 in increasing order.
-5, 1, 3, x
Suppose -2*b + 8 = 2*o, 2*o + 40 = -3*b + 54. Sort 8, 7, o in ascending order.
o, 7, 8
Let m(h) = h - 11. Let w be m(9). Let v = w - -3. Suppose -3*b + 23 = -2*b + 5*u, 3*b - 2*u - 1 = 0. Put v, -2, 0, b in descending order.
b, v, 0, -2
Let m be (-12)/21 + (-16875)/(-315). Put -4, m, -3, 5 in increasing order.
-4, -3, 5, m
Let j(p) = -112*p + 1677. Let t be j(15). Let m(o) = 2*o - 1. Let s be m(-2). Let v(c) = 2*c + 1. Let w be v(1). Sort w, 2, t, s in increasing order.
s, t, 2, w
Suppose 3*t - 8 = 2*t. Let q(r) = -23*r - 87. Let p be q(-4). Suppose -z + t = p. Put 4, z, -2, 2 in descending order.
4, z, 2, -2
Let u = -244 + 242. Let b(t) = -t**2 - 4*t + 21. Let d be b(-6). Sort -4, 5, d, u in ascending order.
-4, u, 5, d
Let q(l) = -2*l**3 - 7*l**2 + 17619*l + 70465. Let w be q(-4). Let i = 22 + -42. Put i, w, -4 in ascending order.
i, -4, w
Let b(n) = -n**3 - 3*n**2 + 5*n + 1. Let m be b(-4). Suppose d + 5*g - 4 = 0, 21*d = 25*d - 5*g + 84. Sort 4, m, d, -5 in descending order.
4, m, -5, d
Let z be 5 + 4/6*-3. Suppose -3*a = 5*g - g - 40, -2*g - 10 = -a. Let i be ((-3)/(-2))/(9/a). Sort i, -1, -11, z.
-11, -1, i, z
Let o be (-1)/1 + 466/(-1864). Put o, -16, 140 in decreasing order.
140, o, -16
Let a(n) = n**3 - 8*n**2 + 8*n - 4. Let m be a(7). Let w be 4*(-2)/28 + 4 + 4960/(-1260). Sort w, m, -1.
-1, w, m
Let p = 0.7536 + -1.7536. Put 4, p, -4, 8, -0.4 in decreasing order.
8, 4, -0.4, p, -4
Let x be (45/50)/((-30)/25). Let d = -2/3 - x. Suppose -16 = 2*b - 0. Put 0.5, b, d, 2 in descending order.
2, 0.5, d, b
Let d = 23 - 21. Let q = 57.26 + -57.06. Put d, q, -0.074 in ascending order.
-0.074, q, d
Let s = 481/4 - 479/4. Sort 0.1, s, -2/7, -9.7, -3 in descending order.
s, 0.1, -2/7, -3, -9.7
Let r be (-1)/(-10)*(-3 + 0)*(-68)/102. Sort r, -3, -4, -0.71.
-4, -3, -0.71, r
Suppose -2 = 4*c + 5*i + 3, -c = -4*i - 25. Suppose -2*t + 3*b = 6 + 2, 9 = t + 5*b. Put c, 80, t in increasing order.
t, c, 80
Let q = 2192 + -2230. Put -2, 2, 1, -0.2, q in ascending order.
q, -2, -0.2, 1, 2
Let v = -31 + 33. Suppose -2*s = -2*d - 16, 