*(-24)/9. Let f(n) = 9*n - 57. Let b be f(6). Sort 4, o, b, -2 in decreasing order.
o, 4, -2, b
Suppose 0 = 2*b + 3*i - 11, i = -0*b + 4*b + 13. Let z be b/12 - (-75)/18. Suppose -3*t + 20 = t. Put z, 6, t in descending order.
6, t, z
Suppose -2*z = 4*h + 26, -6 = 2*h - 3*h + 2*z. Let f = -1 - -5. Suppose 48*a - 43*a + 40 = 0. Put a, f, h in descending order.
f, h, a
Let i be 4/(-6)*((-493)/2 - -11). Sort i, -2/5, 1 in descending order.
i, 1, -2/5
Suppose -5 = 280*a - 281*a. Let r(h) = 2*h + 2. Let q = -4 - -2. Let v be r(q). Sort a, v, -5.
-5, v, a
Let g = -148/693 + -2/231. Let h = -1.525 - -1.325. Sort g, -0.1, h in increasing order.
g, h, -0.1
Let t = 15 - 18. Let l be 1*(-4 + 11/2). Let j = -5 - -8. Put j, l, t in increasing order.
t, l, j
Let y(p) = -p**3 - 9*p**2 - 6*p + 5. Let u be y(-9). Let a = 59 - u. Let l be 2/(-9) - (-40)/18. Put a, l, -5 in increasing order.
-5, a, l
Let n = -247 + 246.5. Let f = 0.4 - 0.5. Let l = f - -0.4. Sort -5, n, l in descending order.
l, n, -5
Suppose n - 4 = -0*n. Suppose -4*o - 11 = p, 0 = 2*p + 3*p - 25. Suppose 2933 = -19*r + 3028. Sort r, o, n.
o, n, r
Let b(s) = s**2 + 10*s. Let t be b(-10). Suppose t = -2*r + 2*k + 24, 3*k - 16 = -k. Let g be 5/(-35) - r/(-14). Put 0, 3, g in descending order.
3, g, 0
Let h = 4 + -7. Let w = -107 - -91. Let z be 10/4*w/80. Put h, z, -1/4 in increasing order.
h, z, -1/4
Let z = -1876 - -1875.6. Put z, -1, 450 in descending order.
450, z, -1
Suppose -17*d + 8 = -4*q - 14*d, -4 = -d. Sort q, 0.001, -0.3 in decreasing order.
q, 0.001, -0.3
Let f be ((-2)/4)/((-7)/(-28)). Let g(s) = -s**3 - s**2 + 21*s + 5. Let h be g(-5). Put f, 23, h in descending order.
23, h, f
Let b = 319/1011 - -6/337. Let n = 4 - 5. Sort b, -0.5, n.
n, -0.5, b
Let b be 0 - (10372/28 + -3). Let h = b + 368. Let l = -9 + 8.88. Put l, h, -2 in ascending order.
-2, l, h
Let a(s) = -24*s - 68 - 25*s + 72*s - 26*s. Let r be a(-21). Let c(f) = -f**2 + f + 4. Let g be c(0). Sort g, r, -8.
-8, r, g
Let k = -36.1 + 36.2. Sort k, 4, -0.1, 0 in descending order.
4, k, 0, -0.1
Let b be 8/(-6) - (7/(-3) + 2). Let q be 0 - (0*(-1)/(-3) - b). Suppose 2*t - 5*v + 26 = -9, 4*t + 35 = 3*v. Sort q, 1, t.
t, q, 1
Suppose 0 = -4*y - 2*y. Put 22, y, 3 in increasing order.
y, 3, 22
Suppose 0*d = -4*d - a + 32, -5*d + 3*a + 57 = 0. Let h be 2/7 + d/(-7). Let n(y) = y**2 - 15*y + 36. Let f be n(3). Sort f, h, -10 in decreasing order.
f, h, -10
Suppose -x = 4*u - 1 - 1, 4*u - 5*x = -10. Let a be 5/(-15)*(3 - u). Suppose 3*z = -0 + 6. Put 3, z, a in descending order.
3, z, a
Let k be (-1)/(6*(-5)/(-60)). Sort k, 1, 2, -16.
-16, k, 1, 2
Let o be (4 + 7/(-2))*-8. Let d = 5 - -4. Let x be (-136)/(-36) - (-2)/d. Put x, o, -3 in ascending order.
o, -3, x
Suppose -2 - 2 = 2*t. Let k = t - 0. Suppose 5*c + 23 = 4*m, -2*c + m - 2 = 6. Put 2, k, c in decreasing order.
2, k, c
Let y(p) = 6*p + 244. Let s be y(-40). Let f = 1 + 2. Sort f, -2, s.
-2, f, s
Let j be (-10)/(-25) + 14/(-10). Let h(g) = 2*g**2 - 1. Let p be h(j). Put p, -4, 7 in increasing order.
-4, p, 7
Suppose 2*z + 24 = -4*n + 2, 24 = -4*z + 2*n. Let q(r) = r**2 + 4*r - 17. Let u be q(z). Let t be 1*((-3)/(-1) - 1). Sort t, 0, u in increasing order.
0, t, u
Let y be 42/(-30) + 4/10. Let c be y + -1 - (-20)/4. Sort 4, c, -1 in ascending order.
-1, c, 4
Let x = -725 + 723. Sort -10, 5, x, 6 in increasing order.
-10, x, 5, 6
Let u(v) = -v**2 + 5*v - 5. Suppose -3*w = 12, 0 = -b + 2*w - 0*w + 11. Let n be u(b). Sort n, 4, -7 in descending order.
4, n, -7
Let p be 9/((-936)/(-464)) + -4. Sort 0.5, 0.4, p, -1.
-1, 0.4, p, 0.5
Suppose 30 = 212*t - 207*t. Sort -3, t, -5, -4.
-5, -4, -3, t
Let b = 0.7 + -0.4. Let p = 6 - 3. Let i = -4.741 + -0.259. Sort i, p, b in decreasing order.
p, b, i
Suppose -6 = -6*v - 42. Sort -22, 4, v in decreasing order.
4, v, -22
Let s(d) = d + 7. Let u be s(-6). Suppose 0*q = -4*q - 8, 5*p - 7 = q. Suppose -x + u = -p. Sort 4, -3, x in descending order.
4, x, -3
Let z = -1408 - -1407. Suppose 2 + 3 = -u. Sort 3, u, z in decreasing order.
3, z, u
Suppose n - 4*f = 3, 5*n = -3*f + 12 + 3. Let k = -13 + 24. Suppose -k = -4*y - n. Sort y, 0.02, -0.1 in decreasing order.
y, 0.02, -0.1
Suppose 0*m = -4*m - 24. Let x(c) = c**2 + 5*c - 4. Let q be x(m). Suppose -2*l = -15*l. Sort q, l, 4 in descending order.
4, q, l
Let u = -1 + 0.8. Let b = 0.089 - -0.025. Let r = 0.014 - b. Put 2/3, r, u in decreasing order.
2/3, r, u
Let w = -98/715 + 3/65. Let q = 783.5 + -784. Sort w, q, 2/11 in decreasing order.
2/11, w, q
Let q be (-64)/79*2/(-5). Let x = 6/79 + q. Let c be ((-3)/(-32))/((330/(-8))/(-55)). Put 5, c, x in increasing order.
c, x, 5
Let l = -52.134 - -52. Let n = -0.066 + l. Sort n, -0.1, 2/19 in ascending order.
n, -0.1, 2/19
Let l = -0.14 - -0.04. Let a = -60 + 59.5. Sort a, l, 2.
a, l, 2
Suppose -6 = -3*l - 0*l. Let p = -416 - -411. Sort l, 0, 5, p.
p, 0, l, 5
Suppose -122*x - 510 = -20*x. Sort -58, 2, 5, x in increasing order.
-58, x, 2, 5
Let o(m) = -m - 1. Let x(a) = a. Let t be x(1). Let r(n) = n**2 - n + 3. Let l(c) = t*r(c) + 3*o(c). Let y be l(5). Sort y, -5, 8.
-5, y, 8
Suppose -7*y - 115 + 60 = 4*y. Let x be (2/5)/(-1 + 0). Put 0.7, x, y in descending order.
0.7, x, y
Suppose 0 = 3*j - 8*j - 3*z - 158, 5*j = 5*z - 150. Put j, 0, -2, -1 in descending order.
0, -1, -2, j
Let q = -259/12 + 785/36. Put -3/8, q, 1/4, 0.5 in increasing order.
-3/8, q, 1/4, 0.5
Let x(n) = 6*n - 1. Let j be x(1). Let f be 3 - 2*3/2. Suppose 7 = k - 5*a, f*k + 21 = -5*k - 3*a. Sort j, k, 3 in ascending order.
k, 3, j
Suppose -3*d = d. Let o = -86 - -87. Sort 5, 4, o, d.
d, o, 4, 5
Let p be (-2)/(-5) - 152/855. Put 4, p, -15 in decreasing order.
4, p, -15
Let l(z) = -z**2 - 3*z + 5. Let n be l(-5). Suppose q + 0*q = 1. Suppose 5*u + 8 = 4*p - 6, -5*p = -5*u - 15. Put q, u, n in ascending order.
n, u, q
Let m = -15.99 + 16.29. Put -2/33, -3, m, -0.1 in decreasing order.
m, -2/33, -0.1, -3
Suppose -5*g + 2 = -2*g - 2*y, -3*g + 17 = y. Let x be (-6)/(-4) + (-14)/g. Let q be 0/(2*x/(-4)). Sort -7, q, 1 in decreasing order.
1, q, -7
Let v = 6.8 - 7. Let o = -36 - -32. Sort o, -0.1, 1, v in decreasing order.
1, -0.1, v, o
Let a be 15/2*(-2)/10. Let g = 3.02 + -1.956. Let u = g + -0.064. Put 4, u, a in increasing order.
a, u, 4
Let g be (-1 + 2)/((-3)/120). Let x be (g/12)/(2/(-3)). Suppose -8 = 2*b - 4*z, 0 = -b - 11*z + 6*z + 24. Put 0.5, b, x in decreasing order.
x, b, 0.5
Let o be (-2)/(2/(-21)*3). Suppose -17*r + 4*x = -16*r - 5, -4*x - 11 = r. Sort r, -4, o in increasing order.
-4, r, o
Let h(g) = -g**3 + 6*g**2 - 2*g + 6. Suppose -3*s + 3 = -15. Let r be h(s). Let l be 32/(-14) + (-2)/(-7). Sort l, 1, r in increasing order.
r, l, 1
Let g = 160 - 160. Sort 1/5, g, 0.4, -7 in descending order.
0.4, 1/5, g, -7
Let r = 2.78 - -0.22. Let l = -89.5 + 90. Sort r, 0, l, -0.4.
-0.4, 0, l, r
Suppose r + 1 = -1. Let t be (-1 - r)*2/(30/5). Sort 6, -1/9, -0.5, t in descending order.
6, t, -1/9, -0.5
Let n = 11.08 + -11.28. Sort n, 2, 3, 0.05.
n, 0.05, 2, 3
Let s = 0.22 - 5.62. Let n = s + 5.1. Put 0.3, 2/9, 0.2, n in ascending order.
n, 0.2, 2/9, 0.3
Let b(f) = -5*f + 12. Let l be b(3). Put -1, 74, l in descending order.
74, -1, l
Let o = -318.4 + 180. Let v = 139 + o. Let w = -0.6 + 0.3. Put v, -0.1, w in decreasing order.
v, -0.1, w
Let u be (2762/(-3324))/((-4)/(-12)). Let v = 2/277 - u. Sort v, -4, 2/13 in descending order.
v, 2/13, -4
Suppose -u + j + 5 = -0*j, -u = j - 5. Suppose m = 3*f - 4, 3*m - 10 = 4*f - 12. Suppose -6 = -2*b - 0. Sort f, b, u in decreasing order.
u, b, f
Let p = -0.02 + 6.82. Let b = 7 - p. Suppose 5*c = -5 - 10. Sort -5, c, b in decreasing order.
b, c, -5
Let x(s) be the third derivative of s**4/24 - s**3/3 + 2*s**2. Let u be x(5). Suppose -14*p + 63*p - 620 = -13*p. Put u, -1, p in descending order.
p, u, -1
Suppose a - 44*q + 46*q = 11, 5*q = -3*a + 29. Suppose -3*l - 5 = 7. Let p be (0 - 1) + (-1)/1. Sort p, a, l in increasing order.
l, p, a
Suppose -46*s + 242 - 104 = 0. Sort -28, -1, s in descending order.
s, -1, -28
Let f be 22/4 + 5/(-10). Suppose -g = -f*b + 12, 3*b - 5*b = -2*g. Sort 4, g, -5 in increasing order.
-5, g, 4
Let a = 7 - 3. Let z = -9 - -5. Suppose 0 = 7*s - 1 - 13. Sort s, a, z in decreasing order.
a, s, z
Let r(p) = -p**