 4, i, j in decreasing order.
j, 4, i
Let h = 206/7 + -1627/56. Sort -0.095, h, -2 in ascending order.
-2, -0.095, h
Let u be 22/165*(-2 + -1). Sort 0.2, 12, -2, u in increasing order.
-2, u, 0.2, 12
Let p be (-12)/78 + 115/(-13). Let q be (p/18)/((-2)/(-16)). Let v = 1 - -3. Sort q, v, 5 in descending order.
5, v, q
Suppose -4 = -16*i + 12*i - 3*y, 0 = -y. Put -55, -4, 3, i in ascending order.
-55, -4, i, 3
Let g = 830 - 2486/3. Sort 3, -74, g, -4.
-74, -4, g, 3
Let z(w) = w**3 - 6*w**2 - 2*w + 9. Let f(q) = -q**2 + 10*q + 6. Let y be f(10). Let x be z(y). Put 4, -7, x in descending order.
4, x, -7
Let f = -52 + 7. Let s = 46 + f. Put 2, s, -3 in decreasing order.
2, s, -3
Let u = 75.3 - 75. Let h(g) = -g**2 - 11*g - 10. Let n be h(-10). Suppose 0 = -l + 5 - n. Sort u, l, -1.
-1, u, l
Let x = 32 + -31.8. Let g = -30 + 51. Suppose -g = -4*o - 3*o. Put x, 14, o in descending order.
14, o, x
Let w = -52.42 + 52. Let p = w - -0.32. Put -3, p, 0.3 in decreasing order.
0.3, p, -3
Let w = -0.01 - 16.99. Let i = -14 - w. Let n be 4/10 - 84/135. Put n, -1/5, i in increasing order.
n, -1/5, i
Let v(i) = i**2 + 43*i + 71. Let q be v(-28). Let l = q - -5237/15. Let h = 0.1 - 1.1. Sort l, h, -5 in decreasing order.
l, h, -5
Suppose 0 = -2*m + 10*m + 40. Sort 0.2, 24, m, -0.2 in decreasing order.
24, 0.2, -0.2, m
Let k = -50 - -52. Let d = 2 - -1. Let x(p) = -p**2 + 3*p + 4. Let t be x(d). Sort t, k, 3 in descending order.
t, 3, k
Let y = -1341 - -1315. Sort 0, 2, 5, y in descending order.
5, 2, 0, y
Let u = -0.4 - -0.2. Let q = 0 - -4. Suppose -q*s = 3*s - 21. Put u, -3, s in increasing order.
-3, u, s
Let g = -2 + -4. Let j = 5.9 + g. Let v = -20/3 + 7. Sort v, j, 1 in decreasing order.
1, v, j
Let o = 1.81 - 1. Let m = o - 0.71. Put m, 10, 0.2 in ascending order.
m, 0.2, 10
Let v = -495.5 + 495. Sort -2/339, 1, -2/13, v in decreasing order.
1, -2/339, -2/13, v
Let y = -80.7 + 81. Let k = -28.8 - -29. Sort -5, -1/2, k, y in descending order.
y, k, -1/2, -5
Suppose -8 = 5*z - g, -g = 3*z + 7 + 1. Sort z, 65, 4 in increasing order.
z, 4, 65
Let l = -11 + 16. Let o = -984.7 - -985. Put 0.34, l, o in decreasing order.
l, 0.34, o
Let z(k) = -k**3 - 5*k**2 - 2*k - 7. Let c be z(-5). Suppose 5*w = c*w + 12. Suppose 0*p = -2*p + 3*j + w, -2*j - 5 = -p. Sort p, 4, 2 in decreasing order.
4, 2, p
Let q = 315.99 + -316. Sort q, -2/3, -0.4, 2 in increasing order.
-2/3, -0.4, q, 2
Let y = -61 - -66. Let h be ((-5)/3 - 0)*3. Sort h, y, 1 in ascending order.
h, 1, y
Suppose -a = i - 2, a - 10 = 5*i - 2. Put 2/15, i, -4 in ascending order.
-4, i, 2/15
Let t = -862 - -860. Let f(u) = u - 1. Let x be f(6). Let m = t + x. Put 0.7, -5, m in descending order.
m, 0.7, -5
Let u(q) = -q**2 + 3*q - 1. Let g be u(2). Let c be -2 - 1*(g + -1). Let l = -0.5 - -0.4. Put l, -1, c in descending order.
l, -1, c
Let z be (-1)/((-1 - 0)/1). Suppose -z = -2*v - 9. Put -0.1, -6/11, v in decreasing order.
-0.1, -6/11, v
Suppose -y + 2*y - 2 = 0. Let j be 6/18*6/2. Let n(c) = -c**3 + c. Let d be n(-1). Sort y, j, d in descending order.
y, j, d
Suppose 0 = -0*f - f + 3. Suppose 5*n + 2 = -f. Let d = -1 - -5. Sort d, n, -1/5 in decreasing order.
d, -1/5, n
Let j = 177 + -182. Let g = 1.05 + -1. Put 1, g, j in decreasing order.
1, g, j
Let t = 61 + -61.4. Put -4.1, 3/5, -4, t in descending order.
3/5, t, -4, -4.1
Let l(s) = s**3 - s - 1. Suppose -4*f + 4 = 0, -4*u = 4*f + 7 - 67. Let w be ((-12)/(-42))/(2/u). Let g be l(w). Put g, -3, 2 in descending order.
g, 2, -3
Let p(i) = i**3 - 13*i**2 + 16*i + 32. Let f be p(11). Sort f, 5, 2 in increasing order.
f, 2, 5
Let t = 618/7 - 24088/273. Put t, 1, -1, 5 in decreasing order.
5, 1, t, -1
Let a = 6.3 + -0.3. Let b = a - 11. Put b, 2/19, 0.1 in increasing order.
b, 0.1, 2/19
Let j = 1213 - 1208. Let r be (-3)/(-2)*(-16)/18. Sort -5, r, j in increasing order.
-5, r, j
Let t = 222 - 221. Put t, -2, -6 in descending order.
t, -2, -6
Suppose 0 = 3*v - 6, 4*s + 4*v - 24 = -4. Suppose -10*c = -14*c - 3*f + 19, 3*f + 5 = 2*c. Sort c, 12, 2, s.
2, s, c, 12
Let t = 9 - 6. Let y = 217 - 213. Put t, 2, y in increasing order.
2, t, y
Let b = -80 - -52. Let m be (-5)/(10/6*-1). Put b, 1/3, m in ascending order.
b, 1/3, m
Let k = 17 - 18. Let o be 2 + (k - (3 - 3)). Sort -4, -1, o.
-4, -1, o
Let o = -2/181 - -197/1448. Let y be ((-96)/(-27))/4 - (-6)/(-27). Put y, 0.5, o in increasing order.
o, 0.5, y
Let g = -1 - -31. Put g, 1/3, -2 in increasing order.
-2, 1/3, g
Let a = 67.3 + -66. Let i = a - 4.3. Put -5, i, -3/2, -8 in increasing order.
-8, -5, i, -3/2
Let n = -177.1 + 176. Put -2, n, -10 in increasing order.
-10, -2, n
Let u(o) = o**2 + 8*o + 3. Let w be u(-7). Let z be (-30)/20*2/(-3). Put w, 5, z, -3 in increasing order.
w, -3, z, 5
Let p(d) = d**3 - 2*d**2 - d. Let k be ((-4)/(-5))/(14/35). Let v be (-208)/(-64) - k/8. Let b be p(v). Sort b, 1, -1 in ascending order.
-1, 1, b
Let j = 534 + -533. Sort j, 5, 7, -1.
-1, j, 5, 7
Let i(v) = v**3 + 2*v**2 - 6*v + 1. Let p be i(2). Sort 3, 134, -5, p in increasing order.
-5, 3, p, 134
Let z = 1463/3 + -447. Let n = z - 41. Put n, 1/2, -2/11 in decreasing order.
1/2, -2/11, n
Let q = -366 - -366. Sort 9, -1, 3, q in decreasing order.
9, 3, q, -1
Let j(m) = -64*m - 128. Let a be j(-2). Put 2, a, 5, 23 in descending order.
23, 5, 2, a
Suppose -z = 2*w + 2, -8 = z + 31*w - 26*w. Sort z, 1/6, 0, 6/17 in descending order.
z, 6/17, 1/6, 0
Let z be (-4)/(15*8/(-60)*3). Let p(v) = -v**3 + 12*v**2 - 10*v - 6. Let x be p(11). Sort -3, z, x in descending order.
x, z, -3
Let y(t) = -t**2 - 4 + 5*t + 4. Let x(m) = m**3 - 20*m**2 - 23*m + 47. Let n be x(21). Let a be y(n). Put -1, 2, a in ascending order.
-1, a, 2
Suppose -u - w + 3 = 0, -4*w = -u - 2*u + 37. Suppose -6*p - 3 = -u*p. Suppose p*g - 3 = 9. Put g, 0, -4 in decreasing order.
g, 0, -4
Suppose -2*m = 4*j - 18, 4*m - 5*j + 5 = 15. Let i be (-2 - 2/(-2)) + 4. Let o = -3 + i. Put m, 7, o in ascending order.
o, m, 7
Suppose 0 = -2*n + n. Suppose n = -3*r + u + 35 - 8, 27 = 3*r + 4*u. Suppose -4*s - 1 = -r. Sort 1, -5, s.
-5, 1, s
Suppose -24*u - 3*j - 3 = -22*u, 4*u + 4 = -4*j. Put -4, 174, u in decreasing order.
174, u, -4
Suppose -16 = -0*k - k. Suppose -t + k = -13. Let f = t + -32. Put 2, f, -2 in descending order.
2, -2, f
Suppose 21*v = 18*v + 6. Let k be (-1 + 0)/(4/24). Sort v, k, -1 in decreasing order.
v, -1, k
Let h = 817 + -816. Let t = 7 - 3. Sort -3/2, -1/6, h, t.
-3/2, -1/6, h, t
Let z = 5 - 8. Suppose 9 = w + 5*v, -v + 9 = 2*w - 0*v. Suppose -3*s = 3*m - 22 + 4, 12 = s + w*m. Sort s, z, -5.
-5, z, s
Let h be (-8)/(-18)*33/44*0. Suppose -3*f = -128 - 1. Let k = 19 - f. Sort 2, h, k in decreasing order.
2, h, k
Suppose r - 10 = -6, -3*r = -3*a - 45. Sort -2/13, 5, 0.3, a in decreasing order.
5, 0.3, -2/13, a
Let t = 17 + -9. Let j be (-2)/(t/(-6) - -2). Let z = 4/29 + 9/145. Put z, -0.3, j in increasing order.
j, -0.3, z
Let n = -213.2 + 190. Let o = -2.5 + 27.5. Let b = o + n. Sort -4, 0.2, b in descending order.
b, 0.2, -4
Let c(y) = -2*y + 10. Let n be c(8). Let x = -11 + 11.3. Sort n, 3/7, x.
n, x, 3/7
Let g = -167.03 + 166. Let z = g + 0.03. Suppose 3*w = -2*o - 1, o - 4*w - 32 = -4*o. Sort 5, z, o in ascending order.
z, o, 5
Suppose w - 5*w = 3*k + 11, -3*k - 15 = 0. Suppose 3*i + 2*m + 3 = 5*m, 0 = -2*i - 4*m + 28. Let a be (4 + -1)/(6/i). Sort w, -2, a in ascending order.
-2, w, a
Suppose -29 + 49 = -4*t. Put 2, t, 0, -3 in increasing order.
t, -3, 0, 2
Let g be 2/(-4)*2/(-7). Let j = 0.04236 - -0.25764. Put 3, j, g in increasing order.
g, j, 3
Let c = 600 + -613. Sort -16, -4, c in increasing order.
-16, c, -4
Suppose -z = z - 5*n - 87, 3*z + 4*n - 73 = 0. Sort -1, -3, -5, z.
-5, -3, -1, z
Let m = -8/175 - 6/25. Let l = 4016 - 4017. Put l, m, 1/7, 0.3 in decreasing order.
0.3, 1/7, m, l
Let r(v) = v**2 - 13*v + 12. Suppose -4*a + 12 = o + a, 12 = o - 3*a. Let x be r(o). Let q(n) = n**3 - 11*n**2 + 4. Let t be q(11). Sort t, -3, x.
-3, x, t
Let i = -688 + 688. Put 3, i, -63 in increasing order.
-63, i, 3
Let r = -4/679 - -695/2716. Put 2/9, 0.3, 4, r in increasing order.
2/9, r, 0.3, 4
Let n = 1.8 - -3.2. Let m = 10 - n. Let y be (3/2)/((-45)/12). Put 1, y, m in increasing order.
y, 1, m
Let h = 15 + -1. Suppose 2*w - 40 = 6*r - 2*r, -2*w + 2