i, -1, -6
Let l = 4/35 + -32/35. Sort 0, 5, l, -3.
-3, l, 0, 5
Let t = 101 - 103. Sort t, 0.24, 3, 4 in increasing order.
t, 0.24, 3, 4
Let t = -0.14 + -0.06. Let l = -0.08 + 0.28. Put l, -1, t in decreasing order.
l, t, -1
Let h = 342/599 + -115403/427686. Let g = -7/34 + h. Sort -1, g, 5/3.
-1, g, 5/3
Let k = -2 + 0. Let b be 20*k/4*3. Let f = -121/4 - b. Put f, -3, 0.3 in ascending order.
-3, f, 0.3
Let z be 0 - (3/3 + -5). Suppose -z*h + 8 = -0. Let n = -15 - -11. Put h, 0, n in decreasing order.
h, 0, n
Let r = 6 - 7. Sort 0.3, 2, r in decreasing order.
2, 0.3, r
Let q = 11027 + -54888/5. Let k = q - 49. Put k, 1, 1/5 in decreasing order.
1, k, 1/5
Let f = 2/5 + 0. Sort 1/7, f, 0.04 in ascending order.
0.04, 1/7, f
Let k(b) = -b**2 - 7*b - 10. Let w be k(-4). Sort 1, w, -4 in increasing order.
-4, 1, w
Let j = 2 + -6. Let d = -2.01 - -0.01. Let p = 1.8 + d. Put p, 0.7, j in decreasing order.
0.7, p, j
Suppose 0 = g + 3 + 1. Sort -1, -3, g in ascending order.
g, -3, -1
Suppose -4*q + 16 = -4*i, 2*q - 8 = -3*i + i. Suppose c - 1 = 4*u, -2*c = u - i - 11. Sort c, -3, 1 in decreasing order.
c, 1, -3
Let h be (-6)/15*-5 + 7. Let n(d) = -d**2 + 10*d - 10. Let g be n(h). Put 5, g, -5 in ascending order.
-5, g, 5
Let a = -3.2 - -3.5. Let k = -1.2 + 0.2. Put a, k, 5 in ascending order.
k, a, 5
Let w(n) = -n - 12. Let h be w(-10). Suppose r - 3*z - 13 = 0, 4*z - 3*z - 5 = -2*r. Sort 2, h, r in decreasing order.
r, 2, h
Let h(t) = -4*t + 10*t - 7*t - t**3. Let x be h(0). Sort -4, -2, x in decreasing order.
x, -2, -4
Let i = 1 + -10. Let t = -10 - i. Sort -1/2, 1/12, t.
t, -1/2, 1/12
Let x(t) = t**3 - 3*t**2 - 6*t + 5. Let d be x(4). Let h = -0.8 + 0.3. Let l be 1/(-5) + (-6)/(-180). Put l, d, h in ascending order.
d, h, l
Let m = 14 + -17. Put m, -2, 3 in ascending order.
m, -2, 3
Let v be -4 - (-2 + 4)/(-1). Let x be (2 - 0) + 1*v. Let w(o) = -2*o - 54. Let y be w(-26). Sort y, x, 3.
y, x, 3
Let u = 4 + -1. Let a = u + -7. Let p(o) = -o**2 + 7*o - 6. Let c be p(6). Put c, -5, a in decreasing order.
c, a, -5
Let i = -42 + 41.9. Sort -1/5, i, -1/6.
-1/5, -1/6, i
Let a = -11 + 11. Let q(o) = 3*o**3 - o**2 + o + 1. Let f be q(-1). Put a, f, 2 in ascending order.
f, a, 2
Let k = 27 - 23. Sort k, -2, 3/5 in decreasing order.
k, 3/5, -2
Let k(t) = -4*t - 5. Let p be k(-2). Sort p, -4, -1.
-4, -1, p
Let y = -0.06 - -1.56. Let l = y - 3.5. Sort 0.2, 1/3, l in increasing order.
l, 0.2, 1/3
Let j be -4*(75/(-12))/(-5). Let b = -4 + 8. Suppose -d = -b*d + 9. Sort d, 1, j in descending order.
d, 1, j
Suppose -24 = -3*d - a + 4*a, 0 = 2*d - 4*a - 24. Let x be 1/(5/2 + -2). Let w = x - 6. Sort w, -5, d.
-5, w, d
Let k(o) = o**3 + 16*o**2 - o - 13. Let s be k(-16). Sort 5, -25, s in descending order.
5, s, -25
Let n be (-56)/16 - (-1)/2. Sort -5, n, -0.3 in descending order.
-0.3, n, -5
Let v = -7 + 3. Sort 1/2, -5.4, v in descending order.
1/2, v, -5.4
Let j = -0.09 - -0.19. Let m = -19/4 - -4. Put j, 1/3, m in ascending order.
m, j, 1/3
Let l = 31 + -45. Sort l, 0, 0.2 in decreasing order.
0.2, 0, l
Let y = -586.800301 - 0.129699. Let d = y - -584. Let u = d + -0.07. Sort -0.4, u, 1 in descending order.
1, -0.4, u
Let p = 0 + 0. Suppose -5*h = -5*z, -2*h - 3*z = -h - 4. Put -1, h, p in increasing order.
-1, p, h
Let p = -157.1 + 157. Sort 4, p, 3, -0.4 in decreasing order.
4, 3, p, -0.4
Let w = 10 + -13. Let n = w - -2.9. Sort n, -0.4, 2 in ascending order.
-0.4, n, 2
Let l be (-3)/7 + (-3 - -3). Let h be (-2)/5 - (-1356)/(-210). Let x = -213/28 - h. Sort 0, l, x.
x, l, 0
Let u be (-1 - 0)/((-2)/(-3 - 7)). Put 4, u, 5, 2 in increasing order.
u, 2, 4, 5
Suppose -7*i = -2*i - 10. Sort -2, i, 8, -5 in increasing order.
-5, -2, i, 8
Suppose 0 = -2*j - 2. Let a be 1 - (0 + 1)/1. Suppose a*f = 3*f. Sort f, j, 4 in descending order.
4, f, j
Let q = -16 + 15. Sort q, 3, 4, -2 in descending order.
4, 3, q, -2
Let a(l) = -l**3 + 15*l**2 - 14*l + 3. Let n be a(14). Let d be (4/6)/(4/30). Suppose -7 = -4*v - 3. Sort v, d, n in increasing order.
v, n, d
Suppose 0 = -l + 2, 0 = 2*q - 0*l - 2*l - 6. Sort 0, -0.2, q in descending order.
q, 0, -0.2
Let x = 10 - 9.7. Let t = -11 - -8. Let q = t - -6. Sort q, -0.5, x.
-0.5, x, q
Let d = -8 - -9. Let w(h) = -h**2 + 4*h + 2. Let i be w(4). Sort d, 0, i in descending order.
i, d, 0
Let v = 62/285 + -1/57. Put v, 2, -0.4 in descending order.
2, v, -0.4
Let s be -1*(126 - 3/1). Let d be 0 - 3 - (s - 0). Let x be 6/(-8) - (-102)/d. Sort -5, 0.3, x in descending order.
0.3, x, -5
Suppose 5*q - 14 = 3*u - 6, -5*q = 5*u. Put -5, -3, q in increasing order.
-5, -3, q
Let a = 0 + 2. Put 4, -0.1, a in increasing order.
-0.1, a, 4
Suppose 0 = 5*i - 2*i + 3. Sort i, 2/7, 2, -3 in ascending order.
-3, i, 2/7, 2
Suppose -p = 3*n + 33, 4*p + 0*n + 62 = 2*n. Let g be (-8)/p*1/(-4). Let z = -206 - -1026/5. Sort z, -0.1, g in increasing order.
z, g, -0.1
Let y be (-6)/(-4) - (-27)/(-12). Let v = -1/4 - y. Let q = -3.5 + -0.5. Put 2, v, q in increasing order.
q, v, 2
Let f be (-2)/((-5)/(-2) - 3). Let v = f - -1. Let s = -14 - -16. Sort s, v, -4.
-4, s, v
Suppose 27 - 33 = -3*j. Put j, 8, 3, 0 in decreasing order.
8, 3, j, 0
Let z = -59 + 56. Let b(f) = 2*f**2 + 3*f + 2. Let t be b(-2). Sort 2, z, t.
z, 2, t
Let w = 0.83 - -0.07. Let m = 0.9 - w. Let g = -0.1 + -0.4. Sort g, m, -2 in decreasing order.
m, g, -2
Let c(j) = -j**3 + 7*j**2 + j - 5. Let k be c(7). Suppose -13 = k*l + g - 2*g, -2*l - 5*g = -5. Suppose 0 = 3*q + 1 + 5. Sort l, q, 4 in decreasing order.
4, q, l
Let b = -3.45 - 0.55. Put b, 2, 0.2, 4/7 in increasing order.
b, 0.2, 4/7, 2
Let v be ((-6)/(-10))/(1/5). Suppose -4*f = 4 - 0, 0 = 4*d - 4*f - 16. Suppose -3*w = b + 16, 2*w - 8 = d*b + v*w. Sort -3, 1, b in descending order.
1, b, -3
Let a = 11 - 9.9. Let x = -1.3 + a. Let y be 0 - (-2)/(-4)*4. Sort x, -2/3, y in decreasing order.
x, -2/3, y
Let j = -0.06 - -0.46. Let o = 0.19 + -0.19. Put 1/7, j, o in descending order.
j, 1/7, o
Suppose 0 = -4*i - 2*w - 6, 2*i + 4*w = -0*i + 6. Sort 9, 4, i.
i, 4, 9
Let p = 21.3 + -21. Let w = -122009 - -1339725/11. Let y = w + 216. Sort -1/6, p, y in decreasing order.
p, y, -1/6
Let i = -117 + 120. Let l be 2 + (18/(-8))/1. Put i, -1/11, l in increasing order.
l, -1/11, i
Let i be 3/(18/4)*-6. Let r = 385 + -382. Sort r, i, 1 in decreasing order.
r, 1, i
Let g be (-6)/(-12) + 6/(-4). Let k = -13/3 + 3. Sort 5, k, g in increasing order.
k, g, 5
Let h be 9*-1*1/(-3). Let b = 1 - -7. Let r be (-1)/(-1 + 6/b). Put r, h, 5 in descending order.
5, r, h
Suppose -15 - 5 = -4*b, 5*b = -4*o + 45. Sort 4, 0, o in descending order.
o, 4, 0
Let j = 0.68 + -0.7. Let q = j - -0.52. Sort q, -4, 2/5 in decreasing order.
q, 2/5, -4
Let l = 9.5 + -13.5. Sort 4, 1/3, l in ascending order.
l, 1/3, 4
Let k = -7 - -11. Suppose -y - k*f = y - 22, 4*f = 3*y + 17. Suppose -4 = -u + y. Put 3, -2, u in decreasing order.
u, 3, -2
Let p(o) = o**2 + 5*o + 5. Let u be p(-5). Suppose u*j = 2*j + 6. Sort j, 4, -5 in descending order.
4, j, -5
Suppose -8*b - 2 + 2 = 0. Sort -1, 1, b in ascending order.
-1, b, 1
Let y = -7.1 + 0.1. Let d = y - -5. Let c = 2.05 + d. Sort c, -5, 0.3 in descending order.
0.3, c, -5
Suppose 4 = a + 5*r, 0 = -2*a + 4*r - 7 + 1. Sort 1, a, 5 in decreasing order.
5, 1, a
Suppose 20 = h + 3*h. Suppose 0 = 4*f + 17 - h. Let b be 1*3*f/(-3). Put -1, b, -5 in ascending order.
-5, -1, b
Let h be -7 + 0 + (-1)/(-1). Put -3, -1, h in ascending order.
h, -3, -1
Let d be (-1 + 0)/(3/(-9)). Let b(a) = 4*a**2 + 60*a - 3. Let i be b(-15). Sort d, -5, i in ascending order.
-5, i, d
Suppose 3*q + 0*o - 2*o = 21, -3*q = 5*o. Sort q, -1, 4 in ascending order.
-1, 4, q
Let c = 0.11 + 0.29. Put 3/2, 2, c in descending order.
2, 3/2, c
Let m = 0 - 0.1. Let p = -173 + 175. Sort 1/3, m, p in increasing order.
m, 1/3, p
Let l = 477/4 + -119. Suppose -2*f + f - 4*n + 48 = 0, 0 = 3*f - 5*n - 195. Let r be (-39)/f - 4/(-10). Sort 0, l, r in decreasing order.
l, 0, r
Suppose 4*v - 16 = -4*x, -2*v + v + 1 = 0. Sort 4, 0, x.
0, x, 4
Suppose -8*r = -3*r + 15. Sort -2, -4, r in decreasing order.
-2, r, -4
Let l = -3.9 + -0.1. Let k = -4.1 - l. Sort -3, -0.3, k in descending order.
k, -0.3, -3
Suppose -5*m + 11 = 4*i - 2*i, 2*m - 6 = 0. Sort 3, -5, i.
-5, i, 3
Suppose -2*a = -7 - 1. 