= 4*f, -2*f = -2*d - 6. Sort 0, d, 4 in decreasing order.
4, 0, d
Let r = -0.53 + 0.03. Let i be (1830/66)/(-5) + 5. Sort r, 5/4, i in decreasing order.
5/4, r, i
Let v(d) be the first derivative of -d**4/4 - d**3/3 - 5*d**2/2 + 2*d + 2. Let m be v(-3). Suppose s + 4*b = -4*s + m, -4*s - b + 17 = 0. Sort s, -2, -3.
-3, -2, s
Let p be 1 + ((-8)/(-4))/1. Put p, -38, -3 in descending order.
p, -3, -38
Let x(v) = 2*v - 9. Let q be (-69)/(-3) + 6 + -3. Let g = q - 20. Let j be x(g). Put j, -4, 5 in increasing order.
-4, j, 5
Let w be 2 + 2 + 4 + -10. Put -0.1, -1/3, w, 4 in descending order.
4, -0.1, -1/3, w
Suppose g + 4*b + b + 21 = 0, -3 = -5*g + 2*b. Let x be (-1 - 22/(-18)) + (-10)/45. Suppose 0*d = d - 4. Sort d, g, x.
g, x, d
Suppose u = -g, 0 = 4*u - 0*u + 2*g + 10. Suppose 0*f + 5*f + 35 = 0. Suppose -5*w = -2*w - 2*w. Sort f, u, w in descending order.
w, u, f
Let g(d) = d**2 + 8*d + 12. Let l be g(-3). Let u be (l - -2)/((-2)/2*-3). Put -0.1, 2, u, 5 in descending order.
5, 2, -0.1, u
Suppose 0 = 5565*x - 5584*x + 95. Let m be 4/(-14) + (-46)/(-14). Sort m, 15, x in descending order.
15, x, m
Let z = 507 + -6594/13. Sort 2/9, -1/5, -3, z in decreasing order.
2/9, -1/5, z, -3
Let c = 15.88 - 16. Let m = c + -3.88. Let l = 0.1 - -0.2. Sort m, l, 1.
m, l, 1
Suppose 8 = -3*r - r. Put -3, -4, -1, r in increasing order.
-4, -3, r, -1
Let n be (3/(-4))/(12/(-96)). Suppose -3*b = 0, l - 4*b + 3 = -n*b. Let h = 5 - 0. Sort l, 2, h in descending order.
h, 2, l
Suppose -4*q = -v - 10, q - 6 - 2 = 3*v. Let k = -0.853 - 0.157. Let l = k + 0.01. Put 3/5, l, q in decreasing order.
q, 3/5, l
Let b be (-2)/(-6) - (-172)/(-12). Let v(u) = 6*u**2 + 61*u + 130. Let x be v(-7). Sort x, b, 4 in decreasing order.
4, x, b
Let n = 7/13 - 9/65. Sort n, 1/115, -2 in ascending order.
-2, 1/115, n
Suppose 3*n + 10 = n, -5*q + 5*n + 105 = 0. Let d be q/4 - (-4 - -9). Sort d, -5, -2 in increasing order.
-5, -2, d
Suppose -3*k - 10 = 11*o - 6*o, -4*o = -4. Let t(s) = -s**3 - 5*s**2 - s - 4. Let n be t(-5). Put 2, n, k, -2 in increasing order.
k, -2, n, 2
Let i = -142.1 - -145.1. Put 14, i, -1 in descending order.
14, i, -1
Let i(a) = a**2 - 15*a - 7. Let k be i(15). Let m be k*2*7/14. Let f = m + 8. Sort 3, -1, f.
-1, f, 3
Let t = 3.68 - 4. Let b = 2.32 + t. Let c be -2*(0 - (-3)/(-16)). Sort c, b, -11.
-11, c, b
Let l = 12 - 11. Let b = -10 + 19. Sort -2, l, b.
-2, l, b
Suppose 5 = 4*i - 3. Let l be i/16 - 369/72. Sort l, 1, -2 in descending order.
1, -2, l
Suppose -26 = -o - 5*x, -4*o - 8*x = -9*x + 1. Sort o, -3, -14.
-14, -3, o
Let n be 1*(2844/(-8))/(-9). Let p = n - 38. Suppose 0*v + 2*v = -4, -17 = -3*l + v. Put p, l, 4 in decreasing order.
l, 4, p
Let z(q) = -q**2 + 2*q + 3. Let f be z(3). Let i(d) = d**3 + d**2 + 1. Let u be i(f). Let y = -117 - -119. Put y, u, -2 in ascending order.
-2, u, y
Let f = 34.7 + -35.2. Sort -6, f, -3, 0.4.
-6, -3, f, 0.4
Suppose 4*b - 3*b - 1 = 0. Put b, -3, -5, 5 in decreasing order.
5, b, -3, -5
Let o be (-5)/(-20) - (-146)/(-8). Let g = 18 + o. Let n = -44 - -43.7. Put 0.1, n, g in descending order.
0.1, g, n
Suppose 0 = -4*o + 4*x - 16, 5*x + 22 - 30 = 3*o. Sort -2, 2, o, -3.
o, -3, -2, 2
Let z(q) = 3*q. Let j be z(-1). Let o be (-4 + -1)/((-19)/(-28 + 9)). Put o, 5, 3, j in decreasing order.
5, 3, j, o
Suppose 3 = 7*u - 32. Sort -430, 1, u in increasing order.
-430, 1, u
Let y be 0*(-1)/3 - 3. Put -7, -6, -5, y in decreasing order.
y, -5, -6, -7
Suppose -2*a = 4*f + 4 + 14, 2*f + 21 = -5*a. Let q = 307 + -1843/6. Sort 2, 1, q, a in decreasing order.
2, 1, q, a
Let a = -5 - -6. Let w be ((-110)/(-25))/((-2)/60). Let u = 1189/9 + w. Sort a, 2/9, u in increasing order.
u, 2/9, a
Let k = -1.225 - -0.925. Let y = 0.16 + -0.3. Put -0.4, -4, y, k in ascending order.
-4, -0.4, k, y
Suppose -19*s = -15*s - 148. Let h = s - 39. Let d be (-4)/(-4)*(-1 - 24). Put 4, d, h in decreasing order.
4, h, d
Let p(w) = -w**2 + w + 7. Let t be p(6). Let s = -19 - t. Suppose 6 = 2*d - u, 2*d - 19 + 5 = -u. Put -1, s, d in ascending order.
-1, s, d
Suppose 16*s = -10*s + 156. Sort s, -47, 3 in descending order.
s, 3, -47
Let z = 164 + -161. Put z, -22, 0 in decreasing order.
z, 0, -22
Let f(p) = -p**3 + 4*p**2 - 4*p + 2. Let j be f(2). Let g be j/5 - (-166)/10. Suppose 3*t = 4*q - g, -5*t - 3*q + 0 = 9. Sort -5, t, -1 in descending order.
-1, t, -5
Suppose -3*k + 63 = -5*v + k, 5*v = 2*k - 59. Let f = 2 - -3. Sort f, 3, -1, v in decreasing order.
f, 3, -1, v
Let y = 2 - -2. Let c(d) = -d**3 + 4*d**2 + 4*d + 1. Let m be c(5). Sort 1, y, m, 11.
m, 1, y, 11
Suppose 15*x - 42 = x. Put -32, 5, x, -5 in decreasing order.
5, x, -5, -32
Let o be (-1)/(-1 - 0) + -3. Let n = -1598 - -1599. Sort 1/2, n, o in decreasing order.
n, 1/2, o
Suppose 6*c + 12 = 12*c. Put 1, -11, -4, c in decreasing order.
c, 1, -4, -11
Let s = -3.36 - -3.26. Sort -3, 7, s, -4.
-4, -3, s, 7
Let d = 1 - 5. Suppose -66*r = 207 - 669. Put r, 1, d in ascending order.
d, 1, r
Let j be 1/(-3) + 26/(-39). Let w = 155/6 + -70/3. Sort 3, j, w in ascending order.
j, w, 3
Suppose 38 = 17*r + 72. Put -10, r, 19, -5 in descending order.
19, r, -5, -10
Let y be (-5)/6*(-8)/30. Let m(i) = -i**3 + 7*i**2 - 10*i + 22. Let q be m(6). Sort -18, q, y in decreasing order.
y, q, -18
Suppose -10 = 3*w + 2*w, -4*w = -2*k + 12. Let u be 38/(-12) - k/(-12). Let g(a) = -a + 6. Let v be g(11). Put 2, v, u in descending order.
2, u, v
Suppose 7723 - 7739 = -8*g. Sort g, 6/11, -5/4, 0.
-5/4, 0, 6/11, g
Let n = -8 + 6. Let i = n + 7. Let j be 8 - 12 - (6 + -6 + -6). Sort -2, j, i.
-2, j, i
Let s = 2523 + -2520. Let u(n) = -4*n**2 - 1. Let f be u(1). Sort 0, 4, s, f in descending order.
4, s, 0, f
Let k(i) = i**3 - 14*i**2 - 13*i - 31. Let q be k(15). Put q, 1, 0 in ascending order.
q, 0, 1
Let y = -113 - -323. Let w be ((-28)/y)/(2/3). Let k = -4 - 1. Sort -2/3, k, w in decreasing order.
w, -2/3, k
Let n(q) = 14*q**2 - 2 - 20*q - 4*q**3 + 7*q + 0*q + 3*q**3. Let p be n(13). Sort 4, p, 1/7, 0.3.
p, 1/7, 0.3, 4
Let c be (-4)/(0 + 4)*4. Suppose 5*t + 4 = 3*b, -6*b + 3*t + 9 = -2*b. Put b, c, 2, 1 in ascending order.
c, 1, 2, b
Suppose 0 = -5*p - 15, -3*f - 2*p - 4 = -2*f. Suppose -f*g = 3*g. Suppose -5*j - 4*u = -3*u - 11, 4*j - 4*u - 28 = g. Sort 0, j, -3 in ascending order.
-3, 0, j
Let y = 9.1 + -45.1. Let g = y + 31. Sort g, 4, 7 in ascending order.
g, 4, 7
Let l = 4.73 + -4.7. Sort -5/2, 4, -1, l in decreasing order.
4, l, -1, -5/2
Let u(l) = 2*l**2 - 4*l + 2. Let v be u(2). Let c be ((2 - 2) + -2)/(((-16)/2)/16). Put -5, c, v, -3 in decreasing order.
c, v, -3, -5
Let v(s) = 9 - 11 - s - s**3 + 0*s. Let t be v(-2). Suppose -2*h - t = 2. Sort h, 0, 4 in descending order.
4, 0, h
Let m = 5.86 - 9.86. Suppose -5*s - 19 = -3*f, -2*s + 13 = -7*s + f. Let k be (1/(-8))/(s/12). Put k, 0.3, m in ascending order.
m, 0.3, k
Let q be -7 + 12 + (-83)/9 + 4. Sort 1, q, -19 in increasing order.
-19, q, 1
Let i = 537.2 - 537. Let q be (-2)/(8/(-5))*4. Sort i, 0.23, q.
i, 0.23, q
Suppose 0 = -8*d + 3*d + t + 17, -5*t + 23 = 2*d. Suppose -d*k - 8 = 4*h, -5*k = -9*k - 2*h. Sort k, -0.14, 4 in decreasing order.
4, k, -0.14
Let q be 5/(-20)*6*-2. Suppose -4*y = -4*x + 20, 2*x - x = -5*y - 19. Let t = -7 - y. Sort t, q, 4.
t, q, 4
Suppose -7*m - 60 = 80. Sort -3, -2, m, -5.
m, -5, -3, -2
Let s = -287 - -282. Put s, 20, -6 in increasing order.
-6, s, 20
Let s be (0 + 4)/(-2) + 7. Let g(v) = 4*v + 21. Let n = -29 + 23. Let q be g(n). Put s, 0, q in decreasing order.
s, 0, q
Let k = 3.1 - 42.1. Let l = -40 - k. Let h = -28/3 + 9. Sort h, l, 2 in increasing order.
l, h, 2
Let l be 2 + (2 + 13)/5. Sort -3, -6, l.
-6, -3, l
Let j = -211.03 - -211. Sort j, 0.1, 2, -3/5 in increasing order.
-3/5, j, 0.1, 2
Suppose 0 = -y - 5*b + 11, -2 = 2*b - 3*b. Let v = -261 + 268. Sort v, y, 0.
0, y, v
Suppose 3*c - 3 = -5*p, -11*p + 14*p - 3*c + 3 = 0. Let m be p - (-4 - -4) - -3*1. Sort 15, 4, m.
m, 4, 15
Let v be 5 + (-1 - 0)*3. Let m be (v/(-3))/(4/6). Let o(q) = q**3 + 2*q**2 + q + 1. Let i be o(m). Sort -3, -2, i in decreasing order.
i, -2, -3
Let l be -2*(-4)/(-8) + -2. Let a be (1 - 2)/(l/9). Suppose 4*z + t + 13 = 0, -t - a*t + 5 = -3*z. Sort -2, -4, z in ascending order.
-4, z, -2
Let o = -2.29 + 0.29. Sort 3, o, -2/51, -1.
o, -1, -2/51, 3
L