 - 1/123. Let x be -1*(3/1 + -2). Sort x, -1/6, t in increasing order.
x, -1/6, t
Let a = -7 - -12. Let s = -0.039 + 4.939. Let u = a - s. Put -1/2, 2/9, u in descending order.
2/9, u, -1/2
Let s = -17/27 - 1/27. Let b(a) = -a**3 + 6*a**2 - 2*a + 9. Let n be b(6). Sort s, n, 0.4 in descending order.
0.4, s, n
Let x = 4.29 - 0.29. Sort x, 1/4, -0.3 in increasing order.
-0.3, 1/4, x
Suppose 0 = -5*a - 2*x + 30, 0 = -3*x + 11 + 4. Suppose a*d - 3*d + 2 = 0. Let b be d/7*(-5)/10. Sort b, 5, 3 in decreasing order.
5, 3, b
Let p = 11 - 11. Let g = -39 + 15. Let w be g/(-35) - (-2)/(-7). Sort p, w, 1 in descending order.
1, w, p
Let x = 3 - 5. Let t = 8 + -5. Sort -5, x, t in decreasing order.
t, x, -5
Let k = -1915/7 + 274. Put 2, -3/7, k in ascending order.
-3/7, k, 2
Let v be 2 - (2/(-1) - 0). Let s = 2 + -2. Sort s, -2/5, v in ascending order.
-2/5, s, v
Let t be 16/20 - (-57)/(-15). Sort -5, 5, t in decreasing order.
5, t, -5
Let h = -174 + 179. Let o = -8 + 6. Sort h, o, -4 in decreasing order.
h, o, -4
Let b = 21 + -21.9. Let i = 9.5 + -10. Let r = b - i. Put -1/2, r, 5 in decreasing order.
5, r, -1/2
Let w = 66 - 66.27. Let o = 2.73 - w. Sort 5, -2, o in ascending order.
-2, o, 5
Let u(j) = 23*j**3 - j**2. Let z be u(-1). Let i = 26 + z. Sort i, -1, 4 in descending order.
4, i, -1
Let w = -8 - -11. Let v = -1 + w. Put 3, v, 0.4 in decreasing order.
3, v, 0.4
Suppose -4*u + 4*j - 13 = 11, u + 2*j = 0. Sort -0.5, -0.23, u in decreasing order.
-0.23, -0.5, u
Suppose -5*z - 3*r + 55 = 0, 11 = -4*z - r + 55. Suppose -1 - z = 4*s. Sort 4, 5, s in decreasing order.
5, 4, s
Suppose -s - 3 = 16. Let z = -15 - s. Sort 0, z, 5 in descending order.
5, z, 0
Let h = -7 - -10. Let s be 3/(-5) - (-17)/20. Put s, -0.1, h in decreasing order.
h, s, -0.1
Let v = 32 - 25. Let j(d) = -3*d + 20. Let x be j(v). Put 4, 1, x in descending order.
4, 1, x
Let y = -1.9 + -0.1. Let s = -47/33 + 1/11. Let r = -0.096 - 0.304. Put r, s, y in increasing order.
y, s, r
Let u(j) = j**3 - 10*j**2 - 3. Let r be u(10). Put -14, r, -2 in ascending order.
-14, r, -2
Let k = 4 - 4.5. Let w = -0.39 + 0.09. Sort w, -4/7, k in ascending order.
-4/7, k, w
Let m be 6/6*(-4 + 1). Sort 1, -5, m in increasing order.
-5, m, 1
Let a be 0/(2 + -1) - -2. Suppose -a*s = 2*s - 8. Put s, 3, 1 in descending order.
3, s, 1
Suppose -13 = -3*q - 16. Suppose -25 = -4*w - w. Put w, q, 4 in descending order.
w, 4, q
Let b be 25/10*6/(-5). Let a(s) = -s**2 - s - 5. Let u be a(0). Sort u, b, -2.
u, b, -2
Let b(d) = 2*d - 1. Let s be b(-1). Let a = -17 - -28. Let z = -15 + a. Sort -5, z, s in ascending order.
-5, z, s
Let t = -0.12 + 0.32. Let x = t - 3.2. Put x, -0.2, -1/3 in descending order.
-0.2, -1/3, x
Suppose 0 = 2*q + 2*l, q + 2 = -4*l + 17. Let y be (-13)/(-4) + (-1)/4. Suppose 5 - 2 = y*z, -2*z = 2*g - 8. Put g, q, -1 in descending order.
g, -1, q
Let g be 2*2*(-2)/8. Let q be 2/(-4)*(-32)/88. Let l = 0 - 0.2. Sort q, g, l in increasing order.
g, l, q
Suppose -12*g = -14*g + 2. Sort -1, g, -9 in increasing order.
-9, -1, g
Let w = 0.01 + 5.99. Let u = 6.4 - w. Let a = -68/3 - -206/9. Put -1/3, a, u in descending order.
u, a, -1/3
Let a(n) = n + 9. Let p be a(-6). Let u be -6*((-4)/(-3) + -2). Put u, p, -1 in decreasing order.
u, p, -1
Let d = -68 - -141/2. Sort 23, d, 3 in decreasing order.
23, 3, d
Let b(c) = c**2 + 6*c + 5. Let j be b(-6). Let o(i) = i + 3. Let a be o(-6). Put 0, j, a in ascending order.
a, 0, j
Let x = 155 - 160. Sort 0.2, x, 3, 1 in ascending order.
x, 0.2, 1, 3
Let l(s) = 3*s**2 - 14*s - 3. Let o be l(5). Sort 1, o, 5.
1, o, 5
Let q = 1 + 3. Suppose -4 = -4*o - 0. Let l = o + -3. Sort 0, l, q in decreasing order.
q, 0, l
Suppose -g = -3 + 4. Let a(r) = -6*r - 1. Let z be a(g). Sort -5, 2, z in descending order.
z, 2, -5
Let i = 3 + -2. Sort 5, -5, i in decreasing order.
5, i, -5
Let d = -2 + 5. Let f be ((0 - -1) + 0)/(-1). Sort f, d, 2 in decreasing order.
d, 2, f
Suppose 0*a + 4*o = a, -3*a + o + 11 = 0. Sort -8, -4, a in descending order.
a, -4, -8
Let r be ((-1)/3 - (-275)/105) + -2. Let v be (-2)/3 + (-6)/(-9). Sort 1/6, r, v.
v, 1/6, r
Let b = 81 + -78. Let q be -3*-5*2/(-6). Put 2, q, b in ascending order.
q, 2, b
Let c = -2 + 0. Let a = 2 + 0. Suppose 5*z = a*z - 12. Put z, c, -5 in decreasing order.
c, z, -5
Let l(d) = d**2 + 6*d + 3. Suppose -6*v - 20 = -2*v. Let u be l(v). Sort u, -1/3, 2 in increasing order.
u, -1/3, 2
Suppose -d = 3*f - 9, 0 = -3*f + 3*d - d. Let y(p) = -4*p**2 - 3 + 6*p**2 - p**2 - 3*p. Let n be y(3). Sort f, 0, n in descending order.
f, 0, n
Let g be (-1)/1 - 0/1. Let s be (g/(-9))/(3/6). Sort -5, s, 5 in decreasing order.
5, s, -5
Let r = -23 + 16. Let s = r + 4. Sort -5/3, 1, s in decreasing order.
1, -5/3, s
Let g(a) = 2*a**3 - 18*a**2 + 5. Let t be g(9). Put 4, 21, t in increasing order.
4, t, 21
Let m = -0.019 - -4.019. Sort 3, m, 0.
0, 3, m
Let r(y) = 1 + y**2 - 2*y - 5*y + y - 5. Let o be r(7). Put o, 1, -0.4 in descending order.
o, 1, -0.4
Let f = 18 - 19. Sort -2, f, 2.
-2, f, 2
Let d = -0.06 + -0.24. Let o = 0.01 + 1.99. Put 0, o, d in descending order.
o, 0, d
Let a be -9*4*(-2)/6. Let k be (-2 - 1)/(a/16). Put k, 5, -8 in descending order.
5, k, -8
Let b = -21.7 + 22. Let v be 0 + 2 + (-3)/6. Sort 3, v, b in descending order.
3, v, b
Let t(a) = -a**3 - a**2 - 2. Let n(q) = q**2 + 8*q - 11. Let o be n(-9). Let u be t(o). Let d be (u/7)/(-2)*2. Put 0.5, d, 2/9 in decreasing order.
0.5, 2/9, d
Let v be (-51)/27 - (-3)/(-27). Sort 2, -5, v, 0 in ascending order.
-5, v, 0, 2
Let p = 55 + -59. Sort 2, 1, 4, p in increasing order.
p, 1, 2, 4
Suppose -3*i + 17 = 2. Let o = -20 - -19. Put o, i, 2 in descending order.
i, 2, o
Let v(z) = -z**2 + z - 1. Let l be v(2). Let k = 0.7 + -4.7. Let c = -6 - k. Sort l, c, -0.2.
l, c, -0.2
Let p(y) = y**2 - 3. Let d be p(-3). Let t = d - 4. Put t, -1, 0 in ascending order.
-1, 0, t
Let v be (3 - 2) + 12/3. Let n(u) = -3*u - 3. Let l(x) = -4*x - 3. Let t(b) = v*n(b) - 4*l(b). Let j be t(7). Sort 0, j, 1 in increasing order.
0, 1, j
Suppose -1 = -u + m, -4*m - 7 = -2*u - 15. Sort 1, 3, -3, u in decreasing order.
u, 3, 1, -3
Let z be 2/(3/18 + (-14)/(-60)). Sort -4, -3, z in decreasing order.
z, -3, -4
Let h(j) = j**2 - 6*j. Let g be h(5). Let d be 1/(-3) - 14/(-6). Suppose 0 = -2*n + 10 - d. Put g, -1, n in ascending order.
g, -1, n
Let s(k) = k**2 - 1. Let i be s(-2). Suppose -4*w + 8 = -i*p - 5, 2*p + 2*w = 10. Put 1/3, p, 4 in ascending order.
1/3, p, 4
Let v = -1 + 6/5. Put -5, v, 6/11 in descending order.
6/11, v, -5
Let u = 0.228 + 1.712. Let m = u + -2. Let b = -0.24 + m. Sort b, 3, 2.
b, 2, 3
Let x = -1.9 + 2. Let h = 39 - 28. Suppose f - 4*f - 4*z - h = 0, 5*f + 10 = -5*z. Put -3, f, x in ascending order.
-3, x, f
Let h(g) = g - 4. Let m be h(2). Put 1, 0, m in increasing order.
m, 0, 1
Let t = 17 + -16.65. Let c = t - -0.05. Let u = 11 + -8. Put u, c, -0.2 in ascending order.
-0.2, c, u
Let d(s) = -2*s + 6. Let q be d(0). Put 0.1, q, -2/5 in ascending order.
-2/5, 0.1, q
Let k = -1.5 + 2. Sort k, -2/3, 0 in increasing order.
-2/3, 0, k
Suppose -3*r + 8*r = 20. Put -31/3, 3/4, r in descending order.
r, 3/4, -31/3
Suppose -4*v + 12 = s, 4 = 5*s - 3*v + 13. Let y be (-2 + s)/(8 + 2). Let g = 0.4 - -0.1. Put 3, y, g in descending order.
3, g, y
Let u = 7.3 - 7. Put u, 2/7, 1 in increasing order.
2/7, u, 1
Suppose -2*y + 13 - 3 = 0. Suppose z + 2 = -2*z - 4*q, 4*z + 13 = y*q. Sort -4, z, 1/4.
-4, z, 1/4
Let o be 3/(-1) - -7*1. Suppose 0*t + 19 = 2*t + 5*g, 5 = o*t - g. Put -4, t, -5 in decreasing order.
t, -4, -5
Suppose -10*q - 59 = 41. Sort q, -5, 4 in decreasing order.
4, -5, q
Let c(t) = -t + 8. Let w be c(8). Suppose f = -w + 2. Let x(h) = -h**2 - 4*h + 1. Let m be x(-3). Put f, m, -0.4 in decreasing order.
m, f, -0.4
Suppose 12*z + 5 = 11*z. Sort z, -3, -11 in decreasing order.
-3, z, -11
Let n be (-2)/3 + (-1)/(-2). Sort n, 1/6, 4 in decreasing order.
4, 1/6, n
Let n = 94 + -97. Put -0.01, 1/2, n in descending order.
1/2, -0.01, n
Let b(u) = -u**2 - 8*u + 3. Let d be b(-7). Suppose 3*g + d = 8*g. Sort -2, 5, g in decreasing order.
5, g, -2
Let j(q) = q + 5. Let i(a) = 1. Let c(t) = 3*i(t) - j(t). Let x be c(-6). Sort -4, x, 1 in decreasing order.
x, 1, -4
Let p = 0.7 + -0.4. Let u = 0.131