 908. Sort k, c, t in decreasing order.
c, t, k
Let h be (0 - 16)/(0/(-1) - 2). Let n be (-9)/12*4/(-1). Let u = -18 + 13. Sort h, u, n in ascending order.
u, n, h
Let c = 997 + -997.5. Let d = 136 - 135.8. Put -3/10, -0.1, c, d in descending order.
d, -0.1, -3/10, c
Let x = -62 + 64. Suppose z + x*k - 3 = 3, 4*k - 16 = -3*z. Suppose 3 = z*a - 4*r - 1, 3*a - r = -5. Sort -3/5, a, 4 in decreasing order.
4, -3/5, a
Let n = -33014 + 32364. Put 1, -0.1, 3/5, n in decreasing order.
1, 3/5, -0.1, n
Let l be (27/9 - (-13)/(-4))*-1052. Let g = -257 + l. Put -5, 5, g, 4 in descending order.
g, 5, 4, -5
Let d = -39.54 - -35.54. Suppose 11*m = 7*m + 8. Let p be (-1)/9 + (-2)/9. Put d, 1, p, m in ascending order.
d, p, 1, m
Let k = -0.16 - 9.84. Let f = -3016 - -3015. Put 3/7, f, 3, k in decreasing order.
3, 3/7, f, k
Suppose 0 = -2*f + 4*c - 16, c + 10 = -3*f - 0*c. Let g be (-114)/(-7) + f/14 + 0. Let x be (-2)/(4/g*-2). Put 1/9, 12, x in descending order.
12, x, 1/9
Let d(x) = 60*x + 724. Let l be d(-12). Sort -7, -21, -5, l in descending order.
l, -5, -7, -21
Let u = -8.48 + 1.48. Let z be 65/10 + ((-3)/2 - -1). Let q = -11 + z. Sort u, q, 0.4.
u, q, 0.4
Let a = -17991.4 + 17991. Sort 24, -0.077, a in increasing order.
a, -0.077, 24
Let o be -6 + 3/((-9)/(-6)). Let z = 1 + 1. Let s be ((-4)/6)/(15296/480 - 32). Sort o, s, z in increasing order.
o, z, s
Let r = 5323 + -5326. Sort -16, 1, -10, r, 0 in increasing order.
-16, -10, r, 0, 1
Suppose 12 = -t - 3*t. Let o = -605 - -601. Let b = 7 - 5. Sort t, b, o in descending order.
b, t, o
Let b be 2 - ((2 - -2) + 2). Suppose -6*i - 8 - 4 = 0. Let l be ((-1)/i)/(27/(-270)). Put 3, b, l in ascending order.
l, b, 3
Let h(z) = -2*z. Let b be h(2). Let q = -110 - -112. Suppose 56 - 145 = 2*k + 5*w, w = 3. Sort b, k, q.
k, b, q
Let j(z) = -9*z**2 - 36*z - 29. Let r be j(-3). Let f(p) = p**2 - 17*p + 19. Let v be f(16). Let k(c) = c + 1. Let b be k(v). Put b, r, -5 in decreasing order.
b, r, -5
Let m(x) = -107*x - 30. Let d be m(-10). Suppose 1039*t - 1 = d*t. Sort -32, t, 2 in decreasing order.
2, t, -32
Let n be -6 + (-3)/(-5)*5. Suppose -3*s - 5*c = 24 - 0, 0 = -2*s + c - 16. Put s, -5, n in decreasing order.
n, -5, s
Let i = -0.06 - 0.94. Let a = -0.1105 + 0.0005. Sort -4, i, -5, a in descending order.
a, i, -4, -5
Let w be (-7)/(-21) - 174/9. Let f be ((-1)/(-3)*0)/(w - -23). Sort -0.4, 6, -0.5, f in descending order.
6, f, -0.4, -0.5
Suppose 5*g - 24 = -4, 2*g = -v + 8. Suppose -2*i - 12 = -i. Let x be ((-2)/(-3))/(76/i). Put -0.2, x, v in descending order.
v, x, -0.2
Let q = 10.16 + -10.26. Put -822, q, -1 in ascending order.
-822, -1, q
Let u = -0.182 + -11.818. Sort -1/5, 5, -1, u, -0.5 in descending order.
5, -1/5, -0.5, -1, u
Let x(k) = 4*k**2 + 158*k + 1140. Let s be x(-29). Sort s, -4, 4 in decreasing order.
4, -4, s
Let i be (-11 + 9)*1/(-1). Suppose 2*o = -o + i*o. Sort 4, -1, o in ascending order.
-1, o, 4
Let b = 115 - 103. Suppose 3*z - b*z = -576. Suppose -z = 11*m + 5*m. Sort -1, m, 4, 3.
m, -1, 3, 4
Let s = 4711 - 4711. Sort 12, 2, -20, s.
-20, s, 2, 12
Let m(n) = n**3 - 24*n**2 + 15*n + 217. Let f be m(23). Sort 2, 1, f, 0, -5 in decreasing order.
f, 2, 1, 0, -5
Suppose -9*k = 2*k + 44. Let q be (1155/308)/(14/(-8) - -1). Let u be (-6)/4*4/(-3). Sort -10, u, q, k in ascending order.
-10, q, k, u
Suppose -27 = 3*v - 36. Suppose -3*i + 7*i = j, 0 = -v*j + i. Sort 6, j, -3, 2.
-3, j, 2, 6
Let q = 227 + -225. Suppose -f = q*s + 15, 0 = -3*f + s - 21 + 4. Sort 4, -11, f in ascending order.
-11, f, 4
Let u = 0.2 - 0. Let g be 17/((-135575)/87) - 4/50. Sort g, 3, u in descending order.
3, u, g
Let j = 8589 - 8502. Suppose 4*p = -120 - 236. Let l = p + j. Sort l, -0.5, -0.4, 0.4.
l, -0.5, -0.4, 0.4
Let o be (969/(-38) - 1)/((-2)/(-8)). Put o, 4, 2 in decreasing order.
4, 2, o
Suppose -27 = -n - 2*c, -3*n - 2*n + 144 = c. Let k be 60/112 + (-4)/14. Sort n, k, 3 in ascending order.
k, 3, n
Let p = 64.5 - -49.5. Let x = p - 113. Sort 0.6, 6, x, 2/9 in increasing order.
2/9, 0.6, x, 6
Let g = -255 - -259. Put 2/9, -0.5, g, 5 in ascending order.
-0.5, 2/9, g, 5
Let w(n) = n**2 + 23*n + 43. Let a = -26 + 5. Let h be w(a). Put -51, h, -5 in descending order.
h, -5, -51
Let x(b) = -b**3 - 9*b**2 - 11*b + 20. Let w be x(-7). Let j(m) = m**3 + 6*m**2 - 6*m + 3. Let q be j(-7). Put 0, 2, w, q in descending order.
2, 0, w, q
Suppose 0 = -2*l - 3*y + 28, -35 = -5*l + 3*y - 7. Suppose -113*h + l = -112*h. Put h, 1, -1 in ascending order.
-1, 1, h
Let z = -2637 - -2634. Put -0.17, 0.5, 5, -1, z in ascending order.
z, -1, -0.17, 0.5, 5
Let r = 864 + -866. Put r, 228, 2 in descending order.
228, 2, r
Let d(q) = q**3 + 13*q**2 + 40*q + 3. Let l be d(-5). Put 1284, l, -1, 2 in descending order.
1284, l, 2, -1
Let v(z) = 3*z - 3. Let i be v(2). Let l be 1/1*5/(45/27). Suppose -5 = 5*y, -y + 0*y = 2*b - l. Sort i, 5, b in ascending order.
b, i, 5
Suppose 105*a - 2508 = 94*a. Let m = a + -230. Put 2, m, -3 in ascending order.
-3, m, 2
Let l = -1 - 0. Let c be 14/(-126) + (-109)/(-9). Suppose 324*r + c = 327*r. Put r, -2, l in decreasing order.
r, l, -2
Let u(b) = b**3 + 5*b**2 + 5*b. Let j be u(-4). Let m = 99380 - 99382. Sort 0.2, m, -1/20, j in ascending order.
j, m, -1/20, 0.2
Let b = -5.5507 - -0.0007. Let p = -5.65 - b. Sort p, 2/5, -5, 20 in ascending order.
-5, p, 2/5, 20
Let b(q) = -24*q - 189. Let z be b(-8). Suppose -z*h - 19 = -28. Sort -0.4, -5, h, 0 in decreasing order.
h, 0, -0.4, -5
Suppose -49 = -16*i + 143. Suppose -3*y + 3 + 0 = 0. Sort y, -11, i, 3 in ascending order.
-11, y, 3, i
Let c = -5281 - -5280. Sort c, -19/4, -2/13, -2/5.
-19/4, c, -2/5, -2/13
Suppose -828 = -4*u - 4*l, 4*u + 7*l - 6*l - 813 = 0. Let d = -205 + u. Put 5, d, -76 in descending order.
5, d, -76
Suppose 13 = -5*w - 7. Let u = -69 - -71. Suppose -u*l - 18 = -8*l. Sort l, w, -1, 2 in increasing order.
w, -1, 2, l
Suppose -31*r + 28 + 3 = 0. Let c = 10 + -5. Let s = -6 - -6. Put c, s, r in ascending order.
s, r, c
Let s = 751372 - 751370. Let i(q) = 3*q + 2. Let d be i(2). Let c = -11 + d. Put -17, s, c in ascending order.
-17, c, s
Let w = 120 + -121. Let r(d) = -2*d + 11. Let o be r(4). Sort o, w, -2.
-2, w, o
Let z be (-3 + 0 - -2)*(-2 + -2). Let f be ((-84)/(-4) + 3)*z/6. Let m = f + -13. Put 3/5, -16, m, -4 in increasing order.
-16, -4, 3/5, m
Suppose 55*c + 2*n = 50*c - 35, -4*c = -4*n. Put 0.2, c, -4, -126, 3 in descending order.
3, 0.2, -4, c, -126
Let c = -12 + 15. Let u(w) = 4*w**3 + w**2 - 5*w**3 + 45 + 8*w**2 - 40 + 22*w. Let m be u(11). Sort m, c, 0.2 in increasing order.
0.2, c, m
Let i be 0*3/(0 - 6). Suppose i = -2*n + 2*r - 6, n + r = -0 + 3. Suppose n = -2*o - 5*o - 28. Sort 16, o, 3.
o, 3, 16
Let l = 10333.3 - 10333. Put 2, -1, -81, l, -8 in decreasing order.
2, l, -1, -8, -81
Suppose -3*u + 503 = 4*b, 5*u = b + 782 + 87. Suppose 4*d + 161 - u = 0. Put -43, d, 0 in descending order.
d, 0, -43
Suppose -17*q = 7*q - 48. Suppose -5*j = -5*z + 305, -q*j - 81 - 33 = -4*z. Sort 3, 4, j, -2 in descending order.
4, 3, -2, j
Let i = 16737 - 117479/7. Put -3, 0.1, i in increasing order.
i, -3, 0.1
Let f = -1532 - -1532.3. Sort -4, -0.3, 0.8, f, 2/15.
-4, -0.3, 2/15, f, 0.8
Suppose -2343*k = -2346*k. Let n = 366 - 367. Sort 2, k, n, 32 in increasing order.
n, k, 2, 32
Let u = 2 + -4. Let i = -10.5 + 8.73. Let b = -3.23 + i. Put 0.4, u, 0, b in ascending order.
b, u, 0, 0.4
Let u = -3026 + 5211. Let r be 943/u - (1 + (-6)/10). Let n = -217/855 + r. Put 3, 0.3, n in increasing order.
n, 0.3, 3
Let m be 350/42*18/30. Suppose 575 = 5*v + 17*r - 19*r, -4*v - r = -447. Put v, m, -1, -3 in increasing order.
-3, -1, m, v
Let l be (-160)/(-192)*192/(-8). Sort 3, 2, 16, l, 1.
l, 1, 2, 3, 16
Let h be (-4)/(-16) + (4 - 34/8). Let w(i) = -5 + h*i**3 - 37*i**2 + 35*i**2 - i**3 + 15*i. Let g be w(-5). Sort 4/5, -28, g in descending order.
4/5, g, -28
Let s be (174/4263)/((-15)/21). Put -0.3, s, -12, -2/3, 2 in decreasing order.
2, s, -0.3, -2/3, -12
Let c = 1.52 - -24.88. Let d = c - 26. Let g = -0.6 - 0.4. Sort g, 4, d.
g, d, 4
Let q = 5228 + -5230. Sort -254, q, 5/4, 0.2 in increasing order.
-254, q, 0.2, 5/4
Let c = -47617 + 47612. Put 0, -2407, c in increasing order.
-2407, c, 0
Let d(u) = u**3 - 9*u**2 - 31*u - 13. Let f be d(12).