Let g be b(n). Let u be (-6)/10 + g/(120/42). Sort -4, 11, u in decreasing order.
11, u, -4
Suppose -1 = 5*d + 4. Let y = 44 + -43.06. Let i = 1.24 - y. Put 1, i, d in increasing order.
d, i, 1
Suppose -b + 14 = -f, -2*b - 2*f - 2*f + 46 = 0. Suppose -a - 4*u = -b, 4*a - 20 = 3*a - 5*u. Suppose 2 = -3*p + a*p. Sort 2, p, -5, -3 in descending order.
2, p, -3, -5
Suppose 0 = -7*a + 3*a - 16. Suppose -8*h + 3*h + 55 = 0. Let z = -8346.3 - -8346. Sort z, -1/4, a, h in descending order.
h, -1/4, z, a
Let d be (-4)/18 - (-76)/18. Let n = -15 + 17. Let p = -906 + 907. Put n, p, 0, d in descending order.
d, n, p, 0
Let c = -3283 + 3349. Put c, -2, 2/11, -1/3, 0 in descending order.
c, 2/11, 0, -1/3, -2
Let b = -4538 - -4604. Put 25, 3, b in increasing order.
3, 25, b
Let y = -3/40108 + -20051/40108. Let a = -2 + 9. Put -9, a, -2/3, y in ascending order.
-9, -2/3, y, a
Let x(t) = t**3 + 9*t**2 + 14*t - 1. Suppose 11*d + 0 = -77. Let y be x(d). Put 3, 1, -32, y in ascending order.
-32, y, 1, 3
Let y = -69.97 - -70. Suppose -5*f + 19 = t, 2*t - 4*t - 3*f = -10. Let o be (-4)/60*(-2 - 6 - 1). Put y, t, o in ascending order.
t, y, o
Suppose -15*y + 22*y + 0*y - 119 = 0. Sort -3, 2, 9, 3, y.
-3, 2, 3, 9, y
Let z = 126.3 - 42. Let s = z - 84. Put -4/11, -2, s in ascending order.
-2, -4/11, s
Let d be (-15)/(-35) - (-3)/(-7). Suppose 3*k + 3*j - 26 - 7 = d, -3*j = 5*k - 55. Suppose -k*w = -13*w + 6. Sort w, -1, 5 in ascending order.
-1, w, 5
Let f = 173 + -159. Suppose 0 = f*j - 0 - 14. Sort 2, -2, j, 3 in increasing order.
-2, j, 2, 3
Let j = -80.82 + 80. Let i = 0.18 - j. Let q = 85.9 + -86. Sort q, i, -2.
-2, q, i
Suppose -3*c = 4*w - 6, 14*c - 18*c = -w + 11. Sort 6, c, 5, 39 in ascending order.
c, 5, 6, 39
Suppose 5*t - 25 = 2*b, -3*b = 39*t - 38*t + 12. Put 6, 15, 2, t, -5 in ascending order.
-5, 2, t, 6, 15
Let w = 159.45098 + 0.33902. Let f = -160 + w. Sort -0.1, -4, f in increasing order.
-4, f, -0.1
Suppose 27 = 5*x - 13. Suppose -p + 9 = x. Suppose 0*b - 5*b + 3*i = 17, 0 = -i - p. Put b, -3, -0.5, 2/41 in descending order.
2/41, -0.5, -3, b
Suppose 17*j + 21*j - 43*j = 0. Let f(w) = w**3 - 20*w**2 + w - 27. Let q be f(20). Let g(n) = -n**3 + 4*n**2 - n + 2. Let i be g(4). Sort i, -3, j, q.
q, -3, i, j
Let i = -14.854 - -15.054. Sort -5, i, -8, 2/19, 1 in descending order.
1, i, 2/19, -5, -8
Let i be ((-28)/(-3))/((6/9)/(-2)). Let b be i/42*(-3)/14. Sort -4, 2, b, 6/7 in increasing order.
-4, b, 6/7, 2
Let r = 2.944 - 120.944. Put -2/5, -4/3, 58, r in descending order.
58, -2/5, -4/3, r
Suppose 38*s - 41*s = -3, 2*z = -4*s - 6. Sort z, -267, 2 in descending order.
2, z, -267
Let q = 19 + -16. Let j be q/(-1 - (-2 + 2)). Let u be (2*1)/((-21)/21). Put u, j, 0, 2 in increasing order.
j, u, 0, 2
Suppose 200*o + 536 = 389 - 653. Sort 1, o, -5, 3 in descending order.
3, 1, o, -5
Let k = -3410 + 3409. Put -12, 23, k, -2, 1 in descending order.
23, 1, k, -2, -12
Suppose -5*w - 9 - 15 = 4*u, -4*w = u + 17. Sort w, 3, 2, 10, 13 in increasing order.
w, 2, 3, 10, 13
Let b(m) = m**3 + 5*m**2 + 4*m + 4. Let o be b(-4). Let w be (-14)/(-18) + -1 + -17*(-725)/3825. Put w, -5, 2, o in descending order.
o, w, 2, -5
Let s = -0.7065 + 1.0565. Sort -5/6, -3, s.
-3, -5/6, s
Suppose 0 = -2*d - 10, -214*w = -219*w + 3*d + 5. Sort w, 392, -4 in decreasing order.
392, w, -4
Let w = -9341.34 + 9341. Sort 0.81, w, 2.
w, 0.81, 2
Suppose -81 = 5*d + 4*y + 81, 5*d + 3*y = -159. Let z be (d/(-45))/((8/12)/(-1)). Put z, 0, 85 in increasing order.
z, 0, 85
Let f = 0.02 + 0. Let o = -85349 - -85352. Put f, o, 2 in decreasing order.
o, 2, f
Let g = 163/2 + -82. Suppose z + 5*n = 0, 2*z = -3*n - 4 + 25. Let k = -16 + z. Sort 0, g, 0.4, k in decreasing order.
0.4, 0, g, k
Let q = -2/35415 - -2624/11805. Sort 5, q, -0.06, 23 in increasing order.
-0.06, q, 5, 23
Let j(p) = -p - 7. Let t be j(-12). Suppose -36*y + t = 149. Sort y, 0, -5, -32 in increasing order.
-32, -5, y, 0
Let k = -153.38 + 6.38. Let y = k + 172. Put -3/2, y, -2 in ascending order.
-2, -3/2, y
Let n be ((-10)/(-18))/(1/3). Let z = -0.065 - 67.935. Let r = z - -65. Put r, n, 4, 5 in descending order.
5, 4, n, r
Let z = 18028 - 17993. Sort -2/5, -3, z, 3 in descending order.
z, 3, -2/5, -3
Suppose 0 = 4*z - 2*n - 14, -3*n = -2*z - 61 + 66. Put 80, z, -2 in descending order.
80, z, -2
Let v = 382 - 517. Let x = 162 + v. Sort x, -4, -2, -3/4 in ascending order.
-4, -2, -3/4, x
Suppose -13072 = -75*i - 3875 + 9253. Sort i, -3, 1 in decreasing order.
i, 1, -3
Let y(t) = 2*t - 1. Let x be y(3). Let s be ((-2 - -4) + 1)*((-1978)/69 - -27). Put s, x, 281 in descending order.
281, x, s
Let g = -48 + 35. Let y be (-2 - 0) + 1 + g. Let q = -13 - y. Sort -3, q, 4 in decreasing order.
4, q, -3
Let p = -39861 + 39857. Put p, 2, 2/5, 2/27, -21 in descending order.
2, 2/5, 2/27, p, -21
Let q(d) = -2*d - 41. Let u be q(-20). Let n be (5 - 23)*(4/u - 0). Suppose -5*p - 97 + n = 0. Put -23, p, 1 in decreasing order.
1, p, -23
Let z(x) = 68*x + 212. Let o be z(-3). Sort -5, -45, o in increasing order.
-45, -5, o
Let c = 15 + -14.1. Let l = c + -0.97. Let u be 17/(-340)*-20 - (-1)/(-3). Sort l, 4, u, 3.
l, u, 3, 4
Let c(n) = -3*n**3 - 2*n + 1. Let y be c(1). Let r be (50/125)/(0 + y/(-10)). Put 3, r, 18, 4 in decreasing order.
18, 4, 3, r
Let u = -5524 + 5527. Sort 119, u, 6, -4, 4 in decreasing order.
119, 6, 4, u, -4
Let z(n) = n**2 - 3*n + 6. Let h be z(0). Let t(v) = 14*v - 22*v + h*v - 24. Let b be t(-17). Put b, -1, -3 in increasing order.
-3, -1, b
Let p = 0.005 - 0.015. Let l = 1.79 - 6.8. Let t = l - p. Put t, -1/2, -2 in decreasing order.
-1/2, -2, t
Let f = -1 + 0.5. Let c be (-28)/21*6/(-4). Let w be c*(-4)/108*3. Sort w, -2, f in descending order.
w, f, -2
Let d = 17048 - 17051. Sort -4, 2, -1.2, d, -1 in descending order.
2, -1, -1.2, d, -4
Let q be (2 - 3) + (1 - 4). Suppose 0 = -9*f + 49 - 13. Suppose 3*k = 3*n + f*k + 6, 10 = 2*n - 4*k. Put 2, n, q in descending order.
2, n, q
Let g = -16958 + 16960. Sort -1, -7635, g.
-7635, -1, g
Let j(m) = -2*m**2 - 22*m + 1106. Let g be j(-30). Put g, -5, 50, 1 in decreasing order.
50, 1, -5, g
Suppose p + 4 - 5 = 0. Suppose 3*x + 207 = -4*o + 746, 4*x + 4*o = 724. Let l = x - 180. Sort p, -6, l, -4 in increasing order.
-6, -4, p, l
Let k be (-16)/(-28)*91/286. Let f = 2/99 - -293/198. Let m be (-4)/8 + 10/12. Put k, f, m, -0.4 in ascending order.
-0.4, k, m, f
Let v = -33 - -29. Sort -16, v, -0.1, 0.03 in increasing order.
-16, v, -0.1, 0.03
Let x = 431 + -428. Suppose -15 = -b - 5*t, t - x = -b - 0*t. Sort -3/2, 9, b in decreasing order.
9, b, -3/2
Let b = 94 + -147. Let p = b + 54.8. Suppose 0 = 3*s + 6 - 3. Sort s, p, -5 in increasing order.
-5, s, p
Let a = -1165 + 2331/2. Put a, 4, 0.2, -9 in decreasing order.
4, a, 0.2, -9
Suppose 0 = -755*l + 784*l - 0. Let q = -0.3 + 0.1. Put -1, -0.1, q, l in increasing order.
-1, q, -0.1, l
Let v be 7/(-7)*(2 + 0). Suppose -47 = 3*w - 65. Suppose 0 = -12*h + w*h + 138. Put -5, h, v, -1 in decreasing order.
h, -1, v, -5
Let w = -272 - -276. Sort 5, -26, -7, -2, w in increasing order.
-26, -7, -2, w, 5
Suppose 5*v - 3*r = 5, -v = -2*r - 8 - 0. Let a(i) = -i**3 + 125*i**2 - 1929*i + 324. Let l be a(107). Put l, v, -41 in decreasing order.
l, v, -41
Let x = -2434 - -7301/3. Let v = 1.036 + -0.036. Sort v, x, 0.4, 9 in ascending order.
x, 0.4, v, 9
Suppose -49*k + 4900 + 8526 = 0. Sort 3, -5, -1, 5, k in increasing order.
-5, -1, 3, 5, k
Suppose -117*c - 35 = -19*c + 4669. Suppose 4*a + 10 - 30 = -5*h, -4*h = 0. Sort a, -2, c.
c, -2, a
Let c be (-660)/90*(-36)/44. Sort 5, -1, c, -13 in decreasing order.
c, 5, -1, -13
Suppose 2*x = 2*o + 578 + 630, 0 = 3*x - o - 1820. Suppose -x = 13*p - 45*p. Sort -1, 0, p in decreasing order.
p, 0, -1
Suppose 2*a + 4*i + 20 = 0, 2*a - 3*i - 2 = 6. Suppose 2*h = 5*k + 36, 20 = -103*k + 104*k + 3*h. Sort k, -1, 0, a in decreasing order.
0, -1, a, k
Suppose 0 = -4*f - f + 10. Let p be 5/((7 - 115/15)/((-4)/(-6))). Sort p, f, 5, -4 in decreasing order.
5, f, -4, p
Let r be (-2)/(-12)*3*0. Let m = 42 + -26. Suppose 0 = -4*l - m - 4. Put 1, r, l in increasing order.
l, r, 1
Suppose 4 = t - 0*k - 3*k, -3*k + 8 = 2*t. Let s = 4103 - 4104. Put -14, s, 0, t in descending order.
t, 0, s, -14
Let k = 19 + -25. Let l = 