 s, 3/4
Let c = 47330 - 47340. Sort -3, 8, -4, c, -24 in decreasing order.
8, -3, -4, c, -24
Let y be ((-4 - 1)/(-1))/((-70)/(-28)). Put 3, 0, y, 1 in descending order.
3, y, 1, 0
Suppose 48*y - 52*y + 356 = i, -3*i + 1124 = 4*y. Sort i, 4, 1, -9.
-9, 1, 4, i
Suppose m - 6 = -5*x, x - 6 = -3*x - 2*m. Let p = 10300 + -10285. Sort 5, p, x in increasing order.
x, 5, p
Let q(g) = g**3 - 8*g**2 + 21*g - 21. Let f be q(4). Sort 0, f, 4, -4 in decreasing order.
4, 0, f, -4
Let c(b) = b**3 - b - 2. Let g be c(0). Let k = -8 + 0. Let p(v) = -10*v - 276. Let q be p(-28). Sort q, k, g, -4 in ascending order.
k, -4, g, q
Suppose -8*a - 30 = 26. Let p = -119 + 118. Sort p, -4, a in decreasing order.
p, -4, a
Suppose 267*k - 5*q = 264*k - 104, -22 = k - q. Let s be (-30)/4*(-4)/3. Sort s, 2, -5, k in descending order.
s, 2, k, -5
Suppose 0 = -5*f + 347 - 77. Suppose -2*i - f = -52. Let k be (-1)/(i + (-9)/(-12)). Sort 1/3, k, 0.3 in ascending order.
0.3, 1/3, k
Let u = 18090 - 18086.9663. Let x = u + -0.0337. Let c = -0.1 - 0.9. Sort c, -0.2, x in decreasing order.
x, -0.2, c
Let a = -14106 - -14136. Let o(g) = -g**2 - 3*g - 1. Let d be o(-4). Put -1, d, 4, a in decreasing order.
a, 4, -1, d
Suppose g - 68 = -16*g. Sort -2/5, 20, g.
-2/5, g, 20
Let l = -3 + 5. Let k be (-9)/6*2/6. Let g = -123873 - -123878. Put k, 1, g, l in descending order.
g, l, 1, k
Let b be 21*(3 - 3/9*10). Let a(i) = 6*i + 38. Let s be a(b). Let n be (3/((-9)/3))/(s/36). Put -2, 5, n in increasing order.
-2, 5, n
Suppose -21*q - 847 = -1288. Put 0.5, 1, -0.06, q in decreasing order.
q, 1, 0.5, -0.06
Let w be (-2)/(-3) - 2288/(-78). Let t be -25 + w - 6*1. Sort 4, t, -6.
-6, t, 4
Suppose -3*q - 2*g + g + 17 = 0, 2*q + g = 12. Suppose -q*l - 90 = -10*l. Suppose -l - 7 = 5*a - 5*s, -5*a + 3*s = 23. Sort a, 5, 0.
a, 0, 5
Let p(v) = v**2 + 23*v - 69. Let a be p(-24). Let n be (-78)/a - 210/150. Put -22, 5, n, 0.5 in descending order.
5, 0.5, n, -22
Let x = 0 + 0. Suppose 2*v - 512 = -2*g, -2*v - 2*g + 6*g + 542 = 0. Suppose 128*i - 99*i - v = 0. Sort x, 2/11, i, 2/3 in ascending order.
x, 2/11, 2/3, i
Let c = 5 + 8. Suppose 0 = 5*t - 7 - c. Suppose 4*q - 1 = 3*b + 2, t*b - 21 = -3*q. Sort q, -4, 10 in decreasing order.
10, q, -4
Let w(s) = -2*s**2 - 15*s + 60. Let v be w(-10). Let z be (-2 + -3 + v)/(-1) - -9. Put 42, 0, z in decreasing order.
42, z, 0
Let l = 1.2 - 6.2. Let x = 11.85 - 9.85. Let k = -5 + 4.97. Sort x, k, l in decreasing order.
x, k, l
Let j = -0.04375 + 0.04375. Put 0.08, 2, j, 4 in descending order.
4, 2, 0.08, j
Let l(t) = -t**2 - 14*t + 10. Let r be l(-15). Let c(s) = -s + 26. Let i be c(15). Suppose -i*f + 4 = -18. Put r, 5, f in decreasing order.
5, f, r
Let a = -303 - -278. Let p be a/((-1575)/266) + (-4)/18. Sort p, 17, -1, 0 in ascending order.
-1, 0, p, 17
Suppose -25*u = 125*u + 2400. Sort 1, 4, 29, u.
u, 1, 4, 29
Suppose 2*q = 92 + 6. Suppose 6 = 47*a - q*a. Let i = -3 + 4. Put a, -6, i, 0 in descending order.
i, 0, a, -6
Let b = -3447 + 3447.3. Put 35/4, 1/4, b in increasing order.
1/4, b, 35/4
Let y(q) = -q**2 - 9*q - 16. Suppose -3*b = -3*t + 69, 5*t + 3*b = 2*b + 103. Suppose 41 = -4*x + t. Let s be y(x). Put -5, 5, 3, s in increasing order.
-5, 3, s, 5
Let r = -6826 - -6827. Sort 1/5, 3, 0.4, r, 40 in decreasing order.
40, 3, r, 0.4, 1/5
Let o be ((-3)/(-2))/(1/2). Suppose a + 4*g = 22, -o*a - 3*g + 21 = -0*a. Let s be 111/6 - a/(-4). Sort s, -1, 2/3 in ascending order.
-1, 2/3, s
Let i = 0.042 + -3.042. Let x = -21 + 20.4. Put i, x, 0.2, 0.4 in ascending order.
i, x, 0.2, 0.4
Let l = 273.29 - 285.29. Put -20, l, 0, 1, 13 in increasing order.
-20, l, 0, 1, 13
Let c = -309 - -308.87. Let g = 3/40 + 27/40. Sort 0.1, c, g in ascending order.
c, 0.1, g
Let g(i) = -i + 8. Let u be g(6). Suppose -u*q - q = -6. Suppose 762 = 158*c - 186. Sort c, q, -3.
-3, q, c
Let q = 37 - 32.6. Let c = q - 0.4. Let n = 592183 - 592181. Put -6, n, c in decreasing order.
c, n, -6
Let i be (-6)/(-26) + (-7676)/10504. Put -20, i, 0.17, 6, 0 in decreasing order.
6, 0.17, 0, i, -20
Suppose -4*f = 15672 - 15652. Sort 94, 3, -46, f in ascending order.
-46, f, 3, 94
Let d = 1056.9 - 1055.3. Sort d, -2, 14 in increasing order.
-2, d, 14
Let x = -1.961 + 2.26. Let h = x + 0.001. Let f be (1 - 21/15)/2. Put 5/2, h, f, 0.5 in descending order.
5/2, 0.5, h, f
Suppose -4*m - 16 = -2*v - 10, 5*v - 5 = 0. Put 5, m, 180, -2 in ascending order.
-2, m, 5, 180
Let o be (-3)/2*2/12. Let v be (-15 - 1)/4 - 39828/(-8694). Let m = v + -2/207. Sort 1/5, 5, o, m in decreasing order.
5, m, 1/5, o
Let x = -0.12131 + 8.12131. Sort x, 11/4, 0.
0, 11/4, x
Let w = 329 - 330. Put w, 3, 7, 0, -5 in decreasing order.
7, 3, 0, w, -5
Suppose 5*m + 2*m = -945. Let r be (8/(-6) - -1)/(45/m). Suppose 2*o - 4*b = 10, -4*o + 28 = 2*b + 8. Sort r, -3, -5, o in descending order.
o, r, -3, -5
Let m = 22 + -96. Let d = m + 958/13. Let f = -2/91 - d. Put f, 0.5, 1 in decreasing order.
1, 0.5, f
Let x = 2.76 - 2.547. Let l = x + 1.787. Let m = -13.9 + 1.9. Sort 3/2, m, l.
m, 3/2, l
Suppose 0 = -5*n + t + 371, -2*n + 223 = n - t. Sort -3, 26, n in decreasing order.
n, 26, -3
Let h = 20 - 8. Let v = 9 - h. Let w = -44.5 - -44.41. Sort v, 1/5, w.
v, w, 1/5
Let c = 17.74 + -2.84. Let v = c - 15. Sort -0.07, v, -3/4.
-3/4, v, -0.07
Let u = 54 + -50. Let x(q) = -82*q - 167. Let v be x(-2). Sort u, 2, -2, v.
v, -2, 2, u
Let w be (1204/(-112) - -11) + (-38)/88. Put -2, -4/7, w, 1 in increasing order.
-2, -4/7, w, 1
Let t be (-29)/29 + (-2 - 124/(-44)). Sort -4, 253, t, -3.
-4, -3, t, 253
Let o = -10051 + 30154/3. Sort 2, -1/6, -4, o, -2.
-4, -2, -1/6, o, 2
Let g(v) = -116*v - 2094. Let t be g(-18). Put -5, 1, -63, t, 3 in ascending order.
-63, t, -5, 1, 3
Let t = 17865 - 17867. Put 80, 5, 4, 0, t in decreasing order.
80, 5, 4, 0, t
Let w = -1 - -1.1. Let y be 0/((600/(-10))/(-12)). Sort 4, y, w in decreasing order.
4, w, y
Suppose -3*h = -5*y - 47, 2*h - 12*y - 38 = -7*y. Let q be ((-150)/(-85))/(h/6). Sort q, 4/3, -2, 2/3 in descending order.
4/3, q, 2/3, -2
Let n = 2928 + -11713/4. Sort 1/5, n, -0.3, 139 in descending order.
139, 1/5, n, -0.3
Let w = 2248/22255 + -9/8902. Let x = -0.0162 + -39.8838. Let l = 38 + x. Sort -0.3, w, l.
l, -0.3, w
Let i be (4690/25 + -1)*-1. Let o = 186 + i. Sort o, -1, 0.7.
-1, o, 0.7
Let i be (-134)/(-26) - 8/52. Suppose -2169*p + 2176*p = 273. Sort i, -5, p in decreasing order.
p, i, -5
Suppose 0 = 4*k - d + 275 - 1, 3*k + 2*d + 200 = 0. Sort 0, -3, 2, k in decreasing order.
2, 0, -3, k
Let b be (-2 - 8/(-2))/(9/((-162)/12)). Put b, 5, -1800 in decreasing order.
5, b, -1800
Let o = -8 - -16. Let g be (-6 + 22 + -10)*3/2. Suppose g*z - 10 = 4*z. Sort o, z, -3.
-3, z, o
Let z(m) = -2*m - 6. Let n be z(0). Let s = -8 + 13. Let a be 34/(-765)*3 + (-146)/30. Sort a, s, n, -2 in ascending order.
n, a, -2, s
Let g = -486 + 832. Let m = 345.9 - g. Put 5, m, 2/7, -3 in increasing order.
-3, m, 2/7, 5
Let p = -1.48 + 49.48. Let y = p - 45. Let s = -37/116 + 2/29. Sort -2/11, -1, y, s.
-1, s, -2/11, y
Let y(r) = 3*r**3 + 2*r**2 - 4*r + 4. Let a be y(2). Let w be a/(-35)*(4 - (11 + -2)). Put 2, 1, w, -5 in descending order.
w, 2, 1, -5
Let g = 323.88 - -5.12. Let v = 329 - g. Put -5, -2/7, v in decreasing order.
v, -2/7, -5
Let y = 10 + -6. Let g be 6 + 130/(-25) - 6/(-66)*-11. Let x = 250 + -1746/7. Sort g, y, x, -1/6 in decreasing order.
y, x, -1/6, g
Let j be (-68 + 70)/((-2)/3). Let y(l) = 5*l. Let h be y(-1). Sort 2, h, j, 0.
h, j, 0, 2
Let c = 0.25871 + -53.25871. Sort -0.2, c, 1/3.
c, -0.2, 1/3
Let w = 2/37 + -80/111. Let k = 3925 + -3925.1. Put -4/5, -0.05, w, k in descending order.
-0.05, k, w, -4/5
Let l = -321 - -318. Let z(i) = -4*i**2 - 16*i - 17. Let q be z(l). Put -43, q, -3 in ascending order.
-43, q, -3
Let v = 6040 + -6011. Put -9, -1, v, 4 in decreasing order.
v, 4, -1, -9
Suppose -245*h + 4929 = -2911. Put h, -4/3, -4, -0.4, -0.3 in ascending order.
-4, -4/3, -0.4, -0.3, h
Let p = -19.2 - -14.2. Let n = 0.19 - -0.31. Put p, n, -1/3 in descending order.
n, -1/3, p
Let r = 0.4603 - 0.1603. Sort 90, r, 2 in increasing order.
r, 2, 90
Suppose f - 616 + 614 = 0. Suppose w + 0*w = -4. Let n be (0 - (-2)/w)*-2. Sort f, -1, n, 23 in increasing order.
-1, n, f, 23
Suppose -l + 32 = 2*m, -3*l + 32