n descending order.
4/7, d, 0, -0.4
Let x be 18/(-10)*((-68)/12 + 4). Sort 1, 25.1, x in descending order.
25.1, x, 1
Let v = -6595 + 6609. Sort -2, 11, -1, -5, v in increasing order.
-5, -2, -1, 11, v
Let n = 849 - 707.2. Let a = 172 - n. Let k = a - 30. Put -0.3, -0.1, k in ascending order.
-0.3, -0.1, k
Let q = -39 - -27. Let c = -1357.67 + 1357. Let r = 0.17 + c. Put 2, r, -1, q in increasing order.
q, -1, r, 2
Let z = -4781 + 4803. Sort -8, z, 0.5 in descending order.
z, 0.5, -8
Let i = -48.6 + -105.4. Let m = 157 + i. Let c = 26.2 - 24. Put -0.3, -0.2, c, m in ascending order.
-0.3, -0.2, c, m
Let j = 14377 + -14377. Put -2, -5, -1, j, -250 in descending order.
j, -1, -2, -5, -250
Let k be (34/(-8))/((-6)/(-24)) + -1 + -2. Suppose 5*f - 3*t = 8, -2*t = 3*f - 3*t - 4. Put f, k, -4 in ascending order.
k, -4, f
Suppose -297*f = -291*f - 12. Let a be 3/(-9)*24/32*52. Put a, f, -5 in ascending order.
a, -5, f
Let w = 43 - 167. Let b = -119 - w. Let p be -1 + (6/(-10) - -2). Sort -3, b, -0.03, p.
-3, -0.03, p, b
Let j be 10 + (-2 + 2 - 3). Suppose -j*p = -4*p - 3. Let a be ((-18)/(-54))/(0 + p). Sort -4, a, 0.1 in increasing order.
-4, 0.1, a
Suppose -15*i = -12*i - 6. Suppose -2*b + i*g = 0, -b + 20 = b + 2*g. Suppose -m - 7 = 2*x - 10, 0 = -m + 2*x - 13. Sort -3, m, -10, b in descending order.
b, -3, m, -10
Suppose 2*n = 5*v + 258, 72 + 44 = n + 4*v. Sort n, 0, -5 in descending order.
n, 0, -5
Let s(q) = 3*q + 7. Let h be s(-1). Suppose -7*m + h = -8*m. Sort 3, 8, m in decreasing order.
8, 3, m
Let i(q) = -157*q - 2339. Let a be i(-15). Sort 0, -3, a, -51, 3 in descending order.
a, 3, 0, -3, -51
Let u = 23 + -19. Let p = -1667 - -1667.1. Put u, 1, 2, p in increasing order.
p, 1, 2, u
Let j = -2804 + 2804. Let z(g) = -2*g**2 - 3*g - 3. Let a be z(-4). Sort a, 4, j in decreasing order.
4, j, a
Let m = 0.73918 - -0.17292. Let r = -0.0879 - m. Let b be (-10)/34*(-6)/15. Sort r, -2, -2/15, b in increasing order.
-2, r, -2/15, b
Let r = 98 - 154. Let i = 58 + r. Let b = -17 - -7. Sort 1/4, b, i.
b, 1/4, i
Let f = -266 - -269. Sort -142, 2, f.
-142, 2, f
Let n = -97 + 287/3. Suppose 36*h - 94 + 454 = 0. Let d be h/(-2 + 0) + 39/(-8). Put d, 0.3, n, 0.03 in decreasing order.
0.3, d, 0.03, n
Let m = -2395 - -2406. Put 2, 8, -5, m in descending order.
m, 8, 2, -5
Suppose 4*h + 647 = -3*b, 438 = -2*b - 2*h - 2*h. Let l = b - -211. Put l, -8, 15 in ascending order.
-8, l, 15
Let s be (5/7)/(20700/2898). Sort s, -1, 0.2, 2/19, -1492 in increasing order.
-1492, -1, s, 2/19, 0.2
Let x = -247 - -241.28. Let w = -407.28 - -408. Let l = w + x. Sort -0.4, l, -0.3.
l, -0.4, -0.3
Let p = -13570.1 + 13570. Let n = -7 - -5. Sort n, p, -0.3, 1/3 in decreasing order.
1/3, p, -0.3, n
Let b = 319/915 + -5/61. Let m = -10920.7 - -10920.7. Sort 5/2, b, m in decreasing order.
5/2, b, m
Let i = -55.9 + 82. Let t = i + -26.4. Suppose -4*l - 3*u = 14, -u = l - 2*u. Put -6/7, t, l in descending order.
t, -6/7, l
Let d be (-68)/3 + 10/(-30). Let k = -19 - d. Suppose 0 = k*s - v, 3*s = -0*s + 3*v + 9. Put s, 0, 2 in increasing order.
s, 0, 2
Let r = 24026 - 24016. Put -5, r, -2 in ascending order.
-5, -2, r
Let u = 138.6 + -135.6. Let c = -15 + 14. Sort 2, c, -0.4, u in decreasing order.
u, 2, -0.4, c
Let a(b) = 5*b - 28. Let f be a(6). Let t be ((-1)/28)/(7/(-28)). Sort -2/13, f, -0.4, t.
-0.4, -2/13, t, f
Let p(b) = b**3 + 5*b**2 + 11*b + 25. Let m be p(-4). Suppose -5*q + 6*w - 95 = w, 5*q + 2*w + 88 = 0. Let d = q + 21. Sort -4, d, 4, m.
-4, m, d, 4
Let k(l) = l**3 + 66*l**2 + 68*l + 101. Let v be k(-65). Sort 11, -5, v in ascending order.
v, -5, 11
Let b = 0.154 - 0.554. Let l = -6.7 - -7. Let y = l + 0.1. Sort -0.1, -3, b, y in ascending order.
-3, b, -0.1, y
Suppose -v - 32 = -2*v - 7*v. Sort v, -4141, -3 in decreasing order.
v, -3, -4141
Let n(p) = -p**3 + 6*p**2 - p + 11. Let k be n(6). Suppose -d + 8 = 2*i, -15 = -2*d + k*i - 10*i. Put d, 2, -3, 1 in descending order.
d, 2, 1, -3
Let c = 0.00442 - 5.00442. Let v = 5.4 + -0.4. Sort c, -3/4, v, 12.
c, -3/4, v, 12
Let z be 1*(1 - (19 - -1)). Let m be ((-2)/6)/((-45)/21330). Suppose m = 4*f + 154. Sort 0, f, z.
z, 0, f
Let x be (-18)/(-15) - (-6174)/30. Suppose 0 = 201*f - x*f - 24. Suppose -4 = 4*n, -2*i - 2*n + 13 = 5. Sort 0.3, 1/7, f, i in decreasing order.
i, 0.3, 1/7, f
Let s = 2005 + -2004.5. Put s, -374, 0.1 in decreasing order.
s, 0.1, -374
Let s = -762 + 881. Put s, -0.4, -2 in increasing order.
-2, -0.4, s
Let n(k) = -3*k - 2. Let s be n(-14). Let f = -29 + s. Suppose -4*r = 4, r = 3*p + 2*r - f. Put p, 2/5, -3 in ascending order.
-3, 2/5, p
Suppose -711 + 683 = 4*n. Let z be (-10)/4*2 - -1. Put 4, -2, n, z in ascending order.
n, z, -2, 4
Suppose -315*r = -26*r. Let n = -10 + 7. Sort -2, r, 4, n in descending order.
4, r, -2, n
Let m = 763 - 766. Let n = 1.86 + 0.44. Sort -0.04, n, m in descending order.
n, -0.04, m
Suppose -4*k + 5*v - 22 = 0, -2*k + 2*v - 12 = -0*v. Let r be 1/((-28)/k*-1). Put 4, 3, -0.21, r in decreasing order.
4, 3, -0.21, r
Let g = -0.09238 + 0.28238. Put 5, -13, g, -2 in increasing order.
-13, -2, g, 5
Let d = -51/4 - -365/28. Let c be (-9)/15 - 1/(-2). Let k = -8279.1 + 8282.1. Sort c, d, k in descending order.
k, d, c
Suppose -15*d = 12*d - 46062. Sort -1, d, 4.
-1, 4, d
Let d = -0.1 + 0.3. Let v = 5/29867 - -59619/686941. Sort -3, v, d in descending order.
d, v, -3
Let b(s) = 2*s**3 - 7*s**2 + 5*s + 3. Let h be b(3). Suppose -6 = -2*y + 2. Let g = 1 - y. Sort h, -1, 2, g in descending order.
h, 2, -1, g
Let b(d) = -d**3 - 35*d**2 - d + 19. Let o be b(-35). Let c be (-18)/o - (-8)/15. Let y be 2/(-33)*(-3)/1. Sort y, -0.3, c in increasing order.
-0.3, y, c
Let m be ((-18)/(-4) - 3) + 213/(-6). Let t = m + 37. Suppose 0 = -3*q + 5*d + 14 - t, -q + 5*d = -7. Sort 3, -4, q.
-4, q, 3
Let h(t) = -3*t + 2. Let g(y) = y - 1. Let w(b) = -7*g(b) - 3*h(b). Let k be w(-3). Let i be 2/(-3) - (-268)/(-201). Put -6, k, i in increasing order.
-6, k, i
Let r = 166.607 + 0.393. Let t = 167.09 - r. Sort t, -3/5, 6/5.
-3/5, t, 6/5
Let q be (2/(-3))/((-35)/(3150/20)). Sort q, 5, 2, -626, -4.
-626, -4, 2, q, 5
Let h = 37.12009 + -0.05009. Let a = 3.5 + 33.5. Let n = a - h. Sort n, 2, -1/2, -2 in ascending order.
-2, -1/2, n, 2
Suppose 0*q - 2*q + c + 131 = 0, 3*q - 197 = c. Suppose 0 = m - 23*m - q. Sort 0, 1, -13, m in decreasing order.
1, 0, m, -13
Let k(a) = 114*a + 780. Let v be k(-11). Put 2, v, -4 in ascending order.
v, -4, 2
Let m(v) = v**2 + 79*v + 436. Let c be m(-6). Sort -6, -4, c, -27, -1 in decreasing order.
-1, c, -4, -6, -27
Let x = -27 - -33. Let s = x + -3. Suppose 3*r - r = 3*z + s, 2*r + 18 = -4*z. Put r, -4, -2 in decreasing order.
-2, r, -4
Let z = -340.1 - -332.1. Put 8, -3, -5, 15, z in descending order.
15, 8, -3, -5, z
Let d = -16043.9 + 16044. Sort 0.5, 3, 103, d.
d, 0.5, 3, 103
Let v be (-36)/10 + 1 - 12/30. Let l be 1/(v + (-125)/(-15) + -5). Put l, -12, 0, -2 in ascending order.
-12, -2, 0, l
Let u(z) be the third derivative of -z**6/120 - z**5/12 + z**4/3 + 6*z**3 + 3*z**2 - 15. Let n be u(-5). Put 3, -1, 1, n in decreasing order.
3, 1, -1, n
Let r = -25 - -49. Let q be (1 - 0) + (-40)/r. Let v be ((-4)/10)/(8 + 576/(-60)). Sort 2/11, 2/5, v, q in ascending order.
q, 2/11, v, 2/5
Let o be (8/(-6))/(6/27). Let g = -9 + 10. Let d be ((-2)/o)/g*-1. Put -2, d, 1/3, 4 in decreasing order.
4, 1/3, d, -2
Let p be 5 + 14 + -23 - 16/(-2). Sort 79, p, -2 in ascending order.
-2, p, 79
Let z = 0.20691 - 100.20691. Let p = 0.33 - 2.33. Put -3, -4, p, z in descending order.
p, -3, -4, z
Suppose 3*a + 3*f = -f, 0 = -2*a - 4*f - 4. Let q = 3 - 6. Let n be (216/(-81))/(-1 + 15/9). Sort -1, n, a, q in ascending order.
n, q, -1, a
Suppose 434 = 3*j + 2*m, 0 = -j - 3*m - 0*m + 147. Let d = j + -142. Put -0.1, 0.1, d in ascending order.
-0.1, 0.1, d
Let o(x) = 319*x - 4476. Let i be o(14). Let p = -0.6 - 2.4. Sort p, -2/11, -0.05, i in decreasing order.
-0.05, -2/11, p, i
Let i be (-3)/(-12) + (-23)/(-276). Sort -1/10, 5, 0, -5, i in ascending order.
-5, -1/10, 0, i, 5
Let d = 0.025 + -0.795. Let l = d - -1.253. Let b = l - -0.017. Sort -3, b, 16.
-3, b, 16
Suppose 106*n + 209 - 141 = -568. Put n, -2/21, 1 in descending order.
1, -2/21, n
Let w be ((-416)/432)/13 - 137/(-27). Put -3, w, -2, 