t b = 0.16273 - 0.06273. Let h = 11505/154 - 522/7. Sort 3, b, h in decreasing order.
3, h, b
Let q = 601 + -599. Sort -32, 0, q.
-32, 0, q
Suppose 2*j = -2*j + 3*j. Let d(t) = -t**3 + 11*t**2 + 12*t - 5. Let h be 2*(-3)/6 + 13. Let r be d(h). Sort 4, j, r in decreasing order.
4, j, r
Let p = -285/4 - -72. Let q be (3/(-15))/((-10)/(-25)). Sort p, q, -3.
-3, q, p
Let o be 1/8*-2 + (-660)/48. Put o, -6, -2 in ascending order.
o, -6, -2
Suppose 3*g = 5*f - 11, -3*f = -g - 0*g - 5. Suppose 3*i - 1 = -10. Let z(c) = 2*c**2 - 2*c + 3. Let h be z(1). Sort i, h, g in descending order.
h, g, i
Let k = 80 + -84. Put 3, -0.3, -2, k in increasing order.
k, -2, -0.3, 3
Let b(o) = 9*o + 25. Let c be b(-4). Let x = c + 14. Suppose 0 = 5*p - 19 - 1. Put 2, x, p in descending order.
p, x, 2
Let l(u) = -u**3 - 2*u**2 - 2*u - 1. Let h be l(0). Let j be 10/18*(18/30 + h). Let o = -2.2 + -0.8. Put o, -4, j in decreasing order.
j, o, -4
Suppose 6*v - 10*v - 4 = 0. Let h = v - 0. Sort 5, -4, h, 2.
-4, h, 2, 5
Suppose -4*s + s - 9 = 0. Let d be (24/20)/((-3)/10). Sort -5, s, d.
-5, d, s
Let j(w) = 3*w - 46. Let z be j(14). Put -1, 28, z in descending order.
28, -1, z
Let k be (-9)/((-20)/(-8) + -4). Suppose 7*l = k*l + 5. Suppose p - l + 2 = 0. Sort 1, 5, p.
1, p, 5
Let k = -32/5 + 6. Let l = 0.07 + 3.93. Put k, 1, l in decreasing order.
l, 1, k
Let x(t) = -4*t + 2. Let i be -8 + (8 - 4) + 3. Let q be x(i). Sort -1, 1, q in increasing order.
-1, 1, q
Let d = 15673 + -15673. Let o = 8 - 3. Suppose 32 = -0*x - 3*x + o*c, 2*c - 8 = 0. Put d, -1, x in increasing order.
x, -1, d
Let l be (-1)/7*(-3)/3. Let r = 30 - 32. Let z be (r/4)/(10 - 12). Put z, l, -4/3 in descending order.
z, l, -4/3
Let m(f) = f**3 - 7*f**2 + 10*f + 2. Let c be m(5). Suppose c*j - 4*o = -16, 2*j - 5*o + 1 + 19 = 0. Put j, -0.2, 2 in increasing order.
-0.2, j, 2
Let g = -9.7 + 18.7. Sort 5, -0.04, g in ascending order.
-0.04, 5, g
Let k = 13.9 - 13. Let m = 0.5 - k. Let p = 256.9 + -257. Put m, p, -1 in decreasing order.
p, m, -1
Let v = -30 - -34. Suppose -j + v*s - 2 + 0 = 0, -2*s = 0. Sort 1, -5, j in increasing order.
-5, j, 1
Let t be (12/72)/((-3)/(-27)). Sort -0.06, t, 2/9, 2 in decreasing order.
2, t, 2/9, -0.06
Let p = 3 + -1. Let h = -2.2 + 2. Let a = -2017.8 + 2018. Put a, p, h in decreasing order.
p, a, h
Let g be 3 + (-5 - -8) + (-448)/70. Let m = 3 + -2. Sort g, m, -1.
-1, g, m
Let y(d) = -d**3 - 25*d**2 + 4. Let q be y(-25). Suppose 0 = -4*b - c - 2*c - 18, 5*b - 2*c = -11. Sort b, 1, q in descending order.
q, 1, b
Let r = -3.5 + 4. Suppose -12*x = -17*x - 4*y - 20, -y = 0. Put x, 5, r in descending order.
5, r, x
Let u = 10 - 5. Let t = -7523/7 - -1075. Let i = 1 - 1.4. Sort t, u, i in decreasing order.
u, t, i
Let d(y) = -2*y**3 - y - 1. Let c be d(-2). Suppose 5*b - 2*g - c = 0, -b - 6*g + 3*g = 0. Put b, 2, 6 in ascending order.
2, b, 6
Suppose 0 = p + 3*p + 72. Let b = 10 + p. Sort b, 0, 5 in ascending order.
b, 0, 5
Let h be (3/4)/((-642)/4280). Let x = -266/255 - -20/17. Sort -3, h, -1, x in decreasing order.
x, -1, -3, h
Let h = -150 + 156. Suppose -6 = 2*k - n, 16 = -h*n + 2*n. Let a = 6 - 6.3. Sort a, -0.1, k.
k, a, -0.1
Let y(j) = -j**3 - 5*j**2 - 2*j + 13. Let n be y(-4). Let r(m) = -2*m - 2. Let d be r(0). Sort -14, n, -3, d in decreasing order.
n, d, -3, -14
Let q = -332 + 331.8. Put -1, 0.1, -3, q in decreasing order.
0.1, q, -1, -3
Let p(z) = -5*z - 4. Let s be p(-5). Suppose -s - 9 = -u. Suppose 0 = 5*r + 5*y + u, r = 3*r - 4*y. Put 0, 3, r in decreasing order.
3, 0, r
Suppose 0*k - 70 = -2*k. Suppose -5*t + k = -5*r, -2*t + 0*r = -r - 14. Suppose 0*a - a - 14 = 3*m, 3*a = -2*m - 7. Put 2, t, m in descending order.
t, 2, m
Suppose -5*w + 2*l = -19, l - 379 = -w - 371. Put 6, -16, w in descending order.
6, w, -16
Let u = -5 + 5.06. Let m = 0.36 - u. Let b = 512 - 517. Sort 0.4, m, b in decreasing order.
0.4, m, b
Let l(t) = -27 - 10*t - 106*t**2 + 55*t**2 + 50*t**2. Let a be l(-6). Put -2, -0.2, a, -0.3 in decreasing order.
-0.2, -0.3, -2, a
Let c = 40 + -65. Let p = c + 28. Sort -21, 0.5, p, 4 in descending order.
4, p, 0.5, -21
Let w(u) = u**2 - 4*u + 1. Let c be w(4). Let m = -10 - -9. Put -2, m, -5, c in descending order.
c, m, -2, -5
Let q(n) = n**3 - 4*n**2 + 30*n - 119. Let v be q(4). Sort -1, v, -24, 3 in decreasing order.
3, v, -1, -24
Let j = -15 + 10. Let l = 1 - j. Let d(i) = -i**3 - 3*i**2 - i - 1. Let b be d(-3). Sort l, 3, b.
b, 3, l
Let f(s) = s**2 + 4*s + 1. Let t be f(-4). Suppose -5*n + 3*q - 4 = 0, -63*n + 67*n = 4*q. Put n, 8, t in decreasing order.
8, t, n
Suppose 8*h = 12 + 12. Sort h, 0, -3, 1.
-3, 0, 1, h
Let s be (-3)/9 - (-74)/6. Sort 50, 5, -2, s.
-2, 5, s, 50
Let z(a) = 7*a - 3. Let h be z(1). Suppose t - 18 = h*l, 2*l - 7*l - 12 = 4*t. Sort 9, l, 4.
l, 4, 9
Let l(s) = s**2 - 130*s + 3. Let w be l(0). Sort 5, -101, w, -5.
-101, -5, w, 5
Suppose -3*s = 2*s - 50. Suppose 7*n = 9*n + s. Suppose 3*d + 0*d = 3*c + 18, -d + 9 = -2*c. Put n, c, 7 in descending order.
7, c, n
Let a = -1414 - -1408. Sort -1/4, a, -0.1, 0 in decreasing order.
0, -0.1, -1/4, a
Let p be (40/(-50))/((-2)/(-10)). Let x(l) = -l**2 - 5*l - 2. Let m be x(p). Put 5, -1, m in descending order.
5, m, -1
Let o be 6 - (4 + (-100)/(-45)). Let p = -0.4 - 4.6. Let f = p - -2. Sort o, f, -4 in increasing order.
-4, f, o
Let i(b) be the second derivative of -b**3/6 - 6*b**2 + 4*b. Suppose 4*o = 7*o + 27. Let q be i(o). Sort q, 3, 1.
q, 1, 3
Let l be (-18)/(-36) + 13/(-18). Sort l, -2/5, 1/2, 4/7.
-2/5, l, 1/2, 4/7
Suppose 5*s = -4*u + 8 - 1, 4*s - 8 = -4*u. Let q be (11/((-55)/6))/((-4)/10). Suppose -q = -3*n + 3. Sort n, u, 10.
n, u, 10
Suppose -5*z = -4*k - 28, z + 0*k = -5*k - 6. Sort -1, -2, z, 141 in decreasing order.
141, z, -1, -2
Let o = 3.3 + -6.2. Sort -2/5, o, -0.2 in descending order.
-0.2, -2/5, o
Suppose 0 = -22*l + 53 + 35. Sort 0, l, -16, -5.
-16, -5, 0, l
Let y = 0.16 - -8.84. Let h = -9 + y. Let d = -8 - -13. Sort d, 3, h.
h, 3, d
Let y be 2/(-2 + 4)*53. Suppose -p = 5*t + 3*p - y, 5*t - 51 = -3*p. Let l be ((114/4)/(-19))/((-1)/(-2)). Sort t, 5, l in ascending order.
l, 5, t
Let m be (-2)/10 - (-42)/(-15). Let d = 0 - m. Let s = 3.3 - 3.1. Sort s, 0.3, d.
s, 0.3, d
Suppose 9 = -35*c + 26*c. Suppose -20 = -4*u - 0*u. Put c, u, -3 in descending order.
u, c, -3
Let b = 26 + -26. Suppose 12 = s - b. Put s, 5, 1 in decreasing order.
s, 5, 1
Let v = 5.5 + -5. Let p = v - 1. Let q = 94/19 - 263/57. Put 0.1, p, q in descending order.
q, 0.1, p
Let m(x) = -x**3 + 4*x - 3. Let y be m(3). Let i = -16 - y. Suppose -12 = 5*k - 2. Put i, 1, k in decreasing order.
i, 1, k
Let m = -533/436 - 3/109. Put 3/7, -2, m, -22 in increasing order.
-22, -2, m, 3/7
Let f = 0.108 - -0.292. Sort -3, 0, -10, f in increasing order.
-10, -3, 0, f
Let j = -4.01 + 0.01. Let d be -2 - 2/(4/(-5)). Let v = 1459/4 + -365. Put j, d, v in increasing order.
j, v, d
Let p = 187 - 187. Let s = 8.2 + -12.1. Put p, -3, s in decreasing order.
p, -3, s
Let l = 1233/5 - 247. Put l, -0.3, 10/9, 1/2 in ascending order.
l, -0.3, 1/2, 10/9
Let l be (-1)/((-1)/5 + 0). Let o = -4 + 5. Suppose -3*r + 0 = -3*q + 6, 4*r = 4. Put q, l, o in descending order.
l, q, o
Let d = -2.096 + 0.033. Let s = d + 0.063. Let c(u) = u. Let y be c(-7). Sort 0, s, y.
y, s, 0
Let j(v) = 11*v - 6. Let p be j(1). Sort -5, p, -4, -8 in decreasing order.
p, -4, -5, -8
Let t be 130/(-14) - (-4)/14. Let n(v) = 14*v - v - 3*v - 8*v - 11 - 3*v. Let d be n(t). Sort d, 5, 3 in increasing order.
d, 3, 5
Let a(g) = -g**2 + 5*g + 3. Let o be a(3). Let j = o - -6. Suppose -3*h + 0*h - j = 0. Sort 2, -3, h.
h, -3, 2
Suppose o = -4*v + 4 + 2, -v = 4*o + 6. Sort 1, -4, v, -1 in ascending order.
-4, -1, 1, v
Let g(w) = w**2 - 12*w + 31. Let x be g(5). Sort -5, x, 39 in ascending order.
-5, x, 39
Let i be (7/98)/(5/360) - 5. Sort 0.5, -0.6, -0.1, i in decreasing order.
0.5, i, -0.1, -0.6
Let w(t) = 9*t - 455. Let o be w(50). Sort o, 118, -1, 0 in increasing order.
o, -1, 0, 118
Suppose 2*i + 98 = 5*u, -3*i = 6*u - 2*u - 60. Let t be 3/((-54)/4) - u/648. Sort -4, t, 3 in descending order.
3, t, -4
Let w(q) = q**3 + q**2 - q + 3. Let d be w(0). Let v(y) = y**3 + 7*y**2 - 3*y - 10. Let x be v(-7). Suppose -24 = -3*u + 4*f, -x = 4*f + 1. Sort u, d, 16.
d