. Sort b, 0.2, t.
b, 0.2, t
Let y(n) = -n**3 - n**2 + 6*n + 2. Let i be y(-3). Let t(g) = -g**3 - 2*g**2 + 5*g + 2. Let w be t(-3). Sort w, i, 5, -2 in descending order.
5, i, -2, w
Let o be -1 + 1 + 0 - 0. Suppose 2*d + 3*r + 38 = o, 5*d + 95 = 4*r + r. Let l = d + 20. Sort -4, -1, l in increasing order.
-4, -1, l
Let a = 714 + -709. Let v be (2 - (3 - 0))*2. Sort a, -25, v in decreasing order.
a, v, -25
Suppose t + 8 = u, 5*u + 5 = -0*u - 4*t. Let n be (-64)/(-12) + u/(-9). Put n, 2, -3, -4 in decreasing order.
n, 2, -3, -4
Let b be 2/4 + (-21)/(-6). Let l be (1/2)/((-4)/56). Let n = l - -9. Sort -1, b, n.
-1, n, b
Let l be (-21)/(-7)*((-1168)/168 - -7). Put 0.07, -0.17, l in decreasing order.
l, 0.07, -0.17
Let h = 9 - 8.2. Let v = 0.118 - -1.082. Let s = v - h. Sort s, -0.3, 3.
-0.3, s, 3
Suppose -4*v - 4*z = 1708, v = 4*z - 426 + 9. Put 4, v, -1 in increasing order.
v, -1, 4
Suppose -2*m = 6*m - 48. Suppose 11*k = 13*k + m. Put -2, 11, 0.1, k in descending order.
11, 0.1, -2, k
Let t = -2 + 0.8. Let i = 0.7 + t. Let u be (-8)/(-16) + (-6)/8. Put -2, u, i in decreasing order.
u, i, -2
Let f = 508 - 505. Sort 8, f, -2, 5 in increasing order.
-2, f, 5, 8
Let z = -1 - -0.6. Let h = 0.18 - -0.02. Sort h, z, -1, 2 in ascending order.
-1, z, h, 2
Suppose -61*y - 3 = 58. Put -369, y, -2 in increasing order.
-369, -2, y
Let x = 1.1 + -1. Let u = -640 - -635. Sort u, -4/7, x in descending order.
x, -4/7, u
Let k = -0.447 + -3.553. Put -0.05, k, 2 in descending order.
2, -0.05, k
Suppose 10*s = 78 + 222. Let c = -27 + s. Put -5, -4, c, -7 in descending order.
c, -4, -5, -7
Suppose -4*i + 13 = 4*f + 5, 0 = -i + 4*f - 8. Suppose i*y = 5*y + 10. Put y, 10, -1 in decreasing order.
10, -1, y
Let c = -180 + 185. Sort -3, -5, 2/3, c in decreasing order.
c, 2/3, -3, -5
Let i = -0.662 - -0.662. Let b = -1 - 4. Put 2/3, i, b in descending order.
2/3, i, b
Let y = 237 + -232. Put 0.2, y, -4, -3 in increasing order.
-4, -3, 0.2, y
Suppose l - 3 = -3*h, 5*l + 0*h = 2*h + 15. Suppose -l*z - 59 = -62. Put z, 4, 11 in ascending order.
z, 4, 11
Let g(n) = n + 11. Let t be g(-11). Let l be ((2 - -3)/(-5))/(2/(-10)). Sort 16, l, t in decreasing order.
16, l, t
Suppose -2*x + 5 = 1. Suppose 7*m - 90 = 2*m. Suppose 2*y + 0*y = 2*f, 2*y + 4*f + m = 0. Put 4, x, y in increasing order.
y, x, 4
Let j = -438 - -439. Put -1, 0.2, j, 0.1 in decreasing order.
j, 0.2, 0.1, -1
Let a = 44 - 42. Put 4, a, -8 in ascending order.
-8, a, 4
Let l(y) = 4*y + 2. Let a be l(2). Let p be (6/(-15))/((-15)/75). Sort 5, p, a in increasing order.
p, 5, a
Let b be (-679)/(-14) - 2/4. Let u be 32/b + 20/6. Sort 3, -2, u in decreasing order.
u, 3, -2
Let m = 139 - 137. Put -6, m, 6 in descending order.
6, m, -6
Let x(o) = o - 12. Let d be x(17). Put 15, 2, d, 0 in descending order.
15, d, 2, 0
Let j(c) = c**2 + 3*c - 4. Let x be j(-4). Suppose x = -t + 2*t + 3. Suppose -4*n + 24 = 8*n. Sort 4, t, n.
t, n, 4
Let z(x) = -x**2 - 10*x + 23. Let n be z(-12). Sort 11, n, -2, -4.
-4, -2, n, 11
Let g = 25 - 25.03. Let m = -0.03 - g. Sort -4, 1, m, -2.
-4, -2, m, 1
Let y = 47 + -518/11. Let a = 524 + -3670/7. Sort -2/9, 8, a, y.
a, -2/9, y, 8
Let m be (-7956)/(-1092) + (-1)/(-7)*-2. Put -6, -5, m in decreasing order.
m, -5, -6
Let t = 42 - 42. Sort 1, 4, t, 3 in increasing order.
t, 1, 3, 4
Suppose -6 = -3*a, -1 - 7 = -3*n - a. Suppose n*j + 1 = 7. Sort 2, j, 1.
1, 2, j
Let c be -3 + 2 + (-5)/(-3). Let y = 6 + -5.7. Let a = 1046/9 - 116. Put c, y, a in descending order.
c, y, a
Let x = -6 - -6.2. Let c = 848/3573 + -6/397. Put x, c, 4, 3 in descending order.
4, 3, c, x
Let o be 1*7/(-21) - 119/3. Put -0.2, o, -1/2 in descending order.
-0.2, -1/2, o
Let n = 1013/11 - 92. Let i = 2 - 1.9. Let d = -0.65 + 0.85. Sort n, i, d in increasing order.
n, i, d
Let s = -3.5 + -20.5. Let y = 22 + s. Put -5, 2/9, y in ascending order.
-5, y, 2/9
Let c = 64 + -71. Let s(y) = y - 1. Let w(g) = 3*g - 2. Let q(l) = -11*s(l) + 4*w(l). Let u be q(c). Sort 4, u, 5.
u, 4, 5
Let g(v) = -66*v + 723. Let s be g(11). Put -10.3, 5, s, 1 in increasing order.
-10.3, s, 1, 5
Suppose s + 26*k = 21*k + 10, 5*s - k = -2. Sort 8, -3, s, 3 in ascending order.
-3, s, 3, 8
Let m = -150 + 93. Let n = -66 - m. Sort -0.1, -2, n in descending order.
-0.1, -2, n
Let d = 15/7 + -1305/364. Let a = d + -3/52. Sort 3, 1/3, 2/5, a in increasing order.
a, 1/3, 2/5, 3
Suppose -2*s + 0*s - 1 = 3*d, 5*d = -5*s - 5. Sort s, 3, 8, 2 in increasing order.
s, 2, 3, 8
Suppose o - 3*t = 0, -4*t = -o - 3*o. Suppose 5*b = -5, b + 2 + 19 = -4*i. Put i, 16, o in ascending order.
i, o, 16
Suppose -4*t + 15 = -t. Let u = -0.08 + 0.147. Let o = u + -0.267. Sort t, o, 3/2.
o, 3/2, t
Let i be (-6)/10 + (-6447)/55. Let f = i + 118. Let p = -61/14 - -9/2. Put -2/11, p, f in increasing order.
-2/11, p, f
Let m = -0.6 - 0.4. Suppose 0 = -2*j - 4*t - 12, -2*j + 4*t - 12 = -t. Let h = j + 15. Sort h, m, 2/9 in decreasing order.
h, 2/9, m
Let x be (-6)/4 + 10/20. Let a(o) = -3*o**2 + o. Let v be a(x). Suppose 4*s + 13 = 1. Put -1, s, v in descending order.
-1, s, v
Suppose -4*p - m = 5, 12*m = -4*p + 16*m - 20. Let g be 3*(-2)/((-2)/(-1)). Sort g, 3, p in descending order.
3, p, g
Let d = 7 + -2. Let i = -6 - -5.3. Let s = -1/2 - -3/4. Put i, d, s in ascending order.
i, s, d
Suppose 20*v = 83*v + 126. Put -5, v, 49 in increasing order.
-5, v, 49
Let y = -30 - -31. Let d be (-2)/(-5)*-5*y/7. Sort 9, 4/7, -0.4, d.
-0.4, d, 4/7, 9
Let c = -50 - -62. Let v be ((-5)/((-70)/(-3)))/(9/c). Put v, 1, 0, -6 in increasing order.
-6, v, 0, 1
Let k(d) = 2*d**3 + d**2 - 5*d + 5. Let j be k(1). Put -27, 0.2, j in ascending order.
-27, 0.2, j
Let r be (0/1)/((-4)/2). Let m be (132/30 - 4)*(-15)/9. Put r, m, -5 in decreasing order.
r, m, -5
Let y = -0.972 + 0.272. Put -2, y, -1/3, -1 in descending order.
-1/3, y, -1, -2
Let v = -590 - -590. Let o = -6 - -7. Sort v, 3, -3, o in descending order.
3, o, v, -3
Suppose 7*w - 5*q + 5 = 2*w, 5*q = -15. Sort w, -21, 8 in descending order.
8, w, -21
Let t be ((-3)/6)/((-2)/20). Let x be ((6 - 4) + -1)*0. Suppose x = -2*a + 6*a. Sort t, -1, a in ascending order.
-1, a, t
Let t be 1 + (-6)/(-2) - -3. Let p(y) = y**3 - 6*y**2 - 7*y + 2. Let h be p(t). Sort -1, h, 4 in ascending order.
-1, h, 4
Suppose 0 = -6*r + 29*r + 322. Put r, 3, -1 in ascending order.
r, -1, 3
Suppose 0 = -2*m - 3*m - 20. Let z = -130.5 + 130. Put z, m, 19 in increasing order.
m, z, 19
Let r = -4 - -1. Let v = -19.72 + 20. Let p = 3.28 - v. Put r, p, -2 in decreasing order.
p, -2, r
Let a be (-1)/(-7) - (-164)/28. Let h(v) = 2*v**2 - 11*v - 1. Let o be h(a). Put 0, o, 4, 0.02 in descending order.
o, 4, 0.02, 0
Let a be -2 + 2 + (-3)/(-3). Let q be -1*(-3 + (-140)/(-49)). Sort q, -0.4, a in descending order.
a, q, -0.4
Let v be -1*(-4)/(-8)*-2. Suppose d - 12 = -2*r, -2*d - v = -5*r + 11. Sort -5, -4, r in descending order.
r, -4, -5
Suppose -2*q + 20 = -4*d, 7*d - 2*d = -3*q - 3. Let o be (2 - -4)/(-1 + 3). Suppose -4*w - 16 = 5*u, 0*w = o*w + 12. Sort u, q, -1 in descending order.
q, u, -1
Let g(x) = 8*x + 62. Let p be g(-8). Put p, -4, -113 in decreasing order.
p, -4, -113
Let s = -2777 + 2772. Sort 199, s, 0, 1.
s, 0, 1, 199
Let d = -2 + 16. Let t = d + -15. Sort 1, -1/3, t in increasing order.
t, -1/3, 1
Let b(u) = u**3 - u**2 - 2*u + 3. Let h be b(2). Let i(n) = 5*n - 2*n**h - n**2 + 3*n**3 - 3*n**2 - 2*n**2 + 7. Let q be i(5). Put 4, q, -1 in increasing order.
-1, 4, q
Suppose 2*k = m + 2, -k + 3*m + 1 = m. Let j be -1 - (3 + 0 - 4). Suppose 4*i + 57 - 37 = j. Sort 6, i, k.
i, k, 6
Suppose 0 = -2*x + 5*z - 24 - 6, -2*z - 16 = 2*x. Sort 3, x, 0 in decreasing order.
3, 0, x
Let a be 1/(-4) + (-29)/(-4). Let z be 100/55 + 4/22 + -2. Sort z, a, 4 in decreasing order.
a, 4, z
Let u = 8 + -12. Let w = -11 + 8. Sort -2, u, w.
u, w, -2
Suppose 0 = 13*t - 0 - 26. Sort -1, -9, t, 5.
-9, -1, t, 5
Let r = 2096 + -2101. Put 4, 19, -2, r in increasing order.
r, -2, 4, 19
Let f = 1/31 - -27/124. Let j = 0 - f. Sort j, -0.06, -3.
-3, j, -0.06
Let u = 2.7 + 0.3. Let c = 52 + -52.5. Sort -0.09, u, c in decreasing order.
u, -0.09, c
Let d = 1309759/612 + -39012/17. Let r = d + 1300/9. Let l = -193/20 - r. Put -6, 0, l in decreasing order.
l, 0, -6
Let v be (-2 + 1)/((-10 - -5)/65). Put v, -2,