 - h = -2*n - 35. Put q, 3/4, -2/3 in decreasing order.
3/4, -2/3, q
Let q(m) = -4*m - 31. Let v be q(-10). Sort v, -4, -1 in decreasing order.
v, -1, -4
Suppose -6*b + 30 - 6 = 0. Let q be 1*(-1 - b) - -3. Let i be (0 - -1) + -3 + q. Sort -1, 4, i.
i, -1, 4
Let t = -0.02 + 0.32. Let l = 0.39946 - 176.42946. Let r = -176 - l. Sort 2/9, t, r in decreasing order.
t, 2/9, r
Let y(w) = -6 + w**3 + 5*w - 3*w**2 + 6 + 3 + 7*w**2. Let f be y(-3). Sort f, 0, 3.
f, 0, 3
Let x(v) = v + 5. Let a be x(0). Let u be 1/a - 164/20. Let b(h) = h**2 + 9*h + 5. Let g be b(u). Put 1, -2, g in descending order.
1, -2, g
Suppose 0 = 2*g + 4*n - 16, -316 + 304 = -2*g - 3*n. Put g, -13, -5, 1 in descending order.
1, g, -5, -13
Let d = -218 + 214. Put d, -2/3, -3/4, -0.03 in increasing order.
d, -3/4, -2/3, -0.03
Suppose m = -0*m. Suppose m*z + 60 = 2*z. Suppose 0*w - z = 6*w. Put 1, 0, w in descending order.
1, 0, w
Let n(p) = -2*p - 7. Let o be n(-10). Suppose -2 = -t - 3*b + 9, 4 = 2*b. Suppose 0 = t*c - 2 - o. Sort c, 0.4, 4 in increasing order.
0.4, c, 4
Let q(u) = -u**3 - 15*u**2 + 10*u - 15. Let m be q(-16). Let y be ((4/18)/(9/m))/14. Put y, -2, 3/2 in descending order.
3/2, y, -2
Let i = -21127 + 126287/6. Let d = i + 79. Put d, 0.1, -4/9 in decreasing order.
0.1, d, -4/9
Let r = -4 + 1. Suppose 2*n - z = -3*z + 8, -3*z = -5*n + 4. Sort n, r, 0, -6 in ascending order.
-6, r, 0, n
Suppose 1 = 3*v - 2*c, -3*v + 0*v = 4*c - 25. Sort -2, -2/9, 2/23, v in descending order.
v, 2/23, -2/9, -2
Suppose -4*j = -0*a + 3*a + 33, -22 = 2*a - 4*j. Let m be (-2)/a + 17/99*-3. Sort m, 5, -5 in increasing order.
-5, m, 5
Let z = 46 - 47. Suppose 3*y - 4 + 1 = 0. Put z, -4, y in increasing order.
-4, z, y
Let a = 28 - 18. Let v be (9/(-15))/(-4 + 42/a). Put -0.1, 0.4, v in decreasing order.
0.4, -0.1, v
Let j be -12*(2 + (-22)/6). Let m = j + -20. Suppose o + 1 = -1. Put o, m, -4 in increasing order.
-4, o, m
Let i = -22 - -31. Let a(y) = -i*y - 1 - 2*y + 4*y - y. Let t be a(1). Put -1, t, 0 in descending order.
0, -1, t
Suppose -2 - 2 = -2*c. Suppose -c*k = -6*k - 2*m + 14, 0 = 2*k + 2*m - 4. Sort -2, -5, k in decreasing order.
k, -2, -5
Let k = -738 - -733. Sort 13, k, 3 in descending order.
13, 3, k
Let g = 2 - 4. Let d = -50.8 + 48. Let u = g - d. Sort u, 3, -4 in increasing order.
-4, u, 3
Let n = 2.3 - 67.3. Let f = n + 56. Put f, 5, -2/9 in increasing order.
f, -2/9, 5
Let w = 65 - 64.82. Suppose -16 = 5*u - 9*u. Sort w, u, 5 in ascending order.
w, u, 5
Suppose i = 7*i + 144. Let d = -24 - i. Let z = 0.8 - 5.8. Sort d, z, 0.3 in descending order.
0.3, d, z
Let l(q) = 3*q**2 - 3*q + 3. Let g be l(1). Put 0, 1.5, g in decreasing order.
g, 1.5, 0
Let o be (-46)/(-10) - 2/(-5). Let j(y) = -28*y**3 + 2*y**2 - y - 1. Let a be j(1). Let x = a + 31. Sort o, 4, x in increasing order.
x, 4, o
Let v(t) = -t**3 + 28*t**2 - t + 29. Let k be v(28). Put k, 4, 2, -4 in ascending order.
-4, k, 2, 4
Let z = 7 + -9. Let n be (-5)/(-2)*8 + z. Suppose -3*m + 15 + n = 0. Put 2/3, 1, m in increasing order.
2/3, 1, m
Suppose 0 = -8*m + 4*m + 16. Suppose 0 = o - 2*o - 2*c - 4, 0 = -m*o + 5*c + 23. Suppose -3*r + 2*a = -o*a + 23, 0 = 5*a - 25. Sort 2, r, 5.
r, 2, 5
Let i(z) = z**3 + 5*z**2 - 7*z - 2. Let p be i(-6). Suppose 0 = 4*b + 4*f - 20, -4*f + 19 = p*b - b. Let d be (-3776)/354*(-1 + (-2)/(-8)). Sort b, -1, d.
-1, b, d
Let w = -38 - -38. Let q = -41 - -247/6. Let t = 31.8 + -32. Put t, w, q in ascending order.
t, w, q
Let g = -77 + 845/11. Put -2, g, 1.8, 0 in ascending order.
-2, g, 0, 1.8
Let q = -12 + 155/13. Put -1/8, q, -5 in descending order.
q, -1/8, -5
Let k = -682 - -3416/5. Put 5/6, k, 28 in descending order.
28, k, 5/6
Suppose -x + 3*n + 5 = 4*x, 0 = 3*n. Suppose b = 3*s - 18, b + 3*s - 6 = -2*b. Put x, b, -1 in descending order.
x, -1, b
Let w(t) = 7*t + 27. Let k be w(-5). Let x be (-2 - -1)/((-6)/18). Sort x, k, 2 in increasing order.
k, 2, x
Let w be (6/(-10))/((-13)/(-65)). Sort w, 2, -5, -11 in increasing order.
-11, -5, w, 2
Let k(a) = a**2 - 7*a - 8. Let b be k(9). Suppose 1 = 3*s - p - 10, 2*s - b = 2*p. Suppose 5*j - g - 21 = 0, -2*g + 1 - 7 = -j. Put s, j, 0 in descending order.
j, s, 0
Let i = 0.71 - 0.61. Put -2/15, -1, i, -27 in ascending order.
-27, -1, -2/15, i
Let k = -3 + 4. Suppose -9*f - 15 - 83 = 19. Sort 5, f, k, 0.
f, 0, k, 5
Let o = 36.9 + -39. Let j = -3.1 - o. Let q = -6 + 5.6. Sort q, j, -4 in descending order.
q, j, -4
Let n(i) = -i**2 + 8*i - 9. Let l be n(6). Let h = -124 - -118. Put l, h, -1 in ascending order.
h, -1, l
Let j = -13 - -20. Let u = -5 + j. Let f be ((-4)/6)/(-3 - -2). Put u, f, -1/4 in ascending order.
-1/4, f, u
Let v be (-1 + 0)/(3 + 7/(-2)). Sort -5, v, -1 in decreasing order.
v, -1, -5
Let y(o) = -9*o**2 + 48*o - 12. Let a be y(5). Sort a, -2/25, 0.3 in ascending order.
-2/25, 0.3, a
Let k = -6.79 + -0.21. Let v = k + -2. Let f be 1/2*(2 + 2). Sort 3/7, v, f in ascending order.
v, 3/7, f
Suppose 2*k + 6 + 4 = 0. Let j(v) = -v**2 - v + 2. Suppose -3*m + 3 = 0, -5*m + 5 = 6*b - 2*b. Let t be j(b). Sort 3, t, k in ascending order.
k, t, 3
Let a = -122.8 - -122.7. Let x = -4 + 4.4. Sort 5, a, x in descending order.
5, x, a
Let g be (60/8 - 10)*44/(-5). Sort g, 2, -1/2 in ascending order.
-1/2, 2, g
Let f(z) = z**3 - 3*z**2 - 5*z + 5. Let s be f(4). Let u = 3.15 + 123.85. Let x = -132 + u. Sort x, s, -1.9 in decreasing order.
s, -1.9, x
Let g = 72 + -77. Sort -3, 3, 2, g in decreasing order.
3, 2, -3, g
Let p(o) = -o - 1. Let c be p(-9). Suppose -2*s - 2 = c. Sort 0, 2, s in ascending order.
s, 0, 2
Let v be (2/27)/((-20)/(-60)). Let w = -5.58 + 0.58. Sort w, -6, 1/6, v in descending order.
v, 1/6, w, -6
Let t = 312 - 316. Let y = 4 - 9. Put t, y, -1, 1 in decreasing order.
1, -1, t, y
Let u = 25 + -30. Let j be (-9)/(u + 2) + 1. Put 0.1, -2, j in decreasing order.
j, 0.1, -2
Let m = 0.106 + -5.106. Put m, -4, 2/15, 9 in ascending order.
m, -4, 2/15, 9
Suppose -4*f = 2*k - 16, -14 = -2*f - 2*k - 6. Suppose -10 = 6*s - f*s. Let d be (-2 - 1)/((-33)/2). Sort -1/7, d, s.
s, -1/7, d
Let t = -64 - -99. Let x = t + -33. Sort -2, x, 1, 1/3 in decreasing order.
x, 1, 1/3, -2
Let f(g) = -g + 2. Let n be f(-3). Let a = -349 + 346. Sort -5, n, a, 4.
-5, a, 4, n
Suppose -2*o = 7 - 3. Let r be 1/(-15) + o + (-40)/(-15). Sort r, -3/8, 0.4.
-3/8, 0.4, r
Let r = -109 - -109.84. Let l = 0.94 - r. Put -3, -27, l in increasing order.
-27, -3, l
Let m be 77/(-14)*(-5 + -1). Suppose 4*w + 25 = m. Let q = 4 - 0. Sort -2, w, q.
-2, w, q
Let w(v) = -v**3 - 5*v**2 - 2*v + 8. Let q be w(-4). Put -241, q, 3 in decreasing order.
3, q, -241
Suppose -2*c + 4*c + 8 = 0. Let v = -2/16563 + -288931/11042. Let a = v + 77/3. Sort -3, a, c in descending order.
a, -3, c
Let m(w) = -4*w**2 - 8*w - 8. Let d(t) = -t**2 - t - 1. Let z(o) = 6*d(o) - m(o). Let n be z(2). Put n, 0.3, 2/9 in decreasing order.
0.3, 2/9, n
Let i = 54724658/497971 - 14/26209. Let n be -1*(212/2 + 4). Let t = n + i. Sort t, 4/7, -4 in increasing order.
-4, t, 4/7
Suppose 0 = 4*n + 27 - 91. Suppose 3*x = 5*p + n, -4*x + 2*p + p = -14. Let r be 10 + (-1)/((-6)/(-30)). Sort r, -2, x in decreasing order.
r, x, -2
Let q = -1 - 1. Let y = -5 + 12. Suppose -2*v + 25 = -y*v. Sort v, q, -1 in ascending order.
v, q, -1
Let a = 50 + 62. Let c = 116 - a. Let z = -0.1 + 0.1. Put z, -1, c in ascending order.
-1, z, c
Suppose -145*t + 150*t + 15 = 0. Sort t, 2, 1, -4 in decreasing order.
2, 1, t, -4
Let y(h) = h**2 + 13*h + 21. Let z be y(-11). Let a be -10 + 6/3 + z. Let r = 15 - 10. Sort a, r, -2.
a, -2, r
Suppose -b = -0*b - 3*y - 50, -3*b + 164 = 5*y. Let x = -18 + 17. Put -2, x, b in ascending order.
-2, x, b
Let l = 3 + -7. Let i = 13864/19 + -730. Put l, -3, i in ascending order.
l, -3, i
Suppose 3*n = -5*j - 16, 4*n + 5*j + 9 + 4 = 0. Let k(w) = w - 2. Let a(t) = -t + 1. Let r(u) = 2*a(u) + k(u). Let c be r(-1). Sort -1, c, n.
-1, c, n
Let t = 5/6 - 13/12. Let v = -0.0715 - -4.0715. Sort -2/3, v, t in descending order.
v, t, -2/3
Let q = -74 + 79. Let b(k) = k + 6. Let v be b(-4). Suppose -v*s - 2*w + 1 = -5*s, 3*s - 4 = w. Sort -9, s, q in ascending order.
-9, s, q
Let w be ((-95)/20)/((-1)/4). Sort w, -5, 2, -1 in decreasing order.
w, 2, -1, -5
Let m(g) = g**2 - 10*g + 8. Let a be m(9). Let p = -72