-71 = -2*b - 71. Suppose -3*d + 2 = -10. Sort b, -1, d, 1 in descending order.
d, 1, b, -1
Let q(l) = 25*l**3 + 2*l - 1. Let t be q(1). Let f = 29 - t. Suppose -f*s + 9 = -3*w, -w - 4*w + 2*s = 6. Put 8, 0.2, w in descending order.
8, 0.2, w
Let q = -6451 - -6449. Let j be 7*(1 + 1)*1. Let r be j/(-40) - 2/(-8). Put 0.1, r, q in decreasing order.
0.1, r, q
Let m(i) = i**2 - i - 4. Let c be m(3). Suppose -c*h - 4 = 6. Let b = 1240/9 - 138. Put h, 3, b in decreasing order.
3, b, h
Suppose -2*b - b + 6 = 0. Let c(d) = -d**3 + 11*d**2 - 23*d + 48. Let g be c(9). Suppose -n + 4 - 1 = -2*u, -u = 4*n - 21. Sort g, n, b.
b, g, n
Let o be (-1)/(-6) - 418/132. Let j be 1*(1/1 + -2). Sort o, 8, j, 5.
o, j, 5, 8
Let z = 7.5 + -7. Let d = -138 + 152. Put 0.2, d, z in decreasing order.
d, z, 0.2
Let q = -0.0599 + -24.7201. Let r = -25 - q. Let h = -1.78 + r. Put -4/3, h, -2/5 in descending order.
-2/5, -4/3, h
Suppose -3*o + 2*c = 0, 4*c - 12 = -2*o + 4. Sort 39, o, -1, 3 in increasing order.
-1, o, 3, 39
Let q = 0.2121 + 4.7879. Let z = 0.2 + 0. Sort q, z, 2/7.
z, 2/7, q
Let d be -1 - (0 + 4) - (-4 + 2). Sort -12, 0, 3, d in ascending order.
-12, d, 0, 3
Let a(n) = -n**3 - 4*n**2 + 6*n. Let r be a(-5). Let h = -2405 + 2405. Sort h, 0.4, r, 1.
r, h, 0.4, 1
Let v = -32 + 226/7. Let t be (0 - -2)*6/12. Suppose 0 = -f + 4*k + 24, 5*f - f + 3*k - t = 0. Put v, f, -0.3 in increasing order.
-0.3, v, f
Let q = -4 + -15. Let x = q + 21. Suppose 0 = x*s - 7*s + 10. Put s, -1, 3 in increasing order.
-1, s, 3
Let n be 28/4 + (-4 - (-13 + 6)). Sort n, -3, -2 in descending order.
n, -2, -3
Suppose -16 = -13*j + 17*j. Let l = -85 + 86. Sort -3/8, j, l in ascending order.
j, -3/8, l
Let k = 56.2 + -56. Sort k, 6/11, -10 in descending order.
6/11, k, -10
Let v = 30.9 - 33.9. Sort v, -4, 1.
-4, v, 1
Let n be (12/(-180))/(2/6). Suppose 5*t + q = 99, 2*q + 63 = 3*t - q. Suppose 5*g = t, -m - 4 = 3*m - 2*g. Put n, m, 0.02 in descending order.
m, 0.02, n
Suppose 0 = -o - 3*h + 1, h + 8 = -5*o + 3*o. Let n = 9 + -18. Let l = -12 - n. Put 4/7, l, o in descending order.
4/7, l, o
Let c = 5 - 7. Let v(w) = -6*w + 110. Let b(p) = p - 22. Let f(l) = -16*b(l) - 3*v(l). Let g be f(-10). Sort g, -5, c in decreasing order.
g, c, -5
Let u be (-35)/(-10) + 15/(-10). Put -2, 13, u in decreasing order.
13, u, -2
Let l be (1/(-2))/((-1)/(-2)) - -4. Suppose 5*b + 30 = 5*s, l*s = b - 0 + 16. Put 0, b, -4, 4 in ascending order.
-4, b, 0, 4
Let k = -1/80 - -37/400. Sort 0.5, -0.1, k, 0.4 in increasing order.
-0.1, k, 0.4, 0.5
Let h = 3.2 + -6. Let b = h - 2.2. Sort -0.3, b, 1/2 in ascending order.
b, -0.3, 1/2
Let l = 535 + -542. Let u = -163.9 - -157. Let v = l - u. Sort -0.04, 2, v.
v, -0.04, 2
Let f = 8 - 4. Suppose -128 = 4*j - 3*o + 318, 2*j - 5*o = -230. Let x = j + 768/7. Sort x, f, 3 in increasing order.
x, 3, f
Suppose 97*f = 102*f. Sort f, 1/8, 0.075, -0.1 in decreasing order.
1/8, 0.075, f, -0.1
Let s = 2.872 + 0.128. Let v = 6 - 5.5. Sort 5, s, v in decreasing order.
5, s, v
Suppose -4*m + 15 = -h, 0 = -2*m + 10*h - 9*h + 7. Sort 8, 5, m.
m, 5, 8
Let t be (-1)/(9/(-6)) + (-1010)/(-15). Let i = t + -73. Put i, -20, 2, 1 in decreasing order.
2, 1, i, -20
Let l = -4/163 - -346/815. Let d be (3/12)/(10/(-8)). Put l, -5, d in descending order.
l, d, -5
Let w = 75 + -77. Sort 3, -0.2, w, 0 in increasing order.
w, -0.2, 0, 3
Let y be 38/6 + -10 + (-319)/(-33). Suppose -4 = 4*p + n - 0*n, 3*p - 12 = 3*n. Sort p, 4, y, -3.
-3, p, 4, y
Let o(p) = -2*p**2 + 2. Let h be o(2). Let n = -10 - h. Let z = -50 + 49. Put n, z, 5 in ascending order.
n, z, 5
Let y be 2 - ((-52)/(-14) + -2). Suppose 3*q + 20 = -7*q. Put q, y, -1/2 in increasing order.
q, -1/2, y
Let o = 1190 - 1186. Put o, -11, 5, -5 in ascending order.
-11, -5, o, 5
Let y be (-20)/2*(-6)/(-5). Let b(q) = 2*q - 9*q + q**2 + 0*q**2 - 4. Let d be b(7). Sort 2, d, y in increasing order.
y, d, 2
Let t = 17.03 + -0.03. Let p = t + -16.5. Sort p, -5, -1/6 in descending order.
p, -1/6, -5
Let b = -0.08 - 1.42. Let m = -8.5 + b. Let t = m + 12. Sort -1, t, -3/4 in descending order.
t, -3/4, -1
Suppose 2*b + 7 = w - 0*w, 0 = w + 4*b + 23. Let y be ((-2)/(-4))/(1/(-2)). Let q be (-1 + 0 + y)*-2. Put w, -2, q in increasing order.
w, -2, q
Let a = -5 + 8. Suppose p + 7 = a*n, -3*p - 2*n + 1 = -0*p. Sort p, 2, 0.2, 0 in descending order.
2, 0.2, 0, p
Suppose -r + 11 = 3*j - 8*j, 10 = -2*r + 2*j. Sort r, -5, -7 in ascending order.
r, -7, -5
Let n = 20/9363 + 1819595957/46815. Let r = 39006 - n. Let c = -139 + r. Sort -4, 5, c in increasing order.
-4, c, 5
Let y be -2 + (-1 - -5) - 5. Suppose -20 = 23*l + 25*l - 20. Sort l, -8, 4, y in descending order.
4, l, y, -8
Suppose -77*j - 22 = -66*j. Sort j, -3, -25, 5.
-25, -3, j, 5
Let y = -3959 + 3955. Let u(i) = -i + 6. Let f be u(6). Suppose 5*z - 2*z - 12 = f. Put 5, z, y in ascending order.
y, z, 5
Suppose 0 = -5*c - 13 - 2. Let o = -8.089 + 6.089. Sort -0.2, c, 1/8, o in ascending order.
c, o, -0.2, 1/8
Let g = -68 - -206/3. Let j = -183 + 188. Put g, j, 2/23 in decreasing order.
j, g, 2/23
Suppose -20 = 4*c + 96. Let j = c + 30. Suppose -k - 9 = 2*k. Sort 3, k, j in increasing order.
k, j, 3
Let j = 2.31 + 5.69. Sort j, 4, 5, -0.4 in ascending order.
-0.4, 4, 5, j
Let f = 779.5 + -779. Put -0.21, -5, f, -2 in descending order.
f, -0.21, -2, -5
Let x = 8 - 8.32. Let v = -0.52 - x. Put v, -4, -2/21, 0.4 in decreasing order.
0.4, -2/21, v, -4
Suppose -2*y = -8 + 2. Let r be -1*(y + 4/(-2)). Let l be (0/(-2))/(r + 3). Put 5, -3, l in increasing order.
-3, l, 5
Let h = -87 - -168. Let m = -82.06 + h. Let c = m + 0.06. Sort -2/7, c, 6.
c, -2/7, 6
Let g be -9 - 1*(1 + -8). Sort g, 1, 9, 4.
g, 1, 4, 9
Let q be 4/(-1) - ((-535)/1695 + -4). Let z = q + 2/113. Sort 0.1, 5, z, -5.
-5, 0.1, z, 5
Suppose 45*g = 42*g. Let w be -6 - ((g - 0) + 1). Sort w, -3, 3 in decreasing order.
3, -3, w
Let u = -1252 - -10017/8. Sort 2/3, 5, u, 0.
0, u, 2/3, 5
Let l = -14.5 - -15. Sort -2, -0.1, l, 0 in increasing order.
-2, -0.1, 0, l
Let c = -0.06 - -35.06. Let n = c + -30. Put n, 0, -4 in increasing order.
-4, 0, n
Let s = -667 - -670. Put -4, -16, -5, s in ascending order.
-16, -5, -4, s
Let f = -54.5 - -54.4. Put 3/2, -0.8, f in decreasing order.
3/2, f, -0.8
Suppose -4*w + 21 = -5*y, w = -y - 2*y + 1. Let i(a) = -a**2 - 13*a - 20. Let k be i(-11). Let n(g) = g**2 + 4*g + 1. Let j be n(-3). Sort j, k, y.
j, y, k
Let k = 0.2 - 0.4. Let d be -2 - 1/((-3)/(-3)). Put d, 11, k in increasing order.
d, k, 11
Let m = 375 + -371. Put 7, -8, m in decreasing order.
7, m, -8
Suppose -3*y - 38 = -2. Let z be y/25 - 4/10. Let l = z + 52/25. Sort l, 2, 1.
1, l, 2
Let r = -658 + 658. Let c be (-4)/10 + 68/(-5). Sort r, c, 1 in descending order.
1, r, c
Let o be 1 + -3*(-1 - -2). Let h = 2 + -3. Let m = 2996 - 2995.6. Sort m, h, o in ascending order.
o, h, m
Suppose -4*d + 7*d = -3*p - 15, 4*d + 8 = 0. Put -5, 34, 2, p in descending order.
34, 2, p, -5
Let o = 555 - 539. Sort 1, 9, o.
1, 9, o
Let b be (-19)/(-38)*8/10. Put b, 2/9, -4/9, 0.045 in decreasing order.
b, 2/9, 0.045, -4/9
Let q be ((-2)/3 - -1)*3. Let x be q + 2*3/(-6). Let g be (-2 - -6) + 1 + -1. Put 3, g, x in descending order.
g, 3, x
Let c(g) = -15*g - 59. Let z be c(-4). Put z, -2, -3, -30 in descending order.
z, -2, -3, -30
Let p = -91 - -93. Sort p, 34, -3, 4 in increasing order.
-3, p, 4, 34
Suppose 4*s - 86 = -10. Let x be s + (-1 - 2) - 0. Suppose 0 = 7*p - 3*p + x. Sort p, -3, -5 in increasing order.
-5, p, -3
Let n = 14.2 - 7.5. Let k = -478 - -471. Let m = k + n. Sort m, -0.1, -0.2 in descending order.
-0.1, -0.2, m
Suppose -4*s - 135 = -13*s. Suppose -s = 2*z - 7. Suppose 0*h = h + 5. Put h, 5, z in descending order.
5, z, h
Suppose -t - 4*m - 40 = -7*t, -12 = -4*t - m. Sort t, -8, -1, -5 in increasing order.
-8, -5, -1, t
Suppose -5*n + 20 = 0, -u - 3*n + 14 = -0*n. Suppose -6 = u*d - 2. Let r = -3 + 5. Sort d, r, 1.
d, 1, r
Let j be (-4)/(-14) + (-30)/7. Let b = -326 + 328. Suppose -5*x + v + v = 2, -8 = 2*v. Sort b, x, j in increasing order.
j, x, b
Let b = 874.79 - 906. Let r = -31 - b. Let d = r + -0.31. Sort 1, d, 5.
d, 1, 5
Let s = 491/3645 + -1/729. Let j = 0.086 + -0.21. Let q = j + 0.024. Sort s, q, -1 in ascending order.
-1, q, s
Let u = -179 + 178.4. 