Let b = -3107 + 3132. Sort -0.4, b, -2, i.
-2, -0.4, i, b
Suppose 2*a + 62 = 4*p, -15*p = -2*a - 13*p - 58. Sort a, -5, -1 in descending order.
-1, -5, a
Suppose -124*p - 4 = -120*p. Sort p, -17, -5, 2.
-17, -5, p, 2
Let i = -9 - -13. Suppose -3*t + 15 = 0, 0 = 2*f - t - i*t + 15. Suppose 3*v + 0*y = -4*y + 3, v - 1 = 2*y. Sort v, 6, f in ascending order.
v, f, 6
Let x be 4 + -8 + 75 + 8. Put -5, x, -2 in decreasing order.
x, -2, -5
Let y(d) = 3*d + 1 + 4*d**2 - d**3 - 2*d - 5. Let n be y(4). Let s = 2 - n. Put 4, s, -4 in decreasing order.
4, s, -4
Suppose 2*q + m + 2 = 2*m, 5*q = 3*m - 3. Sort q, 0.5, -5 in decreasing order.
0.5, q, -5
Suppose 7*k - 3*k - 20 = 0. Let t = 1385 - 1379. Sort k, t, -4.
-4, k, t
Let g(f) = -2*f**3 - 9*f**2 - 18*f - 56. Let j be g(-4). Put -39, j, 6 in increasing order.
-39, j, 6
Let u = -314 + 310. Put 5, -5, u, 4 in descending order.
5, 4, u, -5
Let m = 3.92 - -0.08. Let f = -0.3045 - -0.2045. Put f, 0.3, m in decreasing order.
m, 0.3, f
Let t = -2111/5 + 422. Sort -3, t, -0.04 in decreasing order.
-0.04, t, -3
Let b(r) = r**2 + 10*r - 7. Let w be b(-11). Suppose -4*f - 2*t + 5 = f, 0 = -5*f - w*t + 5. Let n be f*((3 - 3) + 0). Sort -4, n, -3 in ascending order.
-4, -3, n
Let l be 16/28*(-21)/6. Let g = 6 + -6. Suppose c = 3*a + 14, 5*a = c - 0 - 24. Sort g, a, l.
a, l, g
Let h be 2/(1/(-1)) + 2. Suppose u + 2 + 1 = h. Let t be 0 + 1 + 0/(-10). Sort u, t, -4 in descending order.
t, u, -4
Let i be (-1 + 2)*1*3. Let v(f) = -4*f**2 - 467*f - 800. Let n be v(-115). Sort n, -4, 12, i.
-4, i, n, 12
Let a = -0.3 + 6.3. Let f = -6.3 + a. Let s = 3.3 + f. Put 0.1, s, 3/8 in decreasing order.
s, 3/8, 0.1
Let q = 30 - 10. Let x = -21 + q. Put 0, x, 12 in descending order.
12, 0, x
Let d = -2031 - -2030. Sort 9, 0, d in decreasing order.
9, 0, d
Let z = -2381 + 2376. Put 532, 5, z in decreasing order.
532, 5, z
Let f be (0 + 0)*8/16. Suppose -2*l + 6*l - 41 = -5*r, -2*r + 10 = 0. Suppose l*g + 8 = -v, g + 2*g + 3*v + 15 = 0. Sort f, g, -4 in increasing order.
-4, g, f
Suppose 9*j = -27 - 243. Let i be (6/(-5))/(9/j). Suppose 4*h = 3*y, 5*h - 4*y = y. Put -4, i, h in ascending order.
-4, h, i
Let w = -1 - -1. Let o = 42 - 42. Let z be 1 - o - 0/1. Put z, w, 0.1 in descending order.
z, 0.1, w
Let u = -852 - -854. Sort -3, -342, u.
-342, -3, u
Suppose 0 = -143*i + 145*i - 2. Suppose -5*q - 21 = 3*d + 9, -5*q - 35 = 4*d. Put i, 8, 4, q in ascending order.
q, i, 4, 8
Let w be 9/((-90)/(-38)) - (-4)/(-1). Sort 0.2, 3/22, w in ascending order.
w, 3/22, 0.2
Suppose 0 = -j - j + 10. Let q be (-9 - -39)*1/2. Suppose -2*m = m - b - 17, 5*m + b = q. Sort m, j, 0.
0, m, j
Suppose 429 = -17*o + 378. Put -3/11, -2/17, o in decreasing order.
-2/17, -3/11, o
Let p be (5 - 195/27) + (-2)/(-1). Put 9, p, 1 in increasing order.
p, 1, 9
Let h = 0.0637 + 0.0363. Sort h, -0.3, 0.3 in decreasing order.
0.3, h, -0.3
Let c = -0.446 - 0.054. Let k = 2.4 + c. Sort 5, k, 3/7.
3/7, k, 5
Let l = 22 + -20. Let a be ((-2)/(6 + l))/(10 - 11). Sort 1/2, a, 0.8 in descending order.
0.8, 1/2, a
Let i = -10.4 + 9. Let o = -9.2 - -4.8. Let x = i - o. Sort -2/9, -3, x.
-3, -2/9, x
Let k = -431 + 434. Sort -0.3, k, 32.
-0.3, k, 32
Let f(x) = -x**2 + x. Let i(c) = 3*c**2 - 8*c. Let s(a) = 2*f(a) + i(a). Let g be s(5). Let z = -2.83822 - 0.16178. Sort z, g, 7.
g, z, 7
Let l = -1944 + 1942. Sort 2.91, l, 1, 0.2 in descending order.
2.91, 1, 0.2, l
Let f = 407 - 411. Put f, 2, 163 in increasing order.
f, 2, 163
Let s be 54/24 - (-50)/(-24). Let c(r) = r + 10. Let w be c(-10). Sort s, -0.2, w, -0.7 in decreasing order.
s, w, -0.2, -0.7
Let i be (-1)/(-3) - 22/(-6). Let p = -1630 - -1627. Sort 6, p, i.
p, i, 6
Let r = 1.02 + -0.92. Sort 4, r, 2/3, 1/6 in decreasing order.
4, 2/3, 1/6, r
Suppose -3*b - 49 = -4*j, 0 = -13*b + 17*b + j + 78. Sort b, -3, -5 in decreasing order.
-3, -5, b
Let r = 384 - 769/2. Let c = -1 - -0.9. Sort r, c, -0.6 in descending order.
c, r, -0.6
Suppose 6*t = 7*t + 1. Let v be (-3)/3 + t - (0 + -3). Let h be 2/(-2*2/(-10)). Put -5, h, v in descending order.
h, v, -5
Let s = 5 - -20. Let z = s - 30. Sort z, 2, -3.
z, -3, 2
Let t be (108/(-24))/(-3 - 0). Let w = 5.2 - 5.5. Sort w, 1, 25, t in descending order.
25, t, 1, w
Let z = 4149/4 + -1038. Put 1/8, 60, z in ascending order.
z, 1/8, 60
Let d(a) = -5*a + 8. Let h be d(0). Suppose -f + 2*w = h, 17*w - 16 = -3*f + 13*w. Sort -2, 1, f.
-2, f, 1
Suppose -k = 2 - 6. Put k, -2, 3, 1 in descending order.
k, 3, 1, -2
Suppose 12*t - 28 = -4. Sort t, 0, 1, -3 in decreasing order.
t, 1, 0, -3
Suppose -20*n = -17*n + 9. Let p be (-24)/((-3 + 2)/((-4)/(-4))). Put 3, n, p in ascending order.
n, 3, p
Suppose 4*y - y = -9, -4*r = -y - 15. Sort 18, r, 5 in descending order.
18, 5, r
Let k be (-1 - -1) + (-9)/(-3). Suppose -2*z = -d - 11, d + 15 = -0*d + k*z. Let j be -7 + d/(12/(-8)). Put -1, j, 12 in decreasing order.
12, -1, j
Let t(f) = -62*f + 433. Let k be t(7). Put 2/17, k, -5.54 in decreasing order.
2/17, k, -5.54
Let o = 22.7 + -19. Let u = 648.3 - 649. Let n = u + o. Sort -3, 0.5, n in decreasing order.
n, 0.5, -3
Let m = -388 - -388.2. Sort 2, m, -5 in increasing order.
-5, m, 2
Let s(t) = -7*t**2 + 66*t - 4. Let d be s(7). Sort 1, 2, d in decreasing order.
d, 2, 1
Let u = 102 - 93. Let a be 1/(u/(-25)) - (-182)/(-819). Put -36, a, 0 in descending order.
0, a, -36
Let h be 16/6*(-165)/220. Let d = 0.1 - 0.1. Let w = d + -0.2. Put w, 1/3, h in descending order.
1/3, w, h
Let m = -97.8 - -89.8. Put 0.3, m, -1 in descending order.
0.3, -1, m
Let v(s) = 3*s**3 - 3*s**2 - 3*s + 1. Let u be v(-1). Sort 6, 38, -4, u in increasing order.
-4, u, 6, 38
Suppose 0 = 4*y - y - 120. Let h = y - 36. Sort -3, h, -7 in increasing order.
-7, -3, h
Let p(r) = 11*r - 10 - r**3 - 8*r**2 + 2*r**3 - 3*r**2. Let k be p(10). Suppose -7 = g - 5. Put 4, k, g in ascending order.
g, k, 4
Let k = 0.22 + 18.78. Sort k, -2/5, -0.2 in decreasing order.
k, -0.2, -2/5
Let v = 742 - 714. Sort -5, v, -3 in decreasing order.
v, -3, -5
Let o(k) = k**2 + 6*k + 8. Suppose -23 = 5*u - 3. Let c be o(u). Sort -3, c, 6 in increasing order.
-3, c, 6
Let n = -11.4 - -11. Let d = -5.4 - n. Let t = 4.5 + d. Sort 0.1, t, 0.5 in descending order.
0.5, 0.1, t
Suppose 0 = b + s + 2, -5*b + 3*s = -2*s - 20. Let u be ((-4)/(-12)*15)/1. Put u, b, -2, 4 in decreasing order.
u, 4, b, -2
Suppose i - 2*i + 4*o = 2, 5*i = -4*o + 14. Suppose -i*z - 25 = 3*z. Put -1, -4, 4, z in ascending order.
z, -4, -1, 4
Let y = 2 - 2. Let i be 6/(-45)*(-48)/56*5/(-2). Put i, 6/13, y in increasing order.
i, y, 6/13
Let z(g) = g - 4. Suppose -y - 2*m = -3*y - 4, 4*y - 32 = -4*m. Let j be z(y). Sort 0.3, -2/15, j, -0.01 in descending order.
0.3, -0.01, -2/15, j
Suppose 4*k = 13*k - 9. Put 7, k, -7 in descending order.
7, k, -7
Let p = -235 - -231. Sort -14, -1, p.
-14, p, -1
Let t(x) = -x**3 + 11*x**2 - 18*x + 2. Let d be t(9). Sort d, 4, -3, 6 in decreasing order.
6, 4, d, -3
Let d = 4.2 + -8.1. Let o = 6.9 + d. Let u(y) = -y**3 + 6*y**2 - y + 3. Let w be u(6). Sort o, 1, w in increasing order.
w, 1, o
Let a = -1612 + 1624. Put 0.4, -5/11, a, -1 in decreasing order.
a, 0.4, -5/11, -1
Suppose 6*d - 3*d = -f - 13, 3*d + 2*f + 11 = 0. Suppose -2*s + 3*c = -2*c + 3, -3*s = 2*c - 43. Sort s, 3, -2, d in descending order.
s, 3, -2, d
Let k(q) = 32*q + 1185. Let b be k(-37). Sort 929, 2, b in increasing order.
b, 2, 929
Let n = -227 + 231. Let t = -48 - -145/3. Sort -0.2, t, n in descending order.
n, t, -0.2
Let d = -8 - -5. Let j be -1*(-4 + d/(-3) - -2). Sort 0, j, 5, 2.
0, j, 2, 5
Let c = 161/4 + -40. Sort c, 2/11, 6 in increasing order.
2/11, c, 6
Let x = 23.58 - 20.594. Let l = 0.014 + x. Let q = 1/15 + -2/5. Sort -0.06, l, q in ascending order.
q, -0.06, l
Let k be ((-27)/6 - -4)*0. Let b = 61 + -73. Sort k, -1, b, 3.
b, -1, k, 3
Let u be (-4 - 35/(-45)) + 6/27. Sort 9, -1/3, u in descending order.
9, -1/3, u
Let y = 0.2972 + -0.1972. Sort 544, -3, 1, y.
-3, y, 1, 544
Let y = -2/4793 - -91127/143790. Let f = y - 7/30. Let v be 3/4 - (-1 - -1). Sort v, f, 5.
f, v, 5
Let a = 700 + -705. Put a, -3, 5/16 in descending order.
5/16, -3, a
Let n(h) = -h - 10. Suppose 13*l + 46 = -97. Let i be n(l). Let p = 0.3 - -5.7. Put i, -4, p in decreasing order.
p, i, -4
Let q = -45 + 41. 