 - w. Sort w, 0, h in increasing order.
h, 0, w
Let w(s) = -2*s**2 + 65*s - 322. Let g be w(6). Sort g, 4, -2 in ascending order.
g, -2, 4
Let h = -9776 + 39103/4. Put 2/5, h, 1, 48 in ascending order.
h, 2/5, 1, 48
Let t = -2795 - -13981/5. Let v = -189 - -192. Put t, v, 1/4 in decreasing order.
v, t, 1/4
Suppose s - 3 - 2 = 0, -3*i - 4*s + 17 = 0. Sort i, -1/3, 2078, 3/2, -0.3 in increasing order.
i, -1/3, -0.3, 3/2, 2078
Let m(q) = -q**3 + 32*q**2 + q - 37. Let w be m(32). Suppose 0*v + v + 7 = 0. Sort w, v, 2 in descending order.
2, w, v
Let a = 0.361 + -0.361. Let l = -20.725 + -0.075. Let d = 21 + l. Put d, 2/7, a in decreasing order.
2/7, d, a
Let n = 3022/3 + -9068/9. Put 0.3, n, 0.8 in increasing order.
n, 0.3, 0.8
Suppose -2*i = -p + 7, i = 4*p - 6 - 15. Suppose 2 - 16 = -5*u + x, 4*x = p*u - 26. Put u, 5, 3, -8 in descending order.
5, 3, u, -8
Let z be 2/(8/96*8). Suppose -3*r - 4*p + z = 0, 2*r - 16*p = -11*p + 25. Put -2, r, 105, 4 in descending order.
105, r, 4, -2
Suppose -6*u = 114 + 114. Let p = u + 71. Let x = p - 28. Put -4, x, -3 in increasing order.
-4, -3, x
Suppose -25 = 5*t, -4 = -4*g - 5*t + 11. Suppose g*k - 4*r - 9 = 7*k, -5*k + 29 = -2*r. Let h be 2/4*((-126)/15)/k. Put 5, 1/4, h, 4 in ascending order.
h, 1/4, 4, 5
Let j be (-4)/6*((-54)/12)/(6/(-8)). Sort 9, 1, j, 53 in decreasing order.
53, 9, 1, j
Let n = 24040.086 + -23935. Let b = n - 0.086. Let m = 102 - b. Sort 4, m, 3 in descending order.
4, 3, m
Suppose 3*n - 4*f = 462, 2*n - 210 = 2*f + 96. Let y be ((-24)/10)/((-5)/(n/12)). Put -15, 0, y in increasing order.
-15, 0, y
Let j = 0.5068 - -148.5132. Let u = j - 149. Put 5, 4, u, 0 in increasing order.
0, u, 4, 5
Let r = -0.965 + 0.565. Put r, 2/7, 1/2, 85 in decreasing order.
85, 1/2, 2/7, r
Let z be 14/(-6) + 65/150 + (-2)/20. Let o = 2 + -2.4. Sort o, -5.1, z.
-5.1, z, o
Let j(c) = 4*c - c + 7 - 4*c + 2*c. Let x be j(-7). Let y be 0*(-1 - 0) + -2 + -1. Put -26, 3, x, y in increasing order.
-26, y, x, 3
Suppose -2*s = -4*q - 2, -3*s - q = 8 + 3. Sort s, -172, 30 in ascending order.
-172, s, 30
Suppose -23*d = 22*d - 180. Let k(q) = -q**2 + 3*q - q + 38 - 35. Let l be k(0). Put d, -1, l, 1 in descending order.
d, l, 1, -1
Let k = -2497.04 - -2497. Let r = 9.84 - -0.16. Let f = r + -6. Sort k, f, 0.4, -2 in decreasing order.
f, 0.4, k, -2
Let a = -37 + 82. Let y = -44 + a. Let k be (-140)/(-18) - (-8)/36. Sort 2, k, y in descending order.
k, 2, y
Suppose 0 = -5*n - 3*u - 10, 3*n + 2*u + 7 = 1. Let p(i) = -3 - 1 + 9 + 20 - 5*i. Let o be p(6). Sort o, n, -6 in decreasing order.
n, o, -6
Suppose 23 = -5*p + 4*g, -36*p + 3*g + 3 = -39*p. Suppose 0 = -15*j - 40 - 35. Let o(n) = n. Let l be o(2). Put j, p, l, -4 in ascending order.
j, -4, p, l
Let g = 11 + -6. Let c = -83605/10269 + -2/1467. Let a = 143/21 + c. Put g, -0.5, a in increasing order.
a, -0.5, g
Let o be (4 + 5 - 8)/(2/6). Suppose o*k - 11 = -g - 28, -4*g + 10 = -k. Let q be (-30)/56 + 4/14. Put 2, 0.3, k, q in decreasing order.
2, 0.3, q, k
Let z(v) = 102*v - 384. Let a be z(6). Sort a, 4, 0, -3 in decreasing order.
a, 4, 0, -3
Let f = 2984 + -2985. Sort f, -21, -4, 2 in decreasing order.
2, f, -4, -21
Let s be 5848/(-170) + -4 + 9. Sort -3, s, -5 in decreasing order.
-3, -5, s
Let x = -129.3 - 114.2. Let b = -243 - x. Put b, 2, 4 in descending order.
4, 2, b
Suppose -5*j + 210 = 5*l, 3*l - 187 + 61 = 4*j. Let p be 9*(1/(-1))/(42/(-3 - 11)). Sort 4, p, l in ascending order.
p, 4, l
Let j(y) = 186*y + 2603. Let s be j(-14). Let n be (2 - 3/2)*4. Sort n, s, 1, 4.
s, 1, n, 4
Let m(q) = q**3 + 12*q**2 + 3*q - 11. Let u be m(-12). Let x = 3937.1 + -3937. Sort 0.4, 3, u, x in descending order.
3, 0.4, x, u
Let l(n) = 32*n - 67. Let x be l(5). Let s = 185/2 - x. Let k be 6/28 + 3/(-6). Put -50, s, k in increasing order.
-50, s, k
Suppose 42*s = 3*h + 41*s + 7, -s = 3*h + 11. Sort h, -1, 244 in ascending order.
h, -1, 244
Let x be ((-348)/(-174))/((-1)/(-3) + -1). Suppose 0 = -8*o + 3*o + 10. Suppose -m - o*m - 15 = 0. Put x, -2/9, m, 0 in decreasing order.
0, -2/9, x, m
Let g = -4.9058 + -0.0942. Sort g, -2, -2/17, 2/13, 0.2 in descending order.
0.2, 2/13, -2/17, -2, g
Let w = -0.0372 + 0.4372. Put 289, w, -3/8 in ascending order.
-3/8, w, 289
Let z(u) = -u**3 - 60*u**2 + 1804*u + 1. Let i be z(-82). Suppose 3*g = -g. Put g, i, 4 in descending order.
4, i, g
Suppose 0 = -5*p + 3*h - 40 + 12, 0 = -p - 5*h. Suppose -w + 16 - 83 = 0. Sort w, -1, p, 0 in descending order.
0, -1, p, w
Let j = 975 + -974.6. Sort 0.5, 1/6, 2, j in decreasing order.
2, 0.5, j, 1/6
Let s = -1838/7 - -262. Let z be (-9 - ((-37387)/595)/7)/(8/40). Sort -1.3, 0.5, z, s in descending order.
0.5, z, s, -1.3
Let g be 3176/3573*9/2. Let l(m) = m + 1. Let f(w) = -w**2 - 6*w - 3. Let a(r) = f(r) - l(r). Let t be a(-5). Sort 3, g, t.
3, g, t
Let w = -117 + 2225/19. Let q = 88.8 + -89. Let b be ((-3)/(-5))/(6/(-4)). Sort q, b, w in increasing order.
b, q, w
Let i(q) = -10 - 53*q + 26*q**2 + 21*q - 33*q - 11*q**2 - 9*q. Let j be i(5). Sort 12, j, 4 in decreasing order.
12, 4, j
Suppose 2*w + 7*g = -38, 11*g + 10 = 2*w + 6*g. Put 4, w, -4, 29 in decreasing order.
29, 4, -4, w
Suppose 0 = g - 5*k - 64, -5*g + 4*k - 2*k + 228 = 0. Suppose -b + g = 10*b. Suppose -3*u - 4 = -2*q, b*q - 14 = 4*u - u. Put 1.3, q, -3 in descending order.
q, 1.3, -3
Let x = 0.61 - 0.31. Let c = 93 + -96. Let g = 49/165 - -2/55. Put 5, x, g, c in descending order.
5, g, x, c
Let u(q) = -2*q + 9. Let y be u(6). Suppose 2*b = -0*g - 2*g + 6, 2*g + 24 = 3*b. Put b, y, -4, 14 in decreasing order.
14, b, y, -4
Suppose -11 = 4*d - 43. Suppose 8*q - 40 = -8. Suppose q*p + 3*u - 28 = -0*u, -u + 12 = 2*p. Sort -4, p, d in ascending order.
-4, p, d
Let h(o) = -20*o + 93. Suppose 0 = 2*d - 8*d + 48. Let g be h(d). Put 0, 3, -3, g in decreasing order.
3, 0, -3, g
Let k = -13.396 - 0.428. Let c = k + -0.176. Sort 4, c, 0.1 in increasing order.
c, 0.1, 4
Suppose 1 + 114 = 115*i. Let c = 12 - 8. Let q = c - 7. Put q, -1, i, -2 in increasing order.
q, -2, -1, i
Let j(i) = 29*i - 11. Let b be j(2). Suppose -h + 9 = 4*o + b, 0 = 4*h + 8. Put o, 1, 5, -6 in increasing order.
o, -6, 1, 5
Let t be -6 + -13 - 90/(-9). Suppose 0 = 4*c + 3*p - 13, -4*c + 15 = -3*p - 4. Put c, 1, -3, t in descending order.
c, 1, -3, t
Suppose -5*x - 5*w = -30, -2*x + 71*w = 74*w - 16. Let a(m) = -4*m + 1. Let z be a(-1). Suppose -z*u + 22 - 2 = 0. Sort u, -3, x, 0 in descending order.
u, x, 0, -3
Let n = 952 + -952. Suppose k + k + 5*h = 14, 2*k = -h + 6. Put -4, n, -0.1, k in ascending order.
-4, -0.1, n, k
Let h = 0 + 8. Let z(t) = 333*t - 9635. Let y be z(29). Suppose h*m + 3*m = -y. Sort m, 5, -10.
-10, m, 5
Let p = 7 + -3. Let n = 1780 - 1786. Put p, n, 1, -1/2 in descending order.
p, 1, -1/2, n
Let v = -0.2875 - -0.6875. Sort -1/2, -2/9, -8, v, 0.03 in increasing order.
-8, -1/2, -2/9, 0.03, v
Let z be ((-2)/1)/(-4 + 6). Let b(i) = i**2 + 23*i + 4. Let f be b(-22). Let o be 3/(((-19)/(-57))/(4/f)). Put z, o, -5, -4 in descending order.
z, o, -4, -5
Let z = -0.976 - -0.956. Let o = 1.9 - 3. Let y = 0.1 + o. Sort 4, y, z, -1/5 in decreasing order.
4, z, -1/5, y
Suppose 91 = -5*j + 3*w, -3*w - 1 = -2*j - 32. Let n(q) = -q - 21. Let x be n(j). Sort x, -10/11, -3 in decreasing order.
-10/11, x, -3
Let j be (-2)/(-26)*(-460)/(-230). Let g be 6/(-36) - (-11)/(-42). Put 0.5, g, j, 4/13 in descending order.
0.5, 4/13, j, g
Let o = -0.5 + 0.2. Let x = 69 - 13. Let u be (-14)/6 - (-3 + x/21). Put -2/15, o, u in descending order.
-2/15, o, u
Let i = 8 - 11. Let f = -264.946 + 265. Let b = f - 0.254. Put i, b, 2/17 in decreasing order.
2/17, b, i
Let r = -2293.921 - -2291. Let j = r + -0.079. Let d be (-8)/28 + (-38)/(-84). Sort 2/13, d, 1/2, j in descending order.
1/2, d, 2/13, j
Let k = 105 + -107. Let d be ((-2)/(-16))/(k*3/(-12)). Sort 10, -1/5, d, 2/13 in decreasing order.
10, d, 2/13, -1/5
Suppose -2*b = -5*m - 1 + 7, 5*b = -15. Suppose -3*z + 2*x = m, -z + 4*x = z - 8. Sort 5, 12, z in decreasing order.
12, 5, z
Let m = -5316 - -5311. Put m, 3, 1/9, 1/3, 5 in descending order.
5, 3, 1/3, 1/9, m
Let g(i) = 2*i + 2. Let l be g(-1). Let m(k) = -k**3 - 4*k - 34. Let n be m(l). Sort 1, -2, n.
n, -2, 1
Suppose b = 3*i + 12, 27 = -5*i - 300*b + 304*b. Sort i, -13.6, 