, f in decreasing order.
f, 2, -3, -4
Let z = 3097 + -3097. Sort 85, -4, z, 4.
-4, z, 4, 85
Let j be 5 + -3 + 0 - -4. Let p = -9335 - -9335.4. Let o be (-1)/6*(-4)/3. Sort j, o, p, 2/13 in descending order.
j, p, o, 2/13
Suppose v - 6*v = 5*t + 20, -5*v = -3*t + 12. Let x = 949 + -944. Suppose 0 = -x*d + f + 18, 2 = 3*f - 4. Put d, v, -7, -1 in increasing order.
-7, v, -1, d
Let w = 3201 - 3207. Sort -2, 1, w, 0 in ascending order.
w, -2, 0, 1
Suppose 0*t + 2*w = -t + 4, 5*w - 13 = -t. Let a = 29248 + -29265. Put -3, t, a in increasing order.
a, -3, t
Suppose -1488 + 404 = 4*h. Let v = h - -274. Suppose 5*g - 1 = 4*g. Sort -4, v, -1, g.
-4, -1, g, v
Let g be 12/9 - (-16)/(-12). Let u = -17.09 - -17. Let w = -0.01 + u. Sort g, w, -11 in decreasing order.
g, w, -11
Suppose 2*x - 22 = -2*m, -4*x + 14 = -5*m + 33. Sort 2, 11, -5, -3, x.
-5, -3, 2, x, 11
Suppose -2*m - 2*n + 14 = 0, 0 = 3*m - 28*n + 32*n - 27. Sort -5, m, 1622 in ascending order.
-5, m, 1622
Let n = 1898 + -1898. Let q be 2/2 - (0 - -5). Put n, 1, q in decreasing order.
1, n, q
Let h = 9 + 7. Let z be (-8)/h*(3 + (-3)/1). Suppose 12 + z = 6*o. Sort 10, -3, o, 1 in ascending order.
-3, 1, o, 10
Suppose 11 - 35 = 6*v. Let m be ((-405)/(-2) + 0)*-4 + v. Let l be (-66)/(-561) - m/17. Sort 4, l, 2 in increasing order.
2, 4, l
Suppose -17*g - 11436 = 3303. Let b be (-3)/30 - g/170. Sort 90, -3, b.
-3, b, 90
Suppose 5*o + 65 = 90. Suppose 3*d - 12 = 0, 2*d - o = z - 0. Sort 19, 0.2, z, -5.
-5, 0.2, z, 19
Suppose 4*a - 8 - 12 = 0. Let z(l) = -2*l**2 - 29*l - 102. Let q be z(-8). Suppose -q*u = -4*s + 48, -7 = 4*s + 4*u - 31. Put -4, a, s, 1 in descending order.
s, a, 1, -4
Let c(i) = -i**2 - 6*i - 1. Let x be c(-6). Suppose 0 = 3*y - 31 + 28. Let g be (y/(-9)*3)/(5/(-60)). Sort g, x, 2.
x, 2, g
Suppose -u - 5 = -4*a, -2*u - 50 = -4*a - 60. Sort 57, 1, u in decreasing order.
57, u, 1
Let r(d) = -d**3 + 7*d**2 - 4*d - 8. Let f be r(7). Suppose 50 = 4*w + 190. Let u = f - w. Put 6, u, 0 in ascending order.
u, 0, 6
Let b = 0.1101 + -1.1101. Sort -0.37, -5, b, 4.9 in descending order.
4.9, -0.37, b, -5
Let t(j) = -j**2 - 7*j - 7. Let z be t(-5). Let q = -4.9551 - 0.0449. Sort 1/3, -4, q, z in ascending order.
q, -4, 1/3, z
Let v = 16 - 4. Let f = 18 - v. Let a = 3452/7 - 493. Sort a, f, -1/5 in decreasing order.
f, a, -1/5
Let l = -0.0089 - 0.0311. Sort -1/4, -82, l in decreasing order.
l, -1/4, -82
Let j be (-4)/(-5 - 11)*-4. Let x(y) = 5*y**2 + 14*y + 13. Let g be x(j). Suppose 10 = -5*z + 5*w, w + 4 = -z - 2. Sort g, 0, -5, z in ascending order.
-5, z, 0, g
Suppose -2*u - 4 = -a, 5*a - u = -0*u + 11. Let i(f) = 239*f**2 - f + 1. Let s be i(1). Suppose 0 = -15*j + s + 121. Sort 4, a, j.
a, 4, j
Let j = 0.137141 - 4237.155141. Let s = j + 4232. Let m = s - -0.018. Put -2/15, m, 1/3 in ascending order.
m, -2/15, 1/3
Let z = -3569 - -3574. Let y be 44/(-6) + 4/(-6). Let q be y/2 + (-1 - 0). Put z, -2, 1/3, q in descending order.
z, 1/3, -2, q
Let t = 23741 + -23743. Suppose -g + 20 = 5*k - 0*k, 0 = -3*k + 15. Put 2, t, 0, g in decreasing order.
2, 0, t, g
Let z = -0.17 + 0.87. Let n = -39.2946 + 38.8946. Sort z, n, 4 in decreasing order.
4, z, n
Let y = -9 + 6. Suppose -54*l + 52*l + 6 = 0. Suppose -2*m = l*m - 20. Put 2, m, y in ascending order.
y, 2, m
Suppose s - 83 = -82. Let l = 390 + -388. Sort l, -9, s in decreasing order.
l, s, -9
Suppose 2*u - 8 = 3*v - 1, 10 = 5*u. Suppose q = 5*t + 19, -4 = -4*t - 4*q - 0. Sort 0, 3, v, t in increasing order.
t, v, 0, 3
Let q be -2 + (((-82)/(-287))/((-2)/28) - -6). Put 3, 0.059, q, -0.11 in increasing order.
-0.11, q, 0.059, 3
Let d be -5*((-2785)/175 - -4). Let r = d - 60. Put r, 1, 2/7 in increasing order.
r, 2/7, 1
Let c = -6/1223 + -1139/17122. Let f = -0.3 + 0. Sort c, -4, f in increasing order.
-4, f, c
Suppose -4*l - 19 + 11 = 0. Let n = -727 - -729. Put l, n, 83, -0.4 in decreasing order.
83, n, -0.4, l
Let q be (-155)/30*-2*3*2. Let k = q + -1304/21. Put k, 0.4, -2/3 in decreasing order.
0.4, k, -2/3
Let g be 39/(-45) + 3 + -2. Let n = 1342 + -1363. Sort n, 0, g, -0.2 in decreasing order.
g, 0, -0.2, n
Suppose 4525 - 4567 = 2*j + 4*q, -4*j + 37 = -3*q. Let i be ((-3)/6)/((-1)/(-6)). Sort 19, j, -1, i in descending order.
19, j, -1, i
Suppose -2*r = 8, -x + 2*r = 3*r + 13. Let m be ((-12)/x)/(44/165). Suppose c - m = -10. Put -15, c, 4 in ascending order.
-15, c, 4
Let i = 28.21 - 1.41. Let m = i + -27. Sort 3, m, 2/5, -4.
-4, m, 2/5, 3
Let l = -25708 + 1773892/69. Sort 0.5, 4, l, -3/4.
-3/4, 0.5, l, 4
Let v be -1*0/((-3)/(-1)). Let s be 2 + ((-2424)/(-60))/(1/10). Let l be s/126 + 3*4/(-54). Put -2, v, 10, l in descending order.
10, l, v, -2
Let t = 14.5 + 113.5. Let b = -128.33 + t. Put 1/4, -4, b in descending order.
1/4, b, -4
Let o = -0.981 + -0.019. Suppose 0 = -5*f - 34 - 21. Sort o, 2, f in decreasing order.
2, o, f
Let d = -22046.8 - -22051. Put -10, 10/9, d in increasing order.
-10, 10/9, d
Suppose 0 = 4*x - 2*v - 18, 2 = -8*x + 4*x - 2*v. Let l(r) = r**2 + 8*r - 16. Let t be l(x). Sort 0, t, 2, -11.
-11, 0, 2, t
Suppose 5*d = 6*b + 59, -3*d - 3*b - 82 = -91. Suppose 2*n + 3 = n. Sort 3, n, d.
n, 3, d
Let g = -44.7 + 42. Let c = -1.7 - g. Let k = -310/3 - -104. Put c, 3, -1/8, k in increasing order.
-1/8, k, c, 3
Let u(s) = -900*s - 5356. Let z be u(-6). Put 2, z, 1, -1, 4 in ascending order.
-1, 1, 2, 4, z
Let p = 6320 + -6324. Sort 7, 41, p, -5 in decreasing order.
41, 7, p, -5
Let b = -12.173 + 13.773. Put b, 0, 1.2, -0.5, -2 in ascending order.
-2, -0.5, 0, 1.2, b
Let f = -0.047693 - 0.452307. Let z = 3 - 3.1. Put -4, z, -2, f in decreasing order.
z, f, -2, -4
Let r = -7 + 12. Suppose 3*k = 3*c - 12, -5*c - 100 = 3*k - 104. Put r, k, -4, 25 in decreasing order.
25, r, k, -4
Let x = 445 + -421.9. Let k = x + -22.8. Put -2/3, k, 0.1, 18 in decreasing order.
18, k, 0.1, -2/3
Let o = -43717 - -43717.2. Sort 3, 1/6, 127, o in ascending order.
1/6, o, 3, 127
Let g = -485.65 + 485.95. Let d = 13 - 4. Put -0.07, d, g, 2 in decreasing order.
d, 2, g, -0.07
Let k = 26 + -17. Let u(m) = -255682 + m + 8*m**2 - m**3 + 255689 + 7*m. Let f be u(k). Sort -3, f, 5, -5 in decreasing order.
5, f, -3, -5
Suppose -42*f + 1235 = 266*f - 61*f. Sort 0.1, -2/25, -4, 8, f in increasing order.
-4, -2/25, 0.1, f, 8
Let n = -0.2 + 0.2. Let g = -0.114 - -8.114. Let k = -7.9 + g. Put -3/8, k, n, -1 in descending order.
k, n, -3/8, -1
Let f = 25315 + -25311. Put 1, -5, -6, f in descending order.
f, 1, -5, -6
Let h = 12 + -2. Let x be ((-1)/4)/(h/(-16)). Let m be 1/9 - (-176)/36. Put x, m, -3/4 in ascending order.
-3/4, x, m
Let p = 4.9 + -0.9. Suppose -520 + 600 = 80*z. Sort 0.1, z, p in ascending order.
0.1, z, p
Let o = -310 - -89. Let k = 115 + o. Let w = 106.6 + k. Sort 0.4, w, -0.1 in increasing order.
-0.1, 0.4, w
Let s = 11 - 6. Let q = -332.1 - -331.6. Sort s, 1/5, -3, q in ascending order.
-3, q, 1/5, s
Let t(x) = x**2 - 10*x + 12. Let f be t(9). Suppose -i = -4*i. Let w = 98 - 102. Sort 2, i, f, w in increasing order.
w, i, 2, f
Let d(p) = p**3 - 8*p**2 + p - 5. Let y be d(8). Let a be 1/((4 + 266/(-66))*1). Let s = -32 - a. Sort s, -0.5, y in increasing order.
-0.5, s, y
Let c be (-10)/((-280)/12) - -50*4/56. Put 31, -4, 3, c in increasing order.
-4, 3, c, 31
Let n(j) = 51*j - 579. Let f be n(11). Let u = -1 + 3. Sort f, u, 9 in descending order.
9, u, f
Suppose 2*q + 18*o + 13 = 23*o, -q = -3*o + 7. Let l(y) = -y**3 + 12*y**2 + 12*y + 10. Let f = 11 + 2. Let a be l(f). Put 5, a, 1, q in descending order.
5, 1, a, q
Let a = -93.4 - -91.4. Let d = 16/3 + -5. Sort -0.47, d, a in decreasing order.
d, -0.47, a
Let s = 24 - 26. Let a = 44 - -11. Let w = a - 55.5. Put s, w, -2/9 in descending order.
-2/9, w, s
Let b = -890 + 889.2. Let y = 0.91 - 1.01. Sort b, y, -8.
-8, b, y
Suppose -5*a - 37 = -2*t, 0*t = 4*t - a - 29. Let x(u) = -u**3 + 5*u**2 + 9*u - 14. Let n be x(t). Suppose -l + 0 + 2 = 0. Put 1, n, l in decreasing order.
n, l, 1
Let z = 892 + -890. Let a = 15 + -11. Suppose -a*t = -0*t + 8. Put z, t, -1 in decreasing order.
z, -1, t
Let w(v) = 11*v - 4*v + 2*v**2 - v**2 + 0*v**2. Let a be w(-7). Let x(g) = -g**2 - 4*g + 3. Let t be x(1). Sort t, 4, a in increasing order.
t, a, 4
Let v = -664.8 + 641.5. Put -11, 2, 0.5, v in decreasing order.
