ing order.
a, n, h, -2
Suppose 0 = 2*t - 3*q - 37, 0 = 3*t - 3*q - 72 + 18. Suppose 11*r - 72 + t = 0. Sort -61, 0, -1, r.
-61, -1, 0, r
Suppose 0 = 3*y - 2*i - 71, 6*y = 4*y - 4*i + 58. Let p = y - 20. Let c(k) = k**2 + 5*k + 1. Let d be c(-5). Put d, 0, p, -2 in ascending order.
-2, 0, d, p
Let t = 74.127 + -0.127. Let b = t + -146. Let v = b + 72.07. Sort v, -0.2, -3/4, 5.
-3/4, -0.2, v, 5
Suppose 6*v - 5*v - 3 = 0. Suppose 2*m + v*m - i + 24 = 0, -2*m - 12 = 2*i. Suppose 16 = -5*s - r, -2*s - r - 3745 = -3741. Sort m, s, -13, -2.
-13, m, s, -2
Let v(i) = -i**3 + 14*i**2 - 18*i + 61. Let t be v(13). Sort -3, -7, -1, -32, t in descending order.
-1, -3, t, -7, -32
Suppose -11*z + 7*z + 4 = 0. Let u = -77.6 + 78. Sort z, -4, u in increasing order.
-4, u, z
Let c = 9 - 9. Let z be (1/(-3))/(6 + 275/(-45)). Let a = -77 + 72. Put z, c, a, 1 in decreasing order.
z, 1, c, a
Let d = 0.44 - 0.04. Let n(l) = -3*l + 147. Let w be n(0). Let s be w/140*28/21. Sort d, s, 1.
d, 1, s
Suppose -18 = -3*y + 3*d, 5*y - d - 9 = 9. Let c(b) = -54*b**3 - b**2. Let r be c(1). Let z be (-11)/r + (-6)/5. Sort -6, y, -4, z.
-6, -4, z, y
Let m(g) = -g**2 + 47*g + 146. Let a be m(-3). Sort -0.03, a, -6/29, 0.2, 5.
a, -6/29, -0.03, 0.2, 5
Let a = -2893 + 2892. Put 2, 5, -4, a in ascending order.
-4, a, 2, 5
Let c(y) = y**2 - 1. Let h(x) = 3*x**2 + 17*x + 41. Let l(i) = 2*c(i) - h(i). Let s be l(-14). Sort s, 0, 1, -2 in descending order.
1, 0, s, -2
Let j = 43.18 + -39.18. Put 74, -1/4, j in decreasing order.
74, j, -1/4
Let h = -1.517 + 1.617. Put -0.21, -0.03, -4, h in decreasing order.
h, -0.03, -0.21, -4
Let g = -7.66 - -1.06. Let s = g - -64. Let c = -57 + s. Sort 5, c, -0.01 in descending order.
5, c, -0.01
Suppose -2*a + h + 10 = 0, 0 = -4*h + 6*h + 4. Let f = 14.771 - 13.871. Sort a, f, 1 in increasing order.
f, 1, a
Let z = 12542 + -12540. Sort 0, z, -0.1, -0.9, -0.5.
-0.9, -0.5, -0.1, 0, z
Let n(k) = 2*k**3 + 15*k**2 - 9*k - 139. Let m be n(-9). Suppose 5*h + 26 = 2*a + 2*a, 4*a - 18 = h. Sort m, a, 3 in descending order.
a, 3, m
Let s be 18 - 2*(-9)/(-6). Suppose -2*j = -233*b + 228*b + 14, -10 = -4*b + 2*j. Let v be ((-6)/8)/((-2)/8). Sort v, s, b in ascending order.
v, b, s
Suppose 0 = -v - 9*y + 4*y + 80, -426 = -5*v + y. Let s be (-50)/8 + (v/20 - 4). Sort -4, -3, 0, s in increasing order.
s, -4, -3, 0
Let c(u) = 4*u**2 - 6*u - 2. Let b be c(2). Let m be ((-2)/b)/(-32 + 29). Put 1, m, -3 in descending order.
1, m, -3
Let f(j) = -2*j**3 - 21*j**2 - 31*j - 5. Let h be f(-9). Suppose 0 = -39*r + h*r - 64. Sort -2, 2, r in descending order.
2, -2, r
Let z = -478.8 + 479. Let p(j) = -4*j**2 - 23*j - 13. Let i be p(-5). Put z, -1, i, -5/4 in ascending order.
-5/4, -1, z, i
Let h(s) = -12*s**2 - 2289*s + 577. Let t be h(-191). Let b = 0.17 - 9.17. Let y = -5.07 + 0.07. Put y, t, b in decreasing order.
t, y, b
Let z = 636178 + -636185. Let h = 0.3 - -0.2. Sort z, -5, h, 6 in ascending order.
z, -5, h, 6
Let j = 1 + 2. Let u = -0.048 + -109.952. Let k = u - -109. Sort j, 1/4, k, 1 in increasing order.
k, 1/4, 1, j
Let r(a) = a**2 + 10*a + 7. Let p be r(-9). Let s = -1 - p. Let i = -72554 - -72558. Sort i, s, -30 in decreasing order.
i, s, -30
Let f(i) = 26*i**2 + 7*i + 5. Let y be f(-1). Let u be (2/(-20))/(y/(-90)). Let q = -0.4 + 0.2. Put q, 1/5, u in decreasing order.
u, 1/5, q
Let g = 213.4 - 213. Let i = -363/14 + 155/6. Sort g, i, 0.3.
i, 0.3, g
Let l(i) = i**3 - 4*i**2 - 2*i + 4. Let a be l(4). Let m = 18875 - 18877. Put 7, m, a, -5 in ascending order.
-5, a, m, 7
Let w(b) = -b + 22 - b - 24 + b**2. Let h be w(3). Suppose -1 = -3*c - 10. Sort 3, h, c in increasing order.
c, h, 3
Let l = 174 - 173.7. Suppose 37*v = 26*v + 297. Sort 2/9, l, v.
2/9, l, v
Let s = -1 - -1.5. Suppose 68*j + 84 + 63 + 125 = 0. Let z = 7 - 12. Put z, s, j, -0.5 in decreasing order.
s, -0.5, j, z
Let s = 28396 + -28393. Sort -5, 0.3, -56, -1, s in descending order.
s, 0.3, -1, -5, -56
Let o(j) = j**2 + j. Let q be o(-1). Let g = -1206593/13 - -92815. Sort -0.5, q, g, 0.1.
-0.5, q, 0.1, g
Let b be 0/(2/3*(377/(-26) - -13)). Sort 5, b, 2/13, -0.05.
-0.05, b, 2/13, 5
Suppose 5*l - 3*f + 7 = 29, -5*l - 2*f = -27. Let c = 204 - 208. Put c, 3, l, 8 in decreasing order.
8, l, 3, c
Let q = 2933.3 + -2776. Let u = 80 - 237. Let g = u + q. Sort -2/9, 56, g.
-2/9, g, 56
Let c = 141 - 66. Let x be 24/56 + c/21. Suppose 4*y = -0 + 4. Sort -1, x, 0, y in increasing order.
-1, 0, y, x
Let w = -61 - -58. Let f = -6 - w. Let o = 0.06 + -4.06. Put -2/11, f, o in decreasing order.
-2/11, f, o
Suppose 18*v + 20*v + 12210 = -28*v. Sort -11, v, 5 in decreasing order.
5, -11, v
Suppose 65*m + 43*m - 6 + 114 = 0. Put m, -4, 1, -160 in descending order.
1, m, -4, -160
Suppose -s = -4 - 0. Suppose -3*b - 5*p + 20 = 0, b - 1 = -p + 5. Suppose 51*f - 69 = -273. Sort 0, s, b, f in increasing order.
f, 0, s, b
Suppose 4*i + 20 = -2*l - 2*l, 0 = 3*l - 3*i + 3. Let o = -1 - -1. Suppose 3*h - 6 = 2*s + 3, o = 5*h - 4*s - 13. Put l, 3, 1, h in decreasing order.
h, 3, 1, l
Suppose 0 = 60*z - 57*z - 12. Let u(f) = -f**3 + f + 1. Let y(q) = 7*q**3 - q**2 - 8*q - 7. Let m(o) = 6*u(o) + y(o). Let r be m(-1). Sort r, z, -5, 1.
-5, r, 1, z
Let n = 2054 - 2053.6. Put 11, -3, n, 1/2, -5 in descending order.
11, 1/2, n, -3, -5
Suppose 0*w = z - 4*w + 2, 4*w - 14 = 3*z. Suppose -9*g - 70 = -106. Put -3, -4, g, z in decreasing order.
g, -3, -4, z
Let g = 0.399 - 320.399. Let i = g - -320.4. Sort 0, i, 4, -1 in decreasing order.
4, i, 0, -1
Let d = -1053.7 - -1054. Suppose -9*l - l = 0. Let x = 12.2 + -14. Put x, l, d, -0.1 in descending order.
d, l, -0.1, x
Let u = 21616 + -21611. Put -2.06, u, -7 in descending order.
u, -2.06, -7
Let v = 25 - 19. Let n = v - 11. Let i = 235 + -232. Sort -16, i, n in increasing order.
-16, n, i
Let i = -4749 - -4756. Sort 3/5, 2/17, -2, i, 3 in decreasing order.
i, 3, 3/5, 2/17, -2
Let r = 19 - 19.1. Let q = 58 - 95. Let a = 36.6 + q. Put a, r, 1/8 in ascending order.
a, r, 1/8
Suppose 7843*m - 7852*m - 18 = 0. Put -4, -19, -1, 5, m in ascending order.
-19, -4, m, -1, 5
Let i = -0.2 - -0.4. Let m = 104477.99 - 104478. Put 0, i, 0.1, m in increasing order.
m, 0, 0.1, i
Let o be 6 - ((-7 - 958) + -9). Let a = o - 978. Put 23, 1, a in descending order.
23, a, 1
Let l be 6/(-42) + (-792)/(-56). Suppose -g - 6 = -2*d, -l - 1 = -3*d. Suppose -3*p + 32 = -7*p - 4*w, 5 = -w. Put 0, 3, p, g in descending order.
g, 3, 0, p
Let i = 1 - 5. Let z(n) = -3*n**3 - 2*n**2 + 5*n - 3. Let w be z(i). Suppose -w*y + 142*y = 25. Sort -3, y, 0.
-3, 0, y
Let r = -1.6 + 3.6. Let h = -337 + 192. Let v = 2173/15 + h. Sort 5, v, r in ascending order.
v, r, 5
Suppose -4 = 4*r, -330*q + 335*q + 2*r = -7. Let n be (-1)/(-1*3/(-15)). Sort q, n, 7 in decreasing order.
7, q, n
Let d be (-220 + -4)/(-14) + -16. Let i = -16 - -20. Put -30, 1, d, i in decreasing order.
i, 1, d, -30
Let q = -169 - 15. Let s = q - -184.2. Let v be 2/(3 - (1 + 0)). Sort 2/7, -0.1, s, v in descending order.
v, 2/7, s, -0.1
Let n = -25172 + 25176. Let l = -12 - -17. Sort 7/4, 0.2, l, n in increasing order.
0.2, 7/4, n, l
Let t(m) = 4*m**2 + 4*m - 1. Let u be t(1). Suppose 60*s = 61*s + u. Sort 7, s, 0, 1.
s, 0, 1, 7
Suppose 1169*m = 1188*m - 1482. Put 0.3, -1, m in descending order.
m, 0.3, -1
Let s = 31017 + -31021. Put -1, 7, -20, s, 5 in increasing order.
-20, s, -1, 5, 7
Suppose 0 = -2*i - 2, 7*i = 5*p + 3*i - 4. Let b be 3770/(-24) + (200/96)/25. Put -5, p, b in descending order.
p, -5, b
Let h = -0.02 + 184.02. Let s = -183.6 + h. Suppose 0 = -5*k + 4*a - 35 - 9, 0 = a - 1. Put k, -4, s in descending order.
s, -4, k
Let d = 12 + -12. Let n(w) = -w**3 + 3*w**2 + 10*w - 3. Let a(z) = z**2 + 7*z - 13. Let f be a(-9). Let x be n(f). Sort -1, x, d in decreasing order.
d, -1, x
Suppose 339*w - 11 = 336*w - l, -4*l = 4*w - 4. Sort -177, w, 0 in descending order.
w, 0, -177
Let g = -1.54 + 0.04. Let o = g - -1. Let i be (-20)/24*(-6)/(-20) + (-42)/(-112). Sort o, i, 1/6 in increasing order.
o, i, 1/6
Suppose -t = -5*t + 20. Suppose -h + t = 4*h. Suppose -153*f + 150 = -47*f - 62. Sort f, h, -2, -4 in ascending order.
-4, -2, h, f
Let b(d) be the second derivative of -1/2*d**3 + 11/2*d**2 + 17*d + 0. Let u be b(5). Put -0.3, u, 2 in increasing order.
