pose 8 = a*n + n. Sort -5, 3, n in ascending order.
-5, n, 3
Suppose 3*k = -12, m + 0*k = -2*k - 9. Let d be (-30)/25*(-10)/3. Sort d, m, 5 in ascending order.
m, d, 5
Let n be ((-12)/(-1))/(-4) + 13/3. Sort -13, 3, n, -4.
-13, -4, n, 3
Let w = 9/2 - 5. Let o = -4 + 7. Suppose -4*u - 2*v - 19 + 1 = 0, 0 = o*u + 5*v + 31. Sort u, w, 3 in increasing order.
u, w, 3
Suppose g = 2 - 1. Let r(v) = -2*v**2 + 1. Let i be r(g). Let n be (-4)/18 + (-2)/(-9). Sort 3, n, i in increasing order.
i, n, 3
Let m = 821/9 + -91. Sort m, -24, 1 in descending order.
1, m, -24
Suppose -w + 6*w - 5*t = 25, 12 = -4*w - 4*t. Put 2, -3, w in increasing order.
-3, w, 2
Let y(n) = n**3 + 8*n**2 - 10*n - 7. Let s be y(-9). Suppose 2*b - 3*b = s. Put -3, 2, b in ascending order.
-3, b, 2
Let r(v) = 3*v + 9. Let y be r(-3). Sort 2, -1, y, 6.
-1, y, 2, 6
Let c = -0.6 + 1. Let k = -26.3 - -26. Sort -5, c, k.
-5, k, c
Let a = 1 + -2. Suppose 2*t = 5*b + 7*t + 20, -5*b + t = 14. Let s = 7 - 11. Put b, s, a in descending order.
a, b, s
Suppose 16*v = 37 - 5. Put v, -8, -0.1 in decreasing order.
v, -0.1, -8
Suppose 0*b = 4*b - 20. Suppose 3*f = d + 3, 0*d + f = d + b. Let g(j) = 2*j + 7. Let v be g(d). Sort -3, 1, v in descending order.
1, -3, v
Let i = -17 - -27. Suppose -2 = -3*w - a, 5*a = -w + 6 - i. Let m(f) = -f**2 - 7*f - 13. Let l be m(-4). Sort w, l, 4 in increasing order.
l, w, 4
Suppose -5*m - 24 = -2*q + 6*q, -4*m = 5*q + 21. Let t = 4 - 0. Let s be 4/(-2) + (t - 1). Sort q, -5, s in decreasing order.
s, q, -5
Let n(l) = l**2 - 6*l + 5. Let y be n(4). Suppose 3*j - 4 = 11. Let m = -255 + 253. Sort j, y, m in descending order.
j, m, y
Let d = -7 + 5. Let g = 2 + d. Put 2/5, -0.4, g in ascending order.
-0.4, g, 2/5
Let d = 2 - 3. Suppose 5*q + a - 3 = 2*a, 0 = 4*a + 12. Suppose -i + q = 2. Sort i, d, -5 in descending order.
d, i, -5
Let s = 356053/8 + -44383. Let w = 124 - s. Put w, -0.4, -0.2 in ascending order.
-0.4, -0.2, w
Let n = -1.3 + -2.7. Sort 5, n, -0.4 in ascending order.
n, -0.4, 5
Suppose -2*l + 20 = -6*l. Let o = l + 4. Let w = -4 - o. Sort -5, w, 2.
-5, w, 2
Let r = 2 + 0. Let m(o) = -2*o**2 + 2*o + 2. Let x be m(r). Let h be ((-3)/(-9))/(3/72). Put 0, x, h in descending order.
h, 0, x
Let i = 0.13 - 5.13. Let n = i - -11. Let s = n - 6.5. Sort -2/13, -6/7, s in increasing order.
-6/7, s, -2/13
Let b = -25 + 26. Let x(h) be the third derivative of -h**6/120 - 7*h**5/60 - h**4/3 - 4*h**3/3 + h**2. Let u be x(-6). Put b, u, -4 in ascending order.
-4, b, u
Suppose -5*l + 2 = -3. Put l, 23, -5 in decreasing order.
23, l, -5
Let g = -10 + 14. Let h = g - 3.5. Let u = -1 + 6. Put 3, u, h in increasing order.
h, 3, u
Let w = 69 + -74. Put -2, -1, w, -4 in decreasing order.
-1, -2, -4, w
Let a = -135 - -135.2. Put -14, a, -4, -0.3 in decreasing order.
a, -0.3, -4, -14
Let j = -23039/72 + 320. Let d = 221/360 - j. Let b = 0.07 - 5.07. Sort d, 0.5, b.
b, 0.5, d
Suppose -31 = -3*a - 19. Suppose -l = 3*l. Sort -2, l, a.
-2, l, a
Let y(q) = q**3 - 4*q**2 - 3*q - 7. Let l be y(5). Sort 2/9, l, 0.5 in descending order.
l, 0.5, 2/9
Suppose 0*s = -2*s. Let q = 4 + 1. Let i be ((-7)/q - -2)*1. Sort i, s, -4.
-4, s, i
Suppose 0 = 4*d + 4*d. Put -4, d, -0.3, 2/25 in decreasing order.
2/25, d, -0.3, -4
Let g = -3 - -2. Suppose 30 - 10 = 5*l. Suppose -4 = l*s + 12. Sort g, -0.1, s in increasing order.
s, g, -0.1
Let h be (8*(-2)/(-12))/(2/6). Sort h, -25, 0 in descending order.
h, 0, -25
Let a = -0.7 - -1.7. Let t = 1.4 - a. Put 4, 0.3, t in ascending order.
0.3, t, 4
Suppose 0 = 5*g - 3*p + 5*p + 2, 0 = -5*g + 5*p + 5. Let f be (-1)/((-1)/7 + 0). Suppose 2*k + 3 + f = g. Sort 0, k, -3 in ascending order.
k, -3, 0
Suppose 0 = 2*w - a + 6, -w + 5*a - 3 + 0 = 0. Sort 5, -8, w, 1.
-8, w, 1, 5
Let l = -89 - -96. Sort l, 5, -3, 2 in decreasing order.
l, 5, 2, -3
Let m(a) = a - 3. Let b be m(3). Sort -1, -5, b in decreasing order.
b, -1, -5
Let i = 3.991 + 0.009. Put 2/9, i, 1 in decreasing order.
i, 1, 2/9
Suppose 12*u + 20 = 17*u. Put u, -4, 3 in increasing order.
-4, 3, u
Let v(i) = i**2 + 4*i - 7. Let q be v(-6). Put q, -0.5, 4 in increasing order.
-0.5, 4, q
Let q = 0.25 - -0.25. Sort 2/7, 5, q.
2/7, q, 5
Let c = -7/15 - -19/30. Let h = 44 - 47. Put -5, h, c in ascending order.
-5, h, c
Let z = -12 - -11.5. Put -4, -2/9, z in descending order.
-2/9, z, -4
Let a be 3*-5*(-3)/9. Let r be (a + -14)*2/6. Sort 4, r, 0 in descending order.
4, 0, r
Let q(b) = -b - 5. Let i be q(-4). Suppose 4*h - 3*a - 17 = 0, -3*h - 4*a - 4 = h. Sort -5, i, h.
-5, i, h
Let q = -0.12 - -0.02. Let c = q - -5.1. Sort -0.5, c, -4.
-4, -0.5, c
Let j(v) = -v**2 - 2*v + 1. Let u be j(-3). Put u, 2, -5 in decreasing order.
2, u, -5
Let s = 61 - 60. Put 2, 11, s, -2 in descending order.
11, 2, s, -2
Let b = -2.3 - -2.33. Let t = -3 + 2.99. Let x = b + t. Put -1/4, x, 0.4 in decreasing order.
0.4, x, -1/4
Let z be 4/(-6) - (-11)/(-33). Put 3, z, -2 in ascending order.
-2, z, 3
Suppose -2*n + 3*n = 0. Let j = -4 - n. Sort 2, -1, j.
j, -1, 2
Let u(f) = f**3 - 7*f**2 + 7*f - 3. Let w be u(6). Let i be (1/w)/(2/24). Put i, -1, 0.5 in decreasing order.
i, 0.5, -1
Let z be (4/3 + -2)*3. Let t(u) = u**2 - u + 2. Let n be t(0). Suppose 10 = -n*r - 0*r. Sort z, r, 1.
r, z, 1
Let c be -1*(35/(-45) - 2/9). Sort -1, 2, 0, c in decreasing order.
2, c, 0, -1
Let f be (-3)/(-30)*8 - 21/(-5). Put f, 0, 3 in increasing order.
0, 3, f
Let r = -3.8 - 0.2. Let v = r - -3. Let m = v + 1.4. Put m, 1/11, -0.3 in increasing order.
-0.3, 1/11, m
Let w = 2 - 0. Let r = 2.04 - w. Let p = r + 0.36. Put 0.1, p, -0.1 in descending order.
p, 0.1, -0.1
Let h be (2/27)/((-1)/(-6)). Let p be (-2)/(-18) + (-1)/3. Put h, p, 0 in increasing order.
p, 0, h
Let v = 93/4 - 23. Let a = 16.2 + -13. Let s = a - 3. Sort -4/3, s, v in ascending order.
-4/3, s, v
Let j = -3.16 + 0.26. Let z = j - 0.1. Sort -0.2, z, -5 in descending order.
-0.2, z, -5
Let p = -26 + 28. Suppose -2*m + 13 = 5*t, p*t + 2*m = 5 + 5. Sort t, -5, 2.
-5, t, 2
Let z(u) = -u**2 - 10*u + 11. Let g be z(-11). Sort g, -2, -1.
-2, -1, g
Let q be ((-11)/(-2))/((-6)/(-12)). Suppose -3*o - 4*a = -3*a, -o = 4*a + q. Sort 0.2, -1/3, o in ascending order.
-1/3, 0.2, o
Let d be 39/(-91) + (-54)/21. Let s(j) = -j + 8. Let t be s(0). Suppose 4*f - 5 = 3*x, 5*x + 7 + t = 0. Sort 2, f, d in descending order.
2, f, d
Let b be (-46)/(-36)*2/(-11). Let y = b - -1/99. Let c be -3 + (6/(-4))/(11/(-22)). Sort 4, y, c in increasing order.
y, c, 4
Let q(a) = a**2 - a - 5. Let z be q(0). Let c be ((-1)/((-2)/(-16)))/(-1). Let i be 6*(-5)/((-60)/c). Put 0, z, i in ascending order.
z, 0, i
Suppose -23 = 2*z - 31. Sort 3, z, 2 in decreasing order.
z, 3, 2
Suppose 1 = -c - 2. Suppose 3*g = -g + 8. Suppose -4*q - 3*f - g = 3, -5*q - 50 = -5*f. Sort 1, c, q.
q, c, 1
Suppose 0 = -7*m - 56 + 196. Suppose 4*f - m = -8. Sort f, -4, -0.3 in descending order.
f, -0.3, -4
Suppose -3*m = -5*o + 2*m, 0 = 2*o + 4*m. Let i = 0.01 - -1.99. Let u = -2.4 + i. Sort o, u, -1/6 in decreasing order.
o, -1/6, u
Suppose 2*v + 2 = 3*a - 19, -5*v - 35 = -4*a. Put -5, 15, a in decreasing order.
15, a, -5
Let q = 0.8 + -1. Let f = -0.3 + 0.2. Let c = -0.8 - -1.1. Sort c, f, q in increasing order.
q, f, c
Let z = -3 - 0. Let o = 7 + z. Let j(m) = m**3 - 5. Let a be j(0). Sort o, a, -2/5 in descending order.
o, -2/5, a
Let q be 1/3 + (-76)/12. Let n be -3 - (-8)/2 - 4. Sort -2, n, q in descending order.
-2, n, q
Let z = -0.4 + -2.6. Suppose 107*f - 117*f = 20. Put f, z, 0 in descending order.
0, f, z
Let m be ((-1)/(-2)*0)/(-1). Suppose v = 7 - 4. Let l = 0 + v. Put m, 0.1, l in descending order.
l, 0.1, m
Let q = 1 + -1. Let v = -2.96 + -0.04. Let b = v - q. Sort 4/7, -1/2, b in descending order.
4/7, -1/2, b
Suppose -15 + 15 = -12*u. Put u, 1, 9, -5 in ascending order.
-5, u, 1, 9
Let z(b) = b**3 + 4*b**2 - 14*b - 9. Let f be z(-6). Put 1, 5, -1, f in decreasing order.
5, f, 1, -1
Let i = -17 - -26. Let b = i + -10. Sort 4, -2/11, b.
b, -2/11, 4
Suppose 2*i = -8 + 48. Suppose -i = 2*s - 8. Let u = s + 3. Sort -1, u, 5.
u, -1, 5
Let g = -12.4 - -12.5. Let d = -171/10 - -35/2. Put d, g, -1/3 in decreasing order.
d, g, -1/3
Let j = 2.8 - -0.2. Let c = 2.9 - j. Let q = -7 - -10. Put 0, q, c in decreasing order.
q, 0, c
Suppose 16 = 2