-510. Sort 3, h, 14, -2 in decreasing order.
14, 3, h, -2
Let b be (6/(-15))/((-1)/(-5)). Let s be -1*-6*1/(-2). Let j(q) = 2*q**2 + 6*q - 1. Let t be j(s). Sort b, t, 3 in decreasing order.
3, t, b
Let u(b) = 2*b + 4. Let z be u(0). Suppose 5*c - 3*c = 4*s, -3*c - z*s = 20. Sort 5, 4, c in decreasing order.
5, 4, c
Let q = 0.29 - 2.34. Let f = 0.05 + q. Sort 2/3, -0.1, f in descending order.
2/3, -0.1, f
Let a = -550 - -551. Let y = -0.9 - -0.5. Put y, a, -1, 5 in descending order.
5, a, y, -1
Let o(w) = w**3 - 16*w**2 + 40*w - 163. Let n be o(14). Sort n, 2, -43, 3 in ascending order.
-43, 2, 3, n
Let w = -49 - -76. Suppose -5*i = 5*k - 30, 0*i - 5*i + w = 2*k. Sort 2, k, 3 in decreasing order.
3, 2, k
Let o(w) = -11*w**3 - 26*w**2 + 89*w + 20. Let u(a) = -4*a**3 - 9*a**2 + 30*a + 7. Let v(n) = 3*o(n) - 8*u(n). Let f be v(-9). Put f, 7, -2 in descending order.
7, f, -2
Let w = 4057 - 4057.2. Let c = 1 - 1.1. Sort -3, c, 1, w.
-3, w, c, 1
Let g be (4 + -4)/(2/(-2)). Suppose g = -5*v - 2*v. Suppose 0 = 4*x - 0 - 8. Sort x, 5, v.
v, x, 5
Suppose -2*p = g - 6 + 1, 2*p - 8 = 2*g. Let i = -4 + 1. Sort p, i, 1 in descending order.
p, 1, i
Let j be (-4 + 1)/((-2)/12). Let g = -14706 - -14702. Put 2, g, j, 3 in increasing order.
g, 2, 3, j
Let p = -0.764 + 0.264. Sort p, 1/3, 5, -112 in increasing order.
-112, p, 1/3, 5
Let m = 24 + -27. Suppose 49*d = 50*d - 3. Let a = -6 + 4. Sort d, m, a in decreasing order.
d, a, m
Let x = -2.3 + 91.3. Let d = -85 + x. Put 5, d, -0.3 in increasing order.
-0.3, d, 5
Let a(g) = 1 - 182*g + 6 + 96*g + 90*g. Let x be a(-3). Suppose 0 = -2*p + p - 3. Put x, -1, p in ascending order.
x, p, -1
Let u = 8 + -11.4. Let d = 3.4 + u. Let f = -0.05 + 5.05. Put f, -2/9, d in ascending order.
-2/9, d, f
Let v be 35/30*4/7. Put 0.4, 0, v, -0.2 in ascending order.
-0.2, 0, 0.4, v
Let v be (-2)/(-5) + (-4)/(-6). Let i = -5/3 + v. Let t be -4*3/4 + 7/(14/12). Sort 1/4, i, t in decreasing order.
t, 1/4, i
Let g = -1.066 + 1.236. Sort -0.4, -3/4, -8, g in increasing order.
-8, -3/4, -0.4, g
Let z = -30.7 + 31. Let n = -16 + 206/13. Put z, -0.6, n in descending order.
z, n, -0.6
Suppose 0 = -3*i - 3*d + 35 + 13, 0 = -5*i - 2*d + 77. Sort 4, i, 0 in descending order.
i, 4, 0
Let p = -2 - -3. Suppose 5*i + b - 50 = 0, -2*b - 15 = -5*b. Let v = 8 - i. Sort -4, v, p in decreasing order.
p, v, -4
Let c = 3.98 - 8.98. Sort 0.63, 1, c in decreasing order.
1, 0.63, c
Let w(j) = j**2 - 19*j + 69. Let x be w(14). Let d be 1/(-2)*(-5 - -5). Put x, d, -4 in ascending order.
-4, x, d
Let a = -810 + 809. Suppose 0 = h - 46 + 18. Suppose h = -3*k - 4*x, -k = 4*k - x + 16. Sort a, k, 0.
k, a, 0
Let f = -3415 + 3420. Suppose 4*i - 2*r + 6*r + 8 = 0, i + 5*r - 10 = 0. Put i, -10, f in decreasing order.
f, i, -10
Let b(c) = -c**3 - c**2 - 2*c + 8. Let l be b(0). Let x be (-202)/10 - l/(-40). Let f = x - -22. Sort 4, f, 1.
1, f, 4
Let d be 22 + (-3 + 3 - 2). Suppose 3*w + d = 8*w. Sort -2, w, 5 in descending order.
5, w, -2
Let o be (-4)/(32/(-24)) - 1. Put o, 5, -5 in descending order.
5, o, -5
Let i(v) = v**2 + 2*v + 28. Let c be i(0). Suppose 2*t - 7*t = -2*x - c, t - x - 8 = 0. Sort 3, t, 0.
0, 3, t
Suppose 0 = 4*t - 3*y - 45 - 22, 5*y = -t + 11. Let o be (-2)/t*2 - (-18)/264. Put -4, -2, o in ascending order.
-4, -2, o
Let u = -6 + 6. Suppose -2*n + 8 - 2 = u. Let q be -1*(n/1)/(-3). Sort 5, -4, q.
-4, q, 5
Suppose -12*y - 55*y = 61 + 6. Let m = -5 - -2. Sort y, 0, m in descending order.
0, y, m
Let d(y) = -y**3 + 9*y**2 - 7 + 0 - 1. Let q be d(9). Sort 5, -4, q in descending order.
5, -4, q
Let c = -2090 - -18812/9. Put c, -2, -5, 2/3 in ascending order.
-5, -2, c, 2/3
Let o = -345 + 346.1. Put 6, -4, o in decreasing order.
6, o, -4
Suppose -5*b + 14 = 3*s - 38, -12 = -3*s. Let n be b/(-4)*6/16. Let i = -6.7 - -4.7. Put i, 2/13, n in descending order.
2/13, n, i
Let o = -1626 - -17882/11. Put -2/11, -1, o in decreasing order.
-2/11, o, -1
Let n be (-108)/(-54) + -2 + 4/6. Sort -0.2, -0.28, n in descending order.
n, -0.2, -0.28
Let t(r) = r**2 - 7*r + 6. Let p be t(6). Sort p, 12, -1.
-1, p, 12
Let h be (6/15)/(20/125). Put 5, h, -2/5, 2 in descending order.
5, h, 2, -2/5
Let z = -49 - -44. Let d = -117/2 + 60. Put z, d, -0.19 in decreasing order.
d, -0.19, z
Suppose 3*q + 10 = 5*q. Suppose -9*i = -q*i. Suppose i = 2*y - 6 - 0. Sort -5, 5, y in ascending order.
-5, y, 5
Suppose -h + 2 = c, 4*h - 10 = -5*c + 3*c. Let n = 1 + h. Let i(b) = b**2 - 16*b + 16. Let d be i(15). Sort n, d, 0.
0, d, n
Let h be 3 - (0/4 - 1). Suppose -2*c + 5*y + 28 = 0, -5*c + y + 20 = -h. Put 0, -5, 5, c in ascending order.
-5, 0, c, 5
Let x be 197/(-6) + (2 - (-13)/(-6)). Let q = x + 31. Sort -3, q, 2.
-3, q, 2
Let o = 403.5 - 403.6. Let c = -0.11 - 4.89. Sort c, o, -0.2, -2.8.
c, -2.8, -0.2, o
Let y(m) be the first derivative of m**2/2 + 11*m - 21. Suppose -4*c - 35 = 25. Let d be y(c). Sort 2, d, 5 in decreasing order.
5, 2, d
Let h(g) = 19*g**2 - g + 7. Let p be h(2). Let a be (-6)/(-4) - p/(-54). Sort a, 44, 1 in decreasing order.
44, a, 1
Let q = -2018 + 1994.06. Let u = q - 0.06. Let a = u - -23.6. Put 2/9, a, 2/11 in increasing order.
a, 2/11, 2/9
Let r = -159 + 160. Put 0.5, r, -4, -5 in decreasing order.
r, 0.5, -4, -5
Suppose 3*x = l, -6*x + 3*l = -10*x - 13. Put 6, 32, x in descending order.
32, 6, x
Let i = -11 + 10. Put i, 0, 2, 99 in ascending order.
i, 0, 2, 99
Let m be (-4)/2 - (-20)/1. Let j = 11 - m. Suppose 2 = 9*y + 47. Put y, j, -4 in descending order.
-4, y, j
Let m(l) be the third derivative of -l**5/60 + l**4/4 - 7*l**3/6 + l**2. Let z be m(5). Sort z, -1, 5 in descending order.
5, -1, z
Let s be (-4)/3*9/(-6). Suppose 2 = s*f - f. Suppose -f*y + y = -2. Put 3, y, -4 in increasing order.
-4, y, 3
Let p(u) = -24*u - 143. Let h be p(-6). Sort 2/5, h, 2, -0.15.
-0.15, 2/5, h, 2
Let v = -2.34 - 0.36. Let w = 3 + v. Sort 1/5, 5, w in decreasing order.
5, w, 1/5
Suppose -29*x + 14*x = 165. Put x, -3, -4, -5 in decreasing order.
-3, -4, -5, x
Suppose -3*r = 57 + 633. Let z be 4/14 + r/70. Suppose -5*t + 11 = 1. Sort 3, t, z in decreasing order.
3, t, z
Let q = 816 + -823. Sort 3, -5, q.
q, -5, 3
Let a = 1.3 + -0.3. Let b = -3 - a. Let c = -161.2 - -161.6. Put c, -0.4, b in descending order.
c, -0.4, b
Let a be ((-4)/24)/(10/(-60)). Let p = -6 - -10. Sort p, a, -2/65 in decreasing order.
p, a, -2/65
Let q(y) = -2*y**2 + 11*y - 7. Let h be q(4). Sort 4, -5, 3, h in descending order.
h, 4, 3, -5
Let u = -245 - -240. Put u, -4, -2, 10 in ascending order.
u, -4, -2, 10
Suppose -5*j = 28*t - 33*t - 10, 0 = -3*j - 9. Put -1/8, 86, t, -1/6 in ascending order.
t, -1/6, -1/8, 86
Suppose 0 = -4*h + 5*x - 20, -h - 4*x = 6 - 1. Let p be 10/((-3)/(-6)*2). Suppose w + 3*n = -p - 8, 2*w + 2*n = -16. Sort h, 2, w in ascending order.
h, w, 2
Let p = -2 - -5. Suppose -4*j + 29 + 53 = -k, 2*k + 140 = -4*j. Let l be 1 + -3 + (k/(-20) - 2). Sort -1/5, l, p.
l, -1/5, p
Let c(d) = -d**2 + 7*d - 9. Let r be c(6). Let q be r/(-2)*2 + -2. Let f = 46 - 232/5. Sort f, -5, q in increasing order.
-5, f, q
Let x be -4*(-3)/(-4)*1. Let m = 303 - 146. Let h = 1101/7 - m. Sort -0.5, x, h in ascending order.
x, -0.5, h
Let j be -2*((-2)/6 - (-4)/3). Suppose -8*t = -20 + 84. Put t, 1, j in decreasing order.
1, j, t
Let n(c) = c**3 - c**2 - 2*c. Let d be n(0). Sort -0.1, -4/3, d, 2/7.
-4/3, -0.1, d, 2/7
Let j(u) = u**3 - 17*u**2 - 18*u - 9. Let l be j(18). Let k = -10 - -9. Sort 0.2, l, k in decreasing order.
0.2, k, l
Let f(r) = -r**2 + 5*r + 4. Let o be f(6). Suppose -2 = k - 9. Suppose -k*w + 17 = -25. Sort w, o, 5 in decreasing order.
w, 5, o
Suppose -4*j = -2*x + 5 - 11, 11 = -3*x + 4*j. Sort -4, x, -6.
-6, x, -4
Let v = -0.016 + 31.016. Let b = -28 + v. Put 4, 1/4, b in decreasing order.
4, b, 1/4
Suppose 7*m + 9*m = -48. Let f(y) = -y**3 - y**2. Let g be (-1 + (-4)/(-8))*0. Let x be f(g). Put x, m, 3 in descending order.
3, x, m
Let m be (-4 - 3)*(-30)/(-105). Put -3, 2, -21, m in increasing order.
-21, -3, m, 2
Let z(c) = c**3 - 3*c**2 + c + 2. Let d be z(3). Suppose -2 = -26*x - 2. Sort d, x, -4 in ascending order.
-4, x, d
Let t = -220 - -234. Sort 0, t, 4 in increasing order.
0, 4, t
Let n = -56.14 + 56. Let d = n + -2.86. Sort d, 1, 0.5 in descending order.
1, 0.5, d
Let c be 