g order.
4, w, 1, -1
Let p be (-6)/(-81) - 4114/(-594) - 7 - 3. Suppose 3 = -5*l - 7. Sort 5, p, l, 0 in descending order.
5, 0, l, p
Let o(q) = -3*q - 3. Let l be o(1). Let w be 2 + l - 4 - -4. Put -8, 3, w in descending order.
3, w, -8
Let g = 2 - -2. Let k be (5 + -1)*(69/(-12) + 7). Sort k, -2, g, 0 in decreasing order.
k, g, 0, -2
Let b = 38 + -42. Suppose 1 = -i + 4*i - u, -2*i - 6 = -4*u. Sort 4, i, b in increasing order.
b, i, 4
Let i = -1.5 + 1.1. Let s = i + 1.4. Sort s, -0.1, -1 in descending order.
s, -0.1, -1
Let j(b) = b**3 + 28*b**2 + 27*b - 3. Let p be j(-27). Let y(m) = m**2 + 8*m + 8. Let v be y(-6). Sort v, p, 0 in ascending order.
v, p, 0
Suppose 1 = 5*i - 4. Suppose -20 = -5*u - 18*v + 13*v, -4*u + 12 = 5*v. Sort u, 3, i.
i, 3, u
Suppose -4*u + 2 = 2*p, -3*u - 2*p + 16 = -6*u. Let a be -18*((-33)/12 - -2)*2. Let r be 42/(-54) + (-6)/a. Sort r, 4, u.
u, r, 4
Let m be 7 + -2 - 8 - 0. Sort 4, 1, 0, m.
m, 0, 1, 4
Let x = 37/12 + -11/4. Let c be ((-4)/(-12))/((-1)/(-3)). Suppose o + 0*o = c. Put o, x, 0 in increasing order.
0, x, o
Let i = -3.8 - -4. Let o = -801 + 803. Put o, -11, i in ascending order.
-11, i, o
Let t = 1227.1 - 1227. Sort 6/61, t, 2, -1/8 in ascending order.
-1/8, 6/61, t, 2
Suppose q - 4*n + 4 = -2*n, 2*q - 12 = -n. Suppose 4*r + 8 = 2*a, 3*a + q = 2*r - 0*r. Let f be 6/15*(1 - -9). Sort f, a, 3 in decreasing order.
f, 3, a
Let m be (126/54 - (-2)/3) + 0. Sort m, -3, 23.
-3, m, 23
Let w = -0.045 + 36.045. Let f = w - 33.7. Let d = f - -1.7. Sort d, -1, -2 in descending order.
d, -1, -2
Suppose 2*o - 5*i - 8 = 0, 2*i = -5*o + 6*i + 3. Sort 1, -3, -4, o.
-4, -3, o, 1
Let x(a) = -33*a + 229. Let n be x(7). Sort -1, -6, n, 1 in increasing order.
-6, n, -1, 1
Let z = -0.02 + 0.32. Let a(k) = -k**3 - 6*k**2 - 4*k + 2. Let o be a(-5). Let b be -1*((-40)/12)/5 - 2. Sort b, o, z in ascending order.
o, b, z
Let k(w) = 17*w + 54. Let b be k(-3). Sort 68, 0, b in ascending order.
0, b, 68
Let x = -109 - -110. Let o be (-26)/(-13) + (0 - 1)*x. Sort 4, -3, o.
-3, o, 4
Let k = -139 - -138.9. Sort 2, k, -4/5 in ascending order.
-4/5, k, 2
Suppose 4*j - 50 = 5*h, 3*h - 3*j + 12 + 21 = 0. Suppose -u + 14 = 2*u + 4*r, -4*r + 20 = 0. Let t = u - -3. Sort -1/3, h, t in increasing order.
h, -1/3, t
Let i = 2 + 2. Suppose -l + 12 - 134 = -i*o, -o + l = -32. Suppose 0*y - 6*y - o = 0. Sort -3/10, 0.4, y in descending order.
0.4, -3/10, y
Let a = 105 + -103. Suppose 0 = 5*m - o + 22 - 8, -a*m + 5*o - 1 = 0. Sort m, -11, 4 in descending order.
4, m, -11
Let a(m) = m + 2. Let q be a(-6). Suppose 0 = -3*z - 12, -y - 3*z = 7 + 5. Suppose 5*j = -y*j + 5. Put j, 2, q in descending order.
2, j, q
Let n(j) = -7*j - 7. Let s be n(-7). Suppose s = -3*c + 36. Sort c, 8, 2 in descending order.
8, 2, c
Let x(d) = 0*d**3 + 3*d**2 + 3*d**2 + 6*d + 0*d**2 + 2 + d**3. Let s be x(-5). Sort s, 1, 2 in decreasing order.
2, 1, s
Suppose -4*h = -d - 6, -2*d = 5*h - 0*d - 14. Let j be (h - 1)*(-7 - -8). Sort j, 0, 6 in ascending order.
0, j, 6
Suppose 2*c + 34 = -3*w, 2*w - c = -2*w - 27. Let p be (-10)/w + 36/(-16). Put 0.2, p, 2/5 in ascending order.
p, 0.2, 2/5
Suppose c + 13285 = 13289. Put 105, c, -1, 0 in decreasing order.
105, c, 0, -1
Suppose q - 3 = 3*h - 4, 4*q = -4. Suppose -146*l = -145*l + 3*k + 2, 4*l + 15 = -5*k. Sort h, -27, l in ascending order.
-27, l, h
Let h = -35 - -35. Suppose h = 14*u - 21*u. Put u, -5, 3 in descending order.
3, u, -5
Let j(o) = 8*o**2 + 2*o - 1. Let d be j(-1). Suppose 1 = 4*a - 3*a. Put -2, a, d in descending order.
d, a, -2
Suppose -2*t = -5*s + 28, -t + 4 = -0*s + 2*s. Put t, 5, -19 in ascending order.
-19, t, 5
Let c = -313 - -315. Let s(l) = l**2 - 2*l - 4. Let q be s(3). Suppose 0 = -0*d + d - 3. Sort d, c, q in ascending order.
q, c, d
Let g be (-3 - (-17116)/5724)/(6/171). Let j = -3/53 - g. Sort j, 0.2, -1/3 in increasing order.
-1/3, 0.2, j
Let n = -612 - -613. Put -53, -2, n in decreasing order.
n, -2, -53
Let o(z) = 0*z**3 + 9*z**2 + 23*z + 5 - z**3 + 3*z - 4*z. Let a be o(11). Put -4/9, a, 2/5, 0.08 in increasing order.
-4/9, 0.08, 2/5, a
Let w(j) = -j**3 - j**2 + j - 2. Let u be w(0). Let m(h) = -3*h**2. Let s be m(1). Suppose 28*v = -5*v + 33. Put u, s, v in decreasing order.
v, u, s
Let b be (13 + -3)*21/42. Sort -16, -1, b.
-16, -1, b
Let d = 0.32 + -1.32. Put -1/6, d, 1/37 in increasing order.
d, -1/6, 1/37
Let n = -9/7 - -61/42. Sort -2, n, 2/45 in descending order.
n, 2/45, -2
Let r = 653 + -656. Sort 34, r, -1.
r, -1, 34
Suppose 5*f + 6*j = j + 5, 0 = 2*f + 3*j - 7. Let c be (6/4)/((-3)/4). Let r be 2*(-3)/c + 1. Put f, -5, r in increasing order.
-5, f, r
Suppose -u = -5*q - 6*u - 15, 5*q = 3*u + 25. Suppose 0 = j + q*r - 3, -4*j = -3*r + r - 2. Sort j, -23, -1 in ascending order.
-23, -1, j
Let v = 8.601 + -0.001. Let s = 8.5 - v. Sort 4, s, 0.4, 1 in descending order.
4, 1, 0.4, s
Let y = -15 + 90. Let b = -79 + y. Sort -1, -2, b, -0.4.
b, -2, -1, -0.4
Let u = 81.9 - 82. Put -9, -1/5, u in descending order.
u, -1/5, -9
Let u(t) = t**3 + 7*t**2 - 9*t - 10. Let p be u(-8). Let c be -6 - ((-3)/3 - p). Let r(n) = -n - 5. Let b be r(c). Put b, 3, 1 in descending order.
3, b, 1
Let g be (-16)/(1 + -5) + 1. Let z(i) = i - 5 - g + 2. Let f be z(13). Sort f, -5, 3 in descending order.
f, 3, -5
Let k be (-4*10/(-160))/((-2)/(-72)). Sort k, 5, -3.
-3, 5, k
Let s be 4/(-22) + (3 - 80/44). Let a = 7 - 1. Let h be ((-3)/(a/(-40)))/(-1). Sort h, s, -1 in ascending order.
h, -1, s
Suppose 5*s - 21 = -16. Put 9, 2, -3, s in increasing order.
-3, s, 2, 9
Let s = 87 + -127. Let v = 39.5 + s. Put 1, 5/6, -3, v in ascending order.
-3, v, 5/6, 1
Suppose -19*s = 17350 - 17426. Suppose -j + z + 3*z = -4, -5*j = -z + 18. Sort -2, 1, s, j in descending order.
s, 1, -2, j
Suppose 24 = 2353*a - 2356*a. Sort a, -2, 4, -4.
a, -4, -2, 4
Let t(z) = -18*z + 145. Let p be t(8). Put -1, -3, p, 24 in increasing order.
-3, -1, p, 24
Let i(h) = -3*h - 36. Let x be i(-12). Suppose -46 = -3*a - 4*g, 0 = -2*g - 2*g + 16. Sort x, a, 4.
x, 4, a
Let n = -79.2 + 79.31. Sort n, 5, 3/5 in descending order.
5, 3/5, n
Let l = 3.66 - 3.86. Put 1, 11, l, 0.1 in increasing order.
l, 0.1, 1, 11
Let y be 1/(1 - 4/5). Let k be (-1)/9*(3/(-6) + 2). Sort k, 1/10, 0.3, y in decreasing order.
y, 0.3, 1/10, k
Let u = -11 - -10. Put 3, 2/17, u in descending order.
3, 2/17, u
Let j be (2662/66)/(1/(-2 + 0)). Let q = j - -82. Sort -3/4, 0.1, 2/17, q in increasing order.
-3/4, 0.1, 2/17, q
Let f = -157.66 - -158. Let c = 15.76 + -16. Let o = f + c. Put o, 3/11, -5 in decreasing order.
3/11, o, -5
Let b = -40 - -41.6. Let x = -2 + b. Put x, 1/2, 0.3, -14 in decreasing order.
1/2, 0.3, x, -14
Let n = -2 - 1. Let s be 0 + (3 - (-2 - -1)). Suppose 2*a = -o - 4 - 0, -4*a + 4 = -o. Sort s, o, n in increasing order.
o, n, s
Let p = 949 + -981. Sort p, 1/4, -4.
p, -4, 1/4
Suppose -8*p + 18 = -86. Let w(d) = 3*d + 6. Suppose 3*x - 2*b = -x - 2, 4*x + 37 = -5*b. Let c be w(x). Put -2, p, c in decreasing order.
p, -2, c
Let v = -1241/2 + 620. Sort v, -0.43, -4 in ascending order.
-4, v, -0.43
Suppose 2*y + 3*y - 20 = 0. Let t(u) = 46*u + 43. Let v be t(-1). Sort 1, y, -5, v in descending order.
y, 1, v, -5
Let u = 2779.96 - 2780. Sort u, 5, -10, 1/2 in increasing order.
-10, u, 1/2, 5
Let g = -10 - -11. Let c = 3694/11 + -336. Put c, g, -1, 0.1 in decreasing order.
g, 0.1, c, -1
Let q(j) = -j**3 + 8*j**2 - 5*j - 8. Let t be q(7). Let w(r) = 20*r - 139. Let u be w(7). Sort 0, u, -4, t.
-4, 0, u, t
Let o be -2 + (-28)/(-4) - 2. Suppose 0 = -14*z + 34*z - 100. Sort -4, z, 1, o in decreasing order.
z, o, 1, -4
Let b = -96.09 + 96.1. Put b, -5, 3, -2/5 in descending order.
3, b, -2/5, -5
Suppose -2*t = 4*g + 8, 5*t = -g + 3*t - 2. Let j be g + -1 - 81/(-24). Let v = -24 - -19. Sort j, 0.5, v in decreasing order.
0.5, j, v
Let j be -1*((-7 - -3)/4 - 3). Suppose -2*v = j*v - 198. Sort -1/10, -3, v in descending order.
v, -1/10, -3
Suppose -3*b = 4*i - 8, 0 = -4*i + 3*i - 2*b - 3. Suppose 0 = -2*h - v - 27, -i*h + v = 5*v + 66. Sort 5, -1, h.
h, -1, 5
Suppose -14*c + 50 = -4*c. Let z = -6 - -10. Let s = -3 + z. Sort c, 2/5, s.
2/5, s, c
Suppose 3*a + 5 = 14. Suppose 0 = 16*o + 8 - 312. Suppose -7*m - o = 9. Put a, m, -10 in descending order.
a, m, -10
Suppose 91*i - 98