ecreasing order.
5, i, 0, n
Let z = -7679 - -7679.2. Sort z, -91, -16 in descending order.
z, -16, -91
Suppose -4 = 4*p + 5*k, 10*k + 32 = 3*p + 5*k. Let d be (24/p)/3*6/4. Sort -4, d, -15 in descending order.
d, -4, -15
Let q be (-4)/(4/(-5)) - 2. Suppose -41*j - 43*j = 252. Sort 14, j, q in descending order.
14, q, j
Let u = 20.82 + -25.82. Put u, -36/11, 0 in decreasing order.
0, -36/11, u
Let z = 71711 - 71709. Let t(n) = n**2 - 5*n - 1. Let k be t(6). Let b be 8/(-6) + (-2)/(-6). Put k, b, z in ascending order.
b, z, k
Let u be (-10)/(-4)*(3 - 5). Suppose 3*b = -3*j + 90, 9*j - 4*b = 4*j + 123. Suppose -j*m = -39*m - 24. Sort -1, -4, m, u.
u, -4, m, -1
Let c be (((-2)/(-6))/(-2 + 3))/(770/(-6930)). Sort -505, 3, -2, c, -4.
-505, -4, c, -2, 3
Let g be 2 - (52/(-2))/2. Let x(j) = -2*j**2 - 30*j + 17. Let m be x(-13). Let h be m/g - 4/(-10). Sort -3, -4, h in increasing order.
-4, -3, h
Let d = -1932 - -2216. Put d, -1, -3 in ascending order.
-3, -1, d
Suppose 3*s + 17 = 29. Suppose 0 = -2*y + s*t - 16, 3*y - 3*t = y - 17. Sort 0.1, y, 0.3, -2 in ascending order.
y, -2, 0.1, 0.3
Let k be (-385)/154 + 93/30. Let i = 5.57 - -0.43. Sort i, 0, -1, k in decreasing order.
i, k, 0, -1
Let a = 0.11739 + 0.03261. Put 2, -1, 1/3, a, 4 in decreasing order.
4, 2, 1/3, a, -1
Let t = -4.9 - 0.1. Let l = 414.78 - 414.58. Put t, -2, -3, l in decreasing order.
l, -2, -3, t
Suppose -z + 6 = -f, 5*z + 5*f - 31387 = -31387. Suppose 0 = -3*o + 3*y - 6, -18 = -o - 5*y + y. Let d be 1/(o + 10/(-4)). Sort d, 12, z in increasing order.
d, z, 12
Let g(t) = t**3 - 13*t**2 - 14*t. Let f be g(14). Let i be (-1)/(-4) - (f + (-14)/(-24)). Let o = 656 - 655. Sort i, -10, o, 4.
-10, i, o, 4
Let t = 32633 - 32781.505. Let i = -149 - t. Let g = 0.005 - i. Put 2, 7, g in increasing order.
g, 2, 7
Let n = -93231 + 93228. Let w = -22 + 15. Sort w, n, -2/7, 0.1 in descending order.
0.1, -2/7, n, w
Let h = 17090 - 17162. Put 2, h, 1, -3 in ascending order.
h, -3, 1, 2
Let u be (-1 - (-30)/56) + (-6)/(-8). Let w = -401 - -405. Put w, -1, u in ascending order.
-1, u, w
Let v(o) = -420*o + 2935. Let t be v(7). Put 2, 150, 5, t in ascending order.
t, 2, 5, 150
Let c(y) = y**3 + 6*y**2 - 6*y + 10. Let k be c(-7). Let x be 2/(-4)*(13 - 11). Suppose 2*n - 3*w - 8 = 0, n + w + 0 = 9. Sort x, n, k in increasing order.
x, k, n
Let o be 63*(-12)/(-924) + (-4)/(-22). Sort 238, 2, o in increasing order.
o, 2, 238
Let d(m) = 6*m + 30. Let g be d(-4). Suppose 2*i + g = 6. Sort -5/6, i, 5 in ascending order.
-5/6, i, 5
Let p = 313 + 51. Let v = 363.8 - p. Sort -0.3, -0.71, v, -1 in descending order.
v, -0.3, -0.71, -1
Let x(z) = -z + 4. Let j be x(6). Let h(l) = -l**3 + 3*l**2 + 596*l - 31. Let c be h(-23). Let s(m) = -m + 2. Let r be s(6). Sort c, j, r, -1.
r, j, -1, c
Let h(y) = -y**3 + 11*y**2 + 55*y - 375. Let t be h(13). Put t, -2, -27, 69 in decreasing order.
69, t, -2, -27
Let r = -283 - -471. Suppose -r*t = -181*t - 294. Put 2, t, 1 in decreasing order.
t, 2, 1
Let k(f) = -f**2 + 4*f - 1. Let c be k(-3). Let p be (-219 - -219)*(-4)/(-12). Sort p, 5, c, 4 in increasing order.
c, p, 4, 5
Suppose -4*x - 32 - 4 = 3*j, -4*j = -4*x - 36. Let q be 53/3 + 6/x. Suppose 2*k - q = k. Sort 2/3, 0.2, k.
0.2, 2/3, k
Suppose -q + 18 = 4*m, -3*q + 15 = -0*q - m. Let z be 2/7*(-3)/q. Let w be 25 + -5 + (-74 - -55). Put 0.3, z, -5, w in decreasing order.
w, 0.3, z, -5
Let m(z) = 8*z - 115. Let p be m(14). Suppose 18 = -3*b - 2*y, 3*y = 4*y. Suppose -l - 3 = d - 2, -l + 4*d - 6 = 0. Put l, p, b in decreasing order.
l, p, b
Let o(r) = 215*r + 2. Let h be o(0). Put 0, 433, h in descending order.
433, h, 0
Let b = 2795.5 - 2795. Sort 3/20, b, -0.5, -2, -3.
-3, -2, -0.5, 3/20, b
Let o(t) = -t**3 + 3*t**2 + 13*t - 10. Let p be o(5). Suppose -15*g = -p*g - 80. Let v(s) = -s + 4. Let n be v(g). Sort n, -1, 0 in decreasing order.
0, -1, n
Suppose -580 = 4*a + 2*n, -4*a - 9*n + 14*n = 608. Let o = a + 151. Sort -61, o, -4 in decreasing order.
o, -4, -61
Let s = 13743 + -13745. Sort s, -0.3, 2/11, 14 in descending order.
14, 2/11, -0.3, s
Let o be 5/7 + 2/7. Let y be 3*(118/(-236))/((-6)/(-124)). Let p = y - o. Sort 4, 2, p in descending order.
4, 2, p
Let r(l) = -l**2 - 29*l + 543. Let z be r(13). Let g be 1/(-2) + (-10)/20. Put z, -10, g, 5 in increasing order.
-10, z, g, 5
Let i(n) = 122*n + 733. Let r be i(-6). Sort r, 53, -2, 5, -1 in increasing order.
-2, -1, r, 5, 53
Suppose -70*c + 41*c = -42*c + 91. Sort 37, 2, 4, c.
2, 4, c, 37
Let y = -707/2 - -357. Put -0.05, y, -5 in ascending order.
-5, -0.05, y
Suppose -t = -1, 4*y + 3*t + 5 - 8 = 0. Let g be (-6 - (-6)/2) + -9. Put g, y, -3 in ascending order.
g, -3, y
Let i = -7817 - -7816.986. Put -5, 1/7, 0.5, 0, i in increasing order.
-5, i, 0, 1/7, 0.5
Let x = 34 + -23. Let v be (12/9)/(x/(-88)). Let g = v + 11. Sort 2/7, g, -8 in descending order.
g, 2/7, -8
Let r(p) = p**3 + 20*p**2 + p + 992. Let i be r(-22). Let h(a) = -a + 3. Let j be h(2). Sort i, 0, j, -3 in decreasing order.
i, j, 0, -3
Let w(z) = -z + 1. Let b be w(-14). Suppose -b*k + 14*k + 5 = 0. Sort 0, k, 3, 2 in decreasing order.
k, 3, 2, 0
Let p = 3 - 6. Let d = 0.1896 + 0.0104. Let b = 1.7 + -0.7. Sort b, p, d in decreasing order.
b, d, p
Let m = 175.3 - 175.1. Sort 10, m, -5, 1, -4.
-5, -4, m, 1, 10
Let n = 70/67 + -213/268. Let x = 19/27 + -7/9. Put x, n, -6 in ascending order.
-6, x, n
Let g = 219 - 217. Suppose -g*q + 237 = 247. Sort 4, 1, q, -50 in decreasing order.
4, 1, q, -50
Let n be ((-5)/2)/((-2)/4). Suppose -n*v - 5 = -0*v. Let t be 6 + 480/(-156) - 1/(-13). Put v, -2, t, -3 in increasing order.
-3, -2, v, t
Let q = 0.30525 + -0.10525. Put q, 1, 0.027 in increasing order.
0.027, q, 1
Suppose 0 = -v + 4. Suppose 4*f + 2*y - 9 = -5, 4*y = -2*f + 8. Suppose f = -5*c + b - 26, -3*b = -4 + 16. Sort -3, v, c in decreasing order.
v, -3, c
Let c be 6/2 + 1 - -1. Suppose -6 = -4*u - 2*q, 2*u - 81*q + 12 = -85*q. Suppose t - 9 + 5 = -5*i, -u*t + 2*i - 28 = 0. Put -1, t, c in descending order.
c, -1, t
Let l(t) = -31*t**2 - 2*t**2 - t**3 + 48*t - 134 - t**2 - 17*t. Let r be l(-35). Put r, 1, 0.2, 0 in descending order.
r, 1, 0.2, 0
Suppose -82 + 72 = -2*f. Suppose 3*m - g + 7 = -3, 10 = m + 3*g. Put m, f, -8, 0 in ascending order.
-8, m, 0, f
Let v = 50 + -53. Let x be 81/9 - (-5 + 21). Put x, -2, v in increasing order.
x, v, -2
Suppose -u + c - 19 = 0, -7*u + 9*u + 53 = -3*c. Sort 2/93, -2/3, u in descending order.
2/93, -2/3, u
Suppose -j - 258 = g - 315, j - 4*g = 22. Put j, -39, -0.5 in descending order.
j, -0.5, -39
Let i be (262/(-4585))/((-2)/10). Sort 4, 2, 3, -3, i in increasing order.
-3, i, 2, 3, 4
Suppose -3*r + 75 = 2*r. Let t be (-150)/(-21) + -3 + (-2)/14. Suppose -4*j - 2*s - t = s, -s = 2*j + 2. Sort r, 2, j, 4.
j, 2, 4, r
Let f(n) = -62*n + 796. Let o be f(13). Put o, 3, 1, -5 in decreasing order.
3, 1, -5, o
Let v(p) = -p**3 + 11*p**2 - 12*p + 10. Let d be v(10). Let f = d + 10. Sort 2, f, 15.
f, 2, 15
Let v = 24044 + -29748. Sort 3/7, -5, v in ascending order.
v, -5, 3/7
Let f be (-14 + (-546)/(-65))/((-1)/(-5)). Sort 4, -5, f, 2 in descending order.
4, 2, -5, f
Let y = 166.85 + -166.8. Sort 0, y, 1.8 in descending order.
1.8, y, 0
Suppose -1 - 219 = -5*f. Suppose -3*v + f - 29 = 0. Put v, -3, 24 in decreasing order.
24, v, -3
Suppose -2*w - x = -27, -4*w + 43 = -w - x. Let p = 33808/7 - 4844. Let d = w + p. Sort -0.1, d, -2 in descending order.
-0.1, d, -2
Let h be (-20)/6*12/10. Suppose 395*v + a - 24 = 390*v, -v + 2*a + 7 = 0. Sort v, -1, h, 4.
h, -1, 4, v
Let m be 484/495 - (-2 - (-96)/30). Sort -3, m, 0.13, 4/5.
-3, m, 0.13, 4/5
Let o = 0.24 - 0.34. Let p = 29.919 + 0.081. Let a = 34 - p. Sort a, o, -1.9 in increasing order.
-1.9, o, a
Let u = -645.1 + 645. Put u, 0.4, 1 in decreasing order.
1, 0.4, u
Let v be 6*((-35)/30)/(-7). Let k be 3/6*(0 + 0). Let f = 2307 - 2305. Put k, v, -1, f in increasing order.
-1, k, v, f
Let p = -6/5 - -37/35. Suppose -4*y + 11 = 5*f, 2*y - 14 - 19 = 3*f. Suppose -14*z + 15*z - 1 = -x, 0 = -5*x - 4*z + y. Sort x, p, 0.3.
p, 0.3, x
Let d = 10 - 19/2. Let n = 210273.1 + -210273. Put n, 3/8, d, -1/5 in increasing order.
-1/5, n, 3/8, d
Let y(o) = o**2 + 247*o - 9891. Let u be y(35). Suppose 0 = 4*r - 7*r + 9. Put 2, r, u, -5 in ascending