uppose 2*t - 4*t + 5*m = -18, 16 = 2*t - 4*m. Let c(y) = y**3 - 8*y**2 - 52*y + 50. Let z be c(12). Sort 5, t, z.
z, t, 5
Suppose -24*c + 21*c = 0. Sort c, 2/13, -3/8 in decreasing order.
2/13, c, -3/8
Suppose 5 + 5 = -5*k. Sort 5, 3, k in descending order.
5, 3, k
Let n = 1 - -3. Let x = -7 + n. Put x, -1, -4 in ascending order.
-4, x, -1
Let d be 45/84 + (-1)/4. Suppose 3*k - 5*k = 2*w + 2, 5 = -3*w - k. Sort 5, d, w in descending order.
5, d, w
Let d be (1 + 7)/(-2)*-1. Suppose 10*z = 12*z + d. Put 2/11, z, -1/3 in ascending order.
z, -1/3, 2/11
Let z = -3 + 7. Suppose -z*p + 2*u = -127 - 15, -5*u = 3*p - 100. Let v = p - 103/3. Sort 0.2, -2, v in decreasing order.
v, 0.2, -2
Let a(u) = u**2 - 6*u + 5. Let q be a(4). Put 43, -1, q, 2 in decreasing order.
43, 2, -1, q
Let h = -5 + 12. Suppose -2*v = -h*v - 15. Suppose -5 = -4*y + 5*g, -5*y - g = -3*g + 15. Sort 3, y, v.
y, v, 3
Let m be -2 + 2 + 36/12. Sort 5, m, -8 in decreasing order.
5, m, -8
Let t be (10/(-8))/((-2)/8). Suppose -23*k = -14 - 147. Sort t, 3, k in increasing order.
3, t, k
Suppose -3*o = -2*u - 1, 2*u + 6*o + 8 = 2*o. Put 1, u, -5 in decreasing order.
1, u, -5
Let z be ((0*(-1)/3)/(-2))/(-2). Sort -4, 6, -1, z.
-4, -1, z, 6
Let b(x) = -x**2 + 7*x - 5. Let p be b(6). Let o(h) = -h**2 + 1. Suppose 0 = -5*i + 2*i + 3. Let w be o(i). Sort w, 2, p in ascending order.
w, p, 2
Let y = 18 + -34. Let k = 14 + y. Put k, 3, 2 in ascending order.
k, 2, 3
Let q(h) = -h**3 - 4*h**2 - 3*h - 3. Let o be q(-3). Let g = 83/5 + -17. Let k = -2 - -2. Sort k, g, o in ascending order.
o, g, k
Let j = -4.76 + 0.76. Let k(b) = -b**2 + b + 3. Let s be k(0). Sort s, j, -2 in decreasing order.
s, -2, j
Let k be (-4)/26 - (-134)/26. Put k, 11, -1/5 in descending order.
11, k, -1/5
Let d = -18 + 18. Let w = -9 - -8.7. Sort -2/7, d, w in ascending order.
w, -2/7, d
Let w(k) = 4*k. Let o be w(-1). Put o, -2, -3, -6 in decreasing order.
-2, -3, o, -6
Suppose 5*q - 5 = 5, -19 = 5*a - 2*q. Suppose 0 = -2*k + 3 - 5. Let f be 3/(-2)*(-40)/12. Put a, k, f in decreasing order.
f, k, a
Let w be ((-6)/(-15))/(2/20 - 0). Suppose 76 = 4*m - 0*m. Sort -3, w, m.
-3, w, m
Let u = -12 - -21/2. Put -5, 1/6, u, 1/2 in decreasing order.
1/2, 1/6, u, -5
Let l be ((-3)/9*-3)/(-11). Let h = 7 + -8. Let t = h - -2. Sort l, 2/7, t in increasing order.
l, 2/7, t
Suppose 5*z - 3*k + 2*k - 3 = 0, 2*z + 12 = -4*k. Let d be z - (0 + 6/(-9)). Sort -4, 0.3, d in decreasing order.
d, 0.3, -4
Let w be (-14)/(-10) + 3 - 3. Let j = w + -9/10. Put 4, j, 3/2 in increasing order.
j, 3/2, 4
Let a be (-5)/4*(-3 - 1). Suppose -4 = 2*x - 3*x. Suppose -5*k = -x*k - 4. Sort a, k, -1 in decreasing order.
a, k, -1
Let g = -2 + 2. Suppose -2*i - 2*i + 18 = -w, g = -3*i - 4*w + 4. Sort i, 2, 1.
1, 2, i
Let o = -25212 + 176167/7. Let i = 45 + o. Put 4, -9, i in descending order.
4, i, -9
Let z be 1/(-2) + (-3)/6. Let w be (-4 + 1)/(-1)*-1. Let n = 6 + -6. Sort w, z, n in descending order.
n, z, w
Suppose 5*l - 4*l - 2 = 0. Sort -4, l, -1.
-4, -1, l
Suppose -4*h = -2*n - 24, -4*h = -0*h + n - 24. Let i = 5 - h. Let q(v) = -v. Let t be q(-2). Sort -2, t, i.
-2, i, t
Let o(h) = -h**3 + 10*h**2 - h + 10. Let b be o(10). Sort 1, b, -6.
-6, b, 1
Let n = -863/8 + 108. Sort 1/6, 5, n, -5 in ascending order.
-5, n, 1/6, 5
Suppose 1 = -3*t - 11. Let l = 0.11 + -2.11. Put l, 2/9, t in ascending order.
t, l, 2/9
Let l = -0.04 - 0.36. Let g = -0.9 + -3.1. Put l, g, 5 in decreasing order.
5, l, g
Let n = -12.1 - -12. Sort 5, n, -0.5 in ascending order.
-0.5, n, 5
Let x be 3/2*(-8)/(-3). Suppose x*g = g + 12. Suppose -2*u + g = -3*u. Sort -2, u, 3 in decreasing order.
3, -2, u
Suppose 0 = 5*c - 9 - 16. Sort c, 0, -5 in descending order.
c, 0, -5
Suppose 1 = -y + 2. Put y, 0.2, 3 in decreasing order.
3, y, 0.2
Let u(f) = f**3 - 10*f**2 - 12*f + 11. Suppose -2*h + 19 = b - 2, 4*b = -5*h + 69. Let k be u(b). Sort -1, -5, k in increasing order.
-5, -1, k
Suppose 0 = -o - 3*v - 0 + 8, -20 = 3*o - 2*v. Put o, 3, 1 in descending order.
3, 1, o
Let s = 4.02 + -0.02. Sort s, -0.5, 0.3 in descending order.
s, 0.3, -0.5
Let m = -9 + -3. Let k = 16 + m. Let d = 0.1 - 0.2. Put 0.4, k, d in increasing order.
d, 0.4, k
Let j = -0.7 + -3.3. Let f = -2.4 - 21.6. Let v = f + 27. Sort v, j, 0.2.
j, 0.2, v
Let c be 12/8*(0 + 2/3). Suppose -3*y = 4*a + 6, -8 - 7 = 3*a - 3*y. Put 4, c, a in descending order.
4, c, a
Suppose -7 = 3*g - 10. Sort 2/21, -1/6, g, -0.4.
-0.4, -1/6, 2/21, g
Let r = 0.7 - 2.7. Sort r, -3, -0.3 in increasing order.
-3, r, -0.3
Suppose -3*k = -k + q + 1, 5*q - 19 = 2*k. Let l = 1 + k. Put l, 0, 1 in ascending order.
l, 0, 1
Let l = -1.72 - 0.28. Suppose -2*d + 11 - 5 = 0. Sort 4, l, d in descending order.
4, d, l
Suppose -2*j = 4 + 6. Let q be -1 + -3 + 2 - -7. Put 4, q, j in decreasing order.
q, 4, j
Suppose -4*w + 24 - 3 = t, -17 = -2*t - 3*w. Sort -10, -5, t in ascending order.
-10, -5, t
Let j = 43 - 31. Suppose 2*v - j = 5*v. Let x(m) = 2*m**2 + m - 1. Let l be x(-2). Put v, l, -3 in increasing order.
v, -3, l
Suppose 22 = -4*a + 2*l, 3*a - l - 13 = 5*a. Suppose -2*z - 5*j = -0*j + 16, -3*z = -2*j + 5. Sort a, 4, z.
a, z, 4
Let m = -0.77 - -0.27. Sort 1/8, m, -0.1 in descending order.
1/8, -0.1, m
Let h = 5 - 4. Let a = -4 + 7. Sort a, 1/5, h in ascending order.
1/5, h, a
Let w(x) = x - 2*x + 6 + x**3 + 4*x - 8 + 5*x**2. Let i be w(-4). Suppose -3 = 2*k + 3. Sort 5, i, k in ascending order.
k, i, 5
Suppose 13 = 5*h + 8. Sort -1, -0.5, 3/4, h in descending order.
h, 3/4, -0.5, -1
Let p = 79 - 84. Suppose 0 = -3*d - 0*d + u + 3, -u = 5*d - 5. Sort -2, d, p in increasing order.
p, -2, d
Let q be (-62)/30 + 4/10. Suppose 4*o = -n - 14, -o - 4*o - 3*n - 21 = 0. Put 1, q, o in decreasing order.
1, q, o
Suppose 4*d - 3*u = 2*u - 1, 0 = -2*d - 3*u - 17. Sort d, 0, -9 in increasing order.
-9, d, 0
Let r = 609 + -29840/49. Let u = 117/931 - r. Put -2/11, -0.5, u in decreasing order.
u, -2/11, -0.5
Let v(a) = a**3 + 7*a**2 + 5*a - 4. Let m be v(-6). Let t = 2 - 0. Suppose -2*x + 10 = -t*o, -5*o + 4*o - 5 = x. Put o, m, 0.5 in descending order.
m, 0.5, o
Let c(i) = i + 7. Let k be c(-5). Sort -3, k, -1.
-3, -1, k
Let y be -1*4 + (6 - 3) + -3. Sort y, -15, 4 in descending order.
4, y, -15
Let p = -8 - -18. Let j = 10.3 - p. Put 1, j, 0 in descending order.
1, j, 0
Let g be (-1)/(-4) + (-36)/16. Suppose -4*z + 2*z - 14 = 0. Let x = -11 - z. Put 2, g, x in descending order.
2, g, x
Suppose -1 - 6 = 4*s - 3*u, 5*u = -2*s - 23. Let j be (1 - (3 + -1))/1. Sort s, -2, j in descending order.
j, -2, s
Let r(n) = 2*n + 34. Let j be r(-16). Put j, -4, 1 in ascending order.
-4, 1, j
Let t = 89/3 + -30. Let o = 140 - 142. Sort t, o, 4 in descending order.
4, t, o
Let m = 46 - 142/3. Let c = -83.3 - -88. Let z = c + -5. Sort z, m, 0.1 in ascending order.
m, z, 0.1
Suppose -2*x = 3*x + 15. Let f = x + 2. Let t = 41 + -37. Sort -4, f, t in descending order.
t, f, -4
Let g = -0.9 + 2.9. Suppose -u - 2*u = 9. Sort u, -0.1, g in decreasing order.
g, -0.1, u
Suppose 0 = 2*f - 5*r - 0*r - 19, -16 = -2*f + 4*r. Put 3, -2, f in decreasing order.
3, f, -2
Suppose -10*z = -z - 108. Sort 5, 1, 2, z in descending order.
z, 5, 2, 1
Let f = 1.9 - 1.6. Sort f, 3, 2/3 in decreasing order.
3, 2/3, f
Suppose -1 - 9 = -5*w. Suppose 0 = -4*k - 0*k - 4*v + 40, 5*k + 4*v = 45. Suppose w*z - z = k. Put -5, z, -4 in increasing order.
-5, -4, z
Let x = 112 + -109. Put -4, x, 4/17 in descending order.
x, 4/17, -4
Let k = 15.3 + -15. Let w = k + -0.4. Sort 1/5, -3, w.
-3, w, 1/5
Let x = -3.15 - -0.15. Let d be ((-12)/135)/((-6)/(-9)). Sort x, -7, d.
-7, x, d
Let o = -13 - -9. Put 3, o, -2 in decreasing order.
3, -2, o
Let k = -11/4 + 21/4. Sort k, -4, 2, 1.
-4, 1, 2, k
Suppose -68 = -4*a - 60. Sort -1, a, 4, -5.
-5, -1, a, 4
Suppose 3*y + 3 = -9. Let g = -9 + 11. Put g, -1, y in increasing order.
y, -1, g
Let v = 1 + -1.5. Let f = v + 0.8. Let q = f - 0.1. Sort -5, q, 5 in increasing order.
-5, q, 5
Let q = 2 - -2. Let c be (6/q)/((-1)/2). Sort c, -5, -4.
-5, -4, c
Let h(d) = -d**3 - 6 + d**2 + 6*d - 2*d**2 + 3*d**2 + d**2. Let g be h(4). Put 3, 4, g in ascending order.
g, 3, 4
Let z = 2 - 5. Put -2, -5, z in descending order.
-2, z, -5
Let k = 9 - 17. Let p = 8 + k. Suppose 3*m + d + 9 = 0, 0*m = 5*m + d 