order.
-5, x, n
Let j(n) = n - 30. Let i be j(27). Let c(b) = b**3 - 12*b**2 - 15*b + 28. Let x be c(13). Sort x, -5, i.
-5, i, x
Suppose 6317 = 137*u - 7794. Put 4/7, 0.3, u in decreasing order.
u, 4/7, 0.3
Let s = 56.35 + -1.35. Let j = s - 150. Let m = -94.91 - j. Sort 1/2, -3, m.
-3, m, 1/2
Suppose 1161*a - 2*g = 1161*a + 20, 0 = a - g - 19. Suppose 0 = -5*n + 5*w - 15, -6 = -2*n + 3*n - 4*w. Sort n, -3, 1, a in increasing order.
-3, n, 1, a
Let t = 179 - 175. Put t, -1/9, -0.14, -0.1 in decreasing order.
t, -0.1, -1/9, -0.14
Suppose -4*r + b = -447 + 354, r + 2*b = 30. Put -1, 2, r in ascending order.
-1, 2, r
Let y = 35.97 - 37.97. Sort y, -17, 0.08, 0.1 in decreasing order.
0.1, 0.08, y, -17
Let t(z) = -10*z + 232. Let l be t(23). Put -3, -4, l, 666 in descending order.
666, l, -3, -4
Let y = 711.2 + -708.2. Sort y, 0.3, -67, 2/13 in ascending order.
-67, 2/13, 0.3, y
Let o be 141*-3*3/9. Let h = 145 + o. Sort 1, h, -3.
-3, 1, h
Let r = -599 + 601. Sort -1/4, 1/9, -0.4, -2, r.
-2, -0.4, -1/4, 1/9, r
Let q = -112 + 111. Let k(b) = 4*b + 6. Let v be k(q). Put -2, v, -3, -4 in descending order.
v, -2, -3, -4
Suppose -x = d - 5, 4*d - 3*d = 3*x + 21. Suppose -11 = 4*j + d. Let p = -1408 + 1406. Put 3, 1, p, j in decreasing order.
3, 1, p, j
Let r be 8/(-18)*(-12)/(-8). Let v(t) = -t**2 - 6867*t + 20614. Let a be v(3). Sort -2/19, a, -10, r in ascending order.
-10, r, -2/19, a
Let d = -3.4136 - -0.3136. Sort 3/2, d, -2/3, 5.
d, -2/3, 3/2, 5
Let o = -0.0274 - 446.9726. Let p = -447.16 - o. Sort p, 3, 2 in increasing order.
p, 2, 3
Suppose 123*h + 707 = 130*h. Let b = h + -96. Put -2, -9, b, -4 in decreasing order.
b, -2, -4, -9
Let j = 21632 - 21640. Put 0, j, -85, -4 in decreasing order.
0, -4, j, -85
Let q be (-32)/33 + 160/(-440). Sort q, 7, 0.2, 130 in ascending order.
q, 0.2, 7, 130
Let h be -2*(-6)/4 + (-55193)/97. Let b = 570 + h. Suppose 3*j + v + 4 = 24, 4*v - 30 = -2*j. Sort j, 2, b, -3.
-3, 2, b, j
Let n be ((-13)/(52/8))/(16*-1). Sort n, 1, -495 in ascending order.
-495, n, 1
Let n = -2112.8 + 2113.3. Let k = 0 + -0.09. Sort k, n, 4.
k, n, 4
Let t(g) = g**3 + 89*g**2 - 886*g + 36. Let c be t(9). Sort 3, -16/29, c.
-16/29, c, 3
Let p be 6/(-54)*1 - 1185/27. Let k be 42/((-1)/1) - -1. Let m = k - p. Put m, -1, 1 in decreasing order.
m, 1, -1
Suppose 2*c + 10 = 4*c. Suppose s - c = -4*s. Suppose 17*x + 23 - 6 = 0. Sort x, 2, 3, s in decreasing order.
3, 2, s, x
Let g be (-93)/7 + 3/((-147)/(-14)). Let l be (-69)/(-15) + g/((-130)/4). Suppose 61 = -3*d - 14. Sort l, -3, d in increasing order.
d, -3, l
Let c = 619 + -619.5. Let x = -0.49 + 3.71. Let v = -0.22 + x. Put v, c, -2/11, -2 in ascending order.
-2, c, -2/11, v
Let f = 3684 + -3686. Put -0.4, f, 0.4 in ascending order.
f, -0.4, 0.4
Suppose 10 = -5*w + 3*w. Let l be (-5 + 104/20)*5. Sort w, l, 5 in descending order.
5, l, w
Suppose 22*p - 27*p - 5*d = -20, -4*d = -p + 4. Sort -5, -2, -20, p.
-20, -5, -2, p
Let d = 37 + -18. Let o = 17 - d. Let f be (-3)/2*(-11 + 10). Sort f, -0.4, o.
o, -0.4, f
Let s be 154/231*(-1)/(2/543). Let o = 186 + s. Let w(j) = -j**2 + 3*j - 2. Let y be w(3). Put 3, -5, o, y in descending order.
o, 3, y, -5
Let k = 226 + -267.1. Let q = k + 41.5. Put -9, q, -5/3 in decreasing order.
q, -5/3, -9
Suppose 115*b = 96*b - 12901. Sort 2/7, b, -0.1.
b, -0.1, 2/7
Let z be (-32)/(-2) + 924/(-63). Sort 3, 5, 19, z in decreasing order.
19, 5, 3, z
Suppose -2*c = -6 - 6. Suppose 0 = -2*x + 5*a - c + 1, 0 = -4*x + 5*a - 25. Let s be 1/(-5) + (2 - 2/x). Put -1, -2, s, -5 in decreasing order.
s, -1, -2, -5
Let a(o) = -o**2 - 84*o - 1084. Let h be a(-16). Put 25, h, 7, -4 in decreasing order.
25, 7, h, -4
Let w(s) = -s + 1. Let q be w(4). Let h be 3/(-24) + (-2533)/15160. Let j = -3/379 + h. Put j, q, 1 in increasing order.
q, j, 1
Let o = -255.1629 + 0.1629. Let k = -104 + 104. Put o, k, 1 in descending order.
1, k, o
Let z be 48/(-2 + -2) - (-416)/52. Let v = 7 + -4. Sort v, z, 1, 6 in ascending order.
z, 1, v, 6
Let s = 203/1410 - 1/94. Let b = 92.2332 + -92.4332. Put b, -6/7, s in decreasing order.
s, b, -6/7
Let j(l) = -2*l**2 - 25*l + 154. Let u be j(7). Sort -8, -1, u in ascending order.
u, -8, -1
Let v be ((-4)/4 - 1)*(-11)/(-286)*-1. Sort 1/9, v, 5, -0.1, -1/7.
-1/7, -0.1, v, 1/9, 5
Let y = -68.22 + 100.22. Put 5/6, y, 19 in increasing order.
5/6, 19, y
Let j = 35 + -60. Let c be j/(-300) - 2/6. Suppose 4*q = 15 + 21. Sort -2, q, c, 2 in ascending order.
-2, c, 2, q
Let x(s) = 2*s**2 - 8*s + 2. Let f be x(3). Let v(a) = -a**3 - 3*a**2 + 2*a - 9. Let w be v(f). Sort -6, 2, w, -3.
-6, -3, w, 2
Let d = 4649 - 4648.802. Put 1/4, d, 1 in descending order.
1, 1/4, d
Suppose -2*k + 8 = 5*b - 4, 2*k + 2*b = 24. Suppose -26*y - k = 192. Sort 2, y, 6 in increasing order.
y, 2, 6
Let a = -0.06 - 0. Let m = -0.12 + -13.78. Let k = m + 14. Sort 1, a, k in increasing order.
a, k, 1
Let a = 18.8 + -20. Let l = -1.15 - a. Let x = -123 + 619/5. Sort l, -0.5, x.
-0.5, l, x
Let u = 3639.91 - 3640. Sort u, 0.5, -77, 4/7 in ascending order.
-77, u, 0.5, 4/7
Let g = -2 - -6. Suppose -g*h + 2*r = -16, h = -r + 5*r + 4. Suppose -23 = -5*q - 183. Sort h, -3, q.
q, -3, h
Let w be -11*1 - (-6785)/575. Put 2/13, -4, w in descending order.
w, 2/13, -4
Let m = -5112 + 5116. Put -0.2, 2/5, 0.05, m in descending order.
m, 2/5, 0.05, -0.2
Let v be ((-5215)/(-98))/(99/(-6)). Let q = v - -36/11. Put -1, 2, q in decreasing order.
2, q, -1
Let n = -48075 + 48073. Let g(j) = 3*j**3 - 4*j**2 + 3*j - 1. Let y be g(2). Let u = y + -7. Put u, -4, n, 4 in descending order.
u, 4, n, -4
Suppose 40 - 1 = -13*a. Let j be -8*((-20)/5 - a). Sort -3, 0.1, j, -3/5 in increasing order.
-3, -3/5, 0.1, j
Let y be (-7)/((-49)/91) + -13. Sort y, -5.1, -2/5.
-5.1, -2/5, y
Let k be -1 + -447 + (-2 - 2) + 3. Let m = k - -453. Put m, -2/9, -27/4 in decreasing order.
m, -2/9, -27/4
Suppose 0 = -9*i + 24*i - 30. Suppose 3*r + 7 = m + 4*m, -2*r = -4*m + 6. Suppose 0*k - 9 = -k + 2*c, -5*c = m*k. Put k, i, 1, 4 in decreasing order.
k, 4, i, 1
Let o be 2/1 - 16/(-168)*-7. Let b = -861 - -869. Sort b, 0.5, o, 3/5 in ascending order.
0.5, 3/5, o, b
Let q = 21 - 20. Let u(w) = -13*w - 29. Let g be u(-2). Put g, q, 5 in descending order.
5, q, g
Let r = -370 + 374. Let k = -3.7 + 4.1. Let s = 0.01 + -2.01. Put s, k, r in ascending order.
s, k, r
Let q = 471653/89444 - 311/59. Sort 1/7, q, -3 in increasing order.
-3, q, 1/7
Let n = 4 + 1. Let h = -0.8931 + 0.9931. Put h, 0.04, 0.4, n in increasing order.
0.04, h, 0.4, n
Let n = 2.897 - 3.097. Put n, 12, 2/15 in decreasing order.
12, 2/15, n
Let a = 112 - 110. Sort a, -1, 75 in decreasing order.
75, a, -1
Let q = -262665 - -262670. Let g = -5 + 11. Sort q, -4, g, -1/4.
-4, -1/4, q, g
Let h be (-3 - -6)/(6/(-10)). Suppose -9*d - 66 = -3. Sort 2, d, h in ascending order.
d, h, 2
Let q(j) = -j**2 + 25*j - 82. Let z be q(4). Sort 1, 19, z in descending order.
19, z, 1
Let n be (-110)/44*(-2 + 308/(-10)). Suppose n*m - 36 = 73*m. Put 1, m, -3, -18 in increasing order.
-18, -3, 1, m
Suppose -72 = 168*k - 186*k. Put -23, 2, -13, k in decreasing order.
k, 2, -13, -23
Let u(d) = 2*d**3 + 9*d**2 + 188*d - 387. Let w be u(2). Let i be (-1)/(-3 + -3 + 5). Put -1, i, 3, w in decreasing order.
w, 3, i, -1
Suppose v - 5 = -5*r, 0 = -3*r - 4*v - v - 19. Suppose -r*m = 3*m + 15. Sort 2, -4, m in ascending order.
-4, m, 2
Suppose 2*l + i + 1 = 3, 2*i = -l - 2. Let v be (1/l)/(17/34). Sort 0, v, -49 in ascending order.
-49, 0, v
Suppose 0 = 4*z - 2*n - 78, -4*z - 4*n - 38 = -122. Suppose -8*w = -z*w + 12. Suppose -2*a - 10 + 24 = 0. Put w, a, 5 in ascending order.
w, 5, a
Suppose 0 = 4*y - 4 - 16. Let a = 82 - 50. Suppose -a = 14*m + 10. Sort m, y, 4, 3 in increasing order.
m, 3, 4, y
Let w(x) = x**3 + 6*x**2 + 4*x + 40. Let l be w(-6). Put -1, -3, l in descending order.
l, -1, -3
Let u = -0.103 - -0.003. Let t = 3 - 3.24. Let y = t - -2.24. Sort 15, y, u.
u, y, 15
Let l = -3632 - -3636. Put -34, 0, l, 5, -14 in decreasing order.
5, l, 0, -14, -34
Let r = 1.5482 - 93.5482. Sort 1/3, 1, r, -2/11, 2 in increasing order.
r, -2/11, 1/3, 1, 2
Let y = 175 - 417. Let s = y - -242.05. Put s, 0.4, 0 in descending order.
0.4, s, 0
Suppose 64*i + 1129 = 1321. Put 8, i, 53 in increasing order.
i, 8, 53
Let