 - 2*k = 0. Let y = 7162 - 7163. Put d, 5, 2, y in ascending order.
y, d, 2, 5
Suppose 608 = 26*b - 146. Sort b, 3, -5, 5 in increasing order.
-5, 3, 5, b
Let p = -2.89 + -0.11. Let q = 0.175 + 0.125. Let g = -1019/7 + 146. Put p, q, -4, g in increasing order.
-4, p, q, g
Let f = -33.33 - -32.33. Sort -0.16, -2/21, f, -0.3.
f, -0.3, -0.16, -2/21
Let k(w) = -1932*w + 81139. Let p be k(42). Let m(o) = o**2 + 3*o - 7. Let u be (-18)/(-4) + 1/2. Let n be m(u). Put p, -1, n in descending order.
n, -1, p
Let g = 6237 + -6248. Put -3, 1, -6, -1, g in decreasing order.
1, -1, -3, -6, g
Suppose 7*f - 5*f = -2*c + 14, 0 = 3*f + c - 15. Let q be 3/6*f - 7. Put 1, q, -1, 3 in decreasing order.
3, 1, -1, q
Let x = 0.5 + 2.5. Let i = -160 - -157. Let p be 6 - 1/((-30)/(-186)). Put x, 4/9, i, p in decreasing order.
x, 4/9, p, i
Let i = -1242 + 489. Let d = i + 751. Let s = 8/11 + -59/66. Put -5, s, -3, d in ascending order.
-5, -3, d, s
Let v = 1747 - 1752. Sort -377, 2, v in decreasing order.
2, v, -377
Let d be 6/(-12)*6*(-2)/(-8). Let v = 342 - 342.5. Put d, -0.4, 5, v in increasing order.
d, v, -0.4, 5
Let o(q) = 26*q - 200. Let c(s) = -3*s. Let d(l) = -12*c(l) - o(l). Let z be d(-20). Put 1, -1, -2, z in increasing order.
-2, -1, z, 1
Suppose -a + 4*a + 49 = 5*v, -2*a = 6. Let j be (2/24)/((-12)/v - -1). Put j, -7, 5 in descending order.
5, j, -7
Let r = -20039.017 + 20039. Sort r, -5, -0.2, -0.1, -2/9 in ascending order.
-5, -2/9, -0.2, -0.1, r
Suppose -p - 6 = 9. Let d be (-48)/p - (20/4)/25. Let l be (-1 + d)*3/18. Sort 3/2, -0.01, l.
-0.01, l, 3/2
Let c = -13/8 - -7/4. Put 0, -38, -3, c in decreasing order.
c, 0, -3, -38
Suppose -165*f = -2*l - 164*f - 59, -146 = 5*l - 4*f. Sort l, -217, 2 in decreasing order.
2, l, -217
Let f = 1.1 - 0.1. Let l = 938.9 + -939.1. Sort f, -2, 5, l.
-2, l, f, 5
Let d = 1431 + -1429. Put -2/29, d, 3/7 in ascending order.
-2/29, 3/7, d
Let l = 96 + -25. Suppose 0 = -85*q + l*q - 84. Let f be 3/(-4) - (-1)/(-4). Sort f, -2, -3, q in decreasing order.
f, -2, -3, q
Let f = 35 - 36. Suppose -110 = -2*o + 3*x - 109, -14 = 5*o - 2*x. Sort -3, o, f, 8.
o, -3, f, 8
Suppose 21 - 13 = 4*b. Suppose 5*c = 5*n + 35, 5*n - b*c = -c - 23. Put -5, 2, 4, n in ascending order.
-5, n, 2, 4
Suppose -173*t - 117*t = 98 - 678. Put 9, 38, t in increasing order.
t, 9, 38
Let t be (8 - 1743/231)*-11. Let f = -0.05 - -5.05. Sort f, 0.4, t, -3 in increasing order.
t, -3, 0.4, f
Let l be 38*57*(102/18 - 6). Let f = 3611/5 + l. Sort 3, 7, f.
f, 3, 7
Let q = -8938 - -9017. Let d = 25 + -49/2. Sort q, d, -1/2 in ascending order.
-1/2, d, q
Let f(m) = 6*m**2 + 49*m - 40. Let p be f(-9). Put -3, 4, p, 27 in ascending order.
-3, 4, p, 27
Let g(f) = -197 + 8*f - 6*f + 215. Let n be g(-9). Sort n, 25, -1, -3.
-3, -1, n, 25
Let h = -4037.9 - -4038. Sort 2/11, h, -411 in increasing order.
-411, h, 2/11
Let f be ((-703)/95 - (-2)/5)*-1. Let u(l) = l**2 - 8*l + 10. Let j be u(f). Sort 2, 5, -4, j.
-4, 2, j, 5
Let a(z) = -5*z - 5. Let l(p) = -4*p - 5. Let f(o) = -3*a(o) + 4*l(o). Let j be f(0). Suppose -89*h - 3 = -90*h. Put j, 2, h in increasing order.
j, 2, h
Let o = 0.3 - -0.2. Let j be 7 - ((-262)/(-36) + 1/(-4)*2). Suppose -49*a + 10 = -44*a. Sort o, a, j, 3/7 in ascending order.
j, 3/7, o, a
Let u = -6 - -10. Let t(i) = i**3 - 55*i**2 - 67*i + 584. Let h be t(56). Sort h, u, 0 in increasing order.
h, 0, u
Let v = -25741 + 25741.4. Sort 1/69, 4.2, v, -0.4 in decreasing order.
4.2, v, 1/69, -0.4
Let r be (-2072)/140 - -15 - ((-9)/5 + 2). Let b = -36 + 179/5. Sort -2, r, b, 10.
-2, b, r, 10
Let n be ((0 + -4)/8)/(9/6). Sort 12, 0.1, n, -2 in descending order.
12, 0.1, n, -2
Let c = 7387 + -7386. Put 4/5, c, 31, -2 in ascending order.
-2, 4/5, c, 31
Let p(n) = 4*n + 3. Let u be p(-10). Let i be 7/((-175)/10) - u/5. Suppose i*c - 27 = 8. Put -2, -5, 1, c in ascending order.
-5, -2, 1, c
Let v be -1 + (3 - (-1 + 2)). Let n(a) = 138*a - 5515. Let y be n(40). Sort v, 2, y in ascending order.
v, 2, y
Let t(p) = -340*p - 2384. Let s be t(-7). Sort -46, -2, s, 4 in increasing order.
-46, s, -2, 4
Let g(z) = 3*z**3 + 12*z**2. Let a be g(-4). Put 6, a, 3, 2 in decreasing order.
6, 3, 2, a
Let w = 15 - 11. Let q = 203.9 - 95.3. Let d = q - 108.46. Sort -0.5, d, w in ascending order.
-0.5, d, w
Let v(b) = 20*b**2 + 126*b + 41. Let w be v(-6). Sort w, 1, 0, -4, 46.
-4, 0, 1, w, 46
Suppose 0 = 3*c + c - 16. Let u be ((-3)/(-15))/(54/(-15) - -4)*0. Put c, 1.2, 2, u in descending order.
c, 2, 1.2, u
Suppose -32*q = -q + 192 + 25. Sort 0, 3, 5, q, 1 in descending order.
5, 3, 1, 0, q
Let g(n) = -2*n**3 + 2*n**2 + 3*n + 1. Let v be g(-1). Let p = 1000 + -1012. Sort p, v, 5.
p, v, 5
Let h = -27056 - -27060. Sort 0, h, -0.2, 0.3, 54 in decreasing order.
54, h, 0.3, 0, -0.2
Let b(z) be the third derivative of -19*z**4/24 - 7*z**3/3 - 12*z**2. Let p be b(-2). Suppose -3*f - p + 18 = 0. Sort f, 3/4, 0.28.
f, 0.28, 3/4
Let t = -27.1 - -80.9. Let u = 66 - 12. Let b = t - u. Sort b, -1.8, -1 in increasing order.
-1.8, -1, b
Suppose -2*x = -3*a, 5*x + 175*a - 178*a - 18 = 0. Suppose -3*j - 9 = z, -10 = -2*j + 6*j + 2*z. Sort 2, x, -1, j in ascending order.
j, -1, 2, x
Let l = -6.4 + 0.4. Let o = 26 - 16. Let m be (-4)/o + 0/4. Sort m, l, -1.
l, -1, m
Let y = -3.704 + 4.104. Put -6, -1, -1/12, 0.2, y in increasing order.
-6, -1, -1/12, 0.2, y
Let m = -68 - -753. Let u = m + -689. Put -5, u, 28, 2 in decreasing order.
28, 2, u, -5
Let z = 843 + -848.78. Let p = -5.78 - z. Put 1.21, p, 0.5 in descending order.
1.21, 0.5, p
Let d be (-12)/(-42) + 22/21. Let t be (8 - 1)/(-84) - 3/18. Sort d, 0.5, 3.5, t in increasing order.
t, 0.5, d, 3.5
Let h be (-2)/(((-9)/2)/9). Suppose h*f = 0, -5*w - 12 = -f + 3. Let m = -1.1 - -0.8. Put -8, m, w in decreasing order.
m, w, -8
Suppose 0 = -80*m - 83687 - 104393. Sort -3, m, 0.1 in decreasing order.
0.1, -3, m
Suppose -437 = -49*o - 1466. Let v be (o/(-28))/((-33)/8). Sort -1, v, -2, -0.2 in ascending order.
-2, -1, -0.2, v
Let u = 8 - 1. Let t be (-396)/(-264) + 21/6. Put t, u, -2, -5 in decreasing order.
u, t, -2, -5
Let g = 401 + -401.0452. Let i = g + 1.0452. Put i, 22, -9 in decreasing order.
22, i, -9
Suppose 4*n + 4 = -3*d - 4, 2*d + n + 2 = 0. Suppose 2*l - 2*f + 108 = d, -2*l + 4*l - f = -106. Sort l, 2, 1 in decreasing order.
2, 1, l
Let w be (23/(-13) - 0) + 5 + -17 + 13. Sort 1, 5, 4/5, w.
w, 4/5, 1, 5
Suppose -15*i = -33 + 3. Suppose 5*j = 6*j - 3. Suppose -5*w + d + 3*d - 4 = 0, -d = -j*w - 8. Put i, -16, w in ascending order.
-16, w, i
Let w = 473.9 - 470.9. Let l = -39.8 - -40. Sort -5, w, l, 0 in increasing order.
-5, 0, l, w
Let d be 2 - (540/63 + -6). Let k = -0.8 - -1. Put -3, k, d in decreasing order.
k, d, -3
Let r be 9/(-45) + 1 + (-11)/(-5). Suppose 0 = 2*a + r*n + 3 + 8, 5 = 4*a - 3*n. Put a, -8, -3, 1 in ascending order.
-8, -3, a, 1
Let w(d) = 39*d - 25. Let o be w(2). Let p = 47 - o. Put 3, p, -0.08 in ascending order.
p, -0.08, 3
Let r(i) = -207*i - 1241. Let q be r(-6). Put 5, q, 597 in increasing order.
q, 5, 597
Let d = -423.8 - -550. Let a = d - 126. Put 0.1, -2/19, a, -2/15 in increasing order.
-2/15, -2/19, 0.1, a
Let u be 4/(-10) - (-84)/195. Let d be (-252)/(-1749) - -23*(-64)/(-39008). Sort d, 2/15, u in increasing order.
u, 2/15, d
Let t be (51/1122)/(5/4 - 1). Put t, -1/56, 14 in ascending order.
-1/56, t, 14
Let x = 1148 + -1147. Sort -105, x, 5 in descending order.
5, x, -105
Let d be -1 + 1724/(-6) - (-162)/(-243). Let z = d - -291. Put z, -3, 0 in decreasing order.
z, 0, -3
Let z = -200 + 197. Let q = 1 - 6. Let c = -44 - -47. Sort c, q, z in descending order.
c, z, q
Let s = 0.4684 - 0.0684. Let a = -0.3 + -0.7. Let w be ((-2)/55)/(2/10). Sort s, w, a, -4/9 in increasing order.
a, -4/9, w, s
Let m = 434 - 500. Sort 0.2, m, 1/3 in descending order.
1/3, 0.2, m
Let v = -4768 - -4755. Put -28, v, -0.4, 2/9 in descending order.
2/9, -0.4, v, -28
Suppose -7*r + 9*r + 16 = 0. Let n be 58/r - 3/(-12). Let a = -275 + 275. Put n, 3, a in increasing order.
n, a, 3
Suppose 0 = 5*j - 3*j. Suppose j = -n + 3 + 2. Let f be (2 - 0)/((-17)/85*2). Sort f, n, -1 in increasing order.
f, -1, n
Let g = -14 + 10. Suppose 57 - 17 = -4*a - 4*b, 4*a - 4*b = -56. Sort a, -3, 0, g in increasing order.
a, g, -3, 0
Let t(f) = 12*