-4*a + 10*b + 28, 0 = 2*a - 4*b - 30. Let i = -18.91 + 19. Put -3, i, 2, a in decreasing order.
2, i, a, -3
Let t = -387 - -385. Sort t, 93/17, -1/5, -4.
-4, t, -1/5, 93/17
Let f = 885 - 888. Let b be 20/(-80)*(-24)/f. Put b, 2, -12 in ascending order.
-12, b, 2
Suppose -13*j + 4*n - 62 = -10*j, -8 = -4*n. Let r(y) = -y**3 - 19*y**2 - 12*y + 104. Let g be r(j). Sort 1, 0, g, 88.
g, 0, 1, 88
Let c be (4 + -13 - -8)*20/(-5). Put -13, c, 0, 5, -31 in descending order.
5, c, 0, -13, -31
Let t = 52.8 - 79.9. Let p = -109 + 136. Let d = t + p. Put d, -4, 0.1 in descending order.
0.1, d, -4
Let x = -205225/812 + 1011/4. Let t = -388/1827 - x. Put 7, 4, t in increasing order.
t, 4, 7
Let l = -306716.929 + 306871. Let d = l + -154. Let u = d + 3.929. Put -6/7, -5, u in descending order.
u, -6/7, -5
Let j(x) = -2*x**2 + 7*x - 8. Let n be j(2). Let l be -4 - (1 + 8/n). Suppose 14 = -2*i + 3*f, -i + 2*f = 2*i + 16. Put l, -2, 0, i in ascending order.
i, -2, l, 0
Let o be (-26)/(-65) + (-66)/(-35) - 2. Let y = 4.3 - -0.7. Let q be 52/(-130) + -3 + 12/4. Put q, o, y in descending order.
y, o, q
Let x(g) = 7*g**2 + 9*g + 2. Let d(b) = -3*b**2. Let i(a) = -2*d(a) - x(a). Let m be i(-9). Let h be (-5)/3*6/(-2). Sort 16, m, h, 4 in decreasing order.
16, h, 4, m
Let k be ((-12)/14)/((-24)/84). Suppose -8 = 5*l - k*q, 4*q + 3 - 9 = 2*l. Put l, -53, 1 in decreasing order.
1, l, -53
Let n = -2.826 + 2.526. Let k = -13 - -8. Sort 1/5, n, k, 7 in increasing order.
k, n, 1/5, 7
Let c be (-2)/(-14)*-2 - (-136)/280. Suppose 6*m = -2*m - 5*m. Put c, m, 49 in descending order.
49, c, m
Let n be (-116)/(-87)*15/(-4)*1. Put 235, n, 4, 2 in ascending order.
n, 2, 4, 235
Let v = -1472/3 - -7357/15. Put v, 0.3, 931 in descending order.
931, 0.3, v
Let w = -55 - -44.4. Let p = -11 - w. Let j = 85 + -85. Sort j, 4, p in descending order.
4, j, p
Suppose 0 = 56*f - 73*f - 43 - 93. Sort 0, f, -4, 1, 4.
f, -4, 0, 1, 4
Let u = -232/3 + 76. Let k = -54.9 - -55. Suppose 0 = 84*z - 115*z - 93. Sort u, -1, z, k.
z, u, -1, k
Suppose 0 = -3*d - j + 8 - 1, 4*d + 5*j = -9. Let k be (-224)/140*10/d. Put 4, -16, k in ascending order.
-16, k, 4
Suppose -21 = 3*z + 3*b, 152*b = 145*b - 56. Sort z, -1, 13, 4, 3 in descending order.
13, 4, 3, z, -1
Let z(i) = -3*i + 48. Suppose 0 = 7*v - 95 + 11. Let s be z(v). Let b be 1/6*s/14. Put -5, -3/2, -1, b in decreasing order.
b, -1, -3/2, -5
Let l be (-1 - (-21)/6)/(195/(-936)). Let n = 0.3 + -0.1. Sort n, l, -3, 1 in increasing order.
l, -3, n, 1
Let w = 1117 - 1119. Suppose 4*f = 4*r - 364, 0 = f + 4*f + r + 431. Put -0.4, f, w in descending order.
-0.4, w, f
Suppose -5 = 5*k, -g - 2*k + 7*k = -6. Sort 17, 8/5, g, -4.
-4, g, 8/5, 17
Suppose 3*n = 2*d - 45, 3*n - 2*n = 5. Suppose -x = x - d. Let g be (6/x)/(8/20). Sort g, -1, -14 in increasing order.
-14, -1, g
Let s be (-66063)/(-18666) + 7/(-2). Sort 5, -0.2, s, -3 in decreasing order.
5, s, -0.2, -3
Let u = -2.99 - -3. Suppose -46 = 15*t - 61. Let n be (-2)/14*t*(-10 - -11). Put 2, u, n, 3 in increasing order.
n, u, 2, 3
Let v = -475 + 440.9. Let r = -31.1 - v. Sort r, -12, -5 in descending order.
r, -5, -12
Let v = -993 - -995. Sort v, -0.603, -2/7.
-0.603, -2/7, v
Let i = 9.2 + 18.8. Let k = -15.4 + i. Let j = k + -12.1. Put -2, 2, j in increasing order.
-2, j, 2
Let g = 380 + -956. Let o = -4030/7 - g. Put 0.5, 4, -0.1, o in ascending order.
-0.1, o, 0.5, 4
Let u = 565 + -325. Let j be (1*-1)/((-15)/u). Let f = -17 + j. Put 8, f, 4 in descending order.
8, 4, f
Suppose -1127*o = -1146*o - 19. Let w be (2/3)/((-2)/(-15)). Let a = -7 - 3. Put -3, o, w, a in descending order.
w, o, -3, a
Let y be -52*(-9)/(-36) - -10. Put 0.102, 0.3, -0.2, y in descending order.
0.3, 0.102, -0.2, y
Let q = 0.16 - -1.62. Let y = 0.78 - q. Let f = 0.34 - -2.56. Put f, y, 0.4 in ascending order.
y, 0.4, f
Let j = -2935 + 2941. Sort -2/11, 0, j in descending order.
j, 0, -2/11
Let z = 5 - 1. Suppose 9 + 6 = -5*a. Let x be (-54)/(-180)*3200/(-192). Put 0, a, x, z in decreasing order.
z, 0, a, x
Let p be ((-114)/171)/((-1)/3). Suppose p*l + 18 = -2*v, -5*l - 66 = 3*v - 5*v. Put 3, 1, l, -1 in ascending order.
l, -1, 1, 3
Let f be 13 + 6 + -9 + -4. Let q be (-3)/(f/42*7). Put q, 42, 4 in increasing order.
q, 4, 42
Let r = 27.7 + -139. Let s = -111 - r. Put s, 0.03, 14 in decreasing order.
14, s, 0.03
Let z = 2/4831 + -4837/14493. Sort 4, -1, z, -0.3 in ascending order.
-1, z, -0.3, 4
Let b(i) be the third derivative of -i**6/30 + i**5/15 - i**4/12 - i**3/6 + 51*i**2. Let f be b(1). Put f, -1.4, 0 in increasing order.
f, -1.4, 0
Let v(p) = -99*p**2 - 196*p + 1. Let s be v(-2). Put -2, s, 18, -1 in ascending order.
s, -2, -1, 18
Let a = 0.307 + -147.307. Let z = a - -89. Let y = -55 - z. Put y, -1/2, 2/7, 1/3 in decreasing order.
y, 1/3, 2/7, -1/2
Suppose -2*y - 66 = -12*l, 5*l + 15*y - 37 = 19*y. Put -23, -5, l, 2 in descending order.
l, 2, -5, -23
Let l = 87 - -53. Suppose -22*z - 52 = -l. Sort 5, z, 2 in descending order.
5, z, 2
Let l be ((-1 - -4) + 5/(-2))*-2. Let r(n) = n**2 - 3*n - 22. Let u be r(6). Let k be 18/8 + u/16. Put k, l, 3 in decreasing order.
3, k, l
Suppose -2*s = 2*s + 8. Let x be (-3 + 4)*8 + -3. Suppose 2*q - 19 = -4*g - 9, 0 = x*q + 5*g. Put q, s, 3 in decreasing order.
3, s, q
Let q be ((-1166)/212 - (-3)/(-2)*1) + 11. Sort 2, -27, q in descending order.
q, 2, -27
Let d = 2.3 + -2.6. Let s = 4.3 - 2.3. Let r = 3 + s. Put -0.5, d, r, 1 in descending order.
r, 1, d, -0.5
Suppose -58 + 278 = -22*u. Sort -5, 3, 1, u in descending order.
3, 1, -5, u
Suppose -21 - 3 = -4*b + 4*m, -3*m = 2*b - 2. Suppose -4*j = 5*f + 420, 14*j - 452 = 18*j - 3*f. Let a = 112 + j. Sort 1, b, -1, a.
-1, 1, a, b
Suppose 2*p = r + 3, 4*p - 13 = -r + 8. Suppose 4*d + 2*i + 6 = -8, -4*d = r*i + 5. Sort d, -9, -2, 0.
-9, d, -2, 0
Let p = 130 + -163. Let m = 430 + -433. Sort 2/5, m, p.
p, m, 2/5
Suppose -4*d + s = -20, -2 = -2*s + 6. Suppose 2*r = 4*y - 28, -2*r + 26 = 59*y - 57*y. Sort r, 5, 3, d in decreasing order.
d, 5, r, 3
Let y(f) = 743*f - 1486. Let w be y(2). Sort -41, w, 1, 4, -2 in descending order.
4, 1, w, -2, -41
Let y = 2859 + -2598. Sort 0, y, -4 in ascending order.
-4, 0, y
Let j = -211.65 - 5.35. Let d = -221 - j. Let h = 2 - 1.5. Put d, 10, -3, h in ascending order.
d, -3, h, 10
Let q = -0.4 + 0.1. Let l be ((-4)/(-18))/(140/9450*-15). Sort l, 6/7, q, -4 in decreasing order.
6/7, q, l, -4
Let w be 15/6 + -2 - ((-3627)/(-666) - 5). Sort -1, -2/11, 0.5, w.
-1, -2/11, w, 0.5
Suppose -6 = -2*c - 4. Let x = 154 - 82. Let j be 234/x - (-6)/8. Put j, -3, c in ascending order.
-3, c, j
Suppose 0 = -40*g + 86 + 114. Let r(c) = 3*c - 8. Let s be r(6). Suppose s + 5 = -g*o. Sort -5, 3, o, -2 in increasing order.
-5, o, -2, 3
Suppose 521 = 4*f + 497. Sort -3, f, -1, -12 in descending order.
f, -1, -3, -12
Suppose 0 = -0*z - 2*z - 2. Let a = 1027843 - 1027856. Let s be (0 + -3 + 1)*-2. Put s, a, z in descending order.
s, z, a
Let d be ((-2)/3)/((-52)/(-78)). Put 1, -478, -2, d in ascending order.
-478, -2, d, 1
Suppose 5*t + 15 = -8 + 8. Let u(a) = a**3 + 2*a**2 + 2*a + 2. Let k = -8 + 6. Let f be u(k). Sort t, f, -5 in decreasing order.
f, t, -5
Let y = 669.627 + -670. Let a = -0.247 - y. Put 2/5, a, -5 in descending order.
2/5, a, -5
Suppose v - 1 = -0*v. Suppose 0 = 43*o - 39*o + 3*u + 3, 8*u + 8 = 3*o. Put v, o, 38, 4 in decreasing order.
38, 4, v, o
Let t(u) = -u**2 + 11*u + 30. Let a be t(-2). Let n = -0.395 + 30.395. Sort a, -3, n, 0.5 in decreasing order.
n, a, 0.5, -3
Suppose 4*i = 4*k - 3 - 5, 0 = 5*i + 5*k. Suppose 5*j - 464 = -189. Suppose -n - j = 10*n. Put -2, n, i in ascending order.
n, -2, i
Let g be 57/((-5985)/(-462)) - 4/10. Put 91, -3, 1, g, -5 in decreasing order.
91, g, 1, -3, -5
Suppose -14*s = -756 - 742. Put s, 5, -4 in ascending order.
-4, 5, s
Let k(s) = 3 - 4*s**2 + 2*s + 3*s**3 + 7 - 4*s - 8. Let b be k(2). Suppose 42 + b = -16*j. Sort j, 2, -5, 1 in increasing order.
-5, j, 1, 2
Let j be 14/(-18)*3 - -4. Suppose 0 = q - 0*q + b - 3, 0 = 4*q - b - 2. Let a(f) = f**2 - 9*f + 10. Let z be a(3). Put j, q, -4/9, z in ascending order.
z, -4/9, q, j
Let n be (-7)/(((-7)/(112/2))/((-345)/(-184))). Let v(q) = q**3 + 4*q**2 + 2*q + 1. Let x be v(-2). Put x, n, -4 in descending order.
n, x, -4
Let c(l