0081338/3880947 - 3/12936490. Let r = v + 5976. Let o = r - 1/30. Sort 1/4, o, 2/7 in decreasing order.
o, 2/7, 1/4
Let r = -19 - -10. Let b = r - -25. Suppose -5*p = 6 - b. Sort 1, p, -1 in descending order.
p, 1, -1
Let j = -632/721 - -2/103. Let n(c) = 3*c**3 - c**2 - c + 1. Let l be n(1). Let x = -5.64 - -0.64. Sort l, x, j in increasing order.
x, j, l
Suppose 4*f = o - 22, -3*o = 3*f - 4*o + 16. Suppose 13*m + m = -70. Put m, 2, f in descending order.
2, m, f
Let k = -2 + 5. Suppose -2*d - 18 = 5*t, -2*d + 5*t + 15 + 7 = 0. Sort d, k, 5 in decreasing order.
5, k, d
Let u(g) = -4*g**2 - 31*g + 6. Let p be u(-8). Let f = 10801/3 + -3647. Let h = f + 47. Put p, h, 2 in descending order.
2, h, p
Let f = -0.11 + 0.21. Put -5, f, 2 in decreasing order.
2, f, -5
Let f = 4.1 + -4. Let c be 1/2 + 487/70. Let q = c + -38/5. Sort 2/7, q, f in decreasing order.
2/7, f, q
Let o = 35 - 39. Let b be ((-3)/3)/((-1)/(-2)). Let y = 4 - 2. Put y, b, o in descending order.
y, b, o
Suppose 2*q - 3 = -11. Let x be -2 - (-2)/(4/q). Sort -1, 0, x.
x, -1, 0
Let d = -23 - -21. Let h = -0.6 + 0.2. Put 2, h, d in increasing order.
d, h, 2
Let x be 3/(-15) + 8/(-10). Let t be 66/21 - 18/(-21). Sort x, -4, t in descending order.
t, x, -4
Let k(v) = 3*v**3 - 22*v**2 + 7*v - 3. Let g be k(7). Put -13, g, 3 in ascending order.
-13, g, 3
Let u = -7 - -2. Sort u, -3, 2.
u, -3, 2
Let n = -3.3 - -0.3. Let o = 0.12 + -0.82. Let b = o - 3.3. Put b, n, -0.2 in decreasing order.
-0.2, n, b
Let n = -10 + 12. Sort -0.2, 4, n in descending order.
4, n, -0.2
Let u = -21 - -21.2. Sort u, -6, -3.
-6, -3, u
Let p be (-2)/12 + (-3 - (-16)/6). Let u be ((-2)/8)/(9/(-24)). Put u, 2, p in decreasing order.
2, u, p
Let q = -227/20 - -45/4. Let f = 0.02 + 2.98. Let g = 2 - f. Sort g, q, 3 in increasing order.
g, q, 3
Let n = -5 + 4.3. Let a be 10/8*(-7)/(-105). Put n, a, -1/2 in ascending order.
n, -1/2, a
Let i = 7 - 11. Let b(a) = -a**3 + 6*a**2 + 8*a - 5. Let p be b(7). Let f be 0 + (i/p - 0). Put f, -5, 0 in decreasing order.
0, f, -5
Let u = 70 - 351/5. Sort -0.1, 2/9, u in descending order.
2/9, -0.1, u
Let s = 0.9 - 2. Let x = s + -1.9. Put -0.1, -2/5, x in descending order.
-0.1, -2/5, x
Let a(z) be the first derivative of z**4/4 - 4*z**3 + 5*z**2 + 10*z - 7. Let d be a(11). Sort -12, -4, d in ascending order.
-12, -4, d
Let o = -1 - -0.92. Let x = 0.18 + o. Put -2, -0.3, x in descending order.
x, -0.3, -2
Let u = -8.97 - 0.03. Put 0, 3, u in ascending order.
u, 0, 3
Let a be (-13)/3*(-1)/(-1) - -4. Let n = 1 - 1. Put n, 2/17, a in ascending order.
a, n, 2/17
Let x = 33 - 29. Sort 1, 5, x.
1, x, 5
Let j = 0.2 - 0. Let k be (2 - 1)*(-3)/1. Put -1, j, k in descending order.
j, -1, k
Let b(r) = r**2 - 8*r + 7. Let p be b(7). Suppose p = -4*l + 2*l - 18. Let s = 7 + l. Sort 2, -4, s in decreasing order.
2, s, -4
Suppose x = -5*y + 5, 2*y + 16 = 2*x - 6*x. Let f = -15 + 17. Let o = y - f. Put 5, o, -3 in descending order.
5, o, -3
Suppose i + 5*o + 32 = 0, -i + 3*o - 1 = 7. Let y = -82/5 - i. Sort -0.1, y, 2/5 in ascending order.
-0.1, 2/5, y
Suppose 2*j + 10 = -3*j. Suppose 3 = k - 0*k. Let s(n) = n**2 + 4*n - 4. Let i be s(-5). Put k, i, j in descending order.
k, i, j
Let c(a) = -3*a + 1. Let t be c(-3). Suppose -15 = 5*v + t. Let x(k) = k**3 - 6*k**2 + 7*k - 5. Let y be x(5). Put y, v, 1 in descending order.
y, 1, v
Let q = -56 - -58. Sort q, -19, 5 in ascending order.
-19, q, 5
Let m = -22.2 - -22. Sort -0.09, 1/3, m in increasing order.
m, -0.09, 1/3
Let b(j) = j**3 - j**2 + 4*j - 3. Let y be b(2). Suppose -y*i = -5*i + 20. Sort i, -4, 4.
i, -4, 4
Suppose g = -g + 2*m + 12, -4*m - 18 = -2*g. Let y(w) = -5*w + 10. Let b be y(4). Let h(c) = -c**2 - 10*c + 5. Let v be h(b). Sort v, 0, g in descending order.
v, g, 0
Let f = -2 + 7. Suppose -z - 4*d + 13 = -0*d, 0 = -z + 2*d - 5. Suppose -f*v + z = -4. Sort -2, 3, v in descending order.
3, v, -2
Let a be 2/(-9) - (-16)/234. Sort -5/4, -2/3, a in descending order.
a, -2/3, -5/4
Let r = 0.19 + -0.09. Let g = -0.1 + 0. Sort r, -1/5, g in descending order.
r, g, -1/5
Let p be (-6)/(-18)*3*-7. Put 1, 2, p in descending order.
2, 1, p
Suppose 2*w + 23 = -5*q + 3*w, 4*q + 24 = -2*w. Let r(a) = 5 + 2*a - 1 - 5*a + 4*a. Let u be r(-2). Sort 3, q, u in increasing order.
q, u, 3
Let f = 2.1 - 4.8. Let d = 1.3 - f. Let r = -2 + 2. Put d, r, 2 in descending order.
d, 2, r
Let r = 69.6 + -76. Let s = 6 + r. Let g be (1/5)/(2/2). Sort 1, g, s.
s, g, 1
Let i = 2 - 8. Put 2, i, 0.1 in decreasing order.
2, 0.1, i
Let l = 18 - 18.1. Sort 1, l, -0.4 in increasing order.
-0.4, l, 1
Let i(p) = -p**3 + 6*p**2 + 4. Let m be i(6). Suppose 3*x + 35 = 5*d, -5*x + d = -4*d + 45. Let h be (-27)/x - m/10. Put -3, 4, h in descending order.
h, 4, -3
Suppose 3*l = 2*l + 22. Suppose 4*w - l = 5*a, 2*w + 1 = a + 9. Sort -6, a, 5 in descending order.
5, a, -6
Let y = -28147/3 + 9519. Let i = y + -138. Put 0.4, -1, i in descending order.
0.4, -1, i
Let p be (1 + 1 + -2)/4. Put p, -3, -5 in ascending order.
-5, -3, p
Suppose r = 3*r - 5*d + 6, -2*d = -r - 2. Let q(b) = -b**2 + 5*b. Let i be q(5). Sort 1, r, i in descending order.
r, 1, i
Let z(o) = 1 + 3*o - 2 - 2. Let i be z(2). Suppose i*c - 8 = 3*l - 8*l, 0 = -l + c. Sort -1, 0, l in decreasing order.
l, 0, -1
Let w = 4.076 + -0.076. Sort 0.2, w, -1, 0.3 in ascending order.
-1, 0.2, 0.3, w
Let a be 2/4 + (-13)/(-2). Let f = -3 + a. Let q be (f/2)/((-6)/15). Sort -0.1, q, -3 in descending order.
-0.1, -3, q
Let m = 1.38 - 6.38. Put -4, 2/11, m, -2/9 in decreasing order.
2/11, -2/9, -4, m
Let t = -0.18 - 3.82. Put 3, t, 0.3 in ascending order.
t, 0.3, 3
Let i = 0 - -0.3. Let n = -18.1 - -18. Put n, i, 4 in increasing order.
n, i, 4
Let t be (-4)/14 - (-74)/14. Let l(j) = j**2 - 5*j - 3. Let i be l(t). Let b(d) = d**2 - 2*d - 3. Let o be b(3). Sort o, -4, i in increasing order.
-4, i, o
Let q = -62 + 65. Let a = -1.1 - -1. Put q, 2, a in decreasing order.
q, 2, a
Let o be (-5 + 2)/(-1 + 2 + 0). Put o, 5, -104 in ascending order.
-104, o, 5
Suppose 2 = 2*q, -2*q + 8 = 4*n - 2. Suppose 0 = -n*b + 3*b. Let c be (-1)/(-7)*(-1 - b). Sort c, -0.4, -0.1 in decreasing order.
-0.1, c, -0.4
Let z = 14 + -11. Suppose -4*n - z = -n. Sort 5, 0, n in decreasing order.
5, 0, n
Let f be (-2)/(-52)*12/3. Suppose 0*o = o - 4*w + 6, o - 8 = -3*w. Let z be o/8*3/3. Sort z, f, 3/5.
f, z, 3/5
Let b be (-36)/(-1 - -4)*-1. Let o = 17 - b. Suppose 0*u + 20 = o*u. Put 5, u, 0 in decreasing order.
5, u, 0
Suppose 5*y + 3*p = -6, -3*y + p = -y - 2. Sort 5, 3, y, -1 in descending order.
5, 3, y, -1
Let f = 573109/9 - 63889. Suppose 0*u - 420 = 2*u. Let o = f - u. Sort 3/4, o, 1/4 in increasing order.
o, 1/4, 3/4
Suppose 3*g - 15 = -3. Suppose 0 = -0*d + 2*d - 8. Suppose 0 = -o + d*o - 15. Sort -5, o, g in ascending order.
-5, g, o
Suppose -18*q = -13*q - 10. Let p = -5 + 8. Put q, 4, p in decreasing order.
4, p, q
Suppose 3*j + 5*u + 5 = -11, 0 = -2*j - 2*u - 16. Let v = j - -7. Put 0.3, -0.3, v in descending order.
0.3, -0.3, v
Let b = -95 + 477/5. Suppose -5*t + 3 = 3*m - 14, 0 = -5*t + 20. Sort b, m, 0.2 in decreasing order.
b, 0.2, m
Let a be 0 + 15/6*2. Suppose -5*u = -5*j - 45, 0*u + j = -u - 1. Suppose -4 = r - 0*n + n, -u*n - 19 = 5*r. Put a, r, -1 in decreasing order.
a, -1, r
Let g = -12 + 0. Let w = g + 16. Sort -3/2, 3, w in decreasing order.
w, 3, -3/2
Let f(l) = l**3 + 10*l**2 - 13*l - 14. Let x be f(-11). Suppose 0 = -4*g - 4*k - x, -11 = -g + 3*k + 3. Sort g, 3, -4 in decreasing order.
3, g, -4
Let k = 98 - 101. Let g be 18/14 + (0 - 1). Put 0.1, k, g in decreasing order.
g, 0.1, k
Suppose -r - 2*r = 15. Let t = r - 0. Let a = 11 + -12. Sort t, 4, a.
t, a, 4
Suppose -x - 21 = -19. Suppose -l + 5*l = 0. Put l, -1, x in increasing order.
x, -1, l
Let k = 0.4 + 1.6. Sort k, -3, -5 in ascending order.
-5, -3, k
Suppose 2 = 5*x + 27. Put -1, 1, x in increasing order.
x, -1, 1
Let c = 0.111 - -0.089. Suppose a - y = 4*y + 24, -15 = 3*y. Sort a, c, 1 in descending order.
1, c, a
Let n(k) = k**2 + 7*k + 10. Let v be n(-6). Sort 2, 0, -1, v in decreasing order.
v, 2, 0, -1
Let q(f) = -f**3 + 5. Let t be q(0). Let d be 4/(-10) + (-8)/t. Suppose 6 = 3*o + w - 0, o - 5*w = -14. Sort d, 0, o in descending order.
o, 0, d
Suppose 4*x + 10 = -x. Sup