rder.
c, n, -2
Let k be 3/(3/2) - -3. Let b = k - 8. Put -4, 0, b in increasing order.
-4, b, 0
Let j(t) = -6*t - 6*t**2 + t**3 + 4 - 2*t**3 - 2*t**2. Let p be j(-7). Suppose 0 = -k - 3*b + 2, -5*k - 3 = -0*k + 2*b. Sort -2, k, p in descending order.
k, -2, p
Let u = -4/3 + 1. Put 0.3, u, -2/5 in ascending order.
-2/5, u, 0.3
Let q(x) = x**3 + x**2 - 2*x - 2. Let c = 3 - 5. Let g be q(c). Let p = 6 + g. Put 2, p, -3 in increasing order.
-3, 2, p
Let k = 4 + -6. Suppose 5*d = -o + 10 - 35, -3*o - 2*d = 75. Let c = o + 21. Sort 1, k, c in increasing order.
c, k, 1
Let y be 15/18*12/8. Put 0.2, -4/5, y in ascending order.
-4/5, 0.2, y
Let f = 66 + -74. Put 1, f, 2, 5 in descending order.
5, 2, 1, f
Let s = -0.12 + 0.02. Let t = 41/85 - -2/17. Let f = 0.07 + 3.93. Sort t, f, s in decreasing order.
f, t, s
Let g be (2 + 1)*(-2)/(-2). Suppose -3*s = -a + g + 10, -5*s - 4*a - 16 = 0. Sort s, -2, -3 in ascending order.
s, -3, -2
Let o = -219/4 + 56. Let t = 1 - 2. Sort o, -1/7, t in descending order.
o, -1/7, t
Let c = -21 - -29. Let r = 2 - c. Let i = -5.7 - r. Put 1/4, i, -0.1 in ascending order.
-0.1, 1/4, i
Let w = 0.05 + -5.05. Sort 3, 0.4, w.
w, 0.4, 3
Let g be 0 + 1 + (-5 - 1). Suppose -z = -0*z - 5. Let l(o) = o**3 - 4*o - 4. Let a be l(-2). Sort z, g, a.
g, a, z
Let c be (-1)/(2*1/(-4)). Let s(q) = q**2 - 2*q - 5. Let o be s(4). Put -4, c, o in descending order.
o, c, -4
Let d be (-2)/(1*(-2)/(-5)). Sort 0, -3, d in decreasing order.
0, -3, d
Let p = -60 + 56. Sort p, -0.4, 1/3 in ascending order.
p, -0.4, 1/3
Let f = 657/5 - 132. Let o = -95539 + 19585546/205. Let w = o + -2/41. Put w, f, -0.3 in increasing order.
f, -0.3, w
Let w(p) = -p**2 - 9*p + 12. Let m be w(-9). Let u = -8 + m. Let z be 22/(-8) - u/16. Put -4, z, -5 in descending order.
z, -4, -5
Suppose 50 = 5*u + 5*x, -20 = u - 3*u + 3*x. Sort -5, 1, -2, u.
-5, -2, 1, u
Let l = 199 + -211. Sort -4, l, 0.4.
l, -4, 0.4
Suppose 5*z - 3*z = -10, 4*g + 3*z + 15 = 0. Sort 1, -4, g.
-4, g, 1
Let c be (47/(-517))/(1/2). Let w = -0.6 + 0.1. Let r = -1.2 + 1. Put w, c, r in descending order.
c, r, w
Let d = -176399/1490 - -192/149. Let b = d + 245/2. Let l = b - 71/15. Sort 5, l, -0.1 in descending order.
5, l, -0.1
Let j = 10 - 8.4. Let f = 14.6 - j. Let d = -18 + f. Sort -1, -2, d in decreasing order.
-1, -2, d
Let f(r) = -5*r**2 + 3*r + 3. Let j(o) = 26*o**2 - 16*o - 16. Let v(u) = -16*f(u) - 3*j(u). Let p be v(1). Suppose a + 1 = p*a. Put -2, a, 2 in ascending order.
-2, a, 2
Suppose 2*a = 7*a. Suppose a*i = 2*u - i + 16, -4*u - 5*i - 4 = 0. Sort 1, u, 0 in descending order.
1, 0, u
Let o = -44 + 42. Sort -0.4, o, 2/11 in ascending order.
o, -0.4, 2/11
Let s be (-4)/8 - 42/4. Let y(i) = -i**2 - 11*i + 4. Let t be y(s). Sort -3, -5, t in decreasing order.
t, -3, -5
Let q = 0.7 + 0.3. Let o = -1.1 + 0.4. Let y = o + -1.3. Put 4, q, y in increasing order.
y, q, 4
Let t(b) = -b**2 + 5*b - 4. Let q be t(4). Put 0.3, 4, q in decreasing order.
4, 0.3, q
Let u be (8/(-7))/(-2 - (-12)/7). Put 7, u, 3, -4 in descending order.
7, u, 3, -4
Let n be 3 - (-5 + 1)/2. Let t(h) = -2 + 2 + h + 5 - 1. Let c be t(-9). Sort n, c, -3 in ascending order.
c, -3, n
Suppose -q = -4*h - 13, 5*q + 4*h = 2*q + 7. Put 9, -1, q in decreasing order.
9, q, -1
Suppose 51*k + 10 = 49*k. Let g(i) = i**3 + 8*i**2 + 8*i + 6. Let c be g(-7). Sort 0, c, k in ascending order.
k, c, 0
Suppose 3*t + 2*g - g + 1 = 0, 4*t + 12 = 4*g. Sort t, -2, 8 in descending order.
8, t, -2
Suppose -20*c = 24 + 56. Let o = 9 + -5. Put c, o, -3 in ascending order.
c, -3, o
Let k be 6/(-5)*160/(-48). Put 1, k, 2 in descending order.
k, 2, 1
Let h(o) = 3 - o + 6*o - 4*o + 7. Let g = 12 - 22. Let z be h(g). Put z, -1, -3 in ascending order.
-3, -1, z
Suppose 0 = -3*d + 10 + 2. Put 5, 0, d in decreasing order.
5, d, 0
Let t = 0.2 - 0. Let p = -0.7 + t. Let y = p + 0.3. Sort y, 0.3, 1/4.
y, 1/4, 0.3
Let v = 0.23 + 2.77. Sort v, -1/4, 4 in decreasing order.
4, v, -1/4
Let t = -1.3 + 1.5. Sort t, -3, -3/5 in decreasing order.
t, -3/5, -3
Let s = 0.4 - 1. Put 2, s, 2/3 in increasing order.
s, 2/3, 2
Let f(z) = z + 8. Let r be f(-4). Suppose r = -2*m, -v + m - 2 - 3 = 0. Let q = v + 6. Sort 5, 4, q in ascending order.
q, 4, 5
Suppose -j - 7 = -4*m, -4*j + 5 = 3*m - 5. Suppose -4*s - 3 = -3*c - 6, -c - 1 = -4*s. Sort 4, c, m.
c, m, 4
Let v(g) = g**3 + 4*g**2 - 7. Let t be v(-3). Let k = t + 1. Sort k, -2, 5 in increasing order.
-2, k, 5
Let m = -21 - -16.5. Let y = m - -4. Put y, -5, -2 in descending order.
y, -2, -5
Let x = -0.2 + 0.2. Put 3, x, -4/9 in ascending order.
-4/9, x, 3
Let v = 4 + 1. Let g = 8 - 8.4. Let h = g - -0.3. Sort h, -0.2, v in decreasing order.
v, h, -0.2
Suppose 0 = t - 5 + 9. Sort 5, 4, t, -3 in decreasing order.
5, 4, -3, t
Let n be (-9)/(-2) + 1/2. Suppose h - 2*y + 1 = 4*h, 0 = -3*h + 2*y + 17. Suppose q = -2 - h. Sort q, 1, n in increasing order.
q, 1, n
Let f = 88 + -268/3. Let c be 1/3 - (-7)/(-12). Let l = 0.3 + -0.4. Sort f, c, l.
f, c, l
Let z = 0.3 - 0.1. Let l be -3*4/(-6) + 2. Sort l, z, -1/6 in descending order.
l, z, -1/6
Let q be (-3 + (-20)/(-8))/1. Sort q, 1, -2/15 in decreasing order.
1, -2/15, q
Let r be ((-6)/(-2) - -1)*(-3)/6. Sort -1, r, -3, 5.
-3, r, -1, 5
Let j(q) = q + 10. Let g(n) = n + 10. Let b(i) = 5*g(i) - 6*j(i). Let s be b(-5). Put 2/11, s, 1/8 in increasing order.
s, 1/8, 2/11
Let h = 0.005 + -0.005. Sort -2/19, 4, h, 0.1 in increasing order.
-2/19, h, 0.1, 4
Let m(f) = 2*f**2 + 2*f - 3. Let x be m(-5). Sort 4, x, -2.
-2, 4, x
Suppose -2*b - 7 = -3*x, -4*b + 2*b = 5*x + 15. Let l(h) = h**2 - 4*h + 1. Let d be l(4). Let o be d/(14/8) - 0. Put b, 0, o in increasing order.
b, 0, o
Suppose 0 = 4*q - 6 - 10. Let c(p) = -p**3 + 2*p**2 - p + 1. Let s be c(2). Put q, s, 2 in decreasing order.
q, 2, s
Let k = 11 + -9. Let v = k + 3. Sort v, -1, -4 in descending order.
v, -1, -4
Let m = 24 - 14. Suppose -6*h - m = -h. Suppose 2*i + i = 0. Sort i, h, -5.
-5, h, i
Let m be -1*(-4)/(-4) - -16. Suppose 3*g + m = 2*u, 12 = 2*u + 2*u. Put 1, g, 3 in descending order.
3, 1, g
Let j(d) = 3*d + 7. Let m be j(-8). Put 1/4, -2, m in ascending order.
m, -2, 1/4
Let n = 38 + -36. Put -9, 5, n in ascending order.
-9, n, 5
Let l = -0.83 + 0.23. Sort -2/9, l, -4.
-4, l, -2/9
Suppose 5*u = 5 - 0. Suppose -4*s = -b - 5, -6*b + b - s = -17. Suppose -l - 2*l = 0. Put u, l, b in descending order.
b, u, l
Let p(r) = r**3 - 19*r**2 + 2*r - 43. Let i be p(19). Put 31, i, -2 in increasing order.
i, -2, 31
Let s = -4 - -13. Let v = s + -5. Let u = -2.8 + 3. Put 5, u, v in descending order.
5, v, u
Let s(l) = -l + 14. Let h be s(7). Suppose w + 2*r = 3, -2*w - 3*r = -3*w - h. Sort -2, 7, w in decreasing order.
7, w, -2
Suppose n = 6*n + 5. Suppose 3*d - 6 - 12 = 0. Let o = n + d. Put 1, 4, o in descending order.
o, 4, 1
Let d = 10 - 9.9. Let b be (54/(-24))/(1/4). Sort -3, d, b in increasing order.
b, -3, d
Let o = 0 - -3. Suppose -11*u + 14*u + 12 = 0. Sort -5, o, u in increasing order.
-5, u, o
Let b be (-2)/(-18)*(1 + 2). Let u = -1.07 - -1. Let h = u - 0.23. Sort b, -2/3, h.
-2/3, h, b
Let z = -8 - -6. Let n = -6 + 6.06. Let y = n - 0.56. Put z, y, -1/6 in increasing order.
z, y, -1/6
Suppose 0 = 5*v - 5, 5*v + 1 + 9 = 5*z. Let n = -3 - -7. Let f = 9 - n. Sort 4, z, f.
z, 4, f
Suppose 0 = -4*j + f + 12, -j = -3*j - 5*f - 16. Suppose -j*m + 6*m = -36. Sort -1, m, 4.
m, -1, 4
Let t = 1 - 1.1. Let f = t - 0.2. Sort f, 1, -5.
-5, f, 1
Suppose -2*x = -5*m - 15, -5*m - 16 = 2*x - 1. Suppose -15 = -4*o - 3*j, j + 1 - 6 = 2*o. Sort 4, o, m in decreasing order.
4, o, m
Let h = 23 + -16. Let x = 0 - h. Let i = x + 6. Sort i, -3, 0.3 in increasing order.
-3, i, 0.3
Let s(h) = h**2 + h + 2. Let l be s(-2). Suppose 0 = -0*a - l*a + 16. Suppose 0 = -0*t + a*t + 12. Sort 4, -1, t in ascending order.
t, -1, 4
Let m = 1.1 + -0.4. Let j = 5.7 - m. Sort 1/6, -5, j in ascending order.
-5, 1/6, j
Suppose 4*t - 14 = -3*a, -a + 5 = 5*t - 7. Suppose i - a*i = 0. Put 3, i, 4 in ascending order.
i, 3, 4
Let n = 0 - -0.2. Let b be 136/40 + 9/(-3). Put 2/9, n, b in decreasing order.
b, 2/9, n
Let o(k) = k**2 - 11*k - 17. Let g be o(13). Put 5, 3, g in increasing order.
3, 5, g
Let b = 8 + -2. Let r = b - 7. Put 1/2, r, 2 in descending order.
2, 1/2, r
Let