9975. Let p = -9/34 + c. Put s, p, 4 in descending order.
4, p, s
Suppose -34 = 7*g + 57. Sort 0.3, -2/5, 0.1, g in increasing order.
g, -2/5, 0.1, 0.3
Let h(i) = 3*i + i**2 + 2*i + 3 + i. Let o be h(-5). Suppose 19 = g - 4*q, q + 19 = 7*g - 2*g. Sort 1, o, g in descending order.
g, 1, o
Let y = 10 - 7. Suppose -3*r - 7 = s, -y*s - 3*r = 2*r + 1. Let j = s - 4. Sort j, 0, 2 in increasing order.
0, 2, j
Let j = 5.77 + 0.23. Let f = 4.4 - -2.1. Let y = f - j. Put 5, -5, y in descending order.
5, y, -5
Let y(i) = i - 8. Let c be y(8). Let h(s) = s - 4. Let j be h(c). Suppose -3*d + 3 = -2*w, 5 = -5*w - 2*d - 12. Put w, j, -5 in increasing order.
-5, j, w
Let t(h) = 24*h - 2. Let i be t(1). Suppose 5*u = -7 + i. Sort 1, u, -1.
-1, 1, u
Let k = 26 + -50. Let z = k + 27. Put z, -8, -4 in ascending order.
-8, -4, z
Let w(r) = 14*r + 1. Let f be w(1). Suppose c = -4*c - f. Put -5, 0, c in descending order.
0, c, -5
Let i = -12 + 7. Let d be (1 + 0)*1 + -1. Suppose d = -y - 0 - 1, y + 13 = 3*w. Put -1, w, i in decreasing order.
w, -1, i
Let a = -4.2 + 4. Put a, 1/18, -0.1 in increasing order.
a, -0.1, 1/18
Let c be 42/15 + (-2)/(-10). Let m(x) = -x**3 + 12*x**2 + x - 12. Let b be 60/8*8/5. Let h be m(b). Sort h, 1, c in decreasing order.
c, 1, h
Let b = -15 + 15.4. Sort b, -2, -5.
-5, -2, b
Let x = 1/214 + 411/3638. Let s = -14 + 29/2. Sort s, -2, x in descending order.
s, x, -2
Suppose z + 4*z = 10. Let s be (-10)/16*z/5. Sort 0.5, s, -0.3 in descending order.
0.5, s, -0.3
Let g(i) = -i**2 - 5*i - 2. Let m be g(-4). Suppose -2*z + 0*f - m = -5*f, -f - 1 = z. Put z, 1, 2 in descending order.
2, 1, z
Let i(l) = -l + 6. Let p be i(2). Sort p, 3, -6 in ascending order.
-6, 3, p
Let f(a) = 5*a. Let d = -9 + 10. Let v be f(d). Suppose 2*i = 5*y + 16, 10 = 5*y - v*i + 35. Put 0, y, -1 in decreasing order.
0, -1, y
Let a = 25 - 32. Let i = 0.6 + -0.2. Sort 1/6, i, a in increasing order.
a, 1/6, i
Let g = 0 - -1. Suppose 0 = -2*o - 2*o. Sort g, o, -3 in ascending order.
-3, o, g
Suppose -4*l = -2 - 10. Suppose 0 = -l*k - 0*k + 6. Sort 4, 5, k in ascending order.
k, 4, 5
Let d be 11*(2 - (-4)/(-4)). Suppose -j = -4*n + d - 27, -3*j - 5*n - 20 = 0. Put 0.5, 1, j in increasing order.
j, 0.5, 1
Let u be (2/(-4) + (-112)/96)*3. Let z = 1 + -1. Sort u, z, 2.
u, z, 2
Let r = -0.2 + 0.7. Let a be 3/4*(-32)/(-84). Let c = 79 - 75. Put r, c, a in descending order.
c, r, a
Suppose -3*c - 9 = -3*b, -4*b + c = -1 - 5. Let d = 0.01 - 3.01. Sort b, 3, d in decreasing order.
3, b, d
Let q = -3 + 9. Suppose -2 = -2*a + q. Sort -4, a, -5 in decreasing order.
a, -4, -5
Let r = 0.5 - 0. Let p = r - 0.6. Put -1/5, 0, p in descending order.
0, p, -1/5
Let a = -11.1 - -0.1. Let z = a - -16. Sort -2/9, -0.1, z in ascending order.
-2/9, -0.1, z
Let x = -0.016 - 19.984. Let k = -20.4 - x. Let t be -1*-5*2/12. Sort k, 0.4, t.
k, 0.4, t
Let b = -0.1 - -0.1. Let p = 0.021 + -0.121. Sort b, 0.4, p in descending order.
0.4, b, p
Suppose l + l + 4 = 0. Sort -0.3, -2/5, l in descending order.
-0.3, -2/5, l
Suppose -3*h - 33 + 18 = 0. Sort -2, -12, h, 4 in decreasing order.
4, -2, h, -12
Let k = -1 - -7. Let c = 5.6 - k. Let t = -3.98 + -0.02. Sort t, 0.5, c in decreasing order.
0.5, c, t
Let u be (-16)/48 + ((-34)/(-6))/(-1). Sort u, 3, -5 in increasing order.
u, -5, 3
Suppose 0*c - c = v - 17, 2*v - 4*c - 10 = 0. Suppose 4*z = -7 - v. Suppose -q + 2*q = 0. Sort z, q, -3 in descending order.
q, -3, z
Suppose 3*m + 5*c - 5 = 0, 0 = m + 4*m - 3*c + 37. Let p be 4/6 + 44/(-57). Put p, m, -5/3 in increasing order.
m, -5/3, p
Let f = -7.91 + 8. Let j = f - -2.91. Sort 2/3, 1/5, j.
1/5, 2/3, j
Let g(v) = -4*v**2 - v. Let p be g(-1). Suppose -2 + 12 = 4*u - 5*s, 6 = 3*u - 3*s. Put u, 1, p in decreasing order.
1, u, p
Let p be (-12)/48 - (-9)/4. Let r(a) = 9*a**2 - 19*a + 8. Let y(b) = -4*b**2 + 9*b - 4. Let v(f) = -3*r(f) - 7*y(f). Let q be v(5). Sort 3, p, q.
q, p, 3
Let c be (-5)/33 - (-4)/(-22). Let z = 2/3 + 0. Sort z, c, -2 in decreasing order.
z, c, -2
Let d = -4.03 - -0.03. Suppose 0 = -4*g - 0*g. Suppose -3*x + g = 6. Sort x, 0, d in decreasing order.
0, x, d
Let k be 0/(3*-1) + 6. Suppose q = y + k, 2*q = 3*y + 2*y + 15. Sort -4, 1, y in descending order.
1, y, -4
Let v = 2.05 - 0.05. Let i = -0.18 - -0.18. Put 5, i, v in decreasing order.
5, v, i
Let c = -154 + 157.89. Let u = 0.11 + c. Put -1/2, 2, u in ascending order.
-1/2, 2, u
Let s be (6/(-8))/(2/(-8)). Suppose s*y - 2*y = 66. Let u be 10/y + (-1)/3. Sort -3, 0.1, u in descending order.
0.1, u, -3
Let q(x) = -x**2 + x + 3. Let j be q(3). Let t(l) = -l - 1 - 2 - 1. Let f be t(-4). Put 3, f, j in descending order.
3, f, j
Let w be 25*-1*(-5 + -8). Let q = w - 2929/9. Put q, -1, -3 in decreasing order.
q, -1, -3
Suppose g + 0*g = 4. Let i = -5 + g. Suppose -4*y + 14 = -3*q + q, 4*q = y. Sort y, -4, i.
-4, i, y
Let y = -0.05 + 2.55. Let d = 2 - y. Put 4, d, 2/19 in decreasing order.
4, 2/19, d
Let k(f) = f - 1. Let n be k(0). Let j be 4/8*0/2. Suppose -m + 0*m = j. Sort -2, m, n in descending order.
m, n, -2
Let b = -371 - -3343/9. Let g be 30*(8/(-6) - -2). Suppose p = -4*p + g. Sort p, b, -1 in decreasing order.
p, b, -1
Suppose 17*b - 4 = 15*b. Let f be b*(0 + (-9)/30). Sort f, 1, 2/7 in increasing order.
f, 2/7, 1
Let q = 2 + -5. Let c = 0.05 + -0.55. Sort q, 0.4, c in decreasing order.
0.4, c, q
Suppose 2*l - 7*l + 15 = 0. Suppose 4*j - 13 = l. Let d(p) = p - 2. Let b be d(-1). Put j, b, 5 in ascending order.
b, j, 5
Let t = 1.5 - 1.4. Sort -2, t, 3 in ascending order.
-2, t, 3
Let t be (4 - 2)*(0 + 1). Suppose 0 = f - t*f. Let j be (-2)/8*4/5. Sort f, 0.2, j.
j, f, 0.2
Let y(d) = 2*d - 13. Let h = -3 + 9. Let f be y(h). Sort f, 3, 0 in descending order.
3, 0, f
Let p = -0.8 - -1.5. Put -0.3, 3/5, -2/17, p in decreasing order.
p, 3/5, -2/17, -0.3
Let t = 0.1 + -0.1. Let o be ((-28)/(-8))/7*2. Suppose -3*a + o + 11 = 0. Sort t, 3, a.
t, 3, a
Let i be ((-8)/(-110))/(4/10). Let g be (5/(-3))/((-10)/12). Put g, i, 4/5 in increasing order.
i, 4/5, g
Suppose -25 = -5*a, 2*v - 12 - 1 = -a. Suppose -7*n - 12 = -v*n. Sort 5, n, -3 in increasing order.
n, -3, 5
Let i = -133/220 - -23/20. Suppose 4*n - 4*v = 24, -4*n + 4*v + 19 = -n. Let y be (-6)/3 + 7/n. Put 2/3, y, i in decreasing order.
2/3, i, y
Suppose -h = 3*h. Suppose 3*n - 2 = 4*k, -2 + 1 = 5*k - 3*n. Let a(t) = -6*t**2 + 2*t - 1. Let r be a(k). Put -2, r, h in decreasing order.
h, -2, r
Let t be (-2)/7 - 38/14. Let c = -0.28 - -0.03. Let o = c - -0.05. Sort o, t, -5 in increasing order.
-5, t, o
Let s be 18/4 - (-2)/4. Suppose 4*r - r + 15 = 0, -s*b - 4*r = 30. Let u(o) = -o**3 + 7*o**2 - 8*o + 7. Let y be u(6). Sort 0, b, y in increasing order.
y, b, 0
Let j = -10 - -7. Let c = 2 - -1. Suppose 3*i + 0 - 3 = -3*t, c*i = -2*t - 1. Put j, -2, t in descending order.
t, -2, j
Let j be (0 - 0) + (-2)/(-2). Let t(r) be the first derivative of r**4/4 - r**3 - 3*r**2/2 - r - 1. Let v be t(4). Sort v, j, -5.
-5, j, v
Let o be 1*((6 - 3) + -2). Let z = 6 - o. Let v(l) = l + 1. Let n be v(-5). Sort z, n, 3 in ascending order.
n, 3, z
Let x = -897/8 + 112. Let l = 2.5 + -3. Let c = 1 + l. Sort -5, c, x in increasing order.
-5, x, c
Let u(r) = -r**3 - 9*r**2 - 9*r - 7. Let j be u(-8). Let z(p) = -p**2 - 6*p + 9. Let g be z(-7). Sort g, j, 0 in increasing order.
0, j, g
Let v be 16/56 - (-60)/(-14). Let c be v/(0 + 2*-1). Suppose 5*n = -4*m - 9 + 2, 5*m + c = -4*n. Sort m, 3/4, 0.
0, 3/4, m
Let p be (6 - 6/3) + -2. Let f be (4/5)/(p/(-15)). Let n be 4/f - (-30)/(-9). Sort n, 2, -5 in decreasing order.
2, n, -5
Let b = -1 - -1. Let x(h) = 2*h**3 - 5*h**2 + h + 3. Let n be x(3). Suppose -5*k + 0 + n = 0. Sort k, 2, b in decreasing order.
k, 2, b
Let o(u) = -u**2 - 11*u - 8. Let i be o(-10). Sort i, 0, 3 in ascending order.
0, i, 3
Let p = -9/49 + 281/196. Put p, 0.2, 4 in descending order.
4, p, 0.2
Let g be (-400)/(-35) + (-12)/(-21). Let h be ((-3)/(-2))/(g/(-16)). Put h, -3, 1 in increasing order.
-3, h, 1
Suppose -o = 5*r - 10*r + 14, 3*o + 8 = -2*r. Put -5/2, -2/9, o, 0.8 in descending order.
0.8, -2/9, -5/2, o
Let y(n) = -n**3 + 5*n**2 + 7*n - 3. Let w be y(6). Let b(k) = -k**3 + 3*k**3 + 5*k**2 - k**3 + w*k. Let m be b(-4). Put 5, m, -3 in descending order.
5, m, -3
Let u(f) be the third