. Put d, u, 2 in decreasing order.
u, 2, d
Let h(y) = y**2 - 55*y + 709. Let i be h(21). Put 431, -4, i in ascending order.
i, -4, 431
Let v(r) = r + 3. Let b be v(1). Suppose 3 = b*q + 15. Suppose -12 = 3*c - 0*c. Put -1, c, q in descending order.
-1, q, c
Suppose 20 = -5*q + q - 5*r, 5*r = 2*q - 20. Let y = q + 1. Suppose z + 4 = 8*d - 4*d, -2*d - 4*z + 20 = 0. Sort y, 5, d in decreasing order.
5, d, y
Suppose f - 20 = 4*a, 5*a - 3*f = f - 25. Let x(s) = -2*s - 17. Let w be x(-10). Suppose h + 4*h = -5*q + 35, 0 = w*h - 6. Sort q, 2, a in decreasing order.
q, 2, a
Let x(m) = 4*m**2 - 1. Let a(b) = -3*b + 7. Let l be a(7). Let g = l - -13. Let s be x(g). Sort -0.5, s, -3 in increasing order.
-3, -0.5, s
Let k = -680 - -2042/3. Let v = 0.02 + 0.58. Let w = 0.1 - v. Sort w, -5, k.
-5, w, k
Let f = 683 + -683.2. Sort -30, 0.4, 0.1, f in ascending order.
-30, f, 0.1, 0.4
Let i(n) = -n**3 - 34*n**2 - 118*n + 40. Let x be i(-30). Put 3, -5, x, 1/7 in ascending order.
x, -5, 1/7, 3
Suppose 5*o - 14 = 2*a, 5*o - 2*a = -4*a + 26. Suppose 3*u = 4*y + 34, -2*u - 4 = y - 23. Suppose -5 = 5*n, 2*k - 2 = 2*n - u. Put o, k, 3 in ascending order.
k, 3, o
Let z = 15 + -13. Suppose 2*f = 3*f - z. Let w be (2 + -1)*(f + 0). Sort -3, 1, w in descending order.
w, 1, -3
Let c(n) = 3*n**3 - 12*n**2 + n + 1. Let q be c(4). Suppose 5*f - 16 - 14 = 0. Suppose -3*t + 5*t = f. Put 0, q, t in descending order.
q, t, 0
Let o = 25.992 + 0.008. Let v = o - 16. Let w = v + -9.8. Sort w, -2/3, 0.1 in decreasing order.
w, 0.1, -2/3
Let b be (8/10)/(2/10). Let y be ((-3)/2)/(3/b). Let p be y/(-3) - (-11)/(-3). Sort p, 0, 2 in descending order.
2, 0, p
Suppose -3 = -6*c + 11*c - 4*v, -5*c - 21 = 2*v. Suppose 5*i - 2*j = -0*j + 21, -4*i + 5*j + 27 = 0. Sort c, i, -1, 6.
c, -1, i, 6
Let i = -3/539 + 1105/4851. Sort 5, 0, -36, i in ascending order.
-36, 0, i, 5
Let l = 1081.4 - 1081. Sort -0.1, 7, l in ascending order.
-0.1, l, 7
Suppose 190*h = 192*h + 4. Sort -8, h, -15, -3.
-15, -8, -3, h
Let q = -148 - -4294/29. Let n be (-10)/(-15)*(-6)/22. Sort -0.3, n, q in increasing order.
-0.3, n, q
Let y(w) be the first derivative of -w**4/4 - 3*w**3 - 4*w**2 - 3*w + 2. Let g be y(-8). Suppose 13*s + 1 - 27 = 0. Sort g, 1, s in ascending order.
g, 1, s
Let r = -17.6652 - 0.3348. Let i = -14 - -9. Sort i, r, -0.3 in increasing order.
r, i, -0.3
Suppose 0 = -5*c - u - 21, -28 + 9 = 5*c - u. Put 2/9, 0.5, c in decreasing order.
0.5, 2/9, c
Let p = 14 - 9. Let w be 1/((3 - 5)/(-4)). Suppose -w = -h - p. Sort 5, -1, h in increasing order.
h, -1, 5
Let m = -1.06 + -0.14. Let y = m - 0.8. Let h = 13/18 - 1/18. Sort h, y, 1.
y, h, 1
Let t(r) = -r**3 - 8*r**2 + 11*r + 12. Let c be t(-9). Let h = 19 - 17. Let f = 92 + -91. Sort c, h, f in descending order.
h, f, c
Suppose 205*p = 220*p + 7815. Sort 4, p, -5 in increasing order.
p, -5, 4
Let j = -430 - -429. Sort -2/7, 2, j, -7 in descending order.
2, -2/7, j, -7
Let f = -0.059 - -10.159. Let h = f + -10.5. Sort 6, -5, 0, h in increasing order.
-5, h, 0, 6
Let k = -0.0534 - -0.0534. Sort 1/2, 2/5, k, 1/101 in descending order.
1/2, 2/5, 1/101, k
Suppose -31*b + 2816 + 2516 = 0. Sort 4, -2, b in decreasing order.
b, 4, -2
Let h = 4 + -3. Suppose -q = 3*a - 6*a + 9, -2*q + 2*a = 2. Suppose -3*d + 10 = -5*s, -9 - 8 = -4*d + q*s. Sort d, 1/3, h in ascending order.
1/3, h, d
Let q = -14 + 4. Let o be (-75)/6*8/q. Suppose 0 = -5*i + o. Sort i, -4, 1 in descending order.
i, 1, -4
Let j be 1*0/(-2 - 2). Suppose j = -m - 2 + 6. Sort 0, 2, m in decreasing order.
m, 2, 0
Let a be 1*(2/(-14) - 0/1). Let q be ((-14)/(-10) + -2)/(110/(-50)). Put q, a, 5 in increasing order.
a, q, 5
Let u(r) be the first derivative of r**3/3 - 7*r**2/2 + 6*r - 9. Let s be u(5). Let h be (-1)/14 + 1/2. Sort s, h, 8.
s, h, 8
Let j be 2 + -1 + (-2)/(-2). Let o be (0/(-1) - -2) + -4. Suppose y = -0*y + 2*y. Put o, y, j in decreasing order.
j, y, o
Let k(i) = 41*i + 201. Let r be k(-5). Sort -21, r, 5, -3 in descending order.
5, -3, r, -21
Let u = -23 - -22.97. Let t = -81 - -42. Let k = -38.5 - t. Sort u, 0, k.
u, 0, k
Suppose 2*l - 2 = v + 5*l, -8 = -4*v - 4*l. Let h = -398 + 395. Put 5, h, v in decreasing order.
5, v, h
Let j = -1.6 - -56.6. Let t = 57 - j. Let o = -0.3 - 0.7. Sort t, 3, o in decreasing order.
3, t, o
Let o(y) = y**2 - 5*y - 21. Let p be o(8). Suppose -10*g = -13*g + 6*g. Put p, g, 1, 10 in decreasing order.
10, p, 1, g
Let y = -247/8 - -31. Let x(n) = -2*n**3 + n**2. Let t(p) = 13*p**3 + 4*p**2 + 19*p + 7. Let f(i) = -t(i) - 6*x(i). Let h be f(-8). Sort y, 0.2, h.
y, 0.2, h
Let z = 48.1 - 48.13. Let p = 73.3 + -70. Let o = -3 + p. Sort z, -0.2, o in decreasing order.
o, z, -0.2
Let x = 115 + -98. Let d = 4 - 20. Let p = d + x. Put 0.3, p, 3/4 in descending order.
p, 3/4, 0.3
Suppose -d + 958 = 952. Sort -5, -2, 0, d in descending order.
d, 0, -2, -5
Suppose 3*m = 3*f + 9, -f + 0 = 4*m - 2. Let g(d) = d**3 - 3*d**2 - 3*d. Let w be g(4). Put 0, w, f in decreasing order.
w, 0, f
Let b be (3/(-10))/((-12)/110) - 3. Sort b, -0.4, -0.6 in descending order.
b, -0.4, -0.6
Let y = 13/6 - 29/12. Sort 5/2, 3, y in decreasing order.
3, 5/2, y
Suppose v - 2 = r - 3*v, 4*v - 10 = -3*r. Suppose -2*m = -2*b, -5*b + 8*b - 3 = 4*m. Sort r, b, -8 in decreasing order.
r, b, -8
Let a(f) be the third derivative of f**4/6 + 13*f**3/6 + 11*f**2. Let u be a(2). Sort -3, u, 3 in decreasing order.
u, 3, -3
Let j = 2425 + -2428. Sort 5, j, 3, 56.
j, 3, 5, 56
Let c(n) = -3*n**2 - 15*n + 20. Let k be c(-6). Suppose y + 5 = -0*y. Put k, -1, 0, y in ascending order.
y, -1, 0, k
Let f = 332/9 + -37. Let k = 335/7 - 998/21. Put f, k, 3 in descending order.
3, k, f
Let u = 239.8 - 227.8. Sort u, 4, -0.3 in increasing order.
-0.3, 4, u
Suppose -2*d - 8 = v, 0*d + 3*d - 14 = 5*v. Let c be 1*(d + 2) + 2. Let p = c - 2. Sort 2, 2/5, p in ascending order.
p, 2/5, 2
Let z = -0.54 - -0.24. Suppose 0 = -3*b + 6, -3*w - 9*b - 3 = -12*b. Put -5, -3, w, z in descending order.
w, z, -3, -5
Let y be (-1 - -1) + 5/5*1. Sort 4, y, -49, 3 in descending order.
4, 3, y, -49
Suppose v + 2*v = 0. Suppose v = 7*r - 12*r + 20. Let h(g) = g**3 + g**2 - 4. Let y be h(0). Sort -1, y, r in increasing order.
y, -1, r
Let c = 1 + -4. Let q(a) = -a - 2. Let i be q(c). Suppose -5*n = 4*d - 17, 0*d + d = -5*n + 23. Put d, 4, i in descending order.
4, i, d
Suppose 0 = 4*l + 2*l - 12. Suppose 3*w + 15 - 4 = -5*d, 2*w - 4*d = 22. Suppose 0 = -2*a - w*m + 3, m + 10 = -0*a + 3*a. Sort l, a, 4 in decreasing order.
4, a, l
Let b = -6 + 10. Let g(t) = 50*t + 505. Let h be g(-10). Put b, -1, h in descending order.
h, b, -1
Let f be -1 + 2 - (2 - 1). Suppose -2*g + 4*g = 10. Suppose 2*i + 5*y = -2*i - 1, 2*i = g*y + 7. Sort f, i, 3.
f, i, 3
Let m = 13.24 - 12.84. Sort 0, m, -1/24, -3.
-3, -1/24, 0, m
Suppose -4*o = 5*h - 9*o - 20, h + 5*o + 2 = 0. Let q(u) = 15*u - 21. Let j be q(2). Suppose -8 = j*g + 1. Put 0, g, h in decreasing order.
h, 0, g
Suppose -3*f - 1 = -4*z, -5*z = -0*z - f - 4. Let c be 7 + (-7 - -3) + z. Sort -8, 3, c in decreasing order.
c, 3, -8
Let v = -16 + 24. Let h = v + -5. Suppose 3*n - 3*a - 12 = 0, 0 = -5*n + 3*a - 7*a + 2. Sort h, 4, n in decreasing order.
4, h, n
Suppose -2*g + 3*h = -8, 5*g - h = -5 - 1. Let d be -2*g/(-4) - -4. Sort 5, -1, d.
-1, d, 5
Let o be (-41*2 + -2)*(-1)/(-2). Let w = o - -44. Put 1, w, -2 in ascending order.
-2, 1, w
Let y = 0.1 + 0. Let p = -126 - -127. Put p, -4, -2/21, y in decreasing order.
p, y, -2/21, -4
Let n = 1829 - 1908. Sort n, 0, 2, 4 in decreasing order.
4, 2, 0, n
Let v be (-268)/27*(29/16 + -2). Let m = 28/9 - v. Put m, -5, 1/7 in decreasing order.
m, 1/7, -5
Let o = 2107 + -2080. Sort 0.2, 1/3, -2, o in decreasing order.
o, 1/3, 0.2, -2
Let r = -16 - -15.2. Let c = -0.1 + r. Put 0.5, 2, c in descending order.
2, 0.5, c
Let o = 69 - 70. Let k = 1791/16 - 112. Sort 0.3, k, -2/9, o.
o, -2/9, k, 0.3
Let d = -3.4 + -0.6. Suppose 0 = -2*o - o + 24. Suppose -5*v - 4*p = -3*v + o, 2*v = -2*p - 6. Sort d, -0.3, v in decreasing order.
-0.3, v, d
Let o(a) = -a**3 - 10*a**2 - a - 11. Let h be o(-10). Let c be 5/4 + 1/(-4). Let f(g) = -g**2 - 4*g + 4. Let x be f(-4). Sort c, x, h in descending order.
x, c, h
Suppose -28 = 30*q - 32*q. Let b be ((-2)/q)/(1 + 3/(-4)). Put 1, b, 2/