f, 0.4, m, 7/2
Let j = -55 + 54.94. Let q = 7200.1 + -7200. Put q, 2, j in ascending order.
j, q, 2
Suppose 2*o = 5*w - 25, 0 = -2*w - o + 7 + 3. Let l(n) = 8 - n + 28 - n**2 - 11 + 17. Let f be l(-7). Put f, -2, w in descending order.
w, f, -2
Suppose 109*d = 146*d + 259. Sort -4, 237, d in descending order.
237, -4, d
Let a be 6 + (3/((-12)/(-14)))/(4/(-8)). Sort a, -41, 1, -5.
-41, -5, a, 1
Suppose -5*h - 44 = c, -5*h + 362 - 411 = -4*c. Sort 4, c, -7472 in descending order.
4, c, -7472
Let f = 4206 - 4190. Put -7, -1/2, 4, f in descending order.
f, 4, -1/2, -7
Let g = 621 + -723. Let v = 81 + g. Put -4, 5, v in decreasing order.
5, -4, v
Let l = -0.115 + 2.115. Let m = 159 - 158. Let k = 2/33 - -3/11. Sort k, m, l.
k, m, l
Suppose -10 = -2*p - 8. Suppose -2*g + 3 = -3*a + p, -5*g - 8 = -a. Let k be ((2 + -2)/1 - 0) + a. Sort -5, -1, k, 5 in descending order.
5, -1, k, -5
Let y = -16410 + 16394. Sort 44, y, 6.
y, 6, 44
Let c = -2618 - -2618. Suppose 2*k + 2 + 2 = 0, 0 = j - 4*k - 9. Sort 2, j, c, 4 in descending order.
4, 2, j, c
Let y be (-6)/(-3) - (-4 - 0). Let d(u) = 231*u + 21 + 11*u**2 + u**3 + 246*u - 501*u. Let l be d(-13). Sort y, -1, l.
l, -1, y
Let g = 0.1357 - 0.2357. Sort 11/6, 0, -1, g in decreasing order.
11/6, 0, g, -1
Let s be 312/(-54) - (-30)/(15/3). Let r = 0.074 + -0.644. Let l = -0.07 - r. Sort 0.1, s, l in increasing order.
0.1, s, l
Let z = 2993 - 3003. Let r = 19/68 + 8/17. Sort -4, z, r.
z, -4, r
Suppose -35*d - 252 = -707. Suppose -15*m = -d*m + 42. Suppose -5*o - j + 23 = 0, 4*o + 4*j - 15 = 13. Put 0, m, o, -2 in decreasing order.
o, 0, -2, m
Let c = -6.18 + -0.82. Let u = -5 + c. Sort -2, u, -5.
u, -5, -2
Let f(b) = 28*b**3 + b**2 - 6*b - 3. Let p be f(2). Let s = p + -215. Put -1, 1, s in descending order.
1, -1, s
Let m be (-12)/5*(10 - (-3375)/(-54)). Put 0, -0.3, m, 1/12 in decreasing order.
m, 1/12, 0, -0.3
Suppose -54*p + 2*y = -53*p + 414, -4*y - 1202 = 3*p. Put -3, p, -5 in ascending order.
p, -5, -3
Let j = -26529 + 26539. Sort 1, -3, -35, 4, j.
-35, -3, 1, 4, j
Let g = 3322 - 2014. Put -0.2, g, -2/5 in descending order.
g, -0.2, -2/5
Let r = 15899/3 - 5299. Put 0, 4, -11, r, -7 in descending order.
4, r, 0, -7, -11
Suppose 6*q - 3*q = 18. Let z be (-26)/3*q/4. Let f be 2*6/(-4) + (-6)/(-3). Sort 0, f, z in descending order.
0, f, z
Let j(l) = 4*l**2 + 147*l - 32. Let n be j(-37). Put n, 2, 0, -1, 30 in descending order.
30, n, 2, 0, -1
Suppose 3*f + 36*x + 25 = 41*x, 5*f = -5*x - 15. Suppose 7*z = 2*z - 40. Let b(q) = q + 17. Let i be b(z). Put f, i, 4 in decreasing order.
i, 4, f
Suppose -4*k + 3*i - 6*i = -176, -3*k + 115 = -2*i. Let o be ((-4)/(-6))/((-38)/(-171)). Sort 2, o, k.
2, o, k
Let u = 4469.1 + -4473.1266. Let w = 0.0266 + u. Sort w, -0.2, 6.
w, -0.2, 6
Let k = -362 - -367. Suppose -11 = 5*i + 14. Sort -2, k, i in increasing order.
i, -2, k
Suppose 3*l + 9 = -3*d, 11*d + 16 = -2*l + 7*d. Suppose -3*b + 4*b = -2*q - 45, q = -l*b - 18. Let f be 4/q*7*10/(-14). Put 6, 0.4, f in descending order.
6, f, 0.4
Let r = 327.5 + -328.5. Put r, -0.3, 0.1, -2/13, -4 in ascending order.
-4, r, -0.3, -2/13, 0.1
Suppose 0*r = 2*r + 10. Let g be -1 + 9 + -2 - (12 + -11). Let z be (24/(-28))/(g - 34/7). Put 2, 3, z, r in decreasing order.
3, 2, r, z
Let k = -463/11 + 41. Let f = 144060 - 144059.6. Put k, f, 5, -2/5 in descending order.
5, f, -2/5, k
Let r(c) = c**2 + 5*c - 1. Let q be r(-6). Let j = 811 - 808. Suppose d + 3*v + v - 6 = 0, 5*d - 4*v + 18 = 0. Put 0, d, q, j in descending order.
q, j, 0, d
Let p(x) = x**3 + 4*x**2 - 12*x - 6. Let o be p(-5). Suppose -o = -q - 5. Let h = -28 + q. Put 3, h, -10 in decreasing order.
3, h, -10
Suppose -312 = 9*m - 330. Let j be (-30)/4*(561/55 + -9). Sort m, j, -3.
j, -3, m
Let x be -2 - (5 - -4) - -12. Suppose 2*z + 14 = -6*d + 2*d, -5*z + 5 = 2*d. Put -4, z, -13, x in increasing order.
-13, -4, x, z
Suppose -8 + 36 = 7*o. Let m(q) = -q**2 + 10*q - 10. Let g be m(9). Put -5, o, 5, g in increasing order.
-5, g, o, 5
Suppose 0 = -8*p + 9 - 25. Let v = 14 - 18. Let f = p - v. Sort 1, f, -9 in descending order.
f, 1, -9
Let w = 0.6614 - 0.2614. Put 0, w, 3, 64 in descending order.
64, 3, w, 0
Let b = -8657 - -8654. Sort 1/6, b, 160/9.
b, 1/6, 160/9
Let l = 18 + -36. Let v = l + 17.8. Let w = 109/5 + -65/3. Put -1/2, w, -0.7, v in ascending order.
-0.7, -1/2, v, w
Let b be (33/(-99))/((-2)/72). Suppose 2*s = -3*n - 9 + 3, -5*n - 4*s - b = 0. Let g(x) = -x + 3. Let u be g(5). Put -13, u, n in increasing order.
-13, u, n
Let f = -24925/9 + 2769. Sort f, 0, -0.2 in ascending order.
f, -0.2, 0
Let r(w) = -9*w**2 - 4*w - 5. Let c = -254 - -253. Let m be r(c). Sort 2, -1, m in descending order.
2, -1, m
Suppose 0 = 2*i - 16 + 8. Suppose -4*o = 5*h - 0 + 5, -32 = i*o - 4*h. Sort 2, o, -3, -4.
o, -4, -3, 2
Suppose 3*a + 2*a - 5 = 0, 5*o = -2*a + 937. Sort o, 0, 7, -5.
-5, 0, 7, o
Let h be -8 + ((-10)/(-6))/((-45)/(-54)). Let f be (-1)/h - (-21)/(-18). Let d = -0.7 + -3.3. Sort d, f, -1/4, 7/6.
d, f, -1/4, 7/6
Let n(q) = 9*q**2 - 2*q + 1. Let g be n(1). Let k = 581772 - 581772.5. Put -0.23, g, 4, k in ascending order.
k, -0.23, 4, g
Suppose 3751 = p - 3*m, 5*p - 13*m - 22085 = -3338. Put 0, 1, p in increasing order.
0, 1, p
Let c be (-4 - 65469/21) + 3. Let k = c + 3128. Let n = 740/77 - k. Put -0.5, n, 0 in increasing order.
-0.5, 0, n
Let d = 83 + -80. Let w be (d/(-12))/(4/(-272)). Let h = -21 + w. Put h, -2/5, -2/7 in descending order.
-2/7, -2/5, h
Let g be 4*294/(-112) - -10. Put -1, -2, g, 5.5 in descending order.
5.5, g, -1, -2
Suppose -4*o - 24 = -4*r, 7*o - 137*r + 30 = -134*r. Let v be 0/((-1)/2*-2). Put -9, v, -5, o in descending order.
v, o, -5, -9
Let w = -3.977 - 0.023. Let g = -0.08 + -0.36. Let d = -0.06 + g. Put 2/19, d, -1/6, w in descending order.
2/19, -1/6, d, w
Let y be ((-6)/135)/(62/(-279)). Sort 2/15, 2, y, -8 in increasing order.
-8, 2/15, y, 2
Let y be (-50)/(-6) + (-65 - -56). Let f = -0.26 + 0.14. Let q = 0.02 + f. Put q, y, -2, 0.2 in descending order.
0.2, q, y, -2
Let u = -1.8918 - -0.8918. Put 0.4, 4/25, u, -2/9 in ascending order.
u, -2/9, 4/25, 0.4
Let p = 0.04 + -0.04. Let v = 14452.9 + -14453. Put -6, v, p in decreasing order.
p, v, -6
Let v(u) = 4*u**2 + 67*u - 22. Let q be v(-17). Put -2463, 0, q, 3 in ascending order.
-2463, q, 0, 3
Let g = -473.3 - -473.8. Sort 0.3, -34.63, g in decreasing order.
g, 0.3, -34.63
Let x(p) = -p**3 + 3*p**2 - p. Let s be x(3). Suppose 5 - 184 = -74*k + 117. Sort 6, -1, s, k in decreasing order.
6, k, -1, s
Let v = 2.94 - 3. Let h = -353 - -353. Sort v, h, 5.
v, h, 5
Suppose 28 = -118*k + 146*k. Put 4, -2, -5, k, -60 in decreasing order.
4, k, -2, -5, -60
Let j(w) = -w**3 - 3*w**2 + 13*w + 36. Let c be j(-3). Put 9, 0, c, -6 in ascending order.
-6, c, 0, 9
Let f = -67.5 - -67.7. Suppose 0 = -2*i + 5 - 1. Suppose -i*z = -z. Put 2/9, f, z, 5 in decreasing order.
5, 2/9, f, z
Let m = 3.23 + -3.2. Let p = -0.13 + m. Let b = 2071/5 + -414. Put b, 1/6, p, -1/2 in descending order.
b, 1/6, p, -1/2
Suppose -534 = 128*f - 39*f. Sort -0.0449, -1, f, 0.2 in descending order.
0.2, -0.0449, -1, f
Let t = 147 - 129. Suppose -9*k = -t*k + 234. Sort 0, 3, k in ascending order.
0, 3, k
Let a = -7/130 + 17/26. Let s be 3 + 2 + -2 + (-8786)/2898. Put s, -4/3, a in decreasing order.
a, s, -4/3
Let r(t) = -t**3 - 20*t**2 - 17*t - 1. Let g(d) = -3*d**2 + 3*d - 1. Let o be g(3). Let y be r(o). Let w = y - -35. Sort w, 2, 0.2.
w, 0.2, 2
Let w(j) = -j**2 + 3*j + 70. Suppose 5*n = 13*h - 18*h + 60, h = -4*n + 42. Let b be w(n). Put -3, -10, b in increasing order.
-10, -3, b
Let j = 1156 - 1159. Sort -66, j, -4.
-66, -4, j
Suppose -11 = -4*f + 41. Suppose 4*n + 133*n = 514 + 34. Suppose 0 = -2*w + 3*y + 7, 0 = w + n*y - 7 - f. Sort 1, w, 2, 4.
1, 2, 4, w
Let n be ((-10)/(-15))/((-6)/(36/(-2))). Suppose y + 0*y - 4 = 0. Suppose -2*r + 5*l + 26 = 0, -r - 2*l - y - 1 = 0. Sort r, 1, n, -2.
-2, 1, n, r
Let z = 1898 + -1899. Let p(g) = -g**3 + 12*g**2 - 10*g - 7. Let d be p(11). Let a be 2/d*(-2)/3. Sort -1/16, z, a.
z, a, -1/16
Let j(r) be the third derivative of -r**6/60 - r**5/3 + 23*r**4/24 + 4*r**3/3 - 11*r**2 + 3*r. Let x be j(-11). Put x, 27, -0.1 in decreasing order.
27, -0.1, x
Let f be 13/(-91) - (-2)/112. Sort 109/3, f, -