h, o, 4 in decreasing order.
h, 4, o
Suppose 12 = -4*x, -2*x + x = 5*n - 22. Suppose 5*v - s = -202, -v + 166 = -n*v + 3*s. Let b be (-5)/2*v/25. Sort -1, -5, b in decreasing order.
b, -1, -5
Suppose 158*p - 164*p = -48. Sort p, -4, -3.
-4, -3, p
Let d be (-12)/5 - 4/(-10). Suppose 12*a + 72 = 30*a. Sort d, a, 5 in increasing order.
d, a, 5
Let i(b) = 8*b - 51. Let h be i(6). Let d be 2/h*(-5)/10. Sort 2/7, -0.2, d in descending order.
d, 2/7, -0.2
Let m = 50 + -58. Let p = -8 - m. Put 4, 3, p, 5 in descending order.
5, 4, 3, p
Suppose -39*v - 68 = -73*v. Put -31, 4, v in ascending order.
-31, v, 4
Let a(k) = -k**2 - k - 1. Let t be a(-1). Let d(c) = c**2 + 12*c + 9. Let i be d(-11). Let b be (16/(-264))/(i/3). Put b, -4/3, t in decreasing order.
b, t, -4/3
Let c = -374 - -377. Put -7, c, 5 in descending order.
5, c, -7
Let o be (-170)/(-816)*-4*1. Sort 5, -0.3, -5, o in increasing order.
-5, o, -0.3, 5
Let r = -685.6 + 686. Put 1/3, r, -0.101 in descending order.
r, 1/3, -0.101
Let m = 0.244 - 0.144. Sort m, -14, -4.
-14, -4, m
Let o = -408 + 406. Put 39, o, 0, -4 in descending order.
39, 0, o, -4
Let c = 579 - 580. Put -2, -7, c, -5 in ascending order.
-7, -5, -2, c
Let h(k) = k**2 + 11*k + 2. Let b be h(-11). Let t = 3 - 6. Sort t, b, -0.1 in descending order.
b, -0.1, t
Let x = 0.002 + -4.002. Let b = -4 - x. Sort b, 0.4, 0.3, -0.5.
-0.5, b, 0.3, 0.4
Suppose 5*t + 3*z = 4, z = 3*t - z - 10. Suppose -2*u = 2*l + 6, -4*l - 3*u - 2 = 12. Put l, -4, t in ascending order.
l, -4, t
Suppose 0 = 4*a + 2*m + 8, -3*a = -4*a + m - 5. Let h be (a/6)/(3/6). Let w(l) = l + 1. Let x be w(-1). Put x, 3, h in ascending order.
h, x, 3
Let m(u) = 8*u + 6. Let g be m(3). Suppose -2*w - 4*q = g, -3*w - 4*q + 25 = 70. Let b = w + 18. Put -9, -0.2, b in descending order.
b, -0.2, -9
Let h = -13 - -11. Suppose 13*m = m + 24. Sort m, -4, 5, h in descending order.
5, m, h, -4
Let h be 3*24/270*-5. Sort 1, h, -9 in increasing order.
-9, h, 1
Let g = 60 + -59.7. Let a = 49 - 52. Sort a, -0.5, 2/7, g.
a, -0.5, 2/7, g
Let w(i) = 17*i**2 - i. Let r be w(1). Suppose 276 = 23*d - 35*d. Let j = r + d. Sort j, -3, -5 in ascending order.
j, -5, -3
Let s be (0 + 5)*7*(-2)/35. Put s, 2, 5 in descending order.
5, 2, s
Suppose 2 = -6*l + 14. Let p be -3*1*(-2)/(-6). Suppose -3*b = -5*u + 17, 4 = 4*u - 3*b - 9. Put l, u, p in ascending order.
p, l, u
Let n be (1/(15/2586))/294. Let t = -2/147 - n. Let x be 360/1512 - (8/42)/(-2). Sort x, 0.1, t.
t, 0.1, x
Let h = -2 + 6. Let n be (2/3)/(6/(-936))*1. Let a = 99 + n. Put a, -1, h in descending order.
h, -1, a
Let s be (-4 - -7)*10/15 - -9. Sort 3, s, 1, 2 in increasing order.
1, 2, 3, s
Let p(k) = 5*k**2 + 7*k + 5. Let i be p(-2). Put -5, i, 24 in increasing order.
-5, i, 24
Let s = -4 - -7. Let b be s/6*(-6)/(-1). Let u = -0.85 - -0.35. Put -1, b, u in descending order.
b, u, -1
Suppose 25*b = 506 + 244. Put -2, -4, b, 0 in decreasing order.
b, 0, -2, -4
Let a(g) = -2*g**3 + 3*g**2 + 2*g. Let n be a(-2). Suppose -4*h + n = -10*h. Put -6, -1, h in increasing order.
-6, h, -1
Let b = -1037 - -1101.9. Let d = 65 - b. Put -0.5, d, -15 in descending order.
d, -0.5, -15
Let a = -144.7 - -145. Sort 0, 104, a in increasing order.
0, a, 104
Let c be ((-20)/6)/((-6)/9). Suppose 4*p - 1 = -3*u, 0 = 3*p - p + 5*u + 3. Let n be p/(-4) + (-6)/8. Put -4, c, n in ascending order.
-4, n, c
Let z be (-5)/(-24) + (-9)/(-936)*13. Put 1, -18, z in increasing order.
-18, z, 1
Suppose f - m + 0*m = 16, 3*m + 24 = f. Let i be (-3 - 1)/(3 + 39/(-15)). Let t = f + i. Sort 4, -1, t in increasing order.
-1, t, 4
Suppose 0*t + 12 = 2*t + 2*m, -4*t + 3*m = 4. Sort 1, -19, t in descending order.
t, 1, -19
Suppose -5*p + 4 = -21. Suppose 4*t = 9*t. Suppose -3*d - p - 10 = t. Sort 5, -1, d in descending order.
5, -1, d
Let f = 1 + 4. Let p = -16792/7 - -2408. Let i = p - 9. Sort 3, i, f.
i, 3, f
Let s = -19.3 - -99.3. Let m = -83 + s. Sort 6, 2/5, m in decreasing order.
6, 2/5, m
Suppose 0*y - y - 5*c = -12, -3*c = 4*y + 3. Let w(m) = 2*m**2 + 3*m. Let q be w(y). Put -2/9, 0.1, q in ascending order.
-2/9, 0.1, q
Suppose 5*v = 3*z - 21, -5*z + 3*z + v + 7 = 0. Put -2/23, 5, 4, z in descending order.
5, 4, z, -2/23
Let v = 11 + -16. Let b = 18 + -2. Let c be (-6)/b - 44/(-32). Sort c, v, 2/3.
v, 2/3, c
Suppose 108*t - 116*t = -165*t + 471. Let g = -1 - -6. Suppose 2*o - p = o - 3, 0 = 2*o + g*p - 22. Put o, 8, t in descending order.
8, t, o
Suppose -z - 7 = -2*o - 2, 4*z + 5 = 5*o. Suppose -z*l + 12 = 4*m, 0 = m - 6*m - 5*l + 15. Put m, 4, 8 in ascending order.
m, 4, 8
Let a = -0.077 - -0.177. Let g = 2.6 - 12.6. Let q = g - -1. Sort q, a, 2/21.
q, 2/21, a
Let w = 0.994 + -1. Let r = -5.994 + w. Let u = -5 + 8. Sort u, r, 2/13 in decreasing order.
u, 2/13, r
Let w = 4 - 2. Suppose 2*x + 7 = -r, -6*x + 2*x + 4*r = 20. Sort 0, x, w.
x, 0, w
Suppose -8*p + 222 = -138. Sort p, -2, -0.2 in decreasing order.
p, -0.2, -2
Suppose 0 = 24*g + 525 + 531. Put -5, g, 5 in decreasing order.
5, -5, g
Let d = -16.29 - 0.71. Let k = 21 + -2. Let a = d + k. Sort -1, a, -0.5.
-1, -0.5, a
Suppose g - 40 = 4*f - g, 4*f - 3*g + 42 = 0. Let x be ((-2)/3)/((-1)/f). Suppose t = 3, -2*d = t - 3*t + 4. Sort x, d, 3 in decreasing order.
3, d, x
Let g = 126 - 124.8. Put g, -1.1, 0.2, 0 in ascending order.
-1.1, 0, 0.2, g
Let v be 10/70*(95 - 4). Sort -4, -2, v in increasing order.
-4, -2, v
Let g = 1071 - 987. Put g, -2, 1 in descending order.
g, 1, -2
Let z = -12.79 + 15.3. Let n = z - 2.5. Sort -0.5, n, 1/5.
-0.5, n, 1/5
Let j be (-1)/(5 + (-2 - 2)). Suppose 2 = -3*y + 47. Suppose -5*k + y = 0, 2 = -5*m - k - 20. Put 4, m, j in decreasing order.
4, j, m
Let s = -14 + 19. Suppose -24 = -s*y - 3*y. Sort 5, -11, 2, y in increasing order.
-11, 2, y, 5
Let x be 14/(-4) + 2/(-4). Let c be 18 + (-2 + 5 - 3). Let d be (-6)/c + (-13)/(-12). Sort -2/13, x, d in descending order.
d, -2/13, x
Let i = -36.918 - 0.082. Let j = i - -32. Let d be (1/5)/((-4)/10). Put d, 0, j in ascending order.
j, d, 0
Let w be 6/15 + 348/5. Let k be 90/w + 1 + -2. Put k, 1/10, -3/5 in descending order.
k, 1/10, -3/5
Suppose -4*v - 5*b = -2, 3*v - 2*b = -5 - 5. Let a(y) = -y**3 + y**2 - 4*y + 6. Let t be a(2). Sort t, v, -5 in ascending order.
t, -5, v
Let j(c) = -c**3 - 3*c**2 - 3*c - 1. Let g be j(-2). Suppose -o - g = 3. Let p be (-2)/(-8) + (-42)/(-24). Sort o, 1, p in descending order.
p, 1, o
Let u be ((-6)/(-8))/((-6)/4). Let t = -8 - -7. Let i = 58 - 56. Sort u, t, i in increasing order.
t, u, i
Let s = -0.913 - 0.087. Sort s, -0.05, 2/9, 2/5 in descending order.
2/5, 2/9, -0.05, s
Let w = -4 + 11. Suppose 2*z = w*z + 25. Suppose -4*m + 5 - 16 = -c, -8 = 5*c + m. Sort c, z, 1 in decreasing order.
1, c, z
Let f = -601 + 605. Sort f, -4, -1, 1 in decreasing order.
f, 1, -1, -4
Let f be (5 - -1) + -1*1. Let a be (0*(-1)/3)/((-9)/(-3)). Sort 22, a, f in descending order.
22, f, a
Let x = 2672/7 + -382. Sort -2, x, 0.4, 11 in descending order.
11, 0.4, x, -2
Let d = -1022.6 + 1139. Let n = d + -118. Put 2/5, n, -2/9 in decreasing order.
2/5, -2/9, n
Let f = -2 + 2. Let d be (-2 + 4 - 3)*5. Suppose 0 = 2*v + 3*v - 2*x - 14, -5*v + 8 = x. Sort v, f, d in descending order.
v, f, d
Suppose 0 = -3*x - 5 + 2. Suppose 5*y - 4*p - 14 = 0, -8*y + 2*p + 16 = -4*y. Let m be 1/2 + y/4. Put m, x, 1 in ascending order.
x, 1, m
Let g = 418/2975 + -4/175. Let q = 4 - 6. Put q, -1.4, g in decreasing order.
g, -1.4, q
Let k = -10.81 - 17.19. Put -1/7, k, 0.4 in descending order.
0.4, -1/7, k
Let u be 2/4 + 1/2. Suppose -o = 2*p - 92, p - 3*p = -o + 80. Suppose -o*n + 89*n = 6. Put n, -3, u in ascending order.
-3, u, n
Let s = -10.4 - -10.5. Put 2/11, 0.4, s, -4 in decreasing order.
0.4, 2/11, s, -4
Let z be (2/(-4))/((-1)/4). Let n(b) = -2*b**3 + 13*b**2 + 53*b - 71. Let s be n(9). Put z, 5, s, 4 in descending order.
5, 4, z, s
Let r(d) = -2*d + 2. Let s be r(-1). Let p = 14 + -20. Put -4, p, s in decreasing order.
s, -4, p
Let i = 0.2162 - 0.0162. Put i, 4, -50/11, -2 in ascending order.
-50/11, -2, i, 4
Let f(h) = -2*h**2 - 4*h - 5. Let c be f(-3). Let q = c - -13. Let o = 0 - -5. Sort 7, q, o in increasing order.
q, o, 7
Let c = 199 + -203. Sort c, 4, 3, 2 in descending order.
4, 3, 2, c
Let i be (-84)/18 - 2/(-3). Let f = -19 + 1