reasing order.
86, w, 0, -3, -8
Let t = -57 - -56.7. Let w = 51.3 + -52.3. Sort t, 2/23, -0.1, w in ascending order.
w, t, -0.1, 2/23
Let d = 9.4 + -9. Let w = -23931 + 23934. Put 0.1, 5/16, w, d in decreasing order.
w, d, 5/16, 0.1
Let s = -0.438 + -0.062. Suppose -465 = -m - 467. Put s, m, 4/9 in ascending order.
m, s, 4/9
Let i = -5634/55 - -1140/11. Put 3, 449, i in ascending order.
i, 3, 449
Suppose 4 = -59*o + 177*o + 4. Sort o, -1, 1, 4, -678 in ascending order.
-678, -1, o, 1, 4
Let w(f) = -6*f**2 - 16*f - 5. Let t be w(-3). Sort t, 0, -7.
t, -7, 0
Let w = 2333 - 2333. Put w, -4, 93 in decreasing order.
93, w, -4
Suppose -133 = -7*c + 371. Let f = -47 + 86. Let v be c/f - 4/(-26). Put 4, v, -2/9, 2/9 in descending order.
4, v, 2/9, -2/9
Suppose 11*i - 18*i = -56. Suppose -5*b = -5, 3 = n + b - i. Sort -4, -5, n, -2 in decreasing order.
n, -2, -4, -5
Let a = -2640.5 - -2640. Put 0, a, -3990 in descending order.
0, a, -3990
Let s(g) be the first derivative of g**3/3 - 3*g**2/2 + 3*g + 46. Let a be s(3). Sort 2, -4, -5, a in descending order.
a, 2, -4, -5
Let t = -1 + 5. Let o be (206/2266)/(((-1)/6)/((-1)/3)). Sort 77, t, o in descending order.
77, t, o
Let h be (-385)/(-88) + 12/(-32). Suppose 0 = h*i - 7 - 9. Sort i, 0, -3, 3 in descending order.
i, 3, 0, -3
Suppose 119*t + 21637 = 135*t - 18907. Sort 4, 0, 5, 2, t in decreasing order.
t, 5, 4, 2, 0
Let x = -0.3 - -0.4. Let p be (633 - 634)*(-2)/8. Put -2/3, x, 0.3, p in descending order.
0.3, p, x, -2/3
Let r = -41.66 + 41. Let s = r + -27.34. Let i = -28.5 - s. Sort i, -0.3, 1.
i, -0.3, 1
Let v(n) = -n**3 - 16*n**2 + 16*n - 17. Let p be v(-17). Let g = 3 - p. Suppose 0 = 2*x + g - 7. Sort -2, x, -6 in ascending order.
-6, -2, x
Let s = -2 - -2. Suppose 1190 = -399*u - 406. Sort -2, s, 3, u.
u, -2, s, 3
Let h be -4 - (-52)/20 - -1. Let r be (-17)/((-204)/144)*1/(-4). Sort 2/75, h, r in descending order.
2/75, h, r
Let x = -19211/28 - -2745/4. Put 1, 2/5, 0.06, 0, x in descending order.
1, 2/5, x, 0.06, 0
Suppose 7 = -2*t + 31. Let z = t + -7. Suppose z*l = -18 + 23. Put -3, 4, l in decreasing order.
4, l, -3
Let w(l) = -l**2 + 6*l + 25. Let m be w(9). Sort -1/3, 5, m, 0.1, -67 in descending order.
5, 0.1, -1/3, m, -67
Let u = -2964 - -2969. Sort 34, 3, -5, u.
-5, 3, u, 34
Let q = 6225 + -6224. Put 28, -5, q, 4, 19 in increasing order.
-5, q, 4, 19, 28
Let f(t) = t**3 - 32*t**2 + 245*t - 95. Let b be f(20). Put b, 0, 27, 3 in decreasing order.
27, b, 3, 0
Suppose 2*s - 32 = 8*c - 13*c, -5*c + 56 = -4*s. Let l be (c - 7)/(4/(-16)). Put -1, 4, l, -2 in increasing order.
l, -2, -1, 4
Let p = -63 + 125. Let k = 25 + p. Let r = k + -86.8. Put r, 4, -4, 13 in increasing order.
-4, r, 4, 13
Let x be -1 + 2 + (-15281)/(-37). Suppose 0 = -x*a + 406*a - 16. Put -1, 0, -5, a in decreasing order.
0, -1, a, -5
Let l be 1 + -2 - 6/3. Let d(w) = -w**2 + 3*w + 7. Let m be d(5). Let h be m + 5 + -1 + 1. Sort -2, h, l.
l, -2, h
Let i = 69 - 45. Let j be ((-1)/3)/((2356/i)/19). Sort 2, -2/5, j, -3 in descending order.
2, j, -2/5, -3
Let f be -6*((-3 - (-6)/18) + 3). Let t = 8 - 11. Let m be (t - -7) + (-2 - -2). Sort -1, m, 2, f in ascending order.
f, -1, 2, m
Let j = 29292 - 29370. Put j, 3, -0.1, 0.09 in increasing order.
j, -0.1, 0.09, 3
Let k = 8.056 - 8.456. Put 8, -2, 9, k in decreasing order.
9, 8, k, -2
Let a be 10*30/(-2850) - (172/(-190) + 1). Let g be (2/(-6))/((-6)/(-54)). Sort g, 2/93, a.
g, a, 2/93
Let u = 4223 + -4219. Put u, 0.16, 2, -2 in descending order.
u, 2, 0.16, -2
Suppose -31*c = -23*c - 128. Let n be ((-1845)/(-20))/(-9) + 4/c. Sort n, -0.03, -3 in increasing order.
n, -3, -0.03
Let q = 2785 + -2788. Put -79, -11, q in descending order.
q, -11, -79
Let z be (-594)/176 + (-6)/(-16). Let p be -1*(-14)/z + 1/(-3). Put 180, p, 5 in increasing order.
p, 5, 180
Let p = -0.6 - -0.1. Let h = -12541 - -12540. Sort p, h, -0.09, 5.
h, p, -0.09, 5
Let c = -7235 + 7231. Put -2, c, 2/85, -20 in increasing order.
-20, c, -2, 2/85
Suppose -4*z - 77 = 3*i, 0 = 5*i + 3*z - 7*z + 107. Let v = i - -41. Suppose 25 - 34 = 3*j. Sort 0, j, 4, v in decreasing order.
v, 4, 0, j
Suppose -1022 = 117*f - 554. Suppose 2 = 4*v + 6. Suppose q = -q + 6. Sort v, f, -19, q in descending order.
q, v, f, -19
Let y = -7797 - -7798. Let f = 0.6 + -5.6. Put y, f, -4, 2 in decreasing order.
2, y, -4, f
Let m be 4 + 1 - 2/1. Let y = -122022 - -122021. Sort y, m, -2 in descending order.
m, y, -2
Let h = 32 + -29. Let n be (-20)/(-14)*(1064/(-16))/(-19). Sort h, n, -5, -3 in decreasing order.
n, h, -3, -5
Let p be (-4420)/(-104)*(-6)/51. Let a(b) = 2*b - 5. Let x be a(4). Let n = -100 + 63. Sort n, p, x in decreasing order.
x, p, n
Let x = -53.14 - 0.86. Let v = -38 - x. Let q = -8213 + 8216. Put v, 0.2, q in decreasing order.
v, q, 0.2
Let q(n) = -138*n + 0*n**2 + n**2 + 132*n. Let h be q(5). Let x be (-14)/(-35) - (-7)/(-5). Put -4, 2, x, h in decreasing order.
2, x, -4, h
Let q(p) = -115*p - 5. Let b be q(-1). Let u = b - -14. Suppose 100 = -6*y + u. Put y, 8, -5 in descending order.
8, y, -5
Let y be 54/126 + (-18)/(-7). Suppose -y*b = 3*b - 30. Suppose -17*g + 16*g + 4 = 0. Sort b, g, 0, -2 in descending order.
b, g, 0, -2
Suppose 6*c - 34*c + 2072 = 0. Suppose -65*q = -c*q - 27. Sort q, 0, 21, -4 in descending order.
21, 0, q, -4
Let x be 6/9 + 8/6. Suppose 0 = x*a + 8 + 2. Let d be (-1)/((-68)/(-6) + -11). Put d, 5, a in decreasing order.
5, d, a
Let g(k) = k**3 - 17*k**2 + 29*k + 35. Let j be g(15). Let b be -4*(-5)/j*1 - 5. Sort 0, -10, b in decreasing order.
0, b, -10
Let q(c) = c**3 - 4*c**2 - 3*c + 10. Let y be q(4). Let o be 4 + -4 + -4 + -8. Let u(j) = -2*j - 28. Let h be u(o). Sort 3, y, h, -3.
h, -3, y, 3
Suppose 560 = 2*j - 5*y + 715, 2*y = 3*j + 238. Sort -10, j, 1 in decreasing order.
1, -10, j
Suppose 0 = 4*b + 11 - 35. Suppose 32 = 5*v + 27, -4*v - b = -2*h. Put -49, h, -2, 3 in ascending order.
-49, -2, 3, h
Let w(c) = -2*c**2 - 22*c + 60. Let l be w(-13). Let q be (6 - l)/(35 - (4 + -1)). Sort q, 3, 5, -1/10 in decreasing order.
5, 3, q, -1/10
Let d = 4 - 4. Let t = 552 + -529. Suppose 6*i = t*i - 17. Sort d, 8, i, -3.
-3, d, i, 8
Let q = -397.45 + 393. Let w = 4.55 + q. Sort 9/5, 0.4, w, -1.
-1, w, 0.4, 9/5
Suppose m = r + 1389, -r = -4*r + 2*m - 4164. Let w be 6 - 1 - (-14)/(r/513). Put -4, -2, w, 7 in decreasing order.
7, w, -2, -4
Let m be (0 + -30)*(-4)/8. Let g be 0/(((-5)/25)/((-3)/m)). Sort 18, g, 5 in descending order.
18, 5, g
Suppose -156 = -8*b - 188. Let x be 3 - (70/(-4))/(-7). Sort 2/9, 0.1, x, b in decreasing order.
x, 2/9, 0.1, b
Let x(n) = n**2 - 7*n - 16. Let m = -161 + 153. Let y be x(m). Put y, 0, -5, 2 in descending order.
y, 2, 0, -5
Suppose -4*v + 266*l - 7 = 271*l, 2*l + 6 = 0. Put 0, 3, 5, v in descending order.
5, 3, v, 0
Let b = -271 - -254. Let f = b - -17.3. Put 2/13, -3, 23, f in descending order.
23, f, 2/13, -3
Let j = 940 - 858. Suppose -j*n + 69*n = 26. Let a be 3/((-6)/8*-14). Sort a, 56, n.
n, a, 56
Suppose o = 3*r + 7, 0*r = -o - 7*r - 13. Put o, 217, -3 in descending order.
217, o, -3
Suppose a - v - 3 = -0*a, 3*a - 5*v - 5 = 0. Suppose 4*c + 0*c - 16 = 0. Put a, c, -3, 3 in decreasing order.
a, c, 3, -3
Let c = -12.291 + 13.291. Suppose 0 = -0*b + b + 2. Suppose -2 + 5 = n. Put n, b, c, -2/11 in descending order.
n, c, -2/11, b
Let d be 1 + -2 + 1 + 3. Suppose -2*p - 5 = -5*n + 23, 0 = -d*n - 4*p + 22. Let z be (-2 + (-28)/(-21))*(4 + -7). Sort z, n, 4 in increasing order.
z, 4, n
Let a = 36 - 178/5. Let q = -6.468 + 6.968. Let j be (6/(-4))/(6/8). Sort a, q, j in decreasing order.
q, a, j
Let p be (0 - -1)*3 + (116/14 - 11). Sort p, -3, -52, -1/3 in ascending order.
-52, -3, -1/3, p
Suppose 6*f + 14 = 8*f + 5*w, 5*f - w = -19. Put -4, f, -44, 0 in increasing order.
-44, -4, f, 0
Let a(b) = 2*b**2 - 3*b + 4. Let c be a(7). Suppose -5*w - 162 - 3 = -5*h, -3*h = 3*w - c. Let s be (18/(-4))/(h/(-40)). Put 4, s, -3 in descending order.
s, 4, -3
Let v = 7384 - 7321. Put -0.5, v, -111 in ascending order.
-111, -0.5, v
Suppose -2*l = -4*r - r - 108, -l + 64 = -5*r. Let b be (-8)/l + (-53)/11. Let y = -397 - -400. Sort y, b, 0, -2.
b, -2, 0, y
Let c be ((-7)/4 - -1)/(((-150)/(-40))/(-15)). Sort 20, -1, -9, -5, c.
-9, -5, -1, c, 20
Let r = 61 - 60. Let u = -10911 +