 descending order.
n, c, -5
Let y = 2/23 - -7/184. Sort y, -4, 0.3 in decreasing order.
0.3, y, -4
Suppose -5*u + 3*u = 2. Sort u, -5, 5 in descending order.
5, u, -5
Let c be (8 + -5)/(1 - (6 + 2)). Sort -0.3, 0.3, c, -7 in decreasing order.
0.3, -0.3, c, -7
Suppose -2*b - 7 = 3*n + 4, 20 = 5*b - 2*n. Suppose 3*d + b*r + 4 = 0, 5*d = d + 4*r - 12. Let k be 43/(-9) - 20/90. Put 0, d, k in decreasing order.
0, d, k
Let m(h) = h - 1. Let u be m(5). Let x(w) = -w**2 - 15*w - 27. Let b be x(-13). Suppose 0*a + a = 0. Put b, a, u in descending order.
u, a, b
Suppose 2*w + 2 = 0, -5*r + 2*w + 3*w - 20 = 0. Let m be 35/(-14)*8/r. Suppose 4*l - 9 = -29. Put l, m, -1 in decreasing order.
m, -1, l
Let f(m) = -4*m - 12. Let x be f(-4). Put 3, 3/5, x, -7 in decreasing order.
x, 3, 3/5, -7
Let r = 2 - -4. Let y = -11 - -3. Let d = r + y. Put -2/17, d, 0.1 in descending order.
0.1, -2/17, d
Let q = 1 + -5. Let m(a) = -a - 5. Let c be m(-7). Let p = -26 - -24. Sort c, p, q in increasing order.
q, p, c
Let t be (-46)/8 + (-1)/4. Let s be t/(-9) + 17/(-3). Sort s, 5, 4 in increasing order.
s, 4, 5
Let a(u) = u**3 - 2*u**2 - 4. Let k be a(3). Sort k, -5, -4 in descending order.
k, -4, -5
Let m = -51 + 257/5. Sort -0.2, -11, -1, m.
-11, -1, -0.2, m
Let w(v) = -v**2 + 5. Let t be w(0). Let p be 3 - (6/(-3) - 1). Put t, p, 3 in increasing order.
3, t, p
Suppose -30 + 31 = -v. Suppose 0*s + 4*t - 4 = 2*s, 2*s + 5*t - 5 = 0. Sort v, s, 4 in ascending order.
v, s, 4
Let j(g) = -g**3 + 4*g**2 + g. Let u be 2 - 7/((-7)/(-6)). Let n = u - -8. Let y be j(n). Sort -5, y, -2/9 in decreasing order.
y, -2/9, -5
Suppose -2 + 4 = 3*l - 5*r, 2*l - 5*r - 3 = 0. Put l, 5, -2 in decreasing order.
5, l, -2
Let v = 26 + -38. Let g = 8 + v. Put 5, g, 1 in increasing order.
g, 1, 5
Let k(h) = -h + 10. Let d be k(9). Put 2, d, -4 in decreasing order.
2, d, -4
Let a be (1/(-2))/(1/8). Let o(p) = 2*p**2 + 3*p + 1. Let w be o(-2). Let h = 2 + w. Sort h, a, 1 in descending order.
h, 1, a
Let w = -3262/55 - 47942/165. Let p = w - -350. Sort p, 2/3, -1 in decreasing order.
2/3, p, -1
Let q = -2.42 + -0.65. Let f = 0.07 + q. Sort -1/3, 1/9, f in ascending order.
f, -1/3, 1/9
Let z = 0.3 + -1.7. Let p = -0.9 - z. Put -0.2, p, 1 in ascending order.
-0.2, p, 1
Suppose 2*c + 438 = d + 3*d, -5*d - 4*c = -528. Let t = 1406/13 - d. Put t, 0.4, -0.06 in decreasing order.
0.4, t, -0.06
Let q = -0.44 - -0.4. Let v = q - -0.44. Let x = 1.6 + -0.6. Put x, 5, v in decreasing order.
5, x, v
Suppose -5*o - 15 = -g, 4*g + 11 = -5*o - 4. Suppose 2*q - 4 = q. Suppose q*f = 5*i - 33, 5*f = -i + 3 - 8. Sort 2, f, g in descending order.
2, g, f
Let d = -27 + 23. Let r = -4.2 + -0.8. Let k = r - d. Put 4, -0.2, k in ascending order.
k, -0.2, 4
Suppose -6 - 2 = -i. Let z = -13 + i. Let t be 0 + (-1)/(0 + 1). Put z, -4, t in increasing order.
z, -4, t
Let j be (3/(-9))/(6/54). Sort -1, -10, j, 1 in descending order.
1, -1, j, -10
Let f = 261 + -260. Let d = 6 + 0. Sort d, 0.5, f.
0.5, f, d
Let t = -13528/11 - -100493/77. Let l = 145 - 70. Let d = l - t. Sort d, 1/2, -0.4.
-0.4, d, 1/2
Suppose -4*t = -3*t - 14. Let b = t + -7. Suppose 2*y = -3 - b. Sort -3, -1, y in increasing order.
y, -3, -1
Let v = 72 + -74. Put 7, v, -4 in decreasing order.
7, v, -4
Let h = 0 + -0.2. Let u = -43 - -30. Let t = 8 + u. Sort h, t, -4.
t, -4, h
Let k be ((-4)/(-6))/1*3/(-5). Sort -3, 1/5, -0.3, k in increasing order.
-3, k, -0.3, 1/5
Suppose j + 1 = 3. Let h be (1/2)/(j/(-4)). Suppose 0*t = -4*v + 2*t - 22, -v - 10 = -5*t. Sort -2, h, v in descending order.
h, -2, v
Let k = -74 + 69. Put 4, 5, k, -3 in increasing order.
k, -3, 4, 5
Let g(c) = c**3 - 7*c**2 - c - 3. Let y be g(8). Let k = y + -586/11. Sort -1/2, k, -2 in descending order.
k, -1/2, -2
Let w = 140 - 978/7. Sort 0.3, -1, w in increasing order.
-1, w, 0.3
Let o = -134 - -133. Sort o, 5, 0, 4.
o, 0, 4, 5
Let i = 15 - 14.5. Sort -1/6, 4/3, i in increasing order.
-1/6, i, 4/3
Suppose -u + 0 = j - 2, 3*j = u - 2. Sort -3, -44, j, 1 in decreasing order.
1, j, -3, -44
Let q = 16 - 19. Let i be (-1 + (-18)/(-10))*5. Sort q, i, 0.2 in ascending order.
q, 0.2, i
Let n = -397/2327 - -3/179. Let k = 0.5 + -1. Let p(v) = v**3 + 7*v**2 + 8*v + 9. Let w be p(-6). Sort w, k, n in decreasing order.
n, k, w
Let c = 1 - -1. Let z = -21 + 18. Let l = c - z. Put 4, l, -0.1 in increasing order.
-0.1, 4, l
Suppose -d - 4*d + 20 = 0. Suppose -r - d*m = -3 + 18, -5*r - 24 = 3*m. Put 2, r, -5 in ascending order.
-5, r, 2
Let p be 4/(-10) + (-8)/5. Let m be (0 - 0)/(p + 4). Suppose -16*i + 5*i - 55 = 0. Sort m, i, 4 in descending order.
4, m, i
Suppose 0*g = 3*g - 45. Suppose 0*a = 3*a - g. Sort 2, 0, a.
0, 2, a
Let q = -115/4 - -797/28. Let k be ((-27)/(-72))/((-6)/4). Sort q, k, 0.07 in ascending order.
q, k, 0.07
Suppose -f + 5*u + 2 = 0, 3*f = -0*f - 3*u + 6. Put 3, -1, f in decreasing order.
3, f, -1
Let r = 3 - 4. Let t = -5.6 - -0.6. Let f = -5.1 - t. Put r, f, -3 in increasing order.
-3, r, f
Let m be (-4)/30*(-10)/3. Suppose 5*j = -0*j - 20. Let q be (-1)/4 + (-3)/(-8). Put j, m, q in descending order.
m, q, j
Suppose -4*r = -5*w + 15, -5*r + r + 48 = 4*w. Suppose 5*o = w - 2. Let b(q) = -q**3 - 3*q**2 + 6*q + 5. Let s be b(-4). Sort s, o, 5 in ascending order.
s, o, 5
Let p = 42 + -41.9. Sort -1/4, p, -1.
-1, -1/4, p
Suppose 5*v + 7 = -18. Let b = 5 + v. Suppose 8 = 2*k, 5*o + 19 + b = k. Sort -0.2, o, -0.5.
o, -0.5, -0.2
Suppose -41*k + 44*k = 0. Put 2/7, k, -2 in descending order.
2/7, k, -2
Let z = -81 + 565/7. Let l = 3.7 + 1.3. Sort l, z, -3 in descending order.
l, z, -3
Let r = 0.4 + 0.1. Let q = -2.1 - -2.01. Let c = 6.09 + q. Put r, -0.1, c in decreasing order.
c, r, -0.1
Let p(g) = -2*g**2 + 7*g + 9. Let s be p(11). Let j be 4/(-14) - s/(-42). Let h = 0.1 + -0.3. Sort 0, j, h in ascending order.
j, h, 0
Let c be (-36)/(-4)*5/15. Sort -1/3, c, 4 in descending order.
4, c, -1/3
Let s = -6.1 + 10.2. Let w = -4 + s. Let n = w + -0.6. Put 1, -3, n in decreasing order.
1, n, -3
Let c = -2 + 8. Let l be (-9)/c*2/(-1). Suppose -4*a - 2*j = -5*a, -a + 5*j - l = 0. Put 5, 3, a in increasing order.
a, 3, 5
Let p = 80 - 83. Put -5, p, 0.03, 0.3 in descending order.
0.3, 0.03, p, -5
Let c = 0.15 + -1.15. Sort 0, -1/6, c, 0.5 in decreasing order.
0.5, 0, -1/6, c
Let m = -5 - -4.8. Let w = -0.11 + 0.2. Let l = 0.01 + w. Sort m, l, -0.4 in decreasing order.
l, m, -0.4
Let w = 7 - 9. Sort 2, w, 0.07 in decreasing order.
2, 0.07, w
Let h be 22/6 + (-4)/(-12). Suppose 10*s + 4*k = 5*s + 20, -k + 16 = h*s. Sort -0.5, -3, s in decreasing order.
s, -0.5, -3
Let k be ((3/(-2))/(-3))/(-1). Sort 2, 3, k.
k, 2, 3
Let a = -0.1 + -0.2. Let c = a - 0.2. Let m = -0.019 - -0.019. Put m, 0.1, c in descending order.
0.1, m, c
Let q = -398 + 5972/15. Put q, 0.3, 1 in decreasing order.
1, 0.3, q
Suppose 0 = 2*s - 3*x - 7, 2*s + 8 = -4*x + 22. Let f be s*6*(-6)/(-45). Put 0.1, 1, f in ascending order.
0.1, 1, f
Let x be (-1)/(((-1)/(-3))/1). Let r = 11 + x. Let j = r - 13. Put 5, -1, j in decreasing order.
5, -1, j
Let r = 3 + -2. Let h = 1 + r. Let i be (-8)/(-32) + (-7)/(-20). Put -2, h, i in increasing order.
-2, i, h
Let c(b) = b**2 + 2*b. Let o be 2*(0 + 0 - 1). Let l be c(o). Sort 5, -4, l in descending order.
5, l, -4
Let m be 0/(-1 - (1 - 1)). Suppose -5*u + 4*g + 4 = m, -4*u + g = -3*g. Sort -3, u, -5 in descending order.
u, -3, -5
Let n = -2.2 + 1.8. Put n, 2/13, 2/15 in increasing order.
n, 2/15, 2/13
Let p = -7 - -5. Let j = p + -1. Sort -1, 0, j in decreasing order.
0, -1, j
Let g(c) = c**3 + 3*c**2 - 6*c - 5. Let z be g(-4). Let v be -6*2/(-12)*-4. Put z, 5, v in descending order.
5, z, v
Let m = -0.01 - -0.41. Sort 3, 7, m in descending order.
7, 3, m
Let b = -4.91 + 0.61. Let y = -0.16 - 3.84. Let x = b - y. Sort -5, -0.5, x.
-5, -0.5, x
Let w(b) = b + 7. Let d be w(-7). Let u be 2/10*(-1)/1. Sort u, d, 1 in ascending order.
u, d, 1
Let t = -6 - -8. Let m = -1 + t. Suppose 3*o = c + m, -4*o + 3*o + 5*c = -5. Sort -1, o, -2 in ascending order.
-2, -1, o
Let i = 29 + -30.65. Let n = 1.8 + i. Put n, 0.4, -2/9 in descending order.
0.4, n, -2/9
Let w be 1/((-11)/(-5) + -2). Let v(j) = -j**3 + 10*j**2 - 10*j + 10. Let h be v(9). Put -5, w, h in decreasing order.
w, h, -5
Let y be 2*(-6)/(-8)*2. Supp