 Let w = 0 + s. Put m, 1, w in decreasing order.
1, w, m
Suppose -6 = 14*q - 20. Put 4, -3, 2, q in decreasing order.
4, 2, q, -3
Let t be -5*((-30)/(-25))/2. Suppose -3*c = 9*c + 120. Sort t, c, 3 in increasing order.
c, t, 3
Let u = 3 + -3.05. Let a = -0.2763 + 0.2763. Sort 2/7, a, u.
u, a, 2/7
Let i = -26 - -24. Let m be 7/((-21)/(-18)) + i. Suppose -4*h = 12, r - m*r - 3*h = -6. Sort r, -1, -2 in ascending order.
-2, -1, r
Let f be (-4)/12 - 11/3. Let k(t) = -4*t**3 - 2*t - 1. Let w be k(-1). Suppose -3*h + 0*h + 12 = 0. Sort w, f, h in decreasing order.
w, h, f
Let o(g) = -g**3 - 7*g**2 - 9*g. Let x be o(-5). Sort x, 5, -4 in descending order.
5, -4, x
Let x = 0.04 + 0.26. Let l = -25 - -44. Suppose -5*t + l - 4 = 0. Sort x, -4/7, t.
-4/7, x, t
Let m(h) = -4*h - 27. Let q be m(-9). Suppose 24 - q = -3*t. Sort t, -8, 0 in increasing order.
-8, t, 0
Let v = 0.06 - -1.04. Let s = -24 - -22. Let d be (-2)/(s/3) + -3 - 2. Sort 2, v, d.
d, v, 2
Suppose 14 = -2*p - 0. Let y be 2/(-7) - (-19)/p. Suppose -r = -3*r. Put r, 2/5, y in increasing order.
y, r, 2/5
Let k = 25 - 22. Sort 46, k, 2 in ascending order.
2, k, 46
Let h be 7/(-6) - (-1652)/1416. Put -2, -23, h, 34 in decreasing order.
34, h, -2, -23
Suppose 2*y = 10, -4*l - 53 + 4 = -5*y. Sort 61, l, 5.
l, 5, 61
Let h be 23*(1 + 5 - 4). Suppose 56 - h = -2*s. Put -6, 3/8, s in decreasing order.
3/8, s, -6
Suppose 0*b + 0*b - 7*b = 0. Suppose 7*o = -35 - b. Sort o, 4, -4, -1.
o, -4, -1, 4
Suppose 0*p + 4*p - 3*r = 4, 3 = 3*p + 4*r. Let g(m) = -5*m**2 + m - 1. Let x be g(p). Let s = 24 + -21. Put s, 0, x in descending order.
s, 0, x
Let k = 175.5 - 175.45. Let f = -11 - -6. Let x = -7 - f. Sort 1/7, k, x in decreasing order.
1/7, k, x
Let c = -215 - -211.2. Sort c, -2, -2/3.
c, -2, -2/3
Suppose 5*g - 2*g = 9. Let r = -2 + g. Let q = -56 - -61. Put -1, r, q in decreasing order.
q, r, -1
Let h be -6 + 20*33/45*6. Sort h, -1, 2.
-1, 2, h
Let l = 5 - 9. Let v = 135/508 - 2/127. Sort -5, 2, l, v.
-5, l, v, 2
Let i be (11/(-3) + 3)*-3. Suppose 2*x = 4 + 28. Suppose -46 + x = 3*r. Sort i, r, -1.
r, -1, i
Let r be 22/(-8) + (-3)/(-4). Let p be (-43)/(-8) + (-3)/8. Sort p, r, 1, -1 in ascending order.
r, -1, 1, p
Let g be (50/7 + -6)/((-6)/(-21)). Put 72, 2, g in descending order.
72, g, 2
Suppose 0*m = -2*m + 8. Let v = -5.1428 + 0.1428. Sort m, 5, v, -4.
v, -4, m, 5
Let b = -3 - -2.5. Let k = 0.61 + -0.31. Let q = 0.4 - k. Put 4/5, b, q in descending order.
4/5, q, b
Suppose -158*i + 159*i = -284. Sort 4, 1, i in decreasing order.
4, 1, i
Let k = 75 - 449/6. Let u = 27 + -27.1. Sort -7, u, k.
-7, u, k
Let y be (8/10)/((-6)/(-10)). Let t = 0.016 - -35.984. Let j = t - 36.4. Sort j, y, -0.3 in descending order.
y, -0.3, j
Let n(s) = -s + 4. Let k be (-1)/3 - 14/(-6). Let c be n(k). Suppose 0 = -c*i + 6*u - u - 22, 3*u = -3*i + 9. Sort 5, i, 1 in increasing order.
i, 1, 5
Suppose -d = 1 - 4. Suppose -z - d*g = g + 6, z + g - 3 = 0. Suppose 2*k + 0 = 2*h + z, 6 = -5*h + 2*k. Put h, 2, -5 in decreasing order.
2, h, -5
Let p = 5 - 3. Suppose -p*k - 62 = -52. Put -19, k, 4 in decreasing order.
4, k, -19
Suppose -2*i + 6*b - 3*b + 4 = 0, 5*b - 10 = 0. Put -4, 3, -3, i in descending order.
i, 3, -3, -4
Let v = 53.1 - 52.6. Sort 0.2, -1, v, 0.03 in ascending order.
-1, 0.03, 0.2, v
Let o(z) = -5*z - 15. Let f be o(-4). Let i(x) = x**3 - x**2 - 2*x. Let r be i(-1). Sort f, r, 4, -18.
-18, r, 4, f
Let q(r) = -r**2 - 16*r + 5. Let a be q(-16). Let h = 7 - 7. Sort -4, h, a in descending order.
a, h, -4
Let p be ((-4)/(-15))/(-2) - 6321/2205. Put p, -2, -22 in descending order.
-2, p, -22
Suppose 191*h = 189*h - 68. Sort 0.1, -0.1, 1, h in ascending order.
h, -0.1, 0.1, 1
Suppose -s = 3*o - 3*s - 13, -s + 18 = 2*o. Suppose -p = -9 + o. Sort p, 5, -4 in descending order.
5, p, -4
Let o = -568 + 573. Sort 3, o, 14 in ascending order.
3, o, 14
Let j = -0.55 - -0.6. Let p = 94 - 90. Sort -0.2, -2, j, p in ascending order.
-2, -0.2, j, p
Let a = 43.8 + 12.2. Let i = a + -56. Put i, -1/2, 1/5 in ascending order.
-1/2, i, 1/5
Suppose 3*k + 2*s - 16 = 0, 5*k = -0*k - 4*s + 26. Suppose 3*m + k = -3*u - 6, 18 = -4*m - 2*u. Suppose 7*w - 12*w = -5. Put -4, w, m in decreasing order.
w, -4, m
Let r be (1/(-5))/((-85)/(-1700)). Sort -1, -1.08, r in decreasing order.
-1, -1.08, r
Let r be 4/3 - (-518)/(-555). Sort 0.1, 2/141, r, 1.
2/141, 0.1, r, 1
Let k be 1/((-66)/(-260) + (-2)/13). Suppose -5*i + 19 = -w, i + i = w + k. Put i, 0, 7, 5 in decreasing order.
7, 5, i, 0
Let f(x) = -2*x - 7. Let s be f(-5). Suppose 2*k = 4*k - 2. Let z(a) = -a**3 - a**2 - a + 1. Let r be z(k). Put r, s, 1 in ascending order.
r, 1, s
Suppose -5*t + 21 = 6. Suppose -2*l - f = -4, -4*f = -t*l + 9 - 3. Sort -2, -3, l in decreasing order.
l, -2, -3
Let f = 37/14 + -22/7. Sort f, -3, -10, -17.
-17, -10, -3, f
Let a(b) = -3*b**2 + 55*b + 105. Let m be a(20). Sort 0.2, -1/3, m, 0.1 in descending order.
m, 0.2, 0.1, -1/3
Let z be (-20)/4*2 + -13 + 18. Put 1, 10, z in descending order.
10, 1, z
Let b = -7768 - -7776. Let j be (-4)/(-3) - (-2)/3. Put -4, j, 5, b in increasing order.
-4, j, 5, b
Let l = -1263 + 1266. Put 55, -3, l in increasing order.
-3, l, 55
Let y = 16 - 14. Let z be -14*(3/2 - 2). Let f be -4 + z + (-13)/5. Sort y, 1, f.
f, 1, y
Suppose 4*h + 0*h + 4*v = 32, 4*v - 20 = 0. Let w be -1 + h - (-10)/(-10). Let a be (-2)/(-9) + 74/(-9). Put w, -2, a in decreasing order.
w, -2, a
Let n be (-2)/(-12)*1*(-48)/(-36). Let u = n + -5/9. Sort u, -1/5, -0.5 in decreasing order.
-1/5, u, -0.5
Let g = -6 + 3. Let t(k) = -3*k**3 - k**2 - 11*k - 24. Let o be t(-2). Let d be (g/9)/((-3)/o). Put d, 5, -4 in descending order.
5, d, -4
Let n be (5/((-15)/9))/((-3)/7). Let x be 12/(-10)*35/n. Put -1, 3, x in ascending order.
x, -1, 3
Suppose 0 = -219*q + 239*q - 40. Let y be -2*-1*(-9)/6. Put q, -7, y in decreasing order.
q, y, -7
Suppose -4*q + 7 = -i - 0*q, -45 = 4*i + q. Put -4, -3, i, 5 in decreasing order.
5, -3, -4, i
Suppose -t = 3*z + 1 + 1, -4*t = -2*z - 6. Let v = 0 - 0. Suppose v*m = -w + m + 3, -2*m = 3*w + 1. Sort z, -2, w in decreasing order.
w, z, -2
Let u be 7 - 4 - 12*8/120. Suppose 8 = 3*z + z. Sort u, z, 1/2 in increasing order.
1/2, z, u
Let v(g) = 5*g**3 + g**2 - 8*g + 7. Let a be v(1). Sort 33, 4, a in decreasing order.
33, a, 4
Let b = -698.2 - -698. Sort 1/2, b, -1/4, 1 in decreasing order.
1, 1/2, b, -1/4
Let w(v) = -6*v + 0 + v**2 - 2 + 5 + 3. Let z be w(4). Let r be ((-3)/(-5))/(6/4*1). Sort z, r, -0.3 in descending order.
r, -0.3, z
Let y = -65 - -260. Put 0.1, 0.2, y in descending order.
y, 0.2, 0.1
Let g = 113/66186 - -513597449/231651. Let m = g + -2217. Let o = m - -3/14. Sort 3, o, -3.
-3, o, 3
Let l = 1445/2154 + -3/718. Sort 7, l, 2/5 in decreasing order.
7, l, 2/5
Let q = 522/5 + -104. Suppose 1 - 9 = 4*i. Put i, q, -1, 0.1 in ascending order.
i, -1, 0.1, q
Suppose 11 = -2*u + 1. Suppose 2*f - 6 = 0, 5*a + 2 = -f - 5. Sort u, 2, a.
u, a, 2
Suppose 3*y + 141 = 144. Sort -13, 0, -5, y.
-13, -5, 0, y
Suppose 45 = -s - 4*s. Let c be (12/s)/(6/(-18)). Let z = -268 + 1879/7. Sort c, 2/5, z in increasing order.
2/5, z, c
Let q(f) = -f**3 + 12*f**2 - 11*f + 3. Let m be q(11). Sort m, -5/4, 5, 0.5.
-5/4, 0.5, m, 5
Let c be (13 - (-171)/(-12))*(-6 + 2). Put -5, c, 10, -3 in ascending order.
-5, -3, c, 10
Let m = -43.2 - -73. Let l = -30 + m. Put -11/2, 4, l in decreasing order.
4, l, -11/2
Suppose 2*l - 10*s = -5*s + 250, 5*l - 563 = -3*s. Put l, -5, -3 in decreasing order.
l, -3, -5
Let z be (-12)/(-12)*1*-3. Sort 0, z, -13.
-13, z, 0
Let f = -1.34 - -1.74. Put -3, 1, f in descending order.
1, f, -3
Suppose -h - 4 + 1 = -r, 0 = 3*r - 2*h - 12. Let z be (3/r)/((-14)/(-872)). Let u = -31 + z. Sort -4, u, 1 in ascending order.
-4, u, 1
Let z be 30/4 + (-5)/(-2)*-2. Sort z, -0.3, -0.82 in descending order.
z, -0.3, -0.82
Let u = 62 - 152. Let t = -91 - u. Put -6, 1, t, -0.2 in ascending order.
-6, t, -0.2, 1
Let g = 448 - 446. Sort g, -0.14, -13 in increasing order.
-13, -0.14, g
Let s = 537 - 536.9. Let z be 0 - (4 - 3/(-3)). Put s, -1, 3, z in decreasing order.
3, s, -1, z
Let t be (-54)/(-14) - (-426)/(-497). Sort t, -2, -61.7 in increasing order.
-61.7, -2, t
Let d be -5*3*(-3)/9. Put 3, d, -3, -49 in increasing order.
-49, -3, 3, 