1, j, -8/3, -1/8 in descending order.
1, j, -1/8, -8/3
Let u = -346 + 2424/7. Put u, 29, -2/5 in decreasing order.
29, u, -2/5
Let a = 84153 + -84156. Let x be (3/2)/(3/(-4)). Let t be x*(3*-1 + 1). Sort 1, t, a.
a, 1, t
Let x(a) = -a**3 - 9*a**2 + 10*a + 3. Let d be x(-10). Suppose p = -4*h - 4, d + 5 = 3*h - 2*p. Put h, -5, -1 in descending order.
h, -1, -5
Let b(f) = 22*f - 356. Let a be b(16). Put -5, a, -129 in decreasing order.
a, -5, -129
Suppose 0 = -5*f - b - 34, -2*f - 3*b = -f + 18. Let o(m) = -3 - 33*m + 0 + 32*m. Let l be o(f). Sort 0.1, l, -3 in decreasing order.
l, 0.1, -3
Suppose 0 = p - 3*p - 6. Let i = -41 + 41.5. Sort -5, p, i in increasing order.
-5, p, i
Suppose -5*l = 5*b - l - 21, 3*l = -b + 2. Suppose 3*n - 2*n = b. Suppose -n*i - 8 - 7 = 0. Sort 0, i, -1 in increasing order.
i, -1, 0
Let y = -26 - -25.82. Put -2, 4, y in ascending order.
-2, y, 4
Let u be 0 + (-5)/(15/2). Let i = 2.18 + -2.58. Sort -5, i, u in decreasing order.
i, u, -5
Suppose -3*q - 5*s + 369 - 329 = 0, 4*q - 3*s = 5. Suppose g + 1 = 5. Sort 39, q, g in increasing order.
g, q, 39
Let x be (-12)/(-84) - (-68)/14. Let y(t) = t**2 - 13*t + 8. Let c be y(12). Put x, c, -36 in decreasing order.
x, c, -36
Let m = -307/3 + 93. Let q = -10 - m. Let v = 0.06 + 2.94. Sort v, q, -0.5 in ascending order.
q, -0.5, v
Suppose 2 = t + 1. Let u = -44 - -53. Suppose -4*y = -u + t. Sort -1, y, 2/7 in decreasing order.
y, 2/7, -1
Let f be -9 + 4 - 12/(-3). Let w = 9 - 12.5. Let z = -3 - w. Put f, z, 5 in decreasing order.
5, z, f
Let u be (-5)/(-3)*(-12)/4 - -5. Sort 3, -10, u in descending order.
3, u, -10
Let a = -7992 - -56040/7. Let m = a + -14. Put m, 2, 0.3 in increasing order.
m, 0.3, 2
Let s = 31.89 + -0.29. Let l = -32 + s. Sort 1/3, -1, l in increasing order.
-1, l, 1/3
Let r = -1.29 - -1.55. Let c = r - 0.06. Let k = 505/6 - 84. Sort k, c, 0.3 in decreasing order.
0.3, c, k
Let t = 3338/95 + -172/5. Let a = t - 136/133. Let w = -11.05 - -11. Sort w, 5, a.
a, w, 5
Suppose q + 0 = b - 2, -4*q = -5*b + 11. Suppose -5*i = -6*i + 2. Suppose -3*t = -2*v - 19, -2*t + 8 = i. Put q, 2, v in increasing order.
v, q, 2
Let w be ((-45)/150)/(((-6)/(-8))/(-1)). Suppose 0*q - 3*q + 21 = 0. Suppose -5*l = q + 8. Sort l, w, -0.3.
l, -0.3, w
Suppose -1244 + 1248 = 2*z. Put z, -5, -2 in ascending order.
-5, -2, z
Suppose 0 = -z + 2*z + 2*q + 9, -4*z = -3*q + 69. Let j(b) = b**3 + 16*b**2 + 15*b + 4. Let k be j(z). Suppose -5 - 15 = -4*d. Sort 0, d, k in increasing order.
0, k, d
Let s(k) = -k**3 + 6*k**2 - k + 5. Let t be s(6). Let v be -5 + 2 - (2 + t). Let m be v/(-1) + (-18)/8. Sort m, -2/3, 2/5 in descending order.
m, 2/5, -2/3
Let q be (1/(-10))/(4/10). Let l = -1/151 + -297/755. Sort -2, q, l in descending order.
q, l, -2
Let p be (-2)/4 - 125/(-10). Let t be 6/p - 5/8. Sort t, -0.2, 1/3, 3.
-0.2, t, 1/3, 3
Let f(a) = -a**3 + 23*a**2 - 21*a - 21. Let v be f(22). Sort -2, v, -4 in descending order.
v, -2, -4
Suppose 58 = -a + 57. Suppose -2*g = -2*h + 16, 5*g + 22 + 6 = h. Sort -3, a, g.
g, -3, a
Let m(r) = -r**3 - 16*r**2 - 14*r + 19. Let h be m(-15). Suppose -2*i = z - 1, -2*i - 1 = i + h*z. Put 4, 3, i in ascending order.
i, 3, 4
Let b = 246 + -237. Sort -3, -2, 5, b in descending order.
b, 5, -2, -3
Let k = -4.53 - -5.03. Let q = -11.95 + -0.05. Let p = 7 + q. Sort k, p, -3 in descending order.
k, -3, p
Let z be (-6)/(((-189)/(-6))/(-7)). Put -111, z, 1 in ascending order.
-111, 1, z
Let j be ((-6)/4)/(1/(-2)). Suppose -88 = 4*d - 5*x - 121, -2*x - 10 = 0. Suppose 4*w + 28 = j*u, -d*w + 3*w - 4*u = -20. Sort -1, w, -5 in decreasing order.
-1, w, -5
Let c(j) be the first derivative of 3 - 3*j - 3/2*j**2. Let g be c(-2). Sort g, 4, -1/4 in decreasing order.
4, g, -1/4
Suppose 3*i + 12 = -9*i. Let g = -0.06 - 0.14. Sort 40, i, g in increasing order.
i, g, 40
Suppose 5*a - 15 = 5*v, 0*v - 14 = 2*v - 4*a. Suppose 0*q + 2 = q - 3*r, 4*q + 4*r = -24. Put v, -3, q, 0 in decreasing order.
v, 0, -3, q
Let z = -483 - -561. Sort -2, 2, z.
-2, 2, z
Let i = 701/3 - 232. Sort -9.4, -1, i, 1/7 in decreasing order.
i, 1/7, -1, -9.4
Let l = 19 - 21. Let h = 246 + -243. Put 5, 1, h, l in decreasing order.
5, h, 1, l
Let i = 7 - 12. Let r = 2 - i. Let t = 11 - r. Put t, -0.6, -4 in decreasing order.
t, -0.6, -4
Let r = -14 - -14. Suppose 2*d + 3*d = r. Let g = -3 - d. Sort g, -1, -4.
-4, g, -1
Let t = 0 - -1. Let b(r) = r**2 - 12*r + 17. Let w be b(10). Let q be 3/(60/(-8)*w/15). Sort -4, t, q in increasing order.
-4, t, q
Suppose 0 = -4*o + 12*f - 14*f + 10, 5*o - 15 = -5*f. Sort o, 9, 5, 4 in ascending order.
o, 4, 5, 9
Let a be 10/(-12) + (-390)/180. Sort -2, 72, a in increasing order.
a, -2, 72
Let w be (-1 + (-10)/(-4))*2. Let q = 1011 - 1016. Sort q, -4, w in descending order.
w, -4, q
Let d = 2696.1 - 2696. Put 4/3, -4, d in decreasing order.
4/3, d, -4
Suppose 53 = -16*g + 5. Let u = 4 + -1. Let a = u + -3.4. Sort a, -1, g in ascending order.
g, -1, a
Let d(n) = n**2 - 6*n - 1. Let t be d(6). Let v be (-120)/16*(-4)/6. Put v, 0, t, -3 in increasing order.
-3, t, 0, v
Let s(i) = -i**3 - 12*i**2 - 31*i - 53. Let m be s(-9). Sort -4, -11, m, 0 in descending order.
0, -4, -11, m
Suppose 0*j + 4*j = 28. Let r(m) = -m + 4. Let t be r(j). Let o = 11 + -10. Put o, t, 4 in decreasing order.
4, o, t
Let o = 2728 + -2728.02. Sort -0.2, 5, o in ascending order.
-0.2, o, 5
Suppose -11*c + 350 = 317. Put -1, -46, c, -5 in ascending order.
-46, -5, -1, c
Let n = -61.3 + 12.3. Let m = n - -49.2. Sort -1.5, m, 3/8 in ascending order.
-1.5, m, 3/8
Let f = 1.6 - 1.1. Let z be (-3)/(-4)*50/(-15). Put f, z, 3, -4/13 in descending order.
3, f, -4/13, z
Let w(y) = y**3 - 5*y**2 + 4*y + 1. Let i be w(3). Let f(l) = -l - 3. Let b be f(i). Suppose 0*j - b*j = -4. Put j, 4/5, -5 in descending order.
j, 4/5, -5
Let a be -21 + 0 + (-4)/(-2). Let n be 2/4*(a + 3). Let j = n + 6. Sort 2, 5, j in increasing order.
j, 2, 5
Let l = 405 + -409. Sort l, 4, 0.
l, 0, 4
Let o be (-4)/(16/(-6))*(-40)/150. Let s = 1.6 - -0.4. Sort o, s, -3/5 in ascending order.
-3/5, o, s
Suppose -28*f + 236 = -87*f. Let w be (-1)/(1*(-3)/15). Sort 2, w, f, 1.
f, 1, 2, w
Let s be 0 - (-1)/(4/(-128)). Let v be -1 - (-4)/(s/(-18)). Suppose -3*u + 5*q - 5 = 0, -2*u = -3*u - 5*q + 5. Sort v, 5, u.
u, v, 5
Let y = -20 + 16. Let s(z) = -z - 3. Let r be s(0). Put r, y, 2 in decreasing order.
2, r, y
Let y = -0.078 + -69.922. Let f = y - -63. Sort 1, f, -0.1, 2 in decreasing order.
2, 1, -0.1, f
Let l be (-4)/(-10) + (-8)/(-5). Suppose -l*t = -4*t + 8. Let n be (0/2)/(-4 - -2). Sort t, -3, n in increasing order.
-3, n, t
Let v be 0 + ((-20)/5 - (-3 - -1)). Put 60, v, -3, 0 in decreasing order.
60, 0, v, -3
Suppose -f + m - 7 = 0, 16 = -3*f + m + m. Let d = -22 - -17. Put 0, 4, f, d in increasing order.
d, f, 0, 4
Let y = 0.05 - 0.45. Let f = -2199/1921 + 23/113. Let t = 113/102 + f. Sort 0.4, y, t in descending order.
0.4, t, y
Suppose 2*b - y = 13, -4*b - 4*y = -9*y - 11. Sort b, 3, -5 in decreasing order.
b, 3, -5
Let k be -2 - (-20 - (-2 - 0)). Let r be (-34)/(-38) - k/16. Sort -0.5, -4, r in increasing order.
-4, -0.5, r
Let a = 42 + -38. Suppose -4*p = 8, -s + a*s = -2*p - 19. Let t(i) = i**3 - 5*i**2 - 7*i + 9. Let l be t(6). Sort 5, l, s in ascending order.
s, l, 5
Let a = 4.4 - 2.8. Let c = a + -1.6. Put c, -0.1, 3 in decreasing order.
3, c, -0.1
Let s = 38 + -37. Let l be (-22)/6 + (s/3)/(-1). Suppose 5*d = 5*c + 20, -c + 24 = 5*d + 10. Put d, l, -3 in descending order.
d, -3, l
Let h = -2/5195 + -5191/10390. Suppose x = -m - 2*x - 6, 4*x + 1 = m. Let q be m/(-1 + (-67)/2). Sort q, h, -6 in increasing order.
-6, h, q
Let t = 135 + -136. Let h be t*(-3)/(-24)*-8 - 3. Put 21, h, 4 in increasing order.
h, 4, 21
Let l be 11/((-847)/22) + (-52)/14. Sort -5, 2, l in descending order.
2, l, -5
Let c = -236 - -230. Let n = 5 + -9. Sort c, 0, n.
c, n, 0
Let o = -60.1 + 60.6. Sort -5, 123, o in descending order.
123, o, -5
Let y be 240/(-64)*(-2 - (-4)/6). Sort -3, -11, y, 1 in increasing order.
-11, -3, 1, y
Let d(y) = -y**2 - 9*y - 4. Let p be d(-8). Let o(i) = i + 4. Let n be o(p). Suppose h = 2*t + n, -t - 4*h - 4 = -0. Sort 0, t, 3.
t, 0, 3
Let v = -93.7 + -16.3. Let i = v - -110.2. Let a = 1 + -4. Sort i, a, -2 in descending order.
i, 