 c(q) = 204*q - 3462. Let r be c(17). Put 19/5, r, -8 in decreasing order.
r, 19/5, -8
Suppose -9*i + i = -544. Suppose -12*b - i = 5*b. Sort b, 0, 4, 5 in decreasing order.
5, 4, 0, b
Let g = -18032 + 18026. Put 6, g, -11, -2 in ascending order.
-11, g, -2, 6
Let g be ((-1)/10)/((-6)/15). Suppose -4*f = -45 + 57. Let o be -3 + (6/f - 42/(-9)). Sort o, 1/5, g, 1.
o, 1/5, g, 1
Let s = 0.111 + -0.211. Let p = s + 0.2. Let c = 0.5 + -7.5. Sort -0.5, c, p in ascending order.
c, -0.5, p
Suppose -t - k = -26, 5*t - 6*k + 9*k = 130. Let u = t - 24. Suppose 0 = -2*d - 2*r + 2, u*r - 15 = 5*d + 1. Put d, -10, 2 in increasing order.
-10, d, 2
Let h = -110.1 - -120. Let q = h + 4.1. Let o = -15 + q. Sort o, 2/3, -5, -0.4 in increasing order.
-5, o, -0.4, 2/3
Suppose -75*g = -12*g - 44 + 44. Sort 2, 3, -4, g in ascending order.
-4, g, 2, 3
Suppose 254*z - 242*z = 36. Suppose 3*x = -4*l + 2, 2*l - 7*l - 3*x = -4. Let b(r) = 2*r - 2. Let n be b(l). Put 5, z, n in descending order.
5, z, n
Let m be 1/(2 - (-2 + 5)). Suppose 47*j + 119 + 22 = 0. Sort 1, m, 4, j.
j, m, 1, 4
Let a be 546/(-351)*36/2. Suppose 2*u = 5*u + 12. Sort a, -5, u in descending order.
u, -5, a
Let o be (-18)/(-45)*(26 + -1). Suppose 0 = -4*l + o*l. Suppose l = -3*j - 5*j. Sort -2, -9, j in ascending order.
-9, -2, j
Suppose 11*r - 15*r + 16 = 0. Suppose -i - 4*y + 16 = 0, r*i - 24 = 3*y + 40. Suppose i*o = 9*o - 77. Sort 4, 0, -1, o in descending order.
4, 0, -1, o
Suppose -5*n = -0*n - 35. Let y(u) = 4*u**3 - 33*u**2 + 6*u + 18. Let k be y(8). Suppose -5 = -s - 2*l, -s - l + n = -k*s. Sort -4, s, -5 in decreasing order.
s, -4, -5
Let f = -17.206 + 17. Let i = f - -0.146. Sort i, -0.2, -5 in descending order.
i, -0.2, -5
Let o = -177.7 + 173.866. Let b = o - -0.834. Let z = 3.3 + -6.4. Sort -2, b, z in ascending order.
z, b, -2
Suppose 2*u - z - 10 = -5*z, u = z + 2. Suppose -2*b + x = -4*x + 1, 0 = -u*b - 3*x - 12. Put -2, -5, 3, b in decreasing order.
3, -2, b, -5
Let w = 1.7 + 24.9. Let s = -21.6 + w. Sort -1/9, s, -10 in decreasing order.
s, -1/9, -10
Let h = -8 - -11. Suppose -5*m = -20, -h*f + 3*m - 8 = -f. Suppose -4*k = 4*z - 33 + 21, -2*z - 6 = -4*k. Put -3, z, 5, f in descending order.
5, f, z, -3
Let q be (-6)/(-4)*(-8)/(-6). Suppose 4*h + 83 = 2*n + 71, n - 5*h = 0. Sort n, q, 0 in descending order.
n, q, 0
Let f = 3.9 - -2.1. Let k = f + -3. Sort -3/13, -3, k, -2/13 in increasing order.
-3, -3/13, -2/13, k
Let d = -0.051 - -5.051. Let q be 4/63 - (-42)/(-147). Let k be 2*-1*(1 + -2). Put q, k, 0.3, d in descending order.
d, k, 0.3, q
Let q be (5 + (-57)/15)*15. Suppose -21*b + q*b + 9 = 0. Let o = 1 - -1. Sort 8, b, o in decreasing order.
8, b, o
Suppose 51*a - 20 = -36*a + 77*a. Put a, 39, 36 in descending order.
39, 36, a
Suppose -4 = 2*p + 2*w, -w + 7 = -4*p - 1. Suppose -4*k = -k - 5*x - 13, 0 = -3*k + 4*x + 14. Let l be (-2 - 4)*(5 - k). Sort l, p, 0 in decreasing order.
l, 0, p
Suppose 8*a + 18 = 10*a, -2*a - 22 = 4*j. Put j, 4, -11 in descending order.
4, j, -11
Let l be (2/4)/((-11)/2816). Let b = -103 - l. Suppose -s + 15 = -3*o, -2*s + 2 = 2*o - o. Sort -2, s, b.
-2, s, b
Let y = -19/140 - 4/35. Let b = -40.4 + -2.6. Let f = 46 + b. Sort -2/11, f, y in increasing order.
y, -2/11, f
Let n = -11 - -12. Suppose o + 2 = -n. Let v = -281 + 277. Sort v, o, 3 in descending order.
3, o, v
Let n = 185 - 172.4. Let f = n - 13. Sort 9, 2/17, f, -3 in descending order.
9, 2/17, f, -3
Let q = -18.37 + 7.37. Sort -0.01, -3/5, q in ascending order.
q, -3/5, -0.01
Suppose 16 - 49 = -5*i - 53. Sort 6, -5, i, -1, 9 in descending order.
9, 6, -1, i, -5
Let i = -35137 + 35136. Sort 4, i, 2, -3, 28 in ascending order.
-3, i, 2, 4, 28
Suppose 101*g + 0 + 0 = 0. Sort 1/3, 13/15, 4, g in descending order.
4, 13/15, 1/3, g
Let m = -0.16973 + 0.06973. Sort -4, m, -2/3, -5, -53.1 in decreasing order.
m, -2/3, -4, -5, -53.1
Let q = 11 - 7. Let a(o) = 4*o - 15. Let b be a(5). Let t be ((-8)/42)/(7 - b). Put q, -2, t in decreasing order.
q, t, -2
Suppose 7*p = 2*p - 20, 3*t + 466 = -4*p. Let s = 1953/13 + t. Let a = -1.4846 - -0.9846. Sort s, 1, a in increasing order.
a, s, 1
Let c be 4*(0 - (-5515)/(-260)). Let w = c - -85. Sort 4/3, w, 0.5, 1 in increasing order.
w, 0.5, 1, 4/3
Let w = -1.1 - -5.1. Suppose 353 = 12*x + 413. Put 1/2, x, w in descending order.
w, 1/2, x
Let l = -29773/4 - -7444. Put l, 6/17, -5/2, -0.5 in decreasing order.
l, 6/17, -0.5, -5/2
Suppose -28*t - 18*t - 108*t = 0. Sort 3, t, -5, -4.
-5, -4, t, 3
Let m(o) = -244*o - 1476. Let f be m(-6). Sort f, 1, 6, 0, 3 in increasing order.
f, 0, 1, 3, 6
Let u be -6 - (25/5 + 661). Let d = 676 + u. Sort -3, d, -4, 0.
-4, -3, 0, d
Let k(h) = -h - 7. Let a be k(-12). Let m be 4 + (a - 4) + -4. Put -20, -4, m in decreasing order.
m, -4, -20
Suppose -4*x + 13 - 5 = 0. Suppose -3 = -x*i + 7. Suppose i*m - 25 = 5*l - 2*l, -4*l = 20. Put m, 1, 11 in descending order.
11, m, 1
Let c be (-2799)/(-15) - ((-2)/5 + 0). Let g = c - 189. Sort g, 0, 12 in decreasing order.
12, 0, g
Let w be (-420)/(-25) + (-2)/(-10). Let c(z) = 19*z + 2094. Let d be c(-110). Put d, w, 0, 2 in descending order.
w, d, 2, 0
Let y(j) = -j**3 - 5*j**2 + 7*j + 3. Let i be y(-6). Let p be (176 - 166) + (-30)/2. Sort 11, p, 0, i.
p, i, 0, 11
Let a = 8668 + -8663. Let f = 24 - 17. Sort 0, f, -4, a in decreasing order.
f, a, 0, -4
Let d = 327 + -337. Put d, -2, 29 in ascending order.
d, -2, 29
Suppose -4*h + 8 = 2*o - h, -24 = -4*o - 2*h. Let r be (-3 - 15/o) + (-25)/(-5). Sort 3/2, r, -3/7, 0.2 in decreasing order.
3/2, 0.2, r, -3/7
Let p = 2265 + -2269. Suppose l = 4 + 9. Let h = l + -16. Put -0.5, h, -2, p in descending order.
-0.5, -2, h, p
Let w(u) = 4*u + 1. Let j be w(-1). Sort j, 1, -269 in increasing order.
-269, j, 1
Suppose 0 = -8*u + 17*u - 72. Let x be (2/(-34))/(u/16). Put -37, x, -0.3 in increasing order.
-37, -0.3, x
Let h be (1 - (-6)/10)/((-108)/3510). Let n be (-2)/4 + (-39)/h. Let i = -5 + 5.1. Put n, 0, i, -2/7 in descending order.
n, i, 0, -2/7
Suppose 148298*b = 148290*b. Sort b, -3, 5, -5, -2 in descending order.
5, b, -2, -3, -5
Let u(z) = z**3 + 7*z**2 - 85*z + 130. Let p be u(5). Put -40, p, 4 in decreasing order.
p, 4, -40
Let q = -0.21 - 0.18. Let u = q + -0.01. Let t = 8.01379 - 0.01379. Put t, u, -2/7 in descending order.
t, -2/7, u
Let k(q) = q + 1. Let t be k(-1). Suppose -s + 33 = 5*g, -5*s + 48 = -3*g + 23. Suppose t = s*f - 5*f + f. Put -0.4, 0.4, -5, f in ascending order.
-5, -0.4, f, 0.4
Suppose 10 - 2 = 4*g. Let i = -37 + 42. Sort i, -4, -16, g in decreasing order.
i, g, -4, -16
Suppose 43 = -24*q + 235. Let i be q + (-230)/30 - 19/39. Put i, 4, 0.1, 31 in ascending order.
i, 0.1, 4, 31
Suppose 4*p - 91 = -9*p. Let v be p + 4*190/(-120). Sort -3.2, -4/5, v in increasing order.
-3.2, -4/5, v
Suppose -3*m - 2*m = -50. Suppose m*z = 13*z. Suppose z = -5*o - 2*p + 23, 2*o - p - 21 = -2*o. Sort -0.5, o, -3, 3 in decreasing order.
o, 3, -0.5, -3
Let b be ((-2)/(-1 + 2))/((-10)/(-2065)). Let d = b + 410. Sort 4, d, -2, 15.
d, -2, 4, 15
Let f = 1552 - 1542. Sort -0.5, 2/3, 1, 1/5, f in increasing order.
-0.5, 1/5, 2/3, 1, f
Suppose -60*h = -4*o - 63*h - 948, 5*h = 2*o + 448. Let y = 235 + o. Sort 9, y, 2, 4 in decreasing order.
9, 4, 2, y
Let w(s) = -s**3 - 7*s**2 - 5*s - 9. Let z be w(-6). Let f = 0.52574 - 0.92574. Put f, 8/5, z in decreasing order.
8/5, f, z
Let k = -5460 - -5467. Sort 25, k, 0, 5 in descending order.
25, k, 5, 0
Let u be ((-12814)/(-6))/(1 - (-10)/(-195)*13). Sort 0, 4, u in increasing order.
0, 4, u
Let d = -4.786 - -4.486. Sort -1/2, d, -0.2, 1, 0.9.
-1/2, d, -0.2, 0.9, 1
Let y = 4.314 - 6.314. Sort -1, 3, 2, -0.4, y.
y, -1, -0.4, 2, 3
Let u(h) = -h**2 + 51*h + 409. Let z be u(-7). Sort 2, 5, -1, z, -169 in descending order.
5, z, 2, -1, -169
Let a = -2178 - -2181. Suppose -4 - 5 = t. Sort -2, -0.3, a, t.
t, -2, -0.3, a
Let r(b) = -b**2. Let t be r(-2). Let s = -585542 - -585542. Put s, t, -0.1 in decreasing order.
s, -0.1, t
Let z be 20/6*(-3)/(-2). Suppose 2*u - 16 = 126*w - 130*w, 4*w + u - 16 = 0. Sort 23, w, z in descending order.
23, z, w
Let r be 1 + -1 - (-6)/57. Let o be (-9)/(-6)*(-8)/(-6) + 1. Suppose -6*f + 3*v - 7 = -2*f, 2*f = -o*v + 1. Sort -2, r, f.
-2, f, r
Let o = -16200 + 16203. Put o, -3, 42, 4