9/9 - 10907. Let r = v + 137. Sort -1, -0.2, r.
-1, -0.2, r
Let z(i) = -2*i - 6. Let c be z(-5). Suppose -c*o + 14 = -6*o. Sort 5, -4, o in descending order.
5, -4, o
Suppose -3*c = c + 8. Sort -0.5, c, -13, 0.
-13, c, -0.5, 0
Let b = 0 + -1. Let s be (0/b)/(-2 + 4). Let h(l) = -l**3 - l**2 + l + 3. Let r be h(s). Put r, 0, -4 in increasing order.
-4, 0, r
Let x = -0.2 + -4.8. Let z = 2.3 + -1.4. Let m = z + -1. Put -4, x, m in ascending order.
x, -4, m
Suppose 2*j + 2*j = 8. Sort j, -3, 4 in increasing order.
-3, j, 4
Let b = -17.6 - 78.4. Put 2, 0.1, b in increasing order.
b, 0.1, 2
Let h be (-1)/(-2 - 213/(-105)). Let u be 2/(-7) + 25/h. Let j = 4 + -1. Put j, u, -2 in ascending order.
-2, u, j
Let r be (-50)/48 + 4/6. Let v = 0.34 + 0.06. Put 0, r, v in increasing order.
r, 0, v
Let x be (2/(-4))/(1/(-6)). Suppose -40 = 17*m - 57. Put -1, x, m in decreasing order.
x, m, -1
Suppose 0 = k - 5*b + 32, -k + 3*k = b - 28. Let x(z) = z + 14. Let d be x(-16). Put d, k, 0.3 in decreasing order.
0.3, d, k
Let w = -4 + 16. Suppose 5*y + w = 2*y. Suppose 240 = -12*h - 36*h. Sort y, h, 0 in descending order.
0, y, h
Let i = -2.26 - 0.44. Let j = i + 3. Sort 4, j, 0.2 in increasing order.
0.2, j, 4
Let k = 0.21 + -0.21. Sort 1, k, -3/4, 3 in decreasing order.
3, 1, k, -3/4
Let h = -1.11 - -1.11. Sort h, -2.4, 4, -0.4 in ascending order.
-2.4, -0.4, h, 4
Let n = -4 - -6. Put -1, 0, -0.1, n in decreasing order.
n, 0, -0.1, -1
Let d = -15.5 + 19.5. Let c = 0 + -1. Put d, c, 1/3 in descending order.
d, 1/3, c
Let y(l) = -l**2 + 2*l - 3. Suppose -u - u = 2*n, -u - 3*n - 4 = 0. Let x be y(u). Sort -1/2, x, 0.3.
x, -1/2, 0.3
Let h = -5 - -19. Let w = -3 - 6. Let c = h + w. Sort 3, c, 0.1 in ascending order.
0.1, 3, c
Let l(n) be the third derivative of n**4/24 + n**3/2 + 2*n**2. Let w be l(-4). Suppose -q = -p - 1, 6*p - 4*q = 4*p - 12. Put 5, w, p in increasing order.
w, p, 5
Let f be (8/3 + -1)/((-3)/9). Sort f, 0, 5.
f, 0, 5
Let u be (2/3)/(2/(-6)). Suppose 4*n = 3*q - 1, -n + 3*q = -0*n + 7. Suppose 0 = -3*p + n*t + 3 + 3, -4*t = -3*p. Put 2, u, p in increasing order.
u, 2, p
Let j = -3/136 + -215/2584. Let c be ((-1)/11)/((-2)/(-4316)). Let p = 196 + c. Sort p, -4, j in decreasing order.
j, p, -4
Let q be 0*(-2)/(-3 - -1). Let t be (-3 - q)*2/12. Sort 2, t, 0.5 in ascending order.
t, 0.5, 2
Suppose 0 = 4*h - 2*i - 18 + 108, i = 5. Sort h, 1, 2 in decreasing order.
2, 1, h
Suppose -3*p + 2*p + 3 = 0. Let g be (1 - 10/2)/(-2). Sort g, p, 0 in descending order.
p, g, 0
Let o = 5.7 - 0.7. Let q = -4.5 - -4.3. Put o, 2/3, q in descending order.
o, 2/3, q
Suppose 3*a + a = 8. Let p be 52/6 + (-1)/(-3). Suppose -3*k + 0 = p. Put a, -5, k in descending order.
a, k, -5
Let b(h) = -h**3 - 15*h**2 + h + 17. Let w be b(-15). Let o be w/11 + 456/(-88). Sort 1, o, -4 in decreasing order.
1, -4, o
Let f = 0.81 + -1.21. Put -0.2, f, 5/2 in increasing order.
f, -0.2, 5/2
Let m(a) = -a**2 - 1. Let r be m(2). Sort r, -4, -3 in decreasing order.
-3, -4, r
Let u = -0.36 - 0.04. Let v = 7.55 + -8. Let y = 0.05 - v. Put y, 0, u in increasing order.
u, 0, y
Suppose z + 5 = -0. Sort 4, 2, -1, z in increasing order.
z, -1, 2, 4
Let c = 14 + -14.7. Sort c, 0, 4/5, 2/3 in descending order.
4/5, 2/3, 0, c
Let k = -4 + -6. Let r = 7 + -6. Sort -0.1, k, r in decreasing order.
r, -0.1, k
Let t(c) = -2*c**2 - 19*c - 15. Let i be t(-9). Sort -5, i, -7 in descending order.
-5, i, -7
Let b be 0 + 4*(-2)/(-14). Let n = 2.99 + 0.01. Let t be (-5)/(-2*(-2)/4). Put t, b, n in decreasing order.
n, b, t
Suppose 0*x + 1 = x. Suppose -s = -0 - 2. Suppose 2*f + 4 = 5*k, s*k - 3*f = -2 - 3. Sort 1/3, x, k in descending order.
k, x, 1/3
Let s = 0.189 + -0.089. Sort 0, -2/7, -2.5, s.
-2.5, -2/7, 0, s
Let p be 6327/777 - ((-8)/(-7) - 1). Sort p, -1, -4, -5 in descending order.
p, -1, -4, -5
Let i = -54 - -90. Let d be 4/(-18) - (-8)/i. Put 4, d, -5 in ascending order.
-5, d, 4
Let i = 8 + -10. Let x = i - -2. Let d = x - 0.4. Put d, -2/9, 5 in ascending order.
d, -2/9, 5
Let t = 1 + 0. Let w = -146 + 732/5. Put t, -4, w in descending order.
t, w, -4
Suppose 0 = -z - 2*z + m + 24, -2*z = m - 11. Let b be (4 - z)/((-12)/(-16)). Put b, -5, 0 in increasing order.
-5, b, 0
Suppose -4*t = 12, 0*b - t + 12 = 5*b. Sort 5, -2, b.
-2, b, 5
Let j = -13 - -7. Let k = 6.3 + j. Put 1/2, k, 0.2 in descending order.
1/2, k, 0.2
Let h = 0 - 4. Put 5, 1, h in increasing order.
h, 1, 5
Let f = -1 - -4. Let c = f - 9. Let j = c + 5.9. Sort 0.1, j, 0.5 in ascending order.
j, 0.1, 0.5
Suppose -7*y = -2*y + 2*w - 11, -w + 4 = y. Put -2, 4, y in increasing order.
-2, y, 4
Suppose -6*z = 8 + 4. Put -5, 4, z, -8 in ascending order.
-8, -5, z, 4
Let u be ((-3)/(-9))/((-4)/36). Put -5, 5, 8, u in increasing order.
-5, u, 5, 8
Let v(j) = j + 2. Let k be v(-7). Let p(g) = -g - 8. Let l be p(-11). Sort 0, k, l.
k, 0, l
Let x be ((15 - 16) + (-2)/(-2))/1. Sort 3, -5, 5, x in descending order.
5, 3, x, -5
Let p be 2 - (-7)/((-28)/(-12)). Put p, -4, 12 in descending order.
12, p, -4
Let m = -21 + 16. Put -4, m, 4/5 in decreasing order.
4/5, -4, m
Let f = 0.043 - 0.103. Let p = 8 - 7.7. Sort f, p, 3 in descending order.
3, p, f
Let b = 19 + -18.6. Put 1/8, b, 2 in increasing order.
1/8, b, 2
Let m be 22/(-28) - 2/12*-3. Sort 3/7, 1/2, -2, m in descending order.
1/2, 3/7, m, -2
Let g = -44 + 43.7. Put 5, 0.1, g, -3 in descending order.
5, 0.1, g, -3
Let j = 89 - 47. Let c = -26 + j. Suppose -u = -4*m - 5 - 10, -3*m = 4*u + c. Sort -2, 1, m.
m, -2, 1
Let p be -4*(-2)/((-16)/10). Let l = 17.5 - 17. Let y = l - 0.5. Sort y, 0.2, p in descending order.
0.2, y, p
Let i be 1/(-4) + 6/(-8) + 1. Put -6, i, 1/6, 0.4 in increasing order.
-6, i, 1/6, 0.4
Suppose -i - 2 = 2*d, i - 3*d - 3 = -4*i. Sort i, 4, -1 in increasing order.
-1, i, 4
Let q = 25 + -23. Sort 5, -3, 4, q in decreasing order.
5, 4, q, -3
Let u be (-3 - 1)*6/8. Sort 1, -39, u in descending order.
1, u, -39
Suppose 3*v + 13 = 4*a - 2*v, 3*a - 3*v - 9 = 0. Sort 7, 0.4, a, 1/6 in descending order.
7, a, 0.4, 1/6
Let h(x) = -x. Let y be h(2). Let d be y/(-38)*(-2)/1. Let b = 6 - 5. Sort b, d, -2/9 in increasing order.
-2/9, d, b
Let b(h) = -h**3 - 3*h**2 - 5*h - 4. Let k be b(-3). Let c = -6 + k. Sort 0, -1, c in ascending order.
-1, 0, c
Let f = -46 - -45.6. Put 0.1, 5, f in descending order.
5, 0.1, f
Let z = 0.2 - 0. Let d = 0.08 + -0.48. Let v = -0.5 - d. Sort 3, v, z in decreasing order.
3, z, v
Suppose 10*w = 27*w. Put w, -0.2, -4 in decreasing order.
w, -0.2, -4
Suppose k - 8 = -3*k. Suppose 4*u + 14 + 2 = k*i, 4*u + 4*i + 4 = 0. Let f be 9/u - (0 - 2). Sort f, -5, -3 in decreasing order.
f, -3, -5
Let l(i) = -4*i**3 + 2*i**2 - 2*i - 4. Let t be l(-1). Put -5, t, -21 in descending order.
t, -5, -21
Suppose -4*h = -3*l, l + 2*h = -l. Sort -2, -3, l in descending order.
l, -2, -3
Let p = 7 + -11. Let r(m) = 3*m - 5. Let i be r(3). Let z be -4*12/(-8) - i. Put p, z, -2 in decreasing order.
z, -2, p
Let i(x) = -2*x + 17. Let f be i(10). Put 1, -2, -4, f in descending order.
1, -2, f, -4
Suppose 4*o - 16 = -0*o. Suppose -5*b = -o*b + 2. Put b, -4, -3 in decreasing order.
b, -3, -4
Let v = -2539/5 - -508. Let n be 2/3 + 8/(-3). Sort n, 1, v.
n, v, 1
Let v = -0.025 - -2.125. Let q = 2.6 - v. Sort -1/3, 4/3, q in increasing order.
-1/3, q, 4/3
Let h = -8 + 6.6. Let o = h - -5.4. Let d = 3 + -4. Sort -2/3, o, d.
d, -2/3, o
Suppose -5*t - 1 - 4 = 0. Put t, -5, 0 in decreasing order.
0, t, -5
Let x = -6 - -6. Suppose -2*j + 4 - 12 = x. Put -3, -0.6, j in decreasing order.
-0.6, -3, j
Let m(y) = -y**2 + 4*y + 7. Let b be m(6). Let w = b - 0. Sort w, -3, 2 in increasing order.
w, -3, 2
Let a be (0 + -2)*(-39)/6. Suppose y = -l - 2, 3*y = l - 1 - a. Sort l, 5, -2 in descending order.
5, l, -2
Let c = -70 + 208/3. Let p = 2.12 - 0.12. Sort p, -5, c in descending order.
p, c, -5
Let j be (2 - (-6)/(-2))*6. Let b = j - -7. Put b, 3, 5 in descending order.
5, 3, b
Let v = 0 - 0.1. Let a = 0.62 + -0.32. Sort a, -5, v.
-5, v, a
Let m be 1 - 2*(-5)/(-6). Suppose -5*t + 5*w - 5 = -30, -4*t = 2*w - 20. Let s be 1/(-4) + t/4. Sort m, s, 2 in decreasing order.
2, s, m
Suppose -g = 5 - 1. Suppose -3*r = -4*f + 16, -2*f - r + 8 = 4*r. Sort 5, g, f in decreasing order.
5, f, g
Suppose -4*z + 10*z = 25