3
Let y(x) = -5*x - 28. Let g be y(-6). Sort 5, g, 25 in decreasing order.
25, 5, g
Let d(j) = -j**3 + 13*j**2 + 13*j + 4. Let z be d(14). Let t be z/(-60) - (-13)/(-6). Let p be (t/28)/(4/(-8)). Sort p, 2/7, -4 in decreasing order.
2/7, p, -4
Let q = -302 - -276.7. Let d = -25 - q. Sort 0.5, 0, d.
0, d, 0.5
Let l be (-3)/2*(-3 + 1). Suppose 0 = -2*p + 43 - 39. Put l, -5, -4, p in decreasing order.
l, p, -4, -5
Suppose 2*b - 2 = -20. Suppose -s + 5*f = 27, 3*f - 117 = -s + 4*s. Let i be (b/s)/(6/8). Sort 5, 5/4, i.
i, 5/4, 5
Suppose -4*q + 8*q - 4 = 0, -2*m - 3*q + 1 = 0. Put 6, m, 3 in increasing order.
m, 3, 6
Let a be (-2450)/(-21) - (-4)/(-6)*3. Let y = 115 - a. Let r = 1893/8 + -237. Sort y, -3, r in increasing order.
-3, r, y
Let k = 0.621 + 0.149. Let h = -0.37 + k. Let x = -0.4 - -0.2. Sort x, h, 2 in decreasing order.
2, h, x
Let a = -232.8 + 234. Sort a, -3, 1/7.
-3, 1/7, a
Let i be (-264)/(-3960) + (-1)/(-3). Sort 0.1, -1, 2, i in ascending order.
-1, 0.1, i, 2
Let a(o) = 4*o - 2. Let t(c) = 3*c - 3. Let w(i) = 2*a(i) - 3*t(i). Let p be w(3). Sort 0, 4, p in descending order.
4, p, 0
Let j be -1 - (-1 - -4)*-1. Suppose 1 = 4*f - x + 4, 2*f - 3*x + 9 = 0. Sort j, f, 5.
f, j, 5
Let r(p) = -10*p - 241. Let n be r(-24). Put n, -66, 2 in ascending order.
-66, n, 2
Let w be (-1 - 28/(-31))/(9/24). Sort 2/3, -3/8, -3/4, w in descending order.
2/3, w, -3/8, -3/4
Suppose -7*d + 301 = 329. Sort -1, d, 57.
d, -1, 57
Let k = -140.8 + 138. Let b = 0.13 + 2.37. Let i = b + k. Put 0.1, -9, i in ascending order.
-9, i, 0.1
Let t be (-2)/16 - 154*5/240. Let l = -41/15 - t. Sort l, 1/2, 0.4 in descending order.
l, 1/2, 0.4
Let z be (-238)/(-42) - 20/(-15). Put 5, z, -11 in increasing order.
-11, 5, z
Let s = -2147 + 2147.09. Put s, 30, -3 in descending order.
30, s, -3
Let a = -86 - -427/5. Let w = 141 + -1267/9. Sort a, w, 3/2 in descending order.
3/2, w, a
Let x = 13 + -12.9. Let y = -57 - -41. Let u = 12 + y. Sort x, u, -1/3 in increasing order.
u, -1/3, x
Suppose 5*d + 25 = 0, 7*i = 4*i - 3*d - 27. Sort i, -5, 33, 4 in descending order.
33, 4, i, -5
Suppose -3*t - n - 23 = 0, -2*n - 11 = 5*t + 29. Sort -1, 7, -3, t in increasing order.
t, -3, -1, 7
Let v be (((-16)/10)/(-4))/((-10)/(-25)). Suppose -3*s + d + d = -3, 5*s = 2*d + v. Sort -3, s, 3 in descending order.
3, s, -3
Suppose 0 = 2*y - 4 - 4. Let k = -51 + 51. Sort y, k, -6 in increasing order.
-6, k, y
Let u(p) = p - 8. Suppose -6*j - 5 - 13 = 0. Let h be (-1)/(4/(-8)) - j. Let i be u(h). Sort i, 3, -2.
i, -2, 3
Let i = 0.445 - -0.055. Let r = -0.2 + i. Put -2, -0.2, r in increasing order.
-2, -0.2, r
Let f = 1/162 - -53/162. Sort f, 3, 22.6.
f, 3, 22.6
Let w be 539/(-35) - 2/(-5). Let s be (3 - 4)/(5/w). Suppose 3*y + s = 4*i - 6, 2*y = i - 1. Put 17, 5, i in descending order.
17, 5, i
Let v = -40 + 91. Let d = 54 - v. Put 0, d, -3, -4 in ascending order.
-4, -3, 0, d
Let c = 51.12 + -50.82. Let k be (-10)/36 + 2/4. Sort k, c, -0.3, 1/10.
-0.3, 1/10, k, c
Suppose 4*f - 26 = 2*i, -f - 5 + 19 = -2*i. Suppose -3*k = 4*a + f, 4*a - k - 14 = -a. Let u be ((-7)/a)/7*0. Sort 5, u, -13 in descending order.
5, u, -13
Let y(k) = k**3 + 6*k**2 - 9*k - 11. Let i be y(-7). Suppose -i*v + 5*p - 8 = 0, -4*v - 2*p + 0 = 2. Sort -3, 2, 5, v in increasing order.
-3, v, 2, 5
Suppose 0*s - 2*j = -4*s + 46, -3*s = -3*j - 42. Suppose 0 = s*w - 8*w. Suppose 1 + 6 = -g + d, 0 = 3*g - 2*d + 19. Sort w, 4, g in descending order.
4, w, g
Let x = 718 - 721. Put 0, -2, x in ascending order.
x, -2, 0
Let i be (-16 + 15)/(1/5). Put -173, -3, i in descending order.
-3, i, -173
Suppose -3*m = 2*j + 8, 0*m - 3*j = 4*m + 12. Suppose 5*q = -15, m*z = 5*z + 2*q + 16. Sort 12, z, 2, 3 in decreasing order.
12, 3, 2, z
Let o(m) = -15*m + 117. Let h be o(8). Let f be 3 - (-24)/(-1 - 1). Sort -2, h, f in descending order.
-2, h, f
Suppose k = -11*k - 24. Sort 8, -5, k, 5.
-5, k, 5, 8
Let v = -6.84 + -0.16. Let r = 7 + v. Sort 5, r, -2 in ascending order.
-2, r, 5
Let u = 8 - 11. Let k(c) = c**2 - 2*c + 2. Let z be k(3). Suppose 0 = -2*w + 4*o - 18, 10*o - 20 = 5*o. Sort z, w, u in decreasing order.
z, w, u
Suppose 5*u + b + 53 = 0, -9*u + 7*u = -4*b + 8. Sort -1, 0, u.
u, -1, 0
Let u = 78 - 392/5. Let h = -0.02 + -0.6. Let t = h - -0.12. Sort -0.1, u, t in increasing order.
t, u, -0.1
Suppose b = 3*b. Let o be (6 + 2 + 196/(-21))*3. Suppose -5*f + 0*m = -m - 11, 0 = -m + 4. Put f, o, b in decreasing order.
f, b, o
Let j be 6/4 + 27/6. Let a be 4/j + (-8)/(-6). Let m = -28/3 - -184/21. Sort m, -3, a in descending order.
a, m, -3
Suppose -4*u = 3*c + 22, 3*c - 4*u - 8 = -c. Suppose 4*f + r - 114 = 0, -f - 2*f - 5*r + 77 = 0. Let w = -21 + f. Sort w, 4, c in ascending order.
c, 4, w
Let o = 562.9 + -563. Put 2, o, -182 in decreasing order.
2, o, -182
Let t = 0.126 - -13.074. Let c = t - 2.2. Let n = c + -10.6. Sort -1/6, 5, n.
-1/6, n, 5
Let n = -167 + 174. Sort 3, n, -2, 1.
-2, 1, 3, n
Let v be ((-16)/(-6))/4*-6. Let h = 69 - 49. Let l be (8/10)/((-8)/h). Sort l, v, 9.
v, l, 9
Let o = -158 - -24. Let t = o - -139. Let i = 0.1 + 0.1. Put i, -4, t in increasing order.
-4, i, t
Suppose -2*t - j = -77, 4*t - j - 69 = 100. Suppose t*d = 45*d - 16. Sort d, -7, 5, 1.
-7, 1, d, 5
Let b = -5 - -8. Let v be -2 + 3 - 343/(-7). Let m = -48 + v. Put m, -5, b in ascending order.
-5, m, b
Let u = -1 - -2. Let w = 35.8 + -35.5. Sort u, -3/2, w in increasing order.
-3/2, w, u
Let y = 0.09 - 0.29. Let i = y - 0. Let v = 51/2 + -24. Sort -0.1, i, v.
i, -0.1, v
Let w = 391 - 409. Sort 8, w, -3 in increasing order.
w, -3, 8
Let z be (-2)/(-3) + 17/(-3). Let b = z - -7. Let i = -37 - -40. Put b, 1, i in ascending order.
1, b, i
Suppose -v - 108 = 3*v. Let z = 52 + v. Suppose 0 = 4*a - 9*a - z. Put -3, -8, a in descending order.
-3, a, -8
Let z = 18/59 - 290/177. Sort -2/3, 0.5, z, -0.4 in descending order.
0.5, -0.4, -2/3, z
Let q = -174 + 176. Sort 1, -2, q, -3/4 in increasing order.
-2, -3/4, 1, q
Let v = 4.3 + -1. Let y = v + -3.6. Let l be 1 - ((-18)/(-8) - 1). Sort l, -1, y in decreasing order.
l, y, -1
Suppose -3*n = -z + 1, 3*n = -n - 3*z - 10. Let p be ((-136)/(-51))/(n/3*1). Suppose 2*o + 4 = -6. Put p, 1, o in descending order.
1, o, p
Let t = -29 + 24. Put 0, 18, t in decreasing order.
18, 0, t
Let t = -20/27 - 41/54. Put -2, 4, t, -5 in decreasing order.
4, t, -2, -5
Let w = 1316 + -1312. Sort -5, 1, 12, w.
-5, 1, w, 12
Suppose -140 = -4*c - 4*x - 16, x = 2*c - 53. Let v be (-4 - 130/(-35))/((-2)/c). Put v, -4, 2, -11 in increasing order.
-11, -4, 2, v
Let n = -1528 + 1528.5. Sort -747, n, 1.
-747, n, 1
Let q = -789/4 + 200. Put q, -1, 0.3 in decreasing order.
q, 0.3, -1
Suppose 0 = 7*i + 7. Let t be (4 + 3 + -12)*1. Let u be -1 + 1 - i/t. Put 2/9, u, -0.3 in decreasing order.
2/9, u, -0.3
Let p = 11 - 10.96. Let s = -0.54 + p. Sort 3, -3, s.
-3, s, 3
Let v = 9 + -6. Suppose -3*k + 2*k = 4*c - 8, 2*k + 4*c - 32 = 0. Suppose 3*b - 2*z + 6 = k, 0 = b + 3*z + 5. Put 1, b, v in ascending order.
1, v, b
Let v = -7/60 - 2/15. Let i = -4 + 6. Let k = -0.1 - -0.3. Sort v, i, k in decreasing order.
i, k, v
Let m be (3/(-12) + 0)*-4. Suppose 4*w + 20 = 5*q, q + 3*w + 3 - 7 = 0. Sort m, -5, q.
-5, m, q
Suppose 0 = -x - 4, 0 = -2*m + 5*x - 13 + 79. Suppose 0 = -y - 2*z - 6, -y + 5*z = -4*y - m. Put -5, y, 1 in descending order.
1, -5, y
Let r = -111183377/42 - -2717671787/1008. Let s = 48880 - r. Let w = s - 3/16. Sort w, -1/10, 2/9.
-1/10, w, 2/9
Suppose -15*q + 11*q = -12. Suppose -4*d - 4 = q*x, x + 2*d = 6*d + 4. Sort x, -4, 5, -2 in decreasing order.
5, x, -2, -4
Let v = 6.3 + 1.7. Let k = 7.9 - v. Let m = 14 - 18. Put k, 4/5, m in increasing order.
m, k, 4/5
Let a = -53 + 96. Let b = a + -47.04. Let i = 0.04 + b. Sort -1/2, -5/6, i.
i, -5/6, -1/2
Let z(j) = -3*j + 4. Let u be z(-4). Sort -2, u, 0, -5 in decreasing order.
u, 0, -2, -5
Let g be (6 + -2 - -2) + (-224)/35. Put 0, -158, -2/7, g in ascending order.
-158, g, -2/7, 0
Let p = -0.071 - 0.329. Put 0, 13, p in decreasing order.
13, 0, p
Suppose 24 = -5*j + 2*j. Let y be 4/j + (-21)/(-2). Suppose -3*v - 2*v + 4*z = -13, 0 = -5*v + 5*z + y. Put -1, -3, v in ascending order.
-3, -1, v
Let h = -1291 - -1291. Sort -2/3, 4.7, -2, h.
-2, -2/3, h, 4.7
Suppose -13 + 163 = -6*k. Let f(m) = m**2 + 