 = -18. Sort b, o, -13.
-13, o, b
Let y = -341/6 - -57. Let t = -1.1 + 1.1. Let f = -73.5 + 74. Sort -2/11, f, y, t in descending order.
f, y, t, -2/11
Let w be (-341)/(-186) + -2 + (-1 + 4 - 2). Put 421, 5, 2/5, w in decreasing order.
421, 5, w, 2/5
Let v(l) = 3*l**3 + 4*l**2 + 15*l + 38. Let a be v(-2). Put a, -4, -56 in decreasing order.
a, -4, -56
Let x be (-1 - (1/2 + -2))*-10. Suppose -57 = 75*o + 243. Sort o, -2, -26, x in descending order.
-2, o, x, -26
Let r = 5516.98 + -5517. Sort r, 0.7, -4, -0.9 in descending order.
0.7, r, -0.9, -4
Let r = -892 + 802. Let o be 17 + 2/(20/r). Sort o, -5, 0.1 in ascending order.
-5, 0.1, o
Suppose -5*t - p = -16, -2*p = -3*t + 3*p + 32. Let v = 1719 - 1670. Sort -5, 5, v, t in decreasing order.
v, 5, t, -5
Let i = 8.6143 + -2.6143. Let s = -2.2 - -2. Let m = 0.1 + -4.1. Put s, i, 0.5, m in decreasing order.
i, 0.5, s, m
Let m be 2/12 + (-300)/72. Let p be (-2)/(-45)*5*9. Sort 5, p, 15, m in decreasing order.
15, 5, p, m
Let i = -3 - 1. Let o be (100/28 - 4) + 25/(2275/494). Put 3/2, o, i in descending order.
o, 3/2, i
Let j = 2089 + -2091. Put -20, 5, j, 2 in decreasing order.
5, 2, j, -20
Let d = 22739 + -22736. Put 15, 4/7, -3, d in ascending order.
-3, 4/7, d, 15
Let h = 23.9 + 7.1. Let k = -28 + h. Suppose 70 = -10*y - 4*y. Put 5, -3/7, k, y in increasing order.
y, -3/7, k, 5
Let j = 2.1827 + 7.8173. Sort j, -5/2, 1/3 in increasing order.
-5/2, 1/3, j
Let b = 0.07212 - -1.92788. Put -832, 0.3, b in ascending order.
-832, 0.3, b
Let h be (-7)/((-49)/58) + (-2)/7. Suppose -2*r - h = 5*x - 4, 0 = x + 2. Put 4, r, -0.3, 0.27 in decreasing order.
4, r, 0.27, -0.3
Suppose -8*g + 2*m + 18 = -5*g, g - 3*m = 20. Sort g, 8, 1, 39 in descending order.
39, 8, g, 1
Let a be (-3)/6 + 2450/(-150) - 1/6. Put a, -4, -8, -3 in descending order.
-3, -4, -8, a
Let w be ((-39)/10*-2 + -8)/((-17)/(-255)*-9). Let h = 145/4 - 36. Put h, -0.1, w in increasing order.
-0.1, h, w
Suppose -13*d = 26*d - 51*d - 48. Put d, 5, -5, 7, -1 in ascending order.
-5, d, -1, 5, 7
Suppose 5786*s = 5855*s. Suppose -5 = -2*y - 3*y. Let n(p) = -p**3 + 3*p**2 - 2*p + 2. Let o be n(4). Sort o, s, y in descending order.
y, s, o
Let s be 650/(-75) + 4 - -4. Sort 0.5, 2/3, 17, -4, s in increasing order.
-4, s, 0.5, 2/3, 17
Let o = 768 - 763. Put -1, 61, o in descending order.
61, o, -1
Let l be (3 + (-78)/24)*(5 + 7 + -12). Put 7, -12, -2, 5, l in descending order.
7, 5, l, -2, -12
Suppose -11 - 4 = 3*z - 2*k, 5*z - k = -18. Sort 154, z, -5 in decreasing order.
154, z, -5
Let i be ((-9400)/4230)/((-2)/72*-4). Let w be ((-1)/3)/((-2)/24). Sort i, w, 3 in decreasing order.
w, 3, i
Let f = -127 + 134. Suppose -3*i - 17 = -2*p - f, -4*i = -5*p + 18. Put -0.4, p, 4, -5 in increasing order.
-5, -0.4, p, 4
Let g = 1.209 + -1.01. Let m = -0.259 + g. Sort -3, 0.05, 1, m in increasing order.
-3, m, 0.05, 1
Let s be (-1)/8 - 3*(-31)/(-24). Let t(a) = -3*a**2 - 16*a - 2. Let z be t(-5). Sort s, 9, z in increasing order.
s, z, 9
Let t = -11.74 - 5.26. Let c = -23 - -24. Put t, 1/4, 2, c in decreasing order.
2, c, 1/4, t
Let s(i) = -2*i**2 - 138*i - 1143. Let r be s(-59). Sort r, 2, 21 in descending order.
r, 21, 2
Let d(h) = -h**3 + 6*h**2 - 5*h - 2. Let a be d(5). Suppose 0 = -13*o + 11 + 2. Suppose 0 = 3*f + 2*w + w - 48, -4*w - 1 = -f. Sort a, o, f in decreasing order.
f, o, a
Let k be ((-51)/12 - 1)*((-1468)/(-4771))/(14/(-13)). Let j = -0.1 + 0.2. Sort j, k, -0.1, 3.
-0.1, j, k, 3
Suppose -10156*z = -10123*z + 2409. Sort z, -121, -5 in decreasing order.
-5, z, -121
Suppose -4*s - 4 = 3*o, s + 4*s + 24 = o. Let p be 335/25 - (1 + 12). Sort 0.19, p, s.
s, 0.19, p
Let i = 0.4 - 0.1. Let w = i + 0.2. Let z(b) = -2*b**2 - 327*b + 14360. Let p be z(36). Sort p, 3, w in ascending order.
p, w, 3
Suppose 0*l = -10*l - 40. Let h be (-2)/(-6 - 16/(-3)). Sort l, 2, 5, h in descending order.
5, h, 2, l
Let i(o) = o**3 - 3*o**2 + 2*o - 2. Let f be i(3). Suppose -10*v + 18 = -f*v. Let d be 14/147*v/1. Sort 1/2, -0.5, d in decreasing order.
1/2, d, -0.5
Let c = -117.6 + 22. Let z = c + 60. Let k = z + 36. Put k, -5/3, -2 in descending order.
k, -5/3, -2
Let j(w) = -w**3 - 3*w + 33. Let i be j(3). Put i, 2, -41, 0 in decreasing order.
2, 0, i, -41
Suppose -3*i + 0*i = 0. Suppose 4*p + 5*h - 17 = 4*h, -p - 5*h + 28 = i. Let n = -5354 + 5355. Sort p, n, -1.
-1, n, p
Let a be ((-4)/61822)/(-6 + 2). Let s = -70786197/432754 + a. Let g = 164 + s. Sort g, -28, -2 in descending order.
g, -2, -28
Suppose 5 = -x, g - 3*x - 278 = -264. Sort 1681, -5, g in descending order.
1681, g, -5
Suppose 4102 = -38*f - 724. Put f, -1, -4, 0 in descending order.
0, -1, -4, f
Let p = 5393/3 + -1798. Suppose 2*l + 204 = -4*s, 5*l = 5*s + 70 + 200. Put -5, p, -2, s in decreasing order.
p, -2, -5, s
Let a = -24964.1 + 24964. Sort 19, a, -3/4, -1/3.
-3/4, -1/3, a, 19
Suppose 9*h = 15*h - 12. Suppose -3*n = h*k - 14, -n + 3*n - 8 = -k. Suppose 0 = 3*l + 5*s + 10 + 5, k*s = l - 12. Sort l, 3, -3, -5 in ascending order.
-5, -3, l, 3
Suppose -39*a + 55228 + 83222 = 0. Sort 0, a, -2 in descending order.
a, 0, -2
Let a be -10 + (-60)/(10 + -20). Let c = -38 + 40. Put c, 13, 5, a in ascending order.
a, c, 5, 13
Let l = -4 - -2. Let s = -76.8 - -6.8. Let q = 69.8 + s. Put q, l, -0.5 in decreasing order.
q, -0.5, l
Suppose -37*n = 54*n - 91. Put 8, n, -1, -5, -0.083 in descending order.
8, n, -0.083, -1, -5
Let w = -1557 + 2787. Suppose o - w = -1231. Put o, 3, -4, 19 in decreasing order.
19, 3, o, -4
Suppose -39 + 11 - 26 = -54*y. Put -2, 0, -31, 2, y in increasing order.
-31, -2, 0, y, 2
Suppose -5*s - 19 = 3*h, -1 = 3*s - 2*s + 2*h. Put 6, 8, -2, s in ascending order.
s, -2, 6, 8
Let v(p) = p**3 - 10*p**2 + 11*p - 23. Let n be v(9). Let u = 800 + -801. Sort u, 0.02, 2, n in descending order.
2, 0.02, u, n
Let u = -18 - -11. Let i = u + 6.97. Let j = -28022 + 28024. Put 0.2, i, j in decreasing order.
j, 0.2, i
Let i(l) = -8*l**2 + 11*l - 3. Let s(r) = r**2 - r. Let b(o) = i(o) + 6*s(o). Let y be b(0). Let k be 2/4*2/(-7). Put -2, k, y in descending order.
k, -2, y
Suppose r - 77 + 57 = 0. Sort r, 2, -3, 1.
-3, 1, 2, r
Let l(o) = -o**3 + 50*o**2 + 51*o - 56. Let k be l(51). Let r be (-2)/((k/4060)/(2/(-10))). Suppose 0 = 5*g - 8*g + 6. Sort g, 3, r.
r, g, 3
Let q = -1.165 - -1.3. Let u = -0.135 + q. Put 2.1, u, 5 in descending order.
5, 2.1, u
Let t = -0.066 + 1.996. Let c = t + -1.89. Sort -0.4, 2/9, c, -3 in increasing order.
-3, -0.4, c, 2/9
Let f be (-6)/(-24) - (-58)/(-8). Suppose 162*t = -320*t - 1928. Sort f, 5, -1, t in increasing order.
f, t, -1, 5
Let s(c) = -7*c + 254. Let t be s(36). Put t, 7, 10 in descending order.
10, 7, t
Let g = 152 - 152. Let d = -0.504 - -0.204. Sort -4, d, g, 4 in decreasing order.
4, g, d, -4
Let k = -9511 + 9507. Sort k, 1, -3, -81, 3 in descending order.
3, 1, -3, k, -81
Let z = -3498 - -3501. Put 2, z, 8, 0 in decreasing order.
8, z, 2, 0
Suppose 4*d - 4*v = -48, -3*d + 17 - 49 = -4*v. Put 1, 0, 2, d, -4 in decreasing order.
2, 1, 0, -4, d
Let t = 11.342 + -201.402. Let z = t - -190. Sort 2, -0.5, -3/4, z in ascending order.
-3/4, -0.5, z, 2
Let a(p) = -p**3 - 10*p**2 + 9*p - 21. Let i be a(-11). Let b be (33/55 - i/5)*-5. Put -29, b, -3 in descending order.
b, -3, -29
Suppose 2*z = 95*n - 91*n + 94, -5*z + 3*n = -193. Sort -14, 6, z in decreasing order.
z, 6, -14
Let f(q) = -q**3 - 5*q**2 - q - 5. Let y be f(-5). Let h be -2 - (-2 + y) - 0. Suppose -20*g + 25*g + 10 = h. Sort 3, 0, 2, g in decreasing order.
3, 2, 0, g
Let x = 7985 - 8074. Put -20, -3, x in decreasing order.
-3, -20, x
Let h(g) = -g**3 + 10*g**2 + 175*g - 183. Let t be h(1). Let f = 31 + -16. Sort t, 3, f.
t, 3, f
Let r be 3/((-2)/(-4)*3). Suppose -27*i + 16 = -25*i. Suppose -4*p - 6*c = -i*c - 6, 5*c - 21 = p. Sort r, p, -2 in decreasing order.
p, r, -2
Let g be (3/4)/(-3) - (-100)/48. Let o = g + -155/78. Put 1, o, -5, -25 in descending order.
1, o, -5, -25
Let v = -30 + 27. Let d = 55 - 53. Suppose 0 = 4*l + 4*t + 4, 4*t = -l - 5 - d. Sort l, 0, -2, v in increasing order.
v, -2, 0, l
Let l(w) = w**3 - 8*w**2 - 17 + w + 0*w**2 + 6*w + 0*w**3 + 3*w**2. Let d be l(4). Put 122, 3, d, -3/2 in increasing order.
d, -3/2, 3, 122
Let k = -104.882 + -0.118. Let z = k + 94. Put 2/9, z, -5, 1 in decr