= 2*d + 2*a, -2*a = -2*d - 8. Sort 10, 3, d.
d, 3, 10
Let a = 8 + -8. Suppose a*q + 2*q = -10. Put 0, -1, q in decreasing order.
0, -1, q
Suppose -5*p = -0*p + 45. Let v(t) = t**2 + 8*t - 9. Let l be v(p). Sort 4, 2, l in descending order.
4, 2, l
Let s(w) = w**2 + 8*w + 9. Let l be s(-7). Suppose -4*q + l + 6 = 0. Let c = 13/6 - q. Put c, -4, -1/5 in ascending order.
-4, -1/5, c
Let y = 3 + -4. Suppose g = -g + 2. Put y, 0, g in decreasing order.
g, 0, y
Suppose -10*z + 174 = -36. Put z, 1, -0.5 in decreasing order.
z, 1, -0.5
Let w = 0.4 - 0.4. Let q = 0.3 - 0.5. Sort q, w, 3 in ascending order.
q, w, 3
Let w be (-276)/32 - 3/8. Sort w, 0, -1.
w, -1, 0
Let i be (-4)/(5/5 - 2/4). Put -3, 5, i in decreasing order.
5, -3, i
Let f be (3 + 4/(-1))*0. Put -4, f, -7 in decreasing order.
f, -4, -7
Let m(v) = v**3 + 6*v**2 - 7*v + 6. Let l be m(-7). Let f = 8 - l. Let b(c) = -c**3 + 8*c**2 - 4. Let r be b(8). Put -1, r, f in ascending order.
r, -1, f
Let h be 7/(-1309)*56 + 2/11. Let g = 0.2 + -1.2. Sort g, h, 1 in descending order.
1, h, g
Suppose -2*k + 0*k = -2, 0 = -4*s + 4*k - 16. Let t be (-1)/4 - s/(-4). Let g(r) = r**3 + 23*r**2 + r + 25. Let y be g(-23). Put 3, t, y in increasing order.
t, y, 3
Let u = 26 - 23. Sort -10, u, 0 in increasing order.
-10, 0, u
Let c be (-2)/(-10) - 27951/(-20). Let y = -1544 + c. Let h = y + 147. Sort 2, h, -0.1 in ascending order.
-0.1, h, 2
Let j = 0.8 - -4.2. Let z = 132 + -926/7. Let v = -6 + 6. Sort z, j, v in descending order.
j, v, z
Suppose -3*x - x = -12. Let r be (-12)/(-3)*x/6. Sort r, -2, 3 in decreasing order.
3, r, -2
Let r = 1.5 + 1.46. Let f = r + 0.04. Sort -1/4, -0.2, f in descending order.
f, -0.2, -1/4
Suppose 7 = 3*c + 4. Let m = -4 - 1. Let y = 10 + -8. Put m, y, c in descending order.
y, c, m
Let i = 0.3 - -0.1. Let a = -0.5 + i. Sort a, 0.1, -1 in ascending order.
-1, a, 0.1
Suppose s = -3*s + d - 2, 6 = -4*s - d. Put s, -5, 1 in ascending order.
-5, s, 1
Suppose w + 0*w = 0. Suppose 2*y = -0*h - 2*h + 6, w = -4*h. Suppose -y*d + 6 = -3. Sort -1, d, 0 in ascending order.
-1, 0, d
Suppose 6*v + 6 = 36. Suppose -5 - v = -5*i. Sort 4, i, 5.
i, 4, 5
Suppose -1 = -i - 4. Let m = 5 + i. Sort -1, m, 1 in ascending order.
-1, 1, m
Suppose 8*l = 3*l + 25. Sort 4, 3, 0.2, l in descending order.
l, 4, 3, 0.2
Let b be (-1)/2 - (-39)/54. Let r = -2.9 + 3.1. Let w = 0.5 - r. Sort b, w, 0 in descending order.
w, b, 0
Let b = -3 + 5. Let j = b - 1. Sort -1/12, j, -4 in decreasing order.
j, -1/12, -4
Let k be 0/(-1) + 6/(-2). Suppose 4*v = 26 - 6. Put -4, v, k in descending order.
v, k, -4
Let x be (-2)/(-7) + 26/7. Let o(q) = q**2 + 7*q - 8. Let k be o(-8). Let g be (-3 + -1)/(2 + k). Sort g, x, 1.
g, 1, x
Suppose 0 = -0*h - h. Let q = 4 + h. Suppose 20 = -4*n, i + 5*n + 26 + 3 = 0. Sort 5, q, i in decreasing order.
5, q, i
Let i = 7 - 4. Let s = -5 + 11. Let y = -6.2 + s. Sort i, y, 4 in descending order.
4, i, y
Let d = -7 + 5. Let b be (-7)/((-21)/6) - (-8)/(-8). Sort b, d, 2.
d, b, 2
Let a be 3/(-20) + (-2)/8. Let o = -7.3 + 7. Put o, a, 0.1 in ascending order.
a, o, 0.1
Let l = 4/27 - 47/135. Put 1, 3, l in ascending order.
l, 1, 3
Suppose z + 6 = -0*z. Let t be 1 - (4 + -3)*-1. Suppose 3*d = 3*x - 2*x - 13, t*x + 4*d = -14. Sort x, 0, z in decreasing order.
x, 0, z
Suppose 0*r - r + 4 = -2*g, -20 = -5*r. Let v be (2/(-4))/(4/32). Let h be (-1 - 1)*9/(-6). Sort h, g, v in decreasing order.
h, g, v
Let b(i) = 3*i**2 + 4*i + 4. Let n be b(-2). Sort 0, n, -5 in descending order.
n, 0, -5
Suppose -2*u - 5 = -2*m - 1, -4*m - 5*u + 35 = 0. Sort -4, -2/13, 1/6, m in ascending order.
-4, -2/13, 1/6, m
Let j = -0.02 - -0.18. Let a = j + -0.06. Let d = 0 - -0.2. Sort -1, a, d in increasing order.
-1, a, d
Let g = 0.1 + -0.3. Sort g, -3, -6, -5 in descending order.
g, -3, -5, -6
Let j = 9 + -9.5. Let s be 1/(-4) + 3/(-20). Sort s, j, 4.
j, s, 4
Suppose -3*t + t + 4*j + 16 = 0, -16 = -5*t - 2*j. Let m be 14/10 + (-4)/10. Sort m, t, -3 in increasing order.
-3, m, t
Let z = -54 - -54.21. Let q = z - 0.11. Put 0, q, -2/7 in ascending order.
-2/7, 0, q
Let s(j) = -j - 9. Let w be s(-3). Put -1, w, -2 in increasing order.
w, -2, -1
Let t(q) = -q**2 + 7*q. Let g be t(7). Suppose 5*u = -5*v + 2*v - 575, g = -3*v. Let i = u - -1267/11. Put 2/9, i, -2 in descending order.
2/9, i, -2
Let z(h) = h - 10. Let x be z(10). Suppose -a = -2*a + 5*j + 4, -2*a = 4*j + 6. Put 2, x, a in decreasing order.
2, x, a
Let a = -25/84 + -1/28. Let l = 47 - 703/15. Put 0.3, l, a in descending order.
0.3, l, a
Let y(p) = 4*p**3 + 2*p**2 + 3*p + 2. Let h be y(-2). Let a be 76/h + 4 + -1. Sort -2/9, a, -0.5 in decreasing order.
a, -2/9, -0.5
Let l = -2 - -1. Sort 0, l, 3 in ascending order.
l, 0, 3
Suppose 0 = -14*y + 11*y + 6. Sort y, 1, -6.
-6, 1, y
Let t be (-2)/2*10/8. Let l = 19 - 20.3. Let d = l + 1.2. Sort t, d, -0.3 in descending order.
d, -0.3, t
Suppose -6 = 4*c - 2. Let r(z) = -z - 1. Let w be r(-2). Let h = 5 - 10. Put h, w, c in decreasing order.
w, c, h
Let p = -4 - -7. Suppose p*n + 3 + 0 = 0. Let i be n/3 + 32/6. Put -1, 1/2, i in ascending order.
-1, 1/2, i
Let s be (-4)/15*-5 - 19/3. Put 4, 0, s, -1 in descending order.
4, 0, -1, s
Let i = -5 - -9. Let h = 335/6 + -56. Sort h, -2, i in decreasing order.
i, h, -2
Suppose 5*l + 11 + 20 = 4*q, -2*l - 18 = -3*q. Sort q, 1, -1 in ascending order.
-1, 1, q
Suppose -2*o + 4 = 4*m - 5*o, 0 = -2*m - 3*o - 16. Let i = m - -6. Let g = -3 - -2.8. Sort g, i, 0.3 in decreasing order.
i, 0.3, g
Let s(y) = y**3 + 5*y**2 + 3. Let t be s(-5). Let k be (t + 0)/(3/2). Suppose k*w = 6*w - 20. Put w, -3, 1 in descending order.
w, 1, -3
Suppose -2*h + 0*h = 22. Suppose -u - 5*b = 29, 0*u - 2*u - 34 = 4*b. Let d = u - h. Put 3, -1, d in increasing order.
-1, d, 3
Let f(q) = -q**2 + 5. Let g be 2/9 + (-86)/(-18). Let c(p) = p**2 - 6*p + 5. Let b be c(g). Let j be f(b). Sort j, 2/9, 4 in increasing order.
2/9, 4, j
Suppose -3*k - 15 = -4*k. Suppose 0 = 5*z - k - 10. Suppose -3*s = -z*m + 3 + 21, -3*m = 4*s + 3. Put -5, m, 2 in increasing order.
-5, 2, m
Suppose -5*z + 8 = -12. Suppose -g + 2*j = 5, -3*g + 2*g - j - 8 = 0. Let l be g - 1*(-2 + -1). Sort z, -3, l in increasing order.
l, -3, z
Suppose 3*f + 8 + 1 = 0. Suppose 3*j = -z + j - 6, -2*z + 5*j + 6 = 0. Let m be z - (0 - (-2)/(-1)). Put f, -1, m in increasing order.
f, -1, m
Let o = -7/24 - 3/8. Sort -2.1, -0.3, o in descending order.
-0.3, o, -2.1
Let r = 21 + -17. Sort r, -1, -2.
-2, -1, r
Let u be -1 - 1 - (-5)/(-18)*-8. Put 0, -3/13, u in ascending order.
-3/13, 0, u
Let x be 96/(-10) + 114/190. Sort 0.2, x, 0, 1/2.
x, 0, 0.2, 1/2
Let w = -0.3 - -1.3. Let k(p) = p**2 + 8*p - 13. Let l be k(-9). Let z be 1/1 - (-1)/(-4). Sort z, w, l in decreasing order.
w, z, l
Let n be (3/2)/(3/10). Put n, -0.5, -3/2 in descending order.
n, -0.5, -3/2
Suppose 4 = 3*v - 5*j, 1 = -5*j + 6. Suppose -o - v*o = 8. Sort 0, o, 2.
o, 0, 2
Let s(j) = -j**3 + 3*j**2 - 4. Let x be s(3). Let f(p) = 1 + 2*p - 2*p + 3*p. Let b be f(-1). Sort b, x, 2 in decreasing order.
2, b, x
Suppose -f + 4*w + 17 = 0, -4 + 1 = 5*f + 2*w. Let v = f + -2. Let a be -2 + v + 13/4. Put -2, a, -0.3 in descending order.
a, -0.3, -2
Let g = 8.8 + -8. Let m = g + 2.2. Let r be 24/20*(-40)/36. Put m, 4, r in increasing order.
r, m, 4
Let q = -3 - -1. Suppose -a + 3*a = -6. Put q, a, 2 in descending order.
2, q, a
Let y = -0.24 - -0.34. Put 0.4, -0.5, y in descending order.
0.4, y, -0.5
Let c = -0.5 + 0.1. Let t = -0.4 - c. Sort t, -3, -3/5.
-3, -3/5, t
Let x = 18 - 70. Let o be (x/(-8))/(2/4). Suppose -7 = -2*g + u, -3*g + o = 2*u - u. Sort 5, g, 0 in decreasing order.
5, g, 0
Let j = 0.06 - 0.16. Let b = -12 + 17. Put b, j, 0.4 in descending order.
b, 0.4, j
Let h = 1.4 - 1. Let b = -2.972 + -0.028. Put -2/13, h, b in descending order.
h, -2/13, b
Let j = -0.01 + 0.11. Let c = 114419377/690 - 331651/2. Let v = 2/115 - c. Sort -2/7, j, v in descending order.
v, j, -2/7
Let z(k) = k**3 - 9*k**2 - k + 8. Let y be z(9). Let l be 1 + y + -17 + 12. Put l, -3/8, 2/7 in descending order.
2/7, -3/8, l
Suppose 4*c + 3*p = 10 - 2, -3*c + 2*p = -23. Put 0, c, -5 in increasing order.
-5, 0, c
Let l = -0.002 + 0.402. Suppose 0*u - 5*u + 10 = 0. Let y be (-1)/(u - 7/3). Sort 2/3, y, l in descending or