 -5*h = -0*h + 5*m - j, -2*h = m + 1. Sort 6, h, 2.
h, 2, 6
Let o = 40/3 + -206/15. Let s(p) = -p**3 - 3*p**2 + 1. Let q be s(-3). Let r = -25 + 29. Sort o, q, r in decreasing order.
r, q, o
Let h = -1.41 - -1.324. Let y = h - 5.914. Sort 5, y, 0.1 in descending order.
5, 0.1, y
Let i = 3/65 - 71/130. Let y = 35/2 - 179/10. Sort 0.7, -3, i, y in decreasing order.
0.7, y, i, -3
Let w = -223 + 222.94. Let l = -3.9 + 4. Sort w, l, 5 in decreasing order.
5, l, w
Let x(f) = -25*f - 125. Let j be x(-5). Put 2, 5, j in decreasing order.
5, 2, j
Let j = 17/7 + -95/42. Let m(x) = x**2 - 11*x - 7. Let l be m(12). Suppose -l*i + i - 3*z = 13, -z = -1. Sort i, 0, j.
i, 0, j
Let m = 45 + -126. Let s = -81 - m. Sort 3, -1/2, s, -0.4 in decreasing order.
3, s, -0.4, -1/2
Let b = -71 - -73. Let t = -0.044 - 0.156. Sort b, -1/2, t in descending order.
b, t, -1/2
Let w = 37 + -40. Let z = 4 + w. Put 5, 1/5, z, 2 in descending order.
5, 2, z, 1/5
Let z = -98 + 492/5. Let f = z + -1/5. Sort f, -7, 0.1 in increasing order.
-7, 0.1, f
Let q = 1.23 + -0.23. Put q, -0.5, 3 in increasing order.
-0.5, q, 3
Suppose -5*j = w - j - 2, 2*j + 20 = 3*w. Let b be 2 + -2 + w/(-8). Suppose 0 = 2*o - 4*o - 3*g - 1, -5*g + 15 = 0. Sort 4, b, o.
o, b, 4
Let t = -268 - -267.9. Let h be (-23)/56 - (-4)/14. Sort h, -0.3, t in descending order.
t, h, -0.3
Let l(h) = 10*h - 56. Let c be l(8). Put c, -3, 2 in descending order.
c, 2, -3
Suppose 0 = -3*y - r + 1, 2*y + 3*r = -r - 6. Let o be y - (7 + (-1)/1). Suppose 5*t - t = 12. Put o, t, 1 in ascending order.
o, 1, t
Let w = -385 + 381. Sort -0.2, w, -0.6 in descending order.
-0.2, -0.6, w
Let r(a) = a**2 - 6*a + 14. Let b be r(6). Let s be 8/b + (-146)/(-210). Let x = s + -3/5. Sort -0.3, x, -5 in descending order.
x, -0.3, -5
Let z be 14/(-3)*(-18)/21. Suppose 2*a + 3*r - 6 = -3, -z*r = -12. Sort 1, -5, a, -2.
-5, a, -2, 1
Let a = 241.07 - 241. Put a, -2, -3 in descending order.
a, -2, -3
Let n be (-4)/(-6)*(4 + -7). Let f be 3 - (2 + (-4 - -6)). Sort f, n, 2 in ascending order.
n, f, 2
Let c = 266 + -271. Sort -19, 6/7, c, -3.
-19, c, -3, 6/7
Let a = 7.3 + -7. Sort a, 0.1, 1, -7/4 in decreasing order.
1, a, 0.1, -7/4
Let c be 0*((-6)/(-4) - 2). Suppose -5*p + 5 + 15 = c. Let x(k) = k**3 + 6*k**2 - 14*k + 13. Let q be x(-8). Sort p, 5, q.
q, p, 5
Suppose -3*o + 25*d + 100 = 29*d, 4*d = -8. Put 3, -2, o in descending order.
o, 3, -2
Let j be 1/(-11 + 11 - 2/(-10)). Sort -26, 2, j in descending order.
j, 2, -26
Let c = -0.054 + 20.054. Sort -0.3, c, 7.
-0.3, 7, c
Let n = -3 + 3.4. Let d = -68.03 + 67.93. Sort 10, d, n, -0.5 in ascending order.
-0.5, d, n, 10
Suppose -5*z = 5*u, -2*z + 2*u = 7*u + 15. Let m = -2463 + 2465. Sort z, m, -1.
-1, m, z
Let r = -3.1 + 3.42. Let n = 0.68 + r. Put n, -1, -5 in descending order.
n, -1, -5
Let d = 1811 - 1812. Sort 0.1, d, 9 in decreasing order.
9, 0.1, d
Suppose k + 3*t = 6*k + 5, 3 = -3*k - 3*t. Let l be (1 - 3) + (1 - 1). Let f be 0/1 + 0 + 1. Put f, l, k in increasing order.
l, k, f
Let b = -31.78 + 32. Let m = b + 0.28. Sort m, 0, 17.
0, m, 17
Let l = -4 - 0. Suppose -2*d - 11 = 2*r - 5*d, 13 = 2*r + 5*d. Let w be (r + 24/20)/((-3)/(-15)). Sort w, 3, l in increasing order.
l, w, 3
Let z = -0.6 + 0.9. Let q = -947 + 947. Put q, z, -3/2 in decreasing order.
z, q, -3/2
Suppose 2*u = 4*g - 70, -5*u = -0*g - 4*g + 193. Let a = -161/4 - u. Let w be 3/(-14)*(-8)/(-6). Put a, -3, w in decreasing order.
a, w, -3
Let q = 0.2382 - 0.1382. Sort -11, -0.02, 2/15, q in decreasing order.
2/15, q, -0.02, -11
Suppose 17 + 0 = 5*t + 2*w, 2 = 2*w. Sort 80, t, 4, 0.5 in increasing order.
0.5, t, 4, 80
Let t = -119 - -116. Sort t, 40, 5 in ascending order.
t, 5, 40
Let y be 43/3 + -4 - (-20)/(-15). Sort 1, 0.05, y in decreasing order.
y, 1, 0.05
Let t(a) = -45*a - 139. Let y be t(-3). Put -2, 14, -3, y in increasing order.
y, -3, -2, 14
Let m be (-6)/(-27)*3*21. Let b = 13 - m. Let n = 0.3 + -0.3. Sort n, b, 3 in ascending order.
b, n, 3
Let k = -53 - -53.4. Sort k, 2/31, -4, 4/9.
-4, 2/31, k, 4/9
Let s(n) = -36*n - 324. Let l be s(-9). Sort l, -5, -3, -1.
-5, -3, -1, l
Let c(i) = -2*i**2 - 74*i + 147. Let a be c(2). Put 0, 13, a in decreasing order.
13, 0, a
Let x = 15.2 + 2.8. Let z = 513 + -514. Put 1/4, x, -3/7, z in descending order.
x, 1/4, -3/7, z
Let l = 12.5 - 18. Let x = l - -5.5. Let h = 0.2 + -0.4. Sort x, -0.5, h in ascending order.
-0.5, h, x
Let i = -563 - -561.4. Put i, -4/11, -5 in decreasing order.
-4/11, i, -5
Let m be (-10)/((-100)/6)*(-2)/6. Put -9, 0.1, m in descending order.
0.1, m, -9
Let l(q) = -28*q**3 + 7*q**2 + 4*q + 1. Let r be l(-1). Sort -5, r, 0, -1 in increasing order.
-5, -1, 0, r
Suppose 0 = v + 17 - 12. Put -4, 6, v in increasing order.
v, -4, 6
Let y = -1021.7 + 1022. Let r(j) = -2*j**2 + j + 1. Let m be r(-1). Let g be m/4*0/1. Put g, 3, y in ascending order.
g, y, 3
Let y be 2 + (4/6)/((-2)/(-3)). Let c be 5/((-15)/2)*(y - 0). Put 5, 3, -5, c in ascending order.
-5, c, 3, 5
Let l be -5*((-18)/(-15))/(-3)*1. Suppose 0 = y - 5 + l. Sort y, 0, 15.
0, y, 15
Let x(k) = 3*k**2 + 3*k + 9. Let s be x(-4). Let z = s - 46. Sort -7, 0.2, z, -0.5.
-7, z, -0.5, 0.2
Let n be (9 - (-1624)/(-182))/(1*-87). Put 3, 2/11, n in descending order.
3, 2/11, n
Let y = -24 + 26.6. Sort -2/5, -1/2, y.
-1/2, -2/5, y
Let s(v) = v - 5. Let h be s(13). Let j be (h/(-90))/((-6)/15). Sort -4, j, -0.4 in ascending order.
-4, -0.4, j
Suppose 0 = 4*j - 3 - 1. Suppose j + 7 = -2*z + 4*x, -5*z + 4*x = 20. Let a be ((-310)/(-70) - 4) + (-11)/(-7). Put a, 4, z in decreasing order.
4, a, z
Let g be 3/((-7)/(-98)*-6). Let k(o) = 2*o**2 + 17*o + 16. Let i be k(g). Suppose 0 = -2*s + 2, 5*s - 8 = -2*a + s. Sort i, a, 0 in ascending order.
i, 0, a
Suppose 0 = -w + 5 + 12. Suppose 2 = -5*m + w. Let q = 0.3075 - 0.7075. Sort m, -5, q in increasing order.
-5, q, m
Let n = -0.353 + 0.553. Put 0.5, -5/6, -1, n in decreasing order.
0.5, n, -5/6, -1
Let t = 14 - 7. Suppose o = d - 0*o - t, -13 = -3*d + o. Suppose a - 10 = 3*a - 2*c, -4*a + 2*c = 12. Sort a, d, -3 in decreasing order.
d, a, -3
Let k = -1.3 - -0.3. Let n be -46*(-2)/168*-2. Let d = n - -2/3. Put d, k, 1 in ascending order.
k, d, 1
Suppose 2 = 4*z + 5*p, 0 = -6*p + 8*p + 4. Put z, 17, 4 in descending order.
17, 4, z
Let r = 5 - 6. Let c = -3 + -1. Put r, c, 2 in decreasing order.
2, r, c
Let l = 0.0215 - -1.9785. Sort 0, l, -7/3 in decreasing order.
l, 0, -7/3
Suppose 3*q - 7 = u - q, 2*u - 2*q = -8. Sort 36, u, 13 in decreasing order.
36, 13, u
Let h = 11/48 - -1/48. Sort 20, h, 0 in descending order.
20, h, 0
Let v be (5/25)/(6/(-15)). Sort 4, v, -1/26 in decreasing order.
4, -1/26, v
Let u = -449.5 + 449. Put 0.7, 0.2, 0.4, u in decreasing order.
0.7, 0.4, 0.2, u
Let n = -6 - -3. Let h = -2.2 - -0.2. Sort n, -0.4, h, -4 in ascending order.
-4, n, h, -0.4
Let c(p) = 14*p - 304. Let t be c(24). Sort -1, t, -5 in decreasing order.
t, -1, -5
Suppose u - 4 = -1. Suppose 0 = -4*x - 2*p - 6, u*x + 26 = -x + 2*p. Sort x, -1, 3 in decreasing order.
3, -1, x
Let i = 209.1 + -208. Sort 2/7, i, -3 in descending order.
i, 2/7, -3
Suppose 4*n - 20 = s, -5*s - 34 = -3*n - 19. Put 3, -7, n, -2 in descending order.
n, 3, -2, -7
Let y = 6 - 9. Let p = 8 + y. Let f = -58/399 - 8/57. Put f, -0.4, p in descending order.
p, f, -0.4
Let o = 1552 + -1538. Put 4, 5, o in decreasing order.
o, 5, 4
Let y(i) = -i**2 - 11*i + 2. Let v be y(-6). Let c = v + -32. Sort c, -2, -3 in decreasing order.
c, -2, -3
Suppose 17*n - n = -10*n. Sort -4, -53, n in descending order.
n, -4, -53
Let b(o) = 8*o**2 + 9*o + 32. Let t be b(0). Sort -3, 4, t, 3 in descending order.
t, 4, 3, -3
Let c = 7 + -8. Let i(f) = -f**3 + 28*f**2 - 27*f - 3. Let y be i(27). Sort -4, -5, y, c in decreasing order.
c, y, -4, -5
Let t = -4.78 + 4.82. Sort 4, t, 0, 2/3 in ascending order.
0, t, 2/3, 4
Let s be 5*((-99)/(-18))/(2/4). Put s, -2, 2 in ascending order.
-2, 2, s
Suppose -o = -2*o + 5. Suppose -25 = -2*p - o*h - 0, -4*p + 5*h = -5. Let z be 114/(-30) + ((-1)/5 - 0). Put 3, p, z in decreasing order.
p, 3, z
Let l(d) = 4*d - 174. Let z be l(38). Put -3, -5, -1, z in decreasing order.
-1, -3, -5, z
Suppose 5*w = 5*n + 75, -5*w - 2*n = -76 - 20. Suppose -30*y = -33*y - w. Sort y, 5, -1.
y, -1, 5
Let v(s) = -12*s