/(-3)). Let c be 1 + (2*1)/2. Sort -2/7, x, c in increasing order.
-2/7, x, c
Let t = -0.2 + -0.02. Let o = -0.35 - t. Let i = o + 0.13. Sort 3, -3/4, i in increasing order.
-3/4, i, 3
Let l = 1579 - 1581. Sort l, -0.5, 6/31 in descending order.
6/31, -0.5, l
Let r be (-1)/4 + (-22)/((-1056)/156). Sort -2, 1, r, -6.
-6, -2, 1, r
Let n = 0.008 + -0.708. Sort -0.5, 3, n, -5.
-5, n, -0.5, 3
Let g = 817.11 - 812. Let h = g + -0.11. Let c = -3 + 2.8. Sort h, 0.1, c in increasing order.
c, 0.1, h
Suppose 0 = 4*w + w - 20, 5*w - 20 = -4*f. Suppose 0*k - 2*k = f. Sort 1, k, 5 in increasing order.
k, 1, 5
Let x be 0 + (-21)/12 - -2. Suppose 13*q - 14 = 38. Sort -1, q, x in descending order.
q, x, -1
Suppose -2*g + 5*q = 1 + 18, q = 2*g - 1. Suppose 4*u + 4*m = -u + 26, 5*u - g*m + 2 = 0. Let j be u*3/(-12)*-6. Sort j, 1, 4 in increasing order.
1, j, 4
Let y = -5.06 - -0.06. Let w = -658/1521 - 2/169. Suppose 5*b - 2*m = b, -6 = -b - m. Put y, b, w in ascending order.
y, w, b
Suppose -4*i = 8 - 0, -g - 4*i = 4. Suppose 0 = -3*x - g*n - 1, 4*n = 4*x - 0 + 20. Let f be -1 + 2 + -1 + x. Sort -4, 0, f in increasing order.
-4, f, 0
Let x = 50 - 80. Let z be (x/20)/((-1)/2). Sort z, 4, 5 in increasing order.
z, 4, 5
Suppose 0*p - 2 = 2*p. Suppose 374 - 1312 = 134*q. Sort 1, q, p in decreasing order.
1, p, q
Let y(b) = -3*b**3 + 19 + 24 - 24 - 4*b**2 - 8*b + 4*b**3. Let t be y(5). Sort 5, 1, t, 28 in increasing order.
1, t, 5, 28
Let j = 606 - 603. Let l(a) = a - 1. Let c be l(5). Let i be 36/(-8) - (-2)/c. Sort j, i, -2.
i, -2, j
Let x be -2*((4 - 2) + ((-325)/10)/13). Let r = -4 + 0. Put r, x, 4, 8 in descending order.
8, 4, x, r
Let o = 84 - 108. Put -5, o, 5 in descending order.
5, -5, o
Suppose 0*w + 9 = -3*w + i, 4*w + 4*i - 4 = 0. Let q = -0.1 + 4.1. Sort w, -0.06, q in ascending order.
w, -0.06, q
Suppose 0 = g + 3, 4*y = 9*y + 3*g - 6. Suppose -5 = -5*j, 3*m + 46 + 10 = 5*j. Sort y, -1, m in decreasing order.
y, -1, m
Let s = 91 + -94. Let b(i) = -i**3 + 4*i**2 + 6*i - 5. Suppose -3*a = -5*n - 30, 0 = -2*a + n - 2 + 15. Let y be b(a). Sort -4, y, s.
-4, s, y
Suppose 5*g - 8 = i, 4*g + g = 2*i + 11. Put 169, g, 5 in descending order.
169, 5, g
Let v = -137 - -137.19. Sort v, 5/3, -2, -0.2.
-2, -0.2, v, 5/3
Let h(m) = 2*m**2 + 21*m - 41. Let q be h(-12). Sort 1, q, -30 in decreasing order.
1, q, -30
Suppose 3*p = 2*r - 18, -5*p - 2 = r + 15. Let y = 6756 + -6761. Sort 5, -2, p, y in descending order.
5, -2, p, y
Let x be 141/27 + (-228)/54 + 4. Sort 2, x, -758 in ascending order.
-758, 2, x
Let x = 83 - 83. Let q = 8.6 - 8. Sort -0.5, x, q in descending order.
q, x, -0.5
Let k(p) = 2*p + 68. Let n be k(-26). Sort n, -0.5, -2/5.
-0.5, -2/5, n
Suppose 11*t + 7*t = -468. Put -5, -2, t in increasing order.
t, -5, -2
Let z be (-6 + 78/12)/2. Sort -3, z, 0, -0.5.
-3, -0.5, 0, z
Let k be 30/90 + (-7)/3. Sort 4, -6, k in descending order.
4, k, -6
Let o be (-252)/(-84)*(0 + (-2)/6). Let i = 7 + -4. Let g = -3.3 + i. Sort g, o, 2/11 in descending order.
2/11, g, o
Let a = 140 - 138. Let y be 1/2*2*3. Suppose 5*q - 2*q = -y. Put -4, q, a in descending order.
a, q, -4
Let f = -18 - -18.4. Suppose -22 = 4*t - 2*q, -2*q = 4*t + t + 5. Sort f, t, 1 in descending order.
1, f, t
Let r = -153 + 149. Let z = 12 - 7. Put r, 6, z, 3/7 in ascending order.
r, 3/7, z, 6
Let b be 28/266 + 2766/76. Let o(d) = -38*d. Let m be o(1). Let l = b + m. Sort 0.5, -3/5, l in ascending order.
l, -3/5, 0.5
Suppose 1370*o - 1362*o - 80 = 0. Sort o, -2/9, 1.
-2/9, 1, o
Suppose -2*k - 3 + 13 = 0. Suppose 14 + 60 = -4*a + 2*m, -4*m - 12 = 2*a. Let c(g) = g + 16. Let n be c(a). Sort 2, k, n in decreasing order.
k, 2, n
Let c = 1 + -4. Let n = 61 + -35. Let g = n + -30. Sort c, g, -1 in ascending order.
g, c, -1
Let i be (1/7)/((-102)/(-119))*6. Sort 0, i, 10 in increasing order.
0, i, 10
Let h = -6135/19 + 323. Let t be (-13)/26*(-8)/18. Sort -0.6, t, -2/9, h in decreasing order.
t, h, -2/9, -0.6
Let w = -5 - 3. Let g be 2 - 0 - (-8)/w. Put -5, -4, g in descending order.
g, -4, -5
Let j = 134 - 135.46. Let i = 6.46 + j. Suppose -o + 2*o - 5 = -4*t, 2*o - 3*t + 12 = 0. Sort 6, i, o in descending order.
6, i, o
Suppose -605 + 2200 = -29*v. Sort -4, -2, v in descending order.
-2, -4, v
Let q = 241 - 240. Sort 0, q, -44.
-44, 0, q
Let d(s) = 2*s**2 + 4*s - 1. Let i be d(-3). Let t be 0 - (1 - (3 + -4)). Let c be -1*((-6)/(-3))/t - 5. Sort 2, i, c in descending order.
i, 2, c
Let y = 4.91 - -0.09. Let o(x) = -346*x + 1729. Let d be o(5). Sort y, d, -2/7.
d, -2/7, y
Let u = 479.4 - 481. Let f = 1.635 + 0.005. Let l = u + f. Sort l, 0.2, 4 in increasing order.
l, 0.2, 4
Let j be ((-6)/22 - 1292/748) + 1. Let x be (5 + 1)*2/4. Suppose x*u - u - 2 = 0. Put u, j, 2 in ascending order.
j, u, 2
Suppose -6 = 3*n - 15. Suppose n*j = 7*j - 12. Put -2, 4, j, -3 in descending order.
4, j, -2, -3
Let g = -21/46 + -29/138. Put g, -3, -3/166 in decreasing order.
-3/166, g, -3
Let v = -112 + 115. Let w be (v - 95/30)/((-4)/(-9)). Let c = 0.06 + 3.94. Sort -9, w, c in decreasing order.
c, w, -9
Suppose 36 = -5*v + 11, -3*v = 4*f - 1. Suppose 26 = f*j + 5*z, -j + 2*z = -0*z. Put -3, 5, j in descending order.
5, j, -3
Let u = 7.49 - 4.49. Sort 75, u, -1, 0.
-1, 0, u, 75
Suppose -4*a - 2*a = 0. Suppose 2 = 2*n - 3*c - 2, -2*n - 3*c - 8 = a. Sort -2/9, n, -2/11 in increasing order.
n, -2/9, -2/11
Suppose 3*i + 3*k = -k + 2, -5 = -5*i - 5*k. Let h(v) = -2*v + 27. Let m be h(14). Sort -2, 3, i, m in ascending order.
-2, m, i, 3
Let i(n) = n**3 - 3*n**2 - 11. Let w be i(4). Suppose -30 = 7*m + w. Sort 0, m, -2, 2.
m, -2, 0, 2
Let g = 0.1 + 0. Let t = 0 - g. Let n = -0.084 - 0.216. Put t, 3/7, n in decreasing order.
3/7, t, n
Let c(g) = -4*g - 1. Suppose 2*i - 9 = -i. Let u be c(i). Let j = -9867 + 9865. Sort 5, j, u.
u, j, 5
Let a = 1/70 - -9/70. Put -0.1, 0.5, a, 1 in descending order.
1, 0.5, a, -0.1
Let l(v) = -v + 2. Let k be l(-1). Let g(z) = z**3 - 3*z**2 - 2*z - 1. Let r be g(k). Put -4, r, 3 in descending order.
3, -4, r
Let d = 17 + -17. Suppose 3*j + 4*b + 22 = d, b = -0 - 4. Sort -16, j, 4 in descending order.
4, j, -16
Let p be (-3)/(1 + 2) + 1. Suppose p = -j - j + 2. Suppose 0 = -3*u - 3*u + 12. Sort -4, j, u in ascending order.
-4, j, u
Suppose 0 = 4*q - 2*h + 12, 5*h + 11 = -4*q - 15. Sort q, 0, -2, 1 in descending order.
1, 0, -2, q
Let g = 75 + -120. Let q = -41 - g. Sort q, -12, -3 in descending order.
q, -3, -12
Let w = 13.494 - 0.094. Let h = w - 13. Sort -6, h, 0.3 in descending order.
h, 0.3, -6
Let v = 0.2141 + -5.2141. Let p = -0.44 + 0.04. Sort -4, v, p in increasing order.
v, -4, p
Suppose 4*k - 13 = -3*h, 1 = 4*h + 5. Let s = k - -1. Let l = -837 - -837. Put l, -1/6, s in descending order.
s, l, -1/6
Suppose 16 = -15*s - 14. Suppose -a - 3*a = 5*f + 4, f = 2*a + 2. Sort a, s, 5.
s, a, 5
Let s = 92 - 84. Let c = s + -11. Put c, 2, -0.2 in decreasing order.
2, -0.2, c
Let a = -67 - -67. Suppose -x + m = 0, 2*x = -0*x + 4*m - 6. Put a, x, -5 in descending order.
x, a, -5
Let j be 1/2*(11 - 13). Let f(d) = -2*d**3 - 5*d**2 + 6*d + 5. Let u be f(-3). Sort 2, -29, j, u.
-29, u, j, 2
Let x = 4.97 + 0.03. Let l = 2.1 - 0.1. Let o be 0/35 - 1/6. Sort o, x, l in increasing order.
o, l, x
Suppose -5*c + 2 = -3*r, 5*c + 5*r + 18 = -12. Let g be (c/(-10)*-2)/((-2)/40). Put -1, -0.2, g in decreasing order.
g, -0.2, -1
Let w = 38 + -192/5. Let n = 0.58 - 4.58. Put w, n, -1 in ascending order.
n, -1, w
Let k = -27.017 - -27. Let u = 3.983 - k. Put -1, u, 3/7 in decreasing order.
u, 3/7, -1
Suppose 0 = -2*k + 5*k + y - 26, 5*y = 3*k + 4. Suppose 3*g + 5 = 3*h - k, 2*h + 4*g = -4. Put -5, 3, h in ascending order.
-5, h, 3
Let n be (-42)/(-8) - (12 + -7). Put -2/7, -7, -0.05, n in decreasing order.
n, -0.05, -2/7, -7
Suppose 0 = 3*b - 0*k + 3*k - 18, 4*k = 5*b + 15. Sort 33, b, -4 in increasing order.
-4, b, 33
Let o = 0.073 + -0.273. Put 2/31, o, -5 in ascending order.
-5, o, 2/31
Let i = 11 + -9. Let v be ((-3)/(-6))/((-6)/24) + 0. Sort v, 3, i.
v, i, 3
Suppose 0 = -3*a + a + 16. Suppose -4*h + a*h - 16 = 0. Let f(i) = i**3 + i. Let t be f(-1). Sort t, h, 5 in ascending order.
t, h, 5
Let w = -331 + 337. Sort w, -2/11, 0.03 in descending order.
w, 0.03, -2/11
Suppose -u = 2*u. Suppose -3*m - 15 = u, 4 = n 