 4*m, 0 = 9*x - 5*x + m + 19. Sort 25, x, 4.
x, 4, 25
Let s = -98 + 95. Sort -4, s, 1 in decreasing order.
1, s, -4
Let h(a) = -a**2 + 14*a - 28. Let p be h(12). Sort 0, p, 2 in increasing order.
p, 0, 2
Let s = -25 + 31. Put 0, s, 4 in increasing order.
0, 4, s
Let t = 60 - 78. Sort t, 5, -1/7 in decreasing order.
5, -1/7, t
Let a = 59 + -59.3. Put -0.1, 4, a, -4 in decreasing order.
4, -0.1, a, -4
Let h be (-40)/(-12)*-1*(6 - 3). Sort 0, h, -1 in descending order.
0, -1, h
Suppose 2*t = -2*s + 12, -3*t = 3*s - 6*t. Let o(n) = -n + 2. Let p be o(s). Sort -2, p, -3.
-3, -2, p
Let a(g) = -2*g**2 + 3*g + 0*g - g**2 + 4 + 2*g - g**3. Let r be a(-4). Put -3, r, 6 in ascending order.
-3, r, 6
Suppose 0 = -o - 4*o - 5*z, 2*z = 4*o - 24. Suppose -1 = o*p + 19. Let v(c) = -4*c**2 + 1. Let u be v(-1). Sort 2, u, p.
p, u, 2
Let d(y) = -y + 7. Let u be d(10). Let v(k) = k + 1. Let c(l) = -2*l - 2. Let n(x) = c(x) + v(x). Let m be n(-2). Sort u, 3, m in increasing order.
u, m, 3
Let l be -2 + 2 + 9/((-9)/8). Suppose 6 - 3 = -u. Put -1, l, u in descending order.
-1, u, l
Let x(u) = -u**3 - 5*u**2 + 4*u - 8. Let n be x(-6). Suppose i - m = 0, -6*i + 2*m = -i - 6. Put 0.5, n, i in descending order.
n, i, 0.5
Let l(b) = b**3 + 7*b**2 + 6*b - 1. Let v be l(-5). Suppose 4*s - 1 = v. Sort -1/2, -0.3, s in ascending order.
-1/2, -0.3, s
Let o be (4/(-6))/(6/(-90)). Suppose 0*n + 2*n = -o. Sort 5, n, 2 in ascending order.
n, 2, 5
Let r be -4*(164/40 - 4). Sort -3, r, -4 in descending order.
r, -3, -4
Suppose -4*m + 21 = 5. Let b = 11 + -3. Let l be (m/b)/((-1)/2). Put -3, l, 4 in decreasing order.
4, l, -3
Suppose 2*u = 4*u + 4. Suppose 5*a - 17 = -3*l + a, 0 = -3*l + 3*a - 18. Let h = -5 + 1. Put u, h, l in decreasing order.
l, u, h
Suppose 4*m = -k + m - 2, 3*k = -4*m - 6. Let n = 0.1 - 0.6. Put n, k, 3 in descending order.
3, n, k
Let r = 6 - 8. Let z be -1*(-12)/3*1. Suppose 0 = -z*d - 0*d + 4. Sort r, 2, d in ascending order.
r, d, 2
Let m be 0*(2/4 + 0). Let a be 5 + m*(-3)/6. Suppose 0 = 5*w + 5*b + 15, 4*b = -4*w + a*b - 7. Put -1, w, 2 in increasing order.
w, -1, 2
Let d = -13 + 2. Let y = -7 - d. Let p = 0.3 - -0.1. Sort -0.1, p, y in descending order.
y, p, -0.1
Let t = 0.12 + -0.22. Put -3/2, t, 2/7 in decreasing order.
2/7, t, -3/2
Let q = -13 - -23. Let n = 1.495 - 0.495. Put -5, q, n in decreasing order.
q, n, -5
Let h = 15 - 20. Sort 4, 3, h in decreasing order.
4, 3, h
Let i(y) = -y**2 + 9*y + 27. Let r be i(11). Put 1, r, 4 in ascending order.
1, 4, r
Let l be 5 - 3 - (1 - -1). Suppose -4*v + z - 9 = 0, -v + 1 + 8 = 2*z. Sort l, v, 4.
v, l, 4
Let v be ((-2)/6)/((-2)/6). Let u be -1 + 2 - 1/(-1). Suppose -n - u = 2. Sort 4, n, v.
n, v, 4
Suppose 0 = 2*w - 3*w - 3. Let m(k) = k + 1. Let u be m(-6). Let l(a) = a**3 + 5*a**2 + 5. Let o be l(-5). Put u, w, o in ascending order.
u, w, o
Let k(a) = 2*a - 4. Let c be k(5). Let w be (-10)/c - (-4)/6. Let l be w/(-5) + 28/10. Put 4, l, 5 in descending order.
5, 4, l
Suppose 3*t + 1 = 2*x, -7*t + 12 = 4*x - 3*t. Suppose -3*g = -0*g + 2*y + 17, -5*y = -g. Let z be x/g + (-2)/(-5). Sort z, 3, 1 in descending order.
3, 1, z
Let i = -56 - -51. Suppose 4*y - 4 = -2*g, 3*g + 1 - 10 = -3*y. Put y, i, 4 in ascending order.
i, y, 4
Let v be 4/14 + (-38)/(-14). Let k(n) = -n**2 + 24*n + 53. Let c be k(26). Sort 5, v, c.
c, v, 5
Let b be 64/56 + -1*1. Let g = 4 - 1. Sort 0.2, g, b in ascending order.
b, 0.2, g
Let c(w) = -6*w + 11. Let r be c(4). Put 4, -5, r in descending order.
4, -5, r
Let h(t) = t**3 - 7*t**2 + 7*t - 9. Let i be h(6). Suppose 55 = 2*u + 4*g - 47, u - 36 = g. Let v = -208/5 + u. Put 0, v, i in increasing order.
i, v, 0
Let f be 8/4 - (3 - 0). Let k be (-2)/f - 5 - -2. Put k, 4, 3 in ascending order.
k, 3, 4
Let h = 6 - 4. Suppose -5*g + 2 = -3*d, 4*g + 0*d = -d - 12. Suppose 5*p = x - 9, 4 = x - p + 3. Put x, g, h in decreasing order.
h, x, g
Let v(d) = d**2 - 8*d + 3. Let f be v(8). Suppose 0*x = -z - f*x - 4, -5*x - 10 = 5*z. Let l = 1 - -2. Put l, z, -5 in descending order.
l, z, -5
Suppose 0 = -4*p - 39 - 41. Let o be 12/4*p/12. Suppose k = -5*c + 5, -3*k + 15 = -c - 3*c. Sort k, 1, o in descending order.
k, 1, o
Let a = 3.06 - 3.36. Let m = 501/10 - 101/2. Put -10, m, a in increasing order.
-10, m, a
Let s = 19 + -15. Suppose 0 = 2*h - 6*h + 12. Sort h, -1, s in decreasing order.
s, h, -1
Let g = -3 + 3.2. Sort 0, 0.3, -3, g in decreasing order.
0.3, g, 0, -3
Let j(x) = x**2 + 4*x. Let c be j(-2). Let z = -3 - c. Let q be 0/(-1 - -3) + -3. Sort q, 5, z in descending order.
5, z, q
Suppose 5*v = 26 - 11. Put v, -1, -5 in ascending order.
-5, -1, v
Let p(v) = -v**2 - 2*v + 3. Let s be p(-3). Let h be 72/(-8) + (-1 - 0). Let u = -14 - h. Sort 3, u, s in decreasing order.
3, s, u
Let g = 12.4 + -0.4. Let n = -20 + g. Let k = n - -5. Put k, -0.4, -2/9 in ascending order.
k, -0.4, -2/9
Let w(i) = 2*i**2 + 4 - 8 - i**3 + i**2. Let b be w(2). Put 3, b, 2 in descending order.
3, 2, b
Suppose -i + d - 10 = -3*i, -26 = -3*i + 4*d. Sort -4, 2, -1, i in descending order.
i, 2, -1, -4
Let m = 0 - 0. Let k(n) = -n**2 - 23*n + 171. Let h be k(6). Sort -5, h, m.
-5, h, m
Let q = -28 - -28.1. Put q, 0.8, 1 in ascending order.
q, 0.8, 1
Let x(c) = c**2 - 2*c - 3. Let d be x(-2). Suppose 5*n + 15 = -4*l, 4*l - 3*n - d = 4. Put 5, 4, l in ascending order.
l, 4, 5
Let k = 41.1 - 41. Sort k, 1, 2/3.
k, 2/3, 1
Let m(k) = 4*k - 6. Let q be m(7). Let n = 26 - q. Put n, -5, -1 in ascending order.
-5, -1, n
Let t = 2.89 + 0.11. Put t, 4, 1/3 in decreasing order.
4, t, 1/3
Let y be 34/8 - (-3)/(-12). Let j = y + -7. Let x = 15 - 11. Put x, j, 5 in ascending order.
j, x, 5
Suppose -j + 23 = 5*y, 4*y + j + 0*j - 19 = 0. Let p = -7 + y. Suppose -3*i - 15 = -2*t, 5*t - 4*i - 5 = 15. Sort 2, p, t in increasing order.
p, t, 2
Let l = -3.78 + -0.08. Let y = -0.14 + l. Sort 4, -1/5, y in decreasing order.
4, -1/5, y
Suppose -l + 2*l - 5*c - 15 = 0, l - 3 = 2*c. Suppose 6 = 3*n + 3. Sort l, n, 3 in descending order.
3, n, l
Let m = 63 - 42. Put m, 5, -3 in ascending order.
-3, 5, m
Let g(l) = l**2 - 7*l + 4. Suppose -11 = -3*h + 10. Let w be g(h). Sort 2, w, 5.
2, w, 5
Let z be (-32)/(-14) - (-6)/(-21). Let x(p) = p**3 - 2*p**2 + 1. Let g be x(z). Suppose 0 = -0*s + s + 2*t - g, s + 4*t = 7. Sort 2, s, 3.
s, 2, 3
Let h = 74.2 - 74. Sort h, 2, -1/11 in decreasing order.
2, h, -1/11
Let k = 143 - 1289/9. Put -4, k, -5, 1 in ascending order.
-5, -4, k, 1
Suppose q = -6*s + 2*s - 24, 5*q + 2*s + 30 = 0. Let y be (-4)/(3/((-12)/q)). Sort y, -2, 3 in decreasing order.
3, -2, y
Let o(d) = -d**2 + 2*d + 3. Let s be o(3). Let z = -2 - s. Let b be 15/6*8/5. Sort z, b, 2 in ascending order.
z, 2, b
Let m = -2.4 - -2. Suppose -2*g + 4*g = 0. Let x = -2 - g. Sort x, m, -4/3 in ascending order.
x, -4/3, m
Let u be (-10)/5 - (-1 + -3). Suppose u*d = -4*z + 30, z - 4*d + 10 = -d. Put -3, z, 1 in ascending order.
-3, 1, z
Suppose 3*k + 20 = -5*i, -3*i - 26 = -2*i + 5*k. Let t = i - 1. Let l be 2/(2*(2 + (-18)/8)). Put l, t, -1 in ascending order.
l, t, -1
Let v(j) = j**3 + 11*j**2 + 8*j - 20. Let k be v(-10). Sort 5/4, 1/5, -5, k in ascending order.
-5, k, 1/5, 5/4
Let m = -437 - -442. Suppose -4*y - 2 = -j, 3*y = -2*j + y + 4. Suppose j*s = -3*s + 5. Sort m, 0, s.
0, s, m
Let n(l) = -2*l**2 + 8*l - 1. Let u be n(4). Put u, 8, 3 in descending order.
8, 3, u
Let a = -22 - -11. Let s(f) = -f**2 + 12*f + 8. Let r(v) = 2*v**2 - 12*v - 9. Let o(y) = -2*r(y) - 3*s(y). Let q be o(a). Put 4, q, -4 in descending order.
q, 4, -4
Let a = 4 - 7. Suppose 0 = 2*q + 3*x + 2, -2*q = 2*q + 5*x + 2. Sort q, -4, a.
-4, a, q
Suppose -4*y - 7*l + 3*l = -32, l = 3. Suppose -2*j = -3*q + 33, 0 = q + 5*j - 8 - 3. Let c = q + -7. Sort c, -3, y in ascending order.
-3, c, y
Let n be 0 - 2 - (-16)/5. Let c = 0.4 - 0.4. Let d = 2 - c. Sort d, n, 0.3 in decreasing order.
d, n, 0.3
Let z = -7 - 6. Let h = 11 + z. Sort h, 4, 1.
h, 1, 4
Suppose -2*p - 2*q = -4, p + 4*q + 2 = 1. Suppose -39*m = -41*m + 8. Sort p, 0, m in decreasing order.
m, p, 0
Let m = -8 - 1. Let r be 3/(m/15)*-1. Suppose 3 + 2 = -r*f. Put 6, 3, f in decreasing order.
6, 3, f
Let h = -2 + 0. Let k = -4 + 5.6. Let u = 2 - k. Put h, u, -5 in increasing order.
-5, h, u
Let p = -10 + 6. Let l be (8 + -5)*2/4. 