 + 512 = 452. Sort a, 1, y, 5 in decreasing order.
5, a, 1, y
Let s = 467/1205 - -3/241. Let d = 1.2 + -0.2. Let p = 2 + d. Put s, p, -0.01 in ascending order.
-0.01, s, p
Let l = -1.6 + -0.4. Let i = 822.1 + -822. Let u = -0.18 + 0.2. Sort u, i, l in decreasing order.
i, u, l
Let w = -256 - -261. Sort -25, w, -5, -2 in ascending order.
-25, -5, -2, w
Let n(l) = 6*l + 29. Let d be n(-5). Put d, -3, -6 in increasing order.
-6, -3, d
Let m(c) = -c**2 + 11*c + 2. Let h be m(11). Suppose 0 = -4*t - h*o + 7*o + 28, 0 = 4*t + 4*o + 8. Suppose i - t = 1. Sort 2, i, 4.
2, i, 4
Let x = -983.5 - -983. Sort 5, 6, 1, x in decreasing order.
6, 5, 1, x
Let s = 37.7 - 37.5. Let q be 9/12 - (-21)/(-12). Sort q, 3, s.
q, s, 3
Let a = 3.5 - 0.5. Let j = 2.4 - 2.2. Put a, 1/7, j, 1 in descending order.
a, 1, j, 1/7
Let f = 1.04 - 1.51. Let s = f - -0.34. Sort 0.1, s, -4.
-4, s, 0.1
Let r = 231.89 + -232. Sort 0.4, -3/7, r in ascending order.
-3/7, r, 0.4
Let l be ((-30)/(-25))/(7/(175/20)). Sort l, 93, -3 in decreasing order.
93, l, -3
Let u be (-19)/(-2) + (153/(-34) - -5). Let j be (13/5 - 2)*-5. Sort j, -1, u in descending order.
u, -1, j
Let w = -10.2 + 11. Let b = 13/86 - -2/129. Sort w, b, -2 in descending order.
w, b, -2
Let c(k) = -k**3 - 11*k**2 + 10*k + 9. Let q be c(-12). Suppose 0 = -5*o - q - 22. Let t = -6 - o. Sort t, -3, -1.
-3, -1, t
Let y = -34 - -36. Suppose y*s = 2*s + 2*s. Sort -2, -1/6, s.
-2, -1/6, s
Suppose -10 = 3*a + 2*a. Let k be 1 + 3 - (-3 - (-4 - a)). Sort k, 3, 10, -3.
-3, 3, k, 10
Let y = -402.7 - -403. Put -0.2, -0.3, y, 2 in decreasing order.
2, y, -0.2, -0.3
Let m = -491/14 - -71/2. Let b(v) be the first derivative of v**4 + v**3/3 - v**2/2 - v - 11. Let z be b(-1). Put -0.03, m, z in decreasing order.
m, -0.03, z
Let m be 8/(-4) + 25 + -19. Suppose -4*j - 49 = 5*f, 3*f + 3 = 2*j - 0*f. Sort m, -3, j in decreasing order.
m, -3, j
Let o = 1.1 + -0.8. Sort 6, -0.9, o in decreasing order.
6, o, -0.9
Let x(m) = -2*m**3 - m**2 + 5*m + 12. Let f be x(-2). Sort -5, 2, -4, f.
-5, -4, 2, f
Let w be (-1)/2 + 33/42. Let q = 39 + -275/7. Let m = -4.2 - -3.7. Sort q, m, w.
m, q, w
Let u(g) = 2*g**2 - 4. Let m be u(2). Suppose 4*p + m*p + 8 = 0. Sort 1, 4, p in descending order.
4, 1, p
Suppose 3*w + 4*f + 47 = 0, 2*w - 2*f = 3*f - 16. Sort 5, 3, w in descending order.
5, 3, w
Suppose 28 + 10 = -19*a. Put a, -2/13, -1/2 in decreasing order.
-2/13, -1/2, a
Let k be (-5)/3*(-4)/(-50). Let t = -472 + 472.2. Let h = 10.9 - -0.1. Put k, h, t in increasing order.
k, t, h
Let b = -6.6 - -10.7. Let s = 3.9 - b. Sort s, 4, 2/3 in ascending order.
s, 2/3, 4
Let b = -131 - -131.81. Let h = b - 0.51. Sort -2/17, -2/11, h in ascending order.
-2/11, -2/17, h
Let y be 6/(-2)*73/365. Put y, -0.06, -1/2 in decreasing order.
-0.06, -1/2, y
Let p be 3*(3 - 2) + 2. Let j = 1235 + -1240. Sort -7, p, -2, j in ascending order.
-7, j, -2, p
Let r be (-1)/(-3) - (0 - -1). Let b = -5 - 20. Let j = b - -24. Sort j, r, 4 in decreasing order.
4, r, j
Suppose 3*q - 8 = -2, 10 = 2*o + 5*q. Let y = 917 - 1833/2. Let t = o - y. Put 3/16, t, -2 in descending order.
3/16, t, -2
Let a = 21 - 43/2. Let o = -107/76 + -7/76. Put 0.3, o, a, -2/9 in ascending order.
o, a, -2/9, 0.3
Let m be (208/(-3200))/(3/(-7)). Let c = 2/75 - m. Put -1/16, c, -5, -3 in decreasing order.
-1/16, c, -3, -5
Let w = 12.5 - 30.5. Sort w, 1/4, 2, -5 in descending order.
2, 1/4, -5, w
Let b = 0.102 + -1.102. Put 1.69, b, -2/15 in increasing order.
b, -2/15, 1.69
Let r be (2/(-5))/(8/120). Suppose 3*c - 31 = -5*g, 3*g + 0*g + 5*c = 9. Let o(q) = -q**3 + 7*q**2 + 6*q + 19. Let u be o(g). Sort r, u, 2 in ascending order.
r, 2, u
Let i be -2 + (-4 - -2) + 4. Suppose 11 = -8*p + 3. Sort i, 2, p, 3.
p, i, 2, 3
Let n = -74 - -78. Let i = -0.3 - 0.7. Let x = n + i. Sort -5, -1, x in increasing order.
-5, -1, x
Let i be (14/(-2) - (-35)/10) + 3. Sort i, -2, 1.
-2, i, 1
Let a(n) = -2*n**3 + 12*n**2 - n + 8. Let m be a(6). Let l be 10/(-50)*(-25)/m. Sort 3, 12, l in ascending order.
l, 3, 12
Suppose -2*g - 4 = -3*g. Let c be ((-4)/(-6) - 102/18) + 0. Put g, 16, c in decreasing order.
16, g, c
Suppose -2*o + 1 = -3*q, -3*q - 6 + 1 = -o. Let s = 9 + -9. Let x(u) = -u + 7. Let l be x(6). Put s, q, l in increasing order.
q, s, l
Let b = 1508 + -1507.9. Put b, 0.3, 11/3 in decreasing order.
11/3, 0.3, b
Let h = 0.45 + -0.45. Suppose 0 = -2*k - 3*u + 8*u - 27, -5*k + 10 = 3*u. Sort k, h, 10 in descending order.
10, h, k
Let j be ((-16)/72 + 52/(-9))/2. Sort 2, 520, j in descending order.
520, 2, j
Let d = -90.9 - -89.9. Sort d, 2/3, 2.7 in increasing order.
d, 2/3, 2.7
Suppose 5*j = -5*l + 8*j + 7, 3*l + 5*j = -23. Put -5, -2, l in decreasing order.
l, -2, -5
Let j(b) = b**3 + 11*b**2 + 11*b + 12. Let i be j(-10). Suppose 5*q + 10 = -3*r, -i*q = -3*r + 5*r + 8. Sort r, -0.17, 2/15.
r, -0.17, 2/15
Let i be 6/(-2)*(-6)/(-9). Let v(s) = -s - 6. Let k be v(-11). Suppose 0 = -k*x + x - 12. Put 1/7, i, x in descending order.
1/7, i, x
Suppose -14*k + 50 - 8 = 0. Sort -18, 4, k.
-18, k, 4
Suppose 4*q = -q + n + 9, -3*q + 5 = -n. Suppose -2*z + 21 = -q*g - 5*z, g + 13 = -2*z. Put 4, -1, g in decreasing order.
4, -1, g
Let f = -3849/5 + 770. Sort -0.047, f, 3/4 in ascending order.
-0.047, f, 3/4
Let d = -0.0181 - 5.9819. Sort d, -0.2, -4/7, 0.2.
d, -4/7, -0.2, 0.2
Let g be 6*1*-2 + 2. Let l(v) = -21*v + 32. Let j be l(2). Let i = j - g. Sort i, 5, 1 in decreasing order.
5, 1, i
Let l = -175/6 + 871/30. Sort l, 4, 16 in ascending order.
l, 4, 16
Suppose 0 = -5*i - 3*g - 110, 4*i + g + 88 = -2*g. Sort -5, -1, 1, i.
i, -5, -1, 1
Suppose -2*s = d + 20, 0 = -0*s + s - d + 16. Sort 4, s, -3, 1 in increasing order.
s, -3, 1, 4
Suppose 22 = 4*i + 18. Put i, -2/7, -1/4, 5 in decreasing order.
5, i, -1/4, -2/7
Let l be 1*(-4)/(-16)*12. Let j be -2*(l + (-35)/(-8)). Let g = j + 293/20. Put -0.2, -1/3, g in ascending order.
-1/3, -0.2, g
Let v(x) = -x**2 + 2*x + 4. Suppose -5 + 2 = -w. Let o be v(w). Let f = -0.07 - 0.03. Sort f, 2, o in decreasing order.
2, o, f
Let h(d) = -d - 22. Let i be h(-17). Let b = i - -5. Put b, -4, -1 in descending order.
b, -1, -4
Let s = 0.0216 - 0.6216. Let o = 3.4 + -3. Sort o, s, 0.3, -0.1 in ascending order.
s, -0.1, 0.3, o
Let g(o) = -8*o - 729. Let t be g(-91). Let h = 21 + -35. Let z be 52/h - (-2)/(-7). Sort 3, z, t in increasing order.
z, t, 3
Let m = -97/2 + 48. Sort 5, -2, -1/3, m in increasing order.
-2, m, -1/3, 5
Let k be (-645)/(-18) + (0 - 2/(-12)). Suppose -k*c + 8 = -32*c. Sort 4, c, -5.
-5, c, 4
Let z = -32 - -38. Suppose 4*x = m + 15, -m + 2*x = 2*m + 15. Let y be (2/6)/(5/m). Sort z, -0.4, y.
-0.4, y, z
Let u = 23 - 14. Let o be 2*((-9)/u)/(4/2). Put -5/3, o, -4, -0.1 in ascending order.
-4, -5/3, o, -0.1
Let d = -2619 - -2619.2. Sort 1.8, d, 13.
d, 1.8, 13
Let s be (-4 - 2)*2/(-4). Let g(x) = x**2 + 25*x + 2. Let y be g(0). Sort 4, s, y in decreasing order.
4, s, y
Let m = 0.5 - 4.5. Let q = m + 3.9. Let d = 112/261 - 6/29. Put q, -0.2, d in ascending order.
-0.2, q, d
Suppose 2*q = -2*z - 14 - 2, 0 = z + 3*q. Let h be (-18)/z*16/6. Put -2, h, -32 in descending order.
h, -2, -32
Suppose 736 = 14*m + 9*m. Sort -2, 2, -4, m.
-4, -2, 2, m
Suppose -8*d + 78 + 122 = 0. Sort d, 3, 5.
3, 5, d
Let z = -0.04 - 0.16. Let b = 0.14 + z. Let g = -0.16 - b. Put g, -1/9, -7 in decreasing order.
g, -1/9, -7
Suppose 5 = 2*q - 3, -4*n = 5*q + 32. Let u = -41 + 23. Let f = u - n. Sort -2, 1, f in ascending order.
f, -2, 1
Let l be (2*4/(-12))/(6/45). Suppose 3*k + 8 = 4*g, g - 3*g = -k - 6. Sort g, 2, l, -4 in decreasing order.
g, 2, -4, l
Let r(j) = -j**3 + 2*j**2 + 7*j - 15. Let l be r(3). Sort -4, 5, l, -38.
-38, -4, l, 5
Let f = -4 - -3. Let u(c) = -1 + 15*c**2 - 3 + 5 + c**3 - 4. Let r be u(-15). Put f, 3, r in increasing order.
r, f, 3
Let n be (4/16)/(170/(-408)). Let f = 0 + -1. Let s = -0.8 - f. Put s, 2, n in increasing order.
n, s, 2
Let i = -3.04 - -0.04. Let r = -284 - -286. Sort -4, i, r.
-4, i, r
Let h(v) = v**3 + 2*v**2 - 2*v - 2. Let a be h(-3). Let c(x) = -3*x + 3. Let b be c(2). Let i be -9*(-10)/(-30)*1/(-3). Put b, i, a in increasing order.
a, b, i
Let v = -0.3 - -1.3. Let u be (-4)/(-104)*4 + 72/(-130). Sort u, v, -4 in descending order.
v, u, -4
Let u(b) be the third derivative of