). Put 1, -1, 17, w in descending order.
17, 1, w, -1
Suppose 28*g = 24*g - 12. Sort -4, 2, g in decreasing order.
2, g, -4
Let l be (-5)/((-130)/(-74)) + 3. Let a(u) = -u**2 + 9*u - 13. Let w be a(6). Let s be 120/(-16)*1/(w - -1). Sort s, l, -2/11.
s, -2/11, l
Let m be ((-29)/(-377) + (-888)/(-117))*6/(-2). Sort -8, m, 1, 2 in decreasing order.
2, 1, -8, m
Suppose 2*n - 4 = 6. Let l(u) = 487*u + 3399. Let f be l(-7). Sort f, n, 3 in decreasing order.
n, 3, f
Let y = -13818.6 - -13818. Sort y, -0.5, -8, -1.42 in increasing order.
-8, -1.42, y, -0.5
Suppose 5*r - 12 = 4*j - 7, -r - 5*j + 1 = 0. Put 17, 3, r, 15 in ascending order.
r, 3, 15, 17
Suppose -5*k = -r - 20, 0*k - 3*k + 12 = 5*r. Suppose 0*q - 3 = f + q, 0 = -k*f + 5*q - 30. Put 8, 5, f in decreasing order.
8, 5, f
Let o(l) = -l**3 - 27*l**2 + 2*l + 55. Let i be o(-27). Let d = 1217 + -1204. Sort 3, -2, i, d in decreasing order.
d, 3, i, -2
Let j(a) = 5*a**3 + a**2 - 9*a + 3. Let n = -73 - -75. Let q be j(n). Put 4, q, 1, -1 in ascending order.
-1, 1, 4, q
Let k = 8808 - 8815. Sort -17, k, 1, 4.
-17, k, 1, 4
Let o = -220/7 - -31. Let c = 0.028 - 0.028. Sort c, -2, -3/4, o in decreasing order.
c, o, -3/4, -2
Suppose -2*v - 51 = 3*v + 2*y, -2*v - 2*y - 18 = 0. Let z be 10/2 - (-11)/v*7. Put -5, z, 4, 3 in increasing order.
-5, z, 3, 4
Let f be (-5)/(-6)*642/(-30495). Put -5, -1/2, f, 3 in ascending order.
-5, -1/2, f, 3
Let c = -3636 - -3635. Sort 0, 29, c, -5, 7.
-5, c, 0, 7, 29
Let u = -2 + 3. Suppose u = -2*q + 7. Let y = 229860 - 229862. Sort 5, q, 6, y in decreasing order.
6, 5, q, y
Let u(d) = -d**2 - 7*d - 2. Let p be u(-7). Let n = 2256 - 2254. Put n, p, -1/6, 4/7 in increasing order.
p, -1/6, 4/7, n
Let n(z) = -z**3 - 4*z**2 + 23*z - 5. Let k(l) = -l**3 - 3*l**2 + 25*l - 6. Let t(j) = 6*k(j) - 7*n(j). Let p be t(-11). Put 3, p, -8, 2 in descending order.
3, 2, p, -8
Let b = 265.4 + -267.4. Let c = -0.19 - 15.81. Let i = 16 + c. Sort -2/21, i, b in ascending order.
b, -2/21, i
Suppose 3*h + h + 4*i = -4, 0 = 3*h - 5*i - 37. Let q(u) = -5*u + 35. Let v be q(7). Suppose -11*k + 846 = 271*k. Sort v, 1, k, h in increasing order.
v, 1, k, h
Suppose 0 = -t + 4, 15 + 0 = -g + 3*t. Let v be (-3)/(-4) + (7 - (-54)/(-8)). Let r be 3/9*0*v. Sort g, r, -2 in decreasing order.
r, -2, g
Let r = 0.993 + -1.0427. Let z = r + 0.4497. Put z, -0.5, -9, 0.1 in descending order.
z, 0.1, -0.5, -9
Suppose -117*q + 40 = -109*q. Let x be (-12)/(-4)*21/9. Suppose 3 = 4*h - x*h. Sort 2, -4, h, q in descending order.
q, 2, h, -4
Let r be ((-424)/(-9010))/(3/8 - 217/280). Sort -3/2, 0.1, 4, -3/4, r in increasing order.
-3/2, -3/4, r, 0.1, 4
Let m = 5.01 - 0.01. Let v = -58263/8 - -7283. Let h be 64/(-104)*2/8. Sort m, -2, h, v.
-2, h, v, m
Let x = -0.03062 - -0.13062. Let j = -0.03 - 0. Let c = 0.2 - 0.3. Sort j, x, c in descending order.
x, j, c
Suppose -j + 2 = 1. Let m be (5*(-1)/j)/(-1). Let c(a) = 39*a**2 + 547*a + 18. Let p be c(-14). Sort p, 1, m.
1, p, m
Suppose 16*g - 18*g = -1642. Let f = g - 5749/7. Sort 2, -3.9, 3, f in decreasing order.
3, 2, f, -3.9
Suppose -3*g = -12 + 3. Suppose f + 4*f + 40 = 0. Let b be 18/15*f/(-24). Sort b, 2, 1, g.
b, 1, 2, g
Let b(f) = -f**2 + 6*f - 2. Let i be b(5). Suppose 0 = 5*w, -p + w = -i*p + 20. Suppose -6 - 14 = -5*z, 0 = -2*q - z + p. Put 1, 5, q in descending order.
5, q, 1
Let m = -1/1799 + -8954/73759. Let j = m + -27/451. Put -2/15, -7, j in descending order.
-2/15, j, -7
Suppose 6 = 3*b - 9. Suppose 0 = -22*f + 25*f + 183. Let y = f + 64. Sort y, 4, b, 1 in increasing order.
1, y, 4, b
Let f be (-1)/2*(-1 + 1). Let m = -72.7 + -11.3. Let p = m + 83.8. Sort f, -1, p in decreasing order.
f, p, -1
Let r(m) = -6*m - 156. Let q be r(-26). Suppose 0 = k - 4*k + 4*w, -4*w - 12 = q. Sort 0, k, 5, 1 in increasing order.
k, 0, 1, 5
Let b = -37794 - -37815. Sort -11, b, 4, 19 in decreasing order.
b, 19, 4, -11
Let x(c) = c**3 + 12*c**2 - 14*c - 9. Let q = 77 + -90. Let h be x(q). Suppose -l + 3*r + h = 0, -5*l - 6 = 2*r - 4*r. Put l, -4, 3, 0 in descending order.
3, 0, l, -4
Let r = -68 + 69.9. Let l(d) = -d**3 + 21*d**2 + 98*d + 49. Let c be l(25). Sort -2, 4, r, c in increasing order.
-2, c, r, 4
Let b be 390/520 - 62/8. Sort -36, 0, b in ascending order.
-36, b, 0
Let q = -248 - -1732/7. Let c = -0.637 + 0.7. Let w = c - -4.937. Put 3, q, w in descending order.
w, 3, q
Let u be 29 - 27 - (0 - -8 - 0). Let r be -9 - (1 + u) - 26. Let b be ((-8)/r)/(10/25). Sort b, 5, -1, 1/6 in descending order.
5, b, 1/6, -1
Suppose 8 = 2*q - 0*q, 5*n + 5*q - 155 = 0. Let h = n - 31. Suppose -2*l + 34*z + 6 = 31*z, -l - 4*z - 8 = 0. Put h, -20, 1, l in increasing order.
-20, h, l, 1
Let l = -8 + 8.9. Let a = -7 - -6.7. Let x be ((-1114)/(-857780) - 2/(-28))/(4/(-10)). Sort a, l, x in descending order.
l, x, a
Let b = 30029 - 480465/16. Put 1, -0.5, b, 2 in increasing order.
-0.5, b, 1, 2
Let f = -69 + 68. Let x be -2*(1 - (-20)/(-8)). Suppose -x*w - 7 - 2 = 0. Sort 0, f, w in descending order.
0, f, w
Let f = 4593.7 - 4353. Let p = f - 239. Put -6, -3/2, p in ascending order.
-6, -3/2, p
Let v(w) = -w**2 + w + 1. Let c be v(-2). Let g = c - -1. Let o = -40 + 40.1. Put g, o, -3, 3 in descending order.
3, o, -3, g
Let f(x) = -2*x**3 - 17*x**2 + 30*x + 356. Let z be f(-7). Sort -8, 5/14, z in descending order.
5/14, z, -8
Let u = -19051 - -18982. Put 4, u, 2, -5 in ascending order.
u, -5, 2, 4
Let p(t) = -t + 3. Let m be p(-2). Suppose m*b = -5*u - 10, u = b - 3 - 3. Let v be 6 + -3 + (-30)/6. Put v, 3, u, -5 in ascending order.
-5, u, v, 3
Let j(t) = -23*t + 88. Let z be j(21). Let q = z - -396. Let w(x) = x**3 - 3*x**2 - 5*x + 6. Let n be w(4). Sort q, 8, n, 3 in decreasing order.
8, 3, n, q
Let h be 14/(-4) - 1/2. Let m(c) = -7*c - 141. Let f be m(-20). Let y be (-6 - -5)*(-14 - f). Sort h, y, -3, 3 in decreasing order.
y, 3, -3, h
Let v = -7 - -12. Let j = -5.3 + v. Let d be 21/(-105)*(2 - 5). Sort d, 2, j.
j, d, 2
Let n = 313 + -327. Let f be (11 + n - 0)*(-1)/(-6). Sort f, 2/227, 0.1.
f, 2/227, 0.1
Let g = 41 + -32. Let b = -33 + g. Let p = b + 21. Sort p, 3, -7.
-7, p, 3
Let x = 0.01 + -0.41. Let u = -26502 - -26502.3. Put x, 5, 9, u in decreasing order.
9, 5, u, x
Suppose 0*b - 5*b = 25. Let g(m) = m**3 - 7*m**2 - 6*m - 3. Let q be g(7). Put b, 0, q in descending order.
0, b, q
Let k(j) = j**2 - 2*j - 4. Let z be k(4). Let h(w) = w**3 + 48*w**2 - 155*w - 105. Let i be h(-51). Put i, z, 1, 25 in decreasing order.
25, z, 1, i
Let m be ((-405)/25)/27 + (-6)/(-10). Sort m, -7, -33 in ascending order.
-33, -7, m
Let l = -2369.7 + 2370. Sort -3, l, 10 in ascending order.
-3, l, 10
Let m be -129*((-3068)/(-9240) - (-1)/(-3)). Let v = m - 1/1155. Put -0.046, 0.5, v in descending order.
0.5, v, -0.046
Suppose 5*s + 6 = -3*p + 5*p, 3*s + 6 = 0. Let z = 2.175 - 0.175. Let i = 2 + -2.1. Put p, z, 9, i in decreasing order.
9, z, i, p
Suppose -121*a - 837 = 103*a - 165. Sort -2, -269, -1, a in decreasing order.
-1, -2, a, -269
Let v = 25508/9 + -2834. Put v, -2, -2/11, 50 in decreasing order.
50, v, -2/11, -2
Suppose -z = 3, q + 3 - 1 = -z. Let x = -1421 + 1419. Sort q, 3, 12, x in decreasing order.
12, 3, q, x
Let q be (3 - 2 - 28) + (-3 - -2). Let f be q/42 + (-17)/(-3). Suppose -16 = 3*c - 2*i, -f*c = -8*c - i - 1. Sort -0.5, c, -1, -0.2 in descending order.
-0.2, -0.5, -1, c
Let d be (9/42)/((-96)/256) + (-3128)/14. Sort d, 3, 2, 0.
d, 0, 2, 3
Let f be 11/(22/36) - -1. Suppose 0*n + 2*n = -3*x + 6, 4*x - f = n. Suppose 11*b - 5 = 6*b. Sort -4, b, n in increasing order.
-4, n, b
Let d = -0.027 - -41.027. Let t = d + -40.68. Let j = 1.68 + t. Put 0.3, 3/4, j in increasing order.
0.3, 3/4, j
Let s = -423.7955 - 0.3045. Let z = -424 - s. Sort 2/17, z, -2/17 in descending order.
2/17, z, -2/17
Suppose -3*o + 9*o + 12 = 0. Let x(j) = j**3 + 4*j**2 - 4*j + 7. Let z be x(-5). Let k be -1 - (1 + 0 + 4/z). Put o, k, 3 in descending order.
3, o, k
Let m(v) = 4*v + 29. Let i be m(-5). Let g = -5 + i. Suppose -g*w - 2 = -3*q, 5*q - 4 - 11 = -5*w. Sort -2, q, 7.
-2, q, 7
Let u = 36 - 32. Suppose 0 = -0*t - 2*t - u. Suppose 2*f - 10*f = -3*f. Sort f, t, 3 in increasing order.
t, f, 3
Let h(p) = p**2 - 5*p + 4. Let w be h(4). Let u = -681 + 680. Sort w, u, 3, 6 in increasing order.
u, w, 3, 6
L