pose 2*b = 4*g + 58, 0 = -2*g + b + 2*b - 27. Sort 3/4, 2/7, g in decreasing order.
3/4, 2/7, g
Let i be 1/(-4)*6/(-2). Let h be ((-20)/28 - 1) + 2. Sort h, i, -2/9 in ascending order.
-2/9, h, i
Suppose -g - 11 = -12. Suppose 4*y - 2*x + 12 = -2, -3*y = -2*x + 9. Sort g, 0, y in increasing order.
y, 0, g
Suppose 18*l - 16*l = 0. Suppose 3 = -2*p - l*p - 3*a, 0 = -3*p + 4*a + 4. Sort -2, -5, p in decreasing order.
p, -2, -5
Suppose 0 = 5*r - q + 2 - 5, -3*r - q = -5. Let u = 1 - 1. Sort 3, u, r.
u, r, 3
Let o = -3336/5 - -664. Let p = o - -14/5. Sort -4, p, 2/3 in increasing order.
-4, p, 2/3
Let b be 40/16 + 1/2. Let k = 0 - b. Suppose 4*u - 8 = d, 4*d + 2*u + 0*u - 4 = 0. Sort d, 5, k in descending order.
5, d, k
Let v be 9/4 - 2/8. Suppose 0 = -0*w - 9*w + 5*w. Suppose 0*t - 10 = 2*t. Sort t, w, v.
t, w, v
Let t be 4*2 - (-33)/(-11). Let z be 0/(0 + 0 - 1). Put t, 2, z in ascending order.
z, 2, t
Let r = 0.01 + 0.39. Let i be 20/5 - 23/6. Sort i, -5, r in increasing order.
-5, i, r
Suppose 0 = 3*p + 5*i - 25, -4*p - 12 = 2*i - 36. Suppose 8 = p*j + 23. Put j, 1, 2 in decreasing order.
2, 1, j
Let n = 6/29 - 129/203. Let a = -0.5 - 2.5. Sort n, a, -4 in ascending order.
-4, a, n
Let k(b) = b**2 - 2*b - 25. Let l be k(6). Sort l, 0, 3, -2 in decreasing order.
3, 0, l, -2
Let w(m) = 4*m**2 - 10. Let z(j) = -9*j**2 + j + 21. Let x(a) = 7*w(a) + 3*z(a). Let c be x(-5). Put -1, -1/4, c in descending order.
c, -1/4, -1
Suppose d - 14 = -3*n + 5*d, 5*n = 5*d + 20. Let i be (-8)/3*(-6)/4. Suppose -2*k = -a + 6*a + 20, -4*a = -2*k - 2. Sort a, n, i in ascending order.
a, n, i
Suppose 5*c - v - 3*v = 4, 0 = 4*c - v - 1. Put 2, c, 1 in decreasing order.
2, 1, c
Let j be (-2993)/2948 + -1 + 2. Let g = j - 1/134. Let q = 31/88 - g. Sort -1, -2, q in ascending order.
-2, -1, q
Suppose 0 = -5*z - 4 - 16. Put 3, -1, z in decreasing order.
3, -1, z
Let g = -0.6 + -1.4. Put 0.01, g, -5 in descending order.
0.01, g, -5
Let h(i) = i**3 - 5*i**2 + 3*i + 2. Let n be h(4). Let t(u) = -2*u - 7. Let s be t(-3). Put n, -5, s in increasing order.
-5, n, s
Let j be (-14)/35*(0 + -5). Let o(z) = 9. Let y(c) = c + 17. Let h(l) = -5*o(l) + 2*y(l). Let t be h(8). Put j, t, 1 in descending order.
t, j, 1
Let q = 25 + -21. Sort 5, q, -2, -1.
-2, -1, q, 5
Suppose -4*w - 1 = -9. Put -2, w, -3, 3 in ascending order.
-3, -2, w, 3
Suppose -3*v + 24 = 3*i, 47 = 5*v - 2*i - 0*i. Put 1, v, -3 in descending order.
v, 1, -3
Let g = 0.19 - 3.19. Sort g, -1, -0.3 in descending order.
-0.3, -1, g
Let k(w) = -w**2 - 4*w. Let n be k(-3). Let r(o) = -2 + 3*o**2 + o**n + 5*o + 4*o**2 + 0*o**3. Let p be r(-6). Sort 0, 2, p.
0, 2, p
Let k be (3/9)/(2/18). Suppose -v + 3*a = a - 1, -k*a + 2 = -5*v. Sort 0.4, -0.4, v.
v, -0.4, 0.4
Let t = 0.78 + 2.22. Put t, -0.05, 3/2, -4 in descending order.
t, 3/2, -0.05, -4
Let d = -3.2 + 3. Let o = 1.2 + -1. Let f = d + o. Sort f, -2/13, -2/21 in descending order.
f, -2/21, -2/13
Let a = 11/40 + -7/8. Let b = a + 31/35. Sort -4, b, 0.
-4, 0, b
Let u = 11 + -5. Let n = u + -4. Put -4, 5, n in ascending order.
-4, n, 5
Let f be ((-2)/2)/(7/28). Suppose 4*m + 6 = 2*t, 5*t = t - 5*m - 1. Put 3, f, t in descending order.
3, t, f
Let d be 0/((-10)/(-15)*(-3)/(-2)). Sort 2, 4, d, -4.
-4, d, 2, 4
Let a(w) = w**3 + 7*w**2 + w + 8. Let l be a(-7). Let h be 3/2 + (l - 1). Suppose 3*n = 2*d - 14, 3*n + 0 = -6. Put d, h, -0.4 in descending order.
d, h, -0.4
Let x = -0.9 + -2.1. Put -5, -4, -1/4, x in ascending order.
-5, -4, x, -1/4
Let x = 11/2 - 7. Sort 2/11, x, 0.2 in decreasing order.
0.2, 2/11, x
Let p = 0.22 - 0.15. Put -2, p, 2/5 in descending order.
2/5, p, -2
Let o = -11 + 17. Sort o, -5, -1 in descending order.
o, -1, -5
Let u(k) = -k**2 + 1. Let v be u(-2). Let o(h) = -h**2 - 9*h - 9. Let l = -2 + -6. Let r be o(l). Sort r, 2, v.
v, r, 2
Let q(k) = -3*k + 4. Let m be q(3). Sort 0.5, -0.106, m.
m, -0.106, 0.5
Let u = 197/35 + -45/7. Let y = -1.6 - -2. Let x(m) = -m - 4. Let n be x(-3). Put y, n, u in increasing order.
n, u, y
Let o be (-1539)/(-45) - 3/15. Sort -2, 1, o in descending order.
o, 1, -2
Let b be -2 + (1 + 4 - -1). Suppose 3*p + b*c - 2 = 0, -c = -2*p - 5*c. Suppose -p*i = 2*i - 4*r + 4, 2*r = -4*i - 4. Sort -4/9, i, -3/8 in decreasing order.
-3/8, -4/9, i
Let n be (4/10)/((-12)/(-60)). Suppose 4 = -4*b + 5*v, 2*b + v + 2 = 3*v. Sort n, 1, b in descending order.
n, 1, b
Suppose -12*s + 31 = 7. Suppose -2*b = 3*b + 15. Sort b, s, -5 in decreasing order.
s, b, -5
Suppose -4*w + k = -9*w + 20, 3*w - 5*k = -16. Let d be (-2 + -1)*(-3 + 4). Sort d, w, 4 in descending order.
4, w, d
Suppose -y + 12 = -4*y. Let s = 31 + -19. Suppose 5*x = -r - 18, x + s = -r - 2*x. Put 3, r, y in decreasing order.
3, r, y
Let l = -26 - -27. Put 0.14, l, -2/7 in ascending order.
-2/7, 0.14, l
Let p(t) = -t + 4. Let a be p(5). Suppose 2*q - 14 = 4*k, -8 = -4*q - k - k. Put a, 1, q in descending order.
q, 1, a
Let k = 45389969/186 + -244031. Let i = -8/31 + k. Sort 0.2, i, 0.3 in ascending order.
0.2, 0.3, i
Suppose 0 = 3*c - 4*q - 1, 5*q + 2 = -3. Let k(j) = -j**2 - 9*j - 16. Let w be k(-5). Put -4, w, c in increasing order.
-4, c, w
Let g = 2/83 - -73/415. Let b be (-11)/(-6) + 1/(-3). Sort g, b, -5 in descending order.
b, g, -5
Suppose -2*w + 3*y = y - 12, -y + 21 = 2*w. Sort 5, w, -1 in increasing order.
-1, 5, w
Let r = 5 + -9. Sort r, 4, -5, 0.
-5, r, 0, 4
Let w be ((-1)/(-3) - 0)*6. Suppose 1 - w = -d. Suppose -3*i - i = -20. Sort d, i, 4 in decreasing order.
i, 4, d
Let n(h) = -h**3 + 3*h**2 + 4*h + 1. Let f be n(4). Let a(l) = l**3 + 6*l**2 - 8*l - 5. Let q be a(-7). Sort -2, q, f in descending order.
q, f, -2
Let m = 47 - 31. Let r be (-76)/m - (-1)/(-4). Put -2, 2, r in descending order.
2, -2, r
Let v be ((-6)/8)/(3/(-36)). Let d = 4 - v. Sort -4, d, -2.
d, -4, -2
Let d = 21.3 + -22. Put 2, d, -4 in descending order.
2, d, -4
Let r be 4/(-6)*(-30)/(-4). Let g = 7 + r. Let s(t) = -2*t - 6. Let i be s(-5). Sort i, -1, g.
-1, g, i
Let a(f) = f**3 + 4*f**2 - 4*f + 7. Let t be a(-5). Sort t, -5, -2.
-5, -2, t
Let u = 27/32 - 449/608. Put -8/7, 5, u in decreasing order.
5, u, -8/7
Let n = -41 - -41.2. Sort 0.3, -1/9, n in ascending order.
-1/9, n, 0.3
Suppose -25 = -5*o - 0*o. Put o, 6, 4, 3 in ascending order.
3, 4, o, 6
Let l = 0.057 + -0.257. Let a = 2 + -2.2. Let k = -0.3 - a. Sort l, k, 3.
l, k, 3
Suppose 5*z + 9 = -2*u - 3, -9 = 4*z + u. Put z, -1, -5 in descending order.
-1, z, -5
Let g(d) = d**3 - 5*d**2 + 4*d + 1. Let o be g(4). Sort o, 4, -3, 0 in ascending order.
-3, 0, o, 4
Let q be 33*(-2)/12*-2. Suppose 13*c = 9*c - 4. Sort q, 5, c in increasing order.
c, 5, q
Suppose -3*v + 17 = -5*u, 5*v - 22 = 3*u - u. Put 0.1, 0.4, u in decreasing order.
0.4, 0.1, u
Let t = 2.2 + -2. Let r = 5.0472 - 0.0472. Sort r, 0.3, t in increasing order.
t, 0.3, r
Let x = 3 + -1. Let l = 13 + -7. Suppose -5*t - l = -4*w + 4, 0 = 5*t - 10. Sort x, 4, w in decreasing order.
w, 4, x
Let w be 6/9*1/(-2). Put 0.2, 0, w in decreasing order.
0.2, 0, w
Let v = -1.6 + 2.1. Put -2.1, -5, v in increasing order.
-5, -2.1, v
Let i = 46 + -45. Put i, -3, 2 in increasing order.
-3, i, 2
Let s = 19 + -17. Put s, -5, -4 in increasing order.
-5, -4, s
Let q = -0.5 + 5.5. Sort 1, 0.3, q in increasing order.
0.3, 1, q
Let m = 1.14 - 1.11. Let j = 0.2 - 0.1. Put m, 0.3, j in descending order.
0.3, j, m
Let i = -43/10 + 24/5. Let x = -6.3 + 6. Sort i, -0.1, x in ascending order.
x, -0.1, i
Let x(h) = 2*h. Let q(w) = w. Let f(p) = 5*q(p) - 3*x(p). Suppose 3*u + 1 = -2*m, 4*u - m - 2*m = -7. Let i be f(u). Sort -5, i, 2 in ascending order.
-5, i, 2
Let k = 0.1 + -1.1. Let f = -0.0041 - -0.7041. Put 4/7, f, k in ascending order.
k, 4/7, f
Let m(b) = 2*b + 7. Let g(y) = -y**2 + 4*y + 7. Let l be g(6). Let z be m(l). Let h be (6/5)/(2/5). Sort h, z, -5 in ascending order.
-5, z, h
Let x = 0 + -2. Let o = x + 2.3. Let m = 57 + -59. Sort -4, m, o.
-4, m, o
Suppose 5*l - 4*k - 7 = -6, 0 = -k + 1. Sort 3, l, -5, 2 in increasing order.
-5, l, 2, 3
Let b(d) = -d - 10. Let q be b(-10). Suppose 2*z - z - 1 = q. Suppose -2*s = -0 + 4. Sort -1, z, s in increasing order.
s, -1, z
Suppose f + 2*a + 6 = 0, -a = -5*f + 12 + 2. Let n = 0 - -0.4. Suppose 0 = o - 3*o - r - 12, -2*o - 5*r - 28 = 0. Sort f, n, o in des