3, -5, x in descending order.
3, x, -5
Suppose -2*x - 13*j + 11*j + 2 = 0, -4 = 4*j. Sort -10.5, -2, x in descending order.
x, -2, -10.5
Let k = -13.18 - -0.18. Let r = 9 + k. Let q = r + 6. Put -0.1, -0.4, q in decreasing order.
q, -0.1, -0.4
Let w be (-1)/6 + 190/(-12). Let u be (-1)/((-52)/w + -3). Put u, -2, -1, 0 in decreasing order.
0, -1, -2, u
Suppose -3*l + 0 = 4*r - 2, 0 = r - 3*l + 7. Let k be -1*(0 + (3 - 0)). Suppose 11*p + 24 = 14*p - 3*c, -2*c = 6. Sort k, p, r in increasing order.
k, r, p
Let f(x) = -x**3 + 5*x**2 + x - 4. Let j be f(5). Sort -2, -5, j, 0 in decreasing order.
j, 0, -2, -5
Let k be (-3)/(-6)*2 - 3. Let v(h) = -h**2 - 12*h + 9. Let j be v(-13). Let g = 6 + j. Sort g, k, 0 in decreasing order.
g, 0, k
Suppose -3*t + 15 = -5*j, 0 = -4*j + 2*j + 5*t - 6. Let q be (0 - 12)*(-4 + (-15)/j). Sort 4, q, -3, -5.
q, -5, -3, 4
Let u = -107 + 128. Let t(q) = q**2 - 4*q - 7. Let s be t(5). Let l be 5 + s - u/8. Put l, -4, 1 in increasing order.
-4, l, 1
Let p = -1 + 0. Let l(b) = -b**2 - 8*b + 37. Let k be l(3). Sort k, 3, p, -8 in increasing order.
-8, p, 3, k
Let o = -22 - -20. Let r = o - -2.3. Let v(i) = 3*i. Let w be v(-2). Sort -4, w, r.
w, -4, r
Let m be 4 + (54 - (-3 - -5)). Let k be (288/m)/((-3)/(-14)). Let y = k - 16. Put y, 5, 1 in descending order.
y, 5, 1
Let n be (651/(-42) + 17)*(-4)/3. Sort n, -68, 4, 5 in descending order.
5, 4, n, -68
Suppose 5*s - 3*u + 4 = 0, 0*s + 2*s = 4*u - 10. Let j be s/(2/8) + 0. Let q = -7.5 - -8. Sort q, -0.1, j in descending order.
j, q, -0.1
Let j = 3 - 2. Suppose 575 = -6*g + g. Let f be g/(-30) - (-1)/6. Sort j, f, -2/13 in descending order.
f, j, -2/13
Let a(h) = -h**2 + 33*h - 143. Let q be a(28). Sort 5, q, -10 in decreasing order.
5, q, -10
Let s = -203 + -80. Put 1, 4, s in descending order.
4, 1, s
Let d(q) = -q**2 - 2*q + 3. Let x be d(-3). Let s be (-2)/(-4) + (-49)/2. Let p = -20 - s. Sort 5, p, x in decreasing order.
5, p, x
Let g = -0.1 - 0.9. Let o = 138 - 142.74. Let b = o - 0.26. Put b, g, -0.4 in decreasing order.
-0.4, g, b
Let r be (54/45)/((-12)/15). Let b = 0.43 + -0.63. Sort -5, 0, r, b.
-5, r, b, 0
Suppose 0 = 2*l + y + 5, 7*y = -3*l + 2*y - 11. Put l, 4, 3, 0 in increasing order.
l, 0, 3, 4
Let p = -8 + 12. Let k = p + 3. Let s = k - 9. Sort s, -4, 5 in increasing order.
-4, s, 5
Let h = -6.1 + 8. Let n = h + -3.9. Put -0.3, -0.4, n in increasing order.
n, -0.4, -0.3
Suppose 2*c = 5 + 3. Suppose -u - c = 5*l + 11, u + 2*l = 0. Suppose 4*v - 6 = u. Put 0, 2, v in decreasing order.
v, 2, 0
Let z = 194 + -191. Sort -0.4, z, 2 in descending order.
z, 2, -0.4
Let z = -0.3 - -0.5. Let q be -2 + ((-6)/9)/((-1)/3). Sort z, -0.2, -1, q in descending order.
z, q, -0.2, -1
Let i = -0.7892 - 0.2108. Sort 0.11, 20, i in descending order.
20, 0.11, i
Let u(q) = 4*q**3 - 2*q**2 - 2*q. Let l be u(-1). Sort -2, l, 3 in descending order.
3, -2, l
Let y = -1.7 - -1.6. Let p = 0.3 + y. Suppose -5*c + l = 5, -2*l = -4*c - 6*l - 28. Put c, 0.01, p in descending order.
p, 0.01, c
Let t = -0.5 + 0.1. Let b = -40 + 46. Let d = 6.5 - b. Put 0.4, d, t in descending order.
d, 0.4, t
Let q = 44 - 42. Suppose -q*i + 4*r + 17 = 3*i, -9 = 3*i + 4*r. Let y(u) = -4*u + 3. Let k be y(2). Put k, 4, i in decreasing order.
4, i, k
Let j = 242/7 - 35. Let b = -0.1 - -5.1. Put b, -2, j in descending order.
b, j, -2
Let k(g) = -g**3 - 8*g**2 + 9*g + 3. Let o be k(-9). Suppose -u + 5 = 0, -w - o*w - 3*u - 1 = 0. Let x be 2 + 12/(1 + 2). Put x, w, 5 in descending order.
x, 5, w
Let a(q) be the first derivative of -q**2 - 17*q + 6. Let u be a(-12). Suppose -5*j - 4*f = 30, 3*j + f - 3 = u*j. Put 4, -3, j in ascending order.
-3, j, 4
Suppose 13*q - 3*z + 10 = 8*q, -3*q - 6 = 2*z. Sort -1, q, -81 in increasing order.
-81, q, -1
Suppose 4*h - 2*x = 18, 4*h + 3*x - 1 = -8. Suppose -5*m = 3*t - 5 + 6, 4*t = -m + 10. Sort t, h, 4 in increasing order.
h, t, 4
Let k = -67 - -70. Suppose -6 - 6 = -k*q. Sort -2, -1, q, 2 in descending order.
q, 2, -1, -2
Let f = -3 - -3.1. Let z(j) = -j**2 - 5*j. Let o be z(-5). Let g = -38.4 + 38. Sort o, g, f in ascending order.
g, o, f
Suppose -35 - 7 = -42*g. Sort g, 2, 0 in ascending order.
0, g, 2
Suppose -w + 3*w = 4. Let m be w + 6/(-5) + -1. Put -0.5, m, -1 in descending order.
m, -0.5, -1
Let v = 0 - -1. Let z be (0 + v)/(1/(-3)). Suppose 0*k + 29 = 3*k + 5*t, 0 = -2*k + t + 2. Sort k, z, -2.
z, -2, k
Let k(b) = -2*b**2 - 25*b - 63. Let m be k(-9). Let f = 6 - 15. Sort f, m, 1, -2 in descending order.
1, m, -2, f
Let a = 0.46 - 0.06. Let b = 36 + -20. Let x = -15 + b. Sort a, -5, x in ascending order.
-5, a, x
Suppose -2*i - 487 = -419. Put -4, 5, i in decreasing order.
5, -4, i
Suppose 5*v - j = 44 - 32, 3 = j. Sort 1/6, -1, 13/6, v.
-1, 1/6, 13/6, v
Suppose -3*l = -12, -p - 3*p + l + 16 = 0. Suppose 59*j + 88 = -207. Sort -2, 3, p, j.
j, -2, 3, p
Let g = 232 + -230. Sort 1, -3, g in decreasing order.
g, 1, -3
Suppose 3*w = -69 - 183. Let j be 1/(-4 - (w/20)/1). Put 2, j, -4 in decreasing order.
j, 2, -4
Let q be (3 - (-35)/(-10))/1. Suppose 3*j - 2*j = 6. Let p be (4/j)/((-32)/(-72)). Sort -0.1, p, q in ascending order.
q, -0.1, p
Let o = -535/3 + 179. Put 1/9, 0.1, o in ascending order.
0.1, 1/9, o
Let y = -2446 - -2441. Let k = 5.4 + -5. Put k, 6, 1/3, y in decreasing order.
6, k, 1/3, y
Suppose -5*q - 5*h = -1305, -5*q + 3*q - 3*h + 517 = 0. Sort 3, -2, q in decreasing order.
q, 3, -2
Let v = 14.13 - 15. Let b = v + 0.97. Sort 2/13, b, 0, -0.1 in increasing order.
-0.1, 0, b, 2/13
Let f = 0.6 + -0.8. Let r = 30 - 29.3. Let s = -1.7 + r. Put f, -1/6, s in increasing order.
s, f, -1/6
Suppose -92*j - 1858 = 810. Sort -5, -4, j in increasing order.
j, -5, -4
Let v(t) = 10*t - 1. Let a be v(3). Let x = 27 - a. Sort 5, -1, x in decreasing order.
5, -1, x
Let n = 0.05 - 21.05. Let p = 306.8 - 286. Let h = p + n. Sort h, -0.3, 7 in decreasing order.
7, h, -0.3
Suppose 4*z = -16, z + 4 = 3*l - 4*l. Put -1, l, 4, -10 in increasing order.
-10, -1, l, 4
Suppose 6*r - 9*r + 75 = 0. Suppose -5*v = -3*i - r + 3, 0 = 2*i - 3*v + 14. Let n = 3 - 26. Sort -3, n, i in descending order.
-3, i, n
Let y(l) = 4*l**2 + 7*l - 4. Let u be y(-3). Suppose 2*a + 2*b = -3*b, -u = 3*a + 2*b. Put 4, a, -29 in ascending order.
-29, a, 4
Let s = 39 + -37. Sort 7, s, -5, 1 in decreasing order.
7, s, 1, -5
Let q = -56.39 + 56.19. Let i = 0 - -2. Sort i, -2/5, q, 4 in descending order.
4, i, q, -2/5
Suppose -l - 4 = -0. Let b = 595 + -592. Sort b, 6, l, 0 in decreasing order.
6, b, 0, l
Let r = -170 + 144. Put r, -5, -2, 1 in descending order.
1, -2, -5, r
Let k = 388 + -383. Put -2, k, 12 in ascending order.
-2, k, 12
Suppose 0 = 13*b + 100 - 9. Suppose 0 = -5*x - 4*q + 3, 0 = -4*x + 2*q + 2*q + 24. Put 2, x, b in decreasing order.
x, 2, b
Let d = -1541 + 1571. Put 1, -2, d, -0.5 in descending order.
d, 1, -0.5, -2
Suppose 5*m = -1 + 26, -m + 25 = 2*j. Suppose -j*u = -9*u + 4. Suppose -2*a + 3 + 9 = 0. Sort a, u, -2 in decreasing order.
a, -2, u
Let t = -215/7 - -31. Sort t, 1, -19.
-19, t, 1
Let d = 32 - 49. Let p = -12 - d. Let k = 41 - 367/9. Sort k, p, -0.2 in descending order.
p, k, -0.2
Let o be (-784)/40 + 4/(-10) + 0. Let b be (4/(-5))/((-4)/100). Let r = o + b. Sort r, -2, 5.
-2, r, 5
Let h = 0.187 + -4.187. Let f = -4 + 3. Sort f, h, 0.1 in decreasing order.
0.1, f, h
Let f = -275 + 3027/11. Sort f, -2, 0.05 in decreasing order.
f, 0.05, -2
Let i = 0.0546 - 0.0846. Let o = 0.97 + -1. Let b = i - o. Sort b, 2/3, 0.3 in decreasing order.
2/3, 0.3, b
Let r(g) = g**3 - 4*g**2 - 7*g - 8. Let j be r(6). Let k = j - 17. Let n be (-2)/(-10)*(k + -2). Put -0.4, 2, n in decreasing order.
2, n, -0.4
Let s = -2382 + 2377. Sort 14, -4, s in decreasing order.
14, -4, s
Let g = 114806 + -5171332/45. Let b = -494/9 - g. Let y = b - 58. Put y, 5, -2/3 in decreasing order.
5, y, -2/3
Suppose 0 = -107*s + 149*s + 126. Put s, -233, -2 in descending order.
-2, s, -233
Let q = -4.1 + -0.9. Let s = q + 5.5. Let p = 0.26 - 0.06. Put s, 5, p in decreasing order.
5, s, p
Let k(z) = -z**3 - z**2 + 1. Let a be k(0). Suppose -6 = -9*f + 7*f. Let o = f - a. Put -1, o, -3 in increasing order.
-3, -1, o
Let g = 4 - -2. Suppose -x + 0 = -g. Sort 3, -4, 1, x in increasing order.
-4, 1, 3, x
Let h = -60 + 59.6. Le