 Let q be i/(-66)*(-12)/k. Sort 2/19, -1/7, q in decreasing order.
q, 2/19, -1/7
Let a = -78 + 76. Put 2, -0.8, a in increasing order.
a, -0.8, 2
Let k = 4 + -4. Suppose -a - h + 6*h + 24 = k, a + 4*h = -12. Sort a, 0.4, 1 in increasing order.
0.4, 1, a
Let q(m) = m**3 - m**2 - 2*m - 1. Let y be q(-1). Suppose 28 = -2*u + 4. Let w be ((-6)/(-4))/((-9)/u). Sort y, -3, w in descending order.
w, y, -3
Let b be (-1)/2 - (-14)/4. Sort b, 5, 0.2 in ascending order.
0.2, b, 5
Let s(q) = q**3 - 2*q**2 - q - 2. Let f be s(3). Suppose 2*v + 5 = -g, -g - 4*v - 15 = -0. Let x(d) = d - 2. Let u be x(g). Sort 2, f, u.
2, u, f
Let b be 0 + (4 - (-1 + 3)). Put -5, 4, b in descending order.
4, b, -5
Let c = -1025/9 + 114. Let n be (-5)/52 + (-1)/(-4). Sort n, 4, c in decreasing order.
4, n, c
Let j = -161 - -155.15. Let y = -0.15 + j. Sort 2/5, -0.3, y in increasing order.
y, -0.3, 2/5
Suppose 3*o + 5*y = -9, 0 = 5*o - 4*y + 5 + 10. Let w(i) = -i**3 - 2*i**2 + 3*i - 1. Let c be w(o). Sort -2, 1, c in ascending order.
-2, c, 1
Let i be (2/(-6))/(1/(-9)). Put 1, i, 2 in descending order.
i, 2, 1
Let f = -4815077/394 - -12221. Let w = -833/5910 - f. Let i = -1/5 + w. Sort -0.3, -5, i in decreasing order.
-0.3, i, -5
Let k(l) = l**3 + 7*l**2 + l + 8. Let g = -24 + 17. Let r be k(g). Put -1, r, 0 in descending order.
r, 0, -1
Let b = -27 + 23. Let j = -2.1 + 2. Sort j, 0.5, b.
b, j, 0.5
Suppose 15 = -0*s - 3*s. Sort -4, 7, s in increasing order.
s, -4, 7
Let p be -2*1/2*-2. Suppose p*x - 7*x + 15 = 0. Suppose -2*o = -5*o - 15. Sort x, o, 2.
o, 2, x
Let x = -6 + 6.1. Sort x, -0.4, -5 in increasing order.
-5, -0.4, x
Suppose -3*i - 25 = 4*n, n - 5*i = -0*n + 11. Put n, 0, -5 in decreasing order.
0, n, -5
Suppose -2*o = -0*o + 10. Let m = -1 - o. Let s be (4/21)/(m/(-6)). Put 0.5, s, -5 in decreasing order.
0.5, s, -5
Let i(s) = -s**2 - 3*s + 7. Let z be i(-5). Let d be 2/3*(-27)/(-9). Put d, 1, z in increasing order.
z, 1, d
Let r = 0.48 - -0.02. Sort 2/9, r, -3 in ascending order.
-3, 2/9, r
Suppose 35 = -5*t - 4*u + 6*u, 4*u = 3*t + 35. Sort -16, t, -4, -3 in decreasing order.
-3, -4, t, -16
Suppose 3*d + 2*x = -13 - 3, 5*x = -25. Put d, 5, -1 in descending order.
5, -1, d
Let h = 233 + -120. Let f = 111.94 - h. Let w = 0.06 + f. Sort 1, w, -0.5 in increasing order.
w, -0.5, 1
Suppose -o - 5 + 2 = 0. Let p = 4 + 1. Sort o, 2, p in descending order.
p, 2, o
Let x be ((-8)/10)/((-2)/5). Put x, -4, -2 in ascending order.
-4, -2, x
Let m(s) = -4*s**2. Let u be m(1). Sort 0.1, u, 4/5, -0.5 in decreasing order.
4/5, 0.1, -0.5, u
Let m be (18/8)/((2 + 1)*-1). Sort m, 0.3, -0.24 in decreasing order.
0.3, -0.24, m
Let y(f) = f**2 + 4*f - 7. Let g be y(-5). Sort g, -3, 2 in ascending order.
-3, g, 2
Suppose -r + 4 = -2*r. Suppose 2*l - 4 - 6 = 0. Let t = -3 + 4. Sort r, l, t in decreasing order.
l, t, r
Suppose -2*z - 12 = -4*h, 0 = -4*z - 2*h + 4*h - 6. Sort -3, z, 4.
-3, z, 4
Let c(i) = -i**3 - 3*i**2 + 3. Let z be c(-3). Sort -5, -3, z.
-5, -3, z
Let y = 10.14 + -10. Let w = 0.14 - y. Sort -2/7, 5, w in decreasing order.
5, w, -2/7
Let c be ((-10)/(-4))/((-1)/2). Let j = 6 + -20. Let t = -15 - j. Put 2, c, t in descending order.
2, t, c
Suppose k - 5*q + 14 = -k, 2*q = 4*k - 4. Suppose -y = -2*o + y + 4, -4*y = -2*o + 6. Let l(h) = -4*h - 22. Let f be l(-6). Put f, k, o in descending order.
k, f, o
Let w(c) = -c**3 - 4*c**2 - 4*c - 7. Let m be w(-3). Put -3, 11, m in decreasing order.
11, -3, m
Let x = 2.1 - 2. Let f = 77 + -72. Sort f, -3, x in descending order.
f, x, -3
Let r be (2/8)/(2/(-24)). Sort 5, -28, r.
-28, r, 5
Let p = 0.7 + -1.7. Sort p, -3/5, -2 in descending order.
-3/5, p, -2
Let c be -3 + 4/(-4) - 0. Sort -5, c, 0 in decreasing order.
0, c, -5
Suppose 3*c = -5*o - 11, 9 = -5*c + o - 0. Put c, 4/3, 0.1 in descending order.
4/3, 0.1, c
Suppose -2*u + 2*k = 3*k - 11, 3*k = u - 2. Suppose 0 = -3*c, 7*s + 20 = 2*s + u*c. Put 4, s, -1 in descending order.
4, -1, s
Suppose 2*t = t + 18. Suppose k + 0*k - 6 = -o, 5*o - t = k. Let d = 4 - k. Sort d, -2, -1 in ascending order.
-2, -1, d
Suppose 3*z + 3 = -3. Let a be (-9)/z + (-2)/4. Suppose 4*d = -0*d - 12. Put a, d, -2 in descending order.
a, -2, d
Suppose 6*x - 2*x = -b + 7, 0 = -5*b - x + 16. Suppose 3*y = 3, b = -2*g - 5*y + 10. Suppose -7 = 5*m + 3. Sort g, 4, m.
m, g, 4
Let c = 0.1 + -0.3. Let j = -7 - -2. Put j, c, 4 in descending order.
4, c, j
Let a = 0.14 + 0.26. Let x = 3.5 + -3. Put a, -1/4, x in decreasing order.
x, a, -1/4
Let s be 1 + 1 + (-1 - -1). Let p be 1/(-2) + (-5)/s. Suppose -3*i + v + 1 = 0, 3*i + 0*v + 4*v + 4 = 0. Sort p, i, -2 in ascending order.
p, -2, i
Let g be (0 + 0)*(1 + 0). Suppose -4 = s + 1. Put s, g, -3 in descending order.
g, -3, s
Let i = 251/5 - 50. Sort 1, -1/20, i in decreasing order.
1, i, -1/20
Let z be 6 + (-6)/(-3)*-1. Suppose -3*u = -u - z. Suppose 6 = -3*b - 2*x + x, -2*b - u*x = 0. Sort b, -2, -4 in decreasing order.
-2, b, -4
Let f = 6 + -3. Suppose -f*d = d. Let m be (-2)/(8/11) + 2. Sort d, m, -2 in ascending order.
-2, m, d
Let m = -40 + 40.05. Put m, -4, -2, 4/7 in increasing order.
-4, -2, m, 4/7
Let g = -73/57 - 1/19. Sort 4, g, 3/7.
g, 3/7, 4
Suppose -m = -0*m - 3. Put m, 1/3, 1/4 in decreasing order.
m, 1/3, 1/4
Let j = 0.98 + -1.08. Sort -7, -4, j.
-7, -4, j
Let t = 52 - 467/9. Suppose 4*n = c - 0*c - 22, 3*c - 1 = -n. Sort n, t, 1 in ascending order.
n, t, 1
Let g = -892/9 + 99. Let j = 3 + -2.8. Let t = j - -0.8. Sort t, g, -0.4 in ascending order.
-0.4, g, t
Let j = -9.93 + -0.07. Let l = j + -5. Put l, -2/7, 1/3 in decreasing order.
1/3, -2/7, l
Let i = 3 - 2. Suppose -4*o = -10*o - 12. Sort 4, o, i in increasing order.
o, i, 4
Let b be (-4)/(-40)*(0 + -8). Suppose -4*v + 2 + 6 = 0. Suppose v*q + 2*q = 3*t + 13, -2*t = -2*q + 8. Sort t, b, 5 in descending order.
5, b, t
Suppose -2*a + 21 = -5*g, g + 4*a + 18 = -g. Let i(l) = -l**3 - 6*l**2 - 3*l + 5. Let v be i(g). Sort -4, v, 0 in descending order.
0, -4, v
Let b be 7/6*(-28)/147. Let x be (-16)/(-6) + (-2)/(-6). Suppose -4*m + x = -13. Put -0.5, b, m in increasing order.
-0.5, b, m
Suppose 2*l - 2 = -2*m, -5*l - 5*m + 4 = -m. Let r be (1 - 2)/(1 - l). Suppose 14 - 4 = -2*q. Sort q, r, 1 in ascending order.
q, r, 1
Let l be (-2 - -11) + (-5)/((-25)/(-20)). Put -1, 7, l in decreasing order.
7, l, -1
Let k be 4/(-14) - (-148)/28. Let q be (-3)/(-2 + k) + 5. Sort -4, -1, q in increasing order.
-4, -1, q
Let q(o) = -o**3 + 15*o**2 - 15*o + 20. Let y be q(14). Put -1, y, 0 in decreasing order.
y, 0, -1
Suppose k = 3 - 1. Put k, 3, 0, -1 in ascending order.
-1, 0, k, 3
Suppose 4*y - 14 = 2. Sort -5, y, 9 in descending order.
9, y, -5
Let u = 2/50655 - -4619734/50655. Let w = u - 92. Put w, -1, 2 in descending order.
2, w, -1
Let b = 0.62 + -0.7. Let u = -0.16 - b. Let c = 0.18 + u. Put -3, 0.3, c in ascending order.
-3, c, 0.3
Let n = 4 + -2. Suppose -n*f - 3*f = 0. Sort f, 5, -1 in ascending order.
-1, f, 5
Let y = 5 + -1. Suppose 3*q + y*k - 21 = 2, -4*k = 4*q - 24. Suppose o - 2 = 3. Sort o, -2, q in descending order.
o, q, -2
Let y = -0.06 - -3.06. Let x = -0.18 - 0.42. Sort y, x, -2/13 in descending order.
y, -2/13, x
Suppose -2 = -2*r - 4. Put -4, -5, r, -11 in ascending order.
-11, -5, -4, r
Let s(f) = -f**3 - 4*f**2 - f - 5. Suppose -2*r = -5*r + 2*y - 14, -10 = 3*r + 2*y. Let q be s(r). Put -2, q, -5 in increasing order.
-5, -2, q
Let b = -0.05 - 6.95. Let f = b + 6. Sort 3, -1/10, f in decreasing order.
3, -1/10, f
Let d = -4.5 + 6. Let s = d + -2. Sort -0.3, 1, s.
s, -0.3, 1
Let f = 65 - 194/3. Sort 1, -0.5, f.
-0.5, f, 1
Let d = 0.07 + 0.33. Sort -0.1, -4, d.
-4, -0.1, d
Let j be 2/(-8) + (-18)/(-8). Let z = 2 + j. Let n be ((-1)/(-1))/(0 + 1). Sort n, -1, z in decreasing order.
z, n, -1
Suppose 3 + 2 = -5*o. Let i = -3 - 1. Let k(j) = -j**2 - 6*j - 5. Let m be k(i). Sort 1, o, m in decreasing order.
m, 1, o
Let r = 145 + -147. Let x be (-2)/8*(-12)/(-5). Sort 3, x, r in decreasing order.
3, x, r
Let g = 39 - 39. Put 0.2, g, 4, 1 in increasing order.
g, 0.2, 1, 4
Let c be 2*((-7)/(-2) + -1). Suppose -2*w + 7 + 4 = -3*d, -3*w + c*d = -17. Put w, 5, -3 in decreasing order.
5, w, -3
Let n(d) = -3*d - 32. Let a be n(-11). Sort -6, 5, a.
-6, a, 5
Let g(l) = -4*l**3 + l**2. Let i be g(1). Let x b