m). Sort b, 31, 5 in ascending order.
b, 5, 31
Let a = 8624 + -8626. Put 2/5, -0.123, a, 4 in decreasing order.
4, 2/5, -0.123, a
Let i be (8 + -11)/((-3)/4). Suppose i*c + 7 = -1. Let m be (2 + -4 + 4)/(-2). Sort 4, c, m, -6 in descending order.
4, m, c, -6
Let v = -1442 + 1411. Sort v, -4, 5.
v, -4, 5
Let y be 6 - 6 - (-4)/26. Let h = -0.18485 + -1.81515. Let p = 0.06 - -0.04. Put -0.5, y, h, p in descending order.
y, p, -0.5, h
Let q = -12/12251 + -39595100/134761. Let k = -294 - q. Let f = -8 - -4. Put f, k, -2/5 in descending order.
k, -2/5, f
Let s(h) = h**2 - 11*h + 8. Let i be (0 - 1/2)*2340/(-18). Suppose 65 = 13*a - i. Let o be s(a). Sort -1/5, o, -1.
o, -1, -1/5
Let h = 30 + -30. Let y be (-1 + h)*(9 - 11). Suppose -v + 4 = -2*x, x + 2*v = -y*v + 7. Sort 19, x, 0 in descending order.
19, 0, x
Suppose 30179*g - 30193*g = 42. Suppose -5*x = -3*x + 36. Let b = 7 + x. Put g, b, -5 in increasing order.
b, -5, g
Let j be (22/8 - 8) + (-6)/(-24). Put 1, 5, -9, j in increasing order.
-9, j, 1, 5
Let q = 5862 - 5864. Sort q, 3, -3, 19 in ascending order.
-3, q, 3, 19
Let k = 43420 - 43417. Put -4, 0.08, 6.5, -2, k in decreasing order.
6.5, k, 0.08, -2, -4
Let f = -190 - -187. Let j = 17 - 10. Let h = j - 11. Sort f, 5, h.
h, f, 5
Let v = 59882 - 59882. Let z be 2/7 + -1 + 1. Sort z, 0.5, -85, v in descending order.
0.5, z, v, -85
Let v = 94/33 + -24/11. Let j = 30 - 46. Let s be -4 + (12/j - -2). Sort v, s, -2 in decreasing order.
v, -2, s
Let h = -15 - 4. Suppose 0 = -y - 3*q - 8, -5*y - q + 8 = 2*q. Let p be (43 - 51) + 4 + 2. Sort y, p, h in decreasing order.
y, p, h
Suppose 0 = -x - 2*l - 7, -12*x = -16*x + 4*l + 32. Sort x, -0.4, -17, -2/17 in descending order.
x, -2/17, -0.4, -17
Suppose -3*w + 22 = 4*l - 15, 2*l = 8. Let o = -42716 - -42717. Put -20, o, w in decreasing order.
w, o, -20
Suppose -12 = d + 3*h, 11*h = d + 7*h - 30. Sort -6, 4, 29, d in increasing order.
-6, 4, d, 29
Let r(o) = -o**3 - 14*o**2 - 7*o - 21. Let p be r(-14). Let c = p + -82. Let f be (63/12 + c)/(6/8). Put -1/2, f, -4 in decreasing order.
f, -1/2, -4
Let z = 145 - 144. Let q be 1 + (9 - 9) + -5*z. Sort 1, -3, 2, q in increasing order.
q, -3, 1, 2
Let w = -10 + 34. Let p = 37 - w. Let y = 17 - p. Put y, -14, 0.3 in increasing order.
-14, 0.3, y
Suppose -c + 3*c = -5*a - 35, 3*a - 4*c = 5. Let f = -0.28 + -0.02. Let w be 3/2*256/288. Sort w, -1, f, a in descending order.
w, f, -1, a
Let r be (-4)/(-3)*-3 + 4 + 128/(-448). Sort 1/6, -10.4, r in descending order.
1/6, r, -10.4
Let v(o) = o**3 + 6*o**2 - 26*o + 9. Let g be v(-9). Let t = -1 + 0. Let p be (3 + -6)/(9/(-12)). Put p, t, g, -5 in descending order.
p, g, t, -5
Let o be -6 + 6 + 0 + (-403)/2. Let y = o - -202. Sort -0.5, 0.1, y, 3.
-0.5, 0.1, y, 3
Let g(d) = 23*d - 577. Let z be g(25). Sort z, 4, 200 in ascending order.
z, 4, 200
Let s = -1 + 1. Let l = -56 + 52. Let r be (30/(-35)*-5 + l)*2. Put s, -5, r, 2/5 in increasing order.
-5, s, 2/5, r
Let b be 0 - 0/(-3) - 84. Let f = 102 + b. Let y = f + -19. Sort 6, y, 1, 0 in ascending order.
y, 0, 1, 6
Let d = 10876 - 10873. Let k be (18/112)/(12/16). Let j = 13/28 - k. Sort j, d, 0, -2/7 in ascending order.
-2/7, 0, j, d
Let v = -1138183/7 + 162599. Let r = 200/3 - 66. Put v, -0.4, r, -0.1 in ascending order.
-0.4, -0.1, r, v
Let o(c) = 24*c - 6. Let a be o(12). Let y = -278 + a. Sort -2/29, -0.5, -0.1, y.
-0.5, -0.1, -2/29, y
Let s(r) = r**2 + 7*r + 8. Suppose 6*m - 16 = -4. Suppose m*d + 7*w = 3*w - 10, d + 4 = -w. Let v be s(d). Sort 6, v, 4, 5 in decreasing order.
6, 5, 4, v
Suppose -k + 2*v = -3, -33*v = -2*k - 34*v + 6. Let m be ((-8)/3)/((-2)/(-9)). Put k, m, 2, -5 in decreasing order.
k, 2, -5, m
Let m = -335.7 + 400. Let o = m - 64.2. Sort o, -4/5, 2, -0.2 in decreasing order.
2, o, -0.2, -4/5
Let u = -11.03 + 11.63. Put u, 6/17, -1 in descending order.
u, 6/17, -1
Let t be 0/((-5 - -2)*2/6). Suppose 3*a + 4*r + 2 = 0, 14 = -t*a - a - 4*r. Suppose -o + a*o = -5. Sort o, 3, -3.
-3, o, 3
Let b be (91800/91804 - 1)/((-5)/3005). Let v = 3/389 + b. Put 1, v, 3 in descending order.
3, 1, v
Let y = 216 + -212. Suppose -2*o - 89 = 2*b + b, 0 = 3*o - y*b + 91. Put 0, 5, o in decreasing order.
5, 0, o
Let g(l) = l**3 + 5*l**2 + 3*l - 5. Let h be g(-4). Suppose 4*s + 4*i = -32, -20*s + 2*i = -48*s - 94. Sort h, -2, s.
s, -2, h
Let c be (-4)/(-96)*4 - (-165)/90. Suppose c*f - 2 - 4 = 0, 0 = p + f - 4. Sort 0, p, -51 in increasing order.
-51, 0, p
Let a(u) = -27*u + 70. Let x be a(-14). Let t = x - 443. Put 3, 4, 1, t in ascending order.
1, 3, 4, t
Let m = 9 + -10. Let u = m - 0. Let v = -2028 + 2032. Sort v, u, -5, 2/7 in ascending order.
-5, u, 2/7, v
Let w be (-610)/(-732) + 2/(12/49) + -2. Put w, 3, 97, 5 in decreasing order.
97, w, 5, 3
Let b = 66 - 129/2. Let p be (-207)/6 + (3 - 5). Let m = -36 - p. Put -3/7, b, m, 4 in increasing order.
-3/7, m, b, 4
Let c = 7.629 - 9.629. Sort -92/7, c, -0.4 in descending order.
-0.4, c, -92/7
Let c = 1774 + -1773.912. Sort 5, c, 3 in descending order.
5, 3, c
Let g = 15215 + -15210. Suppose -11 = -2*h + x + 2, 0 = -h + 3*x + 4. Put 0, g, 3, h in descending order.
h, g, 3, 0
Let y = 142 + -59. Let h = 81.42 + 1.08. Let t = h - y. Sort 2/7, 1, t.
t, 2/7, 1
Let d be ((-424)/(-3710) + 4/(-10))/(344/(-14)). Sort -4, -2, d, 0.5, -1/3 in descending order.
0.5, d, -1/3, -2, -4
Let o = -8.85 - -12.76. Let n = o - -0.09. Let h = -0.7 + -1.3. Sort n, h, 0.09, -1 in descending order.
n, 0.09, -1, h
Let g = 18 + -196/11. Suppose -6 = 2*d - 5*d, 5*j - 286 = 2*d. Let y be 1/(-4) - (j/(-8) - -3). Sort y, -1/4, g in descending order.
y, g, -1/4
Let t be -4*14/7*1/4. Sort 1, t, 2 in increasing order.
t, 1, 2
Let d(j) = -1846*j + 1851. Let i be d(1). Suppose 4*a = -2*h + 12, 2*a + 2 = -0*h + h. Put i, -1, 1, h in decreasing order.
i, h, 1, -1
Let t = -89 - -98. Let a be (t + -9)/(1 + -2). Let v = -40 - -43. Put 4, v, a, -1 in descending order.
4, v, a, -1
Suppose 10*l + 2970 = 60*l + 5*l. Sort l, 2, 3, -5 in descending order.
l, 3, 2, -5
Suppose 3*z - 19 = -3*m - m, 3*z + 5*m - 23 = 0. Let p = -6699 + 6652. Put z, -1, p in increasing order.
p, -1, z
Let b(a) = a - 3. Let x be b(4). Let i(w) = 3*w**2 + 3*w + 3. Let s = -586 + 585. Let q be i(s). Sort q, 0.07, 5, x.
0.07, x, q, 5
Let h = 11835 - 11833. Let w(v) = -v**3 + 5*v**2 - v + 7. Let d be w(5). Suppose d*t + 0*c - 2*c + 2 = 0, -2*c = 8. Put 0, t, h in decreasing order.
h, 0, t
Let n be 6/10*2870/1722. Put -29, -18, n, 2/17, -0.1 in descending order.
n, 2/17, -0.1, -18, -29
Let j(z) = -2*z**2 - 22*z - 29. Let v be j(-6). Suppose -7*g - 4 = v. Put 2, 10, g in ascending order.
g, 2, 10
Let q = 9329 - 9338. Sort -10, 2, 1/10, q in descending order.
2, 1/10, q, -10
Suppose 26*j = -107 + 29. Sort j, 4, 54 in increasing order.
j, 4, 54
Suppose 0 = -b - 5. Let h be -1*(-33 + -4 + 9) + -3. Sort -2, 2, h, b in decreasing order.
h, 2, -2, b
Let l = 171.4 - 171.2. Sort l, -25, -1, -8 in descending order.
l, -1, -8, -25
Let c = 143.9 - 154.9. Put -0.4, -3, 0, c in decreasing order.
0, -0.4, -3, c
Suppose -3*c = -3*a, 5*a - 4 = -3*c + 4*c. Let k = 121 - 123. Put -1, 3, k, a in descending order.
3, a, -1, k
Let v(h) = h**3 + 3*h**2 + 3*h + 3. Let a be v(-2). Suppose -74*p = -28*p + 24*p. Put -1, a, p in descending order.
a, p, -1
Suppose -2*w - 24 = -0*w. Let v(h) = h**2 - 6*h - 11. Let r be ((-2)/6)/(8/(-168)). Let s be v(r). Sort -3, w, s.
w, s, -3
Let p be ((-1)/(-4))/((-9)/(-108)). Suppose 6*r - 5*h = p*r - 7, 3*h = 4*r + 2. Let d = -10 + 13. Sort d, -2, r in descending order.
d, r, -2
Let i(z) = -z**3 + 134*z**2 - 2088*z - 5. Let b be i(116). Let t = -8 - -5. Sort -4, b, 4, t in descending order.
4, t, -4, b
Let f(u) = 3*u**2 + 475*u + 945. Let v be f(-2). Sort 0, -4/3, v, -4 in decreasing order.
v, 0, -4/3, -4
Let l = 26 + -44. Let h be (l/(-78))/((-6)/(-4)). Suppose 154 = 4*t + 130, -4*t = k - 22. Sort 9, h, k.
k, h, 9
Let i = 45 - 105. Let g = i - -63. Put -1/2, -1, g, 1.7 in decreasing order.
g, 1.7, -1/2, -1
Let c = -23.1 + 23.1. Put -7, c, -2/7, 2/7 in decreasing order.
2/7, c, -2/7, -7
Let d be (-34371)/405 - -3*2/(-45). Let q = -77 - d. Suppose q = -5*y + t, -2*t - 2*t = y + 10. Sort 2, 4, y in decreasing order.
4, 2, y
Let d(w) = -211*w + 10967. Let c be d(52). Let s(x) = x 