 -2*h - 2*f. Sort 13, 2, h, 1 in increasing order.
1, 2, h, 13
Let y be (6/(-5))/((-33)/(-550)). Let v be (48/132)/(-2) - y/(-11). Sort v, 3, 24 in ascending order.
v, 3, 24
Let v = -3603 + 3603. Sort 3, v, -12, 17 in decreasing order.
17, 3, v, -12
Let f = -48 + 54. Let s(b) = -b**3 + 9*b**2 - 18*b - 10. Let p be s(f). Let h be 6/(-16) - 26/16. Put 0, h, p in decreasing order.
0, h, p
Suppose 0 = 3*u + 2 - 17. Let n be 3*(12/u + 3/5). Suppose n*j = 4*j + 10. Sort j, 1, -3.
-3, 1, j
Let w = -15525 - -15529. Let k(x) = -x - 7. Suppose 17 = -2*d + 5*q, -d - q - 3 - 2 = 0. Let s be k(d). Put s, w, -26 in descending order.
w, s, -26
Suppose -59*j - 39 = -n - 54*j, 11 = -6*n - 5*j. Let k = -21 - -48. Suppose 5*v = 4*c - 17, -c + 5*v = -2*c - k. Sort n, 2, c in descending order.
n, 2, c
Suppose 85*a - 24 = 77*a. Suppose -6 = -a*z, m - z + 11 = 2*z. Put -2, m, -36 in decreasing order.
-2, m, -36
Let u = -24.46 + 23.96. Sort -26, u, 4.
-26, u, 4
Suppose 894*w - 12 = -3*m + 891*w, -9*w + 54 = 3*m. Sort 242, m, 28 in increasing order.
m, 28, 242
Suppose -4*i + 3*l + 73 = 118, -2*l = 5*i + 16. Put 4, 3, 2, -2, i in decreasing order.
4, 3, 2, -2, i
Suppose 0 = -3*s - w - 1, -15*w - 20 = -10*w. Sort -7, 2, s, -2, 4.
-7, -2, s, 2, 4
Let v = -5603 - -5600. Sort 2/167, v, -0.5 in increasing order.
v, -0.5, 2/167
Suppose 4*n + 4 = 4*m - 24, -m = 4*n + 3. Let a = 138 - 132. Suppose 2*d + a = -4*f, 4*d - 8*f - 40 = -3*f. Put 4/3, n, d in descending order.
d, 4/3, n
Let n = -0.08 + -9.92. Let q be (-1)/(-5)*(-5)/4. Let r = 4.94953 + 0.05047. Sort q, n, r in ascending order.
n, q, r
Suppose 126 = -51*c + 381. Put -0.01, c, -5, 0.7, -4 in increasing order.
-5, -4, -0.01, 0.7, c
Suppose -c - 4 = 4*i, -7*c = 2*i - 12*c + 24. Sort i, 2, -199 in decreasing order.
2, i, -199
Let t = -2986 + 2997. Sort -4, t, 2, -2 in descending order.
t, 2, -2, -4
Let j(v) = v**3 + 13*v**2 - 14*v + 19. Let f be j(-14). Suppose -f*u - 10 = -21*u. Sort -1, 0.5, u, -4/27 in decreasing order.
u, 0.5, -4/27, -1
Let u = 3 - 2. Let w = -15220 + 15224. Sort -5, w, u in descending order.
w, u, -5
Let k be 1534/(-182) + (-4 - -15). Sort -1/10, k, 4/3, 2 in increasing order.
-1/10, 4/3, 2, k
Suppose -57*s + 12 = -3*t - 55*s, 10*t - 6 = -s. Let z be 0 - 1 - 1 - -6. Let n be ((-10)/(-6))/(2/(-6)). Put z, t, n, -11 in decreasing order.
z, t, n, -11
Let n = -2.1165 + 0.1165. Let v be 8/6 - (15 - 14). Sort -4, n, v in increasing order.
-4, n, v
Let y = -467 + 470. Sort -4, y, 271 in increasing order.
-4, y, 271
Let c be ((-192)/(-72))/4*2/(-8)*3. Sort 0.1, 1/9, -1/4, c, -0.8 in decreasing order.
1/9, 0.1, -1/4, c, -0.8
Let b(i) = -604*i + 2434. Let t be b(4). Sort 4, 1, 3, t, 8.
1, 3, 4, 8, t
Suppose 5*y + 3*l - 7 = 0, 3*y - 5*l = y + 9. Put -22, 1, y in descending order.
y, 1, -22
Let t = -5.8 + 1.5. Let d = -4077 - -4076.8. Sort d, 2/3, t, 4.
t, d, 2/3, 4
Let k be 620/50 + 2/(-5). Suppose 0 = 4*b - 0 - k. Let p(t) = -t**3 + 15*t**2 - 13*t - 1. Let l be p(1). Sort 4, b, l in ascending order.
l, b, 4
Let n = -169 - -341. Let u = n - 168. Sort -2/9, u, 2.
-2/9, 2, u
Let d = -0.335 + 0.255. Put -0.1, -2/3, -2, -40, d in increasing order.
-40, -2, -2/3, -0.1, d
Let o be (1/(-2))/(15/(-60)). Suppose -5*w - 21 = 2*i, -3*i + 3 = w + o. Let j = 20 + -16. Sort -6, j, w in increasing order.
-6, w, j
Let r = -62 - -62. Let g(i) = 18*i - 41*i - i**2 - 7 + 16*i + r*i**2. Let v be g(-6). Put v, 1, -4, -5 in ascending order.
-5, -4, v, 1
Let v = -2.431 + -1.569. Put v, 5/2, 5, -0.5, -2/13 in decreasing order.
5, 5/2, -2/13, -0.5, v
Suppose -14*z - 8*z + 5346 = 0. Let r = 238 - z. Sort 1, -3, r in decreasing order.
1, -3, r
Let w = 6169 + -43185/7. Sort w, 2/9, -1/3, -19.7 in descending order.
2/9, w, -1/3, -19.7
Suppose 2*l + 2*n + 6 = 0, 3*l = n - 0*n - 17. Let k = -1588 - -3040. Let r = k + -1450. Put l, r, 4 in ascending order.
l, r, 4
Let r = 0.16 + -1.11. Let w = r + -0.05. Put 0, w, -0.05, 0.1 in decreasing order.
0.1, 0, -0.05, w
Let s be 8/((-2)/(-10)*95/(-76)). Let i(q) = -2*q**2 - 65*q - 47. Let c be i(s). Put -0.15, -2/7, c in increasing order.
c, -2/7, -0.15
Suppose -3*x - 4*s = -0 - 20, -2*s = -x + 20. Suppose 4*u = 6*u + x. Let q be (-2)/24 + 1/u. Put 2, q, 2.4, 0 in decreasing order.
2.4, 2, 0, q
Let b = -28 - -3. Let f = b - -20. Let u = -3.944 + -0.056. Sort 0, f, u, -0.1 in increasing order.
f, u, -0.1, 0
Let x(a) = 28*a - 3. Let z be x(-5). Let s be z/(-39) + (-1)/(-3). Suppose -s*n = -6*n. Put -5, 1, n in increasing order.
-5, n, 1
Let t = 2493 + -2318. Sort -3, -1, -5, t.
-5, -3, -1, t
Let i = -1.35 + -223.65. Let v = -224.5 - i. Sort 10, -3, 1, v in descending order.
10, 1, v, -3
Let k be 675/27 + -34 + ((-603)/(-21))/3. Suppose -5*r + 0*r = 90. Sort r, 2/3, k in ascending order.
r, k, 2/3
Let s be 6*9/18 + (-42 - 2). Suppose 4*b - 162 = -2*y, -2*y - 86 = -2*b + 2*y. Let l = s + b. Sort -3, 4, -11, l in decreasing order.
4, l, -3, -11
Let z be (-2)/(-3) + 12/(-45) + (-555)/75. Put 9, z, -1.3 in descending order.
9, -1.3, z
Let o(v) = -2*v**2 - v - 2. Let f be o(-2). Let r = 663 - 474. Let q = 184 - r. Sort -0.3, -0.1, q, f in descending order.
-0.1, -0.3, q, f
Let x = 61.467 + -61.8. Let o = x + 13.333. Put -2, 2/7, 2/5, o in increasing order.
-2, 2/7, 2/5, o
Let l be (-24)/(-15) + (-22)/(-55). Sort l, -2, 81 in increasing order.
-2, l, 81
Let d be -3*(61 + -59 + 2/(-3)). Sort 5, 0, d, -8, 2.
-8, d, 0, 2, 5
Let w be (-12)/(-54) - 361/(-117). Put -2, w, 2/7 in descending order.
w, 2/7, -2
Let u be 1*((-36)/(-96) + 11/(-72)). Let r(c) = -c**3 - 18*c**2 - 70*c + 22. Let o be r(-12). Sort 7, u, -4, o.
-4, o, u, 7
Let z = -370 + 374. Suppose z*x + 16 = 0, a + 5*x + 21 - 5 = 0. Sort a, 2, -52.
-52, 2, a
Suppose 0 = -17152*m + 17156*m + 8. Let q(n) = -4*n - 7. Let x be q(-4). Let k = -10 + x. Sort -4, 5, k, m in decreasing order.
5, k, m, -4
Let p = -400 + 196. Let a = p - -126. Let m = a + 84. Put m, 3, 0.1 in increasing order.
0.1, 3, m
Let g = 68 - 39. Put g, 262, -4 in decreasing order.
262, g, -4
Let j be ((-1)/(-3))/((-1)/(-3)). Let o(b) = -b + 25. Let r be o(16). Suppose 17*q - r = 14*q. Put 6, q, j, 2 in decreasing order.
6, q, 2, j
Suppose c - 1 = 6. Suppose 5*r + 25 = 0, -2*g - c + 2 = r. Suppose 11*t - 3*t = g. Sort t, 7, -1 in increasing order.
-1, t, 7
Let u = 23.9 - 24. Let p = -105.3 + 105.6. Sort p, -0.03, -2/21, u.
u, -2/21, -0.03, p
Let r(y) be the first derivative of 12*y**2 + 119*y - 91. Let t be r(-5). Sort -4, t, -3, 0.
-4, -3, t, 0
Suppose -3*o - 3*w - 3 - 9 = 0, 5*o - 2*w = 1. Put 563, o, -5 in descending order.
563, o, -5
Let d = -3.92883 - 0.07117. Put -0.145, 2, d, 4 in ascending order.
d, -0.145, 2, 4
Suppose s + 5*r + 21 = 0, 5*s - 2*r + 5*r + 17 = 0. Let b(q) = 5*q - 20. Let p be b(5). Sort s, p, -5, -4 in descending order.
p, s, -4, -5
Let i(c) = -50 - c**3 + 2057*c - 2055*c - 4*c**2 + 28*c**2. Let a be i(24). Suppose -5*m - 24 = -4. Put -5, m, a in descending order.
a, m, -5
Suppose 0 = 2*b - 2 + 10. Let u = b + -8. Let r be (-9)/((-1539)/(-38) - 36). Put -3, r, u in increasing order.
u, -3, r
Suppose -3*l = 3*g + 18, 2*g + 15 = -4*l + 7*g. Let w = -341 - -341. Let v = 2.4 - 2. Put -4, w, v, l in descending order.
v, w, -4, l
Let z = 10492 - 10497. Let v = -9.6 + 0.6. Put 3, z, -0.1, v in decreasing order.
3, -0.1, z, v
Let q = -1 - 0. Let u(k) = -k**2 + 4*k - 3. Let p be u(2). Suppose 112 = -0*x - 19*x + 74. Put p, -7/4, q, x in decreasing order.
p, q, -7/4, x
Let j = 2079 - 2150. Let i = 0.02 + -3.02. Put i, 3/7, j, -0.1 in descending order.
3/7, -0.1, i, j
Suppose 371 = 7*w + 399. Suppose -4*i - 2 = -5*i. Sort w, -2, i, 24 in decreasing order.
24, i, -2, w
Let z be (18/8)/((207/92)/3). Sort 19, -176, z in increasing order.
-176, z, 19
Let n(x) = x**3 - 18*x**2 + 41*x - 23. Let z be n(16). Let t = 121 - z. Sort t, -4, 4, 5 in descending order.
5, 4, t, -4
Let u = 47 - 48. Suppose 0 = 27*g - 35*g - 32. Sort u, 4, g.
g, u, 4
Suppose -2*a - 18 = 2*v, -4*v - 31 = -2*a + a. Let u = 0.131 + 20.269. Let h = 16.4 - u. Sort v, 0.4, h.
v, h, 0.4
Let l = -38 + 38.4. Let v be 264/(-1188) - (-20)/9. Put v, -5, l in increasing order.
-5, l, v
Let d = -74.63 - -74.682. Sort 7, 5, d, 0.3 in ascending order.
d, 0.3, 5, 7
Let q = 0.062 + -0.162. Let r = 2.9 - q. Put 1/7, -0.3, r i