474. Sort j, -4, 4, n in decreasing order.
n, 4, j, -4
Let m = 91 + -54. Let r = -40 + m. Let f = 570.14 - 570. Sort -0.4, f, r, -0.1.
r, -0.4, -0.1, f
Let h = -7.4085 + -0.5915. Sort -0.2, 5, -0.4, 3, h.
h, -0.4, -0.2, 3, 5
Let o = -12041 + 12040.9. Put -7/2, o, -13, -0.4, -1 in ascending order.
-13, -7/2, -1, -0.4, o
Let o(v) = -v**3 + 2*v**2 - v + 2. Let f be o(2). Let i be 11/(-440)*-60*4/42. Put 5, i, -2, f in ascending order.
-2, f, i, 5
Suppose -m + 2 + 5 = 3*n, 4 = n. Put 1, 5, m, 3 in increasing order.
m, 1, 3, 5
Let h be 81/270 + 108/40. Put -4, 85, h in descending order.
85, h, -4
Let g = 4.7172 + -2.3172. Sort 1/4, -2/13, g, -0.5 in descending order.
g, 1/4, -2/13, -0.5
Let v be ((-4)/(-8))/(-13 + (-301)/14). Sort v, -4, 0.2 in descending order.
0.2, v, -4
Let t(l) = 2729*l - 6. Let v be t(0). Suppose -f = 4*f. Sort f, -3, -2, v in ascending order.
v, -3, -2, f
Let k = 2737 - 2738. Put -4, k, 3, 7 in descending order.
7, 3, k, -4
Let k = 8 - 11. Let m(l) = -33*l**2 - 11*l - 7. Let d be m(3). Let z = d - -335. Put 1, 5, k, z in descending order.
5, 1, z, k
Let l = 1987 - 1987.907. Let g = -0.093 + l. Let r = -1.28 + 1.38. Sort g, r, 11, 0 in decreasing order.
11, r, 0, g
Suppose 20 = -4*v + 2*v + 4*w, 5*v + w - 5 = 0. Suppose 263*l + 60 = 119*l + 129*l. Sort 1, l, 2, v.
l, v, 1, 2
Let x = -11039 + 11040. Put -1, -3, -5, x in increasing order.
-5, -3, -1, x
Let z = 1.73 - 0.03. Let y = 0.3 + z. Let v be (-4 - (-424)/110) + ((-1938)/187)/(-19). Put v, y, 1/3, 0 in decreasing order.
y, v, 1/3, 0
Suppose -5*g - 17*p = 111, -53*g + 4*p + 57 = -48*g. Sort 345, -7, g in descending order.
345, g, -7
Let v = 2/1417 + -2323886/4251. Put -3, 0, v in decreasing order.
0, -3, v
Suppose 3*o + 57*q - 61*q = -45, 2*q = o + 21. Sort 140, -2, 4, -5, o in decreasing order.
140, 4, -2, o, -5
Suppose 53*h - 48*h - 4*m = -260, -5*m = 2*h + 71. Sort -5, -3.4, h, -2 in increasing order.
h, -5, -3.4, -2
Suppose -502 = -5*i - 2*g + 54, 0 = 2*i + 4*g - 216. Let h = -116 + i. Put -8, h, -2/9 in ascending order.
-8, h, -2/9
Let y = -0.6 - -4.6. Let q be 36/(-48)*2/(-6). Let c = -912 + 908. Sort 0.5, y, c, q in ascending order.
c, q, 0.5, y
Suppose 11 + 109 = 12*l. Let j be (l/(-3))/((-60)/(-90)). Put j, -3, -14 in increasing order.
-14, j, -3
Let t = 4 - 1. Let u = 3446 + -3442. Let o(h) = h - 14. Let c be o(15). Sort u, -3, c, t in descending order.
u, t, c, -3
Let k = -762.5 - -705.5. Put -1/3, k, -4, -5, -0.3 in increasing order.
k, -5, -4, -1/3, -0.3
Let c = -9.587 - -4.587. Put 387, -3/7, c in descending order.
387, -3/7, c
Let i = 7 - 12. Let y be (391/2)/((-1)/(-2)). Let b = 407 - y. Sort i, -0.4, b in decreasing order.
b, -0.4, i
Suppose -84*l = -320*l + 1652. Let a(p) = -p**3 - 2*p**2 + 3*p + 1. Let c be a(-3). Sort c, -4, 3, l in decreasing order.
l, 3, c, -4
Let g = -43/4 - -325/28. Let k = -27.323 + 28.523. Sort k, g, 0.1 in decreasing order.
k, g, 0.1
Let r be (1 + (-10)/6)/(33/(-99)). Suppose 2*o = 2*y, -3*o = 2*y + 23 + r. Put -1/5, -3, -26, y in increasing order.
-26, y, -3, -1/5
Suppose -195 = 37*r + 582. Let p = r + 16. Put 5, p, 2 in ascending order.
p, 2, 5
Let w = -7858.4 - -7858. Let j = 0.2 - -0.3. Let k be 0 - -3*4/(-6). Put -0.1, k, w, j in decreasing order.
j, -0.1, w, k
Let k = -34127 - -34135. Let x be (3 + (-8)/2)/(-1). Sort x, k, -5 in increasing order.
-5, x, k
Suppose -348*v - 306 = -246*v. Put -2/3, -0.2, -33, v in descending order.
-0.2, -2/3, v, -33
Suppose -190 - 242 = -108*i. Let y(k) = -k**2 - 2*k + 2 - 2. Let h be y(-3). Put h, 3, i, -2 in decreasing order.
i, 3, -2, h
Let j(i) = 2*i**3 - 29*i**2 + 20*i - 84. Let r be j(14). Put -2, r, -8, 17 in ascending order.
-8, -2, r, 17
Suppose -t = 4*z - 5, -t - 3 = -0. Suppose -5*u = b - 38, -5*b + u = -1035 + 1001. Let v = 8 + -11. Put v, b, z, -1 in increasing order.
v, -1, z, b
Let l = -7 - -5. Let y = 1.9 + l. Let i = -2969 + 2956. Put y, -4, 1, i in increasing order.
i, -4, y, 1
Let f be (34/3)/(5/3). Let b = -482474 + 482471. Sort 0.2, f, b.
b, 0.2, f
Let y(n) = n. Let m be y(0). Let d be (-1 - m)*(-4)/(-1). Let b = -139090 + 139085. Sort b, 5, d.
b, d, 5
Suppose 2*j + 4*k + 24 = -0*k, 4*k = -5*j - 60. Let o(t) = 6*t + 5. Suppose 0 = 4*h - 3*m, -5*h - 7*m + 3*m = 0. Let v be o(h). Put -3, v, j in ascending order.
j, -3, v
Let f(c) = -2*c**2 + 27*c + 8. Let d be f(14). Let m be 2/(-1)*d*6/24. Suppose -z - 3*o = 4 - 0, 0 = 2*z + 2*o. Put -4, m, z, -1 in decreasing order.
m, z, -1, -4
Suppose -9*o = -150 + 96. Let i(q) = -q**3 + 8*q**2 - 20*q + 45. Let u be i(o). Sort u, -22, -4 in ascending order.
-22, -4, u
Let c = -0.4 - -0.2. Let z = 1051 + -309. Let i = z - 747. Sort c, -0.3, 5, i in decreasing order.
5, c, -0.3, i
Suppose 4*w + d - 3 = 0, -7*w + 4*w - 4*d + 12 = 0. Let y be (-52)/(-156)*(1 - w - -101). Put y, 1, -5 in descending order.
y, 1, -5
Let o = -10 - -12. Let n(q) = q**3 + 10*q**2 - 14*q - 13. Let d be n(-11). Suppose -d*j - 4 = -21*j. Put o, 3/8, -0.5, j in decreasing order.
j, o, 3/8, -0.5
Let f(k) = 4*k + 161. Let w be f(-35). Let h be 1 - 0 - (22 + (11 - w)). Let i = 0 + 1. Sort i, h, 2, 4.
h, i, 2, 4
Suppose d - 5*c - 11 = -7*c, 34 = 5*d + 3*c. Suppose -3*z + 13 + 21 = d*g, 0 = 5*g - 25. Sort z, 0.071, -0.2.
-0.2, 0.071, z
Let p be (-30)/(-285) - 2112/(-152). Sort p, -0.2, -3/5, -1, -1/10 in descending order.
p, -1/10, -0.2, -3/5, -1
Let i(b) = -b - 2. Suppose 55 = -3*h - 2*h + 5*q, -5 = 5*q. Let k be i(h). Let u = k + -5. Sort u, 3, -1 in increasing order.
-1, 3, u
Suppose -688*f - 329 = -683*f - 3*s, -2*f - 5*s = 175. Put -4, f, 13, -2 in descending order.
13, -2, -4, f
Let u = 185 + -175. Let r = -11 + u. Suppose -3*o - 30 = -8*o. Sort o, -2, r in descending order.
o, r, -2
Let s = 13.8 + -27.2. Let w = s - -13.8. Put 0.5, -37, -0.5, w in descending order.
0.5, w, -0.5, -37
Let i be 130/(-12) - (38/(-6) - (-54 - -47)). Sort -0.08, i, 3, 0.2 in increasing order.
i, -0.08, 0.2, 3
Let u(j) = 1058*j - 1563. Let k be u(3). Sort 4, 2, k.
2, 4, k
Let d = 2.5 + -3. Suppose -864*t + 888*t = 24. Let c be (-272)/20 - 22/55. Put d, t, -5, c in descending order.
t, d, -5, c
Let b be 26/(-28)*-4 - (-485)/(-679). Put -3, 0, b, 102 in decreasing order.
102, b, 0, -3
Let v = -18660 - -18714. Put 4/15, 1/2, v in ascending order.
4/15, 1/2, v
Let u(h) = -2*h**2 - 9*h - 6. Let m be u(-4). Let t be (-1148)/646 - (-4)/(-38) - m. Sort -2/5, t, -2/11, 2/9 in ascending order.
-2/5, -2/11, t, 2/9
Let w = -0.5 - -0.4. Suppose -57*i - 585 = -174*i. Sort 1, w, i, 3/8.
w, 3/8, 1, i
Let g be (-2 - 20/(-12))*6/(-14). Suppose d = 4*d - 36. Suppose 0 = -5*o + 23 + d. Put g, -3, o in descending order.
o, g, -3
Let k = 39630.1 - 39630. Let f = -5 + 9. Let n = 6 - f. Put n, k, 0.3, 5 in descending order.
5, n, 0.3, k
Let j be 40/(-300) + (772/(-60) - 3). Put -4, j, 3, 19 in decreasing order.
19, 3, -4, j
Suppose 0 = -10*t + 2*t + 40. Suppose -t*s + 8 = 3*c - 9, 2 = 2*s. Suppose 5*a = 2*a - 9. Sort a, 3, c, -5 in ascending order.
-5, a, 3, c
Let g = -1.9 + 2. Let p = -0.1 - g. Let i = -34.1592 + 36.4592. Put i, 0.5, p in descending order.
i, 0.5, p
Let x = 37738/15 - 2516. Put x, -559/5, 0.03 in ascending order.
-559/5, x, 0.03
Let w = -8465 + 8487. Sort w, -1, 9 in ascending order.
-1, 9, w
Let t be 124/84 + 4/6. Suppose -6*c + 58 = 190. Let o be 30 - 25 - 5/((-25)/c). Put t, o, -2/3 in descending order.
t, o, -2/3
Suppose 2*h = -3*o + 24, -h + 5*o - 6 = 2*o. Suppose -30 + 18 = -h*d. Suppose -b - 4*n = -d, -4*n = -b - n + 16. Sort b, 3, 1 in ascending order.
1, 3, b
Suppose 5*u = p + 22, p + 909*u - 910*u + 2 = 0. Sort p, -3, 54, -5, 5.
-5, -3, p, 5, 54
Suppose -2*o = -h - 9, -2*o = -0*o + 5*h + 21. Suppose 56 - 4 = o*p. Let j = p - 28. Sort 0, -1, j in increasing order.
j, -1, 0
Let c be (3/(6/4))/(142/(-213)). Sort c, -2, 16, -5 in descending order.
16, -2, c, -5
Suppose 2*v + 13 = 2*f - 1, 4*v - 14 = -3*f. Suppose -27 = -f*o - 3*o. Suppose 2*a - 5*k - 5 = 30, 4*k = -o*a - 5. Put a, 0, 4 in ascending order.
0, 4, a
Suppose -2*k + 4 = 3*o - 1, 0 = -k - 3*o + 7. Suppose -4*z - 3*m = -54, 4*m - 91 + 71 = -z. Let v be (3/z)/(k - -1). Sort 2/9, v, -2/3, 0.2 in ascending order.
-2/3, v, 0.2, 2/9
Let i = -15.1435 - -15.1135. Let k be -2 - -2 - 2/(-7). Sort i, -0.1, k, -5.
-5, -0.1, i, k
Let y 