descending order.
5, v, 1, -4
Suppose 5*t + 5*b + 10 = 0, 2*t + 5*b = 3*t - 28. Let g = -13 + 15. Suppose -3*r + 39 = -5*o + 4, -g*r + 6 = o. Put t, o, -3 in decreasing order.
t, -3, o
Let b = 105.4 + -105. Let a = -0.1 + -0.1. Put b, -0.3, a in ascending order.
-0.3, a, b
Let l = 18 + -9. Let m = 8.64 - l. Let o = -0.06 - m. Put 0, 5, o in descending order.
5, o, 0
Let n = -2.5 + 3. Let k = 73 - 71. Put k, 4, n in descending order.
4, k, n
Let k(v) = 2*v**3 + 2*v + 1. Let w be k(-1). Let a be 15*(2/5)/((-18)/(-15)). Sort 3, a, w in descending order.
a, 3, w
Let c = 23.11 + -23. Let w = -1.89 - c. Put 5, w, -2/7 in descending order.
5, -2/7, w
Let m = 2/31 + -97/62. Put -0.1, m, -4/7 in descending order.
-0.1, -4/7, m
Let k = -1/25 - 73/50. Put -0.3, 4/9, k, -4 in increasing order.
-4, k, -0.3, 4/9
Let q = -3 + 12. Let i be (3/12)/(q/(-12)). Sort i, 3, -3/8 in descending order.
3, i, -3/8
Let q be ((-1)/(-3))/(2/30). Suppose 0*l - q = -l. Suppose -5*k = 1 + 4. Put l, k, -4 in ascending order.
-4, k, l
Let f be ((-2)/(-4))/(5/(-20)). Put 2, f, 3 in ascending order.
f, 2, 3
Let c be (10/(-6))/(1/(-3)). Suppose c = 5*k - 0. Suppose b = -0*b + k. Sort 4, -2, b.
-2, b, 4
Let t = 37 + -41. Let b = 175 - 182.7. Let w = -8 - b. Put w, t, 1 in descending order.
1, w, t
Let p = -2 - -16. Let d = p + -14.1. Put -0.5, -0.3, d in descending order.
d, -0.3, -0.5
Suppose 4*c = -14 + 10. Let l be (2 + 5/(-2))/(-1). Sort l, -0.2, c in decreasing order.
l, -0.2, c
Suppose 10*c = 9*c + 1. Sort -9, c, 5, 3 in ascending order.
-9, c, 3, 5
Let n = 2/65 - 3/13. Put 3, n, 2/11 in decreasing order.
3, 2/11, n
Let o = -0.55 - -0.85. Let i = 2.7 - 3. Put o, 0.2, i in ascending order.
i, 0.2, o
Let v = 47 - 43. Put -2, v, -3 in increasing order.
-3, -2, v
Let o(p) = -2*p - 4. Let x be o(-4). Sort -3/5, -0.1, x in descending order.
x, -0.1, -3/5
Let x = -1.2 + 1.1. Put x, 3, 1, -3/5 in increasing order.
-3/5, x, 1, 3
Suppose -z - 5*d + 8*d = 0, 10 = -3*z - d. Put 2, -4, 4, z in decreasing order.
4, 2, z, -4
Suppose -f = -2*l - 8, 0 = -3*l - 0*f - 2*f - 19. Sort -2, -3, l in descending order.
-2, -3, l
Suppose -7*q + 5*q + m + 9 = 0, 3 = -q - 2*m. Sort -3, 1, -5, q in descending order.
q, 1, -3, -5
Let r be (16/(-6))/((-78)/(-117)) + 5. Suppose 0 = 4*b, -x - 4*x = b. Sort x, 3, r in increasing order.
x, r, 3
Let m = 154 + -156. Sort m, -8, 2.
-8, m, 2
Let y = 14.907 - 0.007. Let i = y + -15. Sort -0.4, 1/18, i in ascending order.
-0.4, i, 1/18
Let t = 0.9 - 1. Let n be (0 - -2) + 16/1. Suppose -n - 2 = -4*s. Sort t, s, 3 in decreasing order.
s, 3, t
Let r(a) = a**3 + 7*a**2 + 4*a - 2. Let p be r(-6). Suppose -6*i + p = -8*i. Put -6, -1, i in ascending order.
-6, i, -1
Let k = -1.28 + 0.08. Let t = -0.2 - k. Let u = -4.08 + 0.08. Sort u, 2/9, t.
u, 2/9, t
Let c = -4 - -3.8. Let h = c - -0.18. Let f = h - 1.98. Put -5, f, -2/7 in increasing order.
-5, f, -2/7
Let u = -8 + 12. Let h(y) = 2*y - 3. Let i be h(-3). Let d be 7/i - (-8)/(-36). Sort d, 2, u in descending order.
u, 2, d
Let g = -202/3 - -67. Sort -1/4, g, 5, -0.1 in descending order.
5, -0.1, -1/4, g
Let h = -9 - -15. Suppose 4*z + 2 = h. Let f = 4 - z. Put 1, 0, f in decreasing order.
f, 1, 0
Let n = 0.8 - 0.5. Let x = 0.9 - n. Sort x, 0, -4 in ascending order.
-4, 0, x
Let q be (-2 + 64/30)*-3. Let j = -5 - -8. Suppose -2*o - 5*p = 19, 13 = -j*o + 4*o - 2*p. Sort -2/11, o, q in descending order.
o, -2/11, q
Let c = -2 + 0. Let g = -0.2 + 0. Let r = 0 + g. Sort r, 1/4, c.
c, r, 1/4
Let l(k) = k**3 + 2*k**2 - 5*k - 4. Let y be l(-3). Suppose 0*i + 4 = 3*i - 2*j, -4*i - 18 = 2*j. Sort i, 0, y in decreasing order.
y, 0, i
Let w = 7.28 + 0.02. Let x = w - 7. Sort 2/7, 5, x in increasing order.
2/7, x, 5
Let t be 0/(-3)*2/(-4). Suppose t = -0*n - n. Suppose 4*z - 10 = 5*s, 0*z + 5 = 5*s - z. Put s, -2, n in ascending order.
-2, n, s
Let r = 2 - 1. Let q(d) = -d**2 - 2*d + 1. Let s be q(-3). Let u = -3 + 5. Sort u, s, r in ascending order.
s, r, u
Suppose 0*d + 15 = -5*d. Suppose 2*z + 4 = -2*z. Sort -5, d, z in ascending order.
-5, d, z
Let t be -2*(50/4)/(-5). Sort t, 1, -3 in descending order.
t, 1, -3
Let t be 24/(-8) + 24/10. Let r = -11/10 - t. Put -3/7, 4/5, r in decreasing order.
4/5, -3/7, r
Suppose -14 = -2*j + c - 3*c, -3*j - 4*c + 24 = 0. Sort j, 3, -5 in ascending order.
-5, 3, j
Suppose 0*j = -j. Suppose 0 = -j*p - 3*p + 15. Sort p, -1, 1 in decreasing order.
p, 1, -1
Let n be 38/(-8) + 2/(-8). Let y = 1.7 - -0.3. Sort n, -0.5, y in descending order.
y, -0.5, n
Let k be (-2 + -1)/((-3)/(-2)). Sort -8, 3, k in ascending order.
-8, k, 3
Let f = -13 + 11. Let m be (-17)/(-4) - (-9)/12. Sort f, 0, m in increasing order.
f, 0, m
Let q = 8.9 + -9.9. Let r be -2*((-2)/9)/2. Sort q, -8, r.
-8, q, r
Let w = 6 - 7. Suppose -4*o = -4*a - 4, 17 = 2*o + o + 4*a. Sort w, o, -4 in descending order.
o, w, -4
Let p = 0.2 - -0.1. Let k = 6 - 1. Let g = k + -2. Sort g, -3/5, p in descending order.
g, p, -3/5
Let y be 6/(-6) + 35/(-2 - -1). Sort 0, -5, 2, y.
y, -5, 0, 2
Suppose 5*a + 0*o + 5*o + 30 = 0, 3*a + 5*o + 26 = 0. Let z be (-11)/a + (-4)/8. Sort z, -2, 2 in decreasing order.
z, 2, -2
Let j(y) = -y**2 + 5. Let u be j(0). Let p(q) = -1 + 2 + 2*q**2 - u*q**2 - q. Let x be p(1). Sort -2, x, -4 in descending order.
-2, x, -4
Let p be 2*4*(-1)/(-4). Sort p, -5, -6.
-6, -5, p
Let g = -8 - -10. Let j(l) = -l**3 - 2*l**3 + 1 + 2*l**3 - 4 + 4*l**2. Let f be j(4). Sort f, g, -1.
f, -1, g
Let a be 2 + (-3 + 1 - 4). Let s be (-4)/a*0 - 0. Sort s, -2, 4.
-2, s, 4
Let i = 1472/6705 - -2/745. Let y = -8 + 3. Let j = -8 - y. Sort j, 3/2, i.
j, i, 3/2
Let j = -0.09 - 0.51. Let r = j - -0.6. Put r, -5, -0.5 in ascending order.
-5, -0.5, r
Let q = 13 + -12.3. Let g = q - 2.7. Let c = 200 - 1798/9. Sort -1, g, c.
g, -1, c
Let f = 221.2 - 241. Let u = -22 - f. Let v = u - -2. Put v, 2/11, -3 in decreasing order.
2/11, v, -3
Suppose -6*h = -10*h - 4. Put 0, 2, h in ascending order.
h, 0, 2
Let x(y) = -y**2 + 3*y + 9. Let a be x(5). Put a, 2, -4 in descending order.
2, a, -4
Suppose v - 1 + 0 = 0. Let c(n) = n**2 - 6*n - 8. Let l be c(8). Suppose 2*a - 2 = l. Put v, -3, a in descending order.
a, v, -3
Let h be (-22)/(-60) - (-1)/(-2). Let g be 105/(-7)*(-1)/3. Suppose 3*n - 4*o + 12 = n, g*o + 11 = -4*n. Sort n, -2, h in increasing order.
n, -2, h
Let z(x) = x**3 - 2*x**2 - x + 3. Let d be z(0). Let j(q) = q**2 + 4*q - 3. Let m be j(-4). Sort d, 0, m in ascending order.
m, 0, d
Let r = 0.04 + -0.04. Let d = r - 0.1. Let i = 0 - -2. Put i, 0, d in increasing order.
d, 0, i
Let b be 1 + (3 + -1)*-2. Sort -10, 0, b in decreasing order.
0, b, -10
Let g(b) = b**2 - 6*b + 4. Let y be g(4). Let d = y + 3. Sort 2, d, -4 in descending order.
2, d, -4
Let x = 8 - 8.3. Let d = -0.8 + 1.3. Let b = d + 0. Put x, b, -1/6 in increasing order.
x, -1/6, b
Let j be (-4)/18 - (-26421)/189. Let i = j - 140. Put 3, 2/5, i in ascending order.
i, 2/5, 3
Let u(k) = -k**3 + 5*k**2 + 5*k + 2. Let o be u(6). Let l be o/6 + 4/6. Suppose -2*d - 10 = -l. Sort d, 1, -4 in increasing order.
d, -4, 1
Let f = -9 + 11. Sort 4, f, 5 in descending order.
5, 4, f
Let v be 2/((-6)/99) + 4. Let m be (-1)/4 + (-1348)/48. Let o = v - m. Sort o, -2, 3/5.
-2, o, 3/5
Suppose -3 = -4*d + 3*d. Let b = 580 - 578. Sort -3, d, b.
-3, b, d
Let g = -7 + 4. Let s = -1.78 + 0.18. Let q = -0.4 + s. Sort 2/19, g, q in ascending order.
g, q, 2/19
Let s be ((-6)/(-5))/(6/20). Suppose -s*z - 1 - 19 = -5*c, 5*z = -c - 25. Sort 1, -4, z.
z, -4, 1
Suppose 2*h = -0*h - 10. Let a = -4 - -14/3. Let q be (2 - (-2)/(-1)) + 2. Sort q, h, a.
h, a, q
Let d = 0.108 + -0.108. Sort 0.1, d, 6 in decreasing order.
6, 0.1, d
Let j(n) = -n - 2. Let o be j(-7). Suppose 3*q + 2*q + 7 = -4*h, 3*h + 4*q = -o. Let x = h + 3. Sort -2, -3, x in decreasing order.
x, -2, -3
Suppose w + 5*u = 4*w + 4, -2*w - u + 6 = 0. Suppose w*n + 0*n = 10. Let c = 8 + -5. Put c, -3, n in descending order.
n, c, -3
Let y(l) = -l**2 - 10*l - 9. Let r be y(-9). Suppose -5*i - 4*o + 8*o = -25, 2*o = r. Put i, 4, -1 in descending order.
i, 4, -1
Let v be 45/(-54) + 1/(-6). Put 1, -4, v in increasing order.
-4, v, 1
Suppose 3*p + n - 3 = 0, -4*n - n = 2*p + 11. Suppose 3*o - 7*o = -12. Suppose -o*g + 13 = -y, g - 5 - 6 = 2*y. Put -0.3, p, y 