 = 0.1 - 0. Put -4, n, u in descending order.
n, -4, u
Suppose 0 = -4*w + 10 + 6. Suppose -3*j - 2 - 2 = -b, -w*j - b = -4. Let k = -3/34 + -13/238. Put -0.5, j, k in increasing order.
-0.5, k, j
Suppose -14 = -3*j - 2. Suppose m = 4*a + 17, -2*a + 5*a + 17 = 5*m. Suppose -3*y - 3*i = i + 27, 0 = -2*i - 6. Put j, a, y in ascending order.
y, a, j
Let j = 0.11 + -0.51. Sort j, 0.3, 8 in descending order.
8, 0.3, j
Let h = 0.06 - -0.34. Let r = -5 + 8. Let i = -209 + 213. Sort r, i, h in descending order.
i, r, h
Let r = -14.91 - 0.09. Let n = -13 - r. Let y be (-10)/(-12) + -1 + 0. Sort y, -0.4, n.
-0.4, y, n
Suppose -3*y + 656 = y. Let z be y/(-14) - 6/21. Sort 0.1, z, -4 in descending order.
0.1, -4, z
Suppose 2*s = -6 + 8. Sort 9, s, 4 in descending order.
9, 4, s
Let a(w) = -w**3 - 11*w**2 - w - 9. Let z be a(-11). Sort -5, 5, z in increasing order.
-5, z, 5
Let d be (-38)/(-30) - (-10)/25. Sort -2/9, -1, d, -0.3.
-1, -0.3, -2/9, d
Let j = 68 - 66. Sort j, 3, -10.
-10, j, 3
Let l = 206 + -202. Sort l, -1/4, -5, -8 in descending order.
l, -1/4, -5, -8
Suppose -c = -2*c - 0*c. Sort 4, -3, -2, c.
-3, -2, c, 4
Let l be (0 + -1 - 2)*1. Let b = 3 - -1. Suppose -b*h + 2 - 6 = 0. Sort h, l, 1 in descending order.
1, h, l
Suppose -7*m - 10 - 4 = 0. Put -3, 4, -1/8, m in descending order.
4, -1/8, m, -3
Let c = 33 + -97/3. Suppose -2*g - 2*g = 8. Let u be (-6)/4 - (-1)/g. Sort -3, c, u in descending order.
c, u, -3
Let l(p) = p**2 - 5*p + 1. Let o = -6 - -11. Let q be l(o). Suppose -q = 3*t + 2. Sort t, 4, -6 in descending order.
4, t, -6
Let f = -659/198 - -36/11. Let q = -1/6 + f. Put q, 0.1, 2/9 in descending order.
2/9, 0.1, q
Let r = 6 + -4. Suppose -3*x + 7 = -2*w, 0*w + w = 1. Sort -3, r, x in increasing order.
-3, r, x
Let x(t) = t - 3. Suppose 0 = -3*f - 0*f + 15. Let h be x(f). Suppose 3*s + 4*y = -20, 2*s = s + 3*y + h. Sort 4, 3, s in ascending order.
s, 3, 4
Let a(h) = -h - 3. Let f be a(0). Suppose 5*r = 3*w - 11, w - 4*r + 0 + 1 = 0. Suppose -2*z = -w*z + 15. Sort f, 1, z in descending order.
z, 1, f
Suppose -2*b + d - 4 - 2 = 0, -d - 4 = 0. Put -2, -4, b in descending order.
-2, -4, b
Suppose -r + 4*y - 32 = 4*r, 4 = 2*r + 4*y. Let k be (-6 + 3 + 2)*-3. Suppose 0 = k*u - 0*u. Sort u, r, 4 in ascending order.
r, u, 4
Suppose -5*f + 7 = 4*v, -1 = -f - 2*f - 4*v. Put f, -2, 11, 5 in decreasing order.
11, 5, f, -2
Let t(n) = -n**3 - 7*n**2 - 7*n - 3. Let w be t(-6). Suppose 2*f + 3*i - 1 = 0, -3*f - 3*i + 9 = w. Put f, -3, 0 in increasing order.
-3, 0, f
Let v = -0.6 + -1.4. Put 0.1, v, 1/4 in decreasing order.
1/4, 0.1, v
Let a = 4.16 + -0.16. Put a, -0.3, 14 in increasing order.
-0.3, a, 14
Let t = 10.9 - 11.3. Put t, 18, 0 in descending order.
18, 0, t
Suppose 5*i = -4*b + 25, -2*b + 2*i + 11 = 3*i. Put 4, b, -5 in descending order.
b, 4, -5
Let m = 6 - 11. Let y(u) = -u + 4. Let g be y(6). Sort m, 4, g in increasing order.
m, g, 4
Suppose 0 = -5*q + k - 22, -4*q - 3*k - 2*k = 35. Put -4, 1, q in ascending order.
q, -4, 1
Suppose -10 = -12*f + 10*f. Suppose 5*q + f = 5*d, 2*d - 3*q = -8*q - 19. Sort d, -1, 0 in increasing order.
d, -1, 0
Let x be 12/176 + (-2)/(-11). Put x, 15, 1/9 in ascending order.
1/9, x, 15
Let o = 20 - 21. Let u = 0 + o. Sort 4, 2, u in decreasing order.
4, 2, u
Let u = -0.4 + 0. Let s = -4 + 7. Let d = -2.2 - 0.8. Sort u, d, s in ascending order.
d, u, s
Suppose -13 - 3 = -4*k, 2*k + 12 = -4*b. Let l be (5/b)/((-3)/(-12)). Put l, -6, 1 in decreasing order.
1, l, -6
Let c be ((-12)/60)/((-2)/(-4)). Sort c, 0, 0.1.
c, 0, 0.1
Suppose 2*f - 3 = 5. Suppose 3*u + u - 20 = 2*r, f*r = -5*u + 12. Put u, -2, -3 in ascending order.
-3, -2, u
Let j(d) = -d**2 + d - 1. Let h be j(0). Let z(c) = 2*c**2 + 2*c + 1. Let q = 0 - 1. Let t be z(q). Sort 4, t, h in decreasing order.
4, t, h
Let r = -146 + 141. Sort r, -3/5, -0.3.
r, -3/5, -0.3
Let k(g) = -10*g + 15. Let f(c) = 7*c - 10. Let h(q) = -7*f(q) - 5*k(q). Let o be h(6). Sort 5, o, -1 in ascending order.
-1, o, 5
Suppose -4*d + s = -s, -5*d + 3 = -s. Let h = -4 - d. Let b be (-4)/h*(-20)/4. Put -5, 1, b in decreasing order.
1, b, -5
Suppose 2*u - 4*h - 12 = 0, 18 = -4*h + 2. Let q be 2*(-11)/12 - u. Sort q, 3, -3.
-3, q, 3
Let h = 139 + -135. Let y = 1 + -1. Sort 2, y, h in decreasing order.
h, 2, y
Let p(y) = -2*y + 1. Let h be p(2). Let c be ((-42)/(-8) + 2/(-8))/1. Sort h, c, 0 in ascending order.
h, 0, c
Let j = 0.5 + -0.3. Let u = -0.5 + -27.5. Let r = u + 27.5. Sort j, r, 1 in descending order.
1, j, r
Let v = 2 - 5. Let s = 0.12 + -3.12. Let u = s + 2.7. Sort v, 0, u in decreasing order.
0, u, v
Let g be (2 + -1 + -2)/1. Let h be (g + 0)/(3/(-6)). Let p = 1 - h. Put -4, 3, p in decreasing order.
3, p, -4
Let q be (-9)/15 - (-36)/(-15). Sort 5/8, q, -2/7 in decreasing order.
5/8, -2/7, q
Let r = -181/2 + 91. Put 1, -1, r in increasing order.
-1, r, 1
Let i = 5.4 - 0.4. Let v = 17 + -8. Let j be (-4)/(-4)*1/v. Put i, -0.2, j in increasing order.
-0.2, j, i
Let n = 51 + -56.9. Let g = 6 + n. Sort g, -5, 0 in descending order.
g, 0, -5
Let x be (-72)/27*9/(-2). Suppose 5*o + x = -8. Sort 3, o, -1.
o, -1, 3
Let c = -23 - -17. Let a be (-12)/c*(-2)/(-46). Put -5, a, -0.3 in ascending order.
-5, -0.3, a
Let n = 22 + -12. Let f = -9.8 + n. Let p = 0.1 - 0.1. Sort p, f, 3/7 in increasing order.
p, f, 3/7
Let k = -0.1 - -0.1. Let d = k - -4. Let b(v) = -v**3 + v**2 + 10*v - 13. Let z be b(3). Sort -4, d, z in descending order.
d, z, -4
Let h(l) = l**3 - 14*l**2 + l - 19. Let w be h(14). Sort 1, w, -2, 3 in descending order.
3, 1, -2, w
Let k(a) = a**3 - 4*a - 1. Let g be k(-2). Sort -4, -3, g.
-4, -3, g
Let x = 11 - 12. Let d = x - -4. Put -4, -1, d in increasing order.
-4, -1, d
Suppose 2*u = -u + 15. Let p = -25 + 26. Suppose -a - 5 + p = 0. Sort u, -6, a in ascending order.
-6, a, u
Let z be (2/12)/((-6)/8). Let h = -134 - -133.7. Sort z, 3, h in decreasing order.
3, z, h
Let a = 0.02 + -0.02. Let d = -60 + 185/3. Put d, 5, a in descending order.
5, d, a
Let y be (0 + (-12)/3)/(-2). Suppose 0*d = -y*d - 10. Sort -4, 2, d in descending order.
2, -4, d
Let z = -130 - -129. Put z, 2/29, 0.2 in decreasing order.
0.2, 2/29, z
Suppose 0 = -2*i - 5*a + 1, 3*i - 3*a + 44 = -2*i. Suppose 4*v = -5*y + 7 + 2, 4*y + 6 = -v. Let w = i + v. Sort w, 1, 0 in ascending order.
w, 0, 1
Suppose 0 = -5*j + 6*j + 5. Let q(i) = i**3 + i**2 - i - 1. Let h be q(-1). Suppose h = m + 4*m. Sort j, 1, m in decreasing order.
1, m, j
Let t = 9 - 12. Let q = 0 - t. Put 5, -2, q in descending order.
5, q, -2
Let n = 0 + 3. Sort 0, 0.7, n.
0, 0.7, n
Suppose 10 = 12*o - 10*o. Let i(n) = -n - 3. Suppose -2*d - 4 = -0*d. Let y be i(d). Sort y, 3, o.
y, 3, o
Let z = -527/7 + 75. Sort -4, z, 3, 2/13 in increasing order.
-4, z, 2/13, 3
Suppose -7*t + 2*t + 15 = 0. Sort 8, t, 1 in decreasing order.
8, t, 1
Let c(i) = -i**2 + 35*i - 66. Let f be c(33). Sort -1, f, 7 in decreasing order.
7, f, -1
Suppose 0 = 4*u - 16, -5*u + 10 = -3*k - 13. Let l be (-3 + 0)/(-1) - -2. Suppose -5 = -5*z + l. Put z, k, -4 in ascending order.
-4, k, z
Let i = -18 - -27. Put -2/13, i, -2/3 in descending order.
i, -2/13, -2/3
Let t be (17/17)/(-3 - -1). Let a = 11 + -8. Put t, 0.3, a in descending order.
a, 0.3, t
Let m be 7/((-14)/(-12)) - 2. Let i be (2 - 1)/((-2)/6). Sort -2, m, i in decreasing order.
m, -2, i
Let n = 10/31 + 23/217. Let d = 0.5 - -3.5. Let v = d + 1. Put v, -2/9, n in increasing order.
-2/9, n, v
Let b = 0.09 - 2.09. Sort b, 4, -0.2 in decreasing order.
4, -0.2, b
Suppose -10 = -2*d, 14 = 2*s - 0*d + 2*d. Sort s, -1, 4.
-1, s, 4
Let p = 0.01 - 2.01. Let d = p + 2.4. Let n = -0.01 + 4.01. Sort n, 0.1, d.
0.1, d, n
Let h = -2/99 - 29/198. Put -10, 3, h in ascending order.
-10, h, 3
Let n(c) be the third derivative of -c**6/120 - c**5/60 + c**3/6 + 4*c**2. Let r be n(-2). Put r, -4, 1 in descending order.
r, 1, -4
Suppose 2*q - 6*q + 80 = 0. Suppose 3*h = -2*h + q. Let a(l) = -l**2 - 5. Let b be a(0). Sort 1, b, h in decreasing order.
h, 1, b
Suppose 2*m = 6*m. Sort -3/4, -3/7, m.
-3/4, -3/7, m
Let w = 2.6 + -2.8. Put -6, w, 0.5 in descending order.
0.5, w, -6
Let u(d) = -8*d**3 - d**2 - d. Let k be u(-1). Sort 2, 1, k in descending order.
k, 2, 1
Let y(c) = 3*c + 5. Let z be y(-2). Put -5, z, -2 in decreasing orde