 o = 157 + -161. Sort o, 3, 6 in increasing order.
o, 3, 6
Let j = -0.466 - -0.423. Sort j, -2/7, -2 in ascending order.
-2, -2/7, j
Suppose 0 = -4*f + 10 - 66. Let a be ((-8)/(-10))/(f/105). Let u(i) = -i**2 - 5*i + 3. Let t be u(a). Sort t, -1, -2.
t, -2, -1
Suppose -15 + 67 = 4*a. Suppose -z - 2*x + 6 = 3*x, 0 = 4*x + 4. Let r = z - a. Sort 5, 2, r.
r, 2, 5
Let p be 4/10 - (-138)/30. Let r be p/2*(-114)/95. Put -5, 1, r in increasing order.
-5, r, 1
Suppose 12 - 3 = 3*a. Suppose -a*p + 35 = -6*p - h, 2*p + 3*h = -21. Let r be ((-2)/(-9))/((-8)/p). Put 1/4, r, -1/4 in decreasing order.
r, 1/4, -1/4
Let g(z) = -z + 21. Let t be g(16). Let m be -3*(-4)/(-80)*t. Let l = -0.5 + 0.7. Put l, -0.2, m in descending order.
l, -0.2, m
Let g be 3 - 1/((-8)/(-40)). Put g, 0, -18, 1 in descending order.
1, 0, g, -18
Let h be (2*6/(-8))/((-4251)/436). Sort 7, h, 2/11 in decreasing order.
7, 2/11, h
Let y = -0.054 + 12.054. Let d = y - 8. Put 2/3, -0.4, d in descending order.
d, 2/3, -0.4
Suppose -2*f = 8, -4*f - 16 = 6*n - 3*n. Let j be 1 + (12 - 4) - 11. Put j, -1, n, -0.016 in descending order.
n, -0.016, -1, j
Suppose z - 23 = -18. Suppose z = -u + 7. Suppose 3*w + w = 0. Put w, 7, u in descending order.
7, u, w
Suppose -2*w - 6 = -5*t - 2, -3*w - 6 = -4*t. Let d = -522.9 + 523. Sort -1/5, d, t, 2 in descending order.
2, d, t, -1/5
Let t = 0 - 2. Let j be (-2 + (-20)/(-2))/t. Put -3, 5, j in descending order.
5, -3, j
Let k = 10 + 1. Let y = k + -9. Suppose 2*n + 29 = -5*v, -18 = 2*v + y*v - n. Sort v, 1, 2 in increasing order.
v, 1, 2
Let l = 155.4 - 155. Put 3/2, 57, l, -5 in decreasing order.
57, 3/2, l, -5
Let s = -970 - -971. Sort s, -0.3, -3, 3 in descending order.
3, s, -0.3, -3
Let r be (-903)/10*12/(-9). Let v = r - 121. Sort v, -2, -2/9, -1/4 in decreasing order.
-2/9, -1/4, v, -2
Let g = 4.9255 + 0.0745. Put g, -2/7, -1.9, -0.2 in increasing order.
-1.9, -2/7, -0.2, g
Let i = 19 + -19.3. Let z = -2/223 - 211/1338. Put i, 1/4, z, -1/4 in decreasing order.
1/4, z, -1/4, i
Suppose 5 = -5*y + 4*y - 3*z, 0 = -4*y - 4*z + 4. Suppose 3*q - 12 = 2*d, 0*q + y*d = -q + 4. Let p = 45320 - 45315. Sort 2, p, q.
2, q, p
Suppose 41*o + 2 - 84 = 0. Sort o, 121, -1/9 in descending order.
121, o, -1/9
Let u be 72/42*(-14)/(-2). Suppose -3 - u = -5*d. Let b(q) = q**3 - 4*q**2 + 2*q - 1. Let x be b(d). Sort 5, x, -11.
-11, x, 5
Let p = -19 - -17.07. Let v = -0.23 - p. Let a = v + -3.7. Sort a, -0.5, -0.2 in increasing order.
a, -0.5, -0.2
Let k = -102.1 + 102. Sort 0.2, 2/21, -5, k.
-5, k, 2/21, 0.2
Let m = -19.769 - -20.169. Let q = -0.2 + 0.2. Let a = q - -6. Sort a, m, 1/4 in increasing order.
1/4, m, a
Suppose -6*r = -42 + 84. Sort r, 0, -6.
r, -6, 0
Let m = -27 + 28. Suppose r + 2*i = 7, -4*i = -3*r - 2*i + 13. Sort r, m, 6, 3 in ascending order.
m, 3, r, 6
Let y(h) = -2*h**3 - 23*h**2 + 11*h - 8. Let m be y(-12). Sort m, -4, 133 in decreasing order.
133, m, -4
Let z be (-3 + 2 - -7) + -1. Let k be 0/(-2) + 5/(-10). Put z, k, 2 in descending order.
z, 2, k
Let n be 9*-1 + 13/(26/(-6)). Put 4, 0, n, -1 in decreasing order.
4, 0, -1, n
Let v(w) = 5*w**3 - 2*w - 1. Let o be v(-1). Suppose 0*j + 2*j = -32. Let r = -16 - j. Sort o, r, 4 in increasing order.
o, r, 4
Let u(q) = 2*q + 6. Let c be u(-4). Let z be (-12)/30 + 27/5. Suppose l - 4 = 0, 4*t - 16 - 16 = -z*l. Sort t, 5, c in descending order.
5, t, c
Let a = -17.997 - -18. Let o = a + 0.027. Sort 1/4, -3/5, o, -0.2 in increasing order.
-3/5, -0.2, o, 1/4
Suppose 5*b + 16*b = 42. Sort 16, b, 5.
b, 5, 16
Let s(i) = -i**2 + 2*i + 10. Let c be s(4). Let w(y) = -y**2 - 6*y - 3. Let z be w(-6). Let h be 0 - 3/((-9)/z). Sort h, c, 1 in descending order.
c, 1, h
Suppose 0 = -3*v + 7 + 2. Let t be (35/14)/(1/(-2)). Put 4, t, v in descending order.
4, v, t
Let l be (2 + -3)*(1 + -1). Suppose 4*z + 4*u + 8 = l, -3*u = -4*z - 0*z - 15. Let y(f) = -f**3 - 26*f**2 - f - 25. Let x be y(-26). Sort 2, z, x.
z, x, 2
Suppose 4*q + 15 = 43. Suppose 2*g = q*g - 5*p - 45, 0 = 4*g + 3*p - 8. Suppose -g = w, 0 = -x - 3*x - w + 23. Sort -1, x, 2 in descending order.
x, 2, -1
Let c(u) = u**2 + 6*u + 1. Let o be c(-7). Let j = -88 - -52. Let i be (3 - 0)/(j/o). Put 2/13, 0.1, i in descending order.
2/13, 0.1, i
Let w(l) = 2*l**2. Let d be w(1). Suppose 3*v + 5 = -d*v. Suppose 92*u = -y + 96*u - 12, -y - 3 = -u. Put y, v, 2 in decreasing order.
2, y, v
Let f be 6/(-4)*(-53 + -9). Let s = f + -89. Put 5, -5, s, -3 in descending order.
5, s, -3, -5
Let r = -8.71 + 0.91. Let u = 3.8 + r. Let f = -0.06 - 0.34. Sort 6, f, u in ascending order.
u, f, 6
Let x = 1130 + -1129.8. Sort x, 0.5, -16 in decreasing order.
0.5, x, -16
Suppose 3*d + 27 = 3*j, 4*j + 3*d - 36 = 4*d. Suppose 4*p - 14 = -3*p. Put -4, j, p in descending order.
j, p, -4
Let u(v) be the first derivative of -3*v**2/2 - 27*v - 6. Let c be u(-15). Sort -4, c, -5.
-5, -4, c
Let y(k) = -4*k + 5 + 7*k + k + 5. Let z be y(-6). Sort z, 3, -0.1 in descending order.
3, -0.1, z
Let f = -5 - -3. Let p be (-1)/(-2) - 16/(32/(-9)). Sort p, 3, f in increasing order.
f, 3, p
Let y = 22 - 27. Let u be (0 + y/5)*-9. Let g be u/(-3) + -2 - -2. Sort -1, g, 4.
g, -1, 4
Let q be (-12)/(-66) + 390/33. Suppose -x = 5*x + q. Let a be (1 + -1)/(-2) + -4. Put x, a, 2 in increasing order.
a, x, 2
Let l be 8/126 - (-4)/(-14). Let h = -213 - -141. Let m = h + 82. Put l, m, 1/2 in decreasing order.
m, 1/2, l
Let o(y) = -y**2 + 7*y + 12. Let l be o(14). Let c be (-6)/(-27) + l/(-18). Let w be ((-20)/25)/((-1)/(-5)). Sort c, -1, w.
w, -1, c
Let y(a) = -a**3 - 5 + 6*a**2 - 14 + 8*a**2 - 2*a + 19*a. Let t be y(15). Let p = t - 16. Put -1, -3, p in descending order.
-1, -3, p
Let d(g) = g**3 - 4*g**2 + 4*g - 2. Suppose 2*v + v - 9 = 0. Let k be d(v). Let w = 6 - 6. Put -4, w, k in descending order.
k, w, -4
Let m = -39.84 + 39. Let z = m + 0.34. Sort 0.3, -2, z in descending order.
0.3, z, -2
Suppose 5*c + 5 = -5. Let h be 10/25 + c/5. Suppose -3*s + p + 7 = 0, -p + 6*p - 13 = -s. Sort h, -3, s in descending order.
s, h, -3
Let r be ((-2)/(-5))/((-1)/20). Let i = -9 - r. Put 4, 5, i in descending order.
5, 4, i
Let t = -1.06 + 1. Let m = -0.36 - t. Let w = -40741 - -40740.5. Put m, -0.6, w in increasing order.
-0.6, w, m
Let d be (435/(-45))/(1/3). Let z = d - -30. Sort z, -5, 2 in descending order.
2, z, -5
Let f = -703 + 703.14. Sort -2, -1, -4, f.
-4, -2, -1, f
Let x(l) = 7*l**2 - 4*l + l**3 + 4*l - 7 + 8*l. Let y be x(-5). Put 3/5, y, -1 in descending order.
y, 3/5, -1
Let j = 14531/42 + -2075/6. Let w = 0.03 + -0.33. Put 3, 2, j, w in descending order.
3, 2, j, w
Let f = -732/7 + 104. Let w = f + 58/77. Let o be 13/(-3) - -2 - -2. Put w, o, 0 in decreasing order.
w, 0, o
Let c = -293 - -353. Sort 0, c, -3, 4 in ascending order.
-3, 0, 4, c
Let w = 1302/25 - 52. Sort -2/11, -1/13, w in ascending order.
-2/11, -1/13, w
Let a be (-29 - -27) + 15/8. Sort 4, a, -137 in ascending order.
-137, a, 4
Let u = 43 - 43.037. Let s = -22.463 + u. Let z = 22 + s. Sort z, 3, -0.3 in decreasing order.
3, -0.3, z
Let r(t) = -t**3 - 8*t**2 + 10*t + 18. Let n be r(-9). Let g = n - 6. Put -3, g, 14 in descending order.
14, g, -3
Let w = -0.188 - 0.012. Let x = 0.01 - 11.01. Let q = -10.6 - x. Put w, q, -3 in decreasing order.
q, w, -3
Let a(v) = v**3 - 3*v + 1. Let b be a(2). Suppose -2*j - 1 - b = 0. Sort j, 3, -1 in descending order.
3, -1, j
Let a(x) be the first derivative of -x**2/2 + 16*x - 4. Let v be a(11). Let b be 9/(-4)*v/(-15). Sort 0.5, b, -2 in ascending order.
-2, 0.5, b
Let s(j) = j**2 + 10*j - 39. Let r be s(-13). Suppose r = 4*o + 2*m, 0*o + 3*o + 2*m + 2 = 0. Put 1, -11, o in ascending order.
-11, 1, o
Let u(d) = 13*d + 117. Let n(g) = 3*g + 29. Let b(r) = -18*n(r) + 4*u(r). Let a be b(-27). Let c be (-4)/(-18) + 68/18. Put -3, c, a in decreasing order.
c, a, -3
Let q(g) = 13 + 3 + g - 8. Let d be q(-6). Put 5, d, -3, 1 in increasing order.
-3, 1, d, 5
Let s = 437 + -434. Put s, 14, -5, -3 in decreasing order.
14, s, -3, -5
Let o = -1.01 + 0.5. Let u = o + 0.31. Sort u, 0.06, -2.
-2, u, 0.06
Let l be (2/(-8) + 24/(-32))*1. Sort l, 4, 9, 0.
l, 0, 4, 9
Let x = 11 + -7. Suppose 5*h = -6*d + 3*d + 15, -3*h + 20 = x*d. Let j(c) = -c**2 + 4. Let n be j(2). Put n, d, -5 in increasing order.
-5, n, d
Let o(