= 139*h + 4432. Let d be w(-32). Put -1, d, -18, -4, -3 in decreasing order.
-1, -3, -4, d, -18
Let x be (-236)/(-9) - (138/(-1863))/((-1)/3). Sort 3, x, -5, 2.
-5, 2, 3, x
Let f be (-8)/12*-1*6/(-2). Let o = -2 + f. Suppose w - 3*z + 0*z + 2 = 0, -5*w - 2*z = 10. Put o, w, 1, 4 in decreasing order.
4, 1, w, o
Suppose 7*m + 198 = 121. Put 2/5, m, -2, 6/7 in decreasing order.
6/7, 2/5, -2, m
Let q = -5 + 6. Let f = 5.011 - 4.511. Sort q, f, 0.03 in descending order.
q, f, 0.03
Suppose -14*a + 23 = 9. Sort -18, 3, 10, a.
-18, a, 3, 10
Let j = -8.6 + 11.4. Put 0, -2/13, 3/7, j, 3 in ascending order.
-2/13, 0, 3/7, j, 3
Let h = 2/95 + -483/380. Let y = h - -1. Let w = -377 - -376.8. Put y, 0.09, w in decreasing order.
0.09, w, y
Let c(h) = -h**2 + 14*h + 15. Let b be c(15). Let f = 8.9 - 46.9. Let k = -34 - f. Put k, -3, b in descending order.
k, b, -3
Let s(g) = 2*g**3 + 41*g**2 + 24*g + 82. Let f be s(-20). Sort -11, 0, 5, f in increasing order.
-11, 0, f, 5
Let u(s) = s**3 - 18*s**2 + 18*s + 2. Let j be u(17). Let f be (-10 + j)*2/6. Suppose -f*y = -5*r - 13, -r + y = 2 - 1. Put -3, -4, 5, r in increasing order.
r, -4, -3, 5
Suppose 3*o - 9 = -2*c, 0*c - 4*o - 10 = -c. Let d be ((-1440)/(-69))/c - 4. Let j = d - -62/207. Put 0.4, 1, j in ascending order.
j, 0.4, 1
Let z = 33.8 - 32.8. Suppose g = 2*y + 10, g + 5*y + 40 - 15 = 0. Let v = 12485/6 - 2080. Sort z, v, g in descending order.
z, v, g
Let y = 0.4269 + -4.4269. Let w = 43 + -62. Put 3, y, w in decreasing order.
3, y, w
Suppose 15 = -5*f - q, 66 = -4*f + 19*q - 9*q. Suppose -x - 1 = -2. Let a = 2 - x. Sort a, f, 3 in ascending order.
f, a, 3
Let h = -0.45 - -119.45. Let k = h + -118. Put 3/5, k, -3, 0.5 in ascending order.
-3, 0.5, 3/5, k
Suppose -1866 + 326 = 11*m. Let l be 4/(-30) + m/75 - 1. Put 8, 0, 1, l in decreasing order.
8, 1, 0, l
Let h = -11 - -10.8. Let q = 94 - 148. Let m = -53.82 - q. Put h, -1, m in ascending order.
-1, h, m
Let f = -6912 + 6912.087. Put -0.3, f, 0, 0.5, -1/5 in decreasing order.
0.5, f, 0, -1/5, -0.3
Let a = -1761 - -1755. Sort 495, a, 3, 4, -3.
a, -3, 3, 4, 495
Let i be (3 + 0 + -4)*6. Let v be i + 3 + -3 + 1. Let z = 22.19 + -13.19. Put -2, z, v in decreasing order.
z, -2, v
Let g be 6/(-21)*-28 - 11. Sort -1, 3, 2/29, g.
g, -1, 2/29, 3
Let p be (2/(-624))/((-86)/(-387)). Let j = p - 187/1456. Put j, 5, 7 in decreasing order.
7, 5, j
Suppose -3*y - r = 8, 3*r + 12 = 6*r. Suppose 3*g + 0*g + 3 = 0, -2*m = -3*g - 7. Let k be (3*10/(-3))/m. Sort y, -3, k in descending order.
-3, y, k
Suppose -33*c - 262 = -12*c - 220. Put -1, 2, c, -65, -3 in decreasing order.
2, -1, c, -3, -65
Suppose 3*k + 2*u = 6, -3*k - 5*u + 16 - 1 = 0. Suppose 553*f + 165*f + 174*f - 4460 = 0. Let s(q) = q - 10. Let l be s(6). Put f, k, l in decreasing order.
f, k, l
Let r(b) = -b**3 - 15*b**2 + 2*b + 26. Let o be r(-15). Let j be ((-602)/(-28))/((-15)/(-6) - 2). Let k = -42 + j. Put o, 0, 3, k in ascending order.
o, 0, k, 3
Let q = -442/87 + 360/29. Sort -6, -4/7, q.
-6, -4/7, q
Let f = 0.122 + 251.378. Let j = 252 - f. Sort j, -1, 7.
-1, j, 7
Let t = -1 - -3. Suppose 2*l + 2*y = 7*l - 750, -l + y + 153 = 0. Let a = 143 - l. Put -2, 4, a, t in decreasing order.
4, t, -2, a
Suppose -4*v + 15 = 7*c - 8*c, 35 = 3*c + 4*v. Let y = -5 + 20. Suppose -5*u + 0 = -y. Sort c, -4, u.
-4, u, c
Suppose -4 = 5*a - 14. Suppose -3*g - 16 = 5*c - 6, -a*g = 2*c. Sort -26, -1, c in descending order.
-1, c, -26
Let u = -15461 + 15458. Sort -5, 9, u, -617 in descending order.
9, u, -5, -617
Let a = 5884 - 5929. Put a, 2, -3, -4, 6 in increasing order.
a, -4, -3, 2, 6
Let c = -3323 + 3322. Sort -5, c, 4 in decreasing order.
4, c, -5
Let a(n) = -n**3 + 37*n**2 - 213*n + 24. Let p be a(7). Suppose 0 = -5*b + 4*b + 19. Put p, b, 2, 4 in increasing order.
2, p, 4, b
Let y = 3457/3 + -4611/4. Put -1, -58, y in descending order.
y, -1, -58
Let u = -0.08287 + 270.08287. Sort -0.3, u, 3 in descending order.
u, 3, -0.3
Let y = -1062 - -7412/7. Put -0.09, y, -5, -1, 4 in descending order.
4, -0.09, -1, y, -5
Let p = -171/22 - -2863/374. Put -0.1, 7, 2, p in decreasing order.
7, 2, -0.1, p
Let r = 3 + -6. Let a = 31.56 + -32.56. Put r, a, -2, 3 in ascending order.
r, -2, a, 3
Suppose 0 = 4*g - 6 - 2, 5*x + 2*g - 4 = 0. Suppose x*s + 2 = 2*s. Suppose -3*l = 2*l. Put 2, s, l, 0.1 in increasing order.
l, 0.1, s, 2
Let w = 22 + -12. Suppose w*h = -200 + 30. Suppose 4*a + 1 = 3*a. Sort a, h, 0 in ascending order.
h, a, 0
Let k(c) = -c**3 + 29*c**2 - 74*c + 540. Let j be k(27). Let w = -6 - -3. Sort j, 2, -16, w in descending order.
2, j, w, -16
Let n = 10.5 + -10. Let x be -24*18/(-432)*4/442. Put 0, n, 3/2, x in decreasing order.
3/2, n, x, 0
Let u(m) = -72*m - 3247. Let g be u(-45). Sort 51, g, 1 in decreasing order.
51, 1, g
Suppose -z - 2*j - 3 = 0, -2*j - 4 - 2 = 0. Let l = 3001/10479 - 1/1497. Put z, -6, l in descending order.
z, l, -6
Suppose -b = -4*o - 3, -3*o - b = -0*o - 3. Suppose -8*u + 3*u = o. Suppose u*s - 9 = 4*i + 3*s, -i = 5*s - 2. Sort 4, 5, i in decreasing order.
5, 4, i
Let p = 3536.9 - 3537. Sort -3, 0.11, -1/3, p, -0.7.
-3, -0.7, -1/3, p, 0.11
Let h(o) = -2*o**3 + 3*o**2 - o - 3. Let f be h(3). Let q = -5636 - -5633. Sort 1, f, q, -4 in increasing order.
f, -4, q, 1
Let z = 0.492 - 0.56. Let g = -12.932 + z. Let h = 15 + g. Sort h, -2/7, 17 in increasing order.
-2/7, h, 17
Let z(v) = 2*v**2 - 11*v + 7. Let b be z(4). Let p be (b/(-75)*4)/(2/(-5)). Let l = 0 + 0.3. Sort -3, p, l in decreasing order.
l, p, -3
Let u = -22.1 + 17.6. Let v = u + 4.4. Let q = -2 + 5. Put v, q, -5 in ascending order.
-5, v, q
Suppose 0 = 114*i + 622 + 1428 - 226. Sort i, -28, 0.
-28, i, 0
Let a = -1 + -4. Let u = -0.038 + 30.938. Let g = u + -31. Put a, 0.5, g in decreasing order.
0.5, g, a
Let y(w) = w**3 - 53*w**2 + 152*w - 96. Let i be y(50). Put -114, i, -1 in ascending order.
-114, -1, i
Let q(n) = -3*n + 11. Let l be q(5). Let v = -72 - -79. Let x = v - 6. Put x, l, 5 in descending order.
5, x, l
Suppose 4*p + 2*t + 8 + 2 = 0, 5*t - 11 = 2*p. Let h be (-52)/(-104)*(1 - 3). Sort 36, p, h.
p, h, 36
Suppose h + p - 3 = 2*p, -2*h - p + 9 = 0. Suppose 5*l - 12 = 3*l - m, 3*l + 5*m - 39 = 0. Sort l, 6, h, 2.
2, l, h, 6
Let m = 16 - 11. Let c(i) = -i**3 + 5*i**2 + i - 10. Let z be c(m). Let t = 3.73 - 4.13. Sort t, z, 5, 0.
z, t, 0, 5
Suppose -2*a = -3*u + 2, 90*u - 94*u - 9*a = 44. Sort 8, u, 18, 1 in decreasing order.
18, 8, 1, u
Let r(j) = -j - 1. Suppose -z + 4*x = 21, 4*z - x = 2*x - 32. Let m be r(z). Let t = 296 - 296. Sort -2, m, t in decreasing order.
m, t, -2
Let c = 1/65742 + 131473/723162. Let f be (-1)/(-3)*(2 + -4). Sort -0.03, f, c in decreasing order.
c, -0.03, f
Suppose -9 = -4*d - 2*m + 9, d - 3*m - 8 = 0. Let a be (-26)/22 + -1*2/(-11). Let n(p) = p**3 - p**2. Let w be n(2). Sort -5, w, a, d in descending order.
d, w, a, -5
Let i = -3178 - -3176. Put i, -449, 0 in descending order.
0, i, -449
Let z be 26/2 - (39 + -50). Put 3, z, -6 in increasing order.
-6, 3, z
Let n = 9.83 + -9.83. Sort -37, 2/17, n.
-37, n, 2/17
Suppose -69*c = -56*c - 52. Sort c, -7, -33 in descending order.
c, -7, -33
Let b(k) = -32*k - 862. Let r be b(-27). Sort -24, 3, 5, r in decreasing order.
5, 3, r, -24
Let t = -13422.07 + 13422. Sort 0.069, -5, t in ascending order.
-5, t, 0.069
Let j be 40/(-22) + (-6)/33. Put 16, j, 0, 1, 5 in decreasing order.
16, 5, 1, 0, j
Let m(g) = -2*g**3 + g**2 + 10*g + 2. Let n be m(0). Sort 7, 22, n.
n, 7, 22
Let j = 27 + -41. Let s = -1167 - -1167.5. Put 4, s, j, 3 in decreasing order.
4, 3, s, j
Let k(d) = -d**3 - 3*d**2 + 2. Let v be k(-3). Suppose 4*c = u - 11, -3*u - 17 = 3*c - v*u. Suppose -23 = -5*b + j, 4*b = 7*b + j - 9. Sort 0, b, 5, c.
c, 0, b, 5
Suppose -75*z + 580 - 3205 = 0. Put -2, z, 1, -9 in increasing order.
z, -9, -2, 1
Let k = 1565.2 + -1565. Sort 1, 0.5, k, -17.
-17, k, 0.5, 1
Suppose -9 = 2*d - 5*j + 6, 4*j = 4. Sort d, -9/4, -1/4.
d, -9/4, -1/4
Let t = 14651 - 14654. Sort -147, 0, t.
-147, t, 0
Let f be 3/(-5) - (-13)/5. Suppose 2*p + 0*p + 33 = 3*r, -2*r - p + 15 = 0. Let c be ((-6)/27 - (-4)/(-36))*r. Sort f, -2, 4, c.
c, -2, f, 4
Suppose 0 = 7*k - 11 - 185. Let r(g) = g - 30. Let i be r(k). Let h be (-3)/(2/4 - 2). Sort h, 3, i in decreasing order.
3, h, i
Suppose -