Let j = -13 + 54. Let c = -36 + j. Sort r, c, 0.1 in descending order.
c, r, 0.1
Let h be 3/4*(-4 - -6). Sort 4, 10, -10, h in increasing order.
-10, h, 4, 10
Let n = -0.23 + -0.27. Suppose 4*d - 2*r - 38 = 0, -3*d - 3*r + r + 25 = 0. Let v be (-27)/d*(-2 + 1). Sort 0, n, v in decreasing order.
v, 0, n
Let c(z) = -5*z**3 - 12*z**2 - 6*z. Let d(b) = 4*b**3 + 10*b**2 + 5*b + 1. Let n(k) = -3*c(k) - 4*d(k). Let m be n(-4). Sort -2, m, -6.
-6, -2, m
Suppose -20 = -n - 21. Sort 6, n, 1, 4 in descending order.
6, 4, 1, n
Let i = -795 + 796. Sort 8, 6, -3, i in decreasing order.
8, 6, i, -3
Let z(c) = 12*c**2 + 40*c + 11. Let l be z(-3). Let g = 3 - 2. Put l, 6, g in decreasing order.
6, g, l
Suppose -100*p + 112*p = 36. Sort 2, p, 4 in descending order.
4, p, 2
Let p = -0.28 - -0.45. Let g = p - 0.07. Sort 2, g, 1/6 in ascending order.
g, 1/6, 2
Let m = -2.1 - -2. Let b be (-53)/(-106) - (525/6)/7. Put 3, b, m in decreasing order.
3, m, b
Let x be (-17)/(-3) + 3/9. Let d be 252/(-378) + 22/6. Sort -1, d, x in descending order.
x, d, -1
Let r(j) = -2*j**3 + 6*j**2 - 5*j - 1. Suppose 0 = -23*m + 20*m + 9. Let b be r(m). Put -2, 3, -4, b in descending order.
3, -2, -4, b
Let b be ((-8)/(-7))/((-24)/(-84)). Suppose -22 = 4*z + b*h - 54, -5*h = -2*z - 12. Sort -4, z, 5 in decreasing order.
5, z, -4
Let p = -9/38 - 31/190. Sort p, 3, -15 in decreasing order.
3, p, -15
Let x = -79.7 - -79. Sort -2/13, 0.9, 0.2, x in descending order.
0.9, 0.2, -2/13, x
Let o(d) = d**2 - 6*d + 4. Let b be o(3). Let z be 21/4 - (-1)/(-4). Sort b, 2, z in ascending order.
b, 2, z
Let n(g) = -g**3 + 6*g**2 - 6*g + 5. Let q = 11 - 6. Let j be n(q). Let u be (-512)/140 + 3 + 4/5. Sort j, -2, u in ascending order.
-2, j, u
Let i = 120 + -251. Let m = -130.7 - i. Put 4/7, 3/2, m in decreasing order.
3/2, 4/7, m
Let r(t) = -5 + 8*t + 14*t**2 - 15*t**2 - 1. Let o be r(5). Suppose 0 = -d - 3*d + 8. Put d, -5, o in increasing order.
-5, d, o
Let u = 0.05 + -0.45. Let j = 316 - 303.1. Let q = 13 - j. Put q, u, 1/2 in descending order.
1/2, q, u
Let v be ((-9)/(-75))/(78/65). Let r = 0.17 - 0.2. Sort v, -2, r, 4 in ascending order.
-2, r, v, 4
Let o be 120/56 - 30/(-35). Sort o, -1, 1, -5 in ascending order.
-5, -1, 1, o
Suppose -19 = 4*x + 3*n, 2*x + 3*x - 3*n = 10. Let w(f) = 2*f - 8. Let i be w(4). Suppose k - 3*k + g + 7 = i, 2*k + 5 = 5*g. Sort x, 4, k in decreasing order.
k, 4, x
Let t(h) = h**3 + 4*h**2 - h + 16. Let q be t(-5). Suppose 2*n + 16 = -4*x - 0*n, 0 = 5*x + 3*n + 21. Put q, x, -2, 0 in descending order.
0, -2, x, q
Let f = -23 + 22. Let o = 2 - f. Let a = 147 - 445/3. Sort 0.04, o, a in decreasing order.
o, 0.04, a
Let x = -0.063 - -25.063. Let h = 0.35 - 30.35. Let t = x + h. Sort -4, t, 0 in descending order.
0, -4, t
Let n(v) = -v**2 - 4*v - 2. Let u be n(-4). Put 9, u, -11, -4 in decreasing order.
9, u, -4, -11
Let h = 757 - 773. Sort -0.4, -2/7, 4, h in ascending order.
h, -0.4, -2/7, 4
Let t = -0.04 - -0.34. Let f(s) = s**3 + s - 9. Let u be f(0). Sort t, 3, u in ascending order.
u, t, 3
Let r = -142 + 140. Let q be (-12)/r + 3/9*-9. Suppose -3*a + 10 + 5 = 0. Sort -4, q, a in descending order.
a, q, -4
Let r(t) = -t**3 + 4*t**2 - 4*t. Let q be r(3). Let p = 850 + -849.8. Sort p, q, 4/3 in ascending order.
q, p, 4/3
Let v(d) = 2*d - 6. Let j be v(3). Let r = 124 + -129. Put j, -4, r, 2 in increasing order.
r, -4, j, 2
Let u(k) = 1. Let z(s) = s - 1. Let d(j) = -5*u(j) - z(j). Suppose 6*f = 4*f - 10. Let a be d(f). Sort a, -1, 9 in decreasing order.
9, a, -1
Let k = 19885/8 + -2486. Let c be (-5)/(-3) + (-4)/6. Put c, -1/6, k in increasing order.
k, -1/6, c
Let b = 0.5 - 2.5. Let a = 27997 + -27994. Sort b, 15, -2/15, a in decreasing order.
15, a, -2/15, b
Let j be -7 + -5 + 7 - (-1 - -1). Put -1/7, 1, j in descending order.
1, -1/7, j
Let g(r) = r**3 + 6*r**2 - 6*r + 13. Let h be g(-7). Suppose 0 = -35*z + 38*z + h. Sort z, 5, 0 in decreasing order.
5, 0, z
Let f be -4 - (-5 + 7 - 1). Sort 2, 14, -4, f.
f, -4, 2, 14
Suppose 12*y = 28*y - 26 - 54. Let p = 4 - 2.9. Let k = p - -2.9. Sort y, k, -0.2.
-0.2, k, y
Let s = -0.4 - -0.3. Let t be -8 + 1 + (-65)/(-9). Sort t, s, 4 in increasing order.
s, t, 4
Let p be 30/12*1*(1 - -1). Sort p, 1, -115.
-115, 1, p
Let y = -135 - -77. Let k = 55 + y. Put 1, -2, -4, k in descending order.
1, -2, k, -4
Let r = -35 + 11. Let q be 2 - -3*r/45. Sort -0.5, -3, q.
-3, -0.5, q
Suppose -8*b - 10 = -3*b. Put -18, -3, -5, b in descending order.
b, -3, -5, -18
Suppose -4*w = 40 - 36. Sort 3.7, -0.2, -1/6, w in ascending order.
w, -0.2, -1/6, 3.7
Let a = 26 - 54. Put 2, a, 3, -2 in descending order.
3, 2, -2, a
Let m = -152.6 - 0.4. Let z = 152.8 + m. Sort -1, z, -4, 0 in increasing order.
-4, -1, z, 0
Let p be (-513)/39 - (-10)/65. Let i be (p + 13)/(0 - 2). Let n(j) = j**3 + 4*j**2 + 4*j + 4. Let w be n(-3). Put i, w, -4 in descending order.
w, i, -4
Let w = 783 + -783. Sort 2, 6, w, 13.
w, 2, 6, 13
Suppose 2*d = -5*v + 32 + 5, -3*v = -2*d + 13. Let i = 9 - d. Let f be ((i - 0) + 1)*1. Sort f, -1/6, 1/3.
f, -1/6, 1/3
Suppose -10*y - 3 = -11*y. Put -5, -3, 6, y in ascending order.
-5, -3, y, 6
Let i = -39 - -40.95. Let q = i + 0.05. Let t be (-6)/8 + 1/(-4). Sort q, t, 3/8 in decreasing order.
q, 3/8, t
Suppose 0 = 2*n - 2*m, 2*n - 4*m + 1 = -5. Suppose 0 = n*v + 2*g - 13, 0*g - 2*g - 2 = 0. Put v, 0, -5 in ascending order.
-5, 0, v
Let a = -69/14 + 17/7. Put 2/3, a, 8/5 in decreasing order.
8/5, 2/3, a
Let k = 432 + -428. Sort k, -9, 2 in ascending order.
-9, 2, k
Let w(l) = -3*l**3 + 5*l**2 - 3*l + 1. Let r be w(3). Let p = -40 - r. Sort 3, p, -2 in ascending order.
-2, 3, p
Let q = -30.8 - -31. Let i(w) = -w**3 + 7*w**2 - 5*w - 14. Let u be i(6). Put u, q, 8 in increasing order.
u, q, 8
Let s = 61 + -62. Sort 3, s, 5 in ascending order.
s, 3, 5
Let m = -1 - -1. Let u(b) = 3*b**3 + 110*b**2 + 67*b - 203. Let a be u(-36). Put a, m, -3 in ascending order.
a, -3, m
Suppose -4*b + 9*b - 10 = 0. Let m = 13061 + -13074. Put -2, 3, b, m in descending order.
3, b, -2, m
Suppose -3*w = 8*h - 5*h + 9, 2*h + 3 = -5*w. Sort w, -3, 3, 2 in descending order.
3, 2, w, -3
Let o be (1 - (-15)/(-25)) + (-44)/10. Let j = 9 - 5. Let d be (0 + (-6)/8)*j. Sort o, 3, d in descending order.
3, d, o
Let q(v) = v**2 - v. Let i be 184/44 - (-4)/(-22). Let o be 0*(4 - 12/i). Let d be q(o). Put d, 4, -4 in increasing order.
-4, d, 4
Let p be (-1)/(2/8*-2). Suppose 6 = d + d, -p*v = -2*d + 2. Suppose 5*x + 10 = 5*f, 3*f - 4 = -4*x + v. Sort -1, 1, x in ascending order.
-1, x, 1
Let y be (2 + -1)*2*2. Let v be (-3*1)/((-48)/(-160)). Let k = v + 8. Sort y, k, -5.
-5, k, y
Let z = -138 - -133. Let k(v) = 6 + 7*v - 3*v**2 - 6*v**3 - 2*v**2 + 5*v**3. Let b be k(-6). Put z, -2, b in ascending order.
z, -2, b
Let u = 17.3 - 16. Let o = u - 2.3. Put o, 0.4, 4, -0.7 in ascending order.
o, -0.7, 0.4, 4
Let o(f) = 31*f**2 - 3*f + 5. Let h be o(1). Suppose h = 17*r - 6*r. Suppose -2*b - 16 = -5*m, -12 = -5*b - 3*m + 10. Sort b, 4, r.
b, r, 4
Suppose -j + 25 = 3*l - 81, -2*j = -3*l + 112. Suppose -168 + 160 = 4*n. Put n, l, -5 in descending order.
l, n, -5
Suppose 25 = -168*i + 163*i. Put 9, i, -4, -9 in decreasing order.
9, -4, i, -9
Let n be (21/24 - 1) + 49/(-56). Put n, 34, -4 in ascending order.
-4, n, 34
Let v(y) be the third derivative of y**4/8 + y**3 + 10*y**2. Let s be v(-2). Sort -5, 3, s, -1 in descending order.
3, s, -1, -5
Suppose 827*d - 799*d - 224 = 0. Put 5, d, 2, -5 in descending order.
d, 5, 2, -5
Let a = 17 - 13. Sort 0.03, -0.2, 1/3, a in decreasing order.
a, 1/3, 0.03, -0.2
Let d be 10 - -8*(2/4 + -1). Let i be 4 - (33/d + (-2 - 0)). Sort 2, i, -3/4 in decreasing order.
2, i, -3/4
Suppose -4*g + 12 = 3*k + k, -g + 3*k - 13 = 0. Let x be g/2*-18*1. Suppose -4*p + 20 = -x*p. Sort 5, 0, p in descending order.
5, 0, p
Let p be (2 + 1)/(9/33). Sort 4, p, -1, 1 in decreasing order.
p, 4, 1, -1
Let a(y) = 2*y**2 - 17*y + 16. Let b be a(7). Let i(t) = -4*t + 8. Let r be i(3). Put r, b, 2, 5 in ascending order.
b, r, 2, 5
Let h = 179 + -174. Put h, -25, 4, -2/13 in decreasing order.
h, 4, -2/13, -25
Let v be -2 + 72/28 - 85/(-35). Let a be -1*15/(-9)*3. Put 1, 9, v, a in descending order.
9, a, v, 1
Let u = -9445/6 - -1574. Let c = -0.42 - -0.02. Put u, -0.