8 in decreasing order.
8, b, 1, -1
Let f = 1688 - 1730. Sort f, 3/5, -0.4, 4 in decreasing order.
4, 3/5, -0.4, f
Let p(l) = l**2 + 3*l - 18. Let c = -110 - -113. Let o be p(c). Put -1, -8, o in ascending order.
-8, -1, o
Let k = 1 - 1.11. Let p = 0.29 - k. Let l = 3 - 2. Put -4, l, p in descending order.
l, p, -4
Let d(c) = -25*c**2 - c + 1. Let j be d(-1). Let u = -18 - j. Put u, -2, 4, 1 in ascending order.
-2, 1, 4, u
Let x = 10 + 0.6. Let h = x - 9. Let y = h + -2. Sort 0.5, y, 3/5.
y, 0.5, 3/5
Let v = -2906 + 8716/3. Sort -1, v, 0.3, 0.04.
-1, v, 0.04, 0.3
Let c = -958 - -8620/9. Sort c, -1/13, -0.4, -2/11 in decreasing order.
-1/13, -2/11, c, -0.4
Let l be (-2)/(2/(-5 - -3)). Suppose -3*r = 4*d - 54, l*r = 3*r - 2. Let z be (-68)/d - 3/9. Put 3, z, -1 in decreasing order.
3, -1, z
Let c be (-80)/30*(-1 - 5/(-20)). Let l = -1 - -1. Sort -5, l, c in descending order.
c, l, -5
Let x(b) = -3 + 5*b - 7*b + 0*b + b**2 - 2*b. Let h be x(-2). Let n = 14 - h. Put 3, 1, n in ascending order.
1, 3, n
Let o(z) = -z**3 + 8*z**2 - 5*z - 13. Let u = 71 + -64. Let x be o(u). Sort -11, 5, x in ascending order.
-11, x, 5
Let h = -193 - -192. Sort 5, h, 2 in decreasing order.
5, 2, h
Let q be 3/2*24/9. Suppose 2*h = q*h + 28. Let v = h + 15. Put v, -4, 0 in decreasing order.
v, 0, -4
Suppose 2*s + 7 = 5. Let d be (-4)/(-2)*(-3)/(-36). Sort 0.03, s, d in descending order.
d, 0.03, s
Suppose -182*i + 119 = -175*i. Sort -0.2, i, 0.2 in increasing order.
-0.2, 0.2, i
Let o = 3 + -1. Let r(b) = b + 12. Let l = 5 + -14. Let z be r(l). Put o, z, 7 in descending order.
7, z, o
Let q(y) = -y**2 - 15*y - 11. Let n be q(-14). Suppose -8 - 88 = -6*o. Suppose -16 - o = -8*b. Put 1, b, n in descending order.
b, n, 1
Let q(h) = h + 8. Let k be q(-5). Let f be (k/(-6))/((-12)/32). Let m = 0.27 - 0.23. Sort -0.2, f, m.
-0.2, m, f
Let z be 3*2/(-6)*2. Suppose 2*v + 102 = -3*a + 112, 2*v - 2*a = 0. Put z, -9, v in decreasing order.
v, z, -9
Let j = -295 - -292. Sort 2, -5, j in descending order.
2, j, -5
Let y(h) = -h**2 + 18*h - 86. Let u be y(9). Let t = -0.33 - -0.03. Sort u, -2, t, -2/3 in ascending order.
u, -2, -2/3, t
Let j = -5 + 4. Let q = j + 3. Let f = 172 - 172.2. Put q, 0, f in decreasing order.
q, 0, f
Let p = -2.5 - -2. Let i = 89 - 89. Put p, i, 3 in decreasing order.
3, i, p
Suppose q - 132 = 4*d, -3*d + 3*q = -q + 86. Let y = d + -56. Let o be (1/2)/(9/y). Sort 5, -1, o in decreasing order.
5, -1, o
Let m = -0.25 + 0.05. Suppose -5*o + 5 = 5*n, 4*o + n + 4*n - 9 = 0. Put o, m, 1/4 in decreasing order.
1/4, m, o
Let v = 30 + -28.32. Let s = v + 0.32. Sort s, -3, 0.
-3, 0, s
Let x = 0.09 + -0.39. Let f = 0.3 + x. Let b = -46 - -46.3. Sort 3, b, f.
f, b, 3
Suppose x = -4*x + 20. Suppose -c = d, -x*d - c + 6 = c. Let y be -4 + d + -2 - -7. Sort -5, y, -3 in ascending order.
-5, -3, y
Let w be 7/((-12 + 10)/(4 - 2)). Sort w, -3, 3, 0 in descending order.
3, 0, -3, w
Suppose -4*i - 2*i + 24 = 0. Suppose 0 = -i*p - 0*p - 60. Let m be (-15)/99 + (-5)/p. Sort -2/11, 1, m in descending order.
1, m, -2/11
Suppose -d = -2*j + 5, -3*j + 6*d + 9 = 3*d. Sort 1, -6, -4, j in descending order.
j, 1, -4, -6
Let h = 1028 + -1028.4. Sort 265/4, h, -0.3 in decreasing order.
265/4, -0.3, h
Let g = -14.009 + 14. Let q = -0.991 + g. Sort 1/10, 0.06, q in decreasing order.
1/10, 0.06, q
Let c = -1.42 - -2.42. Sort -1, c, 5/9, -0.4 in increasing order.
-1, -0.4, 5/9, c
Suppose 5*q + 79 = w, 5*q + 2*w + 55 = -3*w. Suppose 0 = 2*v - 34 - 0. Let z = v + q. Put z, -3, 3 in decreasing order.
3, z, -3
Let g be (218 + -219)/((-1)/(-1) + -14). Sort 0.5, g, -5, 1/5.
-5, g, 1/5, 0.5
Let w(m) = m**3 + 15*m**2 + 13*m - 11. Let x be w(-14). Let s be (x - (-348)/8)/(-6). Let d = s + 9. Put 2/9, d, 5 in descending order.
5, d, 2/9
Let c be ((-23)/3)/((-5)/(-15)). Let s = c - -24. Suppose 4*d - 3*d - 23 = 3*a, -3*a = d + 13. Put s, a, -1 in ascending order.
a, -1, s
Let c = 0 - 13. Let f(u) = u**3 + 14*u**2 + 13*u - 3. Let a be f(c). Suppose -d + 9 = -3*o, 0 = -5*d - 18 + 3. Sort o, a, 2 in descending order.
2, a, o
Suppose 5*y = 2 + 13. Let f be 4*(y/6 + 1). Let g be 70/(-21) - (-2)/f. Put 1/3, -1/2, g in descending order.
1/3, -1/2, g
Let z(f) = 2*f - 46. Let n be z(23). Put n, 5, -5 in ascending order.
-5, n, 5
Let f(v) = -v + 1. Let x be f(-2). Suppose 0 = x*d - 7*d - 76. Let s = -16 - d. Put -8, 5, s in descending order.
5, s, -8
Let j = -47 - -83. Let m = -36 + j. Put -3, -4, m in ascending order.
-4, -3, m
Let s be (-84)/(-35)*(8 - -2). Sort 4, 0.3, s.
0.3, 4, s
Let c = 1270 - 8893/7. Sort -1, -0.05, c, -2/7 in decreasing order.
-0.05, -2/7, c, -1
Let u = -1483 - -1451. Put -2, 2/17, -1/14, u in decreasing order.
2/17, -1/14, -2, u
Suppose -5*l + 10 = -5*i, 4*l + 4*i = -0 + 8. Suppose -p - 3 = -l*g - 1, 5*g - 16 = -3*p. Put -5, -2, g in descending order.
g, -2, -5
Let f(b) = b - 4. Let u be f(5). Let o be 2/(-6) - (-8 + 119/21). Put u, o, 30 in ascending order.
u, o, 30
Suppose 1 - 2 = -t. Suppose 2 + t = -m. Let u be 15/(-12)*m/(-30). Sort u, -0.2, 4/5.
-0.2, u, 4/5
Suppose 3*w = -2*w + 10. Let x be 1/w - (-2)/4. Let i be -2 + 2 + 1 - x. Sort -18, i, 3 in decreasing order.
3, i, -18
Let o be 2/6*-3 + 3. Suppose -5*g + o*g - 3 = 0, 5*h = -4*g + 6. Put -1, h, 4 in ascending order.
-1, h, 4
Suppose 2*t + 7*p - 13 = 12*p, 5*t + 8 = -p. Sort t, -4, 0.5, 0 in descending order.
0.5, 0, t, -4
Let a = -13.4 - -13.451. Let n = -0.451 + a. Let l = 0.04 + 1.96. Sort 3, n, l.
n, l, 3
Let x = -15 - -10. Let h(y) = y**3 + 2. Let r be h(0). Sort 5, r, x in increasing order.
x, r, 5
Let z = 2.96 - 3. Let h be (5/10)/((3 - 4) + -2). Sort h, 0.1, z in descending order.
0.1, z, h
Let c(y) = -56*y + 615. Let a be c(11). Sort 18, 21, a.
a, 18, 21
Let x = 3.75 - 3.7. Let f = -11.05 + x. Let l = 9 + f. Put 0.03, -1, l in decreasing order.
0.03, -1, l
Let a(f) = f + 19. Let r be a(-15). Suppose 4*i + 1 = -3, -3*d - r*i = 19. Sort d, 2/9, 2 in descending order.
2, 2/9, d
Let t = -11.09 + 11.19. Sort -4/3, -9, t, -12 in descending order.
t, -4/3, -9, -12
Let y(n) = n**2 - 15*n + 52. Let x be y(7). Sort -12, -3/2, x, -2/3.
-12, x, -3/2, -2/3
Let a be (-100)/(-288) + ((-198)/48 - -4). Put -2, a, -2/51 in increasing order.
-2, -2/51, a
Suppose -30*o = -47*o + 187. Put 0, o, 8 in increasing order.
0, 8, o
Let o(a) = 150*a - 221. Let t be o(2). Put -5, t, 0.4 in descending order.
t, 0.4, -5
Let n = -130.4 + 123.21. Let x = n + 0.19. Sort 0, 5, x in increasing order.
x, 0, 5
Let p = -3.2 - 38.8. Let t be ((-780)/234)/((-5)/2). Put p, t, 3 in descending order.
3, t, p
Let v be ((-4)/14)/((-33)/(-77)). Put v, -9, -1/13 in increasing order.
-9, v, -1/13
Let m be 5 - (3 - 0/3). Suppose 7 = m*a + 9. Put -2, -3, -4, a in ascending order.
-4, -3, -2, a
Let g(w) = -w**3 - 11*w**2 + 13*w + 10. Let t be g(-12). Let d be ((-5830)/(-869))/(28/t). Let c = -4/79 - d. Put c, -2/5, 2 in ascending order.
-2/5, c, 2
Let s = -0.6 - 0.1. Let k = -110.9 + 65. Let d = 46 + k. Sort d, -1, s in decreasing order.
d, s, -1
Let x(o) = -o**3 + o**2 - o. Let m be x(0). Suppose 0 = 2*n - m*n - 4. Let c be 6/(-33) - 455/(-143). Sort -2, c, n.
-2, n, c
Let y be 18/3*((-9)/(-6))/3. Suppose y*f + 5*i + 13 = 0, f + 5*i + 4 = -17. Let r = -5 + 10. Sort f, r, 10 in descending order.
10, r, f
Let b be (114/(-20))/3 - 6/(-15). Let k = 0.2 - 0.2. Put b, 9, k in decreasing order.
9, k, b
Let r = 0.0267 - -0.0733. Put r, -9, 2/9 in descending order.
2/9, r, -9
Let u(y) = -y**2 + 8*y - 13. Let w be u(6). Let p = -4 - -2. Let q be (-38)/(-9) + 8/(-36). Sort w, p, q in increasing order.
p, w, q
Let c = 4 - 4. Let p = 1 - -1. Suppose c = -4*y + 8, -2*w + 2*y + 2 = -p*y. Sort 0, w, 3 in descending order.
w, 3, 0
Let r(u) be the first derivative of u**3/3 - u**2 - 3*u - 2. Let o be r(4). Suppose -2*h - 2*n = 3*n + 13, -2*h + 5 = -n. Put o, h, 4 in increasing order.
h, 4, o
Let i(u) = -69*u + 17 - 5 + 67*u. Let t be i(7). Sort t, 7, 5 in descending order.
7, 5, t
Let y(l) = l**2 - 19*l - 123. Let w be y(-5). Let s = 25 - 15. Let x be ((-18)/(-15))/(2/s). Put w, x, 1 in descending order.
x, 1, w
Let m be (4/(-6))/((-100)/(-150)). Put 69, m, 3 in ascending order.
m, 3, 69
Let p(l) = -l - 1. Let a(q) = 4*q - 13. Let r(j) = -a(j) - 3*p(j). Let x be r(12). Let c be (0 +