 descending order.
0.4, 0.3, b, -1
Let j = 200 + -205. Put 7, 2, j in increasing order.
j, 2, 7
Let y = 7.03 + -7. Let i = 2880 - 2879.6. Sort y, -2, -0.5, i in descending order.
i, y, -0.5, -2
Let q = 111 - 163. Let w = -157/3 - q. Sort -0.3, w, 0.2, -1.
-1, w, -0.3, 0.2
Suppose 2 = 2*m - 4*m. Let d be (m/3)/((-52)/44). Let q = -2/39 - d. Put 1, q, 7 in descending order.
7, 1, q
Let x = -1353 - -1134. Sort x, 0, -3 in descending order.
0, -3, x
Let q = -0.1065 - -1.1065. Sort 30, q, -0.2 in descending order.
30, q, -0.2
Let n be -5 + (-465)/(-95) + 3 + -3. Put 25, n, -0.4, 2/7 in decreasing order.
25, 2/7, n, -0.4
Let c = 59.5 + -59. Sort 1, 0.2, c, -1 in descending order.
1, c, 0.2, -1
Suppose v - 2 = -0*v, 3*i + v = 53. Let x = 692 - 689. Sort 1, i, x in decreasing order.
i, x, 1
Let h = -5.8 - -6.3. Put -1/7, 0, h, 2/3 in decreasing order.
2/3, h, 0, -1/7
Let c be 3/2*(-20)/(-10). Suppose d = -c*d - 8. Sort 3, 1, d in descending order.
3, 1, d
Suppose q = 10 - 0. Suppose q = -4*h - h. Let i = -8 + 9. Sort -4, i, h in decreasing order.
i, h, -4
Suppose 0 = -5*u + 2 + 23. Suppose 0 = n - u*n - 12. Let z(b) = b + 3. Let y be z(-7). Sort n, y, 1 in increasing order.
y, n, 1
Let c = -47 - -49. Suppose -c*n - 5*f + 1 = -0*n, -3*n + f - 7 = 0. Sort -1, 0, n, -3.
-3, n, -1, 0
Let x be -5 + 1*1/1. Let y be ((-80)/(-15) + -6)/((-7)/21). Sort y, 3, x.
x, y, 3
Suppose 2*p = -3*p. Let t(w) = -w**3 - 8*w**2. Let l be t(-8). Suppose -2*n - 19 = r + 3*n, 4*r - 4*n - 20 = l. Put p, -1, r in decreasing order.
r, p, -1
Let j = -0.3 + 0.1. Let u = j - 0. Let q be 1/(9/(-216)*6). Put u, q, -0.5 in increasing order.
q, -0.5, u
Let i = -5.88 + 6.18. Let o = -5.7 - -0.7. Let q = o - -5.4. Put i, -1/6, q in descending order.
q, i, -1/6
Let k = 701 - 635. Sort 2, -2, k.
-2, 2, k
Let n be 4 + -4 + 8 + -3. Let f = -65 + 586/9. Let j = -4.6 + 5. Sort f, j, n in increasing order.
f, j, n
Suppose 4*d + 24 = -0*d - m, m = 2*d + 12. Let q be -2*((-8)/d - (-4)/6). Put 0.5, q, 1, 0.3 in decreasing order.
1, 0.5, 0.3, q
Suppose 2*z - 4 = -3*h, -5*z + 3*h = -10*z - 8. Suppose -2*t = -1 - 7. Put z, 2, 0, t in decreasing order.
t, 2, 0, z
Let i be (-12)/(-5) + 6/10 - (-85)/(-20). Let m = 0.2 - 0.4. Sort i, -5, -0.7, m in ascending order.
-5, i, -0.7, m
Let m = -21.93 + -0.07. Let z = m + 21. Sort z, 0.09, 2/7 in increasing order.
z, 0.09, 2/7
Let b = 0.05 - 0.15. Let m = 2 - 3. Let p = -0.91 - m. Sort p, 3, b in descending order.
3, p, b
Let t = -467 + 439. Sort t, -1, 0 in ascending order.
t, -1, 0
Let k be (3/5 + -1)/((-9)/(-45)). Let g(w) = w**2 - w. Let b(l) = -4*l**2 + 2*l + 1. Let f(a) = b(a) + 3*g(a). Let q be f(k). Put 0, q, 5 in descending order.
5, 0, q
Let t be ((-2)/(-28))/(4/16). Let s = 0.056 + 0.024. Let f = s - -0.52. Put -5, f, t in increasing order.
-5, t, f
Let x be -1 - 5*(-3 + -2). Suppose -2*v = -4*v + x. Sort 4, v, -2 in descending order.
v, 4, -2
Let i = 0.041 - 0.341. Sort 1/2, 0, i in ascending order.
i, 0, 1/2
Let o(u) = 3*u**3 + 2*u**2 - 3*u + 2. Let q be (-1)/(-4)*((-7)/(-1) + -3). Let v be o(q). Sort 3, v, -26 in descending order.
v, 3, -26
Let p = -752 + 752.4. Put 4, -5/4, -2/11, p in increasing order.
-5/4, -2/11, p, 4
Let k(m) = 11*m - 165. Let d be k(15). Sort -1, d, 3, 11 in descending order.
11, 3, d, -1
Let c = 146 - 146.1. Sort 2/7, -1/8, c, 0.4 in decreasing order.
0.4, 2/7, c, -1/8
Suppose 0 = 12*m - 7*m - 15. Let o(c) = c + 2. Let b be o(m). Suppose 0 = 4*l - 0*l + v + 31, 0 = -5*l - 4*v - 25. Put b, l, -1 in descending order.
b, -1, l
Let m be (-4)/(-3) + 4/6. Let t = -41 - -22. Let y = t - -20. Sort m, -2, y in ascending order.
-2, y, m
Let s = 16.4 + 2.6. Let n = 0.36 - 16.36. Let l = n + s. Put 2/5, -2/7, l in decreasing order.
l, 2/5, -2/7
Let d = 2 - 3. Let b(q) = q**2 - 27*q - 1000. Let t be b(-21). Sort d, 0, t, 4 in ascending order.
d, 0, 4, t
Let s = 429 - 439. Sort 5, -4, s in increasing order.
s, -4, 5
Let q = 347.6 - 348. Sort -2/3, 2, q, 3 in ascending order.
-2/3, q, 2, 3
Let c = 2352 + -11763/5. Sort 130, 0, c in descending order.
130, 0, c
Let u = -1048 - -1043. Put -3, u, 3 in descending order.
3, -3, u
Let n = 0.34 + -0.04. Suppose 0 = -4*j, 3*b - 59 - 46 = 3*j. Suppose -9*m = -2*m - b. Sort n, m, 2 in descending order.
m, 2, n
Let r be 8/44 + 216/22. Let y be 9/r - (-1)/(-2). Put y, -2, -5 in ascending order.
-5, -2, y
Let d = 35 + -28. Suppose -6 = -d*x + 10*x. Sort 1, x, -1, 2 in descending order.
2, 1, -1, x
Let m = 153 - 146. Sort 6, m, 4, -3 in ascending order.
-3, 4, 6, m
Let k = 214 + -217.025. Let q = -0.025 - k. Suppose 7 = r + 2. Put q, 1, r in decreasing order.
r, q, 1
Suppose 4*u = -3*x - 22 - 23, 0 = -3*u - 2*x - 33. Let t = -935.7 + 936. Put u, t, 3/5, -4/9 in ascending order.
u, -4/9, t, 3/5
Let f = 1.5 - 1. Let l = 66 - 40. Let t be (-2)/(-2) - 30/l. Put f, t, -2/5 in increasing order.
-2/5, t, f
Suppose 2*m - 5*x = 5 - 8, -3*m - 2*x = -5. Put -2, m, -4, 13 in increasing order.
-4, -2, m, 13
Suppose 0 = -4*g - 5 + 13, -2*y = 5*g - 8. Sort y, -4, 5, -1/2 in decreasing order.
5, -1/2, y, -4
Suppose 0*o + 4*s - 24 = -o, -3*o + 30 = -2*s. Let z be (-2)/(-5) + o/(-5). Let p = 11.4 + -11. Sort -2/5, z, p.
z, -2/5, p
Suppose 0 = -14*d - 10*d + 144. Put -2, -4, 3, d in descending order.
d, 3, -2, -4
Suppose 3*q = 5 + 7. Let n be (3/(-15))/(q - 3). Put -2/13, -0.1, n in decreasing order.
-0.1, -2/13, n
Let a be ((-10)/6)/(1/6). Let c be (-22)/a + (-3 - (-3 + 2)). Let f = 1 - 1. Sort f, -4, c in descending order.
c, f, -4
Suppose -2*x = -4*y - 50, 30*y - 42 = 33*y + 3*x. Put 3, 2, 6, y in decreasing order.
6, 3, 2, y
Let j = 53 - 28. Let q = -20 + j. Let w = 5 - 5.2. Sort q, 1/7, w in decreasing order.
q, 1/7, w
Let m = 40 + -28. Suppose -3*t = t + m. Sort 0.6, t, -2/9 in decreasing order.
0.6, -2/9, t
Let a be (-6 - (-2 + 2)) + 4. Let g be 1 + a/4 + (-12)/(-8). Suppose 5*u - 10 = -2*j, 3*u = 4*j - 11 - 9. Put g, -2, j in decreasing order.
j, g, -2
Let k = 5 + -5.01. Let i = -0.05 - 3.95. Sort i, k, 3.
i, k, 3
Suppose -6*z - 46 = -4. Let j be z + -1 - (-4 - 0). Put -5, 3, j in increasing order.
-5, j, 3
Let s(x) = x + 9. Let l be s(-7). Let p(q) = 2*q - 3. Let g be p(l). Let i = -32 - -44. Put i, g, -4 in decreasing order.
i, g, -4
Let z = -1162 - -1165. Put 2/5, -5, 0.2, z in decreasing order.
z, 2/5, 0.2, -5
Let s = -4 - -9. Suppose 4*j - 4*x - 20 = -s*x, -4*j + 32 = -2*x. Let d(h) = 10*h**2 + 161*h + 21. Let c be d(-16). Put j, c, -4 in descending order.
j, c, -4
Suppose 0 = -4*j + c + 27, -2*j + 3*c = -2 - 19. Suppose -10*y = j*y - 16. Sort 6, y, 2 in increasing order.
y, 2, 6
Let u = 6.1 - 6. Let p = u - 14.1. Let d = p - -13. Sort d, 0.3, 2.
d, 0.3, 2
Let j = 12 + -13. Put j, -11, 1 in decreasing order.
1, j, -11
Let a be 28/16 + (-2)/(-8). Let l be (1/(4/16) - 2) + a. Put l, -3, -4, -27 in decreasing order.
l, -3, -4, -27
Let g = 118 - 116. Sort -1, -7/4, g in descending order.
g, -1, -7/4
Let g = -27.3 - 6.7. Let q = -34.14 - g. Put 2, 5, 1/7, q in decreasing order.
5, 2, 1/7, q
Let z = -0.0093 - -32.0093. Sort 11, z, -0.1 in descending order.
z, 11, -0.1
Let x = 35 + -38. Suppose 3*u + 3*c = 0, 4*u - u - c + 12 = 0. Let b(z) = z**3 + 4*z**2 + z - 1. Let s be b(u). Sort x, 4, s in descending order.
s, 4, x
Let o be 9/36 + (-3)/(-4). Suppose 11*b - 25 = 6*b. Suppose 0 = -2*l + 3*a - 3, 0*a + 16 = -b*l - a. Put l, o, 4 in ascending order.
l, o, 4
Let y be (-55)/20 - (-15)/(-12). Put y, 7, 4, -2 in increasing order.
y, -2, 4, 7
Let y = 15 + -15.5. Let c = -2.7 + 2. Sort -2, y, c.
-2, c, y
Let s = 657.7 - 720. Let r = s - -62. Put -4, 3, r in ascending order.
-4, r, 3
Let l = -564 - -564. Sort 84, l, 1, -1.
-1, l, 1, 84
Let k = 74 - 75. Let r(i) = 2*i**2 - 1. Let h be r(1). Let y = -1 + h. Sort y, k, 2/7 in ascending order.
k, y, 2/7
Let t be -4 - 24/(-6 - -3). Let g = 0.38 - 0.08. Sort t, -6, 1, g in decreasing order.
t, 1, g, -6
Let m(j) = -68*j**3 + 6*j**2 - 2*j - 18 + j**2 + 67*j**3 - j. Let o be m(6). Put o, -3, -46 in decreasing order.
o, -3, -46
Suppose 6 = -3*u, -3*u - 22 + 14 = 2*w. Sort 8, w, -5 in descending order.
8, w, -5
Let o = -3.0021 - -0.0021. Put o, -2, 3/5, 5 in ascending order.
o, -2, 3/5, 5
Let o = -2891/41499 + 1/1431. Put o, -12, 4/3 in descending order.
4/3, o, -12
Suppose -1 -