2 in decreasing order.
2, 1, o
Let n(h) = -3*h - 20. Let z be n(-6). Let b = z - -5. Let l = -1 - -1. Put b, l, -2 in descending order.
b, l, -2
Let l(g) = 6*g + 3*g**2 + 2*g - 4*g**2 - 11. Let q be l(5). Sort 0, q, -5 in descending order.
q, 0, -5
Let r(l) = l**2 - 6*l + 4. Let h be r(2). Put h, 2, -1, -3 in descending order.
2, -1, -3, h
Let y be (4 - 52/9) + (-4)/18. Sort -4, 3, y, -1.
-4, y, -1, 3
Let n = 3 - 5. Let l be 0 + -1 + 10/12. Put -0.3, l, n in descending order.
l, -0.3, n
Suppose 5*c - q - q - 26 = 0, -5*c = 5*q - 40. Let u = 5 - c. Put 1, u, 5 in decreasing order.
5, 1, u
Let t = -1 - -11/10. Let y = 0.38 + -0.38. Sort t, y, -5 in decreasing order.
t, y, -5
Suppose -8 = 18*m + 10. Let c(s) = s + 5. Let k be c(-4). Put 2, k, m in descending order.
2, k, m
Let s = -34 - -37. Sort -3, 1, s in descending order.
s, 1, -3
Let l = 5.8 + -1.8. Put 1/6, l, 2 in decreasing order.
l, 2, 1/6
Suppose 6 = 4*f - 2. Suppose u = 2*u + f. Sort u, -0.5, 4/5 in decreasing order.
4/5, -0.5, u
Suppose 0 = 4*v - 2*h - 14, 3*v - 4*h - 8 = -0*h. Suppose 29 = v*c + p, -3*c - 6*p + 4*p + 28 = 0. Sort 2, 3, c in ascending order.
2, 3, c
Suppose -9 = -3*v - 2*y, 3*y - 12 = -0*v - 3*v. Put v, -1, 13 in increasing order.
-1, v, 13
Suppose 4*k - 6 + 2 = 0. Let g be (3 + (-1 - -2))/k. Suppose 0 = g*d + d - 25. Put 4, d, 0.3 in decreasing order.
d, 4, 0.3
Suppose a + 3*z = -1, -2*z + 5 = 4*a - 1. Suppose 3*v - 15 = -2*v. Suppose -v*y - 7 - 8 = 0. Sort a, -4, y in decreasing order.
a, -4, y
Let x(f) = 5*f**2 + 4*f - 1. Let p(v) = 4*v**2 + 5*v. Let c(l) = -3*p(l) + 2*x(l). Let i be c(-2). Put i, 1, 5 in increasing order.
1, i, 5
Suppose 13 = -7*u - 1. Let p be (-80)/(-36) + 4/(-18). Let l be p/6 + 4/(-3). Put l, 2, u in ascending order.
u, l, 2
Let d = -0.09 - 0.01. Sort 0.4, 7, 2/7, d in decreasing order.
7, 0.4, 2/7, d
Let l = -10 + 15. Put -12, l, -1 in decreasing order.
l, -1, -12
Suppose 0 = -a - 2*m + 1 + 5, 0 = 3*a + 4*m - 14. Suppose 0 = a*r - 7 + 3. Sort r, -4, 1 in descending order.
r, 1, -4
Suppose 3*b = 8*b - 15. Let k(w) = w**3 - 3*w**2 - 2*w + 1. Let f be k(b). Sort 4, 0, f in decreasing order.
4, 0, f
Let d be (5/(-3))/(-5)*6. Let q = 1 - d. Put -5, -4, q in descending order.
q, -4, -5
Let p = -0.6 - -0.4. Put p, 0.5, 0.6 in ascending order.
p, 0.5, 0.6
Let j = -0.05 + -1.95. Let r = -0.66 - -1.16. Put j, 0, r in decreasing order.
r, 0, j
Let g = 13 - 9. Let i = -6 + 6.3. Put g, i, 0.5 in ascending order.
i, 0.5, g
Let o be 6/8*2/(-3). Sort o, -3, 1/2.
-3, o, 1/2
Let f = -267 - -267.5. Let w = -0.29 - 0.01. Sort -3, f, w in ascending order.
-3, w, f
Suppose -5*j - 1 - 9 = 0. Let m = 7 + j. Suppose -3*t + 13 = m*q, -5*q - 6 + 14 = -2*t. Sort q, -0.2, 4.
-0.2, q, 4
Let c = -3.8 + -0.2. Sort -2/13, -0.5, c in ascending order.
c, -0.5, -2/13
Let k = 154 - 159. Put k, 3, -22 in increasing order.
-22, k, 3
Let t be -5*(4/(-10))/(4/(-10)). Sort -1, t, 5 in decreasing order.
5, -1, t
Let x = 449/45 + -51/5. Let p = -6 - -5. Suppose -3*f = -2*g + 4, g + 4*f = -3*g - 32. Put g, x, p in decreasing order.
x, p, g
Let n = -12 - -7. Let c be 4/n*(0 + 5). Let t be (c/14)/((-15)/(-7)). Sort -3, 4, t in descending order.
4, t, -3
Suppose 2*t - 3 = t. Suppose 4*h - 1 = c, 3*h + 2*h + 3*c + t = 0. Sort h, 5, 2.
h, 2, 5
Let k = -2/97 + -188/291. Let o = -0.05 - -0.05. Put k, -3, o in descending order.
o, k, -3
Let x = 21 - 22. Put -5, 1, x in ascending order.
-5, x, 1
Let j(m) = -m**3 + 5*m**2 - 4*m - 2. Let f be j(5). Let y = f - -17. Sort y, 0.2, 5.
y, 0.2, 5
Let b(o) = o**2 - 2*o - 5. Let h be b(4). Let d(l) = -l**3 - 5*l**2 + 6*l - 4. Let r be d(-6). Suppose 0 = -2*f - f. Put h, f, r in descending order.
h, f, r
Let o = 181 - 264. Let m = o + 413/5. Put -1, 0.5, m in descending order.
0.5, m, -1
Let f = 39 - 34. Let r(c) be the first derivative of -c**2/2 + c - 1. Let w be r(f). Sort -2, -5, w in ascending order.
-5, w, -2
Let m = -0.05 + 0. Let x = m + 0.35. Let d = -396 - -5942/15. Put x, 0.5, d in increasing order.
d, x, 0.5
Let n(t) = t**3 + 6*t**2 + 8*t + 5. Let i be n(-4). Sort i, 3, -1, 2 in increasing order.
-1, 2, 3, i
Let o = -102 - -97.85. Let d = -0.15 - o. Put 1/5, d, -6 in descending order.
d, 1/5, -6
Let y = -1.36 + 1.06. Sort -1/17, -1/6, y in descending order.
-1/17, -1/6, y
Let q = 0.1 - -3.9. Put q, -1, 2 in decreasing order.
q, 2, -1
Let g = -9/29 + 161/145. Sort -1/2, g, 5 in descending order.
5, g, -1/2
Let k be 1/(2 + -1) - -1. Suppose -4*h + k*h = -10. Put 1, 3/2, h in increasing order.
1, 3/2, h
Let j(a) = -5*a - 5*a + a**2 - 4 + 3*a. Let d be j(7). Sort 2, -1, d in descending order.
2, -1, d
Let l = 184 + -189. Sort l, -1/11, 2/7, 2/9 in descending order.
2/7, 2/9, -1/11, l
Let o = -24.2 + 24. Sort o, 1/3, -2/3 in descending order.
1/3, o, -2/3
Suppose 0 = -2*w - 10, 4*f + 5*w = 6*f - 15. Put f, 4, 0, 5 in increasing order.
f, 0, 4, 5
Let r be 2/(-7) + -3 + 3. Let v = -8 - -7.5. Put -3, v, r in descending order.
r, v, -3
Suppose 4*j = 9*j + 20. Let i = 1 + -0.8. Suppose 2*p + 1 = 5*b - 24, 0 = p + 2*b - 10. Put j, i, p in decreasing order.
i, p, j
Let w = -58 + 61.1. Let r = w - -0.9. Let d be (-3)/24 + 1 + -1. Put r, d, -2/3 in increasing order.
-2/3, d, r
Suppose 5*f - 2*f - 3 = 0. Let n be (f + 1 + -1)*1. Suppose -z + 3*t = 4*z + 10, -4*z - 2*t = 30. Put z, 2, n in descending order.
2, n, z
Suppose 3*f + 16 = 16. Sort -0.1, -0.3, f, -6.
-6, -0.3, -0.1, f
Let m be ((-4)/8)/((-1)/4). Suppose j + 15 = -m*j. Suppose -3*x = 3 - 12, 3*z - 2*x = -9. Sort z, j, -4.
j, -4, z
Let b = 3.012 + -0.012. Sort 6/5, 5, b.
6/5, b, 5
Let k(h) = -5*h + 2. Let n be k(2). Let g(x) = -x - 4. Let r be g(n). Let f = -4 + 1. Sort f, r, -5.
-5, f, r
Suppose 0*i - 4*i = 3*j - 15, 0 = i. Sort 3, j, 0 in increasing order.
0, 3, j
Let s = 2.7 + -3. Sort -0.1, s, -16 in increasing order.
-16, s, -0.1
Let i = -0.55 + 0.05. Let r = 0.85 - 0.15. Let b = r - 1. Put -1, i, b in descending order.
b, i, -1
Suppose 3*s = 6 - 21. Let q(v) be the first derivative of -v**3/3 - 2*v**2 + 4*v - 2. Let r be q(-4). Put s, 2, r in descending order.
r, 2, s
Let p = -52 - -155/3. Sort 3, p, -2/5, -2/9 in increasing order.
-2/5, p, -2/9, 3
Let x = 2 - 1.5. Let r = -0.035 + -0.165. Put x, 2/13, r in descending order.
x, 2/13, r
Let r(q) = 3*q**2 + 2*q + 1. Let s be r(-1). Let f = 1.11 - 1.31. Sort s, f, -0.7 in decreasing order.
s, f, -0.7
Let s = -0.48 - -0.18. Put s, 0, 2/3 in increasing order.
s, 0, 2/3
Let k = -4.99 + -0.01. Let c = 4.7 - -0.6. Let y = k + c. Sort 5, y, -2.
-2, y, 5
Suppose -5*i - 5*c - 20 = 0, -c + 0*c + 5 = 0. Let m = i + 14. Sort 3, m, -2.
-2, 3, m
Let k be 54/(-12) + (-4)/(5 - -3). Sort k, 7, 3, 5 in descending order.
7, 5, 3, k
Let b = 2.5 + -3. Let j = -0.07 - -0.07. Put b, j, -0.1 in increasing order.
b, -0.1, j
Let w be 4/2*(-10)/(-4). Let g be (2/w)/(1/10). Put g, -5, -3 in descending order.
g, -3, -5
Let i = 7 + -4. Let w(a) = -a**3 - 4*a**2 - 2*a + 1. Let f be w(-2). Let y = f - -5. Sort y, i, 2/3.
2/3, y, i
Suppose 15 = -4*c - 5. Let h = c - -1. Let v(w) = -w**2 + 5*w + 5. Let z be v(6). Put z, h, 4 in descending order.
4, z, h
Suppose 8 = 4*j - u, -j = j - u - 4. Sort j, -2, -1 in decreasing order.
j, -1, -2
Let n = 11 + -6. Sort n, -3, -1/5.
-3, -1/5, n
Let j be (4 - 2)*(-1)/2. Let g = -18 + 17.7. Let l = 25 + -24. Put j, l, g in decreasing order.
l, g, j
Suppose 3 = -3*y - 3. Let d be (-8)/16 - (-5)/y. Sort -2, 5, d.
d, -2, 5
Let p(s) = -2*s**3 - 3*s**2 - s - 1. Let i(v) = v**2 - 4*v - 2. Let j be i(4). Let m be p(j). Put -5, m, 0 in decreasing order.
m, 0, -5
Let a = 0.14 + -0.1. Let o = a - -3.96. Sort -3, o, 2/3 in decreasing order.
o, 2/3, -3
Suppose 0 = -2*r - 6, 5*p + 5*r - 2*r + 19 = 0. Let w be 2/4*(p - 0). Suppose -5*d = 4*c - 12, 2*c + 4*d = 6*c - 12. Put 2, c, w in decreasing order.
c, 2, w
Let m = -104.9 - -104. Sort m, 0.5, 3, -5 in decreasing order.
3, 0.5, m, -5
Suppose 3*c = 14*c. Suppose -5*h + u - 22 = 0, -27 = -0*h + 3*h + 4*u. Sort h, c, -3 in increasing order.
h, -3, c
Suppose 0*n = 4*n - y + 4, -2*n + y - 4 = 0. Let p(s) = -2*s**2 + 5*s + 8. Let o be p(4). Sort -3, o, n in descending order.
n, -3, o
Let s = -221/88 + 1/88. Put -5, -1/6, s, -0.08 in increasing order.
-5, s, -1/6, -0.08
Let l be 10/(-4)*2/10. Let f = -0.9 - -0.