ng order.
a, 3/7, k
Let u = -787.2 + 787.1. Put u, 1/2, -5, 5, 0.2 in decreasing order.
5, 1/2, 0.2, u, -5
Let k = -2.86 - -2.66. Suppose 0 = -3*t - 4*s - 0 + 4, 0 = 2*t + 4*s. Suppose -l + t*j + 6 = -j, 2 = -j. Sort 2/7, l, k in decreasing order.
2/7, k, l
Let o(j) = -j**2 - 7*j - 2. Let w be o(-7). Suppose 0 = -9*h + 9. Let x = -218 - -214. Sort w, h, x, -5.
-5, x, w, h
Let c = 2 + -1.15. Let v = 0.55 - c. Sort 2, v, -2/5.
-2/5, v, 2
Let c be ((-34)/(-102) + (1 - 1))*1. Sort c, 1.2, -2/163 in decreasing order.
1.2, c, -2/163
Let j = -178 + 437. Let r = 258.6 - j. Let f = -18 + 10. Put f, -0.5, 2/11, r in ascending order.
f, -0.5, r, 2/11
Suppose 0 = -5*y + 8 + 7. Let l be 8 - -8*(-18)/12. Put l, y, 30 in increasing order.
l, y, 30
Let c = -44.6 - -44.6185. Let k = c - 0.0185. Sort -36, k, -1/4 in ascending order.
-36, -1/4, k
Let h(y) = 1. Let r(l) = 4*l + 42. Let g(d) = -12*h(d) + r(d). Let c be g(-7). Let v(n) = -n**2 - 3*n + 3. Let j be v(c). Sort j, -3, 4, -4 in ascending order.
j, -4, -3, 4
Let t(p) = -29*p + 1130. Let y be t(32). Put -1, 1, y in increasing order.
-1, 1, y
Let j = 0 - 0.09. Let q = -202.4 - -173. Let f = -29 - q. Sort 1/4, f, 2, j in descending order.
2, f, 1/4, j
Let w be (-9 + (-153)/(-18))*(-3 - -1). Sort -1/6, -0.06, w, 6/5 in increasing order.
-1/6, -0.06, w, 6/5
Let o(g) = 97*g - 6305. Let a be o(65). Let d = 1 + -1.2. Put a, -1, d in increasing order.
-1, d, a
Suppose 0 = -5*j + 4*l - 15, -5*j + 0*l = -l. Let v be 87/24 - (-4 - -8). Put v, 3, j in decreasing order.
3, j, v
Suppose 15*c + 36 = 6. Let d be (-43 - c)/(3/18*-2). Put -3, 1, d, 5 in descending order.
d, 5, 1, -3
Let v(g) = -72*g - 32. Let h be v(9). Let q = h - -676. Sort 2, 0, q in increasing order.
q, 0, 2
Let x be (-3)/(-3)*-3 + 0. Let l be (1 + x/4)*(2 - 1). Sort 2, l, -1.3, -3 in increasing order.
-3, -1.3, l, 2
Let v = 3.4 + -0.4. Let b = -6 + v. Let o be 22/(-2 - 0) - (-26 - -14). Sort o, -4/3, 0.4, b.
b, -4/3, 0.4, o
Let q = 20395.803 - 20396. Sort q, 0, -0.3, 4/7, 1 in descending order.
1, 4/7, 0, q, -0.3
Let x = 355.3 + -355. Let q = 8.27 - -0.73. Sort 0.1, q, -2/11, x in descending order.
q, x, 0.1, -2/11
Suppose 12 = -2*j - j. Let y be (110/5)/((-2)/j). Suppose -3*s = -r - 5, 13*r + 14 = 4*s + 8*r. Sort -5, s, y in ascending order.
-5, s, y
Let i(g) = 2*g**2 + 7*g - 74. Let r be i(-8). Sort r, 5, -51, -1.
-51, r, -1, 5
Let o = 474 - 720. Let l = o - -250. Sort -0.1, 0.3, 14, l in descending order.
14, l, 0.3, -0.1
Suppose 5*b = 11*q - 12*q - 11, -8 = 4*b. Sort -17, -19, 1, q, -5.
-19, -17, -5, q, 1
Let i be (-18)/(-8)*(36 + (-3850)/105). Let t(g) = g + 3. Let c be t(-3). Put i, c, 65 in ascending order.
i, c, 65
Suppose -l = 312*n - 314*n - 11, 2*l - 16 = n. Put -2, l, -54, 1 in descending order.
l, 1, -2, -54
Suppose 4 = -2*f + 2*o, f - 4*o - 18 = -7*o. Let x = -573 - -557. Sort f, 0, x.
x, 0, f
Let d be -6 - (-8 + 420/231). Put -5/8, -311, d in decreasing order.
d, -5/8, -311
Let x = 187.5 + -180. Let s = x + -12.5. Sort 4, s, 9/5, 1 in descending order.
4, 9/5, 1, s
Let o be ((-35)/(-14) + -2)*(-1 - (1 + 0)). Sort o, 61, -5 in decreasing order.
61, o, -5
Let o = -92 - -89. Let i be 116/154 + 18/(-99). Let r = -0.07 + -6.93. Sort i, o, r in ascending order.
r, o, i
Let g = 1270/11 + -115. Let c = g + -14/55. Sort c, 5, 1/9.
1/9, c, 5
Suppose -2*r - 14 = -y, -5*r - 2*y + 137 = 136. Put 1, r, -4, 42, 2 in descending order.
42, 2, 1, r, -4
Let s(f) = 2*f**2 - 2. Let m = 9 - 11. Let r be s(m). Let j be (r/(-20))/((-108)/48). Sort -2, -4, j.
-4, -2, j
Let u = -2.203 + 1.703. Suppose -3*t - 17 = 4*w, -1 = -w - 2*t + 1. Put w, u, 0.5, 4 in descending order.
4, 0.5, u, w
Suppose -4*y + 22 - 5 = 5*x, -4*y = -2*x - 10. Suppose -3*q + 4*r - 6 = 0, -4*q + 3*q - 5*r = 2. Sort x, 5, q.
q, x, 5
Suppose -j + 9 = -0*j - 5*s, 3*s = -3*j + 9. Suppose j*g + 24 = 7*g. Let k = g - 4. Sort k, -2, 5 in decreasing order.
5, k, -2
Let o = 377 - 344. Let j = -74 + o. Put -2, -4, j, 5 in increasing order.
j, -4, -2, 5
Let t = -40 - -40.009. Let y = t - 10.009. Let f = 11 + y. Put 2, -4, f, 0.2 in increasing order.
-4, 0.2, f, 2
Let h be (-2)/(-3) + (-88)/132. Sort h, 8, 3, 1 in ascending order.
h, 1, 3, 8
Let t = 4766.9 + -4767. Sort t, -4, 74, -5 in decreasing order.
74, t, -4, -5
Suppose -b = 3*b + 52. Let c be 22/11*-1*2. Put c, b, -2 in ascending order.
b, c, -2
Let h be (0 - 24/18)*3. Let a(n) = 51*n - 41. Let k be a(1). Sort h, k, -5, 5 in increasing order.
-5, h, 5, k
Let y(a) = -3*a**2 - a + 1. Let q(c) = 13*c**2 - 12*c + 1. Let u(h) = -q(h) - 5*y(h). Let x be u(-9). Sort x, -8, 5 in ascending order.
-8, x, 5
Let w be 1 - ((-128)/(-20))/4. Let s be (-2)/6*279/186. Put w, -0.25, s, -3 in ascending order.
-3, w, s, -0.25
Let m(q) = q**2 + 25*q + 37. Suppose 0 = 5*d + 22 + 78. Let u be m(d). Let w = 66 + u. Sort w, 0, -22.
-22, 0, w
Suppose -215 + 231 = 4*l, 5*l - 16 = 2*j. Put 4, -4, 0, j, 6 in descending order.
6, 4, j, 0, -4
Let u = 409 - 235. Suppose -8*c - u = -10*c. Let i = c - 92. Sort 11, 3, i.
i, 3, 11
Let s be (13/(-9) + 2)/((-18)/((-432)/60)). Put 25, 2, -4, s, 0.2 in descending order.
25, 2, s, 0.2, -4
Let s = -4 + 1. Suppose -11*m = -10*m + 15. Let q = m + 74/5. Put q, 4, s in ascending order.
s, q, 4
Let j = 0.9154 + 2.0846. Sort 2/7, j, -129 in ascending order.
-129, 2/7, j
Let c = -1.1 + 5.1. Suppose -15 = 3*k - 2*t, 23*t - 22*t - 18 = 5*k. Sort 0.4, k, c, -6 in descending order.
c, 0.4, k, -6
Let o = -13/834 + 595/2502. Sort -0.3, -8/13, -1/7, o.
-8/13, -0.3, -1/7, o
Let i = -33 - -33.3. Let l(f) = f**3 + 3*f**2 - f - 1. Let x be l(1). Sort 0, x, 4, i in ascending order.
0, i, x, 4
Let p = -5879 - -5862.9. Sort p, 0.2, 4, -0.3, 3/5 in descending order.
4, 3/5, 0.2, -0.3, p
Let z = -0.2 - -0.3. Let k = -16.9123 - -28.9123. Put z, 0.3, 3/2, k in decreasing order.
k, 3/2, 0.3, z
Let i = 196 - 180. Let p = -16 + i. Sort 1, 31, p in increasing order.
p, 1, 31
Let o = 0.063 + 0.237. Let c = 0.08 - -0.02. Let t be (-1)/(-1*2/6). Put 4, c, o, t in increasing order.
c, o, t, 4
Let i be 58/(-60088)*-56 + 0 + (-187)/37. Let u(n) = n - 10. Let t be u(11). Suppose -a + 36 = 3*a. Put a, i, t in decreasing order.
a, t, i
Let d = 80 + -79.85. Let z = d + -0.25. Sort 2, z, -1 in ascending order.
-1, z, 2
Let b = -137.75 + 92. Let p = b + 45.8. Sort 2/13, -0.08, p, 0.5 in decreasing order.
0.5, 2/13, p, -0.08
Let i = 162 + -157.1. Let s = -5.2 + i. Put s, 2/35, -1/8, -2 in ascending order.
-2, s, -1/8, 2/35
Let u be (0 - 2)/((-4)/(-122)) + 3. Let c = -43 - u. Let s be (18/c)/(4/10). Put 5, 7, s in decreasing order.
7, 5, s
Let m = -43363 + 43363.1. Let b = -4.93 + -0.07. Sort m, b, 1, -0.1 in ascending order.
b, -0.1, m, 1
Let d = -4.07 - -0.07. Let l be 3/24*-133 + (-18)/48. Let s be 236/(-15045) - (-1 - 19/l). Put -3/10, d, s in descending order.
s, -3/10, d
Let c = 0.062 + 0.338. Sort c, -37, -0.1 in descending order.
c, -0.1, -37
Suppose -4 = -2*y + 2. Let x be y/(-4) - (-3 - -1). Let i = -4.5767 + 4.9767. Sort 2/9, 2/15, x, i in ascending order.
2/15, 2/9, i, x
Suppose 5*i = 2*i + 24. Let u be (5 + (-28)/i)/(6/(-4)). Sort 3, u, 4.
u, 3, 4
Suppose -2*n = -0*n. Suppose -2*x + 2 + 0 = n. Suppose -98*t - 187*t - 304*t = -6*t. Sort -0.3, -1/8, t, x in decreasing order.
x, t, -1/8, -0.3
Suppose -4*p - 4*k = 8, 2*p - 2*k = -8 - 0. Let d be (4/(-6))/((-4)/(-15)). Let h = d + 2. Put p, h, -1, 0.17 in decreasing order.
0.17, h, -1, p
Let t = 7340 - 7679. Put t, 1/4, 2/71 in descending order.
1/4, 2/71, t
Let o(c) = -4*c**2 - 2*c - 1. Let n be o(-1). Let s = -12661 - -12657. Sort n, s, 2, -10 in decreasing order.
2, n, s, -10
Let x be (-2)/(-10)*(-5)/(-4). Suppose -t + 6*n = 11*n + 11, 3*t - 2*n + 16 = 0. Let h be t*2/(-4)*(-6)/(-42). Sort 2/13, h, x in ascending order.
2/13, x, h
Let y(a) be the first derivative of 8*a**2 + 150*a - 71. Let d be y(-9). Suppose 4*u + c - 20 = 0, -5*c = -u + 2*u - 5. Put d, -2, u, 1 in ascending order.
-2, 1, u, d
Let q(d) = -3*d**3 - 82*d**2 - 46*d - 517. Let k be q(-27). Sort k, -929, 2 in increasing order.
-929, k, 2
Suppose -27*m - 849 + 957 = 0. Sort 0, 18, m, 5, -5 in increasing order.
-5, 0, m, 5, 18
Let u = -175.69 + 176.19. Sort -0.2, u, 8, 4/9.
-0.2, 4/9, u, 8
Let c be -18*(5/15 - 1) + 0. Suppose -4*x - 3*m + 8*m + c = 0,