0.1. Sort 3/8, -3/7, n in increasing order.
n, -3/7, 3/8
Let j be ((-1)/2)/(2/52). Let d = -55/4 - j. Let q = -0.02 - 2.98. Sort 1/8, q, d.
q, d, 1/8
Suppose -3*j = -0 + 12. Sort 0, -5, 6, j in decreasing order.
6, 0, j, -5
Let v = 4/3 + -7/12. Sort 3, -1, v, -3 in descending order.
3, v, -1, -3
Let q = -3 + 2. Sort -3, q, 1.
-3, q, 1
Suppose -2*z + 3*a - 8 = 2, 3*a = 12. Sort z, -2, 3 in descending order.
3, z, -2
Let x(o) = o - 12. Let p be x(10). Put -1, p, 0 in decreasing order.
0, -1, p
Let j = 122588/531 + -393752603/1709820. Let t = j - 1/460. Sort 4, 3, t.
t, 3, 4
Let h = -48 - -143/3. Put 0.2, h, 2/7 in decreasing order.
2/7, 0.2, h
Let w(i) = i**3 + i**2 - 6*i - 1. Let l be w(-3). Put l, -24, -5, -4 in decreasing order.
l, -4, -5, -24
Suppose -212 = -g - 3*g. Let r = -213/4 + g. Put 1, 0, r in descending order.
1, 0, r
Let j be 54/(-10) + (-2)/(-5). Let z(n) = -6*n - 1. Let w be z(-2). Let v = w + -6. Put 2, v, j in decreasing order.
v, 2, j
Suppose x - 14 = -8*j + 4*j, 0 = -x + 4*j - 26. Sort 3, -1, x in decreasing order.
3, -1, x
Let q = 2 + -1. Let i be 1*(-15)/(-3) - 2. Put q, i, -3 in increasing order.
-3, q, i
Let b = 0.34 + -5.37. Let s = -5 - b. Let t = 0.37 + s. Sort 3, 2, t in descending order.
3, 2, t
Let q be 45/(-54)*4/10. Put q, -4/3, -4 in decreasing order.
q, -4/3, -4
Suppose 0 = 9*g + 57 - 12. Let q = -0.1 + -0.9. Sort -0.1, q, g in increasing order.
g, q, -0.1
Let r = 7 + -5. Suppose 9*b + 48 = -15*b. Sort -5, b, r in increasing order.
-5, b, r
Let i = 8.2 - -1.8. Let g = -6 + i. Let p = 4.7 + 0.3. Sort p, g, 2.
2, g, p
Let p = -3 - -7. Let t = 1 + 2. Sort p, -5, t in increasing order.
-5, t, p
Let v be -1*((-5)/(-1) - 0). Let s be 1/(1/4)*9/(-18). Sort 5, v, s in descending order.
5, s, v
Suppose 6 = 5*n + 1. Let s = -3 + n. Suppose -9*o + 12 = -6*o. Put o, 1, s in descending order.
o, 1, s
Suppose -3*q - 55 = -4*m, -3*q - 4*m - 33 - 38 = 0. Sort -4, -1, q.
q, -4, -1
Let m(x) = x - 5. Let f be m(7). Let d be (f + 102/(-45))/(-2). Let j = 1.3 - -3.7. Sort j, d, -2 in descending order.
j, d, -2
Let d = -45 - -587/13. Let k = -3/16 + 1/48. Sort k, d, 0.1 in ascending order.
k, 0.1, d
Suppose 2*v - 4 = -2*v. Let z = 14 - 17. Put z, v, 0 in descending order.
v, 0, z
Suppose 0 = 2*a + 10 - 32. Let t = a + -11. Put t, 2, -4 in descending order.
2, t, -4
Suppose m = 7*w - 2*w - 25, -m = -w + 5. Suppose 5*c + 45 = 5*b, m = 4*b - c + 5*c + 4. Suppose -2 = -2*u + 8. Put u, b, -1 in descending order.
u, b, -1
Let b = -0.03 + -0.07. Let r(q) = q**2 + 3*q - 5. Let v be r(-4). Sort b, -0.4, v in ascending order.
v, -0.4, b
Suppose 4*y + 1 = 5*l - 2, y - 3 = 5*l. Let w be 39/(-9) + y/3. Let h be -2 + 1 + -3 + 1. Sort 1, h, w in decreasing order.
1, h, w
Let p(l) = l**3 - 2*l**2 + 2*l + 1. Let m be p(2). Sort m, 7, 1 in decreasing order.
7, m, 1
Let o = -1265/7 - -181. Let f = 2.85 - -0.15. Sort f, o, -2.
-2, o, f
Let i = -0.09 - -0.49. Sort 0.11, -2, 2/3, i.
-2, 0.11, i, 2/3
Let n = 0.2 - -4.8. Sort 1, -2/3, n.
-2/3, 1, n
Let j be (-30)/9*(-9)/(-6). Sort -3, 22, j in descending order.
22, -3, j
Let n(w) = -w - 4. Let s be n(-6). Suppose 4*u = -4*u. Put s, u, -5 in decreasing order.
s, u, -5
Let s be (2/(-7))/((-5)/35). Let w be (-47)/(-3) + (-8)/12. Suppose 0 = 5*d - w, -3*q + d - 18 = -2*d. Sort q, 1, s in ascending order.
q, 1, s
Let t be (4/6)/(2/12). Let h = t + -6. Let r = 8 + -4. Sort r, 5, h.
h, r, 5
Let d = -68 - -68.2. Put -0.5, -1, -4, d in decreasing order.
d, -0.5, -1, -4
Let z = 0.22 + 0.78. Let x = -0.01 + -3.99. Sort 10, z, x in decreasing order.
10, z, x
Let r = 68 + -61.6. Let u = r + -6. Let s be 0/2 + 2 - (-1 - -1). Sort s, u, 5 in decreasing order.
5, s, u
Let o = 34 - 34.3. Let g = -0.6 + -2.4. Sort o, g, -1 in descending order.
o, -1, g
Let p(c) = -4*c + 10. Let z(h) = h - 1. Let y(q) = p(q) + 5*z(q). Let d be y(-5). Put -1, d, 4 in ascending order.
-1, d, 4
Let v = 0.4 - 0.4. Let u be ((-1)/2)/(2/(-12)). Let i = 2.8 + -0.8. Put u, i, v in decreasing order.
u, i, v
Let q = -72 + 75. Let z = -9 + 6. Sort -4, q, z in decreasing order.
q, z, -4
Let c = 3.06 + -0.06. Let k = 3.5 - c. Let i = 0 - 1. Put k, -2/3, i in decreasing order.
k, -2/3, i
Suppose 2*t = -y - 2*t + 3, -5*t - 10 = 4*y. Let r = -189 + 194. Put 3, r, y in descending order.
r, 3, y
Let i be (-4)/(4/(-10)*-5). Sort 2, 1, i in increasing order.
i, 1, 2
Suppose 0 = -l - 3*l + 12. Let g(s) = -s - 5. Let r be g(-3). Sort l, -1, r.
r, -1, l
Let o(u) = -3*u + 24. Let m be o(8). Sort -3, m, 3 in decreasing order.
3, m, -3
Let x be 507/(-3)*(-1)/(-3). Let c = 57 + x. Put -3, c, -1 in decreasing order.
c, -1, -3
Let f = 19.11 + -19. Let x = -0.89 - f. Sort 2/7, 0.2, x.
x, 0.2, 2/7
Let v = -0.4 - -0.2. Let w = 9 - 9.5. Sort w, -0.1, v in decreasing order.
-0.1, v, w
Suppose 2*t + 0*d - 10 = 2*d, -3*d + 9 = 5*t. Put -1, t, -4 in ascending order.
-4, -1, t
Let g be (2/6)/(11/33). Let v = -4 - -10. Let o = -11 + v. Sort 0, o, g.
o, 0, g
Suppose 12 = 3*t + 3*k, -k - k = 3*t - 11. Sort 5, -2, t in decreasing order.
5, t, -2
Suppose 0 = 4*c + l - 8, c + 0*l = -4*l - 13. Suppose -27 + 27 = -o. Sort o, -3, c in ascending order.
-3, o, c
Suppose 0 = 28*t - 20*t - 32. Suppose 0 = r - 6*r - 20, 3*r + 18 = 3*h. Suppose 5*u + 4 = -5*v + h*v, -t*v = u - 6. Sort v, -5, 0 in descending order.
v, 0, -5
Let u = 0.02 - -0.28. Let y = -3.8 - -6.8. Put y, 0.4, u in increasing order.
u, 0.4, y
Let n(w) = -2*w**2 + 2*w + 2. Let m be n(2). Sort m, -7, 1 in ascending order.
-7, m, 1
Let f = 2 - 1. Put 4, -3, f, -1 in decreasing order.
4, f, -1, -3
Let u = -0.2 - 0. Let b be 41/2 - (-2)/(-4). Let c = b + -24. Sort u, -3, c.
c, -3, u
Let q be (5 + -1)*(-2)/(-4). Put -2, -5, q, 4 in descending order.
4, q, -2, -5
Let s = -0.13 - -0.23. Put -0.2, s, -0.4 in ascending order.
-0.4, -0.2, s
Let s = 8.8 - 9. Let d be (-2 - -2) + (-4)/6. Sort d, 0.3, s.
d, s, 0.3
Let w be (-2)/12 + 12/(-144). Let u = 1 - 2. Sort 2, u, w.
u, w, 2
Let k(o) = o**3 - 2*o**2 - 5*o + 4. Let l be k(3). Suppose -3*c = -2*x - 7*c + 14, -5*c + 17 = 2*x. Sort x, 3, l in decreasing order.
3, x, l
Let g = 7 - 7. Suppose -2*w + 11 = 5*z - 8, 5*w - 3*z = -30. Sort g, w, 5 in ascending order.
w, g, 5
Let f = 87.1 + -87. Let a(x) = -4*x**3 + x**2 + 2*x + 1. Let m be a(-1). Put 5, f, m in descending order.
5, m, f
Let s = -2.71 + 2.8. Let l = s + 0.11. Sort -3, -4, l.
-4, -3, l
Let p = 3.6 + -3.5. Let k(t) = -t**2 + 7*t - 1. Let m be k(7). Let s be m*(-3)/6 - 2. Sort -2/13, s, p.
s, -2/13, p
Let u(b) = b - 4. Let d be u(3). Sort d, 5, -3 in ascending order.
-3, d, 5
Let d = -23 - -24. Sort -3, d, -1.2, 0 in ascending order.
-3, -1.2, 0, d
Let l = 2.16 - 0.16. Sort 0.4, l, -5 in increasing order.
-5, 0.4, l
Let d = 4.93 - -0.07. Suppose -n = 4*n. Sort n, -0.2, d.
-0.2, n, d
Let z be 28/(-6) + 2/3. Let w(b) = 3*b**3 - 2*b**2 + 2*b - 2. Let t be w(2). Suppose x = -2*i - 1, 8*i = 5*i + 4*x - t. Sort z, -1, i in descending order.
-1, i, z
Let y = -1.3 - -9.3. Let p = 10.951 + 0.049. Let f = p - y. Sort 1, f, -2 in descending order.
f, 1, -2
Suppose i - a + 4 = 0, a = -3*i - 6 + 2. Sort i, 4, 0.4, -3 in decreasing order.
4, 0.4, i, -3
Suppose u + 10 = -4*w, -2*u + 5 = -w - 11. Put u, 0.1, -3 in decreasing order.
u, 0.1, -3
Let k(x) = x**3 - 16*x**2 + 13*x + 31. Let r be k(15). Sort r, -1, 2, -28 in ascending order.
-28, -1, r, 2
Let y = 11 - 7. Let x(q) = q - 4. Suppose 4*i = 5*i. Let j be x(i). Sort -0.5, j, y in decreasing order.
y, -0.5, j
Suppose 7*y = 4*y. Suppose y = 22*s - 21*s. Sort 7, s, 4.
s, 4, 7
Let z(h) = h**2 + 7*h + 6. Let v be z(-4). Let l be (v - -2)*(1 - 0). Let y = -8 - -7. Sort 1, l, y in increasing order.
l, y, 1
Let m be (-1 + 1 - -1)*3. Suppose 8*y = m*y + 75. Suppose -y = 3*n - 0. Sort n, 2, 1 in increasing order.
n, 1, 2
Let a = 7 + -8. Suppose -v - 3*v + 4*l = -16, 16 = 4*v + 3*l. Sort a, v, 5 in increasing order.
a, v, 5
Let o = 43 + -41. Let i = 0.45 - 0.05. Let c = i - 0. Put o, c, 2/3 in ascending order.
c, 2/3, o
Let o = -0.1 + -0.2. Let m = 1 - 6. Let k = 2 + m. Sort -1/4, k, o in increasing order.
k, o, -1/4
Let i be (2 - (-21)/(-6))/(-6). Sort -0.5, -2/5, i.
-0.5, -2/5, i
Let t = -270/19 - -59921/4218. Let j = -6/37 + t. Sort j, -2/11, 2/7 in descending order.
2/7, j, -2/11
Suppose -s - 2*l -