8/z). Sort c, t, 1 in descending order.
1, t, c
Let c be (-8)/4*3/2. Let t(p) = -2*p. Let u be t(c). Suppose 1 - u = r. Sort 0, 5, r in decreasing order.
5, 0, r
Let i(r) = -2*r - 6. Let g be i(-4). Suppose -g*f = -f - 3. Sort f, 2, 4.
2, f, 4
Let g = -3 + 13. Let q be ((-198)/g)/3 - 1. Let j = 39/5 + q. Sort 0.1, j, 3 in ascending order.
0.1, j, 3
Let d = -95.5 + 95. Let y = 7 + -7.6. Sort -2, y, d in descending order.
d, y, -2
Let m = -191 + 188. Let o = 0 + 0.4. Sort m, o, -0.2.
m, -0.2, o
Suppose -7 = 3*k + 2. Sort k, 2, -0.4 in increasing order.
k, -0.4, 2
Suppose -3*u - 6 = 0, 2*j + u = -2*u. Let r = -1 + 13. Let s be r/(-8)*(-8)/j. Sort s, -3, -4.
-4, -3, s
Let t be (2 + 2)*1 - 8. Sort 4, 3, t, -2 in decreasing order.
4, 3, -2, t
Let a = 129 + -124. Let n = 0.2 - 1.2. Let r = n - -1. Sort r, -0.3, a in descending order.
a, r, -0.3
Suppose 3*w + 199 = -2*w + q, -5*w + 2*q - 198 = 0. Let z = w - -40. Suppose o - 2 = 4*u, u = 2*o - 2 + 5. Put o, 2, z in increasing order.
o, z, 2
Let f(q) = -q. Let o be f(5). Suppose 3*d + d = 76. Suppose -3*m - 5*u = d, 16 = -2*m - u - 4*u. Put 4, o, m in decreasing order.
4, m, o
Let b = 34 - 27. Put 1/7, 0.4, b, 1 in descending order.
b, 1, 0.4, 1/7
Let q(t) = -t - 2. Let x(f) = -f**3 - 5*f**2 - 4*f + 2. Let v be x(-4). Let d be (4/v)/(2/(-3)). Let i be q(d). Sort -1, i, -1/6.
-1, -1/6, i
Let s(j) = 7*j**2 - 2*j. Let d be s(1). Put 0.1, 0.11, 4, d in ascending order.
0.1, 0.11, 4, d
Let s(w) = -w + 1. Suppose -n + 0*n = -12. Suppose -2*u - 2*i - n = -0*i, 12 = 4*u - 5*i. Let z be s(u). Put -3, 2, z in increasing order.
-3, 2, z
Let u(x) = x**3 - 4*x**2 - 4*x - 1. Let j be u(5). Let n = j - 2. Put n, -5, 0 in increasing order.
-5, 0, n
Let l be -3 + 2 - (-12)/6. Put -5, l, 2, 4 in decreasing order.
4, 2, l, -5
Suppose -27 = -t + 26. Let z = t - 264/5. Let c be 14/4*6/28. Put c, -5, z in descending order.
c, z, -5
Let g = -0.3 + 0.1. Let l = 11 - 6. Sort l, 2, g.
g, 2, l
Let i = 51.2 + -40.2. Let q = 3 + -3.1. Sort i, q, 1/6 in decreasing order.
i, 1/6, q
Let d = 0.35 + -14.35. Let z = d + 13.6. Sort 1, -5, z.
-5, z, 1
Suppose 8*b + 3*x - 12 = 3*b, -2*b = x - 5. Sort 1, 4, b.
1, b, 4
Let n(y) = -5*y**3 - y**2 + 2*y - 1. Let m be n(1). Let t = -8 + 5. Sort m, t, 0 in ascending order.
m, t, 0
Let s = 2201/9 - 245. Sort 0.3, s, 1/3.
s, 0.3, 1/3
Let k(q) = 3*q**3 - 2*q**2 - q + 2. Let g be k(1). Put 0, g, 4 in descending order.
4, g, 0
Let l = -5 + 4. Let q(r) = 6*r + 1. Let b be (1 + 0)*(-2 - -1). Let m be q(b). Put -2/7, l, m in decreasing order.
-2/7, l, m
Let o = 83.7 - 84. Sort o, -9/2, 4.
-9/2, o, 4
Let o(x) = x - 2. Let d be o(-3). Sort 0, d, 4 in decreasing order.
4, 0, d
Let y = 0.19 + 0.61. Let m = 2.2 + y. Put -2, m, 11 in descending order.
11, m, -2
Suppose 0 = 2*y + 5*d + 23, 0 = -5*y + 5*d + 35 - 5. Let z be 0/(0 - (-2 + y)). Suppose 4*w = 6*w + 8. Sort 4, w, z.
w, z, 4
Let o(x) = -5*x - 3. Let t(m) = -14*m - 9. Let j(i) = -17*o(i) + 6*t(i). Let w be j(5). Put 6, -2, w in increasing order.
-2, w, 6
Let h = 4.79 + 0.21. Put h, -0.02, -3/2 in decreasing order.
h, -0.02, -3/2
Let y = -0.4 + 0.2. Let z = -9 + 5.1. Let x = z - -4. Put x, y, 2 in ascending order.
y, x, 2
Let b(g) = -g**3 + 5*g**2 - 6*g + 5. Let d be 8/12*6/(-4). Let u be (-8 - -15) + (d - 2). Let o be b(u). Sort -1, 5, o in decreasing order.
5, -1, o
Let m(z) = z + 4. Let h = 14 - 17. Let u be m(h). Sort u, -1, 5 in decreasing order.
5, u, -1
Let v(j) = j**3 - 8*j**2 - 21*j + 14. Let a be v(10). Sort -2, 3, 2, a in descending order.
a, 3, 2, -2
Suppose 3*v - 8*v - c = 5, -5*c + 3 = -3*v. Sort -11, -5, v in increasing order.
-11, -5, v
Let w = -6 + 10. Let f = -0.04 - -0.14. Sort w, f, -1 in decreasing order.
w, f, -1
Let d(k) = 4 + k**3 - 10 - 9*k - 3 + 6*k**2. Let l be d(-7). Suppose -7 = -l*f + 3. Sort 0, f, -3 in increasing order.
-3, 0, f
Let q = -13 - -23. Let c = -9 + q. Sort 4, c, -5 in ascending order.
-5, c, 4
Let c = -2 - -1.9. Let b be 0/(1 + -1 - -1). Put c, 2/11, b in ascending order.
c, b, 2/11
Suppose 0*f - 564 = 4*f. Let y = f - -985/7. Put y, 5, -0.1 in descending order.
5, -0.1, y
Let k = 5 + 13. Let v = k + -13. Put v, -3, 0 in ascending order.
-3, 0, v
Let v = 52 + -209/4. Suppose 4*f + 9 = f. Let j be 2 - (2 + (-6)/(-21)). Sort j, f, v.
f, j, v
Let r = 0.9 + -0.6. Put 2, r, 7 in decreasing order.
7, 2, r
Let o = -2 - -1.7. Let y = 983/9 - 109. Let v = -0.02 - 0.98. Put v, o, y in decreasing order.
y, o, v
Let c = -0.52 + 0.17. Let v = -0.05 - c. Put v, 0, -2/5 in ascending order.
-2/5, 0, v
Let l(x) = -x**2 - 5*x + 5. Let j be l(-6). Let k = 19 + -15. Sort j, -5, k in descending order.
k, j, -5
Let n = -0.053 - -0.473. Let y = -0.54 - n. Let j = y + -0.04. Sort -1/6, 3/4, j in ascending order.
j, -1/6, 3/4
Let c = 28.23 + -28. Let b = c - -0.07. Let i = -80 + 402/5. Put b, i, -0.4 in increasing order.
-0.4, b, i
Let z = -2/745 - -1516/9685. Sort 1, z, 4 in ascending order.
z, 1, 4
Let t = 6 - 1. Suppose -5*v - t = 15. Put -2, 0, v in descending order.
0, -2, v
Let n be -5*4 - (-10)/10. Put 1, 3, n in increasing order.
n, 1, 3
Let a = 13 + -15. Put -1, 0.3, a in descending order.
0.3, -1, a
Let u be 18/(-56) + 27/(-63). Put 1, u, 3 in ascending order.
u, 1, 3
Let d be 312/(-10) + (-4)/(-10). Let b = d - -31. Sort 2/19, b, 0 in increasing order.
0, 2/19, b
Suppose -18 = f + 4. Let m = -23 - f. Sort 5, 0, m.
m, 0, 5
Let b = 1.3 + -0.3. Let m = -2 - 2. Sort 0.1, m, b in descending order.
b, 0.1, m
Let u be (-13)/4 + ((-35)/20)/(-7). Put u, 0, 3 in decreasing order.
3, 0, u
Let c(o) = o**3 + 7*o**2 + o + 5. Let q be c(-7). Put q, 1, -1 in descending order.
1, -1, q
Let d = -0.13 - -0.43. Put d, 3/7, 5 in decreasing order.
5, 3/7, d
Let x = -0.336 - 0.064. Put x, -2, 3 in ascending order.
-2, x, 3
Let b be (-26)/14 + 1/(-8 - -1). Let z be (2/(-4)*-9)/3. Let j = 52/9 - 181/36. Sort z, b, j in decreasing order.
z, j, b
Suppose -4*j - 11 = 17. Let z = j - -11. Suppose d + 1 = -3. Sort d, z, -2.
d, -2, z
Let t = -7 - -11. Sort t, -1, 1.
-1, 1, t
Let r = 0.5 - 1.5. Let b = -39 - -34. Sort r, b, -0.2.
b, r, -0.2
Suppose 0*c - 3*c + 10 = -4*a, 5*c - 14 = 4*a. Suppose c - 6 = -f. Sort 0, -1, f.
-1, 0, f
Suppose -4*y + 17 + 7 = 0. Suppose 3*p = y*p + 6. Put -4, 2, p in ascending order.
-4, p, 2
Suppose 2*q + 2*y - 3*y = -7, -4*q - 4*y + 4 = 0. Sort 5, 1, q.
q, 1, 5
Let y = 7 + -4. Suppose -5*m + 2*i = 6 + 8, -3*m = -5*i - 3. Sort m, 0.3, y in decreasing order.
y, 0.3, m
Let h = -18 + 16. Put 0, h, -4 in decreasing order.
0, h, -4
Suppose 5*f - t - 11 - 11 = 0, -2*f + 10 = -t. Suppose f*y + 2*c = -6, 0 = 4*y + c + 6 + 3. Sort 1, -2, y in increasing order.
y, -2, 1
Suppose 5 = -26*m + 31*m. Sort -4, m, 28, 5 in descending order.
28, 5, m, -4
Let x be 0/(-2) - 1/(-3). Let h = 0.47 + -0.07. Put x, h, -4 in descending order.
h, x, -4
Suppose -g = 4*g. Suppose 2*l + 0 - 2 = g. Sort l, -3, -4 in decreasing order.
l, -3, -4
Let h be -1 - 0 - 48/(-80). Sort -0.1, h, 1/5 in ascending order.
h, -0.1, 1/5
Let n(j) = -j**3 - 5*j**2 + 1. Let g(i) = 4*i + 3. Let l be g(-2). Let x be n(l). Put 0.2, 5, x in decreasing order.
5, x, 0.2
Let z(v) = 2*v**2 + v - 1. Let l be z(-2). Let i be ((-4)/(-8)*2)/((-1)/(-3)). Suppose c + c = -10. Put i, l, c in ascending order.
c, i, l
Let a be 2 + -4 + 1/2. Let x(z) = -z - 6. Let i be x(-5). Put 5, a, i in descending order.
5, i, a
Suppose 0 = 5*a + 2*q + 36, -2*a - 4*q - 6 = 2. Sort -5, 4, -1, a in descending order.
4, -1, -5, a
Let l = -7 + 7. Let x = 2 - l. Let o be 17/(-5) - (-2)/5. Put o, x, -1 in descending order.
x, -1, o
Suppose 3*k - 22 = -5*d + 13, -25 = -k - 5*d. Suppose -3*i = i. Sort i, k, 3 in descending order.
k, 3, i
Let u = 15 + -9. Let f be (-2)/u + 2/6. Sort -2, f, 4 in decreasing order.
4, f, -2
Let j = -0.08 - -1.08. Sort 2/3, -0.009, j, 3 in decreasing order.
3, j, 2/3, -0.009
Let n = -1 - 4. Let t(h) = -h**2 - 16*h - 2. Let k be t(0). Put -4, k, n in descending order.
k, -4, n
Let n = 4 - 9. Sort n, 1, 7.
n, 1, 7
Suppose 0 = -7*i - 0*i + 28. Let x = -0.2 + 0.2. Let a = x + -1. Sort 0, i, a.
a, 0, i
Let o = -98/3 + 33. Put o, -5, -1 in increasing order.
-5, -1, o
Let t = 0.33 - 3.73. Let n = t + 3. Let f be (-40)/(-25)*(-1)/(-12). Sort n, f, 3/7 in descending order.
3/7, f, n
Let w 