 order.
z, x, -0.4
Let f be 2 - -7*(-4)/4. Sort -1, f, -2 in descending order.
-1, -2, f
Suppose 5 = -5*b - 0. Let j = -5 - b. Put j, 0, -1 in increasing order.
j, -1, 0
Let t(s) = 6 + 6*s + 3 - 2. Let u be t(-2). Sort u, 4, -6 in descending order.
4, u, -6
Let s = -29/3 - -10. Sort 14, 2/11, s in descending order.
14, s, 2/11
Let o(c) = -6*c - 20. Let x be o(-3). Let s be (-7)/(-15) + 1/3. Put s, -5, x in increasing order.
-5, x, s
Suppose o + 5 + 2 = 2*z, 4 = 2*z. Let d = -3 - -9. Suppose 5*a + 20 = v, d*v = v + 2*a + 8. Put -5, o, v in ascending order.
-5, o, v
Suppose -3 - 1 = f. Suppose 1 = 2*x - 3*x. Put f, x, -3 in ascending order.
f, -3, x
Let p be 2*(-1 - 11/(-2)). Let f be 5/15 + (-3)/p. Sort 4, 1/9, f.
f, 1/9, 4
Suppose 12 = -3*x - 3. Let j be (-1)/2 + 18/4. Put x, j, 0 in descending order.
j, 0, x
Suppose -x = 2*t - 5 - 4, 4*x + 29 = 5*t. Suppose -3*p - 4*r = -p + 10, -3*p - 5*r - 11 = 0. Sort x, p, -6 in ascending order.
-6, x, p
Suppose -5*a + 3 = h - 1, -3*h = -3*a - 84. Sort -4, -5, 5, h.
-5, -4, 5, h
Suppose 4*o - 2 = -6. Let b be 15/o*5/15. Put b, 4, -6 in ascending order.
-6, b, 4
Suppose 5*t + 12 = 37. Suppose 0 = 4*z - 4*l + 4, -z + 4 + 7 = -t*l. Suppose 2*p = 2 - 4. Sort z, 1, p in descending order.
1, p, z
Let t = -2 + -3. Let j = -5 + 10. Sort t, j, -2/3 in descending order.
j, -2/3, t
Suppose 0 = -7*q + 165 - 137. Sort 11, -5, q, 5 in ascending order.
-5, q, 5, 11
Let g = 58 - 58. Put g, -3, 5 in descending order.
5, g, -3
Let a = 91 + -96. Suppose -v - 4 = 3*p + v, 3*p + 4*v + 2 = 0. Put a, p, -4 in increasing order.
a, -4, p
Suppose 0 = -31*l + 27*l - 24. Put l, -1, 1, -2 in decreasing order.
1, -1, -2, l
Suppose 0 = -x - 17 - 5. Let u be x/(-8) - 2/(-8). Put -4, u, 1 in descending order.
u, 1, -4
Let s be (-6)/(-10)*(-20)/(-18). Sort s, -5, 2 in decreasing order.
2, s, -5
Let h = 314 - 316. Let d be 18/(-14) + -1 + 2. Put d, h, -1/8 in descending order.
-1/8, d, h
Let h = -20 - -27. Put 1, h, 4 in decreasing order.
h, 4, 1
Let t = -1.08 - -0.18. Sort t, 5, 2/13.
t, 2/13, 5
Let k = -30 + 59/2. Put 0.4, 0.08, k in increasing order.
k, 0.08, 0.4
Suppose 192 = 3*t + t. Let a be t/(-9) + 1/3. Let y = -2 - a. Sort y, -4, -1.
-4, -1, y
Let d = 66 - 62. Suppose 0 = 3*t + 2*j + 10, 9 - 2 = -t + 3*j. Sort t, d, 0.
t, 0, d
Let h be (-14)/8 - (-1)/(-4). Let w(x) = 2*x**2 + 1. Let f be w(1). Suppose 0 = -4*a - 12 + 8. Sort a, f, h in ascending order.
h, a, f
Let s = 25/48 + -3/16. Let l = -41.7 + 37. Let f = 0.3 - l. Sort s, 0.3, f in descending order.
f, s, 0.3
Let a be (2 - 0)*8/2. Let l be 0/(-8) - (-1)/a. Sort -0.4, -0.1, l in descending order.
l, -0.1, -0.4
Let p = 8 + -6.2. Let t = -0.2 - p. Let x = -0.9 - -1.9. Sort x, t, 2/7.
t, 2/7, x
Let j(x) = x + 7. Let l be j(-5). Suppose 6 = -4*b + l. Suppose 0 = -3*p - 0*p + 15. Sort b, p, -3.
-3, b, p
Let x(v) = v**3 + 5*v**2 + v + 2. Let q be x(-5). Sort -1, -5, q.
-5, q, -1
Let x = -6 - -1. Let i(m) = -m. Let j be i(-4). Suppose 4*w + 2*t = -2*t - j, 0 = -4*w + 2*t - 16. Sort x, w, -4 in increasing order.
x, -4, w
Let m = 353/6 + -59. Sort -1, m, 2.
-1, m, 2
Let t = 0.07 - 0.57. Let x = 0.1 + 0.4. Put x, 0.4, t in descending order.
x, 0.4, t
Let z = -0.031 - 0.469. Put -2/5, z, 0.3, 2/7 in ascending order.
z, -2/5, 2/7, 0.3
Suppose -4*m = -26 + 38. Sort m, 0, -8 in descending order.
0, m, -8
Let u(z) = z - 1. Let k(v) = -4*v + 7. Let a(x) = k(x) + 3*u(x). Let d be a(0). Sort -5, d, -4/9 in decreasing order.
d, -4/9, -5
Let v = 0.76 - 15.76. Put v, 1/5, 2/9 in descending order.
2/9, 1/5, v
Let u be (-4)/(-22) + (-410)/440. Sort u, 0.3, 2, -0.1 in ascending order.
u, -0.1, 0.3, 2
Let s(u) = -u - 3. Let g be s(2). Put g, -1, -4 in increasing order.
g, -4, -1
Let i = -0.7 - -5.7. Let f = i + -3. Let v = 5.41 + -0.41. Put v, f, 3 in decreasing order.
v, 3, f
Let m(c) = 2*c + 20. Let d be m(-10). Put d, -18, 0.1 in increasing order.
-18, d, 0.1
Let h(b) = -b**2 + 4*b + 1. Let c be h(3). Let d = 16 - 11. Suppose 2*g = 3*j - 4, 3*g - 2*j = -g. Sort c, g, d.
g, c, d
Suppose -r - i + 2 = -0*i, 5*r - 10 = 3*i. Let b = 28 - 20. Let s = -3 + b. Put r, -3, s in increasing order.
-3, r, s
Let b(z) = -2*z - 6. Let g be b(-4). Suppose 0*j + 2*j + 5 = -q, 0 = -q - 5*j - 20. Sort -4, g, q in decreasing order.
q, g, -4
Let i = 9 - 11. Let l = 4 + -2. Put l, i, 2/11 in decreasing order.
l, 2/11, i
Let r(v) = -v - 21. Let b be r(-23). Sort -2, 7, b, 1 in increasing order.
-2, 1, b, 7
Let y(l) = -l**3 + 5*l**2 - 5*l + 2. Let x be y(3). Let v = 1 - -3. Let a be (v/(-10))/((-8)/10). Put x, -0.4, a in increasing order.
-0.4, a, x
Let b = -92 - -97. Put b, 4, 0, -5 in decreasing order.
b, 4, 0, -5
Let u(c) = -4*c - 1. Let x be u(1). Let w(m) = m**3 + 5*m**2 - m - 3. Let d be w(x). Let h = 3 + -3. Sort d, -5, h.
-5, h, d
Let j = 0.5 + 0.5. Let o = -9.93 + -0.07. Let z = o + 5. Sort z, j, -0.1 in ascending order.
z, -0.1, j
Let a = 10 - 6. Let g be (1/2)/(2/(-36)). Let k be 15*(-4 - 39/g). Put k, -2, a in descending order.
k, a, -2
Suppose -3*n + 8 = -5*n. Let g(s) = s**2 - 2*s + 2. Suppose -26 = -0*j - 2*j - 5*f, -f + 19 = 5*j. Let a be g(j). Sort a, n, -5 in descending order.
a, n, -5
Let l = -0.9 + -3.1. Sort 4, 3, l in increasing order.
l, 3, 4
Let v(r) = 5*r**2 + 16*r - 16. Let y be v(1). Put -2, -4, -3, y in increasing order.
-4, -3, -2, y
Let p(j) = -j - 13. Let n(a) = 1. Let h(s) = 5*n(s) + p(s). Let g be h(-8). Sort -5, g, -4 in descending order.
g, -4, -5
Let r = 5.4 - 5.7. Sort r, -44, 0.1, 1.
-44, r, 0.1, 1
Let v = -1.1 - 2.9. Let f = -7 - v. Sort f, 0.1, 0.2.
f, 0.1, 0.2
Suppose -3*k + 14 = 2. Suppose m + 11 + 2 = -k*d, 2*d - 21 = 5*m. Put 0, -1, d in decreasing order.
0, -1, d
Let d be 5*(-4)/10*-2. Let f = d + -7. Suppose -12 = -3*t + 3*w, 3*t - 13 = 6*t + 2*w. Put f, 0, t in decreasing order.
0, t, f
Let x(a) = 6*a. Let u(w) = w. Let j(q) = -5*u(q) + x(q). Let g be j(-5). Let s(m) = m**3 + 2*m**2 - m. Let l be s(1). Sort l, g, -3 in decreasing order.
l, -3, g
Suppose -g + 2*n = -5 + 20, 4*n = -2*g + 10. Put 5, g, 4 in descending order.
5, 4, g
Let u = 2 - 2. Suppose u = 5*n - 6 - 4. Let o be (-34)/(-10) - 6/n. Put 3, o, 0.5 in ascending order.
o, 0.5, 3
Suppose -i = -6*i - 45. Let m be 30/i + (-4)/6. Let a(t) = -t**2 - 5*t + 5. Let n be a(-5). Sort m, 3, n in descending order.
n, 3, m
Let h = -6 + 5. Let p = h - 0. Put p, -3/5, -3 in increasing order.
-3, p, -3/5
Suppose 1 = -5*f - 9, -2*t + 22 = -4*f. Suppose 0 = x + o + t, -o + 2*o - 3 = x. Suppose -2*m - 2 = 0, -5*z - 1 = -2*z + 4*m. Put x, z, -4 in descending order.
z, -4, x
Let u be (-5)/10 - (-2)/(-4). Let f(t) = -t**2 - 3*t + 1. Let s be f(-4). Put u, s, 3 in decreasing order.
3, u, s
Let r = 71 + -71.1. Sort -2/13, 15, r in descending order.
15, r, -2/13
Let n = -72 - -69. Let i = -4.3 + 4. Put -4/5, i, n in decreasing order.
i, -4/5, n
Let v = 3 + 1. Sort 2, -2, v, 10.
-2, 2, v, 10
Let z = -9 - -8.5. Sort 4, z, -0.2.
z, -0.2, 4
Let p(l) = l**2 - 4*l - 5. Let m be p(5). Let a(k) = -k**2 + 9*k + 3. Let t be a(8). Let b be 1/4 - t/(-4). Sort b, -3, m.
-3, m, b
Let o(t) = t**3 + 2*t**2 - 6*t - 7. Let v be o(-3). Put -0.4, v, -4 in descending order.
v, -0.4, -4
Suppose 0 = -14*q + 5*q + 45. Sort -1/2, q, -0.2, -2 in decreasing order.
q, -0.2, -1/2, -2
Let w(g) = 30*g - 1. Let x be w(1). Let j be (-62)/(-22) - (-4)/22. Suppose -2*y + y - x = -5*k, j*y = k - 17. Sort 4, 3, y in increasing order.
y, 3, 4
Let c = 0.889 - -0.023. Let y = 5.922 - c. Let t = -0.01 + y. Put t, 0.2, 4 in decreasing order.
t, 4, 0.2
Let i = -24 - -19. Sort -3, i, -4 in increasing order.
i, -4, -3
Let f be (0 - -2) + -3 + 6. Suppose -8 = -5*p + 7. Suppose -4 = -p*l + 4*l. Put 1, f, l in descending order.
f, 1, l
Let v be 2/(-2 + 15/6). Let l be (-26)/6 - (-4)/(-6). Put v, 1, l in ascending order.
l, 1, v
Let l be (0 + 1)*0/4. Suppose l = g - 0*g - 5. Suppose g*y - 3 = 2*y. Sort 0, 3, y.
0, y, 3
Let i(h) = -h**2 + 4*h + 7. Suppose 3*y = 0, -4*b - b + 3*y = -30. Let j be i(b). Let w(x) = x - 2. Let t be w(0). Sort t, -4, j in decreasing order.
t, -4, j
Let y be (-2)/8 - 10/(-8). Let f = -17 + 22. Sort f, y, -3 in ascending order.
-3, y, f
Let g(d) = d**3 - 9*d**2 + 13*d + 6. Let u be g(7). Sort -3, -4, u in decreasing order.
u, -3, -4
Let v = 48 + -48. Put v, 4