order.
i, -1, -4
Suppose 2*c - 429 = c. Let w be (-2)/3*c/(-6). Let b = 47 - w. Sort -1/3, b, 3.
b, -1/3, 3
Suppose -3*q = q + 5*j - 8, 3*q + 5*j = 6. Sort -4, -1, q.
-4, -1, q
Let l be (6/52)/(18/(-24)). Sort 6, 0, l in descending order.
6, 0, l
Suppose 2*y + 0*y - 4 = 0. Suppose 0 = 4*m - 2 - 2, m = -4*f - 7. Sort y, 5, f.
f, y, 5
Suppose -w = 3*i + 4, 5*i + 7 = -w - 3. Put -1, 3, 0, i in decreasing order.
3, 0, -1, i
Let d(o) = o + 7. Let s be d(-6). Let w be -2 - (-2 - 1*-3). Sort s, w, 2.
w, s, 2
Let d(c) = -3*c + 1. Let h be d(0). Suppose -s - b = -2, 5*s - 4*b = 2*s + 6. Sort h, s, -3.
-3, h, s
Let j(y) = y**3 + 7*y**2 + 9*y - 4. Let f be j(-4). Let l(n) = n - 9. Let w be l(f). Sort w, -3, 9 in descending order.
9, w, -3
Let p(y) = y**3 + 12*y**2 - 12*y + 11. Let q be p(-13). Sort q, 0, 8 in increasing order.
q, 0, 8
Let f = -0.1 - -0.1. Let y = -177 + 178. Put y, f, -0.3 in ascending order.
-0.3, f, y
Let j = -0.1 - -4.1. Let x = -42 - -42.2. Sort j, -4, x in decreasing order.
j, x, -4
Suppose 4*j + 4*k = 2*k - 20, -j + 4*k + 13 = 0. Sort 4, 5, j.
j, 4, 5
Let y = -32.4 - -29. Let s = -0.4 - y. Let m = -15 - -59/4. Sort s, -4, m in increasing order.
-4, m, s
Let j = 0 + 5. Let g = 59 + -175/3. Put g, 1, j in increasing order.
g, 1, j
Let x = 21 - 14. Let h = -6.8 + x. Put 5, 0, h in decreasing order.
5, h, 0
Let z = 5.3 + -5.3. Let p be 2/(-5) - (-16)/30. Put p, z, -0.1 in descending order.
p, z, -0.1
Let r be 2/(-4) - (-25)/90. Let a = -13 + 11. Put a, r, -3/4 in descending order.
r, -3/4, a
Let k(f) = -f - 4. Let p be k(5). Let s(y) = y**3 + 10*y**2 + 9*y + 5. Let g be s(p). Sort -1, 4, g.
-1, 4, g
Suppose -2*q - 8 + 0 = 0. Let c be (3 + 0)*2/(-3). Sort 3, c, q in descending order.
3, c, q
Let b be (-9)/(-5) + -5*(-4)/100. Sort b, 10, -2, -3.
-3, -2, b, 10
Suppose -c = -4*y + 9 + 4, -18 = 4*c + y. Let s be -2*2/(-6)*6. Put s, c, -2 in decreasing order.
s, -2, c
Suppose -3*q = -12, -3*t - 4 = -q + 3*q. Let k = t - -1. Suppose 2*p = p - 1. Sort 2, p, k in increasing order.
k, p, 2
Let y = 4 + -4.2. Sort y, -2, 10 in increasing order.
-2, y, 10
Let q = -0.75 + 5.75. Let z be 0 + (-1 - -3) + -3. Put z, 3, q in descending order.
q, 3, z
Suppose 0 = 6*l + 26 - 8. Sort -2, l, 2, -12.
-12, l, -2, 2
Let f be (-2)/(-2) + (16 - 2)/7. Let v(j) = j**3 - 3*j**2 + j. Suppose w + 2 = -3*a, 2*a = 3*a - w - 6. Let d be v(a). Sort -4, d, f in descending order.
f, d, -4
Let j = 0.03 - 8.03. Let r = j - -12. Let c = 11/6 + -25/12. Sort r, c, 0 in decreasing order.
r, 0, c
Suppose 6*l - 7*l = 2. Put l, -1/8, 96 in decreasing order.
96, -1/8, l
Let k(s) = 3*s - 2. Let q be k(2). Let g be (-12)/(-20)*10/8*4. Sort -4, g, q.
-4, g, q
Let w(r) = 2*r**3 + 3*r + 4. Let h be w(-1). Sort 9, -2/7, -0.1, h.
h, -2/7, -0.1, 9
Let x = 39.1 - 39. Put 0.07, -3/4, x, -3 in increasing order.
-3, -3/4, 0.07, x
Let g = 19 - 12. Sort g, 0.4, -4 in decreasing order.
g, 0.4, -4
Let h(a) = a**2 - 2*a + 2. Let m be h(2). Suppose 9 = -4*y + 5*s, -5*y + 0*s + 10 = -m*s. Put 0, 1, y in descending order.
y, 1, 0
Let l be 14/6 + 1/(-3). Let y(k) = 12*k - 2. Let g be y(l). Let w be (-2)/(-11) + 7/g. Sort 3/4, 4, w in descending order.
4, 3/4, w
Let g be 1 + 1 - (1 + -3). Suppose 2*z = g, 2*c = -c + z + 7. Let j = 6 + -9. Sort 0, c, j in ascending order.
j, 0, c
Suppose 0 = 4*p - 12, 2*f + 3*p - 67 = 4*f. Let s = f + 26. Put -5, 4, s in increasing order.
-5, s, 4
Suppose -3*k + 26 = k - c, 0 = 2*c - 4. Suppose 2*p - 1 = k. Suppose -1 = -y - 4*w, w = -3*y - 0*w - 8. Put p, -1, y in increasing order.
y, -1, p
Let t(x) = x**3 + x**2 + x + 2. Let b be t(0). Let q be 0/(b - (-2 - -3)). Suppose q*s = 2*s - 2*d + 4, 5*d = 2*s + 1. Sort s, 0, -2 in decreasing order.
0, -2, s
Let r(u) = -u**2 + 6*u + 21. Let g be r(8). Put 2, 0, g, -2 in ascending order.
-2, 0, 2, g
Let x(b) = b**3 + 5*b**2 + 2. Let i be x(-5). Suppose z - i*z - 4 = 0. Sort -3, -5, z in decreasing order.
-3, z, -5
Let b = 1 + 0. Let g be -3*5/3 - 0. Sort 0, b, g.
g, 0, b
Let t = -0.42 - -0.22. Put t, 3, 0.3, -2 in increasing order.
-2, t, 0.3, 3
Let z be -3 + (-314)/(-220) - -2. Let s = 5/22 - z. Put 4/3, -0.4, s in descending order.
4/3, s, -0.4
Suppose 5*k - 27 = -0*k - 4*n, 0 = -5*k + 5*n + 45. Suppose m - 4*c + k + 14 = 0, 2*m = -5*c + 10. Put m, 5, -4 in descending order.
5, -4, m
Let o be (1 + 0 + -2)/1. Sort o, 7, 2 in decreasing order.
7, 2, o
Suppose 2*s - 12 = -0*s. Let c be 5/((-2)/s*-3). Put 2/7, c, 0.2 in descending order.
c, 2/7, 0.2
Let u = 38/9 + -248/63. Put 2, -3, -0.3, u in descending order.
2, u, -0.3, -3
Suppose i = 0, 3*i + 3 - 5 = -2*h. Put h, -1, 0, -3/4 in decreasing order.
h, 0, -3/4, -1
Suppose 14 = -3*y - 1. Let p = 0 + -2. Sort 4, y, p.
y, p, 4
Let b = -2 + -1. Let h = 0.13 - -0.15. Let p = h - -0.02. Put b, -4, p in descending order.
p, b, -4
Suppose 2*y - y = -5*r - 28, -5*y - 2*r = 25. Suppose 2*i = 5*z - 0*z + 8, -2*z = 0. Let t be 9/(-2) - (-2)/i. Sort -2, t, y.
t, y, -2
Let v be (-2 - (-3 + 2))/2. Suppose 3*n - 45 = -33. Sort -0.3, v, n in increasing order.
v, -0.3, n
Let w be 2*(-1 + (-2)/4). Let q = -12 - -17. Let v(h) = -h + 4. Let t be v(q). Put -4, w, t in descending order.
t, w, -4
Let m(a) = -a**3 + 6*a**2 - 4*a - 5. Let h be m(5). Sort -2, 1, 3, h in decreasing order.
3, 1, h, -2
Suppose p = -4*n - 10, -4*p + 3*n = -0*n - 17. Suppose 0 = -3*t + 4*w - 29, -p*t + 5*w = -3*t + 22. Let b(h) = -h**2 + 4*h + 2. Let c be b(3). Sort t, 3, c.
t, 3, c
Let g = -3 + 2. Let r = g - -2. Let k = -11 + 7. Put -3, k, r in increasing order.
k, -3, r
Let t = 231 + -3463/15. Sort -0.5, 0.3, 0.2, t in ascending order.
-0.5, t, 0.2, 0.3
Let v(o) = -2*o + 7. Let a be v(5). Let n = -6 - -3. Let t = n + 5. Sort 4, a, t.
a, t, 4
Suppose -2*q = 3*q - 75. Suppose -q = 4*y + 13. Let d = y + 4. Sort -5, 3, d in increasing order.
-5, d, 3
Let q = 1 - -1. Sort 3/7, -0.2, q in ascending order.
-0.2, 3/7, q
Let o = -1.2 - -1.6. Sort -2, o, 4 in ascending order.
-2, o, 4
Let w(g) = -g + 6. Let x be w(5). Suppose -2*t - k = -8, 5*k = 2*t - 7*t + 25. Let n(u) = -u**2 + 8*u + 7. Let i be n(9). Sort i, x, t.
i, x, t
Let c = 115 + -113. Put 1, 5, c in descending order.
5, c, 1
Let j = 0.17 + -0.1. Let i = 0.04 - j. Let g = i + -1.97. Sort 1, g, 0.1 in descending order.
1, 0.1, g
Suppose x - 3*w + 12 = -4*x, 5*x - 20 = -5*w. Let n = -8 + 6. Put n, 3, x in ascending order.
n, x, 3
Let r = 0 + 0. Suppose 5*l + 22 - 7 = 0. Sort r, l, -7 in descending order.
r, l, -7
Let l be 5*(0 - 3/(-3)). Let q(f) = 2*f**2 + 2*f - 2. Let x be q(-2). Suppose 5*s = x*s - 6. Sort -4, s, l in increasing order.
-4, s, l
Suppose 11*r + 30 = 6*r. Suppose -2*s + 14 = -n, n - 22 = 4*n - 2*s. Sort n, r, 1.
r, n, 1
Suppose -4*c = 3*k + 22, k + 45 = -5*c + 12. Let v be 2 + -6 + (-63)/c. Put -4, -8, v in descending order.
v, -4, -8
Let i = 103.51 - 104. Let v = -0.5 - i. Sort v, 5, 2.
v, 2, 5
Let v = -3.42 - 0.28. Let h = 4 + v. Let q = -3 - -2.8. Put q, -3, h in descending order.
h, q, -3
Let f be (9 - (1 + 4)) + -3. Let o be (4/(-6))/((-1)/3). Put f, 3, o in decreasing order.
3, o, f
Let f = 4 + 2. Suppose 5*r = 5*t + 15, 2*t = f*r - r - 12. Let z = 0 - t. Put 0, z, -2 in increasing order.
-2, 0, z
Let s = -0.02 - -0.02. Put 3/11, s, 5 in decreasing order.
5, 3/11, s
Suppose -12 = 4*j - y - 2, 18 = -4*j + 5*y. Let n = -3 - -8. Let z = n - 3. Sort z, j, 3 in decreasing order.
3, z, j
Let d = -0.1 + 9.6. Let s = 129 - 139. Let w = d + s. Sort w, -1/7, 0.5 in ascending order.
w, -1/7, 0.5
Let m(f) = 26*f + 2. Let i be m(-1). Let o = i + 24. Put o, 3, 2 in ascending order.
o, 2, 3
Let c = -28 - -32. Suppose 3*v = 4*h + 2 - 1, h - 2 = 0. Sort v, 5, c in increasing order.
v, c, 5
Let p = 4 - 7. Sort 0.2, p, 2 in ascending order.
p, 0.2, 2
Suppose 3 = -116*v + 119*v. Sort 9, 5, v, 0 in decreasing order.
9, 5, v, 0
Let m(k) = 3*k - 1. Let g be m(2). Suppose 13 = u - 4*h, -g*u - 5*h + 6 = -9. Sort -4, 2, u in increasing order.
-4, 2, u
Let s = 9 + -4. Let p = 0.4 + -0.2. Let j = 6.3 - 6. Sort p, j, s in ascending order.
p, j, s
Suppose 3*n - 12 = 0, 2*o + 10 = -n + 6*n. Let y be (-2)/(-3) + (-4)/6. Suppose y*j + 20 = 5*j. Sort o, -1, j.
-1, j, o
Let p = 6 - 4. Let c(m) = -3*m**2 - 5*m + 5 + 3*m**2 - m**p. Let v be c(-6). Sort v, 0, 1.
v, 0, 1
Suppose 6*f + 10 