Put 22, c, -2 in descending order.
22, c, -2
Suppose -1 + 6 = -5*q. Let z = -78440 - -78440. Put 4, z, q in decreasing order.
4, z, q
Let i = 173 - 169. Suppose -4*l + 5*r + i = 0, 0*l + 2*r = -l - 12. Let d = 5.2 + -5. Sort l, 3/8, d.
l, d, 3/8
Let q(a) = a**3 - 16*a**2 + 17*a - 25. Let k be q(15). Let p be (-1)/(-1)*(k - 5 - 5). Let c = -6 + 6. Sort p, 5, c, -4 in descending order.
5, c, -4, p
Let h(v) = -v**2 - 19*v - 49. Let a be h(-13). Suppose -4*l = a - 325. Sort -3, 1, l in decreasing order.
l, 1, -3
Let x = -8496 + 8498. Put -16, -5, 3, x in decreasing order.
3, x, -5, -16
Let a = -4374 + 4367. Sort a, 2, -0.39.
a, -0.39, 2
Suppose 32*x - 34*x + 12 = 0. Suppose -6 = -l + s, -l - 1 = s + 3. Sort x, l, -5 in ascending order.
-5, l, x
Let p be 8/(-6)*(-9)/6. Suppose -p*c = -32 - 0. Suppose -155*a = 2*a + 393 + 78. Put a, c, 4 in ascending order.
a, 4, c
Suppose 3*p + 3*x = 12, 16*x - 20*x = p - 10. Suppose -r - 40 = -p*c + 2, 0 = c - 5*r - 21. Sort c, 4, 3 in increasing order.
3, 4, c
Suppose 152 = -3*k + 370*q - 372*q, 4*k = 3*q - 180. Sort -3, k, 1 in ascending order.
k, -3, 1
Suppose 5*l - 4*n = -18, l + 3*n = 4*l + 12. Let a(d) = -548*d + 3840. Let u be a(7). Sort u, l, 57 in decreasing order.
57, u, l
Let a be (-12)/(1 + 3) - 0. Put 4, -7, 0, 7, a in descending order.
7, 4, 0, a, -7
Let x = -3 + 11. Let d = 11 - 15. Let g be (-21)/(-2 + -1) - 6. Put 0, d, x, g in descending order.
x, g, 0, d
Let x = 58.59 + 0.41. Let d = -7.71 + -51.29. Let u = d + x. Sort -5, -1, -8, u in descending order.
u, -1, -5, -8
Let d = -58 + 142. Suppose 56 = -28*b - d. Sort 1, -2, b, 0 in decreasing order.
1, 0, -2, b
Suppose -458 - 713 = 78*r + 857. Sort 2, -36, r in ascending order.
-36, r, 2
Let r(b) = 2*b**3 - 3*b**2 - b + 2. Suppose 21*m - 17*m = 8. Let v be r(m). Suppose v = 5*h - 11. Sort 0, h, 14 in increasing order.
0, h, 14
Let j = 1381 + -1384. Let c be (3 - 3) + -1 + -1. Let m be (26 + c)/((-12)/8). Sort 2, m, j, 0.
m, j, 0, 2
Let u be (-2)/5 + 255/75. Suppose 4*w = -2*o + 32, 17 + 35 = 4*w - u*o. Suppose -12*l = -8*l + 21*l. Put -1, l, w in descending order.
w, l, -1
Let b be (1/1)/((-8)/(-1016)). Let t = -93 + b. Sort 1, t, -2 in ascending order.
-2, 1, t
Let m = -0.7 - -1.3. Suppose 0 = -4*o + 3*o + 7, 0 = 2*k - 4*o + 38. Sort m, -9, k in descending order.
m, k, -9
Suppose 3 = -8*c + 11. Suppose -2*y + 2*t = -5*y + 37, 0 = -5*y - 5*t + 65. Suppose -3*u + y = -4. Put -3, c, u, 6 in increasing order.
-3, c, u, 6
Let d(l) = l**3 + 4*l**2 - 8*l + 19. Let x be d(-6). Let h(f) = f + 2. Let o be h(-5). Put -1, x, o in decreasing order.
-1, o, x
Let r = 4148 - 4156. Sort r, -2, -5, -9, -4 in descending order.
-2, -4, -5, r, -9
Let a(h) = -h**3 - 107*h**2 - 1056*h - 3. Let l be a(-11). Put l, -5, 96 in increasing order.
-5, l, 96
Let q be 0 + -9 + (-2425)/(-275) + (-40)/22. Suppose -10 = 2*s - 2*g, 5*s + 10 + 13 = 3*g. Sort q, 5, -5, s in ascending order.
-5, s, q, 5
Let z be (-3267)/44 - 3*2/8. Suppose 0 = t - 0 - 1. Sort z, t, 4 in ascending order.
z, t, 4
Let b = -256.6 + 256.2. Let z = -0.04 - 2.96. Sort b, z, 2/3 in ascending order.
z, b, 2/3
Let g be (-212)/(-18) - (-2 + (-48)/(-27)). Suppose 0 = 2*i - 18 + g. Suppose 0 = -i*q + 6 - 0. Put -1, q, 4 in decreasing order.
4, q, -1
Suppose -52*h + 11 = 298 + 441. Sort -2, -7, h in decreasing order.
-2, -7, h
Let c(z) = -4*z**3 + 2*z**2 - 6*z + 3. Let i be c(2). Let d be 12/(-14)*(-1 + 8). Let t be (4 + (1 - i/d))*0. Sort t, 3, -5 in ascending order.
-5, t, 3
Let p = -26.9 - -24.9. Let v = -276 + 1933/7. Sort v, -92/3, p in descending order.
v, p, -92/3
Let h be 12/(-8)*4/6. Let b be ((-128)/4)/8 - (-25 - h). Suppose 5*q + 5*i + 25 = 0, -b = 2*q + 2*q - 4*i. Sort 5, -2, -1, q in descending order.
5, -1, -2, q
Suppose 12 = -2326*i + 2330*i. Let o be (-4 + 1 - -8) + 1. Let w = o - i. Put -1, -23, w in decreasing order.
w, -1, -23
Suppose 24*s + 1013 = -931. Put -5, -1, s in decreasing order.
-1, -5, s
Let f = -8485 + 8481. Put f, -18, 3, 1 in increasing order.
-18, f, 1, 3
Let t = -0.11931 - -0.23931. Put t, -2, 0.2, 0.07, 4 in descending order.
4, 0.2, t, 0.07, -2
Let v be (-6)/9 - (-230)/(-69). Put 4, v, 819 in increasing order.
v, 4, 819
Suppose 27 = 3*h + 4*b, -3*h + 2 + 10 = -b. Let r(o) = -3337*o + 3. Let i be r(0). Sort -1, -4, i, h in decreasing order.
h, i, -1, -4
Suppose -4*k - 2*k = -30. Let l(i) = 2*i**3 - 19*i**2 - 9*i - 17. Let g be l(10). Suppose -3 = q + 1. Put g, q, k in increasing order.
g, q, k
Let m be 33/154*((-4)/3)/(-2). Suppose -3*x + r - 8 = x, 4*x + 8 = -5*r. Let a = -48 - -193/4. Sort m, x, -1/3, a in ascending order.
x, -1/3, m, a
Let s be 9/15 + 60/25. Suppose 3*d + 169 = 154. Sort d, s, -2 in ascending order.
d, -2, s
Let l be (-4)/14 - 23/(-7). Suppose -l*z = o + 10, -4*z - 12 = -z. Suppose -119*m = 31*m - 344 - 106. Sort -4, o, m in ascending order.
-4, o, m
Let q(n) = -117*n + 1538. Let v be q(10). Put v, 3, 0 in increasing order.
0, 3, v
Let s be 0/(-19) + 63/12 + -5. Sort -6, 8/5, s, -2.
-6, -2, s, 8/5
Let q(v) = v**3 + 13*v**2 + 38*v + 82. Let f be q(-10). Let s = -56 + 50. Sort s, -5, f in ascending order.
s, -5, f
Suppose -4*w = 19*w + 4784. Let n = w - -213. Put 4, -4, 3, n in decreasing order.
n, 4, 3, -4
Let u = 28.79 + -33.79. Let r be (-36)/(-165) + 4/(-10). Put r, u, 1/5 in decreasing order.
1/5, r, u
Suppose 89 = -5*p + s + 107, 3*s - 6 = 0. Put 120, 0.5, p in descending order.
120, p, 0.5
Suppose 20*n - 11100 = -5*n. Suppose 437*j - n*j = -28. Sort j, -5, 6.
-5, j, 6
Let q = -0.9301 + 1.0301. Sort -0.01, -0.3, -2/11, -4/7, q in ascending order.
-4/7, -0.3, -2/11, -0.01, q
Let n = 0 + -0.3. Suppose 36*k - 31 = 5*k. Suppose 31*z - 30*z + 26 = 0. Put k, n, z in increasing order.
z, n, k
Let j = -31.47 - -31.97. Put 2/25, -1, j, -1/6, 4 in decreasing order.
4, j, 2/25, -1/6, -1
Suppose -x - 4*o = -5, -15 = -0*x - 3*x + 4*o. Sort x, 3, 117.
3, x, 117
Suppose -5*b + 0 - 12 = -2*j, 11 = 3*j - 4*b. Suppose 0 = 13*x + 43 - 4. Put 4, j, 3, x in increasing order.
x, j, 3, 4
Let c = -263 + 278. Let z be 12/c + (-114)/30. Let a = -2 + 0. Sort z, a, -12 in increasing order.
-12, z, a
Let w = -33 + 36. Suppose 18 = 4*o + w*i - i, 3*o - 16 = -2*i. Sort -5, o, -13 in descending order.
o, -5, -13
Let u = 33.93 - 34.23. Put -3, 2/9, -4/5, u in descending order.
2/9, u, -4/5, -3
Let v be 0*(17 + -13)/(-4). Let f be 1*(-2 + -3 + 7). Let a be (-1)/3*(-3)/1. Sort f, 4, v, a in increasing order.
v, a, f, 4
Let h = -6.33 - -5.6. Let r = h + 1.03. Put -0.2, r, -5 in increasing order.
-5, -0.2, r
Let h be (-40)/15 + (-20)/(-3) + -7. Sort 16, -4, h, -5, 4 in decreasing order.
16, 4, h, -4, -5
Suppose 12*r - 1069 = 239. Let z = -114 + r. Put 0, -3, 2, z in increasing order.
z, -3, 0, 2
Suppose 3*z = -12, 0 = 3*v - 4*z - 108 - 355. Suppose -167 = 6*g - v. Let p be (-1)/((-1)/(-13)) + 0. Put p, 5, g in increasing order.
p, g, 5
Suppose 31 = -5*s - o + 42, -2*o = -3*s + 4. Let y = -2.68 + 2.4. Let p = -0.08 - y. Sort p, s, -4 in ascending order.
-4, p, s
Let m = -481 + 486. Suppose 3*c + 40 = -m*i, -4*c = -5*i + 2*i + 5. Put -2, 36, 3, i in descending order.
36, 3, -2, i
Let x = 3.597 - 3.097. Sort x, -13, -2, 3 in descending order.
3, x, -2, -13
Let f = 74051/9 - 8214. Let h = f - 634/45. Sort h, -0.4, -15/7, -3 in descending order.
h, -0.4, -15/7, -3
Let k = -207 - -295. Let a be -3 - (4/(-6))/(k/420). Let n be 5 + 1 + -9 + 4. Put -3, a, n, -1/2 in descending order.
n, a, -1/2, -3
Suppose -4*s = -2*j + 16, -917*s + 3*j = -922*s + 2. Put 0, s, -3, 1 in descending order.
1, 0, s, -3
Let b(c) = 2*c**2 + 29*c + 16. Let f = -43 - -29. Let x be b(f). Let u = -42 - -29. Put u, x, 4 in ascending order.
u, x, 4
Suppose 0 = 12725*v - 12769*v - 9680. Put v, -4, 2 in increasing order.
v, -4, 2
Let m = 108.7 - 109. Let s = -75/4 - -3067/164. Sort m, s, -0.5 in ascending order.
-0.5, m, s
Let f(t) = -3*t**3 + t**2 + t. Let r(z) = 10*z**3 + z**2 - 3*z + 20. Let d(s) = -3*f(s) - r(s). Let n be d(-5). Sort n, -4, 1, -22 in decreasing order.
n, 1, -4, -22
Let w = -200.92 - -201. Suppose 0*r - 2*r = -6*r. Sort r, 4, -5, w in decreasing order.
4, w, r, -5
Suppose 0 = 10*x + 6*x + 9 - 25. Put x, -17, 2, -3, 0 in descending order.
2, x, 0, -3, -17
Suppose -28*a - 31 + 17 = 98. Sort a, 140, -3 in ascen