ng order.
i, 2, 3
Let p(x) = -x**3 - 6*x**2 - 8*x - 10. Let o be p(-5). Suppose -5*a - 6 + 1 = 5*r, 0 = 5*a - r - 1. Suppose a = -5*k + 2*k. Put -4, k, o in decreasing order.
o, k, -4
Let d = 592.1 + -592.4. Let l be (-5)/(-2) + (-3 - -2). Put 0, l, 1.1, d in increasing order.
d, 0, 1.1, l
Let x = 213/4 - 54. Let k be (0 - 1)/(2 - 29/14). Suppose 12 = k*z - 17*z. Put x, 3, z in descending order.
3, x, z
Let o = 62.8 + -62.76. Sort o, -2, 52 in increasing order.
-2, o, 52
Suppose 46 - 13 = j - 5*u, -3*u + 14 = 2*j. Put j, 2, 3 in increasing order.
2, 3, j
Let h be -4 + (1 - -2) + -2 + 3. Sort h, -8, -4, 2 in decreasing order.
2, h, -4, -8
Let g = 237 - 2609/11. Let r = 15/391 - -361/782. Sort r, 3/8, g in increasing order.
g, 3/8, r
Let c = 1273/136 + -174/17. Sort 2/13, c, 3/2 in decreasing order.
3/2, 2/13, c
Let d be (13/26 + 1)*-2. Let f(b) = -b**3 - 6*b**2 - 5*b. Let x be f(-5). Sort 4, d, -4, x in descending order.
4, x, d, -4
Let z = 4 - 7. Let s be (290/(-464))/(3/(-168)). Sort 0.2, z, s, -2.
z, -2, 0.2, s
Let b(w) = -w**3 - 4*w**2 - 3. Let t = -10 + 6. Let d be b(t). Suppose 0 = -5*y - 1 + 11. Put 3, d, y in descending order.
3, y, d
Let i = -73 + 73.46. Let d = i + -0.66. Put d, -3, 5 in ascending order.
-3, d, 5
Let q = -6803/13 - -3608281/6890. Let m = q - -1/106. Sort m, -0.3, -0.2, -2/7 in descending order.
m, -0.2, -2/7, -0.3
Let t = 10 + -8. Let o be (-1)/(2*t/8). Sort -4, 3, o.
-4, o, 3
Let c = 1317 - 6583/5. Put -3, 1/6, -58, c in descending order.
c, 1/6, -3, -58
Suppose -5*y - 4*v - 4 = -2*v, 0 = -4*y + 3*v + 6. Suppose 3 = 3*r - y*r. Sort -3, r, 0, 4 in decreasing order.
4, r, 0, -3
Let v(d) = d - 1. Let y be v(3). Let n = -15 - -16. Suppose 2*z - j = 19 - n, 0 = z - 5*j - 27. Sort y, z, 4 in increasing order.
y, 4, z
Let n = -142 + 144. Let d be 14 + -6 - 6/n. Suppose 0 = -5*h - c + 30, -8*h + 3*h + c + 40 = 0. Put 2, d, h in descending order.
h, d, 2
Suppose 4*o - 70 = -5*q, -2*q + o = 2*q - 77. Let y = q - 13. Let k(u) = -2*u - 12. Let n be k(-4). Put n, y, -5 in ascending order.
-5, n, y
Let a = -0.01 + -1.99. Let o = -0.09 - -5.09. Sort o, a, 2 in increasing order.
a, 2, o
Let x be 3/((-27)/(-6)) + (-130)/(-30). Put 7, 3, x, -4 in descending order.
7, x, 3, -4
Suppose 5*f + 5*g + 19 = -11, 0 = 5*f + 3*g + 24. Let r(l) = 7*l + 59. Let u be r(-9). Put f, 3, u in ascending order.
u, f, 3
Let w be 3/(4/(1 - -11)). Suppose z + 5*c = 6*c - w, 3*z + 31 = 5*c. Suppose -p - p = 4. Sort p, z, 1 in ascending order.
z, p, 1
Let y = 102 + -61. Let j = y + -43. Sort j, 5, 0, -5.
-5, j, 0, 5
Let n be (-2 - 0)*(-168)/16. Suppose 0 = -2*s + 11 - n. Let t = -11 + 7. Put 1, t, s in ascending order.
s, t, 1
Let w = -15 + 17. Let x be -4 + (-1)/(w/(-9)). Let o = -164/63 - -19/7. Put 5, o, x in decreasing order.
5, x, o
Let p be -1 + 0/(-4) - -3. Suppose 4*s - p*j + 3*j - 19 = 0, 2*s + 2*j - 8 = 0. Suppose h - 2*u - 6 = 0, -s*h + 3 = -5*u - 2. Put 12, 4, h in ascending order.
h, 4, 12
Let a = -0.72 + 1. Let t = a - -0.12. Let i = 4.4 - t. Sort 0, i, 2 in decreasing order.
i, 2, 0
Let i = -20 - -20. Suppose 5*c - 2*l + 11 = i, 4*c + 3*l + 0*l = 5. Put 0, 5, c in descending order.
5, 0, c
Let n = -1 + -2. Let m = 3.1 + n. Suppose 0 = -2*d + 12 - 10. Sort m, -0.3, d in ascending order.
-0.3, m, d
Let v = 1043.3 - 1043.4. Let j be 24/(-35) + (-2)/(-5). Put 2, j, v, 3 in decreasing order.
3, 2, v, j
Let t(r) = r**2 - 5*r - 29. Let b be t(-4). Put 0, -5, b in decreasing order.
b, 0, -5
Let z = -0.09 + -2.91. Sort -0.2, 0, z, 0.9 in descending order.
0.9, 0, -0.2, z
Let p = -1.57 - -0.67. Put 0.5, -4, p, -1 in decreasing order.
0.5, p, -1, -4
Let x = 12 + -7. Let h be (-7)/(-4620)*32 + 2/(-11). Put x, h, -0.3 in descending order.
x, h, -0.3
Let v = 301 + -304. Put v, -23, 4 in descending order.
4, v, -23
Let x = -107 + 109. Put 5, x, 21 in descending order.
21, 5, x
Let j(q) = q - 8. Let r = 27 + -20. Let h be j(r). Put -4, 5, h in ascending order.
-4, h, 5
Let n be 21 - (3 - (2 + -2)). Suppose 4 + n = -2*c. Let j = -15 - c. Sort j, 2, 9 in increasing order.
j, 2, 9
Let s(b) = 14*b - 1. Let z be s(1). Suppose -3*o = -z - 2. Let t be ((231/14)/11)/((-1)/2). Sort o, -2, t.
t, -2, o
Let b be (0 + -6)*19/(-76). Sort -3, -1, b, 2/7 in ascending order.
-3, -1, 2/7, b
Suppose -244 = -r - 247. Suppose -3*x - 8 = -x. Sort x, 1, -1, r in decreasing order.
1, -1, r, x
Let w be (-1)/2*6 + 56/24. Suppose 4 = -x + 4. Sort -0.3, w, x in descending order.
x, -0.3, w
Let u = 8/39 - -5/39. Let r = 0.31 - 0.01. Let m = r + 0. Put -2/11, u, m in ascending order.
-2/11, m, u
Let g be 3 + (-1 - 1) + 3. Suppose -5*i - 47 = -17. Put g, i, 0 in descending order.
g, 0, i
Let c = -13.49 - -13.9. Let y = -19 + 18.89. Let s = c + y. Sort 0.4, -4, s.
-4, s, 0.4
Let s(a) = 93*a + 925. Let k be s(-10). Let z be ((-6)/(-4))/(1/2). Suppose -5*i = -4*h + 9, -5*i = 3*h - h + 33. Sort z, h, k in decreasing order.
z, h, k
Let g = 6.99 - -0.01. Let l = 7.04 - g. Let o = l - 0.34. Sort 3, 4, o in increasing order.
o, 3, 4
Let w = -1 + -4. Let i be -4*(-3 - -2) - 0. Sort i, -18, w.
-18, w, i
Let s(j) = -j**2 + 4*j + 60. Let h be s(10). Put -4, 0.1, -0.4, h in descending order.
0.1, h, -0.4, -4
Let t(z) = -17 + 11*z - 11*z**2 - 2*z**2 - z**3 + z**2 - 10. Let q be t(-13). Let u(j) = j - 2. Let v be u(4). Put q, -2, v in decreasing order.
v, q, -2
Let x = -10340961/65 + 159095. Let o = -3153 - -40941/13. Let q = x + o. Sort q, -0.1, 2/7 in ascending order.
q, -0.1, 2/7
Let q = 4.2 - 10.1. Let s = -6 - q. Let g = -3 + -1. Put s, g, 1/4 in increasing order.
g, s, 1/4
Let t(p) = -9*p - 39. Let n be t(-6). Suppose -2*s = n + 9. Sort 0, -2, s in decreasing order.
0, -2, s
Suppose -24 = 2*b - 22, -2 = -2*n - 4*b. Put -3, n, 4, -5 in descending order.
4, n, -3, -5
Let n = 170 - 74. Let t = -100 + n. Let u = 0.3 + 0.7. Put t, u, 0 in descending order.
u, 0, t
Suppose 2*f - 42 = -3*o + 24, f = 0. Suppose r = 3*w + 1 - 20, -2*w + 3*r = -o. Put -2, w, 7 in ascending order.
-2, w, 7
Let o = -6 - -13. Suppose 10*y - o*y = 12. Suppose y*h - 4 - 4 = 0. Put -4, 3, h in descending order.
3, h, -4
Let l be (-18)/15*(-185)/333. Sort l, 0.09, 2 in ascending order.
0.09, l, 2
Let n = 368 + -362. Let a = -37 - -32. Sort 3, a, n in increasing order.
a, 3, n
Let a be 1/(-2 - 3/2). Let j = 0.0846 - 0.1846. Put a, 1/7, 0, j in ascending order.
a, j, 0, 1/7
Let i = -3 + -4. Let c = 18 + -17. Let a be (c/3)/((-9)/(-135)). Put a, 1, i in increasing order.
i, 1, a
Let x(m) = m**2 + 13*m - 8. Let i be x(-15). Let b be (i/33)/(4/6). Let d be (b/(-3))/((-49)/(-21)). Put -2, 0, d in decreasing order.
0, d, -2
Let q = -2 + 27.8. Let d = -26 + q. Let s = -216 - -2806/13. Put d, 0.5, s in ascending order.
d, s, 0.5
Let i = -188.5 + 188. Put 0.7, -2, -5, i in ascending order.
-5, -2, i, 0.7
Suppose 0 = o - 3*o + 8. Let h = -14 - -16. Let p = h - o. Put p, -1, 1 in decreasing order.
1, -1, p
Let j be -6 + 3 - (4 + 11 + -14). Let o be (-1)/2*-2 + 4. Sort o, j, -12 in decreasing order.
o, j, -12
Let g = 0.75 + 0.05. Let q = -0.3 + g. Let t = 1090 - 1090.2. Sort -1, q, t.
-1, t, q
Suppose 160 - 547 = -n - 5*g, 3*g + 1663 = 4*n. Let s = n + -202. Let f be s/(-66) + 2/11. Sort f, -2, 0 in descending order.
0, -2, f
Let y(k) = -k**3 + 5*k**2 - 3*k + 2. Let x be y(4). Let q be 403/78 - 1/x. Sort q, 1, -4, -2 in decreasing order.
q, 1, -2, -4
Let y = -6/115 - -29/115. Sort y, 0.28, -2, 4 in descending order.
4, 0.28, y, -2
Let y be (-53)/(-7) - (22/14 + -2). Suppose 13*h = y*h - 25. Let i = -4.7 - -0.7. Sort h, 0, i.
h, i, 0
Let p = 22 - 66. Let s = 47 + p. Sort s, -4/5, 5.
-4/5, s, 5
Let b = -0.0189 - -0.1189. Sort b, 0.1058, 0.3 in ascending order.
b, 0.1058, 0.3
Let a(b) = b - 4. Let z be a(6). Let p be z/15 + (-924)/180. Sort -3, p, 7 in decreasing order.
7, -3, p
Suppose 56*v - 1920 - 824 = 0. Sort v, -4, -2 in decreasing order.
v, -2, -4
Let u = 19 + -18. Suppose -7 = 2*a - u. Sort -1, -2, a in increasing order.
a, -2, -1
Let j(s) = -s**2 - 25*s + 3. Let t be j(-25). Let f be (-46)/(-23) + (-7)/t. Let q = -3 - 0. Sort q, f, 0.5 in increasing order.
q, f, 0.5
Let s = 60 - 149. Let j = s - -89.4. Put -0.3, j, -0.4, -2/11 in descending order.
j, -2/11, -0.3, -0.4
Let c = 1033 - 973. Sort -3, c, 3 in descending order.
c, 3, -3
Le