 v
Let z(i) = i**3 - 14*i**2 - 6*i + 74. Let d be z(14). Sort 2, 3, 1, d, 4 in decreasing order.
4, 3, 2, 1, d
Suppose -13*h - 4*h + 119 = 0. Suppose -5*q - 5*w = -25, -q + h*w = 9*w. Suppose -6*p = -2*p - 16. Put q, -2, p in decreasing order.
q, p, -2
Let g = -0.11 - -0.59. Let h = -2.38 + g. Let d = h - -1.6. Sort -1/3, d, 3/7 in decreasing order.
3/7, d, -1/3
Suppose -5*w + w + 12 = 0. Let g = -143 - -173. Let d be -7 + 1 + g/6. Put -5, d, w, -3 in descending order.
w, d, -3, -5
Let g = 4212 - 4216. Let z = 1.7 + -2. Sort z, 0.2, g, 5.
g, z, 0.2, 5
Suppose -2*s = 4*o, -5*s + 16 = -s. Let p be 992/352 + (-2)/(-11). Put -5, 4, p, o in increasing order.
-5, o, p, 4
Let t be (-57)/4 - (-5 - 95/(-20)). Let a be ((-27)/(-31) + -1)*7/t. Put a, 5, -2 in decreasing order.
5, a, -2
Suppose 0 = -3*c - 3 - 0. Suppose 3 = q + 6, 0 = 3*m + 1505*q - 1503*q - 9. Sort m, c, -2, 16.
-2, c, m, 16
Let o = 308 - 589. Let c = o + 282. Let l be -2 + 7/1*1. Put -7, -3, l, c in decreasing order.
l, c, -3, -7
Suppose 143 = -30*y - 372*y + 947. Sort 180, 5, y in descending order.
180, 5, y
Suppose 4*t = -p - 8, -2*t - 3*p + 0 - 14 = 0. Put -205, 1, 4, -5, t in increasing order.
-205, -5, t, 1, 4
Let n(o) = -o**3 + 5*o**2 - o + 1. Let p be n(5). Let d be -7 + (-567)/(-49) - (-3 - 225/(-63)). Sort p, d, 3, -3 in descending order.
d, 3, -3, p
Suppose 45 = 4*u + 3*n - 4*n, -20 = 4*n. Let q be (-4)/(-3)*(-174)/(-232). Sort q, 5, u.
q, 5, u
Let p = -445 - -444.5. Let b = -1.98 - 0.52. Sort 0.3, p, b, 1/9.
b, p, 1/9, 0.3
Let c be (-1002)/1503 + 5/3. Put -4, c, -800 in ascending order.
-800, -4, c
Let g(t) = -521*t + 9 + 526*t + 15. Let u be g(-6). Sort u, -3, 1 in descending order.
1, -3, u
Let z = 50218/15 + -3348. Put -0.5, -0.02, -10.4, 0.5, z in ascending order.
-10.4, -0.5, z, -0.02, 0.5
Let q(u) = -u**2 - 717*u - 3567. Let y be q(-5). Sort 0.2, y, -2, -0.13, -0.4 in decreasing order.
0.2, -0.13, -0.4, -2, y
Let k = 37 - 25. Let c = -59 - -59. Suppose 5*q = -3*h, -h + 1 = 2*q - c*q. Sort h, 2, k in descending order.
k, 2, h
Suppose -z = 4*n + z + 42, 6 = 2*z. Let y be 2/(-11 - n) + 3*1. Put y, 17, 0, -2 in descending order.
17, y, 0, -2
Let b be (-88)/(-110) + (-3)/(-15). Sort -1, -7, b, -2, 7.
-7, -2, -1, b, 7
Let i be (-1328)/(-4128) + 2/(-6). Suppose 2*g - 27 = 3*z, 254*g - 13 = 5*z + 256*g. Sort 2, z, i.
z, i, 2
Let p be 3*2*1/2. Suppose 69*a - 74*a + 740 = 0. Suppose a = -32*r + 20. Sort -1, r, p, 4.
r, -1, p, 4
Let w be (-1)/(177/66 + (-16)/88). Sort 5, w, -0.7 in increasing order.
-0.7, w, 5
Suppose -29*h = 79*h + 55*h + 5216. Let d be (1/(-1))/((-1)/(-1)). Put d, -4, h, 1 in ascending order.
h, -4, d, 1
Let h = 1.069 + -0.55. Let u = h + -0.519. Sort 11, 0.9, u, 5 in increasing order.
u, 0.9, 5, 11
Let m(f) = 260*f + 9100. Let z be m(-35). Sort 2, z, -71, 1 in descending order.
2, 1, z, -71
Let j(p) = 7 + p**2 - 7*p + 9*p - 6*p. Let w be j(3). Suppose 0 = w*f - 9*f + 3*a - 14, 0 = f + 3*a - 8. Put -2, 4, -3, f in decreasing order.
4, f, -2, -3
Suppose -3*c - 2*o = -31, 4*c = 15*o - 12*o + 47. Put 0, c, 1 in increasing order.
0, 1, c
Let j(u) = -u**2 + 8*u - 6. Let i be j(5). Let x = i + -7. Let b be (-3)/(-6)*x - -3. Put -0.06, 3/5, b in decreasing order.
b, 3/5, -0.06
Let f = -8999 + 9001. Put f, 301, -5, 3 in ascending order.
-5, f, 3, 301
Let j = 10380 - 10384. Put -0.1, 1, 0.7, 5, j in decreasing order.
5, 1, 0.7, -0.1, j
Let q = 0.27 + -0.12. Let z = 0.85 - q. Let n = 1334.3 + -1334. Put z, -1/3, n in decreasing order.
z, n, -1/3
Suppose 15*v + 59 = -44*v. Suppose -5*r - 9 = -n, 2 = 4*n + 6. Let x be 42/(r - -9) - 3*v. Put -0.3, -1/6, x, -2 in increasing order.
-2, -0.3, -1/6, x
Let w(o) = o**2 - 65*o - 1019. Let s be w(-13). Put -17, 2/17, s in descending order.
2/17, s, -17
Let d be (4/6)/((-6)/18*2). Put -3, 4, 5, -12, d in increasing order.
-12, -3, d, 4, 5
Let q = -19 - -19.15. Let j = 0.75 - q. Let f be 54/16 + -2 - 1. Put j, 0, f in decreasing order.
j, f, 0
Let g = 176 - 89. Suppose 2*d = 4*a + 82, 4*a = 5*d - 4*d - g. Put 0.1, -0.1, a, 3/5 in ascending order.
a, -0.1, 0.1, 3/5
Let i = 19607 + -19606. Sort 3, 50, 93, i in decreasing order.
93, 50, 3, i
Let a(k) = 22*k + 1237. Let u be a(-56). Let t = -13 - -35. Put -5, 4, u, t in decreasing order.
t, u, 4, -5
Let c be (27 - (-1 - -3)) + (-16 - -14). Put c, -35, -3, -2 in ascending order.
-35, -3, -2, c
Let x be ((-2)/28)/(78/(-124)). Let r = x + -10/39. Sort 1, 3, r, 5 in decreasing order.
5, 3, 1, r
Suppose -3*a - 10 = 2*a + 2*f, 0 = 4*f. Suppose s + 0 = -w - 16, 60 = -5*w - s. Let o be ((-8)/(-24))/(w/(-6)). Sort a, o, 1 in decreasing order.
1, o, a
Let g = 2181.9 - 2182. Put 3, g, -83, 2, 0 in decreasing order.
3, 2, 0, g, -83
Let v = 156 - 143. Suppose -3*l - 35 = -4*n + 28, -n + 37 = -5*l. Let b = v - n. Put b, -3, -2 in descending order.
b, -2, -3
Let h = -1.4333 - -2.4333. Put -9, -5, -318, h in descending order.
h, -5, -9, -318
Suppose 28 = -2*k + 6*k. Suppose 2*l = -2*h - 3*l + 28, -5*h + 36 = 4*l. Suppose -h*x = -o + k, -2*x = 3*x + 5. Put -0.5, -4/7, -0.4, o in ascending order.
-4/7, -0.5, -0.4, o
Let u be (((-85700)/3430)/10 - -3) + (-1)/2. Put u, 1, -2 in descending order.
1, u, -2
Let p = 2656.664 + -2656.7. Put -2/15, 0, 3, p in descending order.
3, 0, p, -2/15
Let r = -69 - -100. Suppose 50*k = 81*k + r. Sort 11, k, 1/3, -2/17 in descending order.
11, 1/3, -2/17, k
Let n = -626/1887 + -1/629. Sort 0.4, 3, 1/2, 0.14, n.
n, 0.14, 0.4, 1/2, 3
Let c be (55 - (15 + 28)) + (-90)/8. Sort c, -1/2, 73/5 in decreasing order.
73/5, c, -1/2
Let k(z) = z**2 - 210*z + 9581. Let j be k(67). Suppose 0 = -4*a + 19 - 3. Put a, -4, 39, j in ascending order.
-4, j, a, 39
Let g(a) = -2*a - 6. Let b be g(0). Let q be b - (-4 + 0) - -59. Let k = -58 + q. Sort 4, k, 1, 2.
k, 1, 2, 4
Let q = 1909 - 1910. Suppose 0 = -4*g + 8, 0*g = -f + g + 23. Let b = f + -35. Sort q, 4, b in descending order.
4, q, b
Suppose -4*l = o + 103 - 101, o - 7 = 5*l. Sort o, -2, 451.
-2, o, 451
Let s be ((-2)/(-6))/((-1)/(-3)). Let m(t) = -859*t + 33496. Let x be m(39). Suppose 0 = -2*o - 4*c, 2*c + 8 = -0*o - 3*o. Sort s, 6, o, x.
x, o, s, 6
Let y(g) = 4*g + 331. Let w be y(-89). Put -1, w, 2 in descending order.
2, -1, w
Let l = -4916 + 4929. Sort l, 2, 3, -3.
-3, 2, 3, l
Let i = -1082/17 - -9721/153. Sort i, 0.3, -3 in increasing order.
-3, i, 0.3
Let l(s) = 2*s**3 + 89*s**2 - 13888*s - 4. Let g be l(64). Suppose 0 = 4*h + h - 30. Put 5, g, h, -3 in ascending order.
g, -3, 5, h
Let h = 51.07 - 51.17. Put 0.4, 4, 17/2, h in descending order.
17/2, 4, 0.4, h
Let m be ((-6)/(-8))/(135/720). Sort m, -2, -5, 5, 120.
-5, -2, m, 5, 120
Let u = 0.5 + 0.3. Let m = -0.9 + u. Let o = -0.3634 - -0.8634. Sort 2, 7, m, o in descending order.
7, 2, o, m
Suppose 418 + 2 = -4*b. Suppose -5*y - 540 = -10*a + 12*a, y + 5*a = -131. Let l = y - b. Sort -2, 11, -4, l in descending order.
11, l, -2, -4
Let a = -531 + 1059/2. Let l = 30.1 - 26.1. Sort 16, l, a, -0.5 in decreasing order.
16, l, -0.5, a
Let i = -0.06779 - 0.93221. Sort -0.3, 58, 2, 0.4, i in increasing order.
i, -0.3, 0.4, 2, 58
Let c = 87123/16 - 5445. Put c, 0, 1.3 in decreasing order.
1.3, c, 0
Let i = -311 - -225. Let d = i - -91. Sort 1/3, -31, d.
-31, 1/3, d
Let f be (-650)/6 + 9/27. Let w be (-4)/(-10) + 2 + f/45. Sort -1, w, -5 in increasing order.
-5, -1, w
Suppose 3*o - 5*s + 3*s - 28 = 0, 4*s + 24 = 2*o. Let y = -48 - -50. Suppose -g + 4*g + 13 = -y*b, -5*b = g. Sort o, b, -1, -4 in decreasing order.
o, b, -1, -4
Let o = 13714314 + -178199531/13. Let c = -6661 + o. Sort c, 2, -3 in descending order.
2, -3, c
Let p be 1 + (-235)/6*2. Let o = 78 + p. Let v = 4 + -3. Put -5, -2/9, v, o in increasing order.
-5, -2/9, o, v
Let l = -5570.4883 + 5571. Let u = -0.0117 + l. Sort u, -0.052, -2/7 in increasing order.
-2/7, -0.052, u
Let q = 52 - 50. Suppose 3*w = -z + 2 - 47, z = q*w - 60. Let s = -53 - z. Put -5, 0, s in descending order.
s, 0, -5
Let f = 616 + -616.016. Let d = f - 3.984. Sort 3, 0.07, d, -0.5.
d, -0.5, 0.07, 3
Let x = 32 + -32.05. Let s = -1.44 + 0.9. Let d = -0.94 - s. Sort 1, d, x in decreasing order.
1, x, d
Let y = 280.4 + -282.4. Put y, 3, 1/7, 11 in decreasing order.
11, 3, 1/7, y
Let o = -4.9 - 0.1. Let y = 1/14 - -5/28. Let l = -132.1 + 128.1. Put y, o,