 descending order.
t, -4, -5
Let y(z) = -z**2 - 7*z + 1. Let h be y(-7). Let r = 4 + h. Put 1, -4, r in decreasing order.
r, 1, -4
Let x = 0.62 - -0.38. Sort -8, x, 5.
-8, x, 5
Let x be (-198)/(-51) - 16/4. Put x, -7, -0.5, 0.2 in descending order.
0.2, x, -0.5, -7
Let q(t) = -6*t + 28. Let o be q(4). Sort o, -2, 18, 2 in ascending order.
-2, 2, o, 18
Let l = 2 - 11. Let f = -5 - l. Let u be -5 + (-2)/(-2) - -2. Put 3, f, u in descending order.
f, 3, u
Let a = 0.15 - -11.85. Let m = a - 7. Let c = -5.1 + m. Sort c, 0.5, -2.
-2, c, 0.5
Suppose 0 = v + 2*v - 30. Let u = v + -7. Suppose 5*r + 18 = -k, -6 + 0 = 3*r + u*k. Put -2, 4, r in decreasing order.
4, -2, r
Suppose 3*t = 6 + 12. Let c(h) = -h + 5. Let i be c(t). Sort i, -2/11, -2/19 in increasing order.
i, -2/11, -2/19
Let q = -1.66 - -3.4. Let s = q + -1.7. Sort s, -0.2, 1/6 in descending order.
1/6, s, -0.2
Suppose -3*j + 6 = -2*y - j, 5*y - 4*j = -16. Suppose 3 = -4*i + 19. Sort y, -3, i.
y, -3, i
Let v be (-204)/48 - (-2)/8. Put -5, 6, v in ascending order.
-5, v, 6
Let g = -1.2 - -0.2. Let h = g - 0. Let m = 8.2 - 8. Put m, h, -4 in increasing order.
-4, h, m
Let g(j) = -39*j**2 + j + 1. Let x be g(2). Let n be x/21 + (-4)/(-14). Let h(q) = -q**3 - 8*q**2 - 6*q + 5. Let u be h(n). Put 2, -3, u in descending order.
2, u, -3
Let c = 18 + -13. Let k = -9 + 6. Let s = 7 + k. Sort 3, c, s in increasing order.
3, s, c
Let b = -2/11197 + 7983471/55985. Let u = b - 141. Sort u, -4, 0.2 in increasing order.
-4, 0.2, u
Let k = -11 - -15. Let u(z) = z**2 - 19*z + 30. Let l be u(17). Put l, -2, k in decreasing order.
k, -2, l
Let s(x) = -x**2 - 4*x - 3. Let a be s(-6). Let g be a*(1 + 4/(-3)). Let w = -30.1 - -25.1. Put g, w, -0.1 in decreasing order.
g, -0.1, w
Suppose -7*r - 5*u = -2*r - 15, -3*r = -5*u - 25. Put r, -3, 4 in descending order.
r, 4, -3
Let l be 2/4*(5 - 7). Put -5, l, 1 in descending order.
1, l, -5
Let s = -0.4 - -0.29. Let i = s - -5.11. Sort 0.1, -2/21, i in increasing order.
-2/21, 0.1, i
Let s be 4/18*(-45)/(-30). Let d be (6/(-27))/(4/6). Sort d, s, 1/9 in increasing order.
d, 1/9, s
Let s = 17/5 + -63/20. Sort s, -1/7, 2, -1/2 in descending order.
2, s, -1/7, -1/2
Let j(u) = u + 0*u - 4*u + u**2. Let w be j(3). Sort 5, -1, w in increasing order.
-1, w, 5
Let n = 0 + -4. Let l be 0 + (2 - 1) - -9. Let p be 8/20 + (-4)/l. Put 2, n, p in ascending order.
n, p, 2
Suppose 0 = 3*k + 1 + 2. Suppose -j = -6*j. Suppose -3 = 3*d - 12. Put j, k, d in ascending order.
k, j, d
Let s = -1 - 2. Suppose -2*n - 17 = 2*k - 5*k, 0 = 4*n + 4*k - 16. Sort 4, n, s.
s, n, 4
Let f = 29 - 27. Put 5, f, -3 in increasing order.
-3, f, 5
Let s = 0.05 - 19.05. Sort -1, s, -0.5.
s, -1, -0.5
Suppose -5*w + 3*y = -0*w - 9, 0 = w - 5*y - 15. Let f(m) = -m + 3. Let z be f(8). Put z, w, -2 in descending order.
w, -2, z
Let k(z) = z**3 - 12*z**2 + 33*z - 11. Let a be k(8). Sort a, -5, 1.
-5, a, 1
Let r be ((-1)/23)/(0 - (-4)/(-8)). Let y be 2 + (1 - 1)*-1. Sort r, y, -3/7 in increasing order.
-3/7, r, y
Let a be (-1 - 8/(-6)) + -1. Let f be 74/(-111)*(-18)/4. Put -3/4, f, a in descending order.
f, a, -3/4
Let k = 1.4 - 13.4. Let m = -11.8 - k. Put 0.1, m, 2 in descending order.
2, m, 0.1
Let u = -232 - -232. Sort 3, u, -3, -10 in decreasing order.
3, u, -3, -10
Suppose -2*v = -q + 2, 0 = q - 0*v + 4*v - 8. Put -5, 6, q, -3 in decreasing order.
6, q, -3, -5
Let j = 4 + -4.5. Let s = 0.3 + j. Let i = s - -0.1. Sort -1, 0.1, i in increasing order.
-1, i, 0.1
Suppose 0*w - 2*w - 10 = 0. Sort 2, 3, w in descending order.
3, 2, w
Suppose 0 = 4*y + w + 25, 4*y + y = 2*w - 15. Sort 5, y, 2 in descending order.
5, 2, y
Let b(w) = 2*w**2 + 39*w - 20. Let o be b(-20). Put -1, o, -22 in descending order.
o, -1, -22
Let s = 205 - 207. Sort s, 7, -5 in ascending order.
-5, s, 7
Let t = 0.12 - 0.07. Let a = 24 - 24.65. Let u = a + t. Sort -3, -1, u in decreasing order.
u, -1, -3
Let j = 14 - 7. Suppose 3*d = -2*x + j*d - 12, -2*d + 6 = 0. Suppose -o + 3*o + 10 = 0. Sort x, -4, o in decreasing order.
x, -4, o
Let p(j) = -2*j. Let t be p(-1). Let o(r) = 2*r. Let c be o(-1). Let u(v) = -v**2 - 10*v - 12. Let b be u(-9). Sort b, c, t.
b, c, t
Let u = 2 + -1. Let k = 11/2 + -45/8. Put u, 3/7, k in decreasing order.
u, 3/7, k
Let r = -75 + 77. Let p = 8 + -33/4. Sort p, -5, r in descending order.
r, p, -5
Let m = -0.31 - -0.11. Let g = -0.5 - m. Put 0.1, -0.2, g in increasing order.
g, -0.2, 0.1
Let n be 4/(-6) - 12/(-45). Let z = 9 - 9. Let j = 0.1 - z. Sort n, -0.3, j in increasing order.
n, -0.3, j
Let z = 5.6 - 4.6. Sort 3, 1/2, z, 0.1.
0.1, 1/2, z, 3
Let l = -3/8 - 9/8. Sort l, 7, -5.
-5, l, 7
Let m = 4.98 - -0.02. Sort -11, -4, m in descending order.
m, -4, -11
Let b = -10.4 - -10. Sort -1, -5, b.
-5, -1, b
Let g = -6/83 + 297/664. Let h be 1 + (0 - (-148)/63). Let j = h + -25/7. Sort g, -5, j in ascending order.
-5, j, g
Suppose 10 = 4*t + t. Let n(r) = r**3 - r + 4. Let w be n(0). Sort t, w, 1 in increasing order.
1, t, w
Let b(z) = -z**3 + 3*z**2 + 4. Let m be b(3). Sort 6, m, 2, 3.
2, 3, m, 6
Let p(w) = 4*w**3 + 2*w**2 - w. Let l be p(1). Suppose 3*j - 2*j - 3 = 0. Put -5, l, j in increasing order.
-5, j, l
Let i be (-8)/2 - (3 + -9). Sort -5, 9, i in descending order.
9, i, -5
Suppose -k + 3 = 0, 3*k - 7 = 4*m - 2*k. Suppose -5*l + 10 = 2*i, 2*i + m*i + 6 = 3*l. Sort l, 3, 0 in decreasing order.
3, l, 0
Let m = -313 - -308. Let c = -4.06 - -0.06. Let q = c + 1. Sort q, m, -0.5 in descending order.
-0.5, q, m
Let s be (-258)/54 + (-26)/117. Let p = -0.22 - 0.08. Let d = p + 0. Sort 5, d, s.
s, d, 5
Let k = -86 - -256/3. Let i(a) = a**2 + 3*a - 2. Let x be i(-3). Sort k, x, 2/5 in increasing order.
x, k, 2/5
Suppose -2*s = -4*s - 2, -3*j - 5*s = 14. Suppose p = 12*p + 44. Put 3, p, j in descending order.
3, j, p
Let r(i) = i**2 + 4*i - 2. Let j be r(-5). Let d be 6 + (j/1)/(-3). Sort d, -2/7, 3 in increasing order.
-2/7, 3, d
Let m = 23 + -22. Sort -2, m, -3 in decreasing order.
m, -2, -3
Let m(p) = -16*p**3 + 15*p**3 - 9 - 10*p - 6*p**2 - 4*p**2. Let w be m(-9). Put w, -3, -2/5 in descending order.
w, -2/5, -3
Let i = -8 + 8.03. Let k = i - 0.03. Let a = -0.06 + 3.06. Put k, a, -0.5 in descending order.
a, k, -0.5
Let d = 8 + -8. Let w be 2/(-12) + (-3)/(-9). Sort d, w, -5 in descending order.
w, d, -5
Let v = -13 + 12. Let s = v + -4. Put s, 1/2, -1/7 in decreasing order.
1/2, -1/7, s
Suppose 12 = -h + 61. Sort 5, 2, h in increasing order.
2, 5, h
Suppose -2*p + 16 = -2*k, -5*p - 2*k + 0 + 5 = 0. Let t = 4 + 1. Put -3, p, t in descending order.
t, p, -3
Let z(r) = -r + 6. Let s be z(5). Sort s, -2, 4.
-2, s, 4
Let u = -0.06 + 0.18. Let g = u + -5.12. Put 4/7, g, 0.1 in increasing order.
g, 0.1, 4/7
Let f(l) = 4*l. Let c be f(1). Let m = 12 - 10. Suppose -k + 8 = -5*k + 4*j, 0 = 2*k + m*j + 4. Sort k, -5, c in increasing order.
-5, k, c
Let q = -1.27 - -0.07. Let x = -1.1 - q. Suppose 0 + 3 = -d. Sort x, -2, d in descending order.
x, -2, d
Let q = -2.89 + -0.11. Suppose u + 22 = 2*p + 6*u, -5*p + 3*u = 7. Let z = -1/2 + p. Sort z, -0.3, q.
q, -0.3, z
Let n = 136/3 - 46. Put 1, 2/3, -0.3, n in ascending order.
n, -0.3, 2/3, 1
Suppose -2*q - 14 - 2 = 3*c, 5*c = -q - 29. Let t(l) = l**2 + 5*l - 6. Let o be t(c). Sort o, 5, -2.
-2, o, 5
Let w(f) = f**2 + 13*f + 11. Let z be w(-12). Let a be z + (-2)/(2 - 0). Sort 0, -3, a in decreasing order.
0, a, -3
Let m = 65/3 + -22. Let i(n) = 3*n**3 + n**2 - n + 1. Let j be i(1). Suppose -j*g = 25 - 5. Sort m, g, 0.3.
g, m, 0.3
Let q = 16.08 - 0.08. Let l = -12 + q. Put 2, -7, l in increasing order.
-7, 2, l
Let t = -26 - -29. Let j = 1 - -4. Sort -4, t, j in increasing order.
-4, t, j
Let v = 0 + 4. Let m = v - 7. Sort -2/7, 0.1, m in descending order.
0.1, -2/7, m
Suppose -i - o = -7, -5*o - 10 = -4*i - 0*o. Suppose -i = 6*k - k. Sort -3, 4, k in increasing order.
-3, k, 4
Let u = 29.3 - 25. Let y = u - 4. Sort 0.2, 0, y in decreasing order.
y, 0.2, 0
Let o = 4/9 - 35/18. Let d = -3 - -2.87. Let v = d + -0.17. Sort v, o, 0.2 in increasing order.
o, v, 0.2
Let m be 3/((-1)/(4 - -2)). Let w = 21 + m. Sort 0, w, 4.
0, w, 4
Suppose 0 = -3*h - 5*g + 51, 0 = 4*g + 18 - 6. Let q = 15 - h. Let b be (-2)/q - 26/42. Sort 0.1, b, -2/7 in descending order.
0.1, -2/7, b
Let i be (-4)/6*9/(