creasing order.
2, c, -2
Let w = 30 - 42. Let l be (1 + -4)*w/(-162). Put -2, 6/7, l in descending order.
6/7, l, -2
Let r be (-2 + 4)*3/6. Put 5, -1, r, -5 in descending order.
5, r, -1, -5
Suppose -4*r + y - 11 = 0, r - 4*y + 1 = -2*y. Suppose -3*s = -3 - 6. Let i(z) = -z**3 + 2*z**2 + 2*z + 4. Let q be i(s). Put 0, r, q in ascending order.
r, 0, q
Let a be (0 + 1 - 0) + -1. Let c be (-27)/81*1*-3. Sort -2, a, c in descending order.
c, a, -2
Suppose -5*f + 15 = -20. Put f, -4, -1, -2 in descending order.
f, -1, -2, -4
Let n = -151 + 147. Put 1, 1/2, n in descending order.
1, 1/2, n
Let y be (-4)/12 - (-25)/3. Put -0.5, -5, y, 5 in descending order.
y, 5, -0.5, -5
Suppose -2*u = 3*u + 5. Let o = 34 + -32. Put u, o, 3 in descending order.
3, o, u
Let b(z) = z**2 + 4*z - 1. Let g be b(-5). Let l = g + -2. Sort 1, 3, l in descending order.
3, l, 1
Let i = -5.87 - -2.93. Let h = 0.06 - i. Put h, 1, -3 in increasing order.
-3, 1, h
Let c(h) = -h - 8. Let z be c(-10). Sort z, -1, 2/19, 1/2 in descending order.
z, 1/2, 2/19, -1
Let s be ((-48)/2)/3 - -2. Let v(i) = -i - 3. Let a be v(s). Let k be ((-4)/(-6)*a)/(-1). Sort -5, k, 5.
-5, k, 5
Let a be ((-2)/2 - -3) + 0. Let m(f) = -f**2 - 5*f - 6. Let r be m(-4). Sort 4, r, a in decreasing order.
4, a, r
Suppose -4*d = d. Let z(b) = -2*b - 1. Let x be z(-1). Sort x, d, -1 in descending order.
x, d, -1
Let a = -17 + 13. Sort -5, 3, a, -1.
-5, a, -1, 3
Suppose 4*b - 2*g = -20, b + 2*b = 4*g - 25. Let x be (b/3)/2*-6. Let m(c) = -c**2 + 5*c + 2. Let d be m(6). Sort x, -3, d in descending order.
x, -3, d
Suppose 4*i - 7 + 15 = 0. Sort 3, 5, i in descending order.
5, 3, i
Suppose -2 = -3*j - 5. Let d(l) = l**2 - 9*l + 2. Let o be d(9). Put o, -2, j in descending order.
o, j, -2
Let v = 0.2 - 0.4. Let y = v - -0.7. Let n = 6 + -5. Put -0.1, n, y in ascending order.
-0.1, y, n
Suppose -5*x = -2*x + 4*a - 26, 2*x - 14 = -2*a. Put x, 5, 0 in ascending order.
0, x, 5
Let l be (18/5)/((-4)/(-75)). Let o = l + -1219/18. Put o, 1, -0.2 in ascending order.
o, -0.2, 1
Let m(d) = -d**2 - 6*d + 13. Let c be m(-8). Let b = 2 - -1. Suppose -z = b*z - 16. Sort c, z, -5 in increasing order.
-5, c, z
Let u = 17 - 33. Let b be (12/(-8))/(6/u). Put 3, b, 2 in decreasing order.
b, 3, 2
Let z = -0.2 + 0.4. Put -5, 3/2, z in decreasing order.
3/2, z, -5
Suppose 2*k = -2*r - 2*k, -r = -3*k + 5. Sort -3, r, -1 in increasing order.
-3, r, -1
Let m(g) = g**3 - 5*g**2 - 10*g. Let j(q) = q**3 - 6*q**2 - 10*q. Let u(o) = 4*j(o) - 3*m(o). Let z be u(10). Sort 2, z, -11.
-11, z, 2
Let d = -300/7 + 296/7. Sort 0.4, d, 3 in ascending order.
d, 0.4, 3
Let i(h) = -h**2 + 4*h + 2. Let r be i(5). Sort 5, -8, r, -4.
-8, -4, r, 5
Let y be (-2)/(-4)*(-1 - -1). Suppose -4*s - 10 = -2*a, 2*a + a = -5*s + 4. Let t be (9/a)/(3/4). Put y, 5, t in decreasing order.
5, t, y
Let v be (-4)/6*-3 + (-7)/5. Put 14, v, 2, -1/10 in descending order.
14, 2, v, -1/10
Let g(l) = -l**3 + 5*l**2 + 4*l + 7. Let p be g(6). Put 4, 0, p in decreasing order.
4, 0, p
Suppose 3 = u - 2*u. Put 5, u, 1/8, 0.1 in ascending order.
u, 0.1, 1/8, 5
Let f be -5*(3 - -3*(-8)/12). Put 1, 11, f in increasing order.
f, 1, 11
Suppose -3*r - 6 = 3. Let t = r - -1. Put t, -5, -4 in increasing order.
-5, -4, t
Let s(o) = o + 3. Let a be s(-2). Sort -4, 2, a in decreasing order.
2, a, -4
Let i be 12/18*6/2. Suppose 5*u + 1 + 4 = 0, -i*u = -2*a + 12. Sort a, 3, -2 in increasing order.
-2, 3, a
Suppose 0*f - 18 = 3*f. Let w be (-8)/(-5) - f/15. Let d be (3 - w)*2/2. Sort d, -4, 5 in decreasing order.
5, d, -4
Suppose 2*y - y - 11 = 0. Suppose -5*k = y + 9. Sort 0, 3, k in decreasing order.
3, 0, k
Let d be (-1)/(-3) + 1/1. Let s = 0.4 - 0.3. Let l = 2 - 2. Put s, d, l in descending order.
d, s, l
Suppose -p + 1 - 2 = 0. Let q be 2/(-14)*(-1)/p. Let a = 6 + -6.1. Sort a, 2/3, q in descending order.
2/3, a, q
Let c = -5.87 - -6. Let m = c - -0.07. Sort 2, m, -4 in increasing order.
-4, m, 2
Let l(t) = -3*t**2 - 5*t + 6. Let c(x) = x**2 + x - 1. Let i(k) = -5*c(k) - l(k). Let y be i(1). Put y, 1, 0 in descending order.
1, 0, y
Suppose q - 5 = 2*q. Suppose -2*i - 6 = -22. Suppose -5*p + 23 = -j, -j = 3*j + 5*p - i. Sort j, 5, q in descending order.
5, j, q
Let y(g) = 4*g**3 - 2*g**2 + 1. Let q be y(1). Let f(h) = 2*h - 2. Let j be f(q). Put 0.3, j, -0.5 in increasing order.
-0.5, 0.3, j
Let w = 1.18 + 3.82. Sort w, 1, 4 in increasing order.
1, 4, w
Let x = -39 + 38.7. Sort 0.3, 4, -1/9, x.
x, -1/9, 0.3, 4
Suppose -2*c = -2*w + 16, -3*w - 2*c + c = -12. Suppose 4*h + k - w = -2*k, -h = 2*k. Put h, -2, -5 in decreasing order.
h, -2, -5
Let w = -3.05 + 0.05. Let m = -1.5 + 2.2. Let j = 0.4 - m. Sort j, w, 0.4 in descending order.
0.4, j, w
Let w = -0.24 + 0.24. Sort w, -0.1, 2 in decreasing order.
2, w, -0.1
Let o = 299 + -301.11. Let w = o + 0.41. Let m = w - -2. Sort -1, m, 4 in decreasing order.
4, m, -1
Let x(m) = -m**3 - 19*m**2 - m - 6. Let i be x(-19). Sort -1, i, 1 in increasing order.
-1, 1, i
Suppose -12 = -8*x + 20. Put -2/7, -1/10, -4/7, x in decreasing order.
x, -1/10, -2/7, -4/7
Let i(z) = -z**3 - 8*z**2 - 7*z - 2. Let l be i(-7). Sort 5, l, 2.
l, 2, 5
Let i = 4 - 6. Let d = i - -2.5. Put -0.4, 4, d in descending order.
4, d, -0.4
Let o = 0.04 + -1.04. Sort o, -3, -6 in descending order.
o, -3, -6
Let l = 161/330 + 2/165. Put -6, -1, l in increasing order.
-6, -1, l
Suppose -5*p + p + 12 = 0. Suppose -3*o + 9 = 0, 2*d = 3*o - p - 6. Let s be (d - -1) + (-16)/10. Sort -2, 3, s in descending order.
3, s, -2
Suppose 6 = 2*a + 3*p - 8, -4*p + 13 = -3*a. Let d be (-2)/3*a*-3. Suppose 0*s - 10 = 2*z + d*s, 4*z - s = 5. Put 3, z, -4 in descending order.
3, z, -4
Suppose -a + 2 + 0 = w, 4 = -4*w. Sort 0, 7, a in decreasing order.
7, a, 0
Let h = -14 - -13.8. Let p be 12/80 - (-2)/(-5). Sort p, h, -5.
-5, p, h
Let s = -39 + 44. Sort -2/3, 18, s.
-2/3, s, 18
Let f = 16.6 + -0.6. Let t = 22 - f. Let q = t - 9. Put 0.5, 1, q in decreasing order.
1, 0.5, q
Let l(j) = j - 1. Let c be l(6). Let h = 9 - 3. Let y = h - c. Put -3, 3, y in descending order.
3, y, -3
Let u = -2.9 - -0.9. Let i = 6 - 5.6. Put 0.6, i, u in descending order.
0.6, i, u
Let d be ((-6)/4)/(-3)*6. Let j be d/4 - (-1)/(-4). Put -2/13, j, 2/3 in descending order.
2/3, j, -2/13
Let o = -24 - -16. Let h be -2 - -1 - 9/o. Sort h, -1/9, 3/2 in decreasing order.
3/2, h, -1/9
Let m(u) = 2*u**2 - 11*u + 3. Let r(y) = 2*y**2 + 8*y - y**2 - 1 - 3*y - 2*y**2. Let h(l) = 2*m(l) + 5*r(l). Let o be h(4). Put -2, -4, o in ascending order.
-4, o, -2
Let v(h) = -2*h**3 + 5*h**2 + 2*h. Let s be v(3). Put 5, -2, -5, s in decreasing order.
5, -2, s, -5
Let b be -9 + 8 + -4 + 0. Sort b, -4, 1 in descending order.
1, -4, b
Let c be (2*(-5)/(-10))/(-1). Sort c, 5, 2 in decreasing order.
5, 2, c
Let b = 2 - 0. Let h = -1 + 6. Let s(r) = -r**2 + 5*r + 1. Let t be s(h). Put b, t, -1 in ascending order.
-1, t, b
Let a be (-1)/(72/(-56) + (-4)/(-14)). Put -5, -2, -3/2, a in increasing order.
-5, -2, -3/2, a
Let b(u) = -4*u. Let z be b(-4). Let f be -3 - (2 - -2)*-2. Suppose -f*h + 5 = 0, -4*k - k + 4*h + z = 0. Put k, -3, 2 in decreasing order.
k, 2, -3
Let w be (-6)/(-9) - 4/6. Sort 4, -3, w in decreasing order.
4, w, -3
Let a = 42 - 22. Let o = a + -18. Sort 0.3, o, -5 in ascending order.
-5, 0.3, o
Let o(q) = -q - 6. Let n be o(-7). Suppose -2*f = 2*f - 12. Suppose 6*g = g + 5, 4*g - f = -t. Sort n, -2, t in decreasing order.
n, t, -2
Let j be 6/8 - 20/(-16). Let a(r) = r + 16. Let g be a(-15). Sort 1/9, j, g in decreasing order.
j, g, 1/9
Suppose 0 = 4*x - 4*g, 5*g = -3*x - 2 - 14. Put x, 1, -3 in decreasing order.
1, x, -3
Suppose 22 = 3*y + 7. Suppose 0 = 3*k - b - 8 - 3, -2*k = 4*b + 16. Sort 1, y, k.
1, k, y
Let z = 3 - 8. Let f be (-3)/2*(2 + 0). Sort 8, f, z in decreasing order.
8, f, z
Let k = -2.55 - 0.45. Put -2/15, 6/7, k in decreasing order.
6/7, -2/15, k
Let f be ((-3)/(-4))/(27/6). Put -4, f, 0, -5/4 in increasing order.
-4, -5/4, 0, f
Suppose l - 1 = -4*j, -j - l + 1 = -2*j. Suppose -2 = -f - 5. Suppose -3*u + 8 = -4*h, 3*h - 3 = -u - 22. Sort j, u, f in ascending order.
u, f, j
Let a be (-4)/(-21)*(-7)/6. Let c be 3/(-9)*3/2. Let x = 0.296 - -0.004. Sort c, a, x.
c, a, x
Let d = 147719338 - 7385726559/50. Let v = d - 4807. Let i = 