t -0.2, h, -6 in descending order.
-0.2, h, -6
Let f = 217 + -869/4. Put -3, f, 0.07 in decreasing order.
0.07, f, -3
Let t be (-27)/15 + (-10)/50. Suppose 0*k = 3*i - 4*k - 5, -40 = 3*i + 5*k. Sort t, 6, -1, i in decreasing order.
6, -1, t, i
Let x be (-242)/(-88) + (-12)/16. Put x, 0, 43, -5 in descending order.
43, x, 0, -5
Let g(n) = -9*n**2 + 4*n. Let i(a) = 8*a**2 - 3*a. Let m(l) = -2*g(l) - 3*i(l). Let s be m(1). Let d be (12/(-36))/(1/(-3)). Put d, s, 11 in increasing order.
s, d, 11
Let g(v) = v**3 - 9*v**2 + 5. Let x be g(9). Let p = 24 + -21. Suppose 4*u + 0*r - r + x = 0, 3*r - 15 = p*u. Sort -1, 4, u.
-1, u, 4
Let y(i) = 0*i + 2 - i + 5*i**3 - 6*i**3 + 5*i. Let j be y(-2). Let q be -2 - (2/2 + 0). Sort 3, q, j.
q, j, 3
Suppose -20*k = -15*k - 2*l, 3*l = -k + 17. Sort k, -2/11, 4, 0 in descending order.
4, k, 0, -2/11
Let l = 73 - 71. Suppose -l*c = 2*m - 3*m + 7, -4 = 4*m. Let p = 0.2 - -0.8. Sort c, 3, p in ascending order.
c, p, 3
Let o(q) = 5 - q + 3*q - 4*q. Let l be o(6). Let d be ((-6)/21)/((-2)/84*9). Sort d, l, -0.2 in decreasing order.
d, -0.2, l
Let y = -2.07 - 1.93. Let i = 2 + -1. Let w = -0.9 + i. Sort y, w, 5.
y, w, 5
Let z = 65.39 - 66. Let j = -0.41 - z. Sort -4, 6, j in decreasing order.
6, j, -4
Let u = -341 - -338. Sort u, 2/7, 29, 3/4.
u, 2/7, 3/4, 29
Let w = 2133 - 2088. Sort 0.2, 1, w, -2/7.
-2/7, 0.2, 1, w
Let s(l) = l + 1. Let z be s(3). Suppose -3*k - 15 = v, 3*k - z*k = -3*v - 5. Let n be ((-6)/(-15))/(-2)*0. Put 3, n, k in increasing order.
k, n, 3
Let w = 8.2 - 8.53. Sort -4, -0.5, w, 5 in ascending order.
-4, -0.5, w, 5
Let h(i) = -130*i + 274. Let m be h(2). Suppose y + 8 = -2*t - t, 0 = 4*y - 3*t + 2. Sort m, y, 0 in decreasing order.
m, 0, y
Let z = 1/46 - -87/230. Put 0.5, 6, z, 0 in ascending order.
0, z, 0.5, 6
Let b(d) = -4*d - 10. Let c be b(-3). Suppose 0*z - 2 = -4*f - c*z, 0 = -5*f + 2*z + 16. Sort 5, 0, f in descending order.
5, f, 0
Let m = -1612 + 1611.8. Let v = 0.06 - -0.14. Sort 1, v, m.
m, v, 1
Let r(l) = l + 7. Let j be r(-4). Suppose 3*f - 2*g - 4 = 0, 1 = j*f - 4*g - 7. Suppose m + 2*p = -p - 19, -2*m + 4*p = -12. Sort f, 1, m.
m, f, 1
Let h = -1.34 + -3.66. Put -1, 3/8, -0.5, h in descending order.
3/8, -0.5, -1, h
Let x = -2 + 1. Let r = 1420 + -1422. Put 1/16, x, r in decreasing order.
1/16, x, r
Suppose -5*g + x = 20, -12 = -4*x + 8. Suppose 8 = k - 13. Let t be 6/k + (-33)/(-7). Sort 0, g, t.
g, 0, t
Suppose -t + 3*h - 79 = -0*h, 4*h + 148 = -2*t. Let b = -5 + -1. Let l be (b/t)/(21/(-28)). Sort -3, -1/4, l in descending order.
l, -1/4, -3
Let s = -946 - -946.3. Let k = -6.89 + -0.11. Let f = k + 12. Sort f, s, -0.5.
-0.5, s, f
Let n = -17 + 9. Let h = n - -7. Let r = -0.045 - -2.045. Put h, 3, r in increasing order.
h, r, 3
Let t = -47 - -58.2. Let w = t + -10.9. Suppose 1 = -q - a, 2*a = -7 + 1. Put -0.5, q, w in increasing order.
-0.5, w, q
Let r be -3*6/9 + 1. Put 11, -4, -2, r in increasing order.
-4, -2, r, 11
Let n = 35.1 - 203.1. Let l = n - -165. Sort 2, -0.5, l.
l, -0.5, 2
Suppose 5*a = -5*n + 35, -4*n = -5*a + n + 15. Sort a, 0.8, 2.
0.8, 2, a
Suppose 0*k = -4*k + 5*s - 21, 16 = k + 3*s. Put 2, 8, k in ascending order.
k, 2, 8
Suppose 3*o + 5*t = 29, -4*o + 4*t - t + 29 = 0. Suppose o*a - 34 = 6*a. Put a, 2, 0 in descending order.
a, 2, 0
Let y be 26/104 + (-19)/(-4) + -5. Sort -5, -3, y, -4 in increasing order.
-5, -4, -3, y
Let n = 2 - -5. Suppose 5*o - n*o = -8. Let q be (-15)/(-13) - (o + -3). Sort 5/3, q, -12 in increasing order.
-12, q, 5/3
Let i = 31.4 - 31. Put i, -4, -2/9 in decreasing order.
i, -2/9, -4
Let x(l) = 170*l**2 + 17*l + 16. Let o be x(-1). Put o, -1, 5 in descending order.
o, 5, -1
Let a = -67 + 33. Let d = 38 + a. Sort 8/7, d, -1, -2/15 in decreasing order.
d, 8/7, -2/15, -1
Let q = 10.1 + -9.47. Put -1, 2/3, q in decreasing order.
2/3, q, -1
Let m = 13.5 + -13.2. Let k = -0.33 - 14.67. Let f = -15.2 - k. Put m, f, -2/11 in increasing order.
f, -2/11, m
Let u = 0.18 - 0.04. Let c = -0.0646 + -0.0354. Sort u, 2, c, -1/5.
-1/5, c, u, 2
Let x = -242 + 242. Sort -0.1, x, -10, -0.07 in increasing order.
-10, -0.1, -0.07, x
Let o = 0.14 - 0.21. Let l = 169 + -154.4. Let n = l + -15. Sort n, 1/6, o in ascending order.
n, o, 1/6
Let v(z) = -z**2 + 9*z - 1. Let w be v(6). Suppose 2*c = 3*f + w, 0*c - 4*c + 25 = -3*f. Let m be (-1)/(c/12 + 0). Put 4, m, 3 in descending order.
4, 3, m
Let c be 1/(-3 - -2)*5. Let r be (0 + -1)/(-2 + 174/86). Let y = r + 48. Put y, c, 3 in ascending order.
c, 3, y
Suppose 0 = 3*x - 6 + 18. Suppose 2*u + 3*u - 27 = 2*c, c + 16 = 3*u. Sort 3, -16, x, c in descending order.
3, c, x, -16
Let s be (38270/4350 - 9) + 2/15. Sort s, 0.2, -0.1, 0.5 in descending order.
0.5, 0.2, s, -0.1
Let j(v) = -6*v**2 - 199*v - 28. Let u be j(-33). Sort 9, -2, u in ascending order.
-2, u, 9
Let y = -4.1 - -4. Let c = -0.2 - -0.4. Let f be ((-387)/(-430))/((-12)/10). Put y, c, f in decreasing order.
c, y, f
Let z = -67 + 66.8. Let w = 12.09 + -12. Let t(f) = f**2 - 25*f + 51. Let d be t(23). Put d, w, z in increasing order.
z, w, d
Let g = 204 + -95. Let b = g - 109.04. Sort b, -5, -2/11, -0.3.
-5, -0.3, -2/11, b
Let s = 1.5 + -0.5. Sort 16, 4, s.
s, 4, 16
Suppose -2*r + 8 = -4*z - 4, r - 10 = 3*z. Let w be (-22)/(-6) + (-2)/3. Put r, 2, -17, w in increasing order.
-17, r, 2, w
Suppose 3*l + 11 = 4*y, 81*l - 82*l + 8 = y. Let i = -31 + 22. Sort 0, i, y, -0.5 in descending order.
y, 0, -0.5, i
Let t = -0.867 + 0.607. Sort 2, t, 1/3, 4 in descending order.
4, 2, 1/3, t
Let p = -0.019 - -0.119. Put -0.01, p, 5 in decreasing order.
5, p, -0.01
Let y be (-89 - -83)*(-2)/4. Let j = 2 - -2. Sort -3, y, j.
-3, y, j
Suppose -7*d + 33*d + 182 = 0. Put d, -3, 8 in decreasing order.
8, -3, d
Let r = 0.205 + -0.105. Let b = 0.01 - -1.99. Put r, -0.3, b in ascending order.
-0.3, r, b
Let x = 1/68 - 9/34. Let z be 58*-1*2/(-40)*1. Let j = z + -7/5. Sort j, 0, x in increasing order.
x, 0, j
Let j = -1299 - -1298.7. Sort 4/31, -0.4, j in increasing order.
-0.4, j, 4/31
Suppose 94 = 6*n + 622. Let q = 91 + n. Sort q, -6, -2 in increasing order.
-6, -2, q
Suppose 0 = -l - 36*c + 35*c + 1, 0 = 4*l + c + 2. Let s(n) = -n**2 + 2. Let v be s(-2). Let r(w) = w**3 + 3*w**2 + 2*w + 2. Let u be r(v). Sort -2, u, l.
-2, l, u
Let u be 0/(-1*(-4)/(-4)). Sort 6, u, 5, -4.
-4, u, 5, 6
Suppose 0 = 3*f - 6*f + 84. Let d be 15/4 + (-1)/(-4). Suppose -4*o + f = d*v, o = 2*o - v - 3. Sort o, 1, -5 in descending order.
o, 1, -5
Suppose -u - 14 + 9 = 0. Let f be -1 - ((-2)/(-1) + -2). Let b be 33/15 + f/5. Put u, b, -2 in decreasing order.
b, -2, u
Let b = 15.22 + -14.92. Let d be 170/45 - 4/(-18). Put b, d, 0 in decreasing order.
d, b, 0
Let y = 395.3 - 396. Sort -1, 2/13, y, -2 in ascending order.
-2, -1, y, 2/13
Let u = 756.1 - 756. Sort 1/8, 0.5, u, -2/17 in increasing order.
-2/17, u, 1/8, 0.5
Suppose -3*u = 8 + 4. Suppose 5 = -4*r + 1. Put -5, u, r in increasing order.
-5, u, r
Let p(g) = -g**3 - 4*g**2 + 6*g + 7. Let d be p(-5). Suppose -d*r - r = 30. Let y = r + 14. Put -1, 0, y in decreasing order.
y, 0, -1
Let v(m) = -15*m - 64. Let x be v(-4). Sort x, 4, -3, -2 in decreasing order.
4, -2, -3, x
Let z be 1*-36*(85/15)/17. Sort z, -1, 1, 3 in ascending order.
z, -1, 1, 3
Suppose 0 = -l + s - 181, -6*l = -9*l - 2*s - 528. Put -1, l, 4 in decreasing order.
4, -1, l
Suppose -4 = -5*t - 34. Put 1, -4, t in increasing order.
t, -4, 1
Let c(n) = -n**2 - 11*n - 2. Let i be c(-6). Let a = -25 + i. Put -9, 5, a in descending order.
5, a, -9
Let c be (-2 - 15/(-6))*0. Suppose r + t + 3 = 3*t, c = -3*r + 3*t - 3. Let l be (-4)/(-39)*51/(-34). Sort l, 5/3, r in descending order.
5/3, r, l
Suppose 22*c + 26 = 9*c. Sort c, 31, 4, 0 in descending order.
31, 4, 0, c
Suppose 92 - 119 = -3*x. Sort x, 1, 3 in increasing order.
1, 3, x
Let d = 2419 - 2417. Sort -2, 5, d in increasing order.
-2, d, 5
Let r(c) = c**2 - c - 3. Let b be r(0). Let f(n) = -n + 4. Let a be f(-4). Let o = a - 6. Sort o, 4, b.
b, o, 4
Let n = 133 + -61. Let q = -74 + n. Let d = -0.7 + -0.3. Sort 0.4, q, d.
q, d, 0.4
Let u be (-12)/36 - (26/6)/(-1). Sort -4, -5, u, 18 in decreasing order.
18, u, -4, -5
Let d(v) = -5*v**3 - 3*v**2 - 7*v + 3. Let j(f) = 4*f**3 + 2*f**2 + 6*f - 4. Let y(x) = 5*d(x) + 6*j(x). Let a be y