t 3/7, m, -0.2 in ascending order.
m, -0.2, 3/7
Let r(z) = z**3 - 4*z**2 - 12*z + 3. Let g be r(6). Sort -2, -2/17, g, -4 in ascending order.
-4, -2, -2/17, g
Suppose l + 19 = -0*l + 5*m, -5*m + 22 = 2*l. Sort -3, l, -2.
-3, -2, l
Let n = -16 - -25. Suppose -3*b + 4*j = -n, 3*b + 2*j + 15 = -2*j. Sort -2, b, 2.
-2, b, 2
Suppose -5*u - 3*o + 20 = -2*o, 2*u = -2*o + 16. Let j(n) = -n**3 + 4*n**2 - 3*n - 1. Let k be j(u). Sort 5, k, -5 in increasing order.
-5, k, 5
Let t(o) = o**2 - 5. Let r be t(0). Let h be 3/1 + -3 - r. Sort 3, h, -1 in decreasing order.
h, 3, -1
Suppose 0 = -0*b + 5*b - 5. Let f be -2*((-8)/4 - 0). Let s be 4/(-3)*(f + -1). Sort 2, b, s in decreasing order.
2, b, s
Let z be ((-1)/(-3))/(1/(-9)). Let h be (-3)/9*(z - 0). Let l = -1.9 + 2. Sort l, 2/5, h.
l, 2/5, h
Let a(k) = -k**2 + 4*k + 6. Let z be a(5). Let f be (-4)/((-2)/z) - -2. Sort -2, f, -4 in increasing order.
-4, -2, f
Suppose -4*c = -5*d - 3, -7*c + 2*c + 11 = d. Put 0, d, -1 in descending order.
d, 0, -1
Suppose -4*v - j + 9 = 0, -2*v + 4*v - 3 = -j. Sort -2/5, -0.3, 2, v in ascending order.
-2/5, -0.3, 2, v
Let z = -0.8 - -0.6. Put z, -3/10, 0 in decreasing order.
0, z, -3/10
Let m = -3 + 3. Sort -1, 4, m in increasing order.
-1, m, 4
Let v(a) = -a**2 - 4*a + 9. Let m be v(-5). Let r(w) = -7*w**3. Let f be r(-1). Suppose 0 = b - 4 + f. Sort m, 3, b in increasing order.
b, 3, m
Let l = 227/35 + -31/5. Let d = -3.7 - 0.3. Put l, 1, d in increasing order.
d, l, 1
Let x be (-2)/(-1) - 2/2. Let k be 3 + (0/1)/(-1). Put k, -1, x in ascending order.
-1, x, k
Let f(b) = b + 10. Let z be f(-8). Suppose z*m = -m. Suppose m*x + 1 = x. Put 0.1, -2/3, x in descending order.
x, 0.1, -2/3
Let d = -22 + 18. Sort 2, d, -1 in ascending order.
d, -1, 2
Let o be 12/(-20)*2/2. Let w = 0.072 + 1.928. Put o, -0.1, w in increasing order.
o, -0.1, w
Suppose -3*i + 5 = -2*r, -r - 3*i - 2*i + 30 = 0. Let x be ((-1)/(-2))/(3/(-30)). Put r, 0, x in decreasing order.
r, 0, x
Let b = -3 - -2.8. Let q = 4 + -4. Put q, 0.4, b in increasing order.
b, q, 0.4
Suppose 2*x + 4*p - 6 = 0, p - 4*p = 4*x - 7. Sort x, -4, -3.
-4, -3, x
Let v = 2 - -2. Let h be (-315)/(-200) - 6/16. Sort v, 1, h.
1, h, v
Let h = -0.052 + -0.948. Sort -3/4, h, -1/8 in decreasing order.
-1/8, -3/4, h
Let s be (1/12)/((-6)/((-72)/4)). Sort s, 0.2, -4 in descending order.
s, 0.2, -4
Suppose -b + 0*b = 1. Let p = 2 + b. Put 2, p, 3 in decreasing order.
3, 2, p
Suppose 0 = -5*w + 5*y + 25, 2*w + 2*y - 16 = 6*y. Suppose 0 = -w*g + 5*g. Let m(z) = -2*z - 8. Let l be m(-6). Put 3, g, l in increasing order.
g, 3, l
Let n = 73/222 + -6/37. Sort -3, n, 1 in descending order.
1, n, -3
Let q = 2 + -8. Let y = q + 2. Sort y, -1, 4/3 in decreasing order.
4/3, -1, y
Let z = -0.04 + -0.06. Put z, -0.5, -3 in decreasing order.
z, -0.5, -3
Let g = 5.43 - 1.43. Put -0.4, -1, 0.3, g in descending order.
g, 0.3, -0.4, -1
Let u = -2.1 - -3.9. Let w = -2.1 + u. Sort w, -0.1, 0.2 in decreasing order.
0.2, -0.1, w
Let y be (-2)/4 + (-2)/4. Let g be (y - 0)/(4/(-8)). Suppose 35 - 5 = -5*z - i, 4*i = -3*z - 35. Sort z, 1, g.
z, 1, g
Let o = -122 - -1097/9. Let r = -5.99 + -0.01. Let z = -2 - r. Put z, -2/3, o in decreasing order.
z, o, -2/3
Let h = -1.3 + -0.2. Let t = 2 + h. Sort -4, t, 5.
-4, t, 5
Suppose l - 4*b = -16, 2*l - 4*b + 36 = 6*l. Let u be 2/(-5)*(-2 - 3). Suppose 0*v - u*v = 0. Sort v, 3, l.
v, 3, l
Let g(v) = v - 12. Let o be g(9). Suppose 5*m = 4 + 21. Suppose 5*l - 20 = 0, 17 = m*f + l + 3. Sort -2, f, o in descending order.
f, -2, o
Suppose 3*o = 2*o. Sort 3, 2, o in decreasing order.
3, 2, o
Let i(p) = -p**3 - 5*p**2 + 3*p - 1. Let d be i(-5). Let u(s) = -4*s + 19. Let m be u(5). Put m, 2, d in descending order.
2, m, d
Let m = 25 - 25.38. Let g = m + 0.08. Sort 3, -3/2, g in ascending order.
-3/2, g, 3
Let i(q) = -q**3 + 5*q**2 - 2*q - 6. Let u be i(4). Sort -1, u, 3.
-1, u, 3
Let p be (-4)/6*15/(-2). Let d(x) = x**2 + x - 3. Let k be d(-4). Suppose 0 = -3*c + k, -6*c = 2*t - c - 9. Sort t, -2, p in ascending order.
t, -2, p
Let l be (-3)/(15/(-5)) + 2. Suppose -r = -4*r + 6. Suppose 3*h = -r + 17. Put 1, h, l in ascending order.
1, l, h
Suppose 15 = -4*v + 3*m, 5*m = 4*v + 4 + 13. Let l = -3 + 6. Sort 5, l, v in increasing order.
v, l, 5
Let j = -2 - -2. Suppose -3*v - 9 = 6. Sort v, j, 2.
v, j, 2
Suppose -30 = 4*g + 2*o, -5*g + o = 2*o + 30. Sort g, -6, 4 in increasing order.
-6, g, 4
Let f(r) = -r - 5. Let m be f(0). Suppose 0 = 2*d + 8, 2*d + 12 = -l - 0*d. Let g = -3 - l. Put -3, m, g in increasing order.
m, -3, g
Let o = -10 + 12. Put o, -1/2, -0.4 in decreasing order.
o, -0.4, -1/2
Suppose 0*r - n = -r + 10, -2*r + 5 = 3*n. Let l = 10 - r. Suppose 3*o - 1 - 14 = 0. Put l, o, -4 in descending order.
o, l, -4
Suppose -3*w + 4*w = 2*n - 8, 16 = 2*n - 5*w. Let r = n + -1. Sort 3/5, 3, r in descending order.
3, r, 3/5
Let r = -6 + 6. Let c(u) = u - 2. Let w be c(r). Sort w, -8, 5 in descending order.
5, w, -8
Let c = -0.6 - 9.4. Let o = 13 + c. Sort -0.5, o, -5.
-5, -0.5, o
Suppose -2*y + 3*n = -6, 5*y + 0*y + 3*n + 6 = 0. Sort -5, -3, y in descending order.
y, -3, -5
Suppose 18*q - 22*q - 4 = 0. Suppose -3*m + 2*a = 0, -3*m = -0*m + 2*a. Put q, m, -5 in decreasing order.
m, q, -5
Let w be -2 - (6*-1 - 0). Suppose 5*o + 2*f = 8, 3*f = -2*o - f. Suppose o*c = 3*c - 2. Sort -1, w, c in increasing order.
-1, c, w
Suppose -4*h - 2*x = 42 + 10, -h = 2*x + 16. Let f = -10 - h. Put f, 7, 0 in decreasing order.
7, f, 0
Suppose 7*i - 35 = 2*i. Suppose -4*n - 9 = -u + 1, -5*n - i = -4*u. Let w = -1 - n. Sort 5, -5, w in increasing order.
-5, w, 5
Let b be (4/8)/(-3 - 62/(-20)). Sort 2, b, -5 in descending order.
b, 2, -5
Suppose 0 = -2*k + 2*y - y - 8, 3*y = 2*k + 4. Let r be ((-6)/4)/(3/(-6)). Suppose -4*c = -c + r. Put 1, c, k in ascending order.
k, c, 1
Let n = 32.53 + -32. Let i = n - -0.07. Let q = 0.4 + i. Sort -3, q, -5 in ascending order.
-5, -3, q
Let j(z) = z + 1. Let p = -10 + 6. Let d = p - -1. Let g be j(d). Put -3, g, -5 in descending order.
g, -3, -5
Suppose -12 = -4*g - 5*u, 0 = -3*g - 2*g + 5*u - 30. Sort -5, -3, 6, g.
-5, -3, g, 6
Let b = -819/190 + -18/95. Let x be (-19)/8 + (-1 - -3). Put -4, b, x in ascending order.
b, -4, x
Suppose -2*g - 6 = -0. Let b = 8.1 - 8. Sort b, g, 1/5 in descending order.
1/5, b, g
Let j = 29 + -27. Sort 3, j, 5 in ascending order.
j, 3, 5
Let r = 0 - 2. Suppose 2*g - 1 = 5. Sort g, 1, r.
r, 1, g
Let b = -43 - -42.8. Put 3, 0.3, b, 0.04 in descending order.
3, 0.3, 0.04, b
Let c = -37.5 - -38. Sort c, -2/7, 0.3, 1.
-2/7, 0.3, c, 1
Let t = 20 - 18. Put 4, t, -50 in ascending order.
-50, t, 4
Let d = 39 + -24. Let o = 17 - d. Sort -4, 4, o.
-4, o, 4
Let f = -0.12 - 4.88. Sort 3, 0.2, f.
f, 0.2, 3
Let c = -5 - -4.76. Let r = c - -0.14. Let i = 0.7 - -0.3. Put 2/5, i, r in increasing order.
r, 2/5, i
Let v = 119 - 119. Sort v, -4, 9, -3 in ascending order.
-4, -3, v, 9
Let w be (-1)/(-2) + 2/4. Let a be (0 + 0)/(-2 - 0). Suppose g + s = -4*s + 15, 2*s - 8 = a. Sort w, 5, g in ascending order.
g, w, 5
Suppose -2*a - 4 = -3*a. Let r = a + -5. Let k = 0 - 0. Sort r, 2, k in increasing order.
r, k, 2
Let x = -1 - -4. Suppose 2*o - 3*o - x = 0. Let l be o/(-18) + 1/(-2). Sort l, -0.4, 1/4 in ascending order.
-0.4, l, 1/4
Let l be 2/((3 - 3) + 2). Let i be (l + 0)/((-3)/6). Sort 0, i, -4.
-4, i, 0
Let l be (11/(-4))/((-3)/(-4)). Let y = l - -7/2. Sort 1/8, y, -2/3 in ascending order.
-2/3, y, 1/8
Suppose 4*a = -q - 9, -2*a = -4*a - 4*q + 6. Let i(g) = -3*g - 4. Let c be i(-3). Suppose 6*m = c*m - 4. Sort 1, a, m.
m, a, 1
Let g be -1 - (-3 - (-11)/6). Let a = 0.5 + 0.5. Put -0.1, g, a in decreasing order.
a, g, -0.1
Suppose -2*b + 5 = -1, -b + 8 = z. Put 6, z, -5 in decreasing order.
6, z, -5
Let p = -34 + 37. Let i be (2/7)/(2/3). Let h = 0 - -1. Sort p, i, h.
i, h, p
Let j = 2202/7 - 314. Sort 2/3, 0.13, j, 0.5 in descending order.
2/3, j, 0.5, 0.13
Suppose 45 = n + 2*n. Suppose 10 = 4*y + 3*c - 0*c, -5*y + n = 5*c. Sort -3, y, 3 in decreasing order.
3, y, -3
Let y = 10.9 - 11. Let x = -19 + 20.6. Put x, -1/4, y in decreasing order.
x, y, -1/4
Let c = -0.64 + -2.36. Sort -8, c, -0.3 in decreasing order.
-0.3, c, -8
Suppose -38 = 5*o + 3*f, 22 = -3*o - f - f. Let d be 1/(-5) - 4/o. Let h be (-2 