 order.
l, c, -5
Let z = 15.86 + -16. Let j = z - 0.06. Put -5, j, 0.1 in ascending order.
-5, j, 0.1
Let k be 0 + 1 + (-11 - -7). Sort k, -2, 0.2 in increasing order.
k, -2, 0.2
Let s = -0.22 + -0.18. Sort -4, -0.1, s in descending order.
-0.1, s, -4
Let s = 15.72 - -0.28. Let c = -16.1 + s. Sort c, -4, 0 in increasing order.
-4, c, 0
Let w = 20 - 19.6. Sort 2/17, w, 1/3 in ascending order.
2/17, 1/3, w
Let v(d) = d + 6. Let a be v(-4). Sort 23, 5, a in ascending order.
a, 5, 23
Let a = 55 - 55.2. Sort -3, 5, a, 0.2 in decreasing order.
5, 0.2, a, -3
Let v be (-2)/(-4)*0 + 0. Let k = 59 + -62. Sort k, v, -2 in descending order.
v, -2, k
Suppose 5*g = -0*g. Suppose 0 = o + 11 - 13. Sort o, g, -1 in descending order.
o, g, -1
Let u be -2 + 2/(2/(-5)). Let k = 6 + u. Sort -2, 1, k in ascending order.
-2, k, 1
Let q = 10.5 + -10. Let v = 0.7 - q. Sort 0.1, -2/7, v.
-2/7, 0.1, v
Suppose 0*o - 4*o - 4 = 0. Let m = -1 + o. Let j = -102 + 712/7. Sort m, j, -0.4.
m, -0.4, j
Let k = -42 + 38. Sort 1/4, 1/2, k, 2/9 in ascending order.
k, 2/9, 1/4, 1/2
Let h be (3/9)/((-4)/(-48)). Suppose 4 = h*v + 8. Let l = -7 - -4. Sort v, 0.1, l in increasing order.
l, v, 0.1
Let z = 0.3 + -0.3. Let q = -0.4 + z. Sort q, -1/6, -1 in increasing order.
-1, q, -1/6
Let u be (0 - (6 + -2)) + 8. Sort 3, -2, -5, u in decreasing order.
u, 3, -2, -5
Let z = 28.1 + -27. Let m = z - 6.1. Put -1/6, m, -0.2 in ascending order.
m, -0.2, -1/6
Let z = 21 + -20. Let o be (1 - -2)/(6/(-4)). Let f = z + o. Put 3, f, -4 in decreasing order.
3, f, -4
Suppose -3*x - 6 + 27 = 0. Let o(b) = -b**3 + 6*b**2 + 8*b - 5. Let y be o(x). Sort y, -3, 5 in decreasing order.
5, y, -3
Suppose -15 = l + 4*l. Sort l, 3, -4.
-4, l, 3
Suppose -1 + 46 = 15*i. Sort 1, 0, i, -2 in descending order.
i, 1, 0, -2
Let c be 5 - (-2)/(1 - -1). Sort c, -1, 3 in decreasing order.
c, 3, -1
Suppose 2*j - 5*j = 0. Let h = -1 + 2. Suppose 3*b + 2*b = 4*d - 4, h = d + 5*b. Sort d, 5, j.
j, d, 5
Suppose 4*u + 5*s = 34, 4*u - s - 22 = -0*s. Put -1, 2, u in increasing order.
-1, 2, u
Let z be 2/(-4)*(-1 + -5). Let t = 4 - z. Sort 5, t, 3/8 in descending order.
5, t, 3/8
Suppose 5*z + 48 - 238 = 0. Sort z, 0.4, 2 in ascending order.
0.4, 2, z
Let k = 3.9 - 4. Let o = -7 + 2. Let d(f) = -2*f - 1. Let t be d(-2). Sort o, k, t.
o, k, t
Suppose z - 5*y - 6 = -0*z, -8 = -5*z + 3*y. Suppose 4*w + 8 = -m, 0 = -m - 3*w - 3 - 1. Suppose 2*i - 6*i + m = 0. Sort -5, z, i in increasing order.
-5, z, i
Let y = -0.5 - -1. Let p = -4.75 - 0.25. Put p, y, 5 in descending order.
5, y, p
Let s = -0.01 - -4.01. Let j = -8 + 11. Sort s, -2, j in ascending order.
-2, j, s
Let g be (-3)/(-1) + -4 + 11. Suppose g*c - 6*c = 8. Put 5, c, -2 in decreasing order.
5, c, -2
Let a be (-1)/(-2*4/(-16)). Suppose -4*g = 0, -g - g + 3 = -3*q. Put q, a, 1 in increasing order.
a, q, 1
Suppose 4*d = 2*d. Let u be (-4)/(-3 - -2) + -3. Put 1/2, u, d in increasing order.
d, 1/2, u
Suppose 3*n - 12 = -2*d, 0 = d - 4*n + 3*n - 1. Put -2, 1, d in descending order.
d, 1, -2
Suppose h + 3*u = 16, -h + 3*u + 8 = 4*h. Suppose 0*c + 4 = h*c. Suppose 2*r = 3*k + 6*r - 27, 3*k - 3*r - 6 = 0. Put c, k, 3 in descending order.
k, 3, c
Let q = -0.2 + 0.1. Let m = 5/22 + 29/66. Sort m, -1/2, q in ascending order.
-1/2, q, m
Let x be (36/14)/(1/(-7)). Let i = 26 + x. Let m be (-6)/i - (-9)/(-4). Put 2, m, -2 in ascending order.
m, -2, 2
Let u = 5 + -2. Sort u, -1, 1, -4 in descending order.
u, 1, -1, -4
Let f(s) = -s**2 - 6*s. Let h be f(-5). Let k be 24/(-9)*9/(-6). Suppose 0 = -4*x - 0*x + k. Put h, x, -4 in ascending order.
-4, x, h
Let x = -0.385 + -0.125. Let m = 0.01 + x. Let n be (4/4)/(-1*1). Put -0.3, m, n in descending order.
-0.3, m, n
Suppose -2*c + 3 = 3*s - 3, -6 = -3*s - c. Suppose 2 + s = 2*u. Let j be (3/11)/(3/2). Put j, u, -1/3 in increasing order.
-1/3, j, u
Suppose 0 = h + 2 - 8. Sort -1, h, -3 in descending order.
h, -1, -3
Suppose 3 = -b + 6. Let m(k) = -2*k**3 - 4*k**2 - 3*k - 1. Let p be m(-2). Suppose g = 0, 5*c + 4 = c - 3*g. Sort b, p, c.
c, b, p
Let j(k) = -k**3 - 3*k**2 - 3*k - 3. Let q be j(-3). Suppose 0*c + q = 3*c. Suppose 0 = 2*r - 2 - c. Put 1/8, r, 1 in decreasing order.
r, 1, 1/8
Suppose 0 = -5*x + 4 + 1. Sort -3, x, 5 in descending order.
5, x, -3
Let x be (-1)/(3/(12/(-2))). Put x, 5, 4 in ascending order.
x, 4, 5
Let c be 1 - (39/18 - 1). Let v = -0.2 - 0.4. Let m = v - 0.4. Sort m, 0.05, c in descending order.
0.05, c, m
Suppose 2*q - 4*c - 16 = -q, -4*q = 4*c + 16. Put q, 1, 4 in decreasing order.
4, 1, q
Let b be 0*((-3)/2 + 1). Let q be ((-8)/8)/(1/(-15)). Suppose -p - q = 2*p. Put b, p, 4 in descending order.
4, b, p
Let x = -5 - -2. Let k be 62/(-4) + 3/(-6). Let g be k/(-6) - (-1)/3. Put 1, g, x in decreasing order.
g, 1, x
Let n be -1 - (1 + 0) - 2. Suppose -5*k - 5*o + 40 = 0, -3*k + 6*o - o = 0. Sort k, -3, n.
n, -3, k
Let p = -0.45 + 0.05. Let k = 11 + -12.9. Let s = k + -0.1. Sort s, 2, p.
s, p, 2
Let l be (2 - 7)/(3 + -2). Let u = 13 + -9. Put l, 3, u in increasing order.
l, 3, u
Let y = 0.3 + -0.2. Let z be (-11)/(-4) - 2/(-8). Suppose -4*c - z*q = -16, -q + 3 + 0 = -c. Sort y, 0.3, c in increasing order.
y, 0.3, c
Let i = -0.6 - -0.2. Let l be (-2)/(-8) + 5220/(-2720). Let u = l - -22/17. Put i, u, 3 in ascending order.
i, u, 3
Let u be (-5 - 1)*(-11)/22. Suppose 4*i - 35 = 5*k, 0*i + u*i + k = 12. Sort 3, -1, i.
-1, 3, i
Let d = -8 - -13. Let n be 1/d + (-228)/15. Let f be ((-3)/n)/(4/(-10)). Sort f, 1, 5 in descending order.
5, 1, f
Let v = 9.8 + -0.8. Let o = 8.9 - v. Let d = 0.3 - 0.6. Sort 1, o, d in increasing order.
d, o, 1
Let v = -12 + 17. Suppose -20 = -v*h, -3*h + 18 = -2*r + 4*r. Sort -2, r, -5 in ascending order.
-5, -2, r
Suppose 5*x = -0*x. Suppose -a = 3*a. Suppose -4 = -a*m + 4*m, 5*s - 5*m - 5 = x. Put 5, s, 2 in increasing order.
s, 2, 5
Suppose 4*y - 12 = -k - y, -2*y + 4 = 0. Let s be 9 + -8 + 2 + k. Sort 3, 4, s in descending order.
s, 4, 3
Let z = -69 - -415/6. Sort z, 11, 1 in ascending order.
z, 1, 11
Let p = -6.9 - -7. Let g = -3 - -2.8. Let r = p + g. Put r, -1/3, -3/7 in ascending order.
-3/7, -1/3, r
Let u = 0.02 + -4.02. Let r = -3 - u. Sort 2, r, 4 in decreasing order.
4, 2, r
Suppose -3 = 5*t + 7. Let o(g) = -g**2 - 3*g - 1. Let x be o(t). Let z be x + -2 - 0/1. Sort 0, z, 3 in decreasing order.
3, 0, z
Let v(d) = -3*d**2 + 3*d - 1. Let u be v(2). Let f = 9 + u. Sort f, -3, -4.
-4, -3, f
Let q = -2 - -1. Let l = -4 - q. Put -1/6, -2/11, l in descending order.
-1/6, -2/11, l
Let g = 17 - 21. Let s = 1.2 + -6.2. Let a = g - s. Sort -5, 4, a in decreasing order.
4, a, -5
Suppose 0 = -5*w + 4*q + 15, 4*w = 3*q + q + 16. Sort w, -5, 1.
-5, w, 1
Let m = -0.1 + 0. Let s be (-10)/(-15) - 52/6. Put m, -2, s in decreasing order.
m, -2, s
Suppose -12 = -2*p - 2*j, -3*j - 16 = -5*p - 2. Sort 9, -4, p, 3.
-4, 3, p, 9
Let d(n) = -2*n - 5. Let o be d(-4). Suppose 5*w - o - 7 = 0. Let x be 4/10 + w/(-5). Sort -2, x, -1 in increasing order.
-2, -1, x
Let k(i) = i**3 + 3*i**2 + 2*i + 4. Let b be k(-3). Sort 4, -3, b in descending order.
4, b, -3
Let y be 32/14 - 6/21. Let k(h) = -h**3 + 3*h**2 + 11*h - 1. Let l be k(5). Sort l, y, 3 in descending order.
l, 3, y
Suppose -3*a - 39 = 5*l - 2, -4*l - 5*a = 40. Let b(c) = c + 1. Let z be b(1). Sort 0, z, l in decreasing order.
z, 0, l
Suppose -b = -5*b - v - 6, 3*v = 3*b + 12. Put 1, b, 2, -4 in ascending order.
-4, b, 1, 2
Suppose 3*r - 2*j = 19, j = r + 4*j + 12. Suppose -r*z - 3 + 18 = 0. Sort -3, 7, z in descending order.
7, z, -3
Let g be (0 - 1)*8/2. Let u(a) = -a**2 + 4*a - 2. Let f be u(5). Let o(w) = w**3 + 7*w**2 - w - 5. Let x be o(f). Sort g, x, 0 in ascending order.
g, 0, x
Let y be 4/(-5) + (-3)/15. Sort y, 4, 0 in descending order.
4, 0, y
Let b(g) = -2*g - 6. Let r be b(-5). Suppose 9 = -4*w + w. Sort w, r, 3 in decreasing order.
r, 3, w
Let j be (2/(-2) - -4) + 2. Let t be 1*3/(-3) + 2. Let l = t + -2. Sort l, -3, j in increasing order.
-3, l, j
Let g = 0.8 + -1.4. Let o = g - 0.4. Sort o, -2/13, -2/11 in descending order.
-2/13, -2/11, o
Let h = 0.01 + -3.01. Let o = h - -1. Sort o, 1, 3 in descending order.
3, 1, o
Let j = 0.22 - 0.02. Let d = -0.6 + j. Put d, 0.3, -2/3 in decreasing order.
0.3, d, -2/3
Let k be (-3)/(-4) + 2/8. Let p = 3 + 