7 in ascending order.
-0.5, x, 0.5, 6/7
Let c be ((-4)/3)/(4/(-24)). Put -2, c, 1 in decreasing order.
c, 1, -2
Let x = 0.133 + 4.867. Sort 1, -0.02, x.
-0.02, 1, x
Let k be 4/6 + 13/(-3)*-1. Sort k, -3, -2, -4 in decreasing order.
k, -2, -3, -4
Suppose -a - 1 = 4. Let v = 6 + -2. Suppose 0*p = -v*p + 4. Sort a, p, -4 in decreasing order.
p, -4, a
Let y = -114 + 1141/10. Let w = -1.1 - -1. Let b = w + -0.1. Sort b, 3, y in decreasing order.
3, y, b
Suppose -7*t = -3*t - 16. Put 0.5, t, 5 in decreasing order.
5, t, 0.5
Let h be (-6)/4*4/3. Suppose -3*b - 3*c - 14 = -2*b, 3*c = -12. Let o = 5 + b. Put h, -1, o in descending order.
o, -1, h
Let n be 4/6 + 13/(-15). Let h = 3 - 7/3. Sort h, n, -2 in increasing order.
-2, n, h
Let d = -4.3 - -4. Sort d, 0, -2.
-2, d, 0
Let m(i) = i**3 - 6*i**2 - 6*i - 1. Let f be m(7). Put 4, 0, f in increasing order.
0, 4, f
Let l be 8/36 + 404/(-36). Let q = l - -9. Suppose -8*i + 4*i - 20 = 0, 22 = 2*s - 4*i. Put q, 2, s in increasing order.
q, s, 2
Suppose 0 = -4*u + 9*u + 5*p + 40, 2 = -p. Sort 4, -5, u, -4 in descending order.
4, -4, -5, u
Let q = -0.041 + -2.259. Let n = q - 0.7. Let v = n + 3.1. Put v, 1/6, -0.3 in increasing order.
-0.3, v, 1/6
Let m = 44/45 - 6/5. Sort 0, 0.2, -0.2, m in decreasing order.
0.2, 0, -0.2, m
Let c be (2/5)/((-1)/(-5)). Let m be (2/(-3))/(c/(-15)). Put m, 1, -6/11 in increasing order.
-6/11, 1, m
Let y be (-24)/(-10) + (-2)/5. Suppose 0 = 5*w + y*v - 3*v - 27, 0 = -2*w - 5*v. Let t be -4*-1*(-1)/2. Put t, w, 3 in ascending order.
t, 3, w
Suppose 2*s + 28 = -3*x + 8*x, 24 = 5*x - s. Let h = -6779111/7699940 - 2/83695. Let d = 3/23 + h. Put x, 0.1, d in descending order.
x, 0.1, d
Suppose -o = -3*n + 1, -n = -3*o + 2 - 5. Put -3, -5, o, 0 in ascending order.
-5, -3, o, 0
Let c(j) = -j**3 + 4*j**2 + 4*j. Let n be c(5). Sort 5, n, -6, 4.
-6, n, 4, 5
Let b = -15 + 12.1. Let t = -3 - b. Let i = t + 0.1. Put -3, 0.1, i in increasing order.
-3, i, 0.1
Let o(m) be the third derivative of -m**4/24 + 2*m**3/3 + 3*m**2. Let p be o(7). Sort 5, p, 4 in decreasing order.
5, 4, p
Let w be (-31 + -1)/(-3 + 2). Let z be 8/w + (-9)/4. Put 0, z, 5 in ascending order.
z, 0, 5
Let m = -5 - -5. Let h = -0.2 - m. Let y = -1 - 2. Sort y, -1, h in descending order.
h, -1, y
Let m = 827.11 + -831. Let s = m - 0.11. Put 4, s, 3 in decreasing order.
4, 3, s
Let i = -0.04 - 1.97. Let z = -2 - i. Let n = z - 4.01. Sort 3/2, n, -5 in descending order.
3/2, n, -5
Let z be 2/(-7) - 52/14. Sort 3, z, -5 in ascending order.
-5, z, 3
Let v(m) = -m + 5. Let x be v(0). Let k be (-14)/35 + (-3)/(-20). Let j = 25/4 + -31/4. Sort k, x, j in decreasing order.
x, k, j
Let i be (-1 - -2)/(3/12). Suppose y - i*u + 6 = -0, 0 = -3*y - 2*u + 10. Let d(x) = x**3 - 2*x**2 - 3*x. Let n be d(3). Put y, n, -5 in ascending order.
-5, n, y
Let b(x) = 30*x**2 + 2*x + 3. Let u be b(-2). Let g be u/(-11) + 6/(-33). Put 1, g, 2 in decreasing order.
2, 1, g
Let f = 2 + -7. Let k = 45 + -43.04. Let j = k + 0.04. Put 0.1, f, j in descending order.
j, 0.1, f
Let h(p) = -6*p - 1. Let v be h(-1). Let j = 19.6 - 20. Put v, j, 2/3 in descending order.
v, 2/3, j
Suppose 3*p + 15 = 4*u - 3*u, 3*p + 21 = 3*u. Suppose 0 = 3*f + 7 + 2. Sort 1, u, f in descending order.
u, 1, f
Let f = -3 - -7. Let g = -3.6 + f. Let t be -1*2/2 - 3. Sort -3, t, g.
t, -3, g
Let d = -3 + 5. Let x(f) = -2*f**3 + 3*f**2 - f + 1. Let r be x(d). Put -4, 3, r in decreasing order.
3, -4, r
Let f be 3/5*1/((-2)/(-10)). Sort 5, f, -1, 11 in descending order.
11, 5, f, -1
Let y(z) = -z. Let j be y(-3). Let t(g) be the second derivative of -g**3/2 - g**2/2 + 2*g. Let m be t(-1). Sort -4, m, j in ascending order.
-4, m, j
Let z = 0.14 - -0.26. Put -1/7, z, 4 in ascending order.
-1/7, z, 4
Let h be (-2*2 - 0)*2. Let d be (-5 - h)*2/(-14). Put d, 0.4, -1/8 in ascending order.
d, -1/8, 0.4
Let v = 315.03 - 313. Let f = v + -0.03. Sort -3, f, 0.3 in increasing order.
-3, 0.3, f
Let h = -0.22 - 1.78. Sort h, -5, -3/7 in descending order.
-3/7, h, -5
Let v = -2.39 + 0.39. Sort v, -3, -2/13.
-3, v, -2/13
Let r = 1 + -0.9. Let q = 12 + -9. Let m = 0 - q. Sort m, -0.1, r in descending order.
r, -0.1, m
Let n = -0.74 - -4.74. Suppose 4 = 2*y + 2. Let r be y + ((-5)/(-9) - 2). Sort r, 1, n in decreasing order.
n, 1, r
Suppose 0 = b - 3*b. Suppose -3*o + b*f = -f - 8, 5*o = -3*f + 18. Suppose -4 = p - 5. Sort p, o, -5 in decreasing order.
o, p, -5
Suppose 2*d - 2 = 3*d. Sort 7, -0.2, d, -0.5 in increasing order.
d, -0.5, -0.2, 7
Let g be 3*(-2)/5*15/(-6). Let u = -3 + 7. Suppose -3*i - 4 + 7 = 3*r, 3*i = 4*r + 17. Sort r, g, u in descending order.
u, g, r
Let i(w) = -w**3 + 2*w**2 - 2*w + 4. Let c be i(0). Sort -0.4, -0.04, c in descending order.
c, -0.04, -0.4
Let i = 18 + -20. Sort i, -1, 5 in descending order.
5, -1, i
Let f = -1.6 + 1.1. Put 4, f, -7 in decreasing order.
4, f, -7
Suppose 0 = 3*z - 6, -j - 1 = -3*z + 2*z. Suppose -11 = -2*u - j. Suppose 0 = -2*w + 4*a - 16 - 0, -2*a + 10 = -2*w. Put w, -3, u in decreasing order.
u, w, -3
Let j(d) = 6*d - 33. Let b be j(6). Sort b, -4, 5 in descending order.
5, b, -4
Let v(d) = d - 1. Let u be v(7). Let a = u - 4. Put -2, -4, a in descending order.
a, -2, -4
Let d be 55/20*(-1 - 3). Let u = d + 36. Suppose -s - u = 4*s. Sort s, -1, -3 in descending order.
-1, -3, s
Let q be -1*(-1 + 3)*(-1 - -2). Sort -1/2, -3/4, q in decreasing order.
-1/2, -3/4, q
Let k = 12.7 + -12.4. Sort 0.5, k, 1/3, 6 in descending order.
6, 0.5, 1/3, k
Let y = 3 - 2. Let q be -1 - (y - (-2)/(-1)). Suppose w - 2 = 3*z - 11, -4*w = 5*z + 2. Put w, 3, q in descending order.
3, q, w
Let k(g) = -g**3 + 6*g**2 + 8*g - 6. Let v be k(7). Suppose -f = 3, 10 = -2*t - f - 3*f. Let c be (-6)/4*2/t. Put v, c, -4 in increasing order.
-4, c, v
Let x = 4 - 6. Sort -5, x, -3 in decreasing order.
x, -3, -5
Let c = -127/1449 + 822593/94185. Let q = c + -44/5. Sort -1/6, -2, q in descending order.
q, -1/6, -2
Let d(w) = -5*w - 5. Let u be d(-1). Let h be 0/2 + 3/1. Put -3, h, u in descending order.
h, u, -3
Let b = -65 - -38. Put b, 0.3, -5 in increasing order.
b, -5, 0.3
Let t = -16 - -15.96. Let b = -26.26 + 22.3. Let n = b + t. Put 1/7, n, 1/3 in increasing order.
n, 1/7, 1/3
Let v = 2 - -2. Let b = -2 + -1. Put -4, v, b in ascending order.
-4, b, v
Suppose -4*k = -14 - 2. Let f = 7 - 4. Suppose 2 = f*n - l + 8, -2*n + 3*l - 4 = 0. Sort n, 5, k in ascending order.
n, k, 5
Let v = -0.084 + -0.016. Put 2, -1, v in ascending order.
-1, v, 2
Suppose -3*d = i - 18 + 2, 5*d - 3*i - 22 = 0. Sort d, -1, 1.
-1, 1, d
Let i(k) = k**3 + 6*k**2 + 5*k + 2. Let y be i(-5). Let b be (0/(-1))/(0 - -3). Suppose b = f - 2*t + 6, -3*f + 20 + y = 4*t. Put -2, -4, f in increasing order.
-4, -2, f
Let z = 94/3 - 32. Let v(j) = j - 14. Let q be v(11). Sort z, -4, q.
-4, q, z
Let w = 32.7 - 0.7. Let b = w + -36. Let q = 1 - -2. Put q, 0.5, b in ascending order.
b, 0.5, q
Let z = 4.5 - 4.3. Sort z, 2/17, -0.18 in ascending order.
-0.18, 2/17, z
Suppose -6*r = -3*r - 6. Let x = r + 0. Suppose 3*j + 2*j = -20. Sort x, -1, j in decreasing order.
x, -1, j
Let o be 7/((-14)/(-6)) - 1. Put o, 1, -4 in increasing order.
-4, 1, o
Let f = -3 + 5. Suppose -3*v - 2*c = -0*c + 4, -8 = f*v + 4*c. Suppose -4*b + 20 = v, 0*i + 17 = i + 3*b. Sort i, -1/2, -0.4.
-1/2, -0.4, i
Let v = -128 + 129. Let p(r) = -r**3 - 2*r**2 + 2*r + 2. Let k = 5 - 8. Let c be p(k). Sort v, -1, c in increasing order.
-1, v, c
Suppose 3*g = 2*g - 4*o - 6, 0 = -2*g - 5*o - 9. Sort 4, g, -5 in decreasing order.
4, g, -5
Let k be (-1)/(3 - 20/6). Suppose -u + k*u = 0. Put -4, u, 1 in decreasing order.
1, u, -4
Let r be (-3)/(9/15) - -1. Let c be 22/1*(-2)/r. Let y = 8 - c. Sort 2, y, 4 in ascending order.
y, 2, 4
Let y(v) = v + 1. Let u be y(-5). Let h(b) = -b**3 + 3*b**2 + 7*b - 10. Let w be h(4). Let m = 2 + 1. Put u, w, m in increasing order.
u, w, m
Suppose 8 = 4*i + 12. Sort -5, i, 0, 5 in decreasing order.
5, 0, i, -5
Let y = -53 + 50. Put -4, -2, y in decreasing order.
-2, y, -4
Let a = 0 - -2. Let z be -6*1*a/4. Put z, 5, -10 in descending order.
5, z, -10
Let y = 7 - 2. Let j = -11 + y. Let k be 42/9 - (-4)/j. Put 2, 1, k in increasing order.
1, 2, k
Let t = -13 + 10. Sort -2, 3, t in descending order.
3, -2, t
Let g = 256 + -127. Let 