
u, 0, h
Let c = 8683/10 - 869. Let x = c - 4/5. Let l = 0.4 + -2.4. Sort -4/7, l, x in ascending order.
l, x, -4/7
Let o be 0 - -2 - (-32)/(-14). Put 2/5, 4, o in ascending order.
o, 2/5, 4
Suppose -l + 17 = -4*o, -6*l + 2*l = 2*o - 14. Suppose -2*u + 7 = 3*i, 5*i = 2*u - 3*u + 7. Put u, l, 3 in decreasing order.
l, 3, u
Let g be -4 - (4 - 8) - 2 - 1. Sort g, 3/8, 0.03 in decreasing order.
3/8, 0.03, g
Suppose x + 0*x - 3 = 0. Suppose -3*j - 11 = -u + j, -4*u + 6 = x*j. Sort u, -2, -2/5.
-2, -2/5, u
Let w = 79 - 52. Let r = w - 15. Suppose 0 = -5*d - 0*f - f + 9, -r = 4*d - 4*f. Sort 5, 0.2, d in increasing order.
0.2, d, 5
Let w = 80 + -84. Let p be (-1 + 0)*(-4)/1. Let r be 2*-2 - (-3)/3. Put w, p, r in increasing order.
w, r, p
Let a be 2*-1 - (15 + -6). Let b = -12 - a. Suppose -2*f + 0 = -4. Sort b, 4, f.
b, f, 4
Let o be (-1*1)/(3/9). Let d(a) = -2*a - 8. Let g be d(-3). Sort 7, g, o in descending order.
7, g, o
Let t(o) = -2*o + 2. Let n be t(-6). Let k be n/18 + (-6)/(-27). Let c = -5833/17 - -343. Sort 0.1, c, k in descending order.
k, 0.1, c
Let v = 271 + -276. Suppose 5*a = 8 - 3. Let b = a - -1. Sort b, -3, v in descending order.
b, -3, v
Let v = -2 + 0. Let a = 7/17 - 99/323. Sort v, -3, a.
-3, v, a
Let a = -62 - -62. Suppose 2 = -3*z - 4*g, 5*g + 14 = 3*z - z. Let n = z - 3. Put a, 5, n in decreasing order.
5, a, n
Let n(j) = j - 3. Let f be n(6). Suppose -c - t = -2*t + 6, f*t - 6 = 0. Let q = 18 - 21. Sort q, c, -2 in increasing order.
c, q, -2
Let j be (-3 + 3)/(1*(-24)/6). Sort -3, j, 5 in decreasing order.
5, j, -3
Let g = -2 + 6. Let c be (-1 + -2 + 8)/(-1). Put c, g, 1 in increasing order.
c, 1, g
Let y = -10/21 + 113/105. Sort y, 0.2, -0.03.
-0.03, 0.2, y
Let f = -0.126 + 0.526. Put 0, -4, -2, f in increasing order.
-4, -2, 0, f
Let p = 20 + -20.4. Sort p, 0.3, -2, -0.1.
-2, p, -0.1, 0.3
Suppose 5*d - 18 = -j, -2*d - 2*d + j = -9. Sort d, -3, 2, 13 in ascending order.
-3, 2, d, 13
Let j be 9/18*(3 - 5). Sort j, -3, -5, 3 in decreasing order.
3, j, -3, -5
Let w be (-1)/(-22)*(8 + -16). Let z = -13/66 - w. Put z, -2/3, 0.2 in ascending order.
-2/3, z, 0.2
Let v = -524/111 - -37591/8880. Let y = v + -5/16. Let a = -0.13 - 4.87. Put y, 0.1, a in ascending order.
a, y, 0.1
Suppose -j + 2*x + 9 = -0*x, 4*j - 6 = 2*x. Let y = -8.5 + 9. Sort -3, y, j.
-3, j, y
Let u = 6 + -1. Let a be -1*((5 - 3) + -2). Put a, -5, u in ascending order.
-5, a, u
Let s = -0.1 - -0.6. Let a = 33 + -131/4. Put s, 0.2, a in decreasing order.
s, a, 0.2
Suppose -i = 5*l - 21 + 2, i - 5*l = -11. Put 5, -4, i in decreasing order.
5, i, -4
Let c = 16.5 - 17. Let w = -0.1 + 0. Let m = 83/84 - 25/28. Put c, m, w in increasing order.
c, w, m
Let v(h) = -h**2 + 5*h + 10. Let k be v(7). Let u(m) = 2*m - 9. Let d be u(6). Sort k, 5, d in increasing order.
k, d, 5
Suppose -4*j - 10 - 35 = -5*i, 4*j - 2*i + 30 = 0. Suppose 2*z = -7 + 3. Sort z, j, -4 in decreasing order.
z, -4, j
Let v = 41.31 - 43.3. Let m = -0.39 + 0.4. Let u = m - v. Put 5, 5/4, u in descending order.
5, u, 5/4
Let r(k) = -k**3 + 2*k**2 + k + 2. Let c be r(2). Sort c, -2, -7 in ascending order.
-7, -2, c
Suppose -2*s + j = -16, 3*s + 5*j = -0*s - 2. Let x be 2/6 + (-32)/s. Suppose -4*i + 9*i = 0. Put i, x, 2 in ascending order.
x, i, 2
Let o be -5 + 5 - (-3)/(-1). Let k(w) = 3*w - 14. Let m be k(6). Put m, o, -2 in ascending order.
o, -2, m
Let g = -1 + 4. Suppose 8 = 4*i, -m + 3 = -i + 2. Let v be (-28)/66 + 1/m. Put 1/2, v, g in descending order.
g, 1/2, v
Let f(t) be the first derivative of -t**2/2 - t - 3. Let u be f(-6). Put -2, -4, u in descending order.
u, -2, -4
Let r = 1.1 + -0.1. Let x = r + -1.2. Suppose 0 = 4*m - 14 - 2. Sort -0.4, x, m.
-0.4, x, m
Let p(o) = o**3 + 5*o**2 + 5*o + 9. Let f be p(-4). Let i be 6 - ((-6)/3 - -2). Let s = i - 10. Sort f, -2, s in increasing order.
s, -2, f
Let x = -241/14 - -35/2. Let q = -0.13 - 3.87. Sort x, q, -0.3 in descending order.
x, -0.3, q
Let b be (0 - -26)*(-2)/4. Sort -2, b, 2 in increasing order.
b, -2, 2
Let v = -10 - -8.8. Let a = 0.8 - v. Suppose 2*i - 15 = 5*o, -4*o - i - 40 = 3*i. Sort a, o, -2/23 in increasing order.
o, -2/23, a
Suppose -1 + 16 = 3*b. Put 0.4, 6, b in increasing order.
0.4, b, 6
Suppose -c - 11 = -2*d, d + 0 = -c + 1. Let u(v) = -v - 4. Let b be u(-11). Let l = b - d. Put l, -2/7, 5 in ascending order.
-2/7, l, 5
Suppose 3*i + 2*h - 13 = 9, -i = -2*h - 18. Let c = -9 + i. Sort -5, c, -1 in ascending order.
-5, -1, c
Let f(d) = 16*d**3 + 2*d + 1. Let s be f(-1). Let i = s + 20. Put -3, i, 2 in descending order.
i, 2, -3
Suppose 0 = -4*g + 4*y + 68, 3*g + y + 2*y - 21 = 0. Let i be 6/g*(-3 - -1). Suppose 4*k + 20 = -k. Put i, 1, k in decreasing order.
1, i, k
Let c be (0/(-2))/((-1)/1). Sort c, 4, -3 in increasing order.
-3, c, 4
Let h = 2 + -2. Let q = -0.2 + h. Sort q, 0.5, 0.1 in descending order.
0.5, 0.1, q
Suppose -2*v = -2 + 4, 2*o = -4*v - 14. Put 5, 1, o in descending order.
5, 1, o
Suppose -3*w + 2 = 5. Sort w, 1/4, 4, -0.2.
w, -0.2, 1/4, 4
Suppose 2*p - i - 3*i = 2, 0 = p + 4*i - 13. Sort -1, -2, p, 3 in descending order.
p, 3, -1, -2
Let i be 64/(-48)*2/(-104)*-6. Put -1/6, 2, i, -2/15 in descending order.
2, -2/15, i, -1/6
Let a = -56/3 - -19. Let r = -2 - -2.2. Let o = r - 0. Sort o, -2/5, a in ascending order.
-2/5, o, a
Suppose -11*y + 17 - 6 = 0. Put 5, -2.2, y in descending order.
5, y, -2.2
Let i be 1 + -1 + 2 - 1. Let p = 4 - 9. Put 0, i, p in ascending order.
p, 0, i
Let v = 137 - 687/5. Sort v, -5, 0.3 in descending order.
0.3, v, -5
Let z = -2.3 + -1.3. Let j = 4 + z. Sort -3, j, -0.2 in descending order.
j, -0.2, -3
Let a be 0 + -2 - 26/(-12). Suppose -7*n = -2*o - 3*n + 4, 2*o - 10 = n. Let r = -5 + o. Put a, r, -0.3 in descending order.
r, a, -0.3
Let m be (-12)/33*4/1. Let s be (60/66)/((-12)/17). Let q = s - m. Put 4, -5, q in increasing order.
-5, q, 4
Let q = -14 + 10. Let s be (-5)/10*q*1. Suppose 2*x + 1 + 5 = 0. Sort s, 0, x.
x, 0, s
Let o = 21.6 + -24. Let v = -2 - o. Let u = 22/9 - 74/45. Put 2, u, v in decreasing order.
2, u, v
Let u = 54.8 + -55. Put 0, -9, -1/2, u in ascending order.
-9, -1/2, u, 0
Suppose 4*u + 1 = 21. Let q(t) = t**3 + t**2 + t + 126. Let h be q(0). Let c be ((-4)/(-14))/(18/h). Sort c, -2, u in decreasing order.
u, c, -2
Let m(p) = p**3 - 4*p**2 + 2*p - 6. Let c be m(4). Put 0.1, -3, 7, c in decreasing order.
7, c, 0.1, -3
Let k be 2/(-1) - 168/(-72). Put k, 2, 0.4, -0.2 in ascending order.
-0.2, k, 0.4, 2
Suppose 0 = 2*y - y - 22. Let b be 436/y + (-4)/(-22). Suppose -3*r = 5*a - 20, -5*a - b = -5*r - 0*a. Put r, -2, 4 in increasing order.
-2, 4, r
Suppose 0 = -q - 3*q, -3*q = 4*c + 8. Let g be -6*(c - 5/(-2)). Sort 0, g, -1 in increasing order.
g, -1, 0
Let z be (-7)/3 + (-18)/(-54). Put z, -0.6, -0.4 in increasing order.
z, -0.6, -0.4
Suppose 0*n + n = -2. Sort n, -3, 6 in descending order.
6, n, -3
Let k be 4/(-14) - (-1)/((-315)/(-230)). Put k, 0.2, -0.4, -3 in descending order.
k, 0.2, -0.4, -3
Suppose -3*c + 6 = 0, 0*j - 70 = 2*j - 3*c. Let v = -29 - j. Let k = -1.2 + 1. Sort v, k, 2 in increasing order.
k, 2, v
Let k = 2 + -2.5. Let x be 18/(-12)*(-244)/342. Let r = x + 5/19. Put k, 1, r in descending order.
r, 1, k
Let o be 2/6 - 8/(-3). Suppose -3*s + 9 = -27. Let j = s + -17. Put -2, o, j in decreasing order.
o, -2, j
Let f = -12.25 - -0.25. Let z = f - -19. Let d = z - 2. Put 0, -0.5, d in increasing order.
-0.5, 0, d
Let j be -3 + 8 + -7 - (-9)/4. Let l = 1.5 - -0.5. Sort j, 0.1, l in descending order.
l, j, 0.1
Let o = 3 + -1. Let j = -9 + 14. Let n = -14.7 + 15. Put n, o, j in descending order.
j, o, n
Let j = 210.9961 + 0.0039. Let s = j - 213.03. Let g = 0.03 + s. Put -0.2, -5/6, g in decreasing order.
-0.2, -5/6, g
Suppose -5*w - x = -2*w - 8, 5*w + x = 12. Suppose 0 = -2*v - o + 3, 3*o - 18 = -2*v - o. Put 4, v, w in decreasing order.
4, w, v
Let t = 3 + -5. Let b = t - -4. Sort b, -1, 0.4 in decreasing order.
b, 0.4, -1
Suppose 6 = a - 3. Let f be (-2)/9 + 47/a. Suppose -2*r + f = 3*r. Sort 4, r, -4.
-4, r, 4
Let a(r) = -r + 10. Let g be a(7). Sort 4, g, 0 in decreasing order.
4, g, 0
Let w be 1*(0 - -1) - 4. Let i = 0.063 + -0.063. Sort 5, i, w.
w, i, 5
Let g = -20 - -20.3. Put -2/11, g, 2/3, -2 in decreasing order.
2/3, g, -2/11, -2
L