et d be (22/6 + -3)/o. Sort v, -0.4, d in decreasing order.
v, d, -0.4
Let m(i) = -80*i - 4 + i**2 + 65*i + 0. Let y be m(15). Sort y, -3, 2 in descending order.
2, -3, y
Let m = 0 + 1. Let c be 98/21 + 4 + -9. Put m, -2, c, -0.1 in decreasing order.
m, -0.1, c, -2
Let o = -24.8 + 28.8. Put -2/7, -23, o, -4 in descending order.
o, -2/7, -4, -23
Suppose -4*i + 5*i + 166 = -5*a, 156 = -i - 3*a. Sort 3, 4, i.
i, 3, 4
Let s = -2.52 - -2.3. Let w = s - 0.08. Let n = 3.5 + -3.4. Put w, n, 0 in decreasing order.
n, 0, w
Let y be 1/((3/(-15))/1). Suppose 4 = 19*f - 17*f. Put f, y, -4, 21 in ascending order.
y, -4, f, 21
Let j be (6/(-4))/(6/(-8)). Let a = -22192 + 22195. Put 1, a, j in increasing order.
1, j, a
Let x = 1 + -1. Suppose -10*l + 80 = -20. Let i be ((-48)/(-60))/(4/l). Sort 4, x, i in descending order.
4, i, x
Let c = -68 + 66. Let n(q) = -6*q - 7. Let f be n(c). Let g(x) = x**2 + 5*x - 4. Let b be g(-5). Put f, -7, b in descending order.
f, b, -7
Let x be 2 + (-20)/4 + -13. Let w = x + 20. Suppose 0 = -w*o - 6 + 18. Sort -4, 4, o.
-4, o, 4
Let r = -8.24 - -8.34. Let x = -11.31 + 4.15. Let h = 0.16 + x. Sort r, h, -1 in descending order.
r, -1, h
Suppose -511 + 523 = 3*r. Sort r, 1/3, 1/2, -4/3 in descending order.
r, 1/2, 1/3, -4/3
Let y(h) = -5*h**3 + h**2 - 1. Let s be y(1). Let r(n) = -n**3 + 17*n**2 - 14*n - 38. Let b be r(16). Let g = b + 9. Sort s, 5, g in decreasing order.
5, g, s
Let a = -4.1 - 0.9. Let t be 3*(219/72 - 3). Sort 3, a, 2, t in ascending order.
a, t, 2, 3
Suppose -3*t = -20 + 35, -4*t - 5 = -5*r. Put 19, r, 0, 3 in decreasing order.
19, 3, 0, r
Suppose -j + 48 = -5*j. Let x be 24/(-20) - 620/(-100). Sort x, 4, j.
j, 4, x
Let s be 2/3*3/(-13). Let u = -183/2369 - 1/103. Put s, -1, u in decreasing order.
u, s, -1
Let u be (-4)/(-10) + (3 - 160/25). Let z(c) = c**3 + 4*c**2 - 6*c. Let v be z(-5). Sort -2, u, v in decreasing order.
v, -2, u
Let u(n) = n**2 - 16*n + 67. Let t be u(9). Put -4, 5, 0, t in decreasing order.
5, t, 0, -4
Suppose 12 = -4*d - l - 0*l, 4*d + 24 = -4*l. Let w(s) = s**2 - s + 2. Let o be w(0). Let a = -5 + 8. Put o, d, a in descending order.
a, o, d
Let z be 340/15 - (-2)/(-3). Let o be 12/24 - 23/z. Put 1/2, o, -4 in increasing order.
-4, o, 1/2
Suppose -5*g = -0*n + n - 5, 3*n = -5*g + 5. Suppose u + 4*c - 1 - 6 = n, 5*c = -3*u. Sort u, -1, -4 in ascending order.
u, -4, -1
Suppose -88 = -4*w - 0*w. Suppose 0 = -4*j - w + 2. Put j, -0.04, -0.2 in increasing order.
j, -0.2, -0.04
Let t = 2 - 5. Let f = -89 - 4. Let c = -95 - f. Sort -5, c, t in increasing order.
-5, t, c
Let t = 833 - 833.5. Sort 1.6, t, 1.
t, 1, 1.6
Let u(i) = -i**3 + 66*i**2 + 207*i + 18. Let o be u(69). Sort o, -3, 3.
-3, 3, o
Let q = 897 + -900. Sort q, -4, -7 in increasing order.
-7, -4, q
Let d be 14/9*(0 + 3). Let v(c) = -c**2 + 8*c + 2. Suppose -y - a + 2*a + 7 = 0, -4*y - 5*a = -37. Let t be v(y). Put t, d, 4 in decreasing order.
d, 4, t
Let q be (-4)/(-8 + (-165)/(-22)). Put -6, 4, 1, q in ascending order.
-6, 1, 4, q
Let y = 260 + -117. Let r = y - 717/5. Put -3, r, 5 in increasing order.
-3, r, 5
Let g = -124 - -267. Let c = -92 + g. Sort -2, c, 5.
-2, 5, c
Suppose -2*q + 3*b + 2 = 0, 0 = 3*q - b - 0*b + 4. Sort -1, q, 27.
q, -1, 27
Let i = -11 + 18. Suppose i + 11 = 3*o. Let k(u) = 3*u**2 - 42*u + 4. Let j be k(14). Sort o, 0.3, j.
0.3, j, o
Suppose 12 = 4*q - 0. Let p = -405 - -396. Put 4, q, p in descending order.
4, q, p
Let u be 13/((-546)/(-40)) + (-6)/21. Sort -0.5, u, 1, -0.6 in increasing order.
-0.6, -0.5, u, 1
Suppose 3*b - 23 = -y - 17, 5*y = 2*b - 21. Put 0, b, -31, 5 in decreasing order.
5, b, 0, -31
Let q = -23.3 - -22.9. Put -5, -0.08, -1/4, q in ascending order.
-5, q, -1/4, -0.08
Suppose 286 = 6*z + 244. Sort -5, 1, z in descending order.
z, 1, -5
Let s(r) = -r**3 - 6*r**2 - r - 3. Let b = -18 - -12. Let g be s(b). Let j be (-3 + 0)/((-6)/(-8)). Put j, 1, g in descending order.
g, 1, j
Let n = -3 + 2. Let z(s) = 4*s**2 - 16*s + 0 + 18*s + s**3 - 1. Let x be z(-3). Sort -4, x, n in ascending order.
-4, n, x
Let m = -4.7 + 3.86. Let p = -0.04 - m. Let c = -2/45 - -143/180. Sort c, p, 0.4 in descending order.
p, c, 0.4
Let n(v) = 0 - 5 - 2*v + 0 + 3*v. Let q be n(7). Let y(i) = 3*i - 37. Let l be y(14). Sort q, l, -4 in decreasing order.
l, q, -4
Let m = -294 - -297. Suppose -2*p - 4*g - 18 = 0, 5*p + 5*g - 3*g = -29. Put p, m, 3/7 in descending order.
m, 3/7, p
Suppose 2*o + 3*f = 4*o + 10, 5*o + 25 = -5*f. Sort o, -13, -4/5 in descending order.
-4/5, o, -13
Let b = -8 + -5. Let l be (-4*(-321)/(-21))/b. Let u = 34/7 - l. Sort -0.1, u, -5 in increasing order.
-5, -0.1, u
Let f(a) = -a**3 - 9*a**2 + 22*a + 2. Let r be f(-11). Sort -0.5, r, -0.24.
-0.5, -0.24, r
Suppose 0 = 4*t - 4*w + 4 + 12, 0 = -2*w. Let k = 6 - 12. Let y = 4 + -7. Sort y, k, t in ascending order.
k, t, y
Let g = 60 + -98. Let t = 40 + g. Put 14, t, 0 in descending order.
14, t, 0
Let d = 8 + -7.5. Sort 1/3, d, -0.2, 3 in increasing order.
-0.2, 1/3, d, 3
Let b = -67/3 - -22. Let u = -3.04 - -0.04. Let f = 0.6 - -1.4. Sort b, u, f in ascending order.
u, b, f
Let o = 12.552 - 0.152. Sort o, -4, 0.1 in ascending order.
-4, 0.1, o
Let q = -3327 + 3317. Suppose 0 = -4*d - 12. Sort d, q, -5 in ascending order.
q, -5, d
Let d be (1/(-2))/(675/(-438)). Let u = 3/25 + d. Let f = -22.3 + 17.3. Sort f, -0.2, u in decreasing order.
u, -0.2, f
Let j = -34 + 34.7. Let c = 35.7 - j. Let r = c + -30. Sort 3/10, -0.2, r in ascending order.
-0.2, 3/10, r
Let d(y) = -y**2 + 49*y - 291. Let f be d(42). Put 41, -5, f in increasing order.
-5, f, 41
Let m = 0.3 - -0.2. Suppose 3*o - 34*p + 36*p + 16 = 0, -p + 10 = -3*o. Sort m, -0.1, o in descending order.
m, -0.1, o
Let b(j) = -j**3 - 29*j**2 - j - 30. Let h be b(-29). Put 107, -5, 2, h in descending order.
107, 2, h, -5
Let k(j) = -j**3 - 15*j**2 - 6*j - 95. Let r be k(-15). Suppose 2*w = -8 + 2, 0 = 2*s + 3*w + 17. Sort r, s, 4 in ascending order.
r, s, 4
Let q(o) = -o**2 - 2*o - 3. Let g be q(-1). Let l be (-2)/9 - 0/g. Sort 3, 1/3, -4, l in increasing order.
-4, l, 1/3, 3
Let r = 0.2 - 0.04. Let n = 17.06 + -17. Let w = n - r. Sort 1/6, w, 4 in descending order.
4, 1/6, w
Let s = 37.8 + -38.3. Let f = 93/4 - 23. Put -2/3, f, s, -0.3 in decreasing order.
f, -0.3, s, -2/3
Let o be (-27)/9*(-16)/120. Put 1/5, 5, o, 0.5 in ascending order.
1/5, o, 0.5, 5
Let q = -2.7 - 0.3. Let c = -600 - -603.87. Let o = 0.13 + c. Put q, 1, o in ascending order.
q, 1, o
Let n = 1033 - 1027.184. Let j = n + 0.184. Let q = -2 - -1.5. Sort -1, j, q in decreasing order.
j, q, -1
Suppose -2*a + 45 = 2*d - d, 0 = -2*d + 4*a + 74. Let f = -26 + d. Suppose -5*m + 8*m - f = 0. Sort 0.5, m, 0.1.
0.1, 0.5, m
Let l be (2/(-42))/(2/6). Let f be (-1)/2 + 21/12. Put -5, l, f in decreasing order.
f, l, -5
Let q = 226 + -210. Put -3/5, 1, q, -0.1 in decreasing order.
q, 1, -0.1, -3/5
Let l = -1.4 + 2. Let j = 0.2 - l. Let f = -64/247 + 2/13. Sort f, 3, j in ascending order.
j, f, 3
Let z(w) = -w**2 - 5*w - 7. Let f be z(-2). Let r(x) = -x - 1. Let g be r(-3). Suppose -g = -k + 1. Put -4, k, f in decreasing order.
k, f, -4
Suppose 2 + 78 = 4*z. Suppose i - 4*l + 10 = -l, 0 = 4*i - 2*l + z. Put -2, i, 0 in ascending order.
i, -2, 0
Let l = 18 + -42. Let s = -21 - l. Suppose -3*g + 1 = -2*g. Sort g, s, 4 in ascending order.
g, s, 4
Let n = -3.6 - -1.6. Let v = -0.1 + -9.9. Let q = -10.05 - v. Sort q, 2, n in decreasing order.
2, q, n
Suppose t = -3*a + 3 + 6, 0 = 5*a - 4*t + 2. Suppose 0 = a*q - 2 - 2, -5*q + 8 = 2*j. Let l be (-3 - j)*(-3)/(-6). Put l, -5, 0 in descending order.
0, l, -5
Suppose -f - 3*a + 7 = f, 0 = f - 4*a + 2. Let v = -140 - -144. Put -3, f, v in descending order.
v, f, -3
Let i = 382 + -387. Sort 27, -1, i in descending order.
27, -1, i
Suppose -2*o = -10 - 6. Suppose 0*b - o = -4*b. Suppose b*p - 3*g + 1 = 0, 3*p - 7*g + 1 = -2*g. Put 2, p, -5 in decreasing order.
2, p, -5
Let i(u) = u**2 + 10*u - 5. Let o be i(-10). Put 14, -1/8, o in descending order.
14, -1/8, o
Let v = -762 + 768. Put 1, 5, v in descending order.
v, 5, 1
Suppose 0 + 5 = -d. Let s be 2/((-13 - -18) + -1*7). Put s, -4, d in descending order.
s, -4, d
Let p = -164 + 235. Let i = -67 + p. Sort i, -3, 1/7.
-3, 1/7, i
Let d = 0.1 + 4.9. Put -25/9, 