ncreasing order.
-2, 3, i
Suppose -224*j = -3*m - 228*j + 29, j = -5*m + 54. Sort 2, m, -5, -6 in increasing order.
-6, -5, 2, m
Let r = 2904 + -2899. Let s = 0 - -0.1. Put s, r, 0 in increasing order.
0, s, r
Let h = -249 - -246. Let q = 1 + 2. Suppose -6 = 3*f + 6. Put q, h, f in increasing order.
f, h, q
Let u be (-4)/(-12) + (-100)/(-15). Suppose 0 = -u*f + 3*f + 8. Let i be ((-3)/4)/(4/16). Put f, 1, i in decreasing order.
f, 1, i
Let y(s) = 2*s**2 + 5*s - 4. Let g be y(1). Put g, -3, -2, 1 in ascending order.
-3, -2, 1, g
Let v = -0.18 - -0.68. Let k = 7.1 - 8.1. Put k, v, 8 in ascending order.
k, v, 8
Let y = -0.0128 - 4.9872. Sort -6, y, 5, -1/5.
-6, y, -1/5, 5
Suppose 1126*g - 1135*g = -9. Put -18, g, -1 in decreasing order.
g, -1, -18
Suppose -9 = o - 11. Suppose -n + o*n + 4 = 0. Let g be 1/(-4)*-1*-4. Put 1, n, g in decreasing order.
1, g, n
Let p = 6 - 5. Suppose 5*t + 12 = r, -3 = -r - p. Let j = t - -6. Put j, -3, 3 in decreasing order.
j, 3, -3
Suppose 3*h - 315 = -3*t, 0*t - 520 = -5*h - 4*t. Suppose -3*n + 8*n = h. Suppose -3*c - c - n = 0. Sort 0, 4, c.
c, 0, 4
Let f = 430 + -427. Suppose -z + 6 = -w, 4*w = 2*z - 0*w - 20. Let a(l) = l**2 - 5*l + 8. Let h be a(4). Sort f, z, h.
z, f, h
Let h(l) = l**3 - 2*l**2 + 3*l - 2. Let m be h(2). Let b be (13 - (-688)/(-48))*(-9)/(-6). Put -11, b, 3/4, m in increasing order.
-11, b, 3/4, m
Let l = 197 - 197. Suppose -6*t + 49 - 7 = l. Let m = 6 + -3. Put -3, m, t in descending order.
t, m, -3
Let o(s) = s**2 - 8*s + 2. Suppose k + 7 - 2 = 0. Let v(l) = l + 12. Let w be v(k). Let j be o(w). Sort j, 5, -5/3.
j, -5/3, 5
Let o = 1 + -4. Let u be (-2)/(((-350)/(-60) - 6)/(2/40)). Sort 3, u, o in increasing order.
o, u, 3
Let v(u) = -u**2 - 14*u - 26. Let a be v(-12). Put a, 3, 127 in descending order.
127, 3, a
Let q = -128.939 + 129. Let o = q - 4.061. Put 4, 1/6, o, -12 in ascending order.
-12, o, 1/6, 4
Let y be 6 - 1026/(-135)*(-10)/6. Put -0.02, 4, y in descending order.
4, -0.02, y
Let b(h) = h**3 + 2*h**2 - 2*h + 2. Let g be b(-3). Suppose -3*s + 3*v + 8 - 14 = 0, 4*s + 15 = -3*v. Put s, 5, g in descending order.
5, g, s
Let h be 30/24 - 1/4. Sort h, -2, 6, 4 in descending order.
6, 4, h, -2
Let b = -1 - -5.3. Let d = b + -4. Sort -4, d, 5/4.
-4, d, 5/4
Let r = -1.6 + 1.35. Let z = -1.25 - r. Sort z, -2, -5/6.
-2, z, -5/6
Let o = -453 - -453.1. Sort -0.6, o, -11 in decreasing order.
o, -0.6, -11
Let q be (3 + -3)/(1/1). Suppose 5*j - 3 = 2*z + 2*z, q = j + 3*z + 7. Suppose 0 = -p + 2. Sort 0, j, p.
j, 0, p
Let y = -69 - -97. Suppose -y*q - 1 = -29*q. Let k = 13 + -8. Sort q, -5, k in descending order.
k, q, -5
Let u be (-5)/20*-3 + (-9)/12. Let b(m) = m + 1. Let c(t) = 5*t + 7. Let o(q) = 3*b(q) - c(q). Let k be o(-4). Sort 1, k, u in increasing order.
u, 1, k
Suppose 1702 - 358 = 12*g. Put 2/5, -2, g in descending order.
g, 2/5, -2
Suppose 2*d + 19 = a - 2*d, 0 = 5*a + 3*d - 3. Sort a, -2, -5, -2/5.
-5, -2, -2/5, a
Let g = -23.991 + -0.009. Let d = 22 + g. Let w be (-1)/5*(-5)/2. Put 3/2, d, w in descending order.
3/2, w, d
Let x = -1.6 - -14.6. Let p = -147.3 + 134. Let y = x + p. Sort y, 1/11, 1/2.
y, 1/11, 1/2
Let q be (-3)/(4/(24/9)). Let n(w) = 3*w**2 + 2. Let a be n(-1). Sort -5, q, -1, a in increasing order.
-5, q, -1, a
Let n = -13 - -8. Suppose 2*c + 12 = 0, -11*a - 25 = -10*a + 5*c. Sort a, -2, 2, n in ascending order.
n, -2, 2, a
Let y be -12 - (-4)/(-12)*-39. Sort y, 28, -16.
-16, y, 28
Let x = -62 + 57. Put -1, x, -4, -3 in decreasing order.
-1, -3, -4, x
Let f = 1.354 - 0.454. Sort -1/7, 3, f, 1 in decreasing order.
3, 1, f, -1/7
Let q be 8/(-12) + 16/(-3). Let w be 3 + 3/q + -1. Let l = -24.8 - -24.9. Put w, l, -0.2 in decreasing order.
w, l, -0.2
Let z = -4906 - -142292/29. Sort 3, 5, z in descending order.
5, 3, z
Suppose -5*j + 1 + 2 = -4*h, -4*j - 12 = 4*h. Sort -8, -6, -2, j in increasing order.
-8, -6, -2, j
Let z = 15 - 25. Let b be -4 - 3/(1 + -2) - -366. Let c = 6203/17 - b. Sort z, 2/3, c in descending order.
2/3, c, z
Suppose 26 = -18*q - 46. Sort q, -6, -2 in increasing order.
-6, q, -2
Suppose -4*a - 5 = -3*u, -2*u - 2*a + 5*a = -5. Let d be ((-1)/2*7 - -1)/u. Let x be ((-2)/8)/((-6)/(-8)). Sort -1, d, x in decreasing order.
d, x, -1
Let w be 6072/(-230) + 2/(-10). Sort 3, w, 2/7 in descending order.
3, 2/7, w
Let v be (-24)/100*685/4. Let i = v + 41. Let y = -2.214 + 2.154. Put i, 2, y in increasing order.
i, y, 2
Let r = -0.5 + 0.7. Let c = 3.2 - r. Let b = -37/44 - -1/11. Put b, c, -1 in decreasing order.
c, b, -1
Suppose 0 = -5*j - 3*o - 14, 3*o + 6 = o. Sort j, 5, -168.
-168, j, 5
Let q = 0.1396 - 0.6396. Put q, 2, 715, -2/3 in decreasing order.
715, 2, q, -2/3
Let t(h) = 3*h**2 - 11*h - 2. Let r be t(5). Let d be r/4*2/12. Put -3/4, d, 9 in ascending order.
-3/4, d, 9
Let u = -78.7 + 78. Sort u, -6, -2/9, 1/3.
-6, u, -2/9, 1/3
Let n = 0.97 + -1.07. Sort n, -5, 2/11, 0.1 in increasing order.
-5, n, 0.1, 2/11
Let t = -5.5 + 5.9. Let k = 9 + -2. Put t, -5, k in increasing order.
-5, t, k
Let n = -81 - -101. Let y be 6*(n/6 - (4 - 0)). Sort y, 6, 2 in ascending order.
y, 2, 6
Let b(a) = -2*a**3 + 1. Suppose 3*r - 4*n = 13, n - 2*n = 2*r + 6. Let z be b(r). Sort -2, 0, z in descending order.
z, 0, -2
Suppose -7*z - 5*d - 10 = 0, -1 = 4*d - 21. Sort -2, -31, z in ascending order.
-31, z, -2
Let g(q) = -12*q - 10. Suppose 12 = -10*a - 2*a. Let z be g(a). Sort 3, 14, z, -1 in descending order.
14, 3, z, -1
Let l = 2.05 - -0.95. Sort 5, -1/7, -0.2, l in increasing order.
-0.2, -1/7, l, 5
Let l = -3 - -7. Let w = -0.64 + 0.5. Let u = w + -5.86. Sort u, -0.3, l in descending order.
l, -0.3, u
Let l(o) = -o**2 + o + 1. Let f be l(2). Suppose -x = 3*x + 8. Let h be ((-6)/(-255))/(x/10). Put f, h, -2 in ascending order.
-2, f, h
Let s = 504 + -508. Put -1.13, s, -3/4 in ascending order.
s, -1.13, -3/4
Let u = -449 + 451. Let q(b) = -2*b + 9. Let v be q(6). Let j = 3 - 4. Put v, j, u in ascending order.
v, j, u
Let g = 112.6 + -112. Let v = -1.1 + g. Sort v, -2/7, -2/15, -1/3 in ascending order.
v, -1/3, -2/7, -2/15
Suppose -4*j + 2 = -3*j. Suppose -6*p = -j*p + 12, -4*p - 24 = -4*m. Suppose -3*f = u + 10, 6*u - 3*u + 12 = 0. Sort -6, m, f.
-6, f, m
Let y be (-5)/((-30)/(-21)) - 1/2. Let w(p) = -p**3 + 4*p**2 + p - 3. Let b be w(4). Let j = b + -6. Put j, 2, y in ascending order.
j, y, 2
Let j be (-15)/6*(-6)/5. Suppose 0 = -10*i + 120 - 130. Sort i, 5, -3, j.
-3, i, j, 5
Suppose 4*b - 5 = -25. Let r = 91 + -50. Suppose 3*c - r = -35. Put 4, b, c in ascending order.
b, c, 4
Let q = -5 + 6. Suppose 17 = 3*f - q. Let b be 12/(-10)*(-20)/f. Put b, 5, -2 in increasing order.
-2, b, 5
Let c = -61/11 + 621/110. Sort 4/5, 2/11, 0.2, c.
c, 2/11, 0.2, 4/5
Let a be (((-16)/4)/8)/(5/50). Sort -1, 4, a in decreasing order.
4, -1, a
Let w = -24 - -19. Let z = w + 0. Let f be -3 + (2 + 1 - -5). Put -7, f, z in decreasing order.
f, z, -7
Let g = 333 + -333.05. Sort -3, g, -0.7 in descending order.
g, -0.7, -3
Let z = -0.8 - -0.5. Let v = 0.033 - -0.167. Sort v, z, 10.
z, v, 10
Let g(r) = 2*r - 3. Let d be g(0). Suppose -2*w - h = 0, 4*h + 1 + 8 = w. Let p be -3 - (d - (w + -2)). Sort p, 5, -4 in increasing order.
-4, p, 5
Let j(w) = -w**3 - 13*w**2 + 18*w + 1. Let z be j(-14). Let g = z - -58. Sort 1, -4, g in descending order.
g, 1, -4
Let t(b) = -b - 2. Let k be t(3). Let z = -1.61 + -101.39. Let a = z - -105. Put a, -0.1, k in descending order.
a, -0.1, k
Let d = 204/5 + -1229/30. Put -4, 0.28, -2/5, d in descending order.
0.28, d, -2/5, -4
Let d = -126 + 121. Put 0, 3, -45, d in ascending order.
-45, d, 0, 3
Let p = -85 + -44. Put p, -3, -1, -5 in descending order.
-1, -3, -5, p
Let i be 2 - (-1 - -2) - -4. Let m(p) = 2*p**2 + 11*p - 15. Let q be m(-7). Let h(s) = -s + 6. Let r be h(q). Put i, 2, r in descending order.
i, 2, r
Let l = -7 + 7.3. Let d = -14/13 + 72/91. Sort l, d, 1.
d, l, 1
Let m be (-2)/5 + (-22)/(-5). Let r = -490 + 488. Put 6, m, r in decreasing order.
6, m, r
Let v(h) = -h**3 - 6*h**2 - 2*h - 6. Let f = -37 - -31. Let a be v(f). Suppose 0 = -0*r + r. Put -1, r, a in descending order.
a, r, -1
Let i = -0.02 + -1.98. Suppose -2*w - 5*u + 9 = 0, 3*w = 8*u - 3*u + 1. Suppose 3*x = -w*x + 20. Put 1/2, i, x in descending order.
x, 1/2, i
Suppose 3 = 7*o - 