 = c + -0.05. Put b, 1/5, 0.1 in increasing order.
0.1, 1/5, b
Let k(z) = z**3 + 2*z**2 + z. Let r be k(0). Sort 1, 2, r, -3 in increasing order.
-3, r, 1, 2
Let y be (1/(-6))/((-4)/(-6)). Let j = 4.7 + -5. Sort y, j, -0.1 in ascending order.
j, y, -0.1
Suppose 1 = -k + 2*k. Sort 0, 4, k in increasing order.
0, k, 4
Let k = -24 - -18. Let c be -6*(-1 + (-9)/k). Sort -1, c, 5 in descending order.
5, -1, c
Let n = 0.2 - -0.8. Suppose 5*l = 4 + 16. Put n, 1/7, l in descending order.
l, n, 1/7
Let w = -0.4 + -0.1. Let a be (-40)/(-12) + 1 - 4. Sort w, 4, a.
w, a, 4
Let a = 9 - 2. Let i = a + -12. Let y = 3 - 5. Sort 4, i, y in decreasing order.
4, y, i
Let y be 2*(66/16 - 4). Sort -27, y, -2 in increasing order.
-27, -2, y
Suppose -2*s = -7*s + 15. Put -4/9, -0.1, -4, s in increasing order.
-4, -4/9, -0.1, s
Let j(g) = -g**2 + 5*g + 6. Let v be j(5). Let i(f) = -f**3 + 7*f**2 - 6*f - 2. Let c be i(v). Let t be c/4 - (-33)/42. Sort t, 2/21, -2 in ascending order.
-2, 2/21, t
Let i(c) = c + 5. Let w be i(-5). Suppose 0 = s - w*s - 9. Put s, -2, -1 in descending order.
s, -1, -2
Let h = -0.157 + 0.157. Sort -4, 0.6, h, 2/13 in descending order.
0.6, 2/13, h, -4
Let h(g) = 9*g**2 + g - 1. Let l be h(1). Let b = 10 - l. Suppose 0 = 5*j - 20, -4*y - 3*j = -y - 18. Sort b, y, 5 in decreasing order.
5, y, b
Let k = 2.8 - -10.2. Sort k, -0.3, -5 in descending order.
k, -0.3, -5
Suppose -4*i + 3 = 3*g, 2*g + 3*i = g + 6. Let n = -1163/5 + 233. Sort n, g, 3 in descending order.
3, n, g
Suppose -2*s = 3*s. Let h = s + 1. Let m be 22/(-10) + (-3)/(-15). Sort h, 4, m.
m, h, 4
Let u = -1.5 + 2. Let h = -24 + 17. Let b = -6 - h. Sort u, b, -0.3 in descending order.
b, u, -0.3
Let o be -87 + 89 + (0 - (-154)/(-74)). Put o, 0.4, 3 in descending order.
3, 0.4, o
Let l = 0.8 + -0.3. Let s(d) = d**2 - 2*d - 6. Let a be s(4). Let z be 1/3 - (-5)/12. Put z, l, a in descending order.
a, z, l
Let n = -12 + 12. Put -4, n, -2 in descending order.
n, -2, -4
Let f = -26 - -36. Let p = 8 - f. Sort -6/7, p, 1/5 in increasing order.
p, -6/7, 1/5
Suppose -2*c - 3 = -43. Suppose s - 5 = -f - 1, -2*s + 5*f = c. Put s, -3, -2/3 in descending order.
s, -2/3, -3
Let p = -0.6 + -1. Let a = 0.6 + p. Sort -3/4, 3, a in descending order.
3, -3/4, a
Let k = -12 + 15. Let n = 0 - 0.3. Put -0.1, k, n in decreasing order.
k, -0.1, n
Let n(g) = -g**2 - 4*g + 6. Let b be n(-5). Let k = -110 + 110. Put b, 5, k in ascending order.
k, b, 5
Let b = -80.6 + 81. Let m = -3/7 + 53/91. Put m, b, -0.3 in decreasing order.
b, m, -0.3
Let q = 8 + -11. Let w be 138/33 + (-6)/33. Suppose -w + 3 = -d. Sort -5, d, q in descending order.
d, q, -5
Suppose i = 4*p - 21, 10 = 3*i - i + 5*p. Suppose -5*x - 2*a = -8, -5*x + 3*x + 4 = a. Sort -1/3, x, i in decreasing order.
x, -1/3, i
Let w = -2/91 - -283/455. Sort 0.5, w, 2/19 in decreasing order.
w, 0.5, 2/19
Let k = -2.2 - -2.15. Let j = -0.05 + k. Sort -0.2, j, -2 in descending order.
j, -0.2, -2
Suppose 0 = -2*h + 2 + 10. Let n = h - 6. Sort 2, 3, n.
n, 2, 3
Suppose 0*w - 2*w = -0*w. Sort -3, w, 2.
-3, w, 2
Let f(a) = -5*a - 1. Let y be f(-1). Suppose 7*j - 4*j + 12 = 0. Let d = j + -1. Sort -4, d, y in descending order.
y, -4, d
Let y = -8 + 1. Let z = 13.7 - 7. Let c = z + y. Sort 0.3, 0.4, c in increasing order.
c, 0.3, 0.4
Let n = -86.8 - -87. Put 0.12, 1/6, n, 0 in decreasing order.
n, 1/6, 0.12, 0
Let x = -1.3 + 0.95. Let n = x - -0.05. Let h = 0.4 + n. Sort h, -4, 5 in decreasing order.
5, h, -4
Suppose 4*p + 3*z = -5, -6 + 4 = 3*p + 4*z. Let d(a) = -3*a + 4. Let x be d(3). Let y be 1 + -3 - (-2 - 0). Sort y, x, p in increasing order.
x, p, y
Let r(b) = -5*b**3 + 2*b**2 - 1. Suppose 2*l + 0 = 2. Let k be r(l). Let x(s) = s**3 + 7*s**2 + 5*s - 8. Let z be x(-6). Sort z, k, -5 in decreasing order.
z, k, -5
Let g = 84 + -591/7. Let f be ((-12)/10)/((-8)/20). Let l be -2 - 0/(f/3). Sort g, 2, l in increasing order.
l, g, 2
Let y = -9.7 + 10. Put y, -1/5, 0 in ascending order.
-1/5, 0, y
Suppose r + n = -n - 2, 4*r + n - 6 = 0. Suppose -10 = -2*q - r. Let a be (-11)/(-3) + q/12. Put 1, a, -5 in decreasing order.
a, 1, -5
Let x = 1 - -1. Let z be 0 - 2/x*0. Let t = z - 5. Sort 5, 0, t.
t, 0, 5
Let t(z) = z - 2. Suppose -2*n + 20 = -4*p, -4*n - 4*p + 14 = -2. Let y be t(n). Let i = -3 - -2. Put i, y, 5 in decreasing order.
5, y, i
Let m be (3/(-2))/(12/(-16)). Put -5, -2, m in decreasing order.
m, -2, -5
Let g be (4/3)/(4/(-6)). Sort g, 1, 2 in decreasing order.
2, 1, g
Suppose 1 - 33 = -4*d + 5*a, -16 = -2*d - 5*a. Let j be d/(-70) + 14/35. Put -2/3, 1/3, j in descending order.
1/3, j, -2/3
Suppose -8 + 63 = 5*m. Sort 0, -4, m in ascending order.
-4, 0, m
Let s = 108 + -543/5. Put s, 2, -0.1 in increasing order.
s, -0.1, 2
Let g = 2 + -4. Let y = 17 + -30. Let p = y - -9. Put 0.5, g, p in descending order.
0.5, g, p
Let j = 3 + -1. Let v = 1.7 + -3.2. Let p = j + v. Put p, 5, -4/7 in increasing order.
-4/7, p, 5
Let t(n) = -n**3 - n**2 - 1. Suppose 0*d + 5*d + 5 = 2*y, d + 1 = -2*y. Let z be t(y). Put 1, -4, z in decreasing order.
1, z, -4
Suppose -55*i + 50*i = 80. Put 4, 5, i in decreasing order.
5, 4, i
Suppose 0 = -4*z, 2*z = -3*q - 3*z + 15. Let f = 224 + -229. Let n = 0 + 0. Sort n, q, f.
f, n, q
Let m(x) = -2*x - 1. Let s be m(2). Let k be ((-6)/s)/((-6)/(-20)). Sort k, 0, -1.
-1, 0, k
Let z be (-12)/16*(-2 - 0). Put 5, z, -5 in descending order.
5, z, -5
Let n be (2/10)/(4/5). Let z = 5 - 4.5. Let o = -3/17 - -57/34. Sort o, n, z.
n, z, o
Let k = -6/17 - -35/51. Sort 4/7, k, -3/2 in ascending order.
-3/2, k, 4/7
Let m = -0.33 - -0.03. Let q = 34 + -35. Sort m, 0, q in increasing order.
q, m, 0
Let a = 4 - 4.3. Let h = 0.16 + -0.1. Let z = h + 0.44. Sort a, 2, z in ascending order.
a, z, 2
Let w = -20 - -25. Let q(g) = -g + 10. Let n be q(w). Let b be -1*((0 - -1) + 0). Sort n, b, -4 in decreasing order.
n, b, -4
Let s be (-20)/8*3/((-15)/(-8)). Sort s, 7, 1 in ascending order.
s, 1, 7
Let u = 1158 - 253600/219. Let i = u - -649/876. Sort 4, i, -3 in decreasing order.
4, i, -3
Let z(g) = g**2 - 7*g + 2. Let k(q) = q**2 + 6*q + 6. Let p be k(-6). Let h be z(p). Let x = -1 - -5. Sort x, h, -1.
h, -1, x
Let a = 12 + -15. Let i be (4 - 0)*-1 + 3. Put i, a, 5 in decreasing order.
5, i, a
Let b = -6 + 2. Let a = b - -4.5. Put 4, a, 0.2 in ascending order.
0.2, a, 4
Let a = -3 + 0. Sort a, -4, -5 in ascending order.
-5, -4, a
Let o = -13 - -19. Suppose -l = -o*l - 15. Put 1, 4, l in decreasing order.
4, 1, l
Suppose -30*f = -29*f. Sort -2/3, f, 0.3, -2/11 in descending order.
0.3, f, -2/11, -2/3
Suppose 3*x = -0 - 3. Suppose 0 = -3*i + 3*h - 33, -5*i + 3*h - 4*h = 43. Put i, 0, x in ascending order.
i, x, 0
Let j = -114 + 116. Sort j, 0.11, 4 in increasing order.
0.11, j, 4
Suppose 5*k - 5 = 0, 4*z + 40 = -k - 31. Let m be 3/z*-2*9. Sort m, 2, 1 in decreasing order.
m, 2, 1
Let i be (2/(-3))/(-2)*12. Sort -4, 3, i in increasing order.
-4, 3, i
Let g be -1 + (1 - 2 - -2). Let y(z) = -z**2 + 7*z - 8. Let o(i) = -1. Let w(h) = 6*o(h) - y(h). Let u be w(6). Sort -1, g, u.
u, -1, g
Let s = 5.4 + -5. Let z = 815 - 812. Sort s, -5, z in descending order.
z, s, -5
Let p = 7 + -3. Let l = p + -8. Let n(h) = h**3 - 2*h**2 - 3*h + 4. Let m be n(3). Sort m, -0.2, l in descending order.
m, -0.2, l
Let j = 34 - 32. Put j, -2, 4 in increasing order.
-2, j, 4
Let v be 7 + -8 - (0 + 11). Let q be (-2)/v*-10*-3. Let o = -6 - -9. Sort -4, o, q in descending order.
q, o, -4
Let v = -3 + 6. Suppose v*t = t. Suppose 4*x - 6*x + 4 = 0. Sort x, -3, t in ascending order.
-3, t, x
Let t = -0.01 + 1.21. Put 0.3, -3/5, t in decreasing order.
t, 0.3, -3/5
Let k = -2.2 + 0.2. Let j = -3 - k. Suppose -7*n - 12 = -3*n. Sort 1, n, j.
n, j, 1
Let p = -0.11 - -0.17. Let b = p - -4.94. Sort -0.1, b, -3 in descending order.
b, -0.1, -3
Let q be 4/(4/3) - 6. Put -1, 0, q in descending order.
0, -1, q
Let l(r) = r**2 + 11*r + 2. Let m be l(-11). Suppose 29 = 6*c - 4*c + 3*k, -20 = -4*k. Suppose -m = y - c. Put -4, y, 3 in increasing order.
-4, 3, y
Suppose -2*j - 4 + 20 = 0. Suppose -l - l = -j. Sort l, -4, 5 in descending order.
5, l, -4
Let d = -76.7168 - -0.0168. Let v = d + 73. Let n = v - -4. Sort -2/13, -0.5, n.
-0.5, -2/13, n
Let w be (6/20)/3*-4. Let u be (-10)/66 - (-2)/6. Sort u, w, 