et v be (-26)/6 + 2/(-1) + 5. Put -1.7, v, 2 in decreasing order.
2, v, -1.7
Let a(n) = -n**2 - n - 5. Let s(z) = -z - 1. Let d(h) = -a(h) + 6*s(h). Let l be d(5). Sort l, -5, -4.
-5, -4, l
Let t = -0.06 - 0.24. Let n = -421361135/7821 + 484882/9. Let b = n - -1/79. Sort t, b, -3 in descending order.
b, t, -3
Suppose 0 = 5*g + 4*t - 22 - 5, -4*g + 18 = 5*t. Let f be (-10)/((g - 1)/(-3)). Put f, 2, 4 in ascending order.
2, 4, f
Let r = 6 + -8. Let c = -4 + 1. Sort -1, c, r.
c, r, -1
Let q = -120 - -119.3. Put -5, 0.07, q in increasing order.
-5, q, 0.07
Let p(x) be the second derivative of x**4/12 + x**3 - 9*x**2/2 - 3*x. Let j be p(-7). Put 2, j, 5 in ascending order.
j, 2, 5
Suppose 9 = m + m + u, -m + 3*u - 13 = 0. Let y = -41 - -44. Sort m, -1/2, y in descending order.
y, m, -1/2
Let m = -2.317 + 0.017. Let w = -0.3 - m. Let c = 2.1 - w. Put c, -2, 0.5 in descending order.
0.5, c, -2
Let u = -12 + 17. Sort 1, -0.4, u in descending order.
u, 1, -0.4
Let l be 2 + (-1)/(-10)*-14. Sort 2, -4, l.
-4, l, 2
Suppose 2*m = 4*m - 2. Let b = -2 + 2. Put b, m, -5 in decreasing order.
m, b, -5
Suppose 0 = 2*g - k - 10, 5*g - 22 = -2*k + 12. Let d(y) = -y**2 + 5*y + 4. Let v be d(g). Put 4, 1, v in increasing order.
v, 1, 4
Let y(a) = -a**2 - 11*a + 31. Let s be y(-13). Put s, 3, -1 in ascending order.
-1, 3, s
Suppose -2*g + 32 = 16. Let m be g/(-20) + 66/15. Put m, 1, 0.4 in increasing order.
0.4, 1, m
Let w(t) = t**2 + 4*t - 7. Let b be w(-6). Let x = -2 - -1. Sort 0, b, x in increasing order.
x, 0, b
Let j(r) = -r**3 + r**2 - 2*r + 2. Let k be j(1). Put 2, 1, k in ascending order.
k, 1, 2
Suppose 0 = -z + 64 - 65. Put -3, z, 4 in descending order.
4, z, -3
Suppose -2*y = -1 - 7, 5*n - 5*y = 5. Suppose q - 21 = -4*p, q + 2*q + n*p = 28. Sort q, 3, -2.
-2, q, 3
Let j = -0.11 + 0.24. Let r = j - 0.1. Let v = 3.97 + r. Put 0, 0.1, v in decreasing order.
v, 0.1, 0
Let p = 23/350 - -1/70. Sort p, 5, -3.
-3, p, 5
Let k = 6.92 - 7. Let w = 0.02 - k. Let x(v) = 2*v + 9. Let b be x(-7). Put -2, b, w in increasing order.
b, -2, w
Let o be -6*3/(-6)*-3. Let l(q) = q**3 + 10*q**2 - 10*q + 11. Let s(x) = -x**2 + x. Let c(b) = -l(b) - 2*s(b). Let f be c(o). Put f, -5, -1 in descending order.
-1, f, -5
Let p = 8 + -11. Let c(q) = -q**3 - 4*q**2 - 3*q - 2. Let r be c(p). Suppose -8*j = -4*j, 2*h + 2*j + 6 = 0. Sort h, -4, r in descending order.
r, h, -4
Let k = -5.22 - -0.22. Sort k, -1/4, 0.3 in decreasing order.
0.3, -1/4, k
Suppose 5 = 4*a + 3*n, -8*n = -a - 6*n + 4. Sort a, 5, 1 in descending order.
5, a, 1
Let b = -21 - -102/5. Sort b, 3, 2/11.
b, 2/11, 3
Let z be (-3)/(-6)*0 - 0. Sort z, 3, -3 in decreasing order.
3, z, -3
Let h = 34 + -33. Sort 5, -9, h.
-9, h, 5
Let d = -0.001 - -0.161. Put d, 2, -0.4 in decreasing order.
2, d, -0.4
Suppose -3*m = 4*z - 2 - 7, -m + 3 = -4*z. Suppose z = -v - 4*v. Let f be (2 + 1)/((-3)/2). Sort v, f, -1 in descending order.
v, -1, f
Let y = -74/7 - -652/63. Sort -2/5, y, -3/2.
-3/2, -2/5, y
Suppose 0 = -r - 1 + 2. Suppose -g + 0*g = -r. Sort -2, 3, g in descending order.
3, g, -2
Suppose y + 4*c - 16 = 0, -5*c + 28 = 5*y + 8. Let p be -1*5/2*2. Sort p, y, -2 in descending order.
y, -2, p
Let h(b) = b + 2. Suppose o = -4*o - 30. Let w be h(o). Sort w, 3, -3.
w, -3, 3
Suppose a + 4 + 1 = 3*f, 4*a - 12 = -4*f. Put -1, -3, f in descending order.
f, -1, -3
Let a = 8 - 4. Suppose -3*h - 3 = -6*h. Sort a, h, -5.
-5, h, a
Let d = -133850/959 - -1/959. Let g = d + 139. Put -0.1, g, -2/5 in ascending order.
g, -2/5, -0.1
Suppose 4 = 6*j - 8. Suppose -2*w + j*h - 8 = 0, 0*h + 3*h = 6. Sort 7, w, -5 in decreasing order.
7, w, -5
Suppose 4*t + m + 10 = 6*m, -2*t + 5*m = 0. Let b be (t/3)/(1/(-3)). Let k(q) = -q - 11. Let i be k(-8). Sort -1, i, b in descending order.
b, -1, i
Let b = -15 - -19.4. Let p = b + -4. Sort 0.2, p, -1 in increasing order.
-1, 0.2, p
Let q(c) = c - 6. Let v be q(6). Let d = 2 + v. Let f be ((-1)/(-1))/((-2)/6). Sort f, -4, d.
-4, f, d
Let i = -3 - -3. Suppose 4*p + 6 = l, -l + 2*p = -3*l + 2. Let j be -5 + 0 - (1 - 1). Put l, j, i in decreasing order.
l, i, j
Let f = -45.2 + 45. Let w = -6.6 - -7. Sort -4, f, w in descending order.
w, f, -4
Let w = -0.14 - -0.84. Suppose -4*h + 10 = -2*b - 3*h, 0 = -b - 2*h. Sort 0.2, b, w in descending order.
w, 0.2, b
Let g = 457/77 - 70/11. Sort -1/6, -1/2, g, -3 in descending order.
-1/6, g, -1/2, -3
Let k be -3 - (-1 + (-15)/3). Let j = 0.02 - 2.02. Sort j, -4, k in decreasing order.
k, j, -4
Let d be (-4 + (-88)/(-20))*-5. Put d, -5, 3, -1 in increasing order.
-5, d, -1, 3
Let h = -4/71 + -66/1349. Let l = 159/5 - 32. Sort h, l, -3/8 in increasing order.
-3/8, l, h
Let f = -7.3 + 1.3. Let i = -3 - f. Sort 0, -0.2, i in increasing order.
-0.2, 0, i
Let u = -23 - -19. Sort -1/6, u, 0.2 in descending order.
0.2, -1/6, u
Suppose -7 = -z + 2*q, -3*q - 19 = -3*z + q. Suppose -2*k - 55 = 3*k + 3*m, -5*k = 4*m + 50. Let j = -11 - k. Put z, 1, j in increasing order.
1, j, z
Let l(a) = a. Let y be l(9). Let i = y + -9. Suppose b + 2*b + 3 = i. Put 5, -3, b in descending order.
5, b, -3
Let d(g) = -g**3 - 5*g**2 - 2*g + 13. Let c be d(-4). Put 4, 3, c in decreasing order.
c, 4, 3
Let m be 1/((-1 + -1)*14/56). Sort m, 10, -1, 4.
m, -1, 4, 10
Suppose 4 = 2*f - f. Let d be f - 6 - 56/(-26). Let i = -61/4 - -313/20. Sort 4/5, d, i.
d, i, 4/5
Let y be -9 + 9 - (-2 - 1). Let w be 9/4*(-4)/1. Let t be 1/(4/w) + 2. Sort -0.1, y, t in decreasing order.
y, -0.1, t
Let a = -1 - -0.9. Let h be ((-12)/(-33))/(-2) + (-40)/22. Put h, a, 0.3 in descending order.
0.3, a, h
Let w = -37 - -58. Suppose -r + w = 4*r - 2*l, -5*r = 2*l - 29. Suppose 7*z - 2*z + 5 = 0. Sort 4, r, z in ascending order.
z, 4, r
Suppose -10 = -2*s - 0*s. Suppose -20 = -n - 7. Let o = n - 16. Sort o, 4, s in decreasing order.
s, 4, o
Suppose -5*p - 4*a = -0*p - 13, -4*p - a = -17. Suppose 0 = r + r + 4. Sort p, r, -5 in decreasing order.
p, r, -5
Let s = 0.9 - 0.1. Let n = -3.8 + s. Let c = -2.8 - -3. Sort c, 1/6, n in ascending order.
n, 1/6, c
Let r(m) = 2*m**2 + 5*m + 5. Let v be r(-2). Sort -4, -3, v in descending order.
v, -3, -4
Let u(l) = -l**2 - 2*l + 3. Let j be u(2). Let v(y) = -y**2 + 6*y - 2. Let x be v(5). Put 4, x, j in ascending order.
j, x, 4
Let v(c) = -c**2 - 7*c - 6. Let j be v(-6). Sort 3, 2, j in decreasing order.
3, 2, j
Let q(m) = m**2 + 4*m + 3. Let u be q(-2). Let a be (-5 + 2)*-1 + -7. Let x be (-5)/((a - -3) + 0). Put x, 2, u in ascending order.
u, 2, x
Let m(k) = k**3 + 4*k**2 + 3. Let t be m(-4). Let j = -35 - -37. Let q = -5 + 9. Put q, j, t in increasing order.
j, t, q
Let f(x) = -5*x**3 + x**2 - x. Let u be f(1). Suppose -z + 2*l - 4*l = -6, 2*z = 2*l. Sort z, 3, u in decreasing order.
3, z, u
Suppose -3 = -5*j + 22. Let d be (3/j)/(4/(-20)). Sort -5, 3, d in ascending order.
-5, d, 3
Suppose -l = -4*a + 19, -11 - 6 = -2*a - l. Put 4, 3, 5, a in increasing order.
3, 4, 5, a
Let k be ((-1)/1 + 1)/2. Suppose 0 = -3*a + 3. Let y be (0 - a)*(-1)/1. Sort k, -3, y in ascending order.
-3, k, y
Let y = 0.379 + -0.079. Put 2/7, -1/2, y in decreasing order.
y, 2/7, -1/2
Suppose -4*z + 0*z + 8 = 0. Let x = 1 - 1. Let k(d) = d**2 + d - 4. Let i be k(x). Put i, 1, z in descending order.
z, 1, i
Let a = 0.04 + -0.07. Let i = 52 - 52.43. Let g = a - i. Put 2/9, 1/11, g in increasing order.
1/11, 2/9, g
Let k = 2 - 1.7. Let s be ((-50)/(-5))/5 - 4. Let c = 0.1 - 0.1. Sort c, k, s in increasing order.
s, c, k
Suppose 13*b = -27 - 25. Sort b, 5, -2, 4 in descending order.
5, 4, -2, b
Let k = 67 - 199/3. Sort k, -3, 0 in increasing order.
-3, 0, k
Let y = 9.6 + -0.6. Let z = y - 5. Suppose l = -3*l - k - 17, -5*k - 5 = 0. Sort 1/3, z, l in decreasing order.
z, 1/3, l
Let h be (-2 - -3)*2/6. Let m = 10 + -6. Let r be m/(-2) - (-18)/15. Sort -1/3, r, h in increasing order.
r, -1/3, h
Let d = -0.98 + 0.57. Let a = d - -0.11. Sort 5, a, 1.
a, 1, 5
Let c = -5 - -8. Suppose 2*w + 30 = 3*w. Suppose 2*b + 3*j = -8, -4*b = b - 5*j - w. Put -5, b, c in ascending order.
-5, b, c
Let o = -10 - -12. Suppose 2*t + 2 = o*j, -4*j - 4*t = -0*t + 4. Sort -4, j, 1 in descending order.
1, j, -4
Let z = 1705/7 - 243. Let u(o) = -3*o + 4. Let k be u(3). Let a = -113.1 - -113. Sort k, z, a in ascending order.
k, a, z
Let i be 2 + (14