6). Put 5, 4, -1, t in decreasing order.
5, 4, t, -1
Suppose 5*k + 19 + 6 = 0. Let y = -51 + 49. Sort -3, y, k in decreasing order.
y, -3, k
Let x be (10 + 80/(-6))*3/(-2). Put -855, 1, -3, x in descending order.
x, 1, -3, -855
Suppose 278*h - 285*h + 35 = 0. Sort h, -1, -5.
-5, -1, h
Let s(y) = -2*y**2 + 2*y + 2. Let p be s(3). Let l be (-15)/p*-1 - -1. Sort l, -0.1, 0.1, 2 in increasing order.
l, -0.1, 0.1, 2
Suppose -63*l + 5 = -64*l. Sort -1, l, 0, -2.
l, -2, -1, 0
Let n = -7861 + 7857. Let p = -11 + 6. Put p, 0.1, n in descending order.
0.1, n, p
Let v be (6/(-12))/((-1)/(-2)). Let i be 0 + -2 - v*3. Let n = -314 - -316. Sort n, -3, i in descending order.
n, i, -3
Let m = -0.91 + -0.09. Suppose -u = 4*f - f - 40, u - 4*f - 40 = 0. Let k = u + -121/3. Sort -0.05, m, k in increasing order.
m, k, -0.05
Suppose -29*t - 52*t = 753 + 462. Suppose 2*b = 2 - 8. Sort t, 3, -5, b.
t, -5, b, 3
Let d be (-3)/(-2)*1 + (-40)/16. Suppose -1 = 2*s + 3*a - 5, 3*a + 10 = 5*s. Sort d, s, -5, -3.
-5, -3, d, s
Let l(v) = -8*v - 25. Let j be l(-3). Let r = -76.13 - -80.2. Let k = r + -0.07. Put k, j, 0.1 in increasing order.
j, 0.1, k
Let p be 3 + 8 + -4 + -3. Sort 5, -5, -3, p in descending order.
5, p, -3, -5
Suppose 34 = 3*m - 5*d, -4*m + d + 0 = -17. Suppose -m*q + 6*q + 3 = 0. Suppose 18*j - 120 = -6*j. Put j, q, -3 in decreasing order.
j, q, -3
Let o(d) = d**2 - 3*d + 1. Let m(q) = -q**3 - 6*q**2 - q - 2. Let v be m(-6). Let u be o(v). Let w = u + -7. Sort -9, 5, w in decreasing order.
5, w, -9
Let f = -9 + 76. Let i = 205/3 - f. Sort i, 4, -3 in decreasing order.
4, i, -3
Let i(s) = 6*s**2 - 106*s - 32. Let u be i(18). Put u, 3, -15 in decreasing order.
u, 3, -15
Suppose 4*f + 8 = 0, -3*f - 26 = -4*z + 9*z. Sort -20, 4, z in decreasing order.
4, z, -20
Let o be 4/(-10) + (-963)/(-45). Suppose 0 = 5*r + 1 - o. Put -3, r, 1 in decreasing order.
r, 1, -3
Suppose t + 4*q = 19, -17*t + 3*q = -20*t + 21. Put t, -1, 2, -4 in descending order.
t, 2, -1, -4
Suppose -4*d + 14 = -4*w + 10, 0 = 2*w - 4*d + 12. Let a(m) = -m**2 + m + 1. Let k be a(-1). Sort k, 2, w, 0 in descending order.
w, 2, 0, k
Let d be -19 + 1596/72 + (-1)/6. Put -5, -9, d in ascending order.
-9, -5, d
Let t = -748.04 + 748. Put 8, 4, t, 3 in decreasing order.
8, 4, 3, t
Suppose -7*g + 6*g = 21. Let c = 26 + g. Sort 0, c, -4 in decreasing order.
c, 0, -4
Let n = -9 - -6. Let y be (4/6 + -1)*n. Let t = 18075 + -18075.1. Put 0.3, t, y in increasing order.
t, 0.3, y
Let h = 121 - 79. Let i = h - 42.03. Sort -4, -0.2, 3, i in descending order.
3, i, -0.2, -4
Let h(a) = a**3 - 3*a**2 - a - 12. Let f be h(4). Let o be 3 - (42/6)/(f - -1). Put o, -16, -3 in decreasing order.
-3, o, -16
Let d = -0.232 + -10.768. Put d, 0.1, -3/13 in decreasing order.
0.1, -3/13, d
Suppose 36 = 9*g - 9. Suppose 5 = g*u + 10. Put -2, -0.2, u, 1/4 in increasing order.
-2, u, -0.2, 1/4
Let n(s) = -2*s**3 + 11*s**2 - 4*s - 9. Let y be n(6). Let a = -65 - y. Put 12, -4, a, -3 in increasing order.
-4, -3, a, 12
Let f = -3 - -8. Suppose 97*g + 339 = 210*g. Let z(t) = -4*t**3 + t**2 + t - 1. Let x be z(1). Put f, g, x in descending order.
f, g, x
Let y be (-2)/8 + 9/4. Suppose 0 = m + 3, -s = y*m + 1 + 1. Let d = -1586 - -1587. Sort d, 0, s.
0, d, s
Let n = 9/489343 + 3799747882/27892551. Let t = n + -409/3. Suppose 2*x + 5*r + 40 = 6*x, 0 = -5*r - 20. Put 1/7, t, x in increasing order.
t, 1/7, x
Let r be (-44 - (-6)/3)*5/(-10). Suppose 4*y - 52 = 2*d, -r = -2*y + 5*d + 21. Put y, 1, 0, 1/7 in increasing order.
0, 1/7, 1, y
Let s be 1/(-2)*(-216)/126. Sort s, 3/2, 0.
0, s, 3/2
Let f = 0 + 0. Let s = -1222/305 - 24/61. Let w = -71/15 - s. Put w, -0.1, f in descending order.
f, -0.1, w
Let l = 376 - 376.2. Suppose 0 = 4*n - 5*h + 27, 2*n - h + 9 = -0. Sort n, -0.4, l in descending order.
l, -0.4, n
Suppose 0 = w + 5*g + 18, g = 2*w + 3*g + 4. Let s be (24/(-16))/(w/(-4)). Put -5, s, 6 in descending order.
6, s, -5
Suppose 0 = -7*h - 5*h - 24. Let r be h/19 + 1860/(-380). Sort 1, r, -4, 3.
r, -4, 1, 3
Let q = 77 - -3. Let l = -84 + q. Put l, 6, -1 in descending order.
6, -1, l
Suppose 5*j - 4*w - 72 = 0, -2*j - 3*j + 3*w + 74 = 0. Let z = j + -17. Sort 1, z, 11 in ascending order.
z, 1, 11
Let n = -24.5 - -23. Let m = 1.2 + n. Let l = -1.03 - -0.03. Sort l, -0.1, m in ascending order.
l, m, -0.1
Let k = -168 + 179. Put k, -3, -1 in ascending order.
-3, -1, k
Suppose 3*y = -2*s, 50*y = 52*y + 3*s + 5. Sort 8, y, 1, 2/7 in ascending order.
2/7, 1, y, 8
Suppose 7*j + 16 = -3*c + 5*j, 4*j = -5*c - 28. Put -152, c, -5 in increasing order.
-152, -5, c
Suppose 3*q + 2 = -7, -4*q = -4*s - 4. Sort -5, -9, s, 0.
-9, -5, s, 0
Let t = 24 - 25. Let z be (3/(-12))/(t/(-4)) + 3. Sort 6, z, -5.
-5, z, 6
Suppose 13*r - 26*r = 65. Put 5, 3, 1, r in decreasing order.
5, 3, 1, r
Let d = 1621/5 - 324. Put d, -4, 1/4 in ascending order.
-4, d, 1/4
Let a(b) = 31*b + 1357. Let k be a(-45). Sort k, -4, -2, 4 in increasing order.
k, -4, -2, 4
Let b be 44/10 + (-14)/35. Suppose 3*x = -3*c + 33, 2*x - 3*c = 2*c + 43. Suppose 0 = -2*d + 2*r, 8*d - 4*d = -3*r + x. Put b, d, 3 in ascending order.
d, 3, b
Let t = -341 + 347. Sort 23, t, -1 in increasing order.
-1, t, 23
Let i = 167.8 - 172.8. Sort i, 13.9, -2 in decreasing order.
13.9, -2, i
Suppose z + 4*r = -25, 0 = 6*z - 3*z - 5*r - 10. Sort 18, z, -4 in decreasing order.
18, -4, z
Let t = 0.095 - 0.075. Put 3, 5, t in descending order.
5, 3, t
Let b(f) = -f**3 + 11*f**2 - 19*f + 15. Let g be b(9). Put g, -2, -4, 7 in increasing order.
-4, -2, g, 7
Suppose 40 = 4*a + 4*q, 2*q + 17 = 23. Sort 1, 0, a, -5 in descending order.
a, 1, 0, -5
Let p = 21774.1 + -21774. Let a = -0.01 + 2.01. Put p, 7, a, -2/5 in increasing order.
-2/5, p, a, 7
Let g = -41.7721 - 0.2279. Let y = 3 - 3. Sort y, g, -0.2 in decreasing order.
y, -0.2, g
Let h be -1*(3/3 + 2). Let o = 1.22 + -1.42. Put o, h, -1/2, -0.1 in ascending order.
h, -1/2, o, -0.1
Let m = -8 + -23. Let o = 35 + m. Sort 2/5, -0.3, o in descending order.
o, 2/5, -0.3
Let g = 0.39 + -0.398. Let p = g - 0.022. Let w = -3 - -3. Put w, p, 0.2 in ascending order.
p, w, 0.2
Suppose -5*m = -q - 10, 4*m + 51*q - 50*q + 1 = 0. Put m, -66, 7 in descending order.
7, m, -66
Suppose i = -b - 0 + 7, -2*b - 26 = -3*i. Suppose -6*c + i*c - 2 = 0. Let t(g) = -2*g - 7. Let r be t(-6). Put c, r, 2 in decreasing order.
r, 2, c
Let m = -4 - -9. Let z be (-4)/(-14) - 52/(-14). Let t(a) = -a - 28. Let v be t(-25). Sort z, v, m in descending order.
m, z, v
Let r = -1.076 + 0.076. Put 3, 1, -12, r in descending order.
3, 1, r, -12
Let y(n) = -n**3 - 2*n**2 - 1. Let v be y(-2). Put 1, v, 0, 7 in descending order.
7, 1, 0, v
Let v = 823 + -822.7. Sort v, 1/4, -1, -11 in descending order.
v, 1/4, -1, -11
Let v(u) = -u**3 + 12*u**2 + 5*u + 4. Let s be v(11). Suppose 0 = 3*j - 7*j - s. Let x = -134/3 - j. Put 4/5, x, -1/3 in descending order.
4/5, x, -1/3
Let r be ((-12)/(-20))/((-6)/(-70)). Sort 4, -2, r in descending order.
r, 4, -2
Let y = 2673 - 2676. Sort -2, 30, 2, y in ascending order.
y, -2, 2, 30
Let j(b) = -b**2 + 1. Let z be j(2). Let w(n) = n**3 - 8*n**2 - 22*n + 19. Let c be w(10). Sort c, z, 12.
z, c, 12
Let w = -497 - -442. Put w, 3, -2 in increasing order.
w, -2, 3
Let x = 7 + 7. Suppose 2 = -4*k + x. Sort -3, 0, k in descending order.
k, 0, -3
Let r(j) = 4*j**3 - 49*j**2 + 11*j + 20. Let g be r(12). Let m = -0.7 + 1.7. Sort 3, m, g, -1 in ascending order.
-1, m, 3, g
Let n = -0.0931 - 4.9069. Put 5, -0.16, n in descending order.
5, -0.16, n
Let p(w) = 16*w - 64. Let r be p(4). Sort 350, 2, r in decreasing order.
350, 2, r
Let r = -396/2723 - -1/389. Sort 2, -9/10, 1/4, r in descending order.
2, 1/4, r, -9/10
Suppose 27 + 13 = 3*y + 5*k, 2*k - 4 = 0. Let d = 6 - y. Suppose -l - 5*x - 13 = 0, l = -0*x - 2*x - 4. Sort l, 3, d in increasing order.
d, l, 3
Let w = 19/4 - 4. Suppose -o - 14 = -15. Let j = 0.81 + 1.19. Put j, o, w in increasing order.
w, o, j
Let w = -514 - -513.9. Let o = -0.6 - 3.4. Let q = o + 3.5. Sort w, q, -1/6 in decreasing order.
w, -1/6, q
Let n = 6.16 - 6. Let l = -0.06 + n. Let g = l + 4.9. Sort -2, g, -3 in descending order.
g, -2, -3
Let p = -160 + 159. Let g = 5 - 3. Let y = p + g. Put y, -0.3, -0.4 in increasing order.
-0.4, -0.3, y
Let a = -13 + 17.