 2, h in increasing order.
h, 0, 2, 7
Suppose 17*m = -76*m + 1395. Sort m, 5, -22, 4, -4 in increasing order.
-22, -4, 4, 5, m
Let a(x) = -x**3 - x**2 - 20*x - 7. Let h be a(0). Sort 3, 8, 1, h, -4 in ascending order.
h, -4, 1, 3, 8
Let p = -17 + 12. Let o be ((-4)/p)/(552/60). Let k = 496.8 + -497. Sort o, 3, -0.8, k in ascending order.
-0.8, k, o, 3
Suppose 4534*y - 4551*y = 714. Put -4, 1, y, -1, -5 in descending order.
1, -1, -4, -5, y
Let u(n) = -14 + 29*n + 3 - 4 - 35*n. Let h be u(-3). Put 4, h, -4 in descending order.
4, h, -4
Let x be (-1)/(-1) - (-6)/(3 + 3). Suppose -6*v + 2*v - 12 = 2*d, 2*v - x*d = -18. Let g = -7/3 + 2. Put g, 0, v in descending order.
0, g, v
Let c be (-2900)/300*(0 + -13 + 1). Sort 3, c, 1 in descending order.
c, 3, 1
Let t = -3.6 + -2.9. Let x = t - -7. Let o = 0.945 - 0.545. Sort 4, x, o, 2 in ascending order.
o, x, 2, 4
Let w = 17 - 15. Suppose -22*z + 58*z = 29*z - 28. Sort z, 0, 1, w in descending order.
w, 1, 0, z
Let s be (-2)/8 - (-34)/8. Let k = -534 + 359. Let p be 4/(-7) + (-135)/k. Sort p, -1/3, s in increasing order.
-1/3, p, s
Let h = -169.6 - -170. Put 0, -1/4, 3/161, h in descending order.
h, 3/161, 0, -1/4
Let s = -0.13 + -3.87. Let u = 105.83 - 102.83. Sort u, -3, s, 2/9 in decreasing order.
u, 2/9, -3, s
Let z be 5 + (-696)/60 + 24/15. Put 0.3, z, 7/33, -2/9 in ascending order.
z, -2/9, 7/33, 0.3
Suppose -45*t = -46*t - 4*x + 13, -5*t - 3*x - 3 = 0. Sort 0, 169, t in decreasing order.
169, 0, t
Let r = -10 - -5. Let k be (-6 - r)/((-2)/6). Suppose -22 = -8*f + 18. Put k, 4, f in decreasing order.
f, 4, k
Let m = -16.4 + -85.6. Let x = m - -75. Sort 2, -2, x in decreasing order.
2, -2, x
Let y be (-46)/(-288) + (-142)/639. Put 4, 9, y in ascending order.
y, 4, 9
Let z be (-4)/272*-4 - (-14193)/(-1411). Let i be (-8)/(-6)*(-6)/(-2). Sort z, -4, 3, i in descending order.
i, 3, -4, z
Let s = 0.6 + -4.6. Suppose r - 142 = -2*f, -8*f + 6*f = -5*r - 142. Suppose -4*n + 4*u - 60 = 0, -4*n + 4*u - f = n. Put 3, n, s, -3/7 in descending order.
3, -3/7, s, n
Let u = -427 - -427. Let t = -0.6 + 1. Let p = u + t. Sort 4/5, 4, -3, p in descending order.
4, 4/5, p, -3
Let f = -944.258 - -886.5. Let w = f - 0.242. Sort -4, w, 1/7 in decreasing order.
1/7, -4, w
Let k be (-38)/(-7) + -13*39/1183. Sort k, 160, -5.
-5, k, 160
Let t = -2377 + 2378. Suppose -2*d - 1 = 5. Put d, 4, 14, t in decreasing order.
14, 4, t, d
Let h = 26675 + -26674.7. Sort -0.2, -22.6, 3, h in decreasing order.
3, h, -0.2, -22.6
Suppose 3*w - 78 = -3*w. Suppose -2*p - w*p = 255. Sort p, -4, 1 in increasing order.
p, -4, 1
Let u = -181 - -176. Let r be (-1)/(-3)*2 + -1. Let y = 2055 - 2053. Sort u, -0.2, r, y in descending order.
y, -0.2, r, u
Let z(u) = u + 12. Let f be z(3). Let k = f + -18. Let r = -2 - -4. Sort k, r, 10 in decreasing order.
10, r, k
Let i = 2.2 - 2. Let g be (9/(-24))/(30/120)*50/(-15). Let r = 1 - 0.75. Put g, i, r in decreasing order.
g, r, i
Suppose -4*v = 2*i - 10, -5*i - 2 - 13 = 0. Put -3, v, -31 in increasing order.
-31, -3, v
Let n(l) = 2*l**2 + l. Let z be n(-1). Suppose -10 = -14*t + 9*t, -5*i - 3*t + 1286 = 0. Let j = -257 + i. Put z, -4, j, 5 in decreasing order.
5, z, j, -4
Let z = 18 + -17.55. Let d = z + -0.4. Suppose -331 = 7*p - 366. Sort 0.5, p, d.
d, 0.5, p
Let m = 5.105 - 4.9988. Put 0.3, m, -5 in increasing order.
-5, m, 0.3
Let t be (14/6)/((-3493)/(-2994)). Sort -2, t, -5, -4, 22 in decreasing order.
22, t, -2, -4, -5
Let b = 0.03 - -0.034. Let u = b + -0.264. Let s(z) = z + 14. Let q be s(-11). Put q, 1/2, u in descending order.
q, 1/2, u
Let q = 5852 - 5857. Suppose p + 4*p = -t, 3*t + p - 14 = 0. Sort 4, q, -2, t in ascending order.
q, -2, 4, t
Let b be -8 + 3 + 0 + -5. Let n be -2*b/((-60)/(-9)). Let k = 4 + 0. Sort -1, -4, k, n.
-4, -1, n, k
Suppose 72*a + 14*a = -62 - 24. Sort -2, a, -586 in descending order.
a, -2, -586
Let i = -66799 + 66800. Let z = 1388/9 + -154. Sort i, 0, 2.4, z in descending order.
2.4, i, z, 0
Let o = 1.5 + -11.5. Let h = o - -15. Let m = -5.89 - -8.89. Sort 0, h, m in decreasing order.
h, m, 0
Suppose -14 = 1026*f - 1033*f. Sort 5, -2, f, 8 in increasing order.
-2, f, 5, 8
Let c(w) = -2*w**3 + 4*w**2 + 2*w - 6. Let l be c(4). Let v be (-8)/44 - l/(-22). Sort -5, 0, v.
-5, v, 0
Let y = 5356.3 - 5356. Sort y, -0.4, 0.2, -1/11, -1/3 in descending order.
y, 0.2, -1/11, -1/3, -0.4
Let v = 29.76 + -31.76. Let z = 75 - 229/3. Sort 2, z, 5, v in increasing order.
v, z, 2, 5
Let b = 8233 - 8210. Put b, -8, 2, -1 in decreasing order.
b, 2, -1, -8
Let t be (-18)/(-84)*7/(-3). Sort 0, t, 5, -30/13 in increasing order.
-30/13, t, 0, 5
Let x be -1*9 + (-5 - 1254/(-76)). Put 5/4, 0.8, 0.2, 0, x in decreasing order.
x, 5/4, 0.8, 0.2, 0
Let n be -1 - ((-385)/42)/11. Let a = -0.01 + 2.01. Let s = -11 - a. Put s, n, -4 in decreasing order.
n, -4, s
Suppose 7*l = 29 + 34. Let m be l/(-30)*15/36. Put 6/7, m, 4, -0.5 in decreasing order.
4, 6/7, m, -0.5
Suppose 4*s + 24 = t, -41*t + 40*t - s = 1. Suppose -4 = -j + 4*d, -t*j = -2*j - d + 6. Put j, 4, -0.4, 29 in increasing order.
j, -0.4, 4, 29
Suppose -110*w = 139*w + 13*w + 524. Put -0.5, 4, w, 425/6 in ascending order.
w, -0.5, 4, 425/6
Suppose -103 = 163*j - 202*j + 53. Sort -5, 5, j, 9 in increasing order.
-5, j, 5, 9
Suppose -3*x + 31 + 25 = 4*i, -8 = -4*i. Suppose -4*o - 2*g - 28 = x, -14 = o + 2*g. Put -3, -1, 4, o in decreasing order.
4, -1, -3, o
Let d = 1728.3 + -1911. Let s = -183 - d. Sort 14, 1, -2, s in ascending order.
-2, s, 1, 14
Let p(u) = -1080*u - 1087. Let y be p(-1). Suppose -o - 2 = 4*z - 7, 0 = -4*o + 3*z + 20. Sort -4, y, o.
y, -4, o
Let r = -15 - -13. Let q be r*(-7)/(-5) + 3. Let g = 272 + -276. Put q, g, -2/15 in increasing order.
g, -2/15, q
Suppose 0 = -21*l + 22*l - 4. Suppose -j + 9*p = 4*p + 3, 2*j - 9 = -5*p. Suppose -3*v = -22 - j. Put v, 0, l in descending order.
v, l, 0
Let k = 0.03 + 2.57. Let w = k - -0.4. Let u be (39/(-26))/((-9)/(-6)). Sort w, u, 7 in decreasing order.
7, w, u
Let r = -148 + 587/4. Let s be (1 - 4)*((-8)/(-126))/((-106)/159). Put 0.02, s, r in ascending order.
r, 0.02, s
Let v = 7524.2 + -7524. Put 239, -1, v in decreasing order.
239, v, -1
Let y be 68/170 - (-3)/((-33570)/17924). Let a = y + 2/1119. Sort 0.6, a, 4 in ascending order.
a, 0.6, 4
Let k = 355 + -393. Let i be k + 33 + 0 + -2 + 20. Let b = -1 + 1. Sort 2, b, i.
b, 2, i
Let d = -328927 + 328926. Let m be 4/14 - (-79)/(-7). Sort 0, m, d in increasing order.
m, d, 0
Suppose -1130*m + 1112*m = 0. Sort m, -152, 1 in ascending order.
-152, m, 1
Suppose 2*k + 2239 = 2237, -4*n - 2*k - 738 = 0. Sort 0, n, -3, -5 in ascending order.
n, -5, -3, 0
Let b be (2 + -3)*18/(-171) + 1182/(-38). Put -2, -1, 5, b in ascending order.
b, -2, -1, 5
Let f be (10/(-4))/(317/634). Let h = -552 - -274. Put f, 5, h in decreasing order.
5, f, h
Let r = -32 - -71. Let x = r - 36. Let m be 6*1 - (-252)/(-48). Sort x, m, 5 in decreasing order.
5, x, m
Suppose z + 14 = 2*x, -5*z = -z + 2*x + 26. Let h = -174 + 173.655. Let i = -0.345 - h. Sort 1/4, z, -5, i.
z, -5, i, 1/4
Let d = -33.56814 + 0.03814. Let v = d - 0.47. Let u = -33 - v. Sort 0.3, -2, u in ascending order.
-2, 0.3, u
Let x = -2406 - -2393. Sort 0, x, 15, 5 in increasing order.
x, 0, 5, 15
Let w = -71.79 + 71.99. Sort -44, -4, 0.4, 0.05, w in decreasing order.
0.4, w, 0.05, -4, -44
Let i(y) = -y + 20. Let z be i(6). Suppose -4*l + 16 = 4*t, 0*t - 3*l + z = 4*t. Suppose 0 = -n - t*n + 12. Sort 5, -3, -4, n.
-4, -3, n, 5
Let q = -3.02 - -5.32. Let v = 3.17 - q. Put -1/4, v, 5 in decreasing order.
5, v, -1/4
Let l = 2875 + -2876.5. Put -0.5, 0.4, l, -5, -2/7 in descending order.
0.4, -2/7, -0.5, l, -5
Let i be 1 - (-4)/(-3) - 28/(-12). Suppose -5*a + i*l = -l - 75, -2*l + 2 = a. Suppose h + 9 = 4*h, 4*h = 2*v + 2. Sort a, v, -3 in decreasing order.
a, v, -3
Let a = 1741 - 1742. Put -0.9, -0.04, -0.5, a in increasing order.
a, -0.9, -0.5, -0.04
Let w = -931.1 - -933. Sort w, -2/9, -0.06 in descending order.
w, -0.06, -2/9
Suppose 25 - 5 = -4*m. Suppose -96*c - 8 = -101*c - 4*q, -4*q - 8 = c. Sort -12, 1, c, m in descending order.
c, 1, m, -12
Suppose -5 = -0*n + n. Let a = -1.6 - -0.34. Let t = 0.74 - a. Sort 0.5, n, t, 3/8 in ascending order.
n, 3/8, 0.5, t
Let w = -154829/56300 +