= 8 + y. Sort n, t, 0 in ascending order.
0, t, n
Suppose o - 6*o = 5*g - 10, o = g + 6. Suppose -4 + 6 = 2*m. Put g, -4, m in descending order.
m, g, -4
Let g(f) = -f**3 - 9*f**2 + 4. Suppose -2*y - i = 18, 5*i + 7 = 2*y + 25. Let x be g(y). Put -5, -3, x in descending order.
x, -3, -5
Let x = -0.7 + 0.2. Let k = 9 + -6. Suppose k*q + 10 = -b, b - 3*b = -4*q - 10. Sort 4, x, q in ascending order.
q, x, 4
Let f = -0.8 + 0.6. Let h(m) = -m + 1. Let b be h(1). Let o = b + 2. Sort f, o, -0.5 in descending order.
o, f, -0.5
Let g = -55 + 54. Let l(u) = -u**2 - 4*u + 5. Let c be l(-5). Let j = 7 + -2. Put c, j, g in decreasing order.
j, c, g
Let d = 2.04 + -0.04. Let l = -0.9 - -0.5. Let h = -0.1 - l. Sort 0.5, h, d in descending order.
d, 0.5, h
Let m be ((-85)/(-10) - 6) + -2. Let y = 1 + -0.7. Sort y, -1/3, m in ascending order.
-1/3, y, m
Let d = 15 - 10. Suppose -d*c + 15 = -0*c. Let q = 0.34 - -3.66. Sort 0.4, q, c in decreasing order.
q, c, 0.4
Let y = 132 - 135. Put -36, -5, 1, y in decreasing order.
1, y, -5, -36
Let o = 31 - 153/5. Let t(b) = b + 5. Let i be t(-4). Suppose i = 2*c + 3*v - 6*v, -2*v + 31 = 5*c. Sort c, -3, o.
-3, o, c
Let t(m) = m**2 - 3*m - 3. Let v be t(7). Suppose 3*f - 13 = -4, 5*f = 2*d + v. Let c be -2 + (-9)/(-2) + -2. Sort -2, c, d in decreasing order.
c, -2, d
Let b(i) = -2*i - 6. Let c be b(6). Let u be ((-2)/c)/(2/6). Put u, -1/6, -3 in descending order.
u, -1/6, -3
Suppose -7*t = 18 - 25. Sort 3, t, 4, -1 in increasing order.
-1, t, 3, 4
Suppose -5*p + v - 9 = -0*p, -3*p = 2*v + 8. Let j be 1/p + 4/8. Let f = 1.9 + -2. Put -2, j, f in increasing order.
-2, f, j
Let d be (-8)/20 + 48/70. Let a = -1069/11 + 97. Sort a, -1, d in ascending order.
-1, a, d
Let l(g) = g - 5. Let v be l(9). Suppose v*m = -4 + 24. Sort m, 2/7, -3 in descending order.
m, 2/7, -3
Let n be 1 + 7 - (-3 - -14). Let t = -7 - -2. Let g = 3 + t. Put 3, g, n in descending order.
3, g, n
Let g be (-22)/(-6) + 2/6. Suppose -k - k + 18 = 0. Suppose -6*f = -3*f + k. Sort f, g, 1 in descending order.
g, 1, f
Let n = 23 - 18. Let o = 6 + -4. Let r = 0 - o. Sort r, 4, n in decreasing order.
n, 4, r
Let o be 8/3*(-2)/(-16). Sort -2, -4, o.
-4, -2, o
Suppose 3*u + 6 = -3*m, -m = 4*u - 4*m + 29. Let d(p) = 3*p - 2. Let n be d(6). Suppose -3*l = -2*q - 3, 4*l + q = -1 + n. Sort u, l, 1 in increasing order.
u, 1, l
Let r(m) = -6*m - 4. Let c be r(0). Put -32, c, 2 in increasing order.
-32, c, 2
Let i(x) = x**2. Let o be i(-2). Suppose n - o = 2*n. Sort 2, 4, n in increasing order.
n, 2, 4
Let n = 172 + -185. Put n, -1, -5 in increasing order.
n, -5, -1
Let g be (-3)/(3/8) - -3. Let n(r) = -2*r + 3. Let j be n(3). Let z = 0 - -3. Sort j, g, z in decreasing order.
z, j, g
Suppose 2*x = 3*l + 7, 5*l - 2 + 7 = 2*x. Sort -1, 5, l in increasing order.
-1, l, 5
Let z be -4*(3/2)/(-3). Suppose z*a - 6 = -2. Put -4, -2, a in increasing order.
-4, -2, a
Let p be 1/(-2) + (-33)/(-6). Let q be (-3 - 1)/1 + 1. Sort p, q, -1.
q, -1, p
Let b = 2.16 + 0.04. Let o = b + -2. Let f = -162 + 1456/9. Sort f, o, -1.
-1, f, o
Let u(s) = -s**3 + 2*s**2 + 5*s. Let o be u(3). Let l be 2/3*(o + -12). Sort l, 3, -5.
-5, l, 3
Let m = 9.07 + -0.07. Let k = -9.3 + m. Sort -1, 1, k in ascending order.
-1, k, 1
Let r = 3 - 2. Let d be (-1)/2 - r/(-2). Put 1, d, 4 in increasing order.
d, 1, 4
Let u be (-11 + 3)/(-1 - 1). Suppose 3*m - 20 = -3*v - 2*m, -2*m = -2*v + 8. Sort v, -5, u in decreasing order.
v, u, -5
Let d be (2/(-5))/(5 + -7). Sort -2/15, -5, d in increasing order.
-5, -2/15, d
Let b be 30/(-14) - (-2)/14. Put -3, 3, b in decreasing order.
3, b, -3
Suppose 8*y = 5*y + 12. Let o(a) = a**2 + 7*a + 3. Let l be o(-7). Sort l, 0, y.
0, l, y
Let c = 11 - 10. Let z be (5/c)/(3 + -4). Put z, 5, -1 in increasing order.
z, -1, 5
Suppose 0 = -x - 4 - 0. Suppose -6 + 0 = -2*n. Sort x, n, 4 in ascending order.
x, n, 4
Let k = -1 + 3. Suppose 10 = -2*x - 4*f, 4*x - 3*f + 2 = 4. Put x, k, -4 in decreasing order.
k, x, -4
Suppose 7*a = -6*a - 26. Sort a, -26, 1/3 in decreasing order.
1/3, a, -26
Suppose 4*j + 19 = -a + 2, -3*a = j + 7. Suppose 18 = 3*t - 4*k, 0 = 2*t + 2*k - 0 + 2. Let v be (-2)/t - (-3 + 1). Sort j, v, -2 in descending order.
v, -2, j
Let c = -0.027 + 1.027. Sort c, 2, -2/11, -3.
-3, -2/11, c, 2
Let l = 1.135 - 1.946. Let n = -0.119 + l. Let b = n + -0.07. Sort b, 0, 0.3 in ascending order.
b, 0, 0.3
Let m be 16/(-24) + ((-40)/(-6))/(-2). Put -4/3, m, 0.5 in descending order.
0.5, -4/3, m
Let f = -4 - -3. Let u = f - -3. Put -2/5, -1/3, u in decreasing order.
u, -1/3, -2/5
Let u = -23 - -15. Let w = u + 13. Let x = -29 - -28. Put x, w, 0.5 in ascending order.
x, 0.5, w
Let o = -0.1 + 0.1. Let i = -0.3 - o. Let n = 22 + -19. Put n, 1/6, i in decreasing order.
n, 1/6, i
Let n = 0.53 + -0.93. Sort -1, n, 0.3, 4 in descending order.
4, 0.3, n, -1
Let z be (0 + 2 - 0)/2. Let i be 3/(-15)*z/1. Put 0.5, -4, i in ascending order.
-4, i, 0.5
Let c = -7 - -2. Let x(l) = -l**3 + 7*l**2 - 9*l + 6. Let h be x(5). Let j = h - 8. Sort c, -4, j in increasing order.
c, -4, j
Suppose 2*s + 2*n = n + 6, s - n = 0. Let l(h) = 2*h + 28. Let y be l(-12). Let w = -6 - -2. Sort y, w, s.
w, s, y
Let p = 1 - -4. Let a = 5 - 7. Let n be -5*a/(-16) + 1. Put 2/5, p, n in ascending order.
n, 2/5, p
Let u(r) = r**3 + 5*r**2 + 3*r - 3. Let n be u(-4). Put 5, n, -2 in ascending order.
-2, n, 5
Let s be ((-5)/(50/(-8)))/(1/(-5)). Sort -2, 0, s.
s, -2, 0
Suppose -6*c - 12 = -2*r - 11*c, -5*c = 5*r. Let u = 1 - -2. Sort 1, u, r in descending order.
u, 1, r
Let v = -0.08 + 3.08. Let r = 2.7 - 3. Let x = 20 - 25. Sort v, x, r.
x, r, v
Suppose 7*g = 2*g + 25. Sort 7, -1/11, g in decreasing order.
7, g, -1/11
Let p(o) = -o**3 - 7*o**2 - 9*o - 9. Let q be p(-6). Let w be 1 + 2 + (8 - q). Let i = 3 + -5. Put w, -3, i in descending order.
w, i, -3
Let x = 0.17 + -0.27. Let f = 4.4 - 0.4. Put f, -2/11, x in increasing order.
-2/11, x, f
Let m be (-16)/9 - 14/63. Sort 7, 5, m in increasing order.
m, 5, 7
Let i = -0.07 + 0.08. Let q = 2.99 + i. Put -3, -1/5, q in descending order.
q, -1/5, -3
Let w = 11 + -15. Let g be (-1)/((-3)/2 - 0). Let f = -1.2 + 1.2. Put g, f, w in increasing order.
w, f, g
Let h(z) = z**3 + 12*z**2 + 10*z - 12. Let a be h(-11). Put -2, a, -4 in ascending order.
-4, -2, a
Suppose k = -4*w - 10, 5*k - 2 = -w + 5. Sort k, 14, -5, 4 in increasing order.
-5, k, 4, 14
Let q = -34.56 - 0.44. Let x = -31.2 - q. Let i = x + -4. Sort 3, i, 1 in descending order.
3, 1, i
Let v(p) = p**3 + 3*p**2. Let k be v(-2). Let j = 21 + -19. Put 5, j, k in decreasing order.
5, k, j
Suppose -3*c - i - 2 + 13 = 0, 5*c = -4*i + 23. Put c, -2, -5 in descending order.
c, -2, -5
Suppose 2*w = -3*w + 25. Let f = -9 + w. Put 2, -3, f in decreasing order.
2, -3, f
Let i(h) = 3*h**2 - 4*h - 6. Let m be i(6). Let w = m + -388/5. Let s be (6/4 - 1)*3. Sort 3, w, s in increasing order.
w, s, 3
Let c = -6 + 10. Suppose -p = p + c. Let y be 2 + 2/p*1. Sort y, -3, 0 in descending order.
y, 0, -3
Let v = -1 + 3. Suppose v*j + 5*t = 16, -j + 13 = 3*t + 2*t. Let k = 0.284 - 0.684. Sort k, j, -4.
-4, k, j
Let s = -1.6 + -3.2. Let q = -5 - s. Sort -2, 4, q in decreasing order.
4, q, -2
Suppose -3 = -3*x - 0. Let n be 6/(-9) + (-4)/12. Sort x, -4, n in ascending order.
-4, n, x
Let q be ((-2)/(-6))/((-1)/(-3)). Let o(z) = z**3 + z**2 - z - 3. Let x be o(0). Put -2, x, q in increasing order.
x, -2, q
Let f = -4.6 - -1.6. Sort 0.1, -3/4, f.
f, -3/4, 0.1
Let c = -146 + 727/5. Let m = -6/11 + 9/77. Sort c, m, -3 in decreasing order.
m, c, -3
Let t be (4 + -3)*0 - -4. Suppose 5*w = -26 + 6. Sort t, w, 0 in decreasing order.
t, 0, w
Let c be 2 + -1 + (-1 - 1). Let y be (-20)/(-8) - (-2)/c. Let g be ((-26)/(-4) - 2) + -3. Sort 2, g, y in decreasing order.
2, g, y
Suppose 1 = -z - 0*z. Put 0, -4, z in ascending order.
-4, z, 0
Let z = -2.6 + -3. Let x = z + 6. Let d = -0.7 + -0.3. Sort x, -2/3, d in increasing order.
d, -2/3, x
Let w be (3 - 1)*(-5)/(-2). Suppose 0 = -2*i + 8, -4*n = -6*n + w*i - 24. Sort -5, n, 4 in decreasing order.
4, n, -5
Suppose 3 = 2*f + 9. Let a(q) = -4*q**2 - 4*q - 4. Let w be a(f). Let k be w/12 + (-6)/9. Sort 0, 5, k in decreasing order.
5, 0, k
Suppose -7*x - 4 = -3*x. Sort 2, x, 4 in ascending order.
x, 2, 4
Let a