 -8 = 2*n - 2*x. Let o = -4 + 0. Sort o, 4, n in decreasing order.
4, n, o
Let b(z) = -12*z**3 + z**2 + z + 1. Let r be b(-1). Let m be r/(-24) - (-2)/3. Let h = 2.6 - 3. Sort m, h, 2 in descending order.
2, m, h
Suppose 5*n - u + 4 = 0, -4*n + 2*n - 4*u = 6. Sort 4, n, 0, -3 in decreasing order.
4, 0, n, -3
Let s = 57 + -82. Let a = s - -45/2. Sort a, 0.4, 1 in ascending order.
a, 0.4, 1
Let x(n) = 4*n**2 + 11*n + 1. Let i(z) = -7*z**2 - 21*z - 3. Let o = -2 + -1. Let s(t) = o*i(t) - 5*x(t). Let k be s(-7). Sort k, 0, -1.
k, -1, 0
Let v(o) = -3*o - 10. Let c be v(-4). Sort c, 0, -2, -5 in descending order.
c, 0, -2, -5
Let o = 8 + -6. Let u(g) be the second derivative of g**5/20 + g**2/2 - 5*g. Let n be u(-1). Put n, o, -3 in decreasing order.
o, n, -3
Let w(v) be the first derivative of -v**4/4 + 5*v**3/3 + 3*v**2 - 3*v + 3. Let c be w(6). Let p = 3 - 4. Sort 3, c, p in ascending order.
c, p, 3
Suppose 0*c - 9 = 3*j - 3*c, 0 = j - 4*c. Put -15, -1, j, 1 in descending order.
1, -1, j, -15
Suppose 0 = 4*f - 4*d, 7 = -5*f + 2*f - 4*d. Let u = -4 + 6. Sort f, -3, u.
-3, f, u
Let h = -0.05 + 5.05. Let g = 1.25 - 0.25. Let r = -2 - -1. Put g, r, h in decreasing order.
h, g, r
Let x = -36 + 37. Put 7, 0, x in decreasing order.
7, x, 0
Let l = 3 + -3.1. Let m = 0.4 - l. Let z = -92.3 - -92. Put z, m, 1/5 in increasing order.
z, 1/5, m
Let r(i) = i - 2. Let f be r(6). Let w = -4 + 7. Sort w, -4, f.
-4, w, f
Let r = -25 - -27. Let j be (-6)/2*(3 - 4). Put j, r, 5 in decreasing order.
5, j, r
Suppose -4*n = 2*u - 2, -3*n - n - u = -7. Let k = -0.02 + 0.32. Sort n, k, 4.
k, n, 4
Let q be ((-12)/42)/((-3)/42). Let y be (-4)/((-4)/(-2)) + -2. Sort -3, q, y in descending order.
q, -3, y
Suppose -4*h = 4*w + 29 + 31, 0 = -4*w + 5*h - 15. Sort w, -5, 0 in decreasing order.
0, -5, w
Let m(l) = l**2 - 4*l + 2. Let x be m(3). Put 1, x, 4 in increasing order.
x, 1, 4
Let w = 5 - 4. Suppose -4*m - 11 = 1. Sort -1, m, w in decreasing order.
w, -1, m
Let h = -1 - -1. Let k = -5.9 - -0.9. Put k, 4, h in decreasing order.
4, h, k
Suppose 0 = -2*v + 5*h + 13, -4*v + h + 0*h = 1. Put v, 0, -4 in descending order.
0, v, -4
Suppose 2*m = d - 9, -m - 5*d + 30 - 7 = 0. Let b = 59 + -57. Sort m, -4, b in increasing order.
-4, m, b
Let r = -0.21 - -0.21. Sort -0.2, 2, r in descending order.
2, r, -0.2
Let x be (-17)/(-4) - 1/4. Let o(g) = -2*g**2 + 7*g - 6. Let t be o(x). Let h be (-30)/63*12/t. Sort -3, h, 1.
-3, h, 1
Let j = -1607/7 + 230. Let y = -0.9 - 1.1. Let w = y - -1.9. Put 0.4, w, j in descending order.
j, 0.4, w
Suppose 9 - 5 = 4*c. Sort 16, -0.1, 2/7, c.
-0.1, 2/7, c, 16
Suppose -7*v + 10*v = -9. Sort 10, 0, v in descending order.
10, 0, v
Let s = -0.3 + -0.1. Let i be -1 - (-3 + 16/6). Put i, s, 2/13 in ascending order.
i, s, 2/13
Let r = -419/3 + 141. Put -0.2, 0.2, r in increasing order.
-0.2, 0.2, r
Let r(f) = -f**3. Let y be r(-1). Let x = 1 + y. Let i be 1 + 0 - 3/1. Sort i, 1, x in descending order.
x, 1, i
Let g = 134.5 + -134. Let s be 2/(-7) + 18/(-35). Let u be 3/10*(0 + -2). Sort s, u, g in decreasing order.
g, u, s
Suppose 6 = -6*w + 24. Sort -2, -3, w in increasing order.
-3, -2, w
Let k be 57/21 - 10/(-35). Let d(o) = -o**3 + 2*o**2 + 3*o - 4. Let n be d(k). Put 4, -0.3, n in increasing order.
n, -0.3, 4
Let g = 186 - 214.8. Let x = g + 29. Put -0.5, x, -2/13 in descending order.
x, -2/13, -0.5
Let x(s) = -s - 3. Let p be x(-3). Suppose 0*m + 5*m = p. Suppose b = -2*l - 1, m = 4*b - l - l - 6. Sort 2, b, -2.
-2, b, 2
Let x(t) = -t - 4. Let n be x(-5). Put -5, n, 8 in increasing order.
-5, n, 8
Suppose 0 = -4*a, 5 = 5*t + 4*a - 3*a. Suppose s + 1 = -2. Let y = t - s. Sort y, -4, 2 in increasing order.
-4, 2, y
Suppose 3*m + 3*q - 6 = 6, -2*q = 3*m - 9. Let l be (m/(-2 - -3))/(-1). Let f(p) = -p - 1. Let u be f(2). Sort u, l, 1.
u, l, 1
Let v = 6 - 4. Let r = v - 4. Put -0.2, 0.2, r in ascending order.
r, -0.2, 0.2
Let s(h) = h**3 + h**2 + h - 1. Let v be s(1). Suppose 5*r = -5*a + 35, 2*r - 5*r + 2*a + 11 = 0. Sort v, -1, r in decreasing order.
r, v, -1
Suppose 5*q - 3 - 2 = 0. Suppose 2*f + 24 = -2*f. Let i be 2/f - (-1)/3. Put i, q, -2 in ascending order.
-2, i, q
Let w(h) = 5*h**2 + h + 1. Let f be w(-1). Sort f, -1, -2 in increasing order.
-2, -1, f
Let d = 1.8 + -2. Put d, -1, -1/8 in ascending order.
-1, d, -1/8
Let g = 25 + -15. Suppose 3*h - 2*l = 19, h + 4*l - g = l. Let b = 3 - h. Sort -3, b, 1 in ascending order.
b, -3, 1
Let p be -2*(-1)/4*0. Suppose -4*u - 5 = 11. Put u, p, 5 in descending order.
5, p, u
Let z = -18 + 28. Suppose 6*g - z = g. Let m be 7*(36/(-21) + g). Sort 4, -3, m in ascending order.
-3, m, 4
Let y = 94 - 93.5. Sort -0.04, y, -1 in descending order.
y, -0.04, -1
Let d(n) = n**2 - n. Let p be d(1). Put 2, 3, p in ascending order.
p, 2, 3
Let l be (3/(9/6))/(-1). Put -3, -16, 1, l in descending order.
1, l, -3, -16
Let y = -902/9 - -100. Sort -3/8, 4, y in decreasing order.
4, y, -3/8
Let p = 4 + -5.5. Let n = 1.7 + p. Put n, -3, -0.4 in decreasing order.
n, -0.4, -3
Let r(p) = p**2 + 6*p + 6. Suppose y = -4 - 0. Let k be r(y). Let u = -6 - -6.5. Put k, 0, u in descending order.
u, 0, k
Let s = 0.4 + 3.6. Let k = 25 + -27. Sort k, 1, s in descending order.
s, 1, k
Suppose 3*u + n = 17, 0 = -5*n + 1 - 6. Suppose -z - 3*o + 2*o + u = 0, 3*z - 2*o - 18 = 0. Let k = -11 + z. Sort k, 1, 3 in descending order.
3, 1, k
Suppose -3*k + 8 = -64. Let d be (0 + 2)/(2/5). Suppose -m = g - 5, -2*g = -d*m - 6*g + k. Put 1, m, -5 in increasing order.
-5, 1, m
Let s = 1.55 + -1.35. Put -5, s, 4, 2/15 in increasing order.
-5, 2/15, s, 4
Let y be (-57)/(-6)*(-1 + 3). Suppose -1 = -5*l + y. Suppose 2*x - i = l*i + 30, 0 = -x + 2*i + 13. Sort 0, 4, x.
0, 4, x
Let t = 10 + -7. Suppose 0 = 2*j - 4*j + 12. Let a be (j/15)/((-2)/10). Put a, t, 2 in ascending order.
a, 2, t
Let h = -1.7 + -1.3. Sort 0.09, h, -2/11.
h, -2/11, 0.09
Let p(o) = o**2 + o - 2*o**2 - 1 + 2*o**2 + 5*o. Let h be p(-6). Put 1, h, -5 in descending order.
1, h, -5
Let k = 0.16 + 0.84. Let u = k - -8. Sort 0.4, 3, u in descending order.
u, 3, 0.4
Let s = 223/6 - 37. Put -1/2, -5/3, s in ascending order.
-5/3, -1/2, s
Let i = 65/184 - -1/46. Put 2, -0.4, i in descending order.
2, i, -0.4
Let l be (51/27 - 2)*-6. Let n = 8 - 12. Put l, n, -5 in descending order.
l, n, -5
Let w(a) = -a**2 - a + 2. Let c be w(0). Sort c, -2, -3.
-3, -2, c
Suppose 0 = -t - 3*m - 11, 0 = t - 4*m - 11 - 13. Let g = -9 - -4. Put -2, t, g in decreasing order.
t, -2, g
Suppose 3*i - 2*i + 4*s = -7, -i + 2*s = -11. Suppose -2*y = -5*y - 4*z + 29, -i = -z. Sort y, 1, 5 in increasing order.
1, y, 5
Let x = -10 - -6. Let c = -31 - -32. Put x, c, -3 in increasing order.
x, -3, c
Let r = 0.2 + 0.1. Suppose 4*d = -5*g - 20, -g = -3*d - 11 - 4. Suppose -i - i = g. Sort -5, i, r in decreasing order.
r, i, -5
Let g = -115/21 - -50/7. Put -7, 0.1, 1/2, g in ascending order.
-7, 0.1, 1/2, g
Let a = -28.86 - -29. Let s = 2.86 + a. Let z = -31/111 - 2/37. Put -3, z, s in decreasing order.
s, z, -3
Let j = -1 + 6. Let d = -13 - -15. Let q = 2 - 3. Put d, q, j in increasing order.
q, d, j
Let s be (-40)/48*(-2)/5. Let v = -7 - -10. Sort s, v, -0.4 in descending order.
v, s, -0.4
Let s be 3/(-9) + 4/(-6). Let u = s + 0. Sort 0, u, 5 in increasing order.
u, 0, 5
Let s = -1 + -7. Let b(j) = -j**3 - 9*j**2 - 8*j - 1. Let m be b(s). Put 3, -2, m in decreasing order.
3, m, -2
Let p = 77 + -80. Sort -1, p, -2/15 in increasing order.
p, -1, -2/15
Suppose 95 = 4*h - 29. Let r be 2/12 - h/6. Put r, -1, 5 in descending order.
5, -1, r
Let a = -2 - 0. Sort a, -4, 1, 0 in descending order.
1, 0, a, -4
Let g = 5 - 1. Suppose 8 = -543*y + 539*y. Put g, y, 2 in decreasing order.
g, 2, y
Let c = -5.92 - 0.08. Let a = c - -6.3. Sort a, -2, -4 in decreasing order.
a, -2, -4
Let j be ((-1 - 1)/(-20))/((-16)/(-120)). Put 0.4, 1/5, j in descending order.
j, 0.4, 1/5
Suppose 4*i - 5*z + 14 = 65, -i - 3*z = 0. Suppose m = -n - i, 4*n + 26 = -2*m - 0. Sort n, -3, 3 in descending order.
3, -3, n
Let h = -0.2 - -0.4. Let a = 28.6 + -32. Let w = a - -3. Put 0.5, w, h in descending order.
0.5, h, w
Let q = 0.09 - 0.38. Let k = q - 0.21. Suppose -3*r = -r + 4. Put r, -3, k in ascending order.
-3, r, k
Suppose 4*w - 4*u = -u + 8, -6 = -3*w + 