 Suppose 1 = -n*b - 3. Sort z, b, -1.
z, b, -1
Suppose 4*t + 314 = -10. Let p be (-168 - -1)/(6/(-3)). Let u = p + t. Sort u, 2/17, -1/4 in ascending order.
-1/4, 2/17, u
Let r be (2/3*-12)/2. Sort -5, r, 3, -19 in ascending order.
-19, -5, r, 3
Let w be (-11 - -29) + -1 + 2. Suppose 5*o = -w + 4. Suppose 0 = -5*x + 25. Put x, -1, o in ascending order.
o, -1, x
Let w(q) be the third derivative of -q**6/120 - q**5/12 - q**4/8 + q**3 - 17*q**2. Let d be w(-4). Let o be 2/(-18) - 3/(-9). Sort d, -3, o in ascending order.
-3, o, d
Suppose -4*z = -4*b + 124, 3*b - 47 = z + 54. Let n = 179 + -116. Suppose 3*t + 20 = f + n, -f + b = 3*t. Put -3, t, 5 in decreasing order.
t, 5, -3
Let j = 8.19 - 0.19. Let i = j + -9.5. Let w = 1 + i. Put 1/5, w, 0.1 in increasing order.
w, 0.1, 1/5
Let x(k) = -38*k - 342. Let u be x(-9). Let r(m) = -m**2 - 2*m - 1. Let w be r(-2). Put w, u, 3 in decreasing order.
3, u, w
Suppose 13*z = 4*z + 648. Let m = z - 77. Sort -7, 0, m, 4 in ascending order.
-7, m, 0, 4
Let n = -0.2 + -2.8. Suppose u = -3*u + 252. Let r be 6/u*(-4 - 2). Put n, r, 4 in decreasing order.
4, r, n
Let z(i) = 0*i - 7*i + 19 + 2*i + 6*i. Let y be z(-23). Put -2, 20, y, 1 in descending order.
20, 1, -2, y
Let a(k) = 3*k + 7. Let n be a(-10). Let v be 90/24 + 1/4. Put 0, v, n in descending order.
v, 0, n
Let z be 55/34 - (-345)/(-230). Sort z, 2, -3 in decreasing order.
2, z, -3
Let r = -324 - -9398/29. Let h = 2 + 3. Put -2, h, r in decreasing order.
h, r, -2
Let b be (24/16)/(1/(-4)). Let w = 354 + -352. Put w, b, 0 in increasing order.
b, 0, w
Let h(g) = 13*g - 69. Let v(n) = 7*n - 35. Let c(j) = 4*h(j) - 7*v(j). Let p be c(10). Let z be (0 - (-1 + 1))*1. Put -1/5, z, p in increasing order.
p, -1/5, z
Suppose 0 = -46*p + 57*p + 33. Sort p, 3, 10, 4 in ascending order.
p, 3, 4, 10
Let a = -25819/11 - -2347. Sort 8, 2/29, a in decreasing order.
8, 2/29, a
Suppose 3*o - 2*w - 82 = 0, o - 97 = -2*o + 5*w. Suppose 4*f + 8 = 4*l + o, 0 = -3*f + 4*l + 13. Put 4, -29, f in increasing order.
-29, f, 4
Let m(f) = -24*f + 21. Let v be m(7). Let q = 142 + v. Sort q, -1, -3 in descending order.
-1, -3, q
Let u(f) = 4*f + 17. Suppose -7*k + k = 24. Let v be u(k). Put 4, 5, v, 0 in descending order.
5, 4, v, 0
Let t(r) = -10*r**2 - 6. Let l be t(-3). Let a be (-8)/(l/18)*-2. Sort -2, -5, -4, a in descending order.
-2, a, -4, -5
Suppose -23*a - 2*a = 100. Let i = 10 + -13. Sort 0, i, a in ascending order.
a, i, 0
Let w be 6/(-4)*(-2158)/(-39). Let n = -497/6 - w. Sort -0.2, n, 2/3 in descending order.
2/3, n, -0.2
Let h(w) = -5*w + 101. Let b be h(21). Put 158, b, 1 in increasing order.
b, 1, 158
Let r be (0 - -2)/((-18)/(-3)). Suppose 0 = 4*o + 39 - 55. Sort 0.3, o, r, 3/4 in decreasing order.
o, 3/4, r, 0.3
Let p be (0 + (9 - 4))*(-6)/(-10). Suppose -i + 4*b = 24, 2*i = i + p*b - 21. Sort -5, 2, i, 1 in descending order.
2, 1, -5, i
Suppose 3*u - 1 + 13 = 0. Let r(c) = -c - 6. Let j be r(-7). Let n(m) = 37*m - 217. Let t be n(6). Sort u, j, t in decreasing order.
t, j, u
Let y = 56 + -56.3. Let a be (-8*(-4)/(-24))/(-2). Put y, 0.1, -5/2, a in decreasing order.
a, 0.1, y, -5/2
Suppose -4*o - 11 = -5*z, z - 13 = 2*z + 3*o. Let x be (-2)/(-5) - (-22)/(-5). Sort x, 2, z in descending order.
2, z, x
Let r = -0.1 + 0. Let v = r + 1.1. Let w = 122 - 126. Put w, 3/7, v in ascending order.
w, 3/7, v
Let s = 56 + -40. Let r = 282 - 300. Let m = r + s. Sort m, -0.2, -3 in decreasing order.
-0.2, m, -3
Let h = 386.1 - 385.8. Let x be (-6)/(-21) + (-32)/14. Sort h, x, -16 in decreasing order.
h, x, -16
Let x be (-244)/174 - (-90)/1305. Let m = 1.3 + -1.1. Let a = 2.2 - m. Put x, a, -4 in decreasing order.
a, x, -4
Suppose 3*f - 2*o + 31 = 0, 9*f - 4*f = 2*o - 57. Sort 3, -2, -4, f in increasing order.
f, -4, -2, 3
Let t = 3 - -5. Suppose -9 = 5*b + g, -539*b + 538*b - 7 = -5*g. Put t, b, 1, -5 in ascending order.
-5, b, 1, t
Let p be 18/135 - 4/30. Suppose -3*m = -p*m - 3. Let z = 0 - 1. Sort z, -3, m in descending order.
m, z, -3
Let v = 729.5 - 730. Sort 19, -28, v in decreasing order.
19, v, -28
Suppose -2*k + 4*h + 8 = 0, -5*k + 5*h + 6 = 2*h. Let n be (-3)/(-7) + 2552/154. Put n, -2, k in increasing order.
-2, k, n
Let c = -1262.4 + 1262. Sort c, -0.04, 2, -16 in ascending order.
-16, c, -0.04, 2
Let q = 949 + -949. Put 7, -13, q, 1 in decreasing order.
7, 1, q, -13
Let i be (-5)/(-30)*-2 + (-14)/3. Let x = -4 - -8. Let c = 5 - 2. Put c, i, x in decreasing order.
x, c, i
Let f be (-15)/6*(-2)/10. Let z = 41 - 13. Let n = z - 30. Sort -4, n, f in decreasing order.
f, n, -4
Suppose 5*v - 16 = v. Let a(m) = -3 + 0 - 2 - m**3 + 8*m + 6*m**2 + 0*m**2. Let p be a(7). Sort -3, v, p.
-3, p, v
Let f = 0.0094 - 4.0094. Sort f, 0.076, -1.
f, -1, 0.076
Let s(p) = 4*p - 10. Let d = 28 + -25. Let x be s(d). Let g be 1 + (8/x - 2). Sort 18, g, -2.
-2, g, 18
Let g = 0.0501 - -0.3499. Sort 4, g, 0.2, -1/11 in increasing order.
-1/11, 0.2, g, 4
Suppose 2*g + 11 = 3*k, 0 = -2*g - 3*g + 5*k - 25. Suppose -5*d - 5*w = -4*w, -2*d + 4*w = 0. Sort -2, d, g, 5 in increasing order.
g, -2, d, 5
Let d = -35 - -39. Let w(y) = y. Let k be w(4). Suppose -2*o - 4*m - 6 = 2, 52 = -4*o + k*m. Sort 5, d, o in increasing order.
o, d, 5
Let j = 1637.97 + -1638. Suppose 0*r - 5*o = 4*r - 31, 3*r = -5*o + 22. Put j, r, 5/2 in ascending order.
j, 5/2, r
Let v = 264 + -263.6. Sort -3, -2/25, 5, v in decreasing order.
5, v, -2/25, -3
Let m = -2220 - -2479. Put -1, m, 1, 0 in increasing order.
-1, 0, 1, m
Suppose -5*p = -2*l - 2, 0*l - 4 = -l. Suppose -9*c = -4*c - 15. Sort c, -1, p in increasing order.
-1, p, c
Let l(u) = -13*u - 2. Let f be l(0). Let g(v) = -v**3 + 6*v**2 - v + 2. Let o be g(6). Let a be 1/o + (-46)/(-120). Sort f, a, 2/9 in increasing order.
f, a, 2/9
Suppose 5*y + 206 = -4*n + 3*n, -2*y = 5*n + 64. Let x = 41 + y. Sort -5, x, 4/7 in ascending order.
-5, x, 4/7
Suppose -2*t + 9 = 3*x, -21*t = -18*t - 2*x - 7. Sort -1, 8, t, 5 in decreasing order.
8, 5, t, -1
Let q = 32 - 40. Let b = q - -7.7. Sort 1/4, -1/5, b in ascending order.
b, -1/5, 1/4
Let h(c) = 3*c**2 + 4*c + 3. Let b be h(-3). Let x = -1 + 23. Suppose -x*t = -b*t + 20. Put -4, t, 1 in descending order.
1, -4, t
Let d = -372 - -392. Put 4, d, -1/5 in ascending order.
-1/5, 4, d
Let z = -482 - -485. Let o = 0 - 0. Sort -4, o, z in decreasing order.
z, o, -4
Let k = 47 - 65.5. Let q = k - -19. Put 13, q, -3/2 in descending order.
13, q, -3/2
Let n = -1 + -3. Let g = n - 15. Let z = -24 - g. Sort -0.2, z, 0.4 in decreasing order.
0.4, -0.2, z
Let w = 1.4 + -1. Sort w, -5, -1/5, 2 in ascending order.
-5, -1/5, w, 2
Let f(n) = -45 - n**2 + 11*n - 2*n**2 + 4*n**2. Let a be f(-14). Sort 3, -5, 1, a in descending order.
3, 1, a, -5
Suppose -3*o + 0*v - 7 = -4*v, 2*o + 3*v = 18. Suppose 9 + o = 4*m. Suppose -f = m*f. Sort 4, f, 5 in ascending order.
f, 4, 5
Let l be (-156)/(-28) + (-8)/14. Suppose -l*j = -j + 28. Let d = j + 7. Put -5, d, -4 in ascending order.
-5, -4, d
Let t = -2 - -2. Let b = -1 - t. Let z be ((-10)/6)/(4 + 52/(-12)). Put z, b, -0.5 in descending order.
z, -0.5, b
Let f = -6 - -2. Let b = f + 9. Let k = 0.225 + 3.775. Sort -1/3, k, b in descending order.
b, k, -1/3
Let j = 260 - 259. Suppose 0 = -2*v + v. Put v, -5, j in decreasing order.
j, v, -5
Suppose 16*r - 14*r - 2 = 0. Sort 0, -17, -4, r.
-17, -4, 0, r
Let l = -112 + 115. Sort -2/9, 12, 4, l in increasing order.
-2/9, l, 4, 12
Suppose -3*g - 2*g - 15 = 0. Let b be ((-1)/(-23))/1*2. Let v = 33 + -37. Sort v, g, b in increasing order.
v, g, b
Let t = -229 + 227. Let i = -3 + 0. Suppose 5*f + 13 = -12. Put f, i, t in decreasing order.
t, i, f
Let m be 5/(3/15 + 24/(-20)). Put -1, -0.07, 4, m in ascending order.
m, -1, -0.07, 4
Let c = 19.6 - 18. Let w = -2.4 - c. Let v = -7 + 76/11. Put w, v, -3/7 in decreasing order.
v, -3/7, w
Suppose 0 = -10*h - 4*h + 56. Sort 3, h, 1.9, 2 in ascending order.
1.9, 2, 3, h
Let a = 2020 - 2023. Sort -92, 2, a, 4.
-92, a, 2, 4
Let z = -11.1794 - -0.0594. Let o = 11 + z. Let g = 0.02 + o. Sort -2, -9, g in decreasing order.
g, -2, -9
Suppose 2*x = 2 - 4. Let j = -441 + 439. Suppose 2*q - q - 19 = 4*m, -2*q + 18 = -4*m. Sort m, j, x in increasing order.
m, j, x
Let i be 10/(-6)*((-209)/(-55) + -2). Let v(l) = -3*l - 1. Let q be v(1)