se 0 = 5*t - t - 4*m - 24, 0 = 2*t - 4*m - 18. Let q be u(t). Put -5, q, -3 in increasing order.
-5, -3, q
Suppose -5*t + 26 = 6. Suppose 0 = 2*c + t*d - 24, 3*c + 3*d - 45 = -0*d. Let s = c - 15. Put -3, -1, 2, s in descending order.
s, 2, -1, -3
Suppose 560*m = 551*m + 234. Suppose -m*n - 10 = -4*r - 25*n, -6 = -3*n. Let i be 1/4*8/9. Sort -3/2, r, i, 0.2 in increasing order.
-3/2, 0.2, i, r
Let s(a) = -13*a**2 + 36*a + 7. Let o be s(3). Put o, 54, -1 in descending order.
54, -1, o
Let t be (-2)/(-140)*-5*82 + (-2 - -8). Put 3, -5.4, t, 0.2 in ascending order.
-5.4, t, 0.2, 3
Let m be 2*(-6)/(-12)*-1. Let w(d) be the second derivative of -d**3/3 + 23*d**2/2 + 7*d. Let t be w(14). Sort -3, m, t, 4 in ascending order.
t, -3, m, 4
Suppose 5*q + 5*t + 5 = 0, -4*q + 5*q = -6*t - 6. Suppose 0 = 2*c + 5*j - 13, 0 = -2*j - 2 + 12. Let f = -19 + 18. Put q, f, c, -3 in increasing order.
c, -3, f, q
Let o(m) = -4*m - 28. Let k be o(-9). Let d be (-1)/(-10)*4*20/k. Suppose -r + d = -4. Put 4, -3, r in ascending order.
-3, 4, r
Let g = 33 - 34. Let q = 137/4 + -2063/60. Sort g, -2, q, 0.4.
-2, g, q, 0.4
Let n(f) = -2*f**3 - 3*f**2 + 3*f. Let t(a) = -a**3 + 4*a**2 - 2*a - 6. Let d be t(3). Let w be n(d). Let i = w + -18. Sort i, 5, 4.
i, 4, 5
Let n = 1348/9 - 150. Let b = 10 + -5. Let f(q) = -713*q - 3564. Let c be f(-5). Sort n, c, b in increasing order.
n, c, b
Suppose -5*i - 570 = -2*g, -3*i - 67 - 264 = g. Let p = -112 - i. Suppose 2*v = n, v - 1 = -p*v. Put -17, n, 0 in ascending order.
-17, 0, n
Suppose -r - 6*q + q = 22, 0 = r + 4*q + 18. Let o = -326 + 345. Sort o, r, 0.
r, 0, o
Suppose -23*z - 2250 = 1062. Let s be (2*(-2)/1)/(-143 - z). Put -2, 8, -5, s in decreasing order.
8, -2, s, -5
Let j(q) = 314*q - 10050. Let v be j(32). Sort 1, 1266, v.
v, 1, 1266
Let n = 26272/91903 - 2/13129. Let t = 2.5 - 3. Put -1/4, 8, n, t in decreasing order.
8, n, -1/4, t
Let h = -5.4 - -0.4. Let n = 2.4 - -0.6. Let z = -2266.72 + 2267.02. Put n, 2/17, h, z in decreasing order.
n, z, 2/17, h
Suppose 4*i + 18 - 40 = -2*f, -2*f + 8 = 2*i. Sort 2, 4, i, 2/9.
2/9, 2, 4, i
Suppose -7*i - 3 + 24 = 0. Suppose -2*c = -i*j, -5*j + 2*c = -0*c. Let f = j - 5. Sort 4, f, 1, -2.
f, -2, 1, 4
Let b(d) = d**2 - 103*d - 269. Let i be b(0). Sort i, 3, -4 in increasing order.
i, -4, 3
Let p(m) = -m**2 + 12*m + 25. Let t be p(14). Let j be (-12)/78 + 11/(-13). Sort t, 11, j in ascending order.
t, j, 11
Let u = 0.096 + 3.904. Let g = 16.12 + -35.12. Put u, g, -2/11, 2 in descending order.
u, 2, -2/11, g
Let o = 14 + -18. Suppose 21*b + 23 - 44 = 0. Sort o, -2, b, -3 in descending order.
b, -2, -3, o
Let i = -130381/5 + 26077. Sort -2, i, 4, 1, 141 in descending order.
141, 4, 1, i, -2
Let b(x) = 140*x + 5584. Let r be b(-39). Sort 1, -3, 3, r.
-3, 1, 3, r
Let w = 7317 - 7314. Put 3/43, w, 1, 12/5 in decreasing order.
w, 12/5, 1, 3/43
Let u(k) = 2*k + 28. Let d be u(-14). Suppose -2*v - f + 36 = d, 7*f = 2*f + 20. Suppose 17*p - v*p + 2 = 0. Sort 0, p, 2, -3.
-3, p, 0, 2
Let f(x) = -2*x**3 + 40*x**2 - 4. Suppose -r + 16 = -2*w, -2*w + 84 = 11*r - 7*r. Let o be f(r). Sort -8, o, 8 in increasing order.
-8, o, 8
Let m be ((-1)/(-2))/(1/6). Let t = -623 - -616. Put t, -4, m in decreasing order.
m, -4, t
Let t = -3 - -6. Suppose -3*i - t*k = -3, -5*i - 2*k + 0*k = -17. Suppose -5061 = -11*g - 5039. Sort -2, i, g.
-2, g, i
Let g = -95.64 - -41.2. Put -0.1, g, 4, -4 in decreasing order.
4, -0.1, -4, g
Let w(z) = z**3 - 2*z**2 - 3*z + 3. Let m be w(2). Let q be (2/m - 0) + -1. Let r be 2 + 91/42*-1. Sort q, -2, r in ascending order.
-2, q, r
Suppose -4*t - 8 = -4*g, 2*g - 5*t - 651 + 629 = 0. Sort 1, 3, 8, 28, g in ascending order.
g, 1, 3, 8, 28
Suppose 0 = -6*g + 2 - 32. Let i(x) = -x**2 - 15*x - 51. Let y be i(-8). Put g, y, 4, 7 in ascending order.
g, 4, y, 7
Let g = 8 + 0. Suppose -2*y - g = q, 5*q - 3 - 5 = 2*y. Let w be (-4 - 0/(-3)) + 15/4. Put q, -5, -1/5, w in decreasing order.
q, -1/5, w, -5
Let w = -460 - -459.23. Let f = 2.77 + w. Let s = 0.11 + -0.11. Sort 0.1, f, s in decreasing order.
f, 0.1, s
Let t(j) = 36*j + 580. Let y be t(-16). Sort -3, -5, y, -73 in ascending order.
-73, -5, -3, y
Let l(t) = t**3 - 38*t**2 - 47*t + 47. Let o be l(39). Let a = -270 - o. Sort -2/3, 2/29, a.
a, -2/3, 2/29
Let g(z) = 3*z**2 + 5*z + 1. Let a(t) = t**3 + 11*t**2 + 20*t + 20. Let x be a(-9). Suppose x*m + 5*m + 14 = 0. Let y be g(m). Put 18, y, 0 in increasing order.
0, y, 18
Let k = -15215 + 15215.5. Put -2, -7, 5, 1/14, k in ascending order.
-7, -2, 1/14, k, 5
Let s be (-2)/(7 - (6 - 0)). Let r be 17 + -16 + (-1)/2. Sort -2/7, s, r in descending order.
r, -2/7, s
Let j(s) = 243*s**3 - 2*s**2 + s + 2. Let n be j(-1). Let z = 243 + n. Sort 2, -3, z, -7.
-7, -3, z, 2
Let r = -2591.2 + 2581.2. Let h = -0.28 + 0.3. Let i = -0.38 - h. Put i, r, 0.5 in descending order.
0.5, i, r
Let j = 41 + -40.9. Let m = 621.2 - 618.2. Sort j, 0.3, m, 10 in ascending order.
j, 0.3, m, 10
Let t be (-3)/5 - (-6)/(-45)*3. Suppose 7*b - 39 + 67 = 0. Sort t, 6, b, -5 in descending order.
6, t, b, -5
Let z be 1332/(-122) + (21 - 10). Sort 0, z, -1/5 in decreasing order.
z, 0, -1/5
Let c = 8429 - 8431. Put -4, c, -3, -9, 1 in descending order.
1, c, -3, -4, -9
Let l be (-88)/16*-2 - (-37 + 53). Let j be (1 + -1 + 1)*1. Put 4, 15, l, j in ascending order.
l, j, 4, 15
Let i be 2*(25/(-8) - (-1 + -2)). Let k(w) = -3*w + 45. Let z be k(15). Sort z, -0.9, i, -0.06.
-0.9, i, -0.06, z
Let v = 259 - 258. Let t be (-24)/(-45) + (-1)/9*6. Sort -4, 5, v, t in decreasing order.
5, v, t, -4
Suppose 143 + 286 = -39*s. Put 3, -5, 5, 7, s in descending order.
7, 5, 3, -5, s
Suppose 4*v + 2 = -5*m - 5, -3*v + 4*m = -18. Put -4, v, 5, 0, 13 in increasing order.
-4, 0, v, 5, 13
Suppose 3*z + 1 = -i, 0 = -4930*i + 4925*i - 5. Sort -101, 3, z in ascending order.
-101, z, 3
Let q = -1738 - -1731. Put -3, q, -17, 4 in descending order.
4, -3, q, -17
Let b = -20863.1 - -20863. Sort 2, b, -3, 5/29 in ascending order.
-3, b, 5/29, 2
Suppose 0 = 2*n - 5*b - 35, 3*b + 16 + 4 = n. Suppose 0*x + 30 = -n*x. Let d be x/2 - (-7 - -11). Sort -5, 4, d.
d, -5, 4
Let k be 6 - ((-9)/1 - (-49 + 36)). Put 148, 1, -3, k in increasing order.
-3, 1, k, 148
Let p = -2.86 + -0.04. Let l = 142.24 - 141. Let d = l + -1.34. Sort p, d, 4 in descending order.
4, d, p
Let g = 87.798 + -15.798. Sort -5, 1/2, -2/9, g, 0.11 in ascending order.
-5, -2/9, 0.11, 1/2, g
Let t = 9797 + -9799. Put 1/6, t, -29, 1, -1/3 in increasing order.
-29, t, -1/3, 1/6, 1
Let s be (7 - -7)/7 - 1. Suppose -4*y = j - 11, -3*j + 2*y = 4*y + 7. Put -2, 3, s, j in descending order.
3, s, -2, j
Let q = 432 - 412. Let n be 12/q*(-160)/1488. Put n, -2, 2/25 in descending order.
2/25, n, -2
Suppose 6 = 4*s - 2*q - 0, 5*s - 5*q - 15 = 0. Suppose -c + s = -6. Let n be (-5)/(30/(-16))*(-9)/(-108). Put 3, 1, c, n in increasing order.
n, 1, 3, c
Let v be (-4)/(-14) - 32/14. Suppose -155*k = 9*h - 151*k + 133, -2*h = -3*k + 49. Put v, 5, -1, h in descending order.
5, -1, v, h
Let b = -1015 - -1013. Sort -4/3, -39, -0.1, 3/5, b.
-39, b, -4/3, -0.1, 3/5
Let b be 300/50*(-1 + (-5)/(-3)). Let m be (15/b - (-2 + 6))*-2. Let x = 10 + -7. Sort m, 0.1, x in decreasing order.
x, m, 0.1
Let t(r) = -2*r**3 - 10*r**2 + 10. Let j(d) = -d**3 - 6*d**2 + 5. Let w(p) = 5*j(p) - 2*t(p). Let g be w(-10). Sort 0, -4, g, -5 in ascending order.
-5, -4, 0, g
Let u = -126.22 - -128. Sort 2/9, -0.3, u, 5.
-0.3, 2/9, u, 5
Let q = -4.3 - 9.7. Let t = 14 + q. Let f = 0.08 + 0.12. Sort -0.1, t, f in decreasing order.
f, t, -0.1
Let g be -1 + -6 - (-9 + 5). Suppose 11*c = 16*c + 4*a + 21, -24 = -2*c - 7*a. Sort -5, -4, g, c in ascending order.
c, -5, -4, g
Let d = 8 - 7.87. Let v = d - 0.13. Let o = 670 + -668. Sort o, v, 6 in decreasing order.
6, o, v
Let w = -1.6094 + 0.6094. Put w, 1, -0.9, -0.15 in ascending order.
w, -0.9, -0.15, 1
Let a(z) = z + 1. Let o(n) = 2*n + 2. Let p(d) = 8*a(d) - 3*o(d). Let b be p(0). Sort b, 4, 0, -4 in increasing order.
-4, 0, b, 4
Let h = 0 - -0.01. Let z(d) = -52*d**2 - 4*d - 4. Let m be z(-1). Let t be 39/m - (-44)/16. Sort h, 2/11, t in ascending order.
h, 2/11, t
Let r = -102.998 - -103. Let w = -0.302 + r. Let x = -20 - -39/2. Sort x, w, 1, 0.2 in descending order.
1, 0.2, w, x
Suppose 28*z