. Put l, 0, 4 in descending order.
l, 4, 0
Let o be 3/9 + (-3)/(18/290). Let c = 52 + o. Sort 3, c, 0 in descending order.
c, 3, 0
Let k = 1434.3 + -1434. Put -0.3, 0.01, 2/7, k in descending order.
k, 2/7, 0.01, -0.3
Let f be (2/(-10)*8)/(6/(-15)). Suppose j + 1 = 2*a - 7, 3*j + 4 = 2*a. Suppose h - 4*m - 18 = 0, -2*h - 3*m = j*m + 29. Sort f, h, -1 in decreasing order.
f, -1, h
Let w be ((-8)/5)/(6 - 448/80). Put 2/3, w, -0.1, 0.7 in increasing order.
w, -0.1, 2/3, 0.7
Let d(s) = -s**2 - 11*s - 7. Let t be d(-10). Let c be (-2 - 32/(-12))*t. Let w = -0.41 - -0.4. Put -5, w, c in decreasing order.
c, w, -5
Let k(x) = 2*x - 10. Let h be k(3). Sort -3, h, -44 in ascending order.
-44, h, -3
Let u = 10/559 - -439/6708. Let l = 1.5 + -1. Let k = -0.2 + -0.3. Sort l, k, u in ascending order.
k, u, l
Let f be (-4)/4 + 9 + -5. Sort -3, f, -7, -35 in decreasing order.
f, -3, -7, -35
Let l = 11.88 + -12.18. Let c = -2 + 3. Put c, l, -0.2, 0 in decreasing order.
c, 0, -0.2, l
Let b = -4 - -6. Suppose -3*k - b = 1. Suppose 5*i - 1934 = -38*i - 1762. Put -5, i, k in ascending order.
-5, k, i
Let v = -16.58 - -13.58. Suppose 0 = -0*l - l - 3. Let p be 2/3*l/17. Sort -5, v, p in descending order.
p, v, -5
Let r(y) = y**2 - 4*y + 2. Suppose -d - 2*d + 6 = 0. Let q be r(d). Put q, 3, -3 in decreasing order.
3, q, -3
Suppose -r + 0 - 1 = -3*a, -2*r - a + 5 = 0. Let i be -4*(13/(-26))/(r/3). Sort 0, i, -11 in increasing order.
-11, 0, i
Suppose 12*j = -17*j + 58. Sort -3, -5, 10, j in ascending order.
-5, -3, j, 10
Let u = 5 - 8. Let f be 3/2*(1 + 1). Let w be (-15)/6*196/245. Sort f, u, w.
u, w, f
Let g(s) = -s + 3. Let h be g(0). Put 0, h, -5, 6 in descending order.
6, h, 0, -5
Suppose 3*v - 2*h - 25 = 0, 4*v - 26 = -3*h + 2*h. Let b(c) = -c**3 - 3*c**2 + 9*c - 9. Let g be b(-5). Sort g, -2, -3, v in descending order.
v, -2, -3, g
Suppose 19*k = 35 + 60. Sort k, -5, 0, 9 in ascending order.
-5, 0, k, 9
Let v = 0.4 + -0.9. Suppose 0 = 5*c + 4*u - 25, 2*c - 7 = -c - 4*u. Suppose -c*i - 32 = -i. Put v, 0, i in descending order.
0, v, i
Let q = -35.9 + 33.9. Put -0.02, q, 0.5 in increasing order.
q, -0.02, 0.5
Let t = 13 + -38. Let v = t - -43. Let n = -15 + v. Sort -1, -9, n in descending order.
n, -1, -9
Let b = -433 - -428. Sort 3, 1, b, 0.
b, 0, 1, 3
Suppose 2*b - 6 = -6*i + 9*i, -2*b = i - 6. Put b, -1, 5, -4 in descending order.
5, b, -1, -4
Suppose 5*k - 39 = -3*o, 4*o + 5*k - 52 = k. Put o, 3, -13 in descending order.
o, 3, -13
Let b(q) be the third derivative of -q**4/6 - 23*q**3/3 - 12*q**2. Let z be b(-13). Sort 2, z, 4 in decreasing order.
z, 4, 2
Let t = 71 + -127. Let v = t + 51. Sort v, 1, 0, 5 in descending order.
5, 1, 0, v
Let a = -4 - -1. Let x(r) = r**2 + 7*r + 10. Let v be x(-6). Suppose -4*j = -8*j - v. Sort a, j, -4 in increasing order.
-4, a, j
Suppose 2*o + 14 = -2*h, -2*h - 2*o = h + 19. Let m = 21/4 + -27/4. Let s = -1814 + 1813.5. Put m, s, h in increasing order.
h, m, s
Let j be 2 + -3 + 8 + -4. Suppose 0 = -4*w - 1 - j. Sort -5, w, -0.2.
-5, w, -0.2
Suppose -6*j = 7*j + 26. Sort 2, j, -9 in descending order.
2, j, -9
Let p(b) = -b**2 + 12*b - 15. Let h be p(10). Let c be h + -1 + 15/(-4). Sort 5, c, 4 in ascending order.
c, 4, 5
Let g be (-1)/(2 - (-17)/(-9)). Let k = 13 + g. Let n(h) = h**3 - 5*h**2 + 5*h - 4. Let i be n(k). Sort i, 3, -3.
-3, i, 3
Let x be 8 + 6 + 0 + -11. Sort x, 0, 4, -2 in descending order.
4, x, 0, -2
Let x = -40 - -32.9. Let r = x + 2.1. Let w(d) = -d - 3. Let a be w(0). Sort a, -2, r in descending order.
-2, a, r
Suppose 94*j + 73 = 21*j. Put -0.18, -0.7, 4/7, j in increasing order.
j, -0.7, -0.18, 4/7
Let t = -19 + 24. Suppose 5*p = -t*w + 15, -4 = 2*w - 6*w. Sort 2/13, 5, p in decreasing order.
5, p, 2/13
Let x = 2146 + -2153. Sort -8, x, 6, -5 in descending order.
6, -5, x, -8
Let t = 0.2919 - 0.3819. Let r(m) = -2*m + 9. Let l be r(7). Sort t, 2, 0.5, l in decreasing order.
2, 0.5, t, l
Let a = -0.3 - 10.7. Let d = 18 + a. Let y = -6.97 + d. Sort y, 4, -4 in ascending order.
-4, y, 4
Let f be 40/(-6) + (-18)/54. Let j(u) = u**2 - 8*u - 7. Let n be j(9). Sort f, n, -5.
f, -5, n
Let p = -65.2 - -66.2. Put 3, 6, 0.5, p in decreasing order.
6, 3, p, 0.5
Let w be (-3)/12 + 2/4. Let b = 15 - 15. Sort b, w, -1.
-1, b, w
Let u = -1029 + 1033. Sort 1, 2, u, 1.2.
1, 1.2, 2, u
Let z = 104 + -87. Let v be ((-52)/(-5))/((-6)/(-10)). Let p = v - z. Sort 2/7, p, -3 in descending order.
p, 2/7, -3
Let p = 828.846 - 827. Let c = p - -0.154. Sort c, 0.4, -1/4, -4 in descending order.
c, 0.4, -1/4, -4
Let g = 0.466 - 83.266. Let i = g + 83. Sort -5, i, 1/6, 5.
-5, 1/6, i, 5
Let q be 1/(-4) + 33/(-12). Let t = 61/2 - 29. Put t, q, 1 in ascending order.
q, 1, t
Let p = -486 + 6317/13. Sort p, -3/2, -0.3.
-3/2, -0.3, p
Let r(l) = 4*l**2 - 3*l**2 + 2*l - l + 4. Let o be r(0). Suppose 0 = -u - 317 + 315. Put o, u, 2 in decreasing order.
o, 2, u
Let k = 3.6 + -3. Let a = k - 0.6. Let x = 417 + -417.2. Put -2/3, x, a in decreasing order.
a, x, -2/3
Let k = -11 - -7. Let b = -269 - -268. Sort k, 5, b in increasing order.
k, b, 5
Let t be (-3)/(-252) - 11/(-132). Put -2, -6, t in increasing order.
-6, -2, t
Let w(i) = i**2 + 7*i + 1. Let x be w(-8). Let n be (-18)/12*30/x. Let f = 0.15 - -2.85. Sort f, 5, n in ascending order.
n, f, 5
Let y be 588/(-70) + (9 - 0). Let r = -12479/33 + 378. Let w = r + -1/33. Sort w, y, -1/11 in descending order.
y, -1/11, w
Let r = 2.41 - 3.41. Sort r, -12, -2/7 in decreasing order.
-2/7, r, -12
Let v = -19 - -10. Let g = 6 + v. Let k be 13/(390/(-36)) + 104/20. Sort g, k, -2/3.
g, -2/3, k
Let f = -747 + 746. Sort -38, 0.1, f, -4 in ascending order.
-38, -4, f, 0.1
Let s = 16.31 + -16.71. Sort 21, s, -7.
-7, s, 21
Let a = -18.9 + 16.9. Put -3, -0.2, a in increasing order.
-3, a, -0.2
Let b(j) = j**3 + 5*j**2 - 38*j - 170. Let y be b(-7). Let n = -14 + 21. Suppose 0 = -4*l + n + 5. Sort 4, l, y in descending order.
4, l, y
Suppose -5*d + 8 = -6*d + n, -7 = d - 2*n. Let q = d - -7. Sort -3, q, 4, 0 in ascending order.
-3, q, 0, 4
Let t = -30 - -38. Let w be ((-20)/6)/(t/12). Let r(x) = x**2 + 6*x + 1. Let d be r(-6). Put d, -1, w in decreasing order.
d, -1, w
Suppose -90*a = -116*a - 520. Sort 10, 2, a.
a, 2, 10
Let d = 1.05 + -0.15. Let s = d + 1.1. Let c = -1.5 - 3.5. Sort c, 0.2, s in increasing order.
c, 0.2, s
Let g be (2/5)/((-1)/(-15)). Let k be g/(-3) + 82/43. Let y = -59/172 - k. Sort 9, 2, y in increasing order.
y, 2, 9
Let a = -17 + 20. Suppose w - 25 = a*f, 3*f + 5*w + 33 = -4. Let b be (f/6)/((-6)/4). Sort b, -10, 0 in decreasing order.
b, 0, -10
Let r = 6494 + -6491. Let o(i) = 3*i + 1. Let d be o(-2). Sort -1, d, r.
d, -1, r
Suppose 41 = -5*f + 31. Suppose 2 = 2*s - 6. Let j = -15 - -17. Sort j, s, f.
f, j, s
Suppose -2*x = 5*p + 18, 5*p - 3 = x - 9. Let f = -2 - p. Let i = -79 - -69. Put f, 5, i in ascending order.
i, f, 5
Let r be (-4)/2*(-1)/(-9). Let m = -2.06 + 1.26. Put 0, m, r in descending order.
0, r, m
Let a be (-8 + 7)*6 - -11. Put 3, a, 56 in decreasing order.
56, a, 3
Suppose -9*p - 144 = -45. Sort 4, p, 1.
p, 1, 4
Let j be (-4)/(2/2*-1)*1. Let z = -0.198 - 0.102. Put z, j, 0 in descending order.
j, 0, z
Let x = 13 + -18. Let b = -26 + 185/7. Put b, x, 5 in descending order.
5, b, x
Suppose 5*o = 4*o + 4. Suppose o*h - 4 = 8. Let a be (10/h)/((-14)/21). Sort a, -2, 3 in decreasing order.
3, -2, a
Suppose 2*a = -2, -j + 2*a = 3 - 7. Let z be 0/(-1) - 1/(-1). Suppose -22*q + 101 = -9. Put j, z, q in descending order.
q, j, z
Let a = -265 + 261. Put -130, 0.4, a, -2 in decreasing order.
0.4, -2, a, -130
Let q(f) = f**2 + 23*f + 72. Let l be q(-19). Put 4, l, -3, -66 in increasing order.
-66, l, -3, 4
Suppose -2*a - h + 4 = 6, h = 0. Sort -20, a, -0.1 in decreasing order.
-0.1, a, -20
Let o be (-369)/(-54) - 2/(-12). Suppose -2*j = -o*j - 20. Sort j, -2, -5 in increasing order.
-5, j, -2
Suppose 33 - 26 = -7*z. Put -2, -23, z in decreasing order.
z, -2, -23
Let x = 99 - 395/4. Sort x, 35, 3 in decreasing order.
35, 3, x
Let n be 8/5*15/6. Let p(j) = j**3 - 5*j**2 + 4*j. Let a be p(n). Let y = 15 - 12. Sort y, a, -6 in increasing order.
-6, a, y
Suppose i - 4*i + 3*k + 12 = 0, 4*i = -k + 11. Suppose -2*v - i*o + 0 = -3, o = 1. Let m = -5 + 5.3. Sort v, -2/23, m in increasing