56 - -271). Suppose -k - 4*i - 2 = 0, -i = -2*k + 4*k - 3. Sort h, 1, -4, k in descending order.
h, k, 1, -4
Suppose k - 8 = -2. Suppose -24*q + 10252 = 10324. Suppose -2 = 2*w + 4*o, -o + 1 = 2*w + 2*o. Put k, w, q in decreasing order.
k, w, q
Let v = -155.9 - -283.2. Let w = v + -127. Sort w, 160, -1/5 in decreasing order.
160, w, -1/5
Let u = 4 - 5. Suppose -4312 = -12*m + 23*m. Let v be 2 + -5 - m/(1 + 6). Sort -2, u, v.
-2, u, v
Let l be 465/(-80) - (-78)/(-416). Put 29, 5, l in increasing order.
l, 5, 29
Let w = -3.1 - -3. Let y = -110957 - -110957.1. Put w, y, -1.3, -4 in ascending order.
-4, -1.3, w, y
Let v = 22479/2 + -11238. Put 0.5, -1/7, v, -1793/3 in descending order.
v, 0.5, -1/7, -1793/3
Let c = -106.384 - -106. Let s = -828.116 + 828. Let o = c + s. Sort o, -5/4, -5/3.
-5/3, -5/4, o
Let v = -37932 - -37933.5. Put v, -3, 0.5, 0, -2 in increasing order.
-3, -2, 0, 0.5, v
Let r = -4384 + 4384. Sort 0.3, -34, r, 3 in ascending order.
-34, r, 0.3, 3
Let x(n) = 3*n**2 - 57*n - 1. Let s(z) = z**3 - 10*z**2 - 22*z - 5. Let j be s(12). Let q be x(j). Put 12, q, -5 in increasing order.
-5, q, 12
Suppose 0 = -4*g - 20, 2*a - 2 = -g - 5. Suppose 0 = 40*k + 19*k - 17*k - 168. Put a, 8, k in decreasing order.
8, k, a
Suppose -709*j + 110 = -687*j. Put j, 12, 0.2, -0.1 in ascending order.
-0.1, 0.2, j, 12
Let a be 31/(-4) + 3 + 17/(-68). Let l be 8/a + 4/(-10). Sort -24, -5, 1, l in descending order.
1, l, -5, -24
Let r = -42994 + 43025. Sort 568, 0.5, r in increasing order.
0.5, r, 568
Let q be (3 - (4 - 16/18))*-35. Let r = -32/9 + q. Put 1, -2, r in decreasing order.
1, r, -2
Let x(o) = o**3 - 5*o**2 - 88*o + 441. Let y be x(5). Sort -4, -5, y, 14 in increasing order.
-5, -4, y, 14
Let q be (-3)/6*-2 - 5. Let v(l) = -l**3 - 3*l**2 + 9*l + 19. Let x be v(q). Put -1/4, -1/2, x in increasing order.
x, -1/2, -1/4
Let u be ((-297)/6)/9*-10. Let b = u - 64. Let x be 6/b*((-315)/6)/(-7). Put -0.5, x, -1/4 in increasing order.
x, -0.5, -1/4
Let b = 0.0027 - 315.0027. Let x = -315.5 - b. Sort 1/3, -1/3, x, 2 in ascending order.
x, -1/3, 1/3, 2
Let b = -0.2745 - -2.2745. Put b, -284, 3/8 in ascending order.
-284, 3/8, b
Suppose 0 = 23*z + 17*z - 4120. Put -2, z, -3 in increasing order.
-3, -2, z
Suppose 7*f = -1043 + 1064. Sort 0, -75, f, -3, -4 in decreasing order.
f, 0, -3, -4, -75
Let c = 87 + -82. Let w = -0.017 + -42.983. Let u = w + 43.3. Sort c, 2, u in descending order.
c, 2, u
Let h = -17434 - -17442. Let t = 1 + -1.06. Sort t, -0.2, h in ascending order.
-0.2, t, h
Let f = 123.9 + -109. Let u = -14.96 + -0.04. Let y = u + f. Sort y, 0, -5, -1.
-5, -1, y, 0
Let j be -1*5/(-2)*(9 + -17). Put -2, 30, j in ascending order.
j, -2, 30
Suppose -4*j + 172*k + 14 = 170*k, 5*j = 5*k + 20. Sort j, 1, -250, 5 in ascending order.
-250, 1, j, 5
Let g = -19 - -19.03. Suppose 0 = -33*v - 133 + 166. Sort 3/5, -2, g, v in descending order.
v, 3/5, g, -2
Let t(h) = -h**3 + 10*h**2 + 9*h + 7. Suppose 63 = 6*w - 3. Let i be t(w). Let b be ((-4)/i)/((-4)/(-12)). Put b, -2, 1/2, -3/2 in descending order.
b, 1/2, -3/2, -2
Let s = 0.032674 + -120.032674. Let p = 227/1085 - 2/217. Sort p, -3/7, s in decreasing order.
p, -3/7, s
Let g(u) = u**2 - u - 4. Let x be g(3). Suppose -144*c - 107 = 5*v - 148*c, 3*v - 5*c + 85 = 0. Sort v, -4, x in descending order.
x, -4, v
Let a = -6806 - -6359. Put 2, -0.2, 4/5, a in increasing order.
a, -0.2, 4/5, 2
Let n = 12.2 - 104.2. Let h = 95 + n. Let c = -1 + 0.8. Put h, 2/5, c in descending order.
h, 2/5, c
Suppose -59*o - 45*o + 223*o - 357 = 0. Sort -1, 1/4, o, 5 in decreasing order.
5, o, 1/4, -1
Let l(u) = u**2 + 20*u - 34. Let j be l(-22). Suppose j*a = 7*a - 222. Let n = 74 + a. Put -2, n, -5, -4 in ascending order.
-5, -4, -2, n
Let d(u) = -u**3 - 5*u**2 + u + 12. Let t be d(-5). Let q(h) = -2*h**2 + 15*h - 3. Let f be q(t). Put -7, f, -1 in increasing order.
-7, -1, f
Let z(w) = w**2 - 2. Let o(r) = 5*r**2 + 19*r - 65. Let n(a) = -o(a) + 6*z(a). Let b be n(4). Sort b, 4, -3 in descending order.
4, -3, b
Let i = -409 - -410. Put 0.084, 3/4, i, 0 in decreasing order.
i, 3/4, 0.084, 0
Let n(f) = f**2 - 2*f - 1. Let c be n(-1). Let y(b) be the second derivative of b**5/20 - 2*b**4/3 + 2*b**3/3 + 21*b**2/2 - 13*b. Let h be y(7). Sort 3, h, c.
h, c, 3
Let y = -9.333 + 9.083. Sort y, 31, -3/7.
-3/7, y, 31
Let k(d) = 250*d + 497. Let a be k(-2). Sort a, -4, 2, 59 in descending order.
59, 2, a, -4
Let u = 600.9 - 599.9. Sort -1/2, 2/9, u, 1/3, 0.2 in increasing order.
-1/2, 0.2, 2/9, 1/3, u
Let b(q) = -q**2 + 30*q - 32. Let k be b(29). Let p be (3 - (-12)/k)*1. Put -3, 0, p, 14 in decreasing order.
14, 0, p, -3
Suppose -2*m + 0*m = -88. Suppose 12*l - m = l. Let z be (55/l)/5 + 3/12. Sort z, -8, -2 in descending order.
z, -2, -8
Let r = 388 + -387.7. Let d = -0.7 - -0.3. Let l = 499 - 504. Sort r, l, d, 1.
l, d, r, 1
Let p = 0.1 - 0.12. Let z = p + -0.38. Let f = 2.39 - 6.39. Put 5, -0.9, f, z in decreasing order.
5, z, -0.9, f
Let q(l) = -17*l - 235. Let m be q(-14). Suppose -m*u - c = 4, c - 5*c - 5 = u. Suppose 10 = 3*d + 2*d. Put 3/8, -0.5, d, u in decreasing order.
d, 3/8, -0.5, u
Let l(j) = -j**2 + 8*j + 21. Let f be (-132)/(-3) - (3 - -2). Let d be 896/91 - (-6)/f. Let z be l(d). Put -6, -5, z, 3 in decreasing order.
3, z, -5, -6
Let s = 7.33 + -7.73. Let c = -1.4 - -1.9. Sort s, -1/3, c, -5 in descending order.
c, -1/3, s, -5
Suppose 0 = -i + 4*i + 3. Suppose -4*d - 9 = 4*h - 1, -d - 14 = -5*h. Sort 3, h, -5, i in increasing order.
-5, i, h, 3
Let j = 0.369 + -0.069. Suppose -b + 91 = 4*a - 85, -12 = -3*b. Suppose n = -3*t + 43, 4*n - 17 = -4*t + a. Put j, -3, t in increasing order.
-3, j, t
Let s be (-9)/4 + 609/116. Sort 5, 14, s, -6.
-6, s, 5, 14
Let n = 4 + -3. Suppose -247 - 325 = -2*j. Let o = j + -284. Sort o, -4, n, -3 in ascending order.
-4, -3, n, o
Suppose 2*h + 30 = -5*o, -3*h - 25*o + 29*o = -1. Let c = 17 - 8. Sort c, h, -4.
h, -4, c
Let t = 27 + -51. Let m = 13 + t. Let s = 54481 + -54478. Sort -1/3, s, -2, m in ascending order.
m, -2, -1/3, s
Let y = 23193 + -23191. Suppose 0 = -3*d + 2*d + 4. Sort d, y, 1, -4 in increasing order.
-4, 1, y, d
Suppose -26 = 9*z + 1234. Let u = z - -701/5. Sort 0.5, -2/17, u in descending order.
0.5, u, -2/17
Suppose -155*h + 79 = -541. Put 6, -3, h, 0, -2 in decreasing order.
6, h, 0, -2, -3
Let q be (16/(-30))/((-15)/(-25)*130/117). Sort 3/2, q, 0.4, -3, -3/521 in descending order.
3/2, 0.4, -3/521, q, -3
Let d = 32 - 32. Suppose s - z = -16, d = 2*s - s + 3*z + 28. Let v = s + 23. Put 2, -31, v in increasing order.
-31, 2, v
Let u = 80 + -72. Suppose 0 = 4*q + 4 - u. Suppose -19 = 3*y + 4*v, -y + 0*v = -v - 3. Put -3, y, q in ascending order.
-3, y, q
Let c = 771.76 + -773. Let h = c - -6.24. Sort h, 0.3, 8/25, 2.
0.3, 8/25, 2, h
Let u = -33166 - -99499/3. Put -10/9, -6/113, u in increasing order.
-10/9, -6/113, u
Suppose 0 = 2*q - 8*q + 18. Let w be -10 + (29/5 - q/(-15)). Put w, 4, 15 in increasing order.
w, 4, 15
Suppose -23*n = -2*n - 189. Let j be 6/n - 66/18. Let d(g) = -g + 1. Let q be d(3). Put j, q, -1 in descending order.
-1, q, j
Suppose -6*n = -n + 300. Let g = 60 + n. Suppose g = 3*c + c + 2*a + 10, -a - 11 = 4*c. Put c, -2, -4 in descending order.
-2, c, -4
Let l = -479.92 - -479.9. Let p be -1 + 2 - (-8)/16. Sort -2, p, l in increasing order.
-2, l, p
Let b = 12 - 8. Let c = 324075 - 324074. Sort b, c, 0.6 in increasing order.
0.6, c, b
Let r = 4915 + -4914.6. Let p = 1.5 - -2.5. Sort r, p, -9, 5 in decreasing order.
5, p, r, -9
Suppose -361 = -82*c - 124*c + 51. Let b be 8*(15/6)/5. Sort c, 1, -8, b.
-8, 1, c, b
Suppose -2*u - 126 = 3*v, 450*u + 3*v = 446*u - 228. Put 5, -4, -1, u in ascending order.
u, -4, -1, 5
Let j = 2242.2 - 2242. Sort 1/3, j, 9/38, -1/7.
-1/7, j, 9/38, 1/3
Let f be -1*15/(-6)*32/120. Let h = 3278 - 3277.7. Put h, -0.0584, f in decreasing order.
f, h, -0.0584
Let y be (1737/(-21) - -6) + 1. Let m = y + 76. Sort -1/2, -11, -2, m in increasing order.
-11, -2, -1/2, m
Let j = -15 + 1. Suppose -5*t - o + 21 = 0, t + 3*o + 0*o = -7. Suppose 3*s = 9, 0 = 2*y - s + 6*s - 19. Sort t, j, -1, y in decreasing order.
t, y, -1, j
Suppose -5 + 57 = 48*t - 236. Let b be (18/(-12))/(14/4). Suppose -10 = -r + 3*g, -3*r + 0*r + 4*g = -15. Sort b, 