reasing order.
-2/675, p, -0.3
Suppose -3*j - 8*d = -3*d - 5, -2*d = -2*j + 14. Suppose -13*w + 17*w - 16 = 0, 30 = -5*b + j*w. Put b, 10, -4 in decreasing order.
10, b, -4
Suppose 0 = 5*u - 25. Let l be (-3)/(-5) + ((-23)/u - 0). Let d = -4 - -9. Put 1, 4, d, l in descending order.
d, 4, 1, l
Let u = 206 + -200. Let b be (-7*(-6)/126)/((-1)/u). Let t(n) = 4*n**3 - 2*n**2 + 2*n - 1. Let i be t(1). Sort i, 5, b, -4 in decreasing order.
5, i, b, -4
Let b = -398 - -398. Suppose b = -34*d + 48*d + 70. Put 5, d, 0.05 in descending order.
5, 0.05, d
Let g = 831 + -931.6. Let y = 22.4 - g. Let w = y - 123. Sort 3/7, w, 4, -5 in descending order.
4, 3/7, w, -5
Let h be (-9)/(-6) - (-9)/(-2). Put -7, 3, h, 33 in decreasing order.
33, 3, h, -7
Let i(o) = o - 6. Let t be i(8). Suppose -t*b = 3*b - 15. Let w = 1585 - 1590. Sort b, w, -3, 1 in ascending order.
w, -3, 1, b
Let i be ((-2)/(-20))/(4/50)*4. Suppose -4*k + i*m = -3, 0 = -6*m + 3*m + 3. Suppose 4*p - k*g + 74 = 16, -4*p + 3*g - 61 = 0. Put 2, 0, p in ascending order.
p, 0, 2
Let r = -0.148 + 0.075. Let v = r + 11.073. Sort -2, 0.4, v in decreasing order.
v, 0.4, -2
Let w = -60 + 64. Let b = 11.8 + -11.66. Put b, -2, 0.5, w in decreasing order.
w, 0.5, b, -2
Let p = 0.18 + 0.12. Let l = -6856 + 6852. Sort p, l, -11/4.
l, -11/4, p
Let r = 5531 - 5531.1. Sort 0.4, -0.3, r, 58, -5.
-5, -0.3, r, 0.4, 58
Let d be ((-10)/8 + (-15)/(-20))/((-55)/(-110)). Sort d, 2, -5, 6, 9.
-5, d, 2, 6, 9
Let k = -1945 + 1942. Sort -5, k, 0, 11.
-5, k, 0, 11
Suppose l = 3*c - 2099, -4*c + 2767 = 2*l + 3*l. Suppose -1 = 699*f - c*f. Sort 1, 3, f, 2 in increasing order.
f, 1, 2, 3
Let g = -5984 + 6395. Put 0, 2, g, 0.5 in decreasing order.
g, 2, 0.5, 0
Suppose 40 = -o + 5*p, p = -5*o - 1 + 9. Put -263, -14, o, -5 in descending order.
o, -5, -14, -263
Let p = 14.684 - 14.4. Let u = -0.184 + p. Put u, 0.11, 4, 2 in increasing order.
u, 0.11, 2, 4
Let h = 98750 + -98746. Let d(t) = -t**2 - 4*t + 3. Let m be d(-4). Let f be m/5*(-2)/(-3). Sort f, 0.07, h.
0.07, f, h
Suppose 0 = -5*x + 5*q - 15, -12*x + 14*x = -4*q + 12. Sort -2, x, 6.
-2, x, 6
Suppose -22*d - 2*s + 9 = -27*d, -6 = d - s. Sort d, 3, 229, -4.
-4, d, 3, 229
Let u = -436.8 - -437. Let g be -3 - ((-78)/65)/((-3)/10). Sort g, 1, u, -0.4.
g, -0.4, u, 1
Let d(f) = -240*f - 22. Let j be d(-3). Suppose -5*u + 683 = j. Sort 1, -4, 6, u.
-4, u, 1, 6
Suppose 0 = -5*m + h + 64 - 20, -2*m + 19 = h. Let o be (45/30)/((-10)/40). Let v = o + m. Sort -2, v, 1.
-2, 1, v
Let j be 2/8 - 1/4. Let h(q) = q**3 + 8*q**2 - 45*q - 327. Let u be h(-9). Let d(b) = -b**2 + 3*b + 9. Let y be d(4). Sort -5, j, u, y.
-5, u, j, y
Let w = -513 + 297.2. Let m = w - -216. Put 8, 0.1, m in descending order.
8, m, 0.1
Let r = 1195/217 - 39/7. Let s = 998 + -1528. Let q = s - -529.7. Sort q, r, 3.
q, r, 3
Let r be (-3 - (-108)/28)*(76/(-12) + 11). Sort 1, -196, r in descending order.
r, 1, -196
Let y be -2*((-10)/85 - 468/(-221)). Put -58, 2, 0, y in descending order.
2, 0, y, -58
Let o be 50/10 - (0 + 6). Let v be 3/o + (10 - 5 - 6). Sort v, -13, 2.
-13, v, 2
Suppose -9*c = -46 - 1052. Suppose 7*l - 305 = c. Suppose 10*u + 1 - l = 0. Put -1, u, 1 in descending order.
u, 1, -1
Suppose -144 + 139 = r. Put -455, -2, r in descending order.
-2, r, -455
Suppose 0 = y - 2*r - 26, 3*r + 5 = -4. Suppose -y*z + 24 = -8*z. Put -4/7, z, 2/17, -0.2 in increasing order.
-4/7, -0.2, 2/17, z
Let d(u) = -37*u - 24. Let o be d(-4). Let t = o + -116. Suppose -4*i + t = -28. Sort -5, i, -0.1 in descending order.
i, -0.1, -5
Suppose p - 4 = -0. Let x be 10/(-2)*4/(-10). Suppose -598455 + 597865 = 295*u. Put 1, u, p, x in decreasing order.
p, x, 1, u
Let z = -916/611 - -56/47. Sort -15, -2/11, 1/2, z in decreasing order.
1/2, -2/11, z, -15
Let s be (-5)/16*(-1)/(-2)*(41 - 45). Put 58, -5, s in increasing order.
-5, s, 58
Let g = -156.917 + 157. Let j = g + 1.517. Sort -3, -2/5, j in increasing order.
-3, -2/5, j
Suppose -19 = -3*b - 4. Suppose z - 9 = -b*j, 2*z = 5*z - 2*j + 7. Suppose -4*h - 3 - 9 = 0. Sort z, -6, h.
-6, h, z
Let q = 139.0409 + -139.1. Let j = -0.1591 - q. Sort j, 6, -1 in descending order.
6, j, -1
Let k = 262.97 + -263.14. Sort 1/4, k, -50, -2/5 in ascending order.
-50, -2/5, k, 1/4
Let g = 807/5 - 162. Let k = -2287 - -2284. Sort 0.1, g, k, 1/20.
k, g, 1/20, 0.1
Suppose 13*t = 232 - 37. Suppose 80*u = 83*u - t. Put 4/7, u, 3, -0.5 in increasing order.
-0.5, 4/7, 3, u
Suppose o - 20 = 6*o. Let u = 116407 + -116414. Put o, u, -8 in descending order.
o, u, -8
Let u be (-4473)/(-9940) - 1/5. Put -1, 1, u, -2/3, -0.38 in increasing order.
-1, -2/3, -0.38, u, 1
Let g = 157 + -141. Let j = -4.1491 + 0.1491. Sort -5, g, j in ascending order.
-5, j, g
Let b = -80 - -79.7. Let r = -204 + 245. Put b, r, 5 in descending order.
r, 5, b
Let o = -5977.7 - -5978. Let q = 44 - 18. Sort q, o, -4 in ascending order.
-4, o, q
Let d be 3*(75/15 + (-2 - 2)). Suppose -13 + 3 = -h. Suppose -f = -r - h, -r - 26 + 6 = -3*f. Put r, -4, d, 4 in decreasing order.
4, d, -4, r
Let d(w) = 6*w**3 - 4*w**2 + 4*w - 2. Let c be d(2). Let b = c - 32. Suppose 4*o = -3*l + b*l + 9, -3 = -5*o + l. Put -2, o, -0.4 in decreasing order.
o, -0.4, -2
Let p be 16/((-15)/9*(-156)/(-130)). Sort p, -2, -101, -1, -4.
-101, p, -4, -2, -1
Let k(b) = b**3 - 4*b**2 + 3*b + 7. Let u be k(6). Let r = -482/5 + u. Let s be -9*1*(-3)/9. Sort s, r, 5 in descending order.
5, s, r
Let l = 22.318 - 0.318. Let d = 26 - l. Sort d, -0.39, -4.
-4, -0.39, d
Let r = 193 + -202. Let b(f) = -2*f**3 - 20*f**2 - 17*f + 6. Let c be b(r). Put -9, c, -4, 2 in decreasing order.
2, c, -4, -9
Suppose 0 = 4*q + 33 - 13. Let z = 1481.081 + -1476. Let v = z - 0.081. Put 1, q, v in increasing order.
q, 1, v
Let o = -103.038 + 103. Let u = o + 0.538. Sort -0.32, u, -5.
-5, -0.32, u
Suppose g = 2*g + 5. Let j(o) = -3*o**3 + 57*o**2 - 120*o + 303. Let p be j(17). Sort p, g, -4 in decreasing order.
p, -4, g
Let f(d) = -d**3 + 4*d**2 - 176*d + 516. Let c be f(3). Sort 3, c, -4, 134, 1.
-4, c, 1, 3, 134
Let m = 51 + -35. Let n = 17 - m. Let d = 277 + -273. Put 0.3, d, n, -0.19 in increasing order.
-0.19, 0.3, n, d
Suppose 975 = 16*y - 1025. Sort 0, -4, 1, y, -1 in descending order.
y, 1, 0, -1, -4
Suppose -6 - 9 = -3*m. Suppose -752*h + 748*h - 16 = -2*x, 2 = x + h. Put m, x, 37, -3 in increasing order.
-3, x, m, 37
Let y = 2277.36 - 2277. Sort 15, y, 1/2 in descending order.
15, 1/2, y
Let x = 3650 - 3616. Put x, 2, 8/5, 4 in decreasing order.
x, 4, 2, 8/5
Suppose 20 = -12*g - 16. Let h(w) = 2*w - 6. Let v be 13/3 + (-6)/18. Let k be h(v). Sort -11, k, g.
-11, g, k
Let g = 217.51 + -127.51. Sort g, 0.5, -1, 2, 0.3 in descending order.
g, 2, 0.5, 0.3, -1
Let h = -21 - -20. Let g be (-4)/(-6)*11/((-110)/30). Sort h, 5, g in decreasing order.
5, h, g
Suppose -4*r = 2*i + 32, -32*i + 36*i + 4*r + 72 = 0. Let z = 11 - 16. Sort z, i, -4, 0.
i, z, -4, 0
Suppose -2*r + 15 = d, -30 = 28*d - 29*d - 5*r. Put d, -2, -33, 2 in decreasing order.
d, 2, -2, -33
Let q = -5632 - -5638. Put -13, q, 2/17 in decreasing order.
q, 2/17, -13
Let k = -2 + -1. Let c be ((-26)/(-546))/((-5)/4*2/(-15)). Let f = 0.18 - -0.52. Sort -5/3, f, k, c in decreasing order.
f, c, -5/3, k
Let t = 5957 + -214451/36. Sort -3/5, t, -0.5 in increasing order.
-3/5, -0.5, t
Let x = -1165/7 + 166. Let o be 3/1*(-6)/(-396)*22. Put x, o, 2, 1.1 in decreasing order.
2, 1.1, o, x
Suppose 55 = -16*l + 5*l. Sort -71, 5, -3, l, -4.
-71, l, -4, -3, 5
Suppose 22 - 5 = q. Sort -0.2, 8, q in decreasing order.
q, 8, -0.2
Let j(d) = 2*d**2 + 828*d + 4897. Let b be j(-6). Sort -35.5, -0.13, b in descending order.
b, -0.13, -35.5
Let j = 64758509/312 + -207559. Let k = j - -2/39. Sort k, 1/35, 0, -1 in descending order.
k, 1/35, 0, -1
Suppose -6*l + 41 = 29. Suppose 0 = v - 3*f - 4 - 2, -l*v = -3*f - 9. Put 2/13, -1/3, v in descending order.
v, 2/13, -1/3
Let o = -697 + 986. Put 0.1, o, 3/5 in descending order.
o, 3/5, 0.1
Let o = 9090 + -9089. Put -200, 0, o in decreasing order.
o, 0, -200
Let d = 9 + 5. Let q = 10 - d. Let a = 733/8 + -92. Sort 2, a, q in descending order.
2, a, q
Let f(c) = -c**2 + 3*c - 3. Let i be f(1). Suppose 5*y + 0 - 65 = -5*u, -5*y = 3*u - 71. Suppose 3*w + y = -w. Put 5, i, w, 1 in increasing order.
w, i, 1, 5
L