 -1, u in decreasing order.
27, u, 1, -1, -3
Let m = 4 + -3. Suppose 5*g - 3*t = 22, -6 = 3*g - t + 4*t. Suppose -g*q = k, 0*q = 3*k + 3*q. Put 3, m, k in descending order.
3, m, k
Suppose 2*i + 2*i = 1076. Suppose 4*m + i = -11. Let b = -1192/17 - m. Sort 2/7, b, -0.3, 1/4 in increasing order.
-0.3, b, 1/4, 2/7
Let a(x) = -582*x - 2329. Let d be a(-4). Sort 4, 21, 0, 1, d in descending order.
21, 4, 1, 0, d
Suppose 0 = -5*b - 5*y - 45, -4*b - 37 = 3*y - 2. Suppose -2*n = -5*n. Suppose n = -5*l - 2*m - 1, 5*l + 5*m - 5 = -0. Put b, l, -4, 3 in decreasing order.
3, l, -4, b
Let l be (-120)/28 + (-2)/(-7). Let u(x) = -x**3 + 6*x**2 - 6*x + 7. Let j be u(5). Suppose 2*h + 13 = 4*h + 5*c, 17 = 3*h + 5*c. Sort j, 3, l, h.
l, j, 3, h
Let w = 0 + 0.1. Let r = -41785 + 41780. Sort -0.1, -0.19, w, r in descending order.
w, -0.1, -0.19, r
Suppose 0 = 4*p + 5*s - 0*s - 14, 4*p = 5*s - 6. Suppose -2*i + 11 = p. Suppose -3*j + 6*j + 4*d + i = 0, j = -4*d - 15. Put 0, j, -2 in descending order.
j, 0, -2
Let g be (-5)/(-20) + (-22)/24. Let i = -130 + -7.9. Let q = i + 138. Sort q, g, -16.
-16, g, q
Let u be ((-9)/(-21))/((-6)/(-21)). Sort u, 7/5, 2 in decreasing order.
2, u, 7/5
Let m = -18.489 - 0.511. Let q be 1/(-3)*5*-3. Put 0.4, q, 3, m in decreasing order.
q, 3, 0.4, m
Let w be 1 + -6*(-6)/(-9). Let s be (w/(-6))/(6/(-12)). Let n(q) = -10*q - 105. Let m be n(-11). Put -3, m, s in increasing order.
-3, s, m
Let c(w) = 2*w**3 + 30*w**2 + 3*w - 3. Let z be c(-15). Let o = 52 + z. Sort -4, o, -0.09, -2/5 in decreasing order.
o, -0.09, -2/5, -4
Suppose q = -548*j + 546*j + 14, -3*q - 13 = -5*j. Suppose 2*r + 0 = 4. Put 6, q, r, -3 in increasing order.
-3, r, q, 6
Let w = -7242998/99 - -73158. Let o = w - -34/9. Let j = -5/16 - -13/144. Put o, j, 0.6 in increasing order.
j, o, 0.6
Suppose -2*u = -3*w + 18, -31*w + 36*w + u - 17 = 0. Sort w, -1, 2, 16 in decreasing order.
16, w, 2, -1
Suppose 101*i - 654 - 6352 = 39*i. Put i, 18, -4 in decreasing order.
i, 18, -4
Let f = 1.2 + 0.8. Let q = f + -1.6. Suppose 5*r - 139 + 164 = 0. Put -4/3, r, q in increasing order.
r, -4/3, q
Suppose -40*f + 43*f - 3 = 0. Let i be (f - (-11)/(-11))/((-2)/(-2)). Put i, -8, -3 in descending order.
i, -3, -8
Let o = -182 - -237. Suppose 8*a + o = 31. Let f(w) = 4*w - 1. Let x be f(-1). Sort 0, x, a in increasing order.
x, a, 0
Let s be ((-24)/(-9))/(-8) + (-22)/(-3). Let l = s + -2. Put -5, -1, l in increasing order.
-5, -1, l
Let t be -3 + (-6)/(3/1). Suppose -648 + 7368 = -35*p. Sort t, 0, p in decreasing order.
0, t, p
Suppose 73 - 7 = 11*w. Suppose 10 = 162*b - 167*b. Sort b, w, 4, 2 in ascending order.
b, 2, 4, w
Let j = 13 - 19. Let l be (-4 + 8 + 33/(-9))*j. Put 8, l, 5 in decreasing order.
8, 5, l
Let q = -20 - -19.9969. Let u = 0.5031 + q. Put 2/7, u, 0.039 in increasing order.
0.039, 2/7, u
Let d = 2468 - 4189. Let g = d - -1721.1. Let r(f) = 4*f. Let p be r(-1). Put p, 0.2, -0.02, g in decreasing order.
0.2, g, -0.02, p
Let p = 17.1 - 12.1. Put p, -7, 6.9 in decreasing order.
6.9, p, -7
Let n = -3904 + 3903. Let y = -3.19 - -0.19. Let r = 12 + -23. Put n, 0, y, r in decreasing order.
0, n, y, r
Let s be (1 - 53/3)*636/212. Let o(t) = 2*t - 3. Let x be o(3). Sort -3, x, s, 5 in decreasing order.
5, x, -3, s
Let z = 0.08 - 0.23. Let k = z + 0.05. Let q = -4335.5 + 4336. Sort k, q, 2.
k, q, 2
Let y = -2147 + 2150. Put -2/71, y, -40 in ascending order.
-40, -2/71, y
Let m(b) = b + 5. Let d be m(-5). Suppose -4*i + 2*l + 136 = -0*i, 5*l = -5*i + 185. Let g = i + -40. Sort -3, 2, g, d.
g, -3, d, 2
Let b be -15*(0 - (-2 - -4)). Suppose 2*k = 2*p + b, -k - 3*p = -8 - 3. Sort 1, 2, k, 5 in increasing order.
1, 2, 5, k
Let n = 0.4 + -0.3. Suppose 0 = -p + 3*z - 4 - 0, 2*p - 5*z + 12 = 0. Let m be 22/(-77) + (-1)/(154/p). Put m, 4, n in increasing order.
m, n, 4
Let k = -0.1 - -0.136. Let p = k + -9.036. Let r = 2 + -2.4. Sort r, p, 0.2 in decreasing order.
0.2, r, p
Let p = 1462 - 1464. Sort p, -8, -45.
-45, -8, p
Let b = -77 - -78. Let x be 22 + (4 - 8)/4. Let v = x - 38. Sort b, -5, v in increasing order.
v, -5, b
Suppose -a - 4*j + 48 = 3*a, 2*a + j = 20. Suppose 35*n - 27 = a*n. Let h = 12 + -8. Put n, 2, h in descending order.
h, 2, n
Let f = 0.0147 + 0.2853. Put f, -0.3, 20 in descending order.
20, f, -0.3
Suppose 1230 = -11*l + 988. Let f be ((-4)/6)/((-10)/3). Put f, -4, l in descending order.
f, -4, l
Let w = -54 - -55. Let t = 12 - 6. Let r be -2 - 11/((-11)/t). Sort r, -4, w in increasing order.
-4, w, r
Let l be (196/8 + 1)/((-3)/18). Let h = l - -112. Sort 4, h, -4 in decreasing order.
4, -4, h
Let b = 16623/2 + -8312. Sort 1, 1/6, -0.4, b, 0.4.
b, -0.4, 1/6, 0.4, 1
Suppose 104*f = 2 - 2. Put -77, f, 6, 4 in ascending order.
-77, f, 4, 6
Let c = 1006 + -1001. Put -1/4, c, 134 in decreasing order.
134, c, -1/4
Suppose -4*h - 144 = -2*n + 184, 2 = -2*h. Sort -2, n, -7 in descending order.
n, -2, -7
Let y be 2/(-12)*-3*(-83 + 87). Sort y, 50.5, -0.5 in increasing order.
-0.5, y, 50.5
Let j = 271.4 - 246. Let o = -9.6 - j. Sort o, -5, -0.2, -1/3 in ascending order.
o, -5, -1/3, -0.2
Let f = -34163/8 - -4264. Let w = f - -13/2. Let d be (252/16)/1 - (-259 - -275). Put w, d, -4 in decreasing order.
w, d, -4
Let o = 61/4 + -299/8. Let h = -22 - o. Put -4, 2/7, h in descending order.
2/7, h, -4
Let d = 5/2973 + 360719/2973. Let x = d + -6182/51. Sort 12/5, x, 1/3 in ascending order.
x, 1/3, 12/5
Suppose -8 - 62 = -14*t. Let l(m) be the third derivative of -m**6/120 - m**5/15 - m**4/12 + m**3/6 + m**2. Let a be l(-3). Put t, a, 1 in ascending order.
a, 1, t
Let b = -1.1 + -15.9. Let u = -9833 - -9830. Put b, u, -0.3 in descending order.
-0.3, u, b
Let q be 11 + 14740/(-1309) + (-12)/(-102). Sort -8/13, q, -2/3, 0.2 in ascending order.
-2/3, -8/13, q, 0.2
Let c = 3780043121/1280 + -2953159. Let z = -3/256 - c. Let v = 1.04 + -0.04. Sort z, v, -4, -3 in decreasing order.
v, z, -3, -4
Let o(w) = -22*w**2 + 166*w - 206. Let v be o(6). Suppose 4*x - 17 = 3. Put v, x, -5 in decreasing order.
x, v, -5
Let g = -55 - -27. Let c = 870/31 + g. Sort c, -3/4, 1/3 in ascending order.
-3/4, c, 1/3
Suppose -r + 28 = -11. Let i = r - 39. Let g be (-144)/66 + 2 + i. Sort 0.2, -0.2, g.
-0.2, g, 0.2
Let t(c) = c**2 + c - 2. Let d = -35 + 33. Let a be t(d). Suppose -7*l - 3*l = a. Put 2, l, -1, -5 in decreasing order.
2, l, -1, -5
Let m = 0.2179 - 0.1179. Let c = 171.5 - 172. Sort 0, 1/2, c, m.
c, 0, m, 1/2
Let a = -4472/5 + 895. Sort 6, 3, a, -4, 0 in descending order.
6, 3, a, 0, -4
Let m be 6*(-2)/(-3) + 0 + 14. Suppose -3*d + 6*r = 3*r + 6, -r - m = 3*d. Let b = 4 + -4. Sort d, -3, -4, b in increasing order.
d, -4, -3, b
Suppose -4*z = 2*s - 4*s + 6, -5*z - 3*s = -9. Suppose -22*d + 26*d - 160 = z. Put 3, d, 2, 0 in descending order.
d, 3, 2, 0
Let f = 0.02391 + 1.97609. Put -2/9, f, 5/26, 4, -4 in ascending order.
-4, -2/9, 5/26, f, 4
Let n(x) = 5*x + 28. Let t be n(0). Suppose -t + 16 = -3*l. Let p = 8/21 + 2/7. Put p, -0.3, l in descending order.
l, p, -0.3
Suppose o + o = 0, 5*o = 2*b - 28. Suppose -b - 1 = 5*m. Suppose 5*y + 3*u = -0*u - 2, -5*y + 5*u - 10 = 0. Put 4, m, y in increasing order.
m, y, 4
Suppose -2*v + 5*a + 54 = 67, 3*v + 36 = 2*a. Put v, -4, -9, 5 in decreasing order.
5, -4, -9, v
Suppose -3231*a = -3249*a - 36. Sort a, -5, 2, 21, 4 in decreasing order.
21, 4, 2, a, -5
Let o = -0.214 + -0.028. Let a = o - 0.258. Let w be (-2 - (-352)/174)*-3. Sort w, 5, a.
a, w, 5
Let y be (-290)/(-6) + 1912/(-1434). Put y, 1, -5, 37 in ascending order.
-5, 1, 37, y
Suppose -5*h = l - 0*h - 7, -3*h + 11 = 4*l. Let m be (28 + -30)*6/4. Let i be (-162)/(-39) + ((-164)/52 - m). Sort -4, l, i in ascending order.
-4, l, i
Suppose 0 = -103*n - 17*n + 184 - 64. Let j(v) = v**3 + 3*v**2 - 4*v + 7. Let a be j(6). Sort a, n, 3, -0.5.
-0.5, n, 3, a
Let j = 5856 + -5835. Sort -3/19, j, -3/4 in decreasing order.
j, -3/19, -3/4
Let h = 2.503 + -2.533. Sort h, -1.11, 2/5.
-1.11, h, 2/5
Let u = 0.1 - 4.1. Let x(l) = -2*l**2 - 9*l - 45. Let p be x(-13). Let a = p - -2928/11. Sort a, -0.5, u.
u, -0.5, a
Let o(d) = 0*d - 4*d + 114*d**3 - 115*d**3 + 2*d**2 + 5*d. Let b be o(0). Sort b, -5, 4.
-5, b, 4
Suppose 0*f + 6*f = -78. Suppose 2*b - 2*i = i - 5, 2*b = 2*i - 2. Suppose b*d + 3*d = -25. Sort 4, f, 