36*n - 12341*n + 8500 = 0. Sort 2, n, 5.
2, 5, n
Let t = -0.73 + 1. Let c = t + 0.23. Let b = -8/23 + -36/161. Sort b, -0.09, c in descending order.
c, -0.09, b
Let o(f) = 21*f**3 - 57*f**2 - 21*f - 16. Let b(x) = -9*x**3 + 28*x**2 + 10*x + 8. Let p(k) = -5*b(k) - 2*o(k). Let u be p(9). Sort -15, 0, 4, u.
-15, 0, u, 4
Suppose -6*u - 2*g = 38, 22 = 3*u - 3*g + 1. Suppose -f - 15 = 2*f. Put 6.2, f, u in decreasing order.
6.2, u, f
Let s = -574/3 - -5737/30. Let a = -79 - -317/4. Sort -3/5, a, s.
-3/5, s, a
Let y = -74 + 18. Let k = 807 - 483. Let s = k + -321. Sort y, s, 0.1 in increasing order.
y, 0.1, s
Let j be (3 + 57/(-24))*(11 + -3). Let u = -253 + 254. Let t = 13/48 - -1/16. Sort j, t, 0, u in descending order.
j, u, t, 0
Suppose 0 = -13*s - 8 + 47. Let i be ((-6)/2)/(s/(-2)). Suppose l + 2*r = -0*l - 2, i*l = r - 4. Sort 6, 0, l in decreasing order.
6, 0, l
Let d = 260.7 + -263. Let k = d - -2. Sort -3/29, k, -2/11, -4.
-4, k, -2/11, -3/29
Let z = -6 - 59. Let y = 61 + z. Suppose d = 5*d + 12. Put y, 8, d in increasing order.
y, d, 8
Let q be (164/(-246))/(9/6 - 1). Sort q, -7, -0.06 in ascending order.
-7, q, -0.06
Suppose 2 = 3*v + 14. Let s be 23/69 - (-48)/27*(-9)/(-6). Sort 2, -2, s, v in ascending order.
v, -2, 2, s
Suppose 0 = -o - 10 + 16. Let m be (o + -2)/(6 - (-2 - -4)). Suppose a + 4*l = -2*a + 15, -5*a = -l - 25. Put m, -3/4, 0, a in ascending order.
-3/4, 0, m, a
Let g = -21247 - -106247/5. Sort 10/7, 0, 0.4, 0.2, g in decreasing order.
g, 10/7, 0.4, 0.2, 0
Let m = -0.9548 + 0.4548. Put 2/7, 1, 0.52, m in ascending order.
m, 2/7, 0.52, 1
Let z = 13.64 + -17.64. Sort -8/7, -0.1, z in decreasing order.
-0.1, -8/7, z
Let w = 10278 - 113053/11. Sort -1/2, 4/9, 9, w.
-1/2, 4/9, w, 9
Let f = -134 - -539/4. Let v = -4/585 + -2909/2340. Let r = 0.1 - 0.06. Sort -3, r, v, f in ascending order.
-3, v, r, f
Let t = 0.1 + -9.1. Let w = -14 + t. Let d = w - -22.8. Sort 0.08, 3, d.
d, 0.08, 3
Let h = -5 - -1. Let g = -0.145 + -0.055. Sort 0.2, 0, h, g in descending order.
0.2, 0, g, h
Let b(q) = q**3 - 9*q**2 - 9*q - 8. Let y be b(10). Let r be (-2)/(-22)*12/y. Suppose -1 = -3*z - 10. Sort r, 2/7, -0.2, z.
z, -0.2, 2/7, r
Let u = -109 - -196. Let c = u - 92. Let d = 6.4 + -6. Sort c, d, -21 in decreasing order.
d, c, -21
Let x(n) = -3*n + 10. Let q be x(3). Let a(z) = z**2 - 6*z + 1. Let m be a(5). Let c be (-1)/(-3)*(-2 - 11 - m). Sort q, c, 4, -1.
c, -1, q, 4
Let c = 4/45 - -1/495. Put c, -1/137, 0.5 in ascending order.
-1/137, c, 0.5
Let b = 2493 - 2495. Sort b, -1/7, 0.44 in decreasing order.
0.44, -1/7, b
Let x = -11718 + 11550. Sort 1/3, x, 5, 0.4 in descending order.
5, 0.4, 1/3, x
Let k = 6 - 1. Suppose 0 = 14*f, 2*z - 4*f = -188 + 182. Put 4, -11, z, k in increasing order.
-11, z, 4, k
Let c = 1045.637 - 1037. Let d = -5.646 + c. Let u = d + 0.009. Put u, -2, -1/4, 1/8 in descending order.
u, 1/8, -1/4, -2
Let n be 3/(-6) - 502*(133/(-28) + 5). Sort 4, -4, n, -1, 0 in descending order.
4, 0, -1, -4, n
Let r = 7484 - 7482. Sort -1, -125, r, 1 in decreasing order.
r, 1, -1, -125
Let r be -39 + 25 + (-1034)/(-77) + (-12)/(-21) + 0. Suppose v = 2*v - 21. Let d = -3 + 1. Sort v, d, -1, r.
d, -1, r, v
Suppose 178*k = 204*k + 159 - 3. Put 8, 11, k, 3 in decreasing order.
11, 8, 3, k
Let q(j) = -j**2 + 14*j + 28. Let i = -583 + 581. Let z be q(i). Sort 9, -1, z, 4 in decreasing order.
9, 4, -1, z
Suppose 3*p - s - 447 = 353, s + 532 = 2*p. Let v = -269 + p. Let z(u) = u**3 + 3*u**2 - 1. Let q be z(-1). Sort q, 10, 4, v in decreasing order.
10, 4, q, v
Let n = -0.09128 - -0.39128. Put n, -0.06, -2/143 in decreasing order.
n, -2/143, -0.06
Let c = 1070 + -1072. Suppose 40 = -41*h + 37*h. Put 2, c, h in decreasing order.
2, c, h
Let r = -196.76 - -196.76. Sort r, 0.2, -8 in ascending order.
-8, r, 0.2
Let r be (9 - (7 - 0))/(-2). Let g be (24/18*(-3)/(-2))/2. Suppose 5*l - 25 = -0*l. Sort l, g, r.
r, g, l
Suppose -3*d = -4*o + 8, 2*o = -d + 6*d + 4. Let l(r) = r**2 - 29*r - 2547. Let k be l(-38). Sort 16, k, d in descending order.
16, d, k
Let a = 1.493 - 0.093. Let q = -6.4 + a. Sort 0, q, -2.1, 0.04.
q, -2.1, 0, 0.04
Let z(v) = -2*v**3 + 5*v**2 - 4. Let s be z(2). Suppose 18 = -5*h + 3*t, 3*h + 2*t + 7 = -s*t. Put 2, -11, h in descending order.
2, h, -11
Let f be (-8 - 294/(-36))*24. Sort -2, -3, f, 25, 9 in ascending order.
-3, -2, f, 9, 25
Let l = 53 - 93. Let p = l - -43. Suppose -15 = 4*u + 17. Sort u, p, -5 in decreasing order.
p, -5, u
Let a = 422 - 419. Suppose -c + 3*c - 2 = 5*z, 2*c = -5*z - 18. Let m be 4 - (-32 - (c - 0)). Sort m, a, -4 in increasing order.
-4, a, m
Let r = -0.83 - -0.53. Put r, -10.35, -3 in decreasing order.
r, -3, -10.35
Let m = 75.6 - -49. Let w = m + -125. Sort w, 1, 0.3, -43 in decreasing order.
1, 0.3, w, -43
Let w be (3/2*-4)/2. Let t be (-17)/w + ((-95)/(-15) - 7). Suppose -t*s + 9 = -1. Sort 3, 0, -8, s.
-8, 0, s, 3
Let b be 10 + -12 + (-16)/(-4). Sort -1, b, 1 in descending order.
b, 1, -1
Let z = 756 + -783. Sort -22, 4, z, 5, -1.
z, -22, -1, 4, 5
Let z = -1448129/2 - -724065. Let q = 615/4 - 153. Let m = -18 - -12. Put m, 0.2, z, q in ascending order.
m, 0.2, z, q
Suppose -f - 2*f - 144 = 0. Let s = -38654 - -38650. Sort -5, f, s in ascending order.
f, -5, s
Let z be 51/(-9)*1 - (1 - 6). Let t = 4.05 + -3.05. Put z, -90, t in decreasing order.
t, z, -90
Let a = 143.5 + -144. Suppose 0 = 5*u - 2*w + 392, -6*u = -3*u + 3*w + 252. Let x be u/(-36) + 1 + -3. Sort x, 0.3, a in decreasing order.
0.3, x, a
Suppose 78 = l + 5*s, 9*l = 7*l - 3*s + 128. Let m = -59 + l. Suppose -a - 5*h = -6*a - 15, 5*h = -a + 15. Put 3, a, m in descending order.
3, a, m
Suppose 2*m = -3*i + 2, 2*i + 5*m + 12 = 3*i. Let s(y) = -y**3 - 4*y**2 - 3*y - 10. Let v be s(-4). Let l be 1*(0 + (2 - v)). Sort l, -5, i, 3.
-5, l, i, 3
Let n = 6/19 + 9/152. Let i = -27311/3 - -9105. Put n, -5, i, 26 in increasing order.
-5, n, i, 26
Suppose -34*m + 3*m = -11408. Let k = m + -370. Sort k, -0.3, 1, -4.
-4, k, -0.3, 1
Suppose -k + 18 = -2*t, 19 = -3*t + 4*k + 2. Let b = t - -16. Suppose -7 = a + 2*f, 58*f = a + 56*f + 7. Sort -3, a, b in increasing order.
a, -3, b
Let y = 62031/4 + -15499. Sort -6, y, -3/4, 0 in increasing order.
-6, -3/4, 0, y
Suppose 5*w = -5*n - 225, -29*w = -28*w - 2*n + 45. Sort 6, 0, w in ascending order.
w, 0, 6
Let y(h) = h**2 - 74*h + 212. Let p be y(3). Sort -407, 4, p, -3 in increasing order.
-407, -3, p, 4
Let a(g) = -g**3 + g**2 + 31*g - 76. Let w be a(3). Put w, -4, -3, 72 in decreasing order.
72, w, -3, -4
Let f = -1602 - -1597. Sort 2, f, 4, -86 in descending order.
4, 2, f, -86
Let b = 825.4 + -829.4. Put 0.023, b, 2/19 in descending order.
2/19, 0.023, b
Let a = 11545 + -11541. Suppose 0*z + 2*z - 23 = -f, -2*z + 5*f = 7. Put -4, z, a in descending order.
z, a, -4
Let r(j) = -10*j - 72. Let w be r(-7). Put 64, w, -20 in ascending order.
-20, w, 64
Suppose 0 = 28096*b - 28127*b - 155. Let r = -16 + 8. Sort -3, 5, b, r.
r, b, -3, 5
Let x = 5.3 - 0.3. Let z = x + -5.5. Let b = -475.9 - -476. Sort b, 2/23, z, 1/2.
z, 2/23, b, 1/2
Suppose 4*d - 3 = 4*m - 35, -d + 7 = 4*m. Let f = -422352 - -422296. Sort 2, d, f.
f, d, 2
Let q be 3/(-2)*(-11 - -19). Sort q, -1, -85 in descending order.
-1, q, -85
Suppose o = -o. Let b = -470 + 488. Let t be ((-4)/b*-3)/(18/27). Put -2, o, t in decreasing order.
t, o, -2
Let c be (-2)/(-4)*8 + -2. Let g be -2*((3 - 5) + 1). Let l = g + -6. Put 4, c, l in increasing order.
l, c, 4
Suppose w - s + 9 = 0, -3*s - 21 = 2*w - 8*s. Let h be w/2*30/(-120). Sort h, 3, -2, 2 in increasing order.
-2, h, 2, 3
Suppose -465 = -111*x + 116*x. Let d = 88 + x. Let m = -2 - -3. Put -0.3, m, d, -3 in decreasing order.
m, -0.3, -3, d
Let q = -11603 - -11608. Sort -3.8, 0.3, -4, q in ascending order.
-4, -3.8, 0.3, q
Let d be (-51 - -5)/(-2 - 2)*(3 + -7). Sort -2, 5, -4, d, -5 in ascending order.
d, -5, -4, -2, 5
Let j be (36/144)/((-50)/600). Suppose 5*r - 2 = 4*r. Put -80, 4, r, j in increasing order.
-80, j, r, 4
Let y(s) = 4*s**3 + 3. Let n be y(0). Suppose -2*g = -g + n*j - 4, j - 1 = 0. Sort 3, 4, 0, g in descending order.
4, 3, g, 0
Suppose 3*b - 210 = -4*v - 502, v - 287 = 3*b. Let j = -85 - b. Let o be (-5)/(-2)*(-16)/(-10). Sort o, -3, -5, j in decreasing order.
j, o, -3, -5
Let n = 