increasing order.
-1, r, i
Suppose 2*r = 2*s + 6, 8 = -2*s + 4*r - 0*r. Let x be (-40)/12 + (-2)/(-6). Sort s, 5, x.
x, s, 5
Let c = 0.4 - 0.2. Let u be (-10)/(-65) + 20/(-117). Let q = 80/117 + u. Sort 0.1, q, c in decreasing order.
q, c, 0.1
Suppose -o + 2 = o, 0 = -5*v - 2*o + 47. Suppose 0 = s - 0*z - 3*z + 7, z - v = -s. Let j(k) = -k + 1. Let w be j(6). Put w, 0, s in decreasing order.
s, 0, w
Let v = -0.23 - 0.07. Sort -3, -2/13, 9, v in decreasing order.
9, -2/13, v, -3
Suppose r + 3 = 8*k - 5*k, 0 = 2*r + 3*k - 21. Put 1, -2, 3, r in descending order.
r, 3, 1, -2
Let g(b) = -b**2 + 6*b + 18. Let t be g(8). Sort 0, -3, t in descending order.
t, 0, -3
Let k = 16 + -14. Suppose 3*w + 3*m - 3 = 0, -4*m = -2*w - 0*m + 32. Suppose w = -2*z - k. Sort 0, -0.4, z in ascending order.
z, -0.4, 0
Let j be (1 + 2)/(-2*9/12). Put 5, -3, j, 2 in decreasing order.
5, 2, j, -3
Let l = 7.9 + -7.7. Sort 4, l, -3, 2/41.
-3, 2/41, l, 4
Let m(c) = c. Let x be m(2). Suppose -x*y = -3*y - 1. Put 2, -5, y in decreasing order.
2, y, -5
Let g = 69.2 - 63. Let r = -0.8 - -2. Let w = r - g. Sort w, 0.1, -2/7 in increasing order.
w, -2/7, 0.1
Let o(z) = -2*z + 9. Let x be o(7). Let n(l) = 2*l - 4. Let k = 0 - -3. Let w be n(k). Sort 3, w, x in increasing order.
x, w, 3
Let h = -17 + 13. Sort h, -1, -2 in decreasing order.
-1, -2, h
Let f be ((-6)/4)/(45/(-30)). Sort 3, 7, 4, f in decreasing order.
7, 4, 3, f
Let g be 5 - 242/34 - -2. Sort -0.1, 2/5, g.
g, -0.1, 2/5
Let m = -2.2 + 1.7. Put -2, 3/4, m in increasing order.
-2, m, 3/4
Let s be (0 - -5) + -6 + (-3 - -7). Put s, 1, 2, -4 in increasing order.
-4, 1, 2, s
Let w = -6.4 - -6. Put -2/9, 2, w in descending order.
2, -2/9, w
Suppose -3*a + 7*a - 64 = 0. Let z = a - 9. Suppose z*y - 9 = 4*y. Sort -1/2, -0.4, y.
-1/2, -0.4, y
Let d be 4 - (-1618)/32*2. Let k = d - 105. Put -2, k, -2/7 in ascending order.
-2, -2/7, k
Let m = 0.2 + 0.8. Let a = -0.461 - -0.661. Put -5, m, a in decreasing order.
m, a, -5
Let d = 0.063 + 0.937. Sort 0, 0.5, 5, d in decreasing order.
5, d, 0.5, 0
Let c = 9 + -14. Sort 3, c, 2.
c, 2, 3
Let u = 1393 - 6871/5. Let s = u + -19. Let r be (-93)/225 + 2/6. Sort 3, s, r in increasing order.
s, r, 3
Let w = -6 - -10. Suppose 4*z + 4 = -w. Let l(i) = i**3 + 3*i**2 + i. Let a be l(-1). Sort a, -4, z in ascending order.
-4, z, a
Let j = 679/1115 - 2/223. Let t = -23/36 - -5/12. Suppose 0 = 6*y - y + 10. Put t, y, j in ascending order.
y, t, j
Let s be (-13)/(-5) + 2/5. Put 4, 5, s in increasing order.
s, 4, 5
Let x = 0.02 - 0.52. Let a be 5/(-3) - (1 - 2). Put 2, a, x in ascending order.
a, x, 2
Let h(w) = w**2 + 13*w + 4. Let s be h(-13). Sort s, -4, 1 in increasing order.
-4, 1, s
Let b = 0 - 0.2. Let i(w) = -2*w + 7. Let t be i(6). Let j be -1*(3 - (-16)/t). Put b, j, 3/2 in increasing order.
b, j, 3/2
Let h(s) = -s + 4. Let w be h(5). Sort w, 5, -3 in decreasing order.
5, w, -3
Let n be ((-8)/42)/(4/6). Let a = -10 - -9. Let f = a - -0.5. Put f, 1/2, n in descending order.
1/2, n, f
Let j = 9 + -13. Sort -1, j, 1 in decreasing order.
1, -1, j
Let t = 0.3 - 0.1. Suppose 0 = x - 3*k - 4 - 1, -x - 2*k = -5. Suppose 2*r = r - x. Sort r, 3, t in descending order.
3, t, r
Suppose -5*i + 8 + 12 = 0. Sort 3, i, -1 in ascending order.
-1, 3, i
Let k be (10/6)/(1/3). Suppose -k*o - 19 = -4. Suppose 5*h + 14 = 39. Put -1, o, h in decreasing order.
h, -1, o
Suppose 4*w + 13 = -5*v, -5*v - 4*w = -3*v - 2. Suppose -3*l + 4*g - 12 = -5*l, 4*g = 5*l - 16. Put l, 0, v in descending order.
l, 0, v
Let l be (-2)/(-3) - (-2)/6. Let r = 2 + l. Suppose -y = -r*y. Sort -1, 1, y.
-1, y, 1
Let z = -19 - -31. Let j = 11.8 - z. Put j, 0, 3 in ascending order.
j, 0, 3
Let f = -3 - -2. Let v = f + 1. Let o(z) = z**3 + 11*z**2 + 13*z + 26. Let w be o(-10). Sort w, v, -1 in descending order.
v, -1, w
Let i = 257 + -1802/7. Let h be 2/(-21)*(2 + 1). Put 5, i, h in decreasing order.
5, h, i
Let z be -3*(-2 + 88/42). Sort -5, 1, -1/4, z in decreasing order.
1, -1/4, z, -5
Let b be (-3)/(-3) + (2 - 3). Let q(i) = i. Let a be q(1). Suppose a = 4*w + 5. Sort b, -3, w.
-3, w, b
Let v = -35.7 + 36. Put v, 1, 0.2, 3/7 in ascending order.
0.2, v, 3/7, 1
Let f = 0.03 - 0.13. Let u = 14 + -25/2. Sort u, f, 1/6 in descending order.
u, 1/6, f
Let r = 4.1 + -0.1. Let y = r - 6. Sort y, 0, 2/11 in increasing order.
y, 0, 2/11
Let m = -7 + 12. Let b = 15 + -20. Let c = 4 + -3. Sort b, m, c in ascending order.
b, c, m
Let u(d) = -5*d**3 - 2*d**2 + d + 1. Let w be u(1). Sort -2, w, 4 in descending order.
4, -2, w
Let j = -0.28 - -2.28. Sort j, 4, -1/3 in decreasing order.
4, j, -1/3
Suppose -6*h = -0*h - 6. Suppose 2*o = 5 + 7. Suppose -4*q = 2*f + 12, 2*f - q = -o*q - 14. Put -5, f, h in decreasing order.
h, f, -5
Suppose 12*h = 11*h - 4. Let p = -15 + 7. Let s(c) = c**2 + 8*c - 2. Let w be s(p). Sort w, 4, h in decreasing order.
4, w, h
Let u = 22 - 25. Put 2/5, -0.5, 7, u in decreasing order.
7, 2/5, -0.5, u
Let w = -4 + 7. Let x be -6 - (w - 0)*-1. Let i = x + 4. Sort i, 0, 5 in ascending order.
0, i, 5
Suppose 7 = 3*k + 2*k + y, -5*k + 25 = -5*y. Sort -6, -1, k, -2 in increasing order.
-6, -2, -1, k
Let n(b) = -2*b - 10. Let j be n(-6). Suppose 4*p - 2 = 2. Let l be p/(-2) + (-2)/4. Sort j, -5, l in descending order.
j, l, -5
Let y be (3 - 9)/(-18) + 4/6. Let t(j) = -5*j. Let n be t(2). Let w = -7 - n. Sort w, y, 0 in descending order.
w, y, 0
Let w(y) = -y + 6. Let p be w(8). Sort 2, p, -5/6.
p, -5/6, 2
Let d = -0.26 - 0.24. Put -5, -2/3, d in decreasing order.
d, -2/3, -5
Let b be 0 + 0 + (-24)/(-84). Put -5, -3, b, -26 in increasing order.
-26, -5, -3, b
Let v be (1/1)/((-12)/22) - -1. Put -0.1, v, 1 in decreasing order.
1, -0.1, v
Let q = 9 + -10. Let m(r) = -3*r**2 - 1. Let w be m(1). Let a = w - -5. Sort a, -4, q.
-4, q, a
Suppose z = -11 + 3. Sort z, -5, 3/7, 1/5 in descending order.
3/7, 1/5, -5, z
Let q = -1.1 + 2.1. Put -1, -0.1, q in decreasing order.
q, -0.1, -1
Let x = 2 + -2.1. Let o = x - -0.1. Let k = -1.25 - -2.25. Sort o, -1, k.
-1, o, k
Let l be ((-2)/8)/(((-6)/2)/(-3)). Sort -46, l, 4.
-46, l, 4
Let y be (-26)/(-10) - 2/(-5). Let g = 24 - 22. Let s = g + 0. Sort 4, y, s in decreasing order.
4, y, s
Let v be (1/1)/(2/10). Suppose 4*w + 0 - 4 = 0. Put v, -5, w in ascending order.
-5, w, v
Let i(f) = f**3 - f**2 - 14*f + 7. Let v be i(4). Sort v, 67, 0.4 in increasing order.
v, 0.4, 67
Suppose 2*m - 18 = -20. Sort 1, m, -5, 33 in increasing order.
-5, m, 1, 33
Let m = -1 + 4. Let c(y) be the third derivative of -y**6/120 + y**5/10 - y**4/24 + y**3/3 - 2*y**2. Let h be c(6). Sort h, m, -1 in increasing order.
h, -1, m
Let j be 1*(-4 + 18/5). Let o = 70/9 - 23/3. Sort 0.5, j, o.
j, o, 0.5
Let f = 37 + -25. Let k be 2/3 + (-56)/f. Let a be k/10 - (-33)/120. Sort 3, a, -4/3 in decreasing order.
3, a, -4/3
Let m(j) = -j + 1. Let g be m(5). Let x = g - -3. Sort x, 2, -2 in ascending order.
-2, x, 2
Suppose 0 = 2*g - g - 5*j + 18, 0 = -g + 4*j - 14. Suppose 14 - 4 = -4*y - 2*r, -5*y + 3*r + 15 = 0. Sort g, y, 3 in ascending order.
y, g, 3
Let a(y) = 2*y + 9. Let x be a(-6). Put -1, x, 2 in descending order.
2, -1, x
Let s(j) = -j + 8. Let w be s(12). Sort 3, w, -5, 5 in ascending order.
-5, w, 3, 5
Suppose 0 = -w + 6*w + 4*l - 22, 2*l - 4 = w. Suppose 2*o + 0*o + 4*k = w, -4*o = -5*k + 9. Put o, 4, 5 in increasing order.
o, 4, 5
Suppose -4*w - 5*t = 8, 0 = -3*t - 6 + 18. Suppose 3*d - 3 = 6. Let o be (-4)/(-6) - w/d. Put -5, -4, o in decreasing order.
o, -4, -5
Let d be 3 + 3 + (1 - -2). Suppose i = -4 + d. Sort 7, i, -3 in increasing order.
-3, i, 7
Suppose 0 = -z - 3*z - 12. Sort 2, 8, z, 5 in decreasing order.
8, 5, 2, z
Let n = -36 + 38. Let m = 1 - 1.1. Let u = -0.1 - m. Put -0.4, n, u in decreasing order.
n, u, -0.4
Let b be 2/8 - 100/16. Let t be (-12)/7 - 2/7. Let l be b/t + 0 + 0. Put 2, -4, l in decreasing order.
l, 2, -4
Let f = -146 + 162.9. Let x = 17 - f. Sort x, 3, -4 in ascending order.
-4, x, 3
Let n = 4.6 - 3.3. Let c = 0.3 - n. Let g = 0.19 + 0.21. Sort g, c, -4 in increasing order.
-4, c, g
Let j = 11/6 + -49/30. Let c be (-9)/(-2)*(-1)/66. Let f = -73/220 + c. Put f, -1, j in decreasing order.
j, f, -1
Suppose -3*d + 7 = -4*v, -4*d + v = -2*v - 7. Let o(z) = -z - 4. Let g be 0*3*(-2)/(-6). Let c be o