 be t(p). Put l, -1, a in decreasing order.
l, -1, a
Suppose -6*o - 3 = -3*o. Let p be (6 + -6)*o/2. Suppose p = 2*k + k + 6. Sort 5, k, 4.
k, 4, 5
Let k = -35.2 - -36. Let r = 1.2 + k. Sort r, 4, -1 in decreasing order.
4, r, -1
Let h(s) = 11*s - 137. Let v be h(12). Put v, 2, -7 in increasing order.
-7, v, 2
Let n = 0.0067 + -0.7067. Sort -9, 4, n, -2 in increasing order.
-9, -2, n, 4
Suppose -z + 2*r + 16 = z, 10 = -2*r. Suppose z*y + 5*t = -28, -7*y + 2*t + 8 = -5*y. Put 5, y, 0 in descending order.
5, 0, y
Let a = 435 - 433. Put a, -1, -13, 6 in descending order.
6, a, -1, -13
Let j = -463 - -459. Let w = 1.3 + 0.7. Sort j, w, 5/4.
j, 5/4, w
Let t be (-3 + 2 + 2)/((-1)/(-5)). Suppose 0 = -u - 4*n + 10, -u - 2*u - t*n = -9. Sort 5, 0, 8, u in decreasing order.
8, 5, 0, u
Let u = -34 - -20. Let l = -38 - -22. Let t = u - l. Sort -5, t, 0 in decreasing order.
t, 0, -5
Suppose -t = -15*t + 490. Suppose -t = f - 31. Put 5, f, -3, 0 in increasing order.
f, -3, 0, 5
Let g = -4778/7 - -682. Put -0.3, -0.5, g in descending order.
-0.3, -0.5, g
Suppose -5*b + 6*b = -9. Sort -17, b, 5.
-17, b, 5
Let k = -1.95 + -0.05. Let d = -24 - -123/5. Suppose 9 = -2*b - u, -2*b + 3*b - 3*u = -8. Put b, d, k in ascending order.
b, k, d
Let v be 195/585*18/2. Put v, 2, -1/3, -3/2 in decreasing order.
v, 2, -1/3, -3/2
Let c(x) = -x + 1. Let p be c(-2). Let q(d) = 69 - 3*d - 35 - 41 + 2*d + d**2. Let y be q(4). Put p, y, -5 in increasing order.
-5, p, y
Let h be (-6)/20 + 264/240. Sort h, 3/2, 1.3.
h, 1.3, 3/2
Let y = -0.22 - -0.02. Let w = -53 + 368/7. Sort 0.07, w, y in ascending order.
w, y, 0.07
Suppose -3*q + 6*q + 18 = 0. Let s be -4*q/4*(-47)/(-141). Let z(k) = -k**2 + 7*k - 1. Let w be z(6). Sort w, s, -2 in descending order.
w, s, -2
Let l be -1*-3*(-5)/(-15). Let m(r) = -r**3 - 8*r**2 + 11*r + 13. Let d be m(-9). Put 3, -4, d, l in increasing order.
d, -4, l, 3
Let a(d) = -d**2 + 37*d - 350. Let t be a(18). Sort t, 5, 1, 3 in ascending order.
t, 1, 3, 5
Suppose 5*q - 3*g + 44 = 0, 3*g = -4*q - 6 - 13. Let b be ((-75)/12 + 3 - -3)*0. Sort -2, b, q in descending order.
b, -2, q
Let f(c) = -c**3 + 4*c**2 - c + 7. Let d be f(4). Suppose 19 = -d*u + 34. Put 1/2, 2, u in increasing order.
1/2, 2, u
Suppose 272 = -4*y - 0*d - 4*d, 5*y - 3*d = -324. Let b = y - -69. Sort 5, 0, -5, b.
-5, 0, b, 5
Let q = 3497/15 - 697/3. Sort 0.4, q, 313 in increasing order.
0.4, q, 313
Let i be 1392/(-128)*(-14)/1. Let r = i + -153. Sort -1/9, r, 0.07, -3 in descending order.
0.07, -1/9, r, -3
Let z(j) = -j**3 - 8*j**2 - j - 10. Let v be z(-8). Suppose 12 - 37 = -5*f. Let a = f + v. Sort -6, 5, a in increasing order.
-6, a, 5
Let h = 152/11 + -1165/66. Let p = h - -49/12. Sort -0.2, -0.3, p in increasing order.
-0.3, -0.2, p
Let m = 34.3 - 34. Sort m, 8.5, 2 in descending order.
8.5, 2, m
Let n be (-75)/55 - 8/(-22). Put -2, n, 0, -14 in decreasing order.
0, n, -2, -14
Let n = 0.29 - 2.29. Let o = -2 - -2.06. Sort n, o, 1/6, 3/2 in decreasing order.
3/2, 1/6, o, n
Let x = -1/172 - 429/172. Put -0.1, -5, x, 15 in decreasing order.
15, -0.1, x, -5
Let n = 145 + -1886/13. Sort 4/9, -0.1, n, 0.3.
-0.1, n, 0.3, 4/9
Suppose -14 = 4*r + 6. Let s = 169 - 164. Let u(x) = -11*x + 51. Let z be u(s). Sort -2, r, z in descending order.
-2, z, r
Suppose 0 = -42*n + 46*n + 4. Sort 0.6, -5, 0, n in descending order.
0.6, 0, n, -5
Suppose 0 = 3*j + 2*x - 56, x = 2*j + 26 - 75. Suppose 17 = -y - 4*g, y - 2*y - 5*g - j = 0. Let l be 12/2*y/6. Sort l, 0, -5.
-5, 0, l
Suppose 4*i - 6 = 6*i - 3*l, 2*l + 4 = 0. Let o = i - -2. Sort o, -5, -2 in increasing order.
-5, o, -2
Let n(m) = m - 9. Let o(w) = -9*w**3 + 1. Let f be o(-1). Let c be n(f). Let v be (-2)/(-8) + (-3)/12. Sort v, 5, c in descending order.
5, c, v
Let l = 176 + -179. Put 0.07, l, 4, 0 in ascending order.
l, 0, 0.07, 4
Let a = 0.018 - -2.982. Put -5, 356, a in decreasing order.
356, a, -5
Suppose 3*z = 4*l + 12, -l = -z + 12 - 8. Sort -3, z, 0.1 in decreasing order.
z, 0.1, -3
Let m be -1 + 0 - (-978)/805. Let q = 6/35 - m. Let u(v) = -8*v - 3. Let f be u(-1). Sort f, -5, q in descending order.
f, q, -5
Let d = 568/5 + -113. Let l be (-4)/15 - (-28)/42. Put l, -0.11, d in ascending order.
-0.11, l, d
Let g(k) = k**2 - 3*k - 155. Let h be g(14). Put 4, -5, 6, h in ascending order.
-5, h, 4, 6
Suppose 5*d - d - 12 = 0. Suppose -f - f = -d*w, 0 = w - f - 1. Put w, -4, 0, -3 in descending order.
0, w, -3, -4
Suppose 0 = -5*c + 5*s, -6 = 2*s + 4*s - 0. Let h = 0 - -5. Put h, c, 0 in descending order.
h, 0, c
Let x = -6.09 - -2.09. Let v = -30 + 25. Sort x, -0.1, v, 5/4.
v, x, -0.1, 5/4
Let v be 268/(-6 - (4 + -8)). Let n = 671/5 + v. Put -1/5, 0.6, n in increasing order.
-1/5, n, 0.6
Suppose -y + 110 - 125 = 0. Sort y, 0, -4 in increasing order.
y, -4, 0
Let z = 851.7 + -826. Put z, -2/17, -0.4 in decreasing order.
z, -2/17, -0.4
Suppose -9*s = -5*s + 108. Let j = -31 - s. Put 2, 0, j in decreasing order.
2, 0, j
Let z = -0.004 + 0.05. Let h = 13.954 + z. Put 3, -0.4, h, 0.4 in decreasing order.
h, 3, 0.4, -0.4
Let v = -18.021 + 18. Let h = v - -8.021. Let g be 3/2*12/(-27). Sort h, -2/5, g.
g, -2/5, h
Suppose 1 = 2*h + p - 0*p, 17 = h - 5*p. Sort -33, 3/7, 3, h.
-33, 3/7, h, 3
Let a be 1512/(-280) - 4/(-10). Sort 2, a, 154 in descending order.
154, 2, a
Suppose 3*c + 2*g - 16 = 0, 3*c + 2*g + 2*g - 20 = 0. Suppose 3*y = -3*q - 9 - 3, 4*y + 3*q = -13. Put y, 0, c, 3 in descending order.
c, 3, 0, y
Let f = 31 + -34. Let n be 3/(-18) - (-14)/12. Put f, n, -2 in descending order.
n, -2, f
Suppose 0 = 4*m - 5*l - 5 - 18, 0 = 3*l + 9. Suppose -o = 4*o. Sort m, o, -1 in increasing order.
-1, o, m
Let w be (-24)/30 + 18/(-15). Sort 13, w, 3, 2.
w, 2, 3, 13
Let t be -2 - (1 - -2 - 0). Let v = 1.9 + -2.75. Let p = 0.15 - v. Put t, -0.4, p in descending order.
p, -0.4, t
Suppose 0 = 600*a - 597*a + 4*l + 32, 36 = -4*a - 4*l. Put a, 1, 8 in decreasing order.
8, 1, a
Let w be 7/(14/4)*2. Suppose -2*g + 37 = -w*g - b, 3*b = -2*g - 31. Let x = 222/11 + g. Sort x, 2, 1/8 in descending order.
2, x, 1/8
Let l = -2 + 2.34. Let g be 2/((10/(-18))/((-40)/48)). Put g, -5, l, -2 in decreasing order.
g, l, -2, -5
Let b be ((-2)/(-10) - 0)/((-4383)/(-2435)). Put b, 1/4, -0.1, 9 in decreasing order.
9, 1/4, b, -0.1
Suppose 45 = 7*p + 8*p. Put 4/7, p, -5 in decreasing order.
p, 4/7, -5
Let p be (9 + 1)*(-2)/2. Let u(k) = 235*k + 1640. Let d be u(-7). Put p, d, -4, -3 in ascending order.
p, d, -4, -3
Let d be (-568861)/(-4452) + (-5)/35. Let r = d + 37/318. Let m = r - 127. Sort m, -5, -1 in decreasing order.
m, -1, -5
Let r = 3 + -3. Suppose 0 + 3 = u. Let v(h) = -h**3 + 11*h**2 - 28*h + 18. Let i be v(8). Put i, u, r in ascending order.
i, r, u
Let a = -20.5 + 47. Let r = a + -27. Put 2, r, 4 in descending order.
4, 2, r
Let j be 11 + -9 - ((-15)/2)/(-5). Sort j, 0.4, 6 in decreasing order.
6, j, 0.4
Let o = -9 + 9.2. Let u = -177 - -177. Put o, -5, u in descending order.
o, u, -5
Let b be 5*(4/(-18) + 306/(-810)). Let s be ((-16)/10)/(14/(-35)). Sort s, -2, -5, b in ascending order.
-5, b, -2, s
Let n(j) = 2*j - 5. Let d(g) = -g**2 + 6*g - 1. Let y be d(3). Let v be n(y). Suppose 4*z = -v + 3. Put -3/7, 3, z in decreasing order.
3, -3/7, z
Let o be (-4)/6*(-15)/20. Let h = 4.1 + -4.4. Let q be -3 - -2 - 22/(-18). Sort o, h, q.
h, q, o
Suppose 10*m - g - 6 = 9*m, 5*g + 26 = 3*m. Let n be -2 + 1 - (-4)/3. Put -7, m, n in ascending order.
-7, n, m
Let l be 3/8*-4*-2. Put 1/7, l, 5, -1 in ascending order.
-1, 1/7, l, 5
Let b be (-4 - -3)*(1 + 2). Suppose 0 = -6*x + x + 25. Let d be (-60)/(-165) - 18/(-11). Put b, x, d in descending order.
x, d, b
Let k = 44.92 + -0.12. Let i = 45 - k. Let m = -3/49 - 37/196. Put 7, m, i in decreasing order.
7, i, m
Let u = -386 - -381. Suppose -3*z + 4 + 2 = 0. Suppose -1 = i - z*i. Put 2, u, i in descending order.
2, i, u
Let d be 2/(-6) + (-46)/6. Let j = d - -3. Suppose 3 = -3*x + 4*u + 13, -u - 8 = 2*x. Sort -1, x, j.
j, x, -1
Let d = -117 - -123. Put 3, d, -0.5 in decreasing order.
d, 3, -0.5
Let m be ((-32)/(-400))/((-1)/(-15)). Sort m, 2/29, -2/5 in decreasing order.
m, 2/29, -2/5
Suppose -7*n - 5 = -8*n. Sort n, -1, -116 in descending order.
n, -1, -116
Let n be (15/6)/((-3)/(-12)). Let t = 9 - n. Let v = t + 5. Put 3, -11