rder.
0.2, g, -23
Let s = 149 + -149. Sort 4, 2, -2, s in decreasing order.
4, 2, s, -2
Suppose 27 = 5*s + 3*h, 5*h - h - 20 = -4*s. Let l = 3 - s. Let p be -2 + -2 + (-6)/(-2). Put 4, p, l in descending order.
4, p, l
Suppose 2*v + 3*v - 20 = 0. Let s = 5 - 0. Sort v, s, 2.
2, v, s
Let z(u) = -9*u + 37. Let h be z(4). Sort 3/4, -4/7, h, -0.08 in decreasing order.
h, 3/4, -0.08, -4/7
Let u = -2 - -17. Let d be (-2)/(-3) - (-50)/u. Put d, -4, -1 in decreasing order.
d, -1, -4
Let k = -31 - -32. Let i = 3 - 0. Sort 0, k, i in decreasing order.
i, k, 0
Suppose -6 = g + 2*x, g + 3*x = -g - 9. Sort -2/9, -4, -9, g.
-9, -4, -2/9, g
Let u = -0.1 - -0.8. Let a = u - 0.4. Sort -1, -0.5, a in ascending order.
-1, -0.5, a
Let w be 4/10 - (-84)/(-10). Let v = -11 - w. Suppose 0 = -a + s - 3, -a + 0*a = -3*s - 1. Put a, 4, v in descending order.
4, v, a
Let i = -34 - -34. Sort -14, i, -4 in ascending order.
-14, -4, i
Let i be (-4 + -5)*(-3)/18*2. Sort 1, 6, i, -1 in decreasing order.
6, i, 1, -1
Suppose -14 = -3*o - 2. Suppose -4*x + 9 = 1. Sort o, -3, x.
-3, x, o
Let o = -0.11 + 0.14. Let m = -0.97 - o. Put 3, -2, m in descending order.
3, m, -2
Suppose -2*c = 3*c - 5*l + 25, 0 = c - 5*l + 17. Let g = -4.93 + -0.07. Let f = 8 - 9. Put g, c, f in descending order.
f, c, g
Suppose -5*w - 6 = -16. Sort 4, -4, w in ascending order.
-4, w, 4
Suppose 8 = -0*u + 2*u. Suppose o = -5*x - 21, 4*o + 0*o = -u*x - 20. Put x, -3, 4 in descending order.
4, -3, x
Let i = 1 - -2. Suppose -i*s = -8 + 2. Let x(t) = t**3 - 7*t**2 - 7*t - 9. Let l be x(8). Sort l, s, 4.
l, s, 4
Let t be (-15)/(-6) + 1/(-2). Let c(b) = -b**3 - 13*b**2 - 38*b + 11. Let i be c(-8). Put t, -3, i in descending order.
t, -3, i
Let z(h) = h + 2. Let q be z(0). Suppose 4 = d - q*d. Let l = 5 - 2. Put d, 4, l in increasing order.
d, l, 4
Let w be (0 - 0)/((-2)/(-1)). Suppose -2*t = -3*p, -5*t + 13 = -p - w*t. Let u be -3 - (p - 166/34). Put -0.5, u, 1 in descending order.
1, u, -0.5
Let k = -26 + 25.9. Put -6, k, 1 in decreasing order.
1, k, -6
Suppose 0*h = 4*t - 4*h + 16, 3*t - 2*h + 11 = 0. Put t, -11, -4 in ascending order.
-11, -4, t
Suppose h = 5*n + 23, 0 = -2*h + 3*n - 7 + 25. Suppose 9 - h = 2*r. Suppose 0*d + 5*d + 2*s + r = 0, -4*s - 13 = 3*d. Put d, -4, 4 in ascending order.
-4, d, 4
Let a(g) = 4*g**3 - 1. Let j be a(1). Suppose -5*d - 3*k - k = 11, -2*d - 10 = j*k. Sort -4, d, -2 in ascending order.
-4, -2, d
Let n(m) = -m**3 + 5*m**2 - 6*m + 6. Let g be n(4). Sort g, 2, 4 in increasing order.
g, 2, 4
Let w be ((-24)/(-10))/(3/10). Let m = -4 + 6. Put m, w, 1 in decreasing order.
w, m, 1
Let k be -2 - (8/(-6) - 0). Let x be 1 + (0 - 32/28). Sort k, x, 5.
k, x, 5
Suppose 5*i + 28 - 3 = 0. Let r be 0 + 2 - (-26)/(-10). Sort r, i, 2 in decreasing order.
2, r, i
Let j(i) = 2*i + 20. Let y be j(-9). Put 5, 4, y, -2 in descending order.
5, 4, y, -2
Let p = -93.3 - -93. Put p, -1/2, -0.06 in increasing order.
-1/2, p, -0.06
Let n be (-2)/((-3 + -3)/(-3)). Let v be -2*((-9)/(-2) + -2). Put v, 3, n in ascending order.
v, n, 3
Let b = -10 + 10. Sort b, 4, 3/2, -2/13.
-2/13, b, 3/2, 4
Let p = -2 + -1. Let j = p + -1. Let x = -93 - -92. Put x, j, 0 in increasing order.
j, x, 0
Suppose -20 = 4*t, 10 = -g - 5*t + 2*t. Let f(w) = -w**2 - 8*w - 1. Let i be f(-8). Put i, g, 2 in decreasing order.
g, 2, i
Let t(v) = v**3 + 8*v**2 + 8*v - 1. Let a be t(-7). Let z = a + 13. Sort z, 2/7, 1 in decreasing order.
z, 1, 2/7
Let y = -6 - 5. Let j = 15 + y. Sort 2/5, -2/5, j in decreasing order.
j, 2/5, -2/5
Let c = 76 - 73. Sort 0.05, c, 1/2 in ascending order.
0.05, 1/2, c
Suppose 7 = 4*y - 13. Let i = 14 + -8. Let u = i + -7. Put y, u, 3 in descending order.
y, 3, u
Let w be (1/2)/((-2)/(-4)). Suppose -157*z = -160*z. Sort 3, z, w in ascending order.
z, w, 3
Let c(k) = 3*k + 6. Let l be c(-3). Let s = 23 + -24. Sort l, s, 2 in increasing order.
l, s, 2
Suppose l + 34 - 37 = 0. Sort -5, l, -2.
-5, -2, l
Let t = -6.27 - -0.27. Let p = 7 + t. Let n = -0.06 - 0.34. Put p, n, -2/9 in ascending order.
n, -2/9, p
Let h(a) = -a**3 + 5*a**2 - 4*a - 3. Let z be h(4). Suppose -1 + 5 = -2*j. Sort 3, z, j in decreasing order.
3, j, z
Let m = -29.9 - -30. Put -6, 5, m in descending order.
5, m, -6
Let q = -116 + 111. Let b = -3.93 + -0.07. Sort -2, b, q in increasing order.
q, b, -2
Let d be -12 - 134 - (-2)/(-1). Let c be d/(-18) - (-4)/(-18). Put -5, -1, c in decreasing order.
c, -1, -5
Suppose -5*j = -l + 10, 4*j = -2*l - 2*l - 32. Let f = 0 - -2. Sort f, 4, j.
j, f, 4
Suppose 6*b = 3*b - 2*n + 9, -15 = -5*n. Put b, 5, -4, -2 in descending order.
5, b, -2, -4
Suppose -v + 3*v + 8 = 0, 4*d + 12 = v. Sort d, -1, 4 in ascending order.
d, -1, 4
Suppose 2*d - 18 = 6. Let x be d/(-2 + 14/4). Let t = x - 13. Sort -3, -2, t in ascending order.
t, -3, -2
Suppose 0 = 4*l + 3 - 11. Let i = 3 + -2. Let k = 2 - i. Put l, -1, k in increasing order.
-1, k, l
Let m be -3*(-2)/(-3) - 1. Let q = -39 + 40. Sort q, m, 0 in descending order.
q, 0, m
Let k = -9 - -18. Let z = k + -8.6. Suppose n - 5*c + 1 = 0, -2*n + 1 = -5*c - 2. Put n, 5, z in increasing order.
z, n, 5
Suppose 1 + 4 = -k + 3*g, 3*k - 5*g + 11 = 0. Let r be 6 + (k - 1 - -2). Suppose 0 = -5*m + r. Put -5, m, 2 in ascending order.
-5, m, 2
Let i = -60 - -65. Let n = -0.02 + -1.98. Sort i, -1/2, n in increasing order.
n, -1/2, i
Let j = -8 - 0. Let d = -22.3 - -14. Let w = j - d. Put w, -4, 2 in decreasing order.
2, w, -4
Let g = 1 - 0. Let r = 8 - 11. Put g, r, 2 in increasing order.
r, g, 2
Let o = 857/5 + -172. Suppose 5*p = 20, -126 = 5*g + 3*p + 57. Let m be 6/9 - (-32)/g. Put o, m, 0.5 in increasing order.
o, m, 0.5
Let g(m) = 7*m**3 - m**2 - m - 1. Let b be g(2). Suppose -b + 19 = -5*c. Suppose -2*n + 0*n = c. Sort 1, n, -2/13 in ascending order.
n, -2/13, 1
Let v = -7.2 + 1.2. Let f = v + 5.6. Let n be 20/11 - (3 + -1). Sort f, -5, n.
-5, f, n
Let o = -0.37 + 0.07. Let s = 1.3 + o. Let v = -29 - -24. Sort v, -0.4, s in decreasing order.
s, -0.4, v
Suppose 27*u - 19*u = 16. Sort u, 13, -6 in decreasing order.
13, u, -6
Let r = -6.87 - 0.13. Let b = 6.9 + r. Let u = 0.1 - -4.9. Sort 2, u, b.
b, 2, u
Let k be -2 + 2*(-1)/(10/(-12)). Put -5, k, 1/27 in ascending order.
-5, 1/27, k
Let y(w) = w**3 + 5*w**2 - w - 2. Let g be y(-5). Let d be (-2 - 0)/2*g. Suppose 20 = -4*c - 0*c. Sort c, -0.2, d in increasing order.
c, d, -0.2
Let n be 2/3*18/4. Sort 12, n, -4, -5 in increasing order.
-5, -4, n, 12
Suppose -2*n = x - 5, 0*n + 3*n = -5*x + 4. Sort 5, -4, x, 2.
-4, x, 2, 5
Let w(u) = u**3 + 5*u**2 - 6*u + 1. Let j be w(-6). Suppose 0 = c - j. Sort -1, 0, c in decreasing order.
c, 0, -1
Let h = 1.6 + -2.8. Let y = h + 5.7. Let o = y - 5. Sort 0, -3, o in descending order.
0, o, -3
Let p = 0.99 + 0.01. Sort 0.023, -2, p in descending order.
p, 0.023, -2
Let h = -2 - -1. Suppose 0*b - 2*b + 8 = 0. Suppose -2*p = d - b, p + 4*d = -3*p. Put p, h, 1 in descending order.
p, 1, h
Let l(w) = w - 1. Let b be l(3). Let z be (-1)/(-3)*(7 - 4). Put b, z, 3 in increasing order.
z, b, 3
Let j = 0.06 + -0.46. Let c = 0.5 + -0.41. Let q = c - -4.91. Sort -4, j, q.
-4, j, q
Let f(a) = 9*a + 5. Let z be f(-1). Sort z, 8, -2 in decreasing order.
8, -2, z
Let g be 1 - 1 - (-25)/(-165). Let q = -1550273/660 - -9393/4. Let k = g + q. Sort -5, k, 2/5 in descending order.
2/5, k, -5
Let r be (-8)/(-6)*(-21)/7. Sort 6, -5, r in decreasing order.
6, r, -5
Let z(n) = n**3 + 11*n**2 + 10*n - 2. Let i be z(-10). Let x = -7 + i. Put x, -5, 0 in decreasing order.
0, -5, x
Let y = -2.3 + 4.3. Sort -4, -1/7, y in decreasing order.
y, -1/7, -4
Let b be (-8 - -6)*(-4)/2. Suppose -4*l = b*j - 28, -2*l = j + 3*l - 15. Suppose 2*s = 2*c + 8, 4*c + j*s + 7 - 18 = 0. Sort 1, c, -2.
-2, c, 1
Suppose -5*m = -5*i - 140, -3*i + 4*i = -4*m + 92. Suppose b = 2*o - o - 3, 0 = -4*b - 5*o + m. Sort 2, 4, b.
b, 2, 4
Let t = -2 - 1. Suppose 2*v + 3*v = 40. Let c = v + -13. Sort c, t, -2 in decreasing order.
-2, t, c
Let d(b) = 4*b**2 - 9*b + 2. Let j be d(2). Put -1, j, 4, 15 in decreasing order.
15, 4, j, -1
Let z = -109 + 114. Let i be (-1 + 2 - 5)/(-1). Sort i, z, -2 in decreasing order.
z, i, -2
Let o be 1356/(-44) + 4/(-22). Let s be 0 - o/(-12) - -2. Let m = s + 25/84. Put m, -1, 0 in decreasing order.
0, m, -1
Let l = 