ending order.
-106, 2, c
Let a = 4.4 - 4. Let u = -21 - -20.9. Let i = u - a. Put i, -4, -5 in increasing order.
-5, -4, i
Let b = 316 + -312. Let t(f) = -2*f**2 + 12*f - 16. Let m be t(b). Sort 1, 2, 9, m in increasing order.
m, 1, 2, 9
Suppose 0 = 76*r - 68 - 160. Sort r, 20, -2/9 in descending order.
20, r, -2/9
Suppose 5*x - 66 = -11. Suppose -o - 56 = -9*o. Suppose g - o = -x. Sort -3, g, -21.
-21, g, -3
Suppose 4*q + 2*f - 64 = 0, -3*q - 6*f = -11*f - 48. Let x be q/72*3618/12. Sort 4, 3, x in decreasing order.
x, 4, 3
Let z(l) = l**2 - 5*l + 1. Let c be z(6). Let g(y) = -y**2 + 32*y - 139. Let n be g(23). Suppose n*o = 58*o + 40. Put o, c, 5 in increasing order.
o, 5, c
Let c(b) = 64*b**2 - b. Let x be c(-1). Suppose 7 = -8*f - x. Let n = 9 + f. Put -7, -2, n in increasing order.
-7, -2, n
Let n be (-128)/(-264) + (6/33 - -4) + -4. Sort -178, n, -1 in decreasing order.
n, -1, -178
Let i = 49 + -77. Let n = -29 - i. Sort n, 4, -2 in increasing order.
-2, n, 4
Let k(o) = 19*o**3 - 2*o**2 + 1. Let f be k(1). Let w be (-1)/4 + f/8. Suppose -1818*u + 1801*u - 51 = 0. Sort u, 1, w.
u, 1, w
Suppose 66*x = -40*x - 66992. Sort 0, x, -1, 3 in descending order.
3, 0, -1, x
Let q be (-5)/15 - (-5)/(-3). Let d be (-2)/(-28)*-4 - 31*9/(-21). Sort d, q, -4, 2 in decreasing order.
d, 2, q, -4
Let d = -169/467 + -683906/3269. Let a = d + 210. Sort 3, -2/11, a, -2 in descending order.
3, a, -2/11, -2
Suppose 32*j - 174 = -2*j + 5*j. Sort -369, 5, j in ascending order.
-369, 5, j
Let s = 3.8332 - 9.8332. Sort 21, -2/5, 1, s, 4 in increasing order.
s, -2/5, 1, 4, 21
Suppose 4*u - 26 = -2*x, -3*x + 31 = 4*u - 0*u. Suppose -4 = 2*a - 3*a + 3*q, 0 = -2*a - x*q + 30. Suppose -4*n + a = -2*n. Put 2, n, 0 in increasing order.
0, 2, n
Let o = -7280 - -7279. Suppose w - 4*w = -3*u + 99, -141 = 4*w + 5*u. Put o, w, 3, 4 in ascending order.
w, o, 3, 4
Let a(w) = 11*w + 89. Let v = -15 - -7. Let o be a(v). Sort 4, o, 5, 23.
o, 4, 5, 23
Let w = 35 - 33. Let v be (-3)/(-2) - ((-19)/(-30) - (-220)/(-1650)). Put v, -3, w, 18 in decreasing order.
18, w, v, -3
Suppose 5*g + 5*p = 45, 112*p - 10 = -g + 110*p. Put 4, g, 774 in decreasing order.
774, g, 4
Let t be (-68)/(-140) + (-4)/14. Let n be 9/15 - 102/(-5). Suppose n*g - 31*g - 20 = 0. Put t, g, -0.1, 0.25 in descending order.
0.25, t, -0.1, g
Let l = -8 - 1. Let o be 6/l + 80/102. Let h = 6308/11605 + 2/1055. Sort -5, 1, o, h.
-5, o, h, 1
Let y(j) = -9*j - 12. Let r(n) = -2*n. Let z(v) = 4*r(v) - y(v). Let a be z(-16). Sort a, -5, 16, 3 in increasing order.
-5, a, 3, 16
Suppose 0 = 5*n + 5*o + 65, n + 3*o = -0*o - 17. Suppose -3*m = -27*m - 384. Let k = n - m. Sort 3, 8, k.
3, k, 8
Let s = 11.06 + 0.94. Put -0.2, s, -0.8 in decreasing order.
s, -0.2, -0.8
Suppose -664*q + 55 = -653*q. Sort -2/13, 39, 3, q, -4 in descending order.
39, q, 3, -2/13, -4
Let s = 60 - 50. Put s, 3, 0.2, -0.4 in increasing order.
-0.4, 0.2, 3, s
Let x = -0.14 - 41.86. Let f = 823.3 - 865. Let u = x - f. Sort -1/4, 0, u.
u, -1/4, 0
Let h = 213.78 - 214.18. Sort 7, -3/2, 6/17, h in decreasing order.
7, 6/17, h, -3/2
Let i = 5780/3 + -1927. Let q be (6/4)/(270/48*-2). Sort q, i, 3, -5.
-5, i, q, 3
Suppose -7*v + 35 + 7 = 0. Let m be 75/(-100)*(8/v)/(-1). Sort 5, m, 3, 0.
0, m, 3, 5
Let a(d) = 13*d - 77. Let m be a(6). Let y be (m/((-15)/(-6)))/(8/(-20)). Sort -4, 14, y in decreasing order.
14, y, -4
Let f = 143.788 + -143.88. Put -0.5, -3/7, 2, f in descending order.
2, f, -3/7, -0.5
Let w be (518/(-58) - -10) + (-22)/319. Suppose 2*f + 5*l = 3*f + 21, 0 = -5*f + 4*l. Put 12, w, f, 3 in ascending order.
w, 3, f, 12
Let k = 0.099 - 0.06. Let y = 0.044 - k. Let v = -4.005 + y. Put v, -7/3, 1/3, -5 in ascending order.
-5, v, -7/3, 1/3
Suppose -39 = -39*q + 36*q. Suppose -17 = -15*t + q. Put 13, t, 4 in descending order.
13, 4, t
Let j = 0.21061 - -3.78939. Let q = 0.41 - 0.01. Let c = 7 - 4. Put j, q, c, -1 in descending order.
j, c, q, -1
Let o be (-1829)/93 - (-10)/(-3). Sort 2, o, 1/8 in decreasing order.
2, 1/8, o
Let k(i) be the first derivative of i**3/3 - 6*i**2 - 12*i - 23. Let l be k(16). Let p = -51 + l. Put 2, p, -4, -5 in descending order.
2, p, -4, -5
Let b = 19.891 - -0.209. Let y = -19.6 + b. Sort 2, y, -20 in decreasing order.
2, y, -20
Suppose 2580*i + 344 + 1176 = 1820*i. Let z(l) = -l**2 + 8*l + 1. Let b be z(8). Sort -5, -1, b, i in ascending order.
-5, i, -1, b
Suppose -8 = -2*o - g, 0 = -o - 0*o - 4*g + 18. Suppose t + 4 = 4*p - o, 0 = 4*p - 8. Sort 20, -0.3, t.
-0.3, t, 20
Let m = 309.11 + -309.2. Sort 2, 0.3, -0.7, m in increasing order.
-0.7, m, 0.3, 2
Let p(w) = w**2 - 11*w - 153. Let h be p(19). Let x be 1 + 4 + (8 - 5 - 7). Let c = -19 - -28. Sort -4, c, h, x in decreasing order.
c, x, h, -4
Let t = -682.7 + 682.79. Put 4, t, -4, 0.2 in decreasing order.
4, 0.2, t, -4
Suppose k + 18*a = 20*a - 77, 0 = -4*k - 3*a - 275. Sort -19, k, -4.
k, -19, -4
Let b = 189 + -121.5. Let a = -9.5 - b. Let l = -74 - a. Sort 2, l, 0.4, 0.1 in increasing order.
0.1, 0.4, 2, l
Let r(j) = -4*j**2 - 182*j - 95. Let l be r(-45). Suppose 4 = -3*w + 16. Let t = -10 - -7. Sort t, w, l in descending order.
w, t, l
Let k = 17 + -3. Suppose -i - n = -2, -4 = -3*i + n + k. Let b = 2295 + -2294. Put 2, -4, i, b in increasing order.
-4, b, 2, i
Let i = 264 + 12305. Let y be 4 - i/33 - 2/3. Let u = y + 378. Sort 2/7, 2, u, -2.
-2, 2/7, u, 2
Let t = 14490 + -14620. Sort 0.4, t, -5 in decreasing order.
0.4, -5, t
Let c(o) = o**3 + 12*o**2 - 18*o - 76. Let i be c(-13). Put i, -20, 0 in ascending order.
-20, i, 0
Let i = -3164/15 + 1054/5. Put -118, -0.3, -0.1, i in descending order.
-0.1, i, -0.3, -118
Suppose -2*m = -x - 5*m - 9, 21 = -5*x - 3*m. Let o(q) = -140*q + 275. Let w be o(2). Sort w, x, 1, -4 in decreasing order.
1, x, -4, w
Let q = -338 - -333. Let x be 3*(-6 - q) + (-10)/(-2). Sort x, 1, 11, 7.
1, x, 7, 11
Let g = -11945 - -11779. Put g, 1/8, -0.1 in ascending order.
g, -0.1, 1/8
Let w(y) = -y**3 + 3*y**2 + y + 1. Let t be w(4). Let j(r) = -r - 16. Let c be j(t). Suppose 98 = 38*p + 49 - 141. Sort -4, 1, c, p in ascending order.
c, -4, 1, p
Suppose 2*s - 3*o = 4*s - 82, 5*s - 4*o - 205 = 0. Let x = 0.306 + -151.306. Let n = x + 148. Sort 3/7, n, s in descending order.
s, 3/7, n
Suppose -6*s + 4*b = 16, 0 = 3*s - 41*b + 43*b - 20. Suppose -5*u + 28 = 3. Suppose q = -2*q. Sort q, s, -3, u.
-3, q, s, u
Let i(w) = 99*w - 1379. Let g be i(14). Put g, 16, -5 in descending order.
16, g, -5
Let a be 2 + (182/4)/(-13) + 2/4. Let b be (-33)/(-21) - (-9)/21. Let t(q) = q**3 + q**2 - 2. Let g be t(-2). Put a, b, g in decreasing order.
b, a, g
Suppose l + 2*t - 28 = 7*t, -5*l = -2*t - 25. Let o(p) = p**2 + 154*p + 158. Let i be o(-1). Sort -75, i, -5, l.
-75, -5, l, i
Let y = -135 + 678/5. Let d = 7079.1 + -7076.1. Sort y, d, 1.
y, 1, d
Let x be (-2)/9 - (-123)/(-54). Let t = x - -4. Let g = -487 - -490. Sort g, t, -3 in descending order.
g, t, -3
Let d = 174 + -171. Suppose -18 = -2*a + d*k, 2*a = 6*a + 3*k. Sort -29, -3, 5, a in ascending order.
-29, -3, a, 5
Let w(j) = -5*j + 28. Let r be w(5). Suppose r*u = 2*a, 1 = -a + u + 2. Let x(c) = c**2 + 10*c + 11. Let v be x(-8). Put a, -8, v in descending order.
a, v, -8
Let t(d) be the second derivative of -d**4/12 + 37*d**3/6 - 41*d**2/2 + d + 26. Let b be t(36). Sort 14, b, 3/2 in descending order.
14, 3/2, b
Let m(x) = -x**3 - 8*x**2 - 11*x + 21. Let a be m(-4). Suppose -b + 2 = -3*b. Sort a, 9, -3, b in descending order.
9, a, b, -3
Let j(n) = 165*n + 1801. Let w be j(-11). Sort -4, -1, 4, w, 3 in ascending order.
w, -4, -1, 3, 4
Let n = 0.45 - 0.5. Let l = 0.04028 - -0.65972. Sort l, -1/4, n in ascending order.
-1/4, n, l
Let r = -76 - -70. Let j = -481 + 481. Sort r, j, -3/4.
r, -3/4, j
Let v be 19 + 120/((-36)/3). Sort 2, v, 8 in descending order.
v, 8, 2
Let q be 78/(-14) - (-1 + -1). Let x = q - -146/35. Let b = 0.271 - -0.729. Sort b, x, -4/7 in ascending order.
-4/7, x, b
Let n = -1669 - -8347/5. Let f = -0.45 + -4.55. Put f, -4, -2, n in descending order.
n, -2, -4, f
Let u = -293.629 + 0.629. Let s = u - -311. Sort s, -1, -4.
-4, -1, s
Let b = 131.986 + -131. Let f = b - 1.286. Sort -197, -0.4, f.
-197, -0.4, f
Let o = -2.27 - 10.63. Let c = -9.9 - o. Let q be (-16)/(-10) - (-14)/(-7). Sort