-169/469. Sort x, -3, n in descending order.
x, n, -3
Let b(h) = 3*h**2 + 15*h - 23. Let a be b(2). Sort -6, -4, 3, a in descending order.
a, 3, -4, -6
Suppose -48 = -15*s + 3*s. Put s, 36, 1 in decreasing order.
36, s, 1
Suppose 5*c + 4*c + 4*c = 0. Put c, -6, -3, 1 in decreasing order.
1, c, -3, -6
Let h = -8 - -6.5. Let y = 13.5 + h. Let a = y - 12.3. Sort a, 4, 1 in descending order.
4, 1, a
Let q = 11 + 0. Suppose 4*n = -5*p + 1, p - 6*p - q = n. Sort -3, n, -5, 3 in ascending order.
-5, -3, 3, n
Suppose -10 = 5*q - 0*q. Let t be (-2 + 8)*((-11)/(-22) - 0). Sort 4, 0, t, q.
q, 0, t, 4
Let q be (-1)/5 - 2727/(-135). Suppose 0 = -3*a + 4*x + 5, -x + 0*x + 20 = -5*a. Sort -2, q, a in descending order.
q, -2, a
Let p be (112/(-24))/(1/6). Let x = p - -26. Let v(g) = 2*g. Let y be v(x). Sort 3, -5, y.
-5, y, 3
Suppose -2*c = -7*c - 5. Let g be ((-304)/20 - -16)/((-2)/5). Sort g, 1, 4, c.
g, c, 1, 4
Let j = -264341131/1243494480 + 1/1564144. Let w = j + 2/159. Sort w, 0, 2/5 in increasing order.
w, 0, 2/5
Let g(o) = 2*o - 2. Let c be g(3). Let w(j) = -5*j**2 + 3*j - 1. Let d be w(2). Let s(t) = 2*t + 5. Let x be s(-4). Put x, d, c in descending order.
c, x, d
Suppose 8 = -2*j + 3*u, -j = -5*j + u - 16. Let z be (0 + 1/2)/(1/j). Sort 1, z, -4, 4 in increasing order.
-4, z, 1, 4
Let f = 18.7 + -17.7. Put 0, -0.14, f in decreasing order.
f, 0, -0.14
Suppose 5*b = -3*z + 29, 5*b = 2*z - 1 + 40. Suppose 3*u = 2*u + 4, 3*g - 4*u + b = 0. Sort 0, g, 1.
0, 1, g
Let x be 3/(3 - 6) + (-3 - -107). Let p = -106 + x. Sort 4, 13, -1, p in ascending order.
p, -1, 4, 13
Let x = 107 + -106. Suppose v + 5 = -5*y + 17, 28 = -5*v - 3*y. Let g be 8/v - (-2)/2. Sort 2, g, x in decreasing order.
2, x, g
Suppose -t + 15 = 4*t. Suppose 0 = 3*z, 8 = -2*b + z - 0*z. Let p(h) = h + 1. Let m be p(-4). Sort t, b, m.
b, m, t
Let b = 99 + -68. Let d = -36 + b. Sort 3, d, 2/13 in ascending order.
d, 2/13, 3
Let w = -87 - -84. Suppose 2*f = -3*s - 0*f + 12, 14 = 4*s + 2*f. Suppose t = 3*l - 3, 3*l - 3 = -t - 0*l. Sort w, s, t in increasing order.
w, t, s
Let g = 18 - 19. Let s = -61.7 - -62. Sort s, g, -3, 2 in increasing order.
-3, g, s, 2
Let j = -3.1 - -3. Let c be 15/2*(-28)/35. Put c, 1/3, j in ascending order.
c, j, 1/3
Let a = -68 + 109. Suppose -2*w + 16 = -4*y, 0 = 17*y - 15*y - 4*w + 8. Sort 0, y, a.
y, 0, a
Let f = 1.6 + -9.6. Suppose -2*h + 8 = -3*s, -4*s - 9 - 15 = 4*h. Put f, h, 0 in descending order.
0, h, f
Let j = 7529 + -7529.5. Let z = -29/2 + 43/3. Put 12, z, j in decreasing order.
12, z, j
Let w be (-104)/(-1290)*(-21)/(-2). Let g = w - 2/43. Let u = -3 + 8. Put 3, u, g in decreasing order.
u, 3, g
Suppose -3*p - 5*f = -f - 5, p - 9 = -5*f. Let k(v) = v + 3. Let h be k(0). Let j = p - h. Sort 2, j, 4 in descending order.
4, 2, j
Let l = -334 + 329. Put 34, 5, 1, l in descending order.
34, 5, 1, l
Suppose 5*z + 4 + 22 = g, 5*g + 2*z - 130 = 0. Let i = -28 + g. Put -1, i, 2 in descending order.
2, -1, i
Let d = 6.78 - 6.88. Sort 0.3, 1/4, d, -18/5.
-18/5, d, 1/4, 0.3
Let w = -17 + 16.85. Let r = w + 1.15. Let y = 7 + r. Sort -4, y, 1 in decreasing order.
y, 1, -4
Let y = 0.0034 - -0.1966. Put -0.3, 1, y, 2/5 in decreasing order.
1, 2/5, y, -0.3
Let o = 0.0151 + 0.0849. Let j = 1.1 - 0.1. Let s = -0.1 - -2.1. Put s, o, j in decreasing order.
s, j, o
Let o = -77.62 + 79. Let k = o - 1.3. Let f = 7 + -3. Put f, k, -1/3 in descending order.
f, k, -1/3
Suppose -9 = 5*j + 5*f - 4, -j + 4*f = -24. Suppose 10 = -3*w + j. Let b = -0.3 - 0.2. Sort b, -3, w.
-3, w, b
Let b = -0.388 + -5.612. Let h = -6.98 + -0.02. Let u = b - h. Sort 2/5, -0.5, u.
-0.5, 2/5, u
Let c = 133 - 134. Put -0.2, -3, c, -10/11 in descending order.
-0.2, -10/11, c, -3
Let d be 2/8 - (-44)/16. Suppose 8*g + 4 = -2*l + 10*g, 3*g - 6 = 4*l. Sort 2, d, 0.5, l in decreasing order.
d, 2, 0.5, l
Let p = -1.1 - -1.1. Let d = p - 11. Let a = 12 + d. Put 3, a, 0 in increasing order.
0, a, 3
Let g be (-4)/(-10) + -2 + (-65)/(-25). Let a(w) = -w**2 - 12*w - 12. Let v be a(-9). Put -2, g, v in descending order.
v, g, -2
Suppose 5*t = 263 - 8. Let i = t - 75. Let k = -21 - i. Sort k, 1, 0.
0, 1, k
Let j = 0.5 - 0.6. Let n = -71 - -69.7. Sort -3/2, j, n in descending order.
j, n, -3/2
Let b = 481 + -481. Let d = 4.2 - -0.8. Sort d, 1/7, b, -0.3 in increasing order.
-0.3, b, 1/7, d
Let o(y) = -y**3 - 5*y**2 + 8*y + 8. Let u be o(-6). Let c be 136/10 - 11 - (-3)/(-5). Let r = 27 - 29. Sort c, u, r in decreasing order.
c, r, u
Let y be -2*-8*(-1)/24. Put y, 0, 1, 4 in increasing order.
y, 0, 1, 4
Let y = -2 - -3. Let i = -365 + 363. Sort i, y, -0.05.
i, -0.05, y
Let v be 836/57 + (-4)/6. Sort 3, -3, -2, v in decreasing order.
v, 3, -2, -3
Let j = 216 + -231. Sort j, 2, -5, -0.4.
j, -5, -0.4, 2
Suppose -240*j = -249*j + 36. Put -31, 6, j in decreasing order.
6, j, -31
Let j be (2/3)/(-8 + 340/42). Sort j, 23, 2 in descending order.
23, j, 2
Suppose 0 = -4*q + 3*d - 68, -5*q + d = -6*q - 17. Sort 5, 1, q in descending order.
5, 1, q
Let u be (-45)/189 - (-2)/(-6). Let q = -0.3681 - -0.0681. Let o = -12.7 + 12. Sort o, q, u.
o, u, q
Suppose 4*g = l - 19, 3*g + 20 = l - 6*l. Put 152, 3, 1, l in decreasing order.
152, 3, 1, l
Let c = -3/659 + 1333/3295. Let u = 6.4 - 6. Let n = u + 0.1. Put 1, c, n in descending order.
1, n, c
Let h = -36 + 47. Let f = h - 25. Put 2/9, f, 0.1 in ascending order.
f, 0.1, 2/9
Suppose 0 = -3*o - 12, -6*l + 1 = -5*l + o. Suppose c = 5*w - 8, -l*w - 2*c + 11 = -3. Sort -3, w, 5.
-3, w, 5
Let c(y) = 17*y**3 - 10*y - 11. Let p be c(-1). Put -3, p, -0.2 in descending order.
-0.2, -3, p
Let o be -6*5/45*6 - 408/(-108). Let n = 0 - -1. Suppose -5*b - 8 - 2 = -5*v, b - 10 = -3*v. Sort v, o, n in decreasing order.
v, n, o
Let w be 2 - (-1)/(1*(-6)/42). Put w, -43, -3, -1 in descending order.
-1, -3, w, -43
Let f(x) = 2*x**2 - 4*x - 3047. Let u be f(40). Suppose 0 = -4*j + 8, -5*j + 2*j = 3*y - 15. Suppose -y = -m - 0. Sort u, m, -5 in ascending order.
u, -5, m
Let v = -5.386 + 0.386. Put 2, 9/4, v, 3/5 in descending order.
9/4, 2, 3/5, v
Let h be (3620/7)/(-2) - 0. Let b = h + 259. Let t = -1058 + 1057.5. Put -0.2, t, b in increasing order.
t, -0.2, b
Let u = 34.93 + -10.93. Put 2/9, 3/2, u in descending order.
u, 3/2, 2/9
Suppose -11 = -7*x + 10. Let d = 1/31 - -59/93. Sort x, d, -0.2.
-0.2, d, x
Let q = -0.2 - -4.2. Let s(p) = 3*p - 13. Suppose -8*h - 12 + 60 = 0. Let v be s(h). Put 2, q, v in increasing order.
2, q, v
Let k = -416 + 3742/9. Let x be -2 - 0 - 2/(-4). Sort k, -1/21, x in ascending order.
x, k, -1/21
Suppose 5*c + 4*b = b - 152, -2*c = -3*b + 65. Sort c, -4, -3, -5 in decreasing order.
-3, -4, -5, c
Let p be 4*5/(-70) - 185/(-35). Put 1, p, 2, -2 in decreasing order.
p, 2, 1, -2
Let l = 2 + -6. Let k be ((-2)/(-4))/((-32)/(-64)). Sort k, l, 1/7.
l, 1/7, k
Let m = -166 + 166. Suppose m = 9*d - d - 24. Let r be 4/(-6)*(-7 + -2). Sort r, d, -1 in decreasing order.
r, d, -1
Let r = 4.28 - 4.58. Put 0.5, r, 0 in descending order.
0.5, 0, r
Suppose -6 - 3 = 3*b. Suppose -4*g - l + 43 = 2*l, -l = -1. Let u = g - 0. Put -2, u, b in descending order.
u, -2, b
Let p be (6/15)/((-5)/((-15650)/(-24))). Let z = -157/3 - p. Let i = -2 - -1. Put i, z, -4 in descending order.
z, i, -4
Let z(l) = -93*l - 320. Let o be z(-4). Sort o, 1, -1 in descending order.
o, 1, -1
Suppose -78 = -4*r - 66. Let n = 1.39 + -0.99. Sort n, 0.2, r, -0.3 in descending order.
r, n, 0.2, -0.3
Let y = -2 + 5. Suppose 0 = -y*x - 5*n - 4 - 14, -x = 2*n + 7. Let o = 87 + -90. Put o, -2, x in ascending order.
o, -2, x
Let z = 504.9 + -505. Let d = -0.05 - -1.05. Sort 2, d, 5/2, z in ascending order.
z, d, 2, 5/2
Let b(v) = 2*v**2 - 54*v + 51. Let r be b(26). Sort 2/7, r, 2/81, -2 in increasing order.
-2, r, 2/81, 2/7
Let z(d) = -2*d**2 + 17*d + 11. Suppose -5*f - 3*j + 45 = 0, 2*j = -f - 4 + 13. Let v be z(f). Put 0, v, -2, 3 in decreasing order.
3, v, 0, -2
Let w = 4 - 7. Let x be 0 - w - -6 - -1. Let b be (6 + -10 + 4)/(1*-1). Sort b, x, 5.
b, 5, x
Let b = -568/855 - -42/95. Sort b, 5, -0.3, 0 in ascending order.
-0.3, b, 0, 5
Let m(f) = -8*f + 8. Let c be m(1). Let z(u) = u**3 - 9*u**2 + 7*u + 6. Let x be z(8). Sort 3, x, c in decreasing order.
3, c, x
Let r(h) = h**2 - 13*h - 19. Suppose -4*d + 3*f + 59 = 2*f, -79