 r(8). Sort d, 0.4, t in decreasing order.
t, d, 0.4
Let d be ((-30)/(-9))/(-5) + (-55)/(-15). Suppose -5*z - 18 = -9*z - 2*l, -4*l = -4. Put 112, -1, d, z in descending order.
112, z, d, -1
Let l = 16703 - 16703.8. Put -5, l, 256 in descending order.
256, l, -5
Let w(z) = z + 4. Let p be w(0). Suppose -1224 + 1443 + 2790 = -59*c. Sort 1, c, p in increasing order.
c, 1, p
Let v = 746 + -295. Let s = v - 446. Sort 4, s, -6, -1 in descending order.
s, 4, -1, -6
Suppose -6*t + 5*a - 43 = -5*t, -3*a + 30 = -2*t. Sort t, -86, -1, -8 in increasing order.
-86, -8, t, -1
Let x = 0.91 - -11.89. Let p = 11.9 + -19.7. Let d = x + p. Sort 3, -3/2, d.
-3/2, 3, d
Let s(m) = -m**2 - 10*m + 29. Let c be s(-12). Sort 0, c, -4, 10.
-4, 0, c, 10
Let w = 2340.15 - 2340. Put w, -3, -3/5, -2/7, 2/3 in descending order.
2/3, w, -2/7, -3/5, -3
Let x = 2.66 + -1.66. Let s = 634446359/60 - 10574531. Let r = s - -425. Put x, 4, r in decreasing order.
4, x, r
Let k = 662 + -654. Suppose 97*p - k = 93*p. Sort 3, p, 4, -11 in decreasing order.
4, 3, p, -11
Suppose -7*l + 189 = 333 - 172. Put -142, l, -4, -1 in descending order.
l, -1, -4, -142
Let r(v) = v**3 + 108*v**2 + 117*v + 1063. Let h be r(-107). Sort -1, -6, h, -10 in increasing order.
-10, h, -6, -1
Let k = 1.2 - 6.2. Let o = 467 - 466.9451. Let f = o - 0.1549. Sort k, -1/4, 3, f in descending order.
3, f, -1/4, k
Let w = -54 - -51. Let n be 5/(-1) - -2 - 2. Let i(y) = 5*y + 6. Let u be i(-2). Put w, n, u in increasing order.
n, u, w
Let r be 2 + -2 + -21*32/(-6). Let b = r + -115. Put -4, 5, b, 3 in decreasing order.
5, 3, b, -4
Let t be (-4)/(8/3)*(-1252)/2817. Let u = -0.6 - 1.2. Sort t, -4/5, u.
u, -4/5, t
Suppose -105 = -g + 42. Let x = 145 - g. Let q = 1 - -3. Sort 2, 3, x, q in decreasing order.
q, 3, 2, x
Suppose -5*h + 2*a = -2*h - 66, 0 = -5*h - 2*a + 94. Suppose 3*s + 11 = u, -7*u = 4*s - 3*u + h. Let z be -1 - ((-3)/3 + s). Sort 0, 0.2, z in descending order.
z, 0.2, 0
Let p = -5/167 - 147/668. Sort -0.06, 12.4, p in decreasing order.
12.4, -0.06, p
Suppose 4*l + 14 = 2*z, 176*l - 171*l + 25 = -5*z. Sort 2, -6, 4, l, 3 in increasing order.
-6, l, 2, 3, 4
Suppose -12*u = -8*u - 20. Let g(w) = 2*w**2 + 6*w + 5. Let t be g(-4). Suppose 2*j = v + 2*v + t, -j = -3*v - 11. Sort -4, 3, j, u in ascending order.
-4, j, 3, u
Let r = 6.554 - 6.654. Sort r, -0.2, -3.2, 0.3, -3/7 in ascending order.
-3.2, -3/7, -0.2, r, 0.3
Let m = 138512/3 + -46170. Let j(a) = a**3 - 7*a**2 - 7*a - 11. Let k be j(8). Sort k, 0, m, -1 in decreasing order.
m, 0, -1, k
Let z = -28 - -33. Let b = 0.254 + -0.084. Let k = -1.17 + b. Sort 4/5, 0.5, k, z in descending order.
z, 4/5, 0.5, k
Let v(g) = 18*g**2 + 1385*g - 59. Let y be v(-77). Put 76, y, -4 in decreasing order.
76, y, -4
Let o = 1505 + -1500. Sort 19, -4, 2, o, 2/561 in descending order.
19, o, 2, 2/561, -4
Suppose 0 = -x + 5, -2*x + 6 = 2*b - 6. Suppose 430*o - 428*o - 52 = -2*r, 0 = -5*o. Sort r, b, 6 in descending order.
r, 6, b
Suppose 27 - 2 = 5*y. Let k be (-7)/3*(2 + 1). Let m be -14 - (18 + (21 - 50)). Put k, y, m in descending order.
y, m, k
Let f = 21847 + -21846.8. Let p = 0 - 0.4. Sort f, 0.07, p.
p, 0.07, f
Let v(g) = 4 - g**3 - 9*g**2 + 21*g + g - 19*g - 17*g. Let u be v(-7). Put u, -2/5, 1/9 in ascending order.
-2/5, 1/9, u
Suppose -19*r + 14*r = -2*s + 4, 0 = s + 12*r - 0*r + 288. Suppose 6 = v + 2. Let z(n) = 5*n**2 - n - 1. Let u be z(-1). Put u, -1, v, s in descending order.
u, v, -1, s
Let l be (-25)/(2 - -3 - 4). Let b = -29 - l. Let c = -170 + 179. Put -5, b, c in ascending order.
-5, b, c
Suppose 4*v = -5*v. Suppose -r - r - 24 = v. Let p be 3/(594/80) - r/(-54). Put 5/3, p, -3 in increasing order.
-3, p, 5/3
Suppose -4*l - 4*m = -68, -2*l + m = -22 - 3. Suppose 0 = -r - 4*h - 38, -5*r = 2*h - 0*h + 190. Let f = r + 43. Sort l, f, 0.1 in decreasing order.
l, f, 0.1
Let t = 9000.7 + -9000. Sort -2/11, 2, t, -7, -2/5 in increasing order.
-7, -2/5, -2/11, t, 2
Let v(j) = -j - 10. Let y be v(-11). Let k(f) = -2*f**2 - 17*f + 9. Let c be k(-9). Put y, 2, -2, c in increasing order.
-2, c, y, 2
Let u(x) = x - 1. Let l(m) = -m**3 + 4*m**2 + 3. Let s(z) = l(z) - 5*u(z). Let f be s(3). Let j(y) = y + 26. Let r be j(-29). Sort 7, r, f in decreasing order.
7, f, r
Let k(v) = -227*v + 456. Let x be k(2). Put 5, 291, x in increasing order.
x, 5, 291
Let f = -429/2 + 6561/26. Let l be (-151)/4 + (-2)/8. Let c = f + l. Sort c, -2, 5 in decreasing order.
5, c, -2
Let u = 0.1 + -2.1. Let c = -2.5 - u. Let m = -167101 - -167103. Sort m, c, -1/3, -4 in descending order.
m, -1/3, c, -4
Let y(b) = b**2 + 6*b - 3. Let v be y(-6). Let x = 3/3814 + -6537229/41954. Let c = -156 - x. Put c, 3/2, v, 0 in descending order.
3/2, 0, c, v
Let l = 443 - 322. Put 5, l, -4 in increasing order.
-4, 5, l
Let n be (-2 - (-2 - -3))/(-7). Suppose 2950 = -2317*d + 12218. Put n, 5, -2, d in decreasing order.
5, d, n, -2
Suppose 5*t - 224 - 371 = -5*q, -q = -3*t + 341. Let l = 111 - t. Sort 28, 4, l, -1 in ascending order.
l, -1, 4, 28
Let i(h) = h**3 - h**2 + 2*h. Let g be i(2). Let n be (36/288)/((-4)/(-24)). Put -1, n, g in decreasing order.
g, n, -1
Suppose -2*q - 4 = -4*h, -3*q - q + 12 = 2*h. Let p = -75 - -72. Suppose g - 1 = -3. Sort p, -1, g, q in descending order.
q, -1, g, p
Let n = 89 + -87. Let m(a) = -3*a + 8. Let w be m(n). Suppose -4*r = -w*x + 42, -r - 4*x = 2*r + 48. Sort r, 2, -2 in ascending order.
r, -2, 2
Suppose 5 = -4*s - 5*t, 298 = -2*s + 2*t + 318. Put s, -6, 111 in increasing order.
-6, s, 111
Suppose 3*o - 2 = i, i - 3 = -4*i + 2*o. Let b(m) = -m**3 + 5*m**2 + 9. Let q be b(5). Let t be 24/q*(-3)/(-2). Put t, -4, 5, i in decreasing order.
5, t, i, -4
Suppose 37*f = 40*f. Suppose -13*c = -c - 144. Suppose f = -0*p - 3*p - c. Put p, -4/3, 1.6 in increasing order.
p, -4/3, 1.6
Let q(u) = -27*u**2 + 1. Let x(c) = 32*c + 223. Let z be x(-7). Let n be q(z). Let r(a) = 5*a + 1. Let i be r(-1). Sort 2, n, i in ascending order.
n, i, 2
Let q = 0.002539 - 0.302539. Let k = -1/64 + -125/192. Put q, k, 3/67 in descending order.
3/67, q, k
Let g = 892 + -890. Let i = -18 + 23. Put g, -3, i, 3 in descending order.
i, 3, g, -3
Let v = 345 - 349. Let o = -122 - -121.47. Let k = o - -0.03. Sort k, v, 1 in ascending order.
v, k, 1
Suppose -16*t + 20*t = 40. Let o = -113 - -114. Let f be 4 + 2*(-2)/(-4). Put f, o, t in decreasing order.
t, f, o
Let i = 19190 - 19190.3. Put 0.5, -3/5, -5, -2/3, i in increasing order.
-5, -2/3, -3/5, i, 0.5
Let f = 1333 - 774. Let w = -554 + f. Sort w, -10, 4, 3.
-10, 3, 4, w
Let h be 1 + (-6)/9 + (-3)/18*14. Put h, -283, 3, 10 in decreasing order.
10, 3, h, -283
Let b be (4 - 1)*(-87)/9. Let l = 27 + b. Let m = 591 + -575. Sort 5, m, l in decreasing order.
m, 5, l
Let o = 108/7 + -16. Let a = -17 + 18. Sort 0.1, a, 2, o in ascending order.
o, 0.1, a, 2
Let l be (2*1/(-4))/((-3)/138). Suppose -z + 78 - l = 0. Let u = -53 + z. Sort -6, u, 4, 5.
-6, u, 4, 5
Suppose 0 = 206*z - 83 + 289. Sort 0, 1, z, 8, 5 in descending order.
8, 5, 1, 0, z
Suppose 6*s - 3*s = -15. Suppose 26*f + 172 = 1758. Put s, f, -4 in decreasing order.
f, -4, s
Let q = -1.55 + 2.55. Put 41, -2/13, q, 2/9 in descending order.
41, q, 2/9, -2/13
Let y = 739.407 - -0.593. Let b = 736 - y. Sort -0.3, 333, b in descending order.
333, -0.3, b
Suppose 0 = -v + 4*u + 18, v + 58 = 6*v - 4*u. Suppose 4 = 3*o + v. Let z = 39 - 31. Put z, 1, o, -3 in decreasing order.
z, 1, o, -3
Let b(a) = -172*a - 1206. Let s be b(-7). Sort -3, -4, 38, s, 2 in increasing order.
-4, -3, s, 2, 38
Suppose -48 = 2*v + 4*s - 62, -5*v + 35 = s. Sort -3, -0.3, -7, v in descending order.
v, -0.3, -3, -7
Suppose -2*p = s - 5, 7*s - 3*s = -3*p + 15. Suppose n + 6 = 0, -5*n = -19*w - 6*n + 51. Sort -37, p, w.
-37, p, w
Let c = -534 + 545. Suppose 0 = -c*p + 19*p - 16. Sort -0.2, p, -0.6, -3 in decreasing order.
p, -0.2, -0.6, -3
Let y = -0.06812 + -1.93188. Put -0.4, -1/8, y, -1797 in ascending order.
-1797, y, -0.4, -1/8
Let u = 32 - 31. Suppose -o = 3 + u. Suppose -23*y - 24 = -19*y + 2*x, -5*y = -2*x + 21. Sort -1, y, -8, o.
-8, y, o, -1
Suppose -7569*z = -7585*z - 80. Sort 15, -1, 12, 5, z in decreasing order.
15, 12, 5, -1, z
Suppose -y + 4*z = 10, -y - z + 12 = -6*y. Put -3, y, -396, -0.5, 0.4 in increasing order