et v = 314 + b. Put 5, -225, v in decreasing order.
5, v, -225
Let w(v) = -4*v - 56. Let d be w(-14). Let n = -2/7 - d. Put -2/13, n, 1/3 in decreasing order.
1/3, -2/13, n
Let q = 0.043 + 19.957. Let y = q + -25. Let z = -772.3 + 772. Put z, y, -0.5, -0.2 in decreasing order.
-0.2, z, -0.5, y
Let p = -9612 - -9617. Sort p, 2, -0.1323 in decreasing order.
p, 2, -0.1323
Let j be ((-2)/10 - -1)*5. Suppose -5*r = -65*k + 60*k + 45, -2*r + 10*k = 106. Sort -38, j, r.
-38, r, j
Let s = -251 + 371. Suppose w + s = 7*w. Suppose -w = -41*z + 46*z. Sort 0, z, -3.
z, -3, 0
Let v = 3745 + -3741. Sort -19, v, -4 in decreasing order.
v, -4, -19
Let l be ((-1)/(-3))/((-52)/(-48) + -1). Suppose -5*f + n = 146 + 272, l*n - 244 = 3*f. Let v = -757/9 - f. Sort 3/2, 3, -0.05, v in ascending order.
v, -0.05, 3/2, 3
Let b = -91 + 95. Suppose 0 = -4*z - 4*s, -5*z - b*s - 20 = -6*z. Let a = -1 + -1. Sort 3, a, -1, z in decreasing order.
z, 3, -1, a
Suppose -21*f + 26*f - 25 = 5*r, 3*r = -f + 1. Put 1, 31, 0, f in increasing order.
0, 1, f, 31
Let b = -1426 + 12856/9. Let l = b + -146/45. Sort 0.12, l, 2.
l, 0.12, 2
Let i be (-3)/2 + (159/(-18) - (162 - 172)). Let v = -0.135 + -73.865. Put -4, v, 2/7, i in descending order.
2/7, i, -4, v
Let h be (-69)/(-115) - (-377)/5. Let v be 3*2*3/6 + h. Let c = 79 - v. Sort c, 0.01, -5, 2/3 in increasing order.
-5, c, 0.01, 2/3
Let y = 447.1038 - 0.1038. Let w = 442.4 - y. Put 2, w, 0.3 in descending order.
2, 0.3, w
Let v be (10/(-3))/((-15)/108). Suppose 0 = 2*p - 2*o + 13 - 1, o = -5*p - v. Let b = -5 - -2. Put 2, b, -1, p in increasing order.
p, b, -1, 2
Let g = -0.1 - -2.1. Let h = -13 + -124. Let q = h - -138. Sort -6, g, 3, q in increasing order.
-6, q, g, 3
Let l = -15 + 19. Let d = -1671 + 5008/3. Sort l, -1, 20, d in ascending order.
d, -1, l, 20
Let f be (76/5)/((-32)/80). Sort -1, f, 18 in increasing order.
f, -1, 18
Let h = 2898.1 + -2898. Let j = -7/6 - 1/3. Sort h, 0.2, 3, j.
j, h, 0.2, 3
Let k(m) = 3*m**2 - 28*m + 4. Let h be k(0). Put 90, h, 3 in ascending order.
3, h, 90
Let r be (6/(-18))/(17/(-51)). Put 4, 2/9, -5, r in ascending order.
-5, 2/9, r, 4
Let u be (0 + -4)*22/44. Let c = 481 - 476. Sort u, c, 0, 11.
u, 0, c, 11
Suppose 48 = 2*v - 70. Let w = -73 + v. Let c = w + 27/2. Sort 0.5, -2/15, 0, c in descending order.
0.5, 0, -2/15, c
Let q(w) = w**3 + 8*w**2 + 3. Let b be q(-8). Let x be (-81)/(-87) + -1 + (-8673)/(-1711). Put 8, b, -2, x in ascending order.
-2, b, x, 8
Let v(l) = 2*l**3 + 4*l**2 + 4*l + 2. Let k be v(-2). Let n be 96/80*(-30)/9. Put 2, k, n in decreasing order.
2, n, k
Let o = -59968 + 59967. Let m = -8 - -7.7. Let g = 307/11 - 28. Sort o, g, m in decreasing order.
g, m, o
Suppose 18*s + 15 + 39 = 0. Let z(p) = -3*p**3 + p + 1. Let t be z(-1). Suppose -m = -t + 8. Put 5, m, s in descending order.
5, s, m
Let x = 5128 + -5124. Put x, -1/3, 3, 2/7 in increasing order.
-1/3, 2/7, 3, x
Let n = 0.093 - -74.907. Let f = -75.64 - -0.14. Let g = n + f. Put -17, 0, g, 0.2 in decreasing order.
0.2, 0, g, -17
Let c = 1/22442 + -44887/67326. Let z = 0.35 + 0.05. Let i = 0.1 - z. Sort -0.07, c, i in ascending order.
c, i, -0.07
Let p(h) = -2*h + 27. Let x be p(8). Let t(u) = u**2 - 12*u - 19. Let g be t(x). Let b be 3/(-2)*g/(-9). Sort 0, b, -1 in ascending order.
b, -1, 0
Let y = 8986 + -8991. Put 88, y, 9 in decreasing order.
88, 9, y
Let s be ((-186)/(-27))/((-84)/(-2709)). Let p = -222 + s. Let o = -4 - -8. Sort 0.3, o, -2/11, p in descending order.
o, 0.3, p, -2/11
Suppose 6*s - 290 = -272. Let q = 25 + -27. Sort 14, s, q, 0 in decreasing order.
14, s, 0, q
Let b = -1019.1101 - -1019. Put b, 3/8, 6/5, 1, 4 in increasing order.
b, 3/8, 1, 6/5, 4
Let m = -36501.11 + 36502. Sort m, 1, 5/3, -5 in ascending order.
-5, m, 1, 5/3
Let y be ((-4)/42)/(4/(-18)). Suppose 128*f + 11 = 139*f. Sort -0.1, -0.3, y, f in descending order.
f, y, -0.1, -0.3
Let w = -1712 + 1715. Put 126, w, -4, 1 in decreasing order.
126, w, 1, -4
Let p be 6/(-8)*(-9744)/522 + -10. Sort p, -9, 9, 2, 1.
-9, 1, 2, p, 9
Suppose 5*m - 35 = 40. Let a = 1032498 + -3097493/3. Sort m, a, -6.
-6, a, m
Let q = -701 + 711. Let t(j) = -5*j - 1. Let y be t(-1). Let k be (-2 - -1)*(y + -9). Sort q, -1, k in ascending order.
-1, k, q
Let f = 11/12 + -125/84. Let c = 0.2 + -8.2. Let z be (-2872)/(-21540) - 1/(-5). Sort z, 1/2, c, f in descending order.
1/2, z, f, c
Suppose -3*h - 18 = -4*v, -15 - 1 = -2*h - 2*v. Sort 24, h, 0, -2.
-2, 0, h, 24
Let j = -0.0209 + -0.6111. Let d = 0.368 - j. Sort 0.05, d, 5, 0.25 in decreasing order.
5, d, 0.25, 0.05
Let f = 608.4 + -596.4. Sort -3/2, -2, f, -0.22.
-2, -3/2, -0.22, f
Suppose 3*y + 9 - 48 = 0. Suppose -8*i + 19 + y = 0. Put -69, -2, 0, i in decreasing order.
i, 0, -2, -69
Let z(x) = -x**2 - 2*x**2 + x**2 - 101 - 28*x + x**2. Let y be z(-24). Sort -3, -9, y, -7 in decreasing order.
-3, y, -7, -9
Let f = -2818.5 - -2834. Put 1/9, -1/5, f, 1, -2 in increasing order.
-2, -1/5, 1/9, 1, f
Let x(b) = -2*b**3 - 164*b**2 - 313*b. Let w be x(-80). Sort 2, 1/5, w in ascending order.
w, 1/5, 2
Let a(u) = 54*u**2 + u - 1. Let i be a(-1). Suppose 0 = -33*w + 14 + i. Sort -10, w, 7 in descending order.
7, w, -10
Suppose -601 = -m + g - 595, 3*m + g - 10 = 0. Sort 3, -5, m, 0.19 in descending order.
m, 3, 0.19, -5
Let w = 162 - 22. Let s be 2/15 - w/(-75). Put 29, -2, s in increasing order.
-2, s, 29
Let c(x) = x + 3. Let h be c(0). Suppose -54 = 16*i - 20*i + 5*g, -3*g - 48 = -5*i. Sort i, h, 8 in ascending order.
h, i, 8
Let f(w) = 6*w + 307. Let l be f(-52). Suppose -54*b = -50*b - 4. Sort 3, b, l, 2 in ascending order.
l, b, 2, 3
Let p = 3615 + -7233/2. Sort 0.3, p, 889 in decreasing order.
889, 0.3, p
Let b be ((-2)/(-4)*9)/(-4 + 10). Let v = 386 + -386.3. Put b, v, -2/9 in ascending order.
v, -2/9, b
Suppose 84 = 127*v - 155*v. Let h be 1*((3 - 10) + 6). Put -5, v, 2, h in increasing order.
-5, v, h, 2
Let g(r) = -r**3 + 90*r**2 + 88*r + 270. Let b be g(91). Sort 2, -2, 5, b in decreasing order.
5, 2, -2, b
Suppose 224 - 218 = 3*g, -2*p + 8 = 4*g. Put -5/3, 2, -1/3, p in descending order.
2, p, -1/3, -5/3
Let s be ((-297)/34)/(-3) - (-3)/15*-15. Sort -2/7, s, -0.02 in decreasing order.
-0.02, s, -2/7
Let w = 0.2939 - -3.7061. Let m = 8.021 + -8. Sort m, 2, w in descending order.
w, 2, m
Suppose -2*b - 178 = 56. Let v = 115 + b. Sort 1, 35, v in decreasing order.
35, 1, v
Suppose c - 2*c = -k + 2, 2*c - 24 = -5*k. Let v = 684.8 - 677. Let y = 7.4 - v. Sort -4, y, c, 0.1.
-4, y, 0.1, c
Let t = 23 + -25. Suppose -3*l = 3*j - j - 1, 3*j + 5*l = 0. Let z = j - 0. Put z, -3, t, 3 in decreasing order.
z, 3, t, -3
Suppose -307 = 3*o + 146. Let a = o - -155. Let u = -15 + 11. Put a, -1, u in decreasing order.
a, -1, u
Let t be (-4)/(-18)*3*(-126)/(-28). Put -2, t, 68, -1, 12 in ascending order.
-2, -1, t, 12, 68
Let f be (2 - 22/(-18)) + (-42)/189. Let k = 3.989 + 0.011. Put -6, -3/2, k, f in decreasing order.
k, f, -3/2, -6
Let c = 0.01 + 0.49. Let x = -4.4 + 4. Suppose 7*n = 444 - 465. Put n, c, x, -2 in ascending order.
n, -2, x, c
Let q(b) = 16*b + 1760. Let k be q(-110). Sort k, 21, 2 in decreasing order.
21, 2, k
Suppose l = k - 8, 0*l + 21 = 2*k - 3*l. Suppose 36*z = 35*z + 4. Let j be ((-20)/(-25)*(-1)/z)/(-1). Sort j, k, 1, 3/2 in increasing order.
j, 1, 3/2, k
Let a(z) = z**3 + 16*z**2 + 4*z + 389. Let d be a(-17). Put 4/3, d, -0.2, 1/2, 3 in increasing order.
-0.2, 1/2, 4/3, 3, d
Let j(t) = 7*t**2 - 242*t - 3285. Let r be j(45). Let h = 0.38 + 0.02. Put r, h, 70, 1 in ascending order.
r, h, 1, 70
Let x(v) = 1020*v - 4078. Let o be x(4). Let u be (2 - -1)/3*2. Suppose 6 = 2*q - u. Sort o, q, 3.
o, 3, q
Suppose 5*m - m + 4 = 0. Let h be 805/(-140) + m/4. Put -4, 0.1, h in increasing order.
h, -4, 0.1
Let y(w) = 12*w**2 - 55*w - 28. Let z be y(5). Sort -2, 13, 5, 1, z in ascending order.
z, -2, 1, 5, 13
Let j(l) = l**3 + 15*l**2 + 26*l - 12. Let i be j(-13). Let u be (0 - (-30)/(-36))*i. Sort u, 2, -5.
-5, 2, u
Suppose -40*r = -51*r + 44. Sort r, -5, 44, 1 in increasing order.
-5, 1, r, 44
Let l(t) = -5*t + 5. Let z be l(-6). Let k be (12/21)/(5/z). Let r be (1 - -1)/(2/(-4)). Sort r, k, 2 in ascending order.
r, 2, k
Let z = 1119/10912 + -3/341. Let n = z - 117/224. Let c = -2858 + 2855. Sort n, -2, c in