+ m. Put -6/13, j, -1/8 in ascending order.
-6/13, j, -1/8
Let d = -3.1051 - -0.0751. Let v = d + 0.03. Let o be ((-1)/(-3))/(1/2). Sort v, o, -3/5 in descending order.
o, -3/5, v
Let o(r) = r**2 - 6*r + 6. Let v be o(4). Let t be (-6)/(-27) + 32/18. Suppose 15 = b + t*b. Put 4, b, v in ascending order.
v, 4, b
Let x = -1169/45 + 131/5. Sort 3/4, -3/2, x.
-3/2, x, 3/4
Let t = 0.6 - 0.9. Let w = t - -0.8. Put w, 4, 0.2 in increasing order.
0.2, w, 4
Let b(r) = -r - 5. Let v be b(5). Let l be (0 + -2)*v/4. Sort -1/2, l, -1/4.
-1/2, -1/4, l
Suppose v - 3*m + 10 = 0, -v = 4*v + 2*m - 1. Let y be (6/15)/(v/5). Put -3, y, 5 in descending order.
5, y, -3
Let y = 6 + -4. Let o = 5 - y. Let f = -6 - -1. Put o, 4, f in descending order.
4, o, f
Let k(p) = -1 + p + p - p**2 + 0*p. Let o be k(3). Suppose -5*b - 12 = 4*x + 1, x = -5*b - 22. Sort 2, o, x.
o, 2, x
Let w be (-6 - 29/(-5))/((-8)/(-10)). Let i be (4/5)/(52/14570). Let q = i + -224. Put q, w, 5 in decreasing order.
5, q, w
Let h = 53/15 - 11/5. Put 1/2, h, -2/9 in decreasing order.
h, 1/2, -2/9
Let k(s) = s**3 - 3*s**2. Let l be k(3). Let t = 32 - 34. Sort l, t, -4 in increasing order.
-4, t, l
Let m = -26 + 43. Let q = -12 + m. Put -1, q, -2/11 in descending order.
q, -2/11, -1
Let n = 0.6 + -0.1. Let p = 0.01 + -0.01. Sort n, p, -6 in increasing order.
-6, p, n
Let b = 0 - -2. Let j = -6 - -6.3. Let l = 0.1 - j. Sort l, b, -4 in ascending order.
-4, l, b
Let s = 87 - 259/3. Put 4, 3, s in decreasing order.
4, 3, s
Let y = -16 + 18. Let g be ((-14)/y + 2)/(-1). Sort g, 7, -3 in increasing order.
-3, g, 7
Suppose -5*x = -32 - 18. Sort -1, -3, x in decreasing order.
x, -1, -3
Let k = -0.5 + 0.1. Let n(z) = -z**2 - 3*z + 1. Let i be n(-8). Let w be i/(-63) - 4/14. Put 1, k, w in increasing order.
k, w, 1
Let z be 3/(-18) - 25/(-60). Sort -4, 1, z in increasing order.
-4, z, 1
Let u be 6/((-4 - -7) + -6 - -17). Sort -2/5, u, -1/4, 3 in descending order.
3, u, -1/4, -2/5
Let c be (-1)/(-2)*4/(-6). Let p = 0.4 - 0.1. Sort c, p, 0 in ascending order.
c, 0, p
Let l = 0 - -1. Let z = -423 - -429. Sort z, l, 2 in descending order.
z, 2, l
Let h = -6 - -2. Suppose 11 + 1 = 4*w. Let t = -1 + w. Put t, h, -6/7 in decreasing order.
t, -6/7, h
Let c(t) = t + 15. Let i be c(-12). Sort 4, i, 0, -4 in decreasing order.
4, i, 0, -4
Suppose f - 292 = -3*z, -2*f + 20 = 3*f. Let j = z + -866/9. Let d be 12/(-55) - (-4)/(-22). Put j, 0, d in descending order.
0, j, d
Suppose 3*x - 4*z = 0, -6 + 29 = 2*x + 5*z. Let h be 16/14 - 2/14. Put -1, h, x in descending order.
x, h, -1
Let g = -4 - -4. Let v = -2 - g. Let y(m) = -m + 5. Let t be y(8). Put t, 1, v in descending order.
1, v, t
Let o = 52 + -54. Sort 1, -3, o, -8.
-8, -3, o, 1
Let k(l) = -l - 11. Suppose 2*n = -2*n - 28. Let b be k(n). Suppose -2*v - 9 = v. Sort v, 0, b.
b, v, 0
Let i = 13 + -10. Suppose 4*q - 23 = 3*u, i*q - 6 = -0. Sort u, 0.4, -1/4 in increasing order.
u, -1/4, 0.4
Let d(n) = -n**2 + 8*n - 9. Suppose 0 = 2*r - 1 - 3. Suppose -3*v - r*z + 10 = 2*z, -z = -4*v + 26. Let l be d(v). Sort 4, 2, l in increasing order.
2, l, 4
Let t = 3 - -1. Sort 2, t, -5.
-5, 2, t
Suppose -2*b = s + 5, -5*b + 0 = s + 11. Put -4, b, -1 in decreasing order.
-1, b, -4
Let c be (-1 - -4)*(-5)/(-15). Let x(d) = d**3 - 3*d**2 - 5*d - 1. Let i be x(4). Put c, i, -3 in decreasing order.
c, -3, i
Let r = 21 - 24. Sort -1/3, -1/9, r in descending order.
-1/9, -1/3, r
Let v = 14 + -19. Let d(s) = -s**2 + 3*s - 2. Let o be d(2). Suppose o = h + h - 8. Sort v, h, 0 in decreasing order.
h, 0, v
Let w = 1161.93 - 1156. Let k = w + 0.07. Let m = -6.2 + k. Sort m, 0.4, 0.1 in decreasing order.
0.4, 0.1, m
Suppose 3*s - 2*j - 22 = 0, 5*j - 14 + 51 = 3*s. Suppose 0 = s*f + f. Put -2, f, -0.2 in decreasing order.
f, -0.2, -2
Let o be 16/6 + 4/12 + -2. Sort 2, 5, o in decreasing order.
5, 2, o
Let m be (-15)/2*(-12)/(-18). Let j(h) = -h**2 - 4*h - 5. Let i(q) = -2*q - 2. Let b(x) = -7*i(x) + 3*j(x). Let t be b(1). Sort t, m, -4 in descending order.
t, -4, m
Let v be ((-30)/(-12))/(2/4). Let w be 2 + -4 + 4 + -1. Let x be ((-1)/2)/(w/(-8)). Sort x, v, -5 in decreasing order.
v, x, -5
Let n be (-3 - -2)/(16/2). Put 0.28, -0.5, -1/3, n in increasing order.
-0.5, -1/3, n, 0.28
Let k = -79 + 79.5. Put 2/5, -10, k in ascending order.
-10, 2/5, k
Let t be (-108)/30 - (-4)/(-10). Sort t, -1/2, -8 in ascending order.
-8, t, -1/2
Suppose -36*n + 19*n = 102. Let g = -0.1 - -0.2. Sort n, g, 0.
n, 0, g
Suppose -42 = -8*p - 10. Let h be (2 - 7/2)/(-3). Put 1/4, h, p in decreasing order.
p, h, 1/4
Suppose -6*t + 5*t - 4 = 0. Let h = -5 - -12. Suppose h*d - 2*d + 15 = 0. Put t, d, -2 in decreasing order.
-2, d, t
Let t(m) = m + 1. Let j(r) = -1. Let b(u) = -2*j(u) - t(u). Let x be b(4). Let g = 5 + -5.4. Put g, x, -1/4 in ascending order.
x, g, -1/4
Let h = -0.17 + -1.83. Put h, 4, -2/3 in increasing order.
h, -2/3, 4
Suppose 2*g + 6*o - 4 = 4*o, g - o = 8. Sort 4, g, 3.
3, 4, g
Let p(s) = s + 5. Let d be p(-4). Let u = -9 + 11. Let x = 0.3 + -0.5. Sort d, x, u.
x, d, u
Let d = -28 + 59/2. Let s = -1137 - -51167/45. Let o = s + 8/45. Put -4/7, o, d in descending order.
d, o, -4/7
Let m = -73 + 78. Let v be (-1)/2*8/(-10). Sort v, m, -3 in decreasing order.
m, v, -3
Let a = -2 + 3. Let t = 91.1 + -91. Put 0, t, a in decreasing order.
a, t, 0
Let c = 0.167 - 0.467. Sort c, -77, 0, -4 in descending order.
0, c, -4, -77
Let d(o) = o**2 - 6*o + 6. Let l = 1 + 0. Let r be 4 - l*(-2 + 1). Let x be d(r). Sort 4, x, 3 in decreasing order.
4, 3, x
Let k = -4 - 0. Let r be k/(-18) - (-1 + 1). Sort r, -5, 0.1.
-5, 0.1, r
Let q = -7 + 7. Suppose -4*a + a = q. Sort a, -4, -0.3 in ascending order.
-4, -0.3, a
Suppose 3 = j - 5*x + 17, 0 = -2*j + 3*x. Let a be 1*j + 0 + -1. Let t = -8 + 8.1. Sort 4, a, t in descending order.
a, 4, t
Let d = 164018/82841 - 228/443. Let k = d + -28/17. Sort 2, 0.1, k in decreasing order.
2, 0.1, k
Let i = 0.66 - -6.14. Let b = i + -7. Let f = -3 - -4. Sort f, b, 0.
b, 0, f
Suppose 0 = 3*a + 5*o + 37, -4*a - 3*o - 11 = -5*a. Put a, -5, 0, 3 in increasing order.
-5, a, 0, 3
Let p(m) = m**3 + 4*m**2 - 5*m - 6. Let b be p(-5). Let t be ((-4)/6)/((-8)/b). Let c = 0.4 + -0.8. Sort t, c, 0 in descending order.
0, c, t
Let i = -0.2 - -0.3. Let z = 85/4 - 21. Sort 0.5, z, i in ascending order.
i, z, 0.5
Let d be (5 - 1) + (0 - -1). Suppose p + d = -4*p. Sort p, -5, -7 in descending order.
p, -5, -7
Let g = 1.2 + -0.2. Let k = -7 - -10. Let s be 6/(2 - -1)*-2. Sort s, k, g.
s, g, k
Let a = -4/29 + 49/145. Sort -5, -2/3, 14, a.
-5, -2/3, a, 14
Let r(s) = 7*s**2 - s + 1. Let k be r(1). Let v(p) = -p + 1. Let q be v(-4). Suppose 3*o = q + k. Sort o, -4, -5 in increasing order.
-5, -4, o
Let f(y) = -y**3 - 6*y**2 + 6. Suppose 5*p + 14 = -16. Let l be f(p). Suppose 15 = b - l*b. Sort b, 4, 2 in decreasing order.
4, 2, b
Let f be ((-32)/6 - -4)/(-10). Let x = 157 + -1729/11. Put -4, f, x in descending order.
f, x, -4
Let r = 7 - 4. Suppose r*n = v + 2, 3*n + 0*n = -v - 2. Let k(h) = -h**2 + 5*h. Let q be k(4). Sort n, 5, q in increasing order.
n, q, 5
Let h(y) = y**3 + 8*y**2 + 7*y + 1. Let g be h(-7). Sort -1, 2, g.
-1, g, 2
Let l(i) = -i**3 - 3*i**2 - 3*i - 2. Let w be l(-3). Suppose -15 = -2*x - 3*x, -3*x = 4*j + w. Sort j, -2, -5 in descending order.
-2, j, -5
Let c be 2/(-12)*-15*-2. Put -4, -2, -1/2, c in descending order.
-1/2, -2, -4, c
Suppose -2*c - 4*x - 26 = 0, -4*c + 5*x + 9 = -4. Put 3, c, 0 in increasing order.
c, 0, 3
Suppose o + 3*k = -6, 2*o - k = 4*k + 32. Sort o, -1, 3.
-1, 3, o
Let y = -492.9 - -465. Let n = y - -26. Let m = -0.1 + n. Sort 1, -2/9, m in descending order.
1, -2/9, m
Suppose c - 4*s = s + 8, 0 = -4*s - 8. Sort -6, 3, c, -3 in descending order.
3, c, -3, -6
Suppose 5*m + 2 = w, -5*w - 7*m + 2*m - 20 = 0. Put w, 0, 5, -4 in ascending order.
-4, w, 0, 5
Suppose -2*u - 2 + 10 = 0. Let w be -2*38/u*-1. Suppose 2*i + 9 = 4*v + 27, i - 4*v = w. Put i, -2, 4 in decreasing order.
4, i, -2
Let m = 73/3 + -24. Sort m, -1, 2/5 in decreasing order.
2/5, m, -1
Let i(x) = -x - 1. Let k = -2 + 2. Let f be i(k). Let o(y) = -y**2 + y - 1. Let u be o(2). Put f, 2, u in increasing order.
u, f, 2
Let a = -0.79 - -0.29. Let n = -1.7 - -2. Let f = n - -0.1. Put 0.5, a, f in increasing 