b, -0.8 in descending order.
3, 1/2, b, -0.8
Let n = -22 - 3. Let f = -24.8 - n. Sort 0, -3/5, 0.4, f in increasing order.
-3/5, 0, f, 0.4
Suppose 0 = -7*d - 2 + 100. Let s be (-3)/(-1)*(-5 - d/(-3)). Suppose 7 - 3 = -2*p. Sort 1/3, p, s.
p, s, 1/3
Suppose 8*g = r + r + 10, r - 2*g + 1 = 0. Sort -2/3, r, 0.104.
-2/3, 0.104, r
Suppose 8 = -2*t + 4*k, 2*t + 0*t + 5 = k. Put t, 3, -3, 47 in decreasing order.
47, 3, t, -3
Let b = 3 + -3.6. Let p = b - -0.3. Let w = 0.196 - -0.004. Put -3/7, w, p in increasing order.
-3/7, p, w
Let o = -34 - -30. Let l = o - -4.9. Sort l, -3, -2/3 in ascending order.
-3, -2/3, l
Let k = 2.929 - -0.071. Put -0.1, -2, k in decreasing order.
k, -0.1, -2
Let a = 0.4 + 4.6. Let d = 27.26 + -28. Let w = -0.26 + d. Sort a, -2/13, w in ascending order.
w, -2/13, a
Let l = -271 + 270. Let n be (-1)/(-78)*(-566)/(-3). Let z = n - 30/13. Sort 3, z, l.
l, z, 3
Suppose 2*c = 3*w + 70, -w - 18 = -3*c + 5*c. Suppose 2*b - 2*k = -4, 2*k = -5*b + 5*k - 8. Put w, -2, 5, b in increasing order.
w, -2, b, 5
Suppose 3*s + 12 + 23 = -2*o, s - 5 = o. Let f = -10 - o. Suppose -2*z = y - f*z + 2, -y + 3*z = -8. Sort -5, -4, y.
-5, -4, y
Let o be ((-9)/36)/(3/(-132)). Suppose 3*g = o*g - 8. Put 3/2, g, -3 in decreasing order.
3/2, g, -3
Let g be (-1*1)/(-4 + 234/54). Suppose 0 = -6*a + a. Let d = 3 - 2. Sort d, a, g in decreasing order.
d, a, g
Suppose -5*b = -2*b - 15. Let a be (-1)/6 - (-51)/(-18). Sort a, b, -5 in ascending order.
-5, a, b
Let a = -1032 + 1032. Put 0.2, a, -516 in descending order.
0.2, a, -516
Let a be -3 + -3 + 24/4. Let d be (-2)/5 + 14/10. Suppose -j + d + 1 = 0. Sort -5, a, j in ascending order.
-5, a, j
Let g be 3 - ((-15942)/(-6993) + 1). Let w = -2/333 + g. Put 0.4, w, -0.3 in increasing order.
-0.3, w, 0.4
Suppose 139 = 13*b + 35. Put 4, 1, -4, b in descending order.
b, 4, 1, -4
Let s(g) = 4*g**2 + 7*g + 10. Let q be s(-3). Let v be 1 + (-15)/q*-5. Sort v, 5, -4 in descending order.
5, v, -4
Let c = 13 + -9. Let r = -10 - -5. Let y = r + 7. Put y, 0, c in decreasing order.
c, y, 0
Suppose -45 = 2*g + 5*m, -3*g - 5*m = -0*g + 55. Let w = g + 16. Let v = 4 - w. Put v, -2/5, -1/2 in ascending order.
v, -1/2, -2/5
Let y = 38 - 36. Suppose -3*d = -4*d + y. Put 1, -2, d in descending order.
d, 1, -2
Suppose -5*y = 2*j - 28, -3*j + 3 - 7 = -4*y. Sort -2, 0, j, 7 in decreasing order.
7, j, 0, -2
Suppose 5*u = -a + 55, 10*u - 5*a + 35 = 11*u. Suppose -u = -9*r - 1. Sort 2/21, 0, 2/3, r in decreasing order.
r, 2/3, 2/21, 0
Let v = -3 + -7. Let j = 10.05 + v. Let z = j - 0.15. Sort -4/7, -4, z.
-4, -4/7, z
Let d be 8/(-48) + 8/60*5. Let b = 0.55 - 0.6. Let u = b - 0.95. Sort d, u, -5.
-5, u, d
Let a = -0.068 + 0.468. Put a, 1/8, 1, -3 in increasing order.
-3, 1/8, a, 1
Suppose -2*s = -5*y + 17, 9 = 3*s - 7*s + 5*y. Let n = 1/355 + 1413/2485. Sort 1/9, s, n, -4 in increasing order.
-4, 1/9, n, s
Let h(v) = 2*v**2 - 78*v - 78. Let z be h(40). Suppose 4 = s - 7. Sort 1, s, z, 5 in descending order.
s, 5, z, 1
Let j = -249 - -252. Put 0.06, j, 3/4 in descending order.
j, 3/4, 0.06
Let c = -231/2 - -116. Sort c, 0.3, 0.2 in decreasing order.
c, 0.3, 0.2
Let g = -2 + -2. Let v be 20/160*6/(-3 + 0). Sort v, 0.4, g in decreasing order.
0.4, v, g
Let o(j) = j**3 - 5*j**2 + 4*j - 2. Let c = 14 + -9. Suppose 3*l - c*h = 7 - 0, l - 3 = h. Let v be o(l). Sort v, -3, 6.
-3, v, 6
Let b = 397 - 395. Sort -2, 4, b, -3.
-3, -2, b, 4
Suppose 39 - 35 = a. Let f = 1 - -2. Suppose -f*j = -2*j + 2. Sort -1, a, j in increasing order.
j, -1, a
Let c be (24*-2)/(-8)*7/154. Sort -1/4, -0.3, 2, c.
-0.3, -1/4, c, 2
Let a = -256 + 265. Put 5, a, 10 in increasing order.
5, a, 10
Let i = -1772.8 - -1773. Put 1, 29, 0, i in descending order.
29, 1, i, 0
Let z = 1439 - 1438. Put z, -3, 36, 5 in decreasing order.
36, 5, z, -3
Let m be (-30)/9*(-10)/(100/(-15)). Sort m, 2, 22, 0 in increasing order.
m, 0, 2, 22
Suppose -61*v = 10*v - 284. Put -14, v, -3, -5 in increasing order.
-14, -5, -3, v
Let n = 0 - -5. Suppose n = 7*m - 2. Put -2, -5, m in descending order.
m, -2, -5
Let z = -821 + 819. Suppose o = 4*o - 12. Let r be ((-1)/6)/(3/o). Sort 1/2, r, z in descending order.
1/2, r, z
Let p be (-2)/(-10) - 52/10. Let r = -15 + 16. Suppose y = -3*t + 18, y + 4*y - 20 = -5*t. Put t, p, r in ascending order.
p, r, t
Suppose 0 = 98*k - 81*k + 34. Put -17, k, -3 in descending order.
k, -3, -17
Suppose -5*r + 22*s + 25 = 18*s, r + 5*s - 5 = 0. Put r, 2, -53 in descending order.
r, 2, -53
Suppose -14 = -3*z + 5*a + 17, 0 = 3*z + a - 1. Suppose 4 = -3*y - 2*m, 1 = -y - 3*m + 2. Sort z, y, -1, -5 in decreasing order.
z, -1, y, -5
Suppose 0 = -m, 0 = -5*i + 3*m - m. Sort -2, i, 4, -5.
-5, -2, i, 4
Let d be ((-4)/2)/((-4)/(-2)). Let z(k) = 5*k**3 + 2*k**2 - 1. Let r be z(d). Let i = -17 + 20. Sort i, r, 5 in decreasing order.
5, i, r
Suppose 8 + 14 = 11*w. Suppose w - 7 = 5*b. Sort 0, 15, b in decreasing order.
15, 0, b
Suppose -c = o - 3*c - 7, -2*o = -c - 14. Let q be o/(-14) - 2/4. Suppose 3*z - 20 = -2*z. Sort -3, q, z in increasing order.
-3, q, z
Let q = -2 + 3. Let g(x) = -x**3 - 3*x**2 + 4*x - 1. Let c be g(-4). Suppose p + 3*d = -6, -3*d - 2 = -4*p - 11. Put q, p, c in ascending order.
p, c, q
Let p = -151 + 148. Sort -96, p, -1.
-96, p, -1
Let f = -282 - -285. Put -5, -1, f in decreasing order.
f, -1, -5
Let s = 2.2 - 2. Let u = 0 + s. Put u, 1, 0 in descending order.
1, u, 0
Let v = -162 - -313. Put v, -2, -5, 3 in increasing order.
-5, -2, 3, v
Let t(u) = 2*u - 8. Let x(z) = 3*z - 15. Let f(j) = -10*t(j) + 6*x(j). Let i be f(-6). Suppose 2 = -4*c - 2. Sort 0, c, i.
c, 0, i
Let v = -0.1 + 0.3. Let k = 478 + -1915/4. Sort -6, k, v in ascending order.
-6, k, v
Let i = -1399/1132 - 4/283. Sort -3/5, i, 5/4.
i, -3/5, 5/4
Let t = -8/9 + 41/36. Let m = -0.3 + -0.1. Sort -2, m, t.
-2, m, t
Let w be (-72)/77 + 232/638. Sort w, -1, -2/13, 3 in descending order.
3, -2/13, w, -1
Suppose -36*b = -42*b - 450. Sort b, -2, 0.
b, -2, 0
Let m = 0 - 0.02. Let j = 0.22 + m. Let i = j + -0.3. Sort 0.3, 0.5, i.
i, 0.3, 0.5
Suppose -5 = 2*i - 3. Suppose -3*c + 32 = -4*g, -2*g = 2*c + 2*g - 8. Let l be (-5)/(20/c) + -2. Sort i, 0, l.
l, i, 0
Suppose 2 = 2*n - n. Suppose -p + n*p - 2*v + 6 = 0, 2*v + 4 = -4*p. Sort 4, p, 5.
p, 4, 5
Let j be 12/(-8)*5 - (-6)/1. Let z = 0.1 + -0.046. Sort z, j, 2/19.
j, z, 2/19
Let p = 42.909 - -0.091. Let k = p - 42.8. Let a = 0.1 - -0.3. Put 0, k, a in descending order.
a, k, 0
Let h be 4/(-10) - (1110/(-25) - -1). Let b = h - 47. Suppose -2*u + 2*l = l - 1, 5*u + 3*l + 3 = 0. Sort b, 1, u in ascending order.
b, u, 1
Let v = 3 + 2. Let j be 21/v - 1/5. Let p(d) = 5*d**2 + 71*d + 14. Let t be p(-14). Put -4, t, j in ascending order.
-4, t, j
Let s be (-8)/672*4*(0 + -12). Sort 4, -0.2, -2, s in descending order.
4, s, -0.2, -2
Let b = 5 + -24. Let d = b - -14. Suppose l = -3*f + 7, f - 8 - 1 = -2*l. Sort f, 4, d in decreasing order.
4, f, d
Suppose 6*i = 7 + 23. Suppose -4*n = 2*h, -3*h - 29 = -i*n - 7. Sort n, -5, 3, -1.
-5, -1, n, 3
Suppose 5*w + 35 = 3*b, -2*b + 5*w = -3*b - 15. Let l be (8/10)/(4/(-40)). Let o = l + b. Sort o, -12, 5 in decreasing order.
5, o, -12
Suppose 4*t + 4*d - 65 + 17 = 0, 2*t + 4*d - 32 = 0. Suppose -4*w = -t, -2*w - 11 = -k + 6*k. Put 6, 1, k in descending order.
6, 1, k
Let v = -270 - -270.4. Sort -60, -5, v in ascending order.
-60, -5, v
Let o = -409 + 408.8. Sort 5, o, -2/11, -1 in decreasing order.
5, -2/11, o, -1
Suppose -5*h + 6*h = -v + 1, 2*v - 4*h = -28. Sort 4, -5, 0, v in ascending order.
-5, v, 0, 4
Let g = -2856/5 - -571. Suppose -2*w - 7 = 7. Let d be 6/147*w/(-3). Put g, d, -1/10 in decreasing order.
d, -1/10, g
Suppose 16 = -7*o - 5. Let h(s) = -s**2 + 11*s + 13. Let m be (-9)/(-3) + (2 - -7). Let x be h(m). Sort 7, x, o in descending order.
7, x, o
Let d = 2/65 + -144/455. Let p = -6.2 - -1.2. Sort -1, p, d, -2/11.
p, -1, d, -2/11
Suppose -2*b = -2*y + 6, b - 5*y - 1 = -4. Suppose 0 = -2*v - 11 + 19. Suppose -v*a + 14 = -6. Put b, a, -1 in ascending order.
b, -1, a
Let i be 0 + 0 + 505/101. Sort i, 1, 44 in increasing order.
1, i, 44
Let u be ((-1)/1)/(7/(-56)). Let z(m) = -2*m + 18. Let x be z(u). Sort -2/3, x, 2/7 in increasing order.
-2/3, 2/7, x
Suppose -2*p - 6 = -2. Let g be 639/(-710)*30/(-9).