Sort x, -2/7, m.
x, -2/7, m
Let r(q) = -q**3 - 4*q**2 - 5*q - 4. Let b be r(-3). Suppose 0 = -b*i - 49 + 19. Sort 0, 5, i in ascending order.
i, 0, 5
Let h = 12.1 + -12. Sort 3/7, h, -1 in descending order.
3/7, h, -1
Let z = 76 + -79. Sort z, -6, 5 in decreasing order.
5, z, -6
Let a be 2 + 1 + 0 + -3. Let i be 10/(-8) + a + 1. Sort -0.2, 0.1, i in decreasing order.
0.1, -0.2, i
Suppose i - 3*p = 21, 5*i - 3*p = 48 - 3. Let r be (-42)/(-4) - 3/i. Suppose w - r = 3*w. Sort w, 4, 2 in descending order.
4, 2, w
Let z(v) = -v - 9. Let b be z(-6). Let p(s) = -s**2 - 10*s - 6. Let h be p(-9). Sort 2, h, b in decreasing order.
h, 2, b
Let w(a) = -a**3 + 4*a**2 - 4*a. Let q be w(3). Put q, -1, -3/5, 2/11 in decreasing order.
2/11, -3/5, -1, q
Let f = 0.16 - -0.14. Let y = 2.7 + f. Sort -2/11, y, -0.4 in increasing order.
-0.4, -2/11, y
Let w be (2 - 1)/(1/3). Put 0, w, 5 in ascending order.
0, w, 5
Let q = 1.06 + -1. Let h = -243 - -243. Put h, q, 0.4 in decreasing order.
0.4, q, h
Let k = -9 - -11. Let w be 1 + k/2*0. Let c = 4 + -7. Sort w, c, 3.
c, w, 3
Let b = 57 - 41. Suppose 5*g + b = 2*t, 0*g = -4*t - 3*g - 20. Put t, -4, 6 in descending order.
6, t, -4
Let g be (-54)/315 + 6/(-14). Put 3, -3, g in decreasing order.
3, g, -3
Suppose 0*y = 2*y - 4. Suppose -3*v - 55 = y*v. Sort v, 4/5, 3 in decreasing order.
3, 4/5, v
Let k(y) = y + 1. Let g be k(-1). Let l be g + 1 - (-12)/(-18). Put 3, -1, l in decreasing order.
3, l, -1
Let o = -77 + 540/7. Sort 3, 1/3, o in decreasing order.
3, 1/3, o
Let k = 4 - 7. Let d = 8 + k. Sort d, -3/5, -3 in descending order.
d, -3/5, -3
Let t(q) = -q**2 - 10*q - 5. Let o be t(-9). Let x = -0.14 - -0.04. Sort o, 3, x in ascending order.
x, 3, o
Let u = 0.8 - 0.3. Let i(d) = 0*d - 5*d - 3 + 4*d - d**2. Let c be i(0). Put u, -4, c in descending order.
u, c, -4
Suppose -25 = 5*j + 5*w - 8*w, 4*j + 4*w = -20. Let a be -2 - (-2 + 1 + 0). Let m be (a - 0) + 7 + j. Sort m, -4, 5 in descending order.
5, m, -4
Suppose -p + 2*p - 4 = 0. Suppose p*m - 15 - 5 = 0. Put 2, m, -2 in descending order.
m, 2, -2
Let j = -8 + 13. Let w = 6 - -4. Let h = w + -14. Sort j, h, -1.
h, -1, j
Let q = 1.5 - 1. Let y = -0.36 + -0.04. Let n = 3.94 + 0.06. Sort y, q, n.
y, q, n
Let c = 0.01 - -0.19. Let t = -29.3 - -35. Let i = -6 + t. Put c, 2/3, i in decreasing order.
2/3, c, i
Let i be (-3 - -2)*1 - 1. Let z be 2*(-3)/(18/(-15)). Suppose -4*t = z*h - 8, 6*t - 5*h = 2*t - 32. Sort 0, i, t in ascending order.
t, i, 0
Let o = 1 - -4. Let z(h) = h**3 - h**2 - 3*h - 4. Let a be z(3). Suppose r - c = a - 4, 2*r - c - 3 = 0. Put o, r, 1 in decreasing order.
o, r, 1
Let k be -2*-3*(-1)/6. Put k, 5, -1/3 in ascending order.
k, -1/3, 5
Let w = 3 + -1. Let d = 15 + -15.4. Put -4, d, w in ascending order.
-4, d, w
Let l = -10.9 + 11. Let j = 17/4 + -5. Put -0.1, l, j in increasing order.
j, -0.1, l
Let v = -2 + -2. Put 0.1, v, 7 in descending order.
7, 0.1, v
Let p = 0.01 - -0.89. Let q = 0.6 - p. Sort 5, 1/19, q in descending order.
5, 1/19, q
Let g be (46/(-4))/(-1)*-2. Sort -3, 4, g in decreasing order.
4, -3, g
Suppose 2*m - 28 = w, m + 4*w = -w + 14. Let g be (-4)/1*(0 - m). Let a be 2/g - 6/21. Sort -0.1, a, 0.3 in descending order.
0.3, -0.1, a
Suppose 13 + 12 = 5*u. Put -2, -4, u in increasing order.
-4, -2, u
Let n(l) = -l**2 - 5*l - 4. Let y be n(-3). Let u be (-2)/y*(-6)/2. Let w be (-4)/10 + 6/(-10). Put 1, u, w in increasing order.
w, 1, u
Let f = 5 - 1. Let a = 33.045 - 0.045. Let k = a + -38. Put k, f, 1/5 in increasing order.
k, 1/5, f
Let v = -6 - -4. Let p = -164 - -169. Put p, v, -0.4 in decreasing order.
p, -0.4, v
Suppose -6*i = -3*i + 9. Let r(y) = -y + 3*y - 2 - 5*y + 3. Let n be r(2). Put n, i, -4 in decreasing order.
i, -4, n
Let q = -1.2 + 0.86. Let i = 0.06 - q. Put 4, i, 1/2 in decreasing order.
4, 1/2, i
Let v be 5/4*2*2. Let f = -113 - -116. Let h be (-7)/5 + 2/5. Sort f, h, v in decreasing order.
v, f, h
Let q = 32.8 - 33. Put q, -2/21, 5 in descending order.
5, -2/21, q
Suppose -2*k - k = -12. Let n be -4*1*2/k. Put 4, 0, n in ascending order.
n, 0, 4
Let r(a) = -a**3 - 10*a**2 - 2. Let w be r(-10). Let k be 0 + 4/(-3)*-3. Put -1, w, k in descending order.
k, -1, w
Let a = -4 - -2. Let n = a + 4. Suppose -2*x - 3*h + 6 = 0, 2*h = -0*h + 8. Sort n, 0.4, x.
x, 0.4, n
Suppose t - 5*t = y - 16, -2*y = 5*t - 17. Suppose u - 3*u - 4 = 0. Put t, -5, u in descending order.
t, u, -5
Let n(a) = -a**2 + 11*a - 9. Let c be n(10). Let t = -7 + 5. Let f = -5 + 2. Sort f, t, c in decreasing order.
c, t, f
Let a = 4.76 - -0.24. Put -1, a, 0.8 in descending order.
a, 0.8, -1
Let b = 7 + -9. Let z(v) = -v - 9. Let q be z(-4). Sort q, b, 5 in descending order.
5, b, q
Let h = 0.36 + 0.14. Put h, -3/7, 1 in descending order.
1, h, -3/7
Suppose -361*a = -362*a. Sort -4, a, 7 in decreasing order.
7, a, -4
Let f = -8.07 + 8.57. Let u = -7 - -11. Let v = -6 + u. Put f, -1/3, v in increasing order.
v, -1/3, f
Suppose -3*v = -17*v. Sort v, 2, 11, 3 in decreasing order.
11, 3, 2, v
Suppose 0 = -9*q - 16 - 29. Put q, 3, -11 in ascending order.
-11, q, 3
Let u = -211/5 + 42. Let y = -1 + 0. Sort y, u, -4 in descending order.
u, y, -4
Suppose -5*f + j - 3 = 0, f = 3*f + 5*j - 15. Suppose 0 = -7*h + 4*h - 9. Put h, f, 4 in descending order.
4, f, h
Let u be -1*(-3)/6*0. Suppose u = 3*b - 2*b - 4. Let r(n) = n**3 + n**2. Let j be r(0). Sort j, b, -3 in descending order.
b, j, -3
Let l = 4 - 4.2. Let t = 0.8 - l. Let a = -4 - t. Sort -3, a, 1/3.
a, -3, 1/3
Let m(q) = q**3 - 6*q**2 + 7*q + 3. Let o be m(4). Let s(r) = -2*r + 6. Let p be s(4). Put 2, o, p in descending order.
2, o, p
Suppose -3*x = 4*y + 14, 2*y + 6 + 4 = 0. Suppose 2 - 8 = 5*n - x*l, 4*l - 2 = 5*n. Sort 1, n, 3 in decreasing order.
3, 1, n
Let q = -296.3 + 317. Let w = 22 - q. Let f = 1 - w. Put f, -0.4, 2 in decreasing order.
2, f, -0.4
Let r be (-2)/(-4)*(-10)/5. Let x be r + 3 + 3/(-1). Let a be (-12)/(-1 + 4)*x. Sort a, -4, 3 in descending order.
a, 3, -4
Let n(s) = -s + 4. Let r be n(0). Sort r, -0.2, 2/7 in decreasing order.
r, 2/7, -0.2
Let k = -4 - -3. Suppose -2*d - 4 = -8. Suppose -7 = -2*g - 1. Put k, d, g in increasing order.
k, d, g
Let h = -57 - -56. Sort h, -8, 4 in ascending order.
-8, h, 4
Let q = 82 - 83. Sort 5, -4, q in decreasing order.
5, q, -4
Let n = 18 + -15. Let o be ((-3)/(-6))/(n/(-6)). Sort 0, o, -5 in descending order.
0, o, -5
Suppose -a = 2*h + 10, -h + a + 5 = -2*h. Let p = -2 - -1. Sort p, h, -4 in decreasing order.
p, -4, h
Let n(m) = m**2 + 3*m + 2. Let r be n(-2). Suppose y = -f + 31, 5*y + 10 = 5*f + 215. Let v be y/(-84)*7/2. Sort v, r, -5 in ascending order.
-5, v, r
Let g be (-836)/(-6) + (-4)/(-6). Suppose -2*s = 3*n - 84, 5*n + s = 3*s + g. Suppose -2*l = -3*j + 4 - 0, 0 = 2*j + 5*l - n. Sort j, 0.5, -4.
-4, 0.5, j
Let d = -11/5 + 39/20. Suppose 1 = -2*g - 1. Let q be 0 + -1 + (1 - g). Put q, d, -5/3 in increasing order.
-5/3, d, q
Let f(x) = x - 4. Let r be f(6). Sort r, -5, -3 in decreasing order.
r, -3, -5
Suppose 0*q = -q - 4. Let x be 168/49 - 8/(-14). Sort q, x, -5 in ascending order.
-5, q, x
Let y = -1.95 + -0.05. Let r = -2.1 - y. Let n = r - -0.3. Put -1, -0.4, n in increasing order.
-1, -0.4, n
Let w be 0 + -4 + 1 + 3. Suppose 2*y + w = -10. Sort y, 4, 2 in descending order.
4, 2, y
Let z = -1 + -7. Let g be (z/(-6))/(4/(-12)). Put g, 0, -3 in decreasing order.
0, -3, g
Let a = 1.944 - -0.056. Suppose -6 + 21 = -5*s, 0 = 5*z + 5*s - 10. Let j be -1 + -1*z + 2. Put j, 4, a in ascending order.
j, a, 4
Let h = -0.16 + 0.26. Sort -0.3, 2, h in descending order.
2, h, -0.3
Let b = 0.02 - -0.98. Sort 2/11, b, -2.
-2, 2/11, b
Let a be 3/(-7) - (-216)/210. Sort -4, -3/8, -2, a in descending order.
a, -3/8, -2, -4
Let q be 62 + (-2)/(-4)*-2. Suppose 5*y = q - 226. Let f be y/27 + 3/3. Put -1/4, 2, f in increasing order.
-1/4, f, 2
Suppose 2*c + 6 = i + 1, 0 = -2*c + 2*i. Put c, 0.7, 0.3, 4 in descending order.
4, 0.7, 0.3, c
Let n = -58 - -53. Sort 5, n, -1, 1 in descending order.
5, 1, -1, n
Let m = -91/4 + 23. Sort 6/5, 0.1, m.
0.1, m, 6/5
Let x be 35/(-196) + 3/(-12). Sort 0.3, -0.5, x.
-0.5, x, 0.3
Let t = -8 + 7.3. Let c = 0.3 - t. Sort 2, c, 4.
c, 2, 4
Let x(m) be the third derivative of -m**4/24 - 4*m**3/3 + 3*m**2. Let o be x(-11).