4*g - 370. Let c be v(46). Let l = -2 + 5. Put c, l, 2 in decreasing order.
l, 2, c
Let o be 1 + -1 + (2 - 1). Let s be 2 + -2 + ((-11)/33 - 9/(-27)). Sort 3, -9, s, o in descending order.
3, o, s, -9
Suppose o = 4, 3*m - 7*o + 8 = -2*o. Let f be 51*(-1)/((-9)/6). Suppose -14 = -5*j - f. Sort 3, m, j in descending order.
m, 3, j
Suppose p + 2 = 5. Suppose 0*q + 6 = -4*q - v, 5*q - 2*v = -1. Let r = q - -5. Sort 1, p, r in decreasing order.
r, p, 1
Let t be 3/(-5) + (0 - (-34)/(-10)). Let n = -2 + 3. Sort t, n, 2 in increasing order.
t, n, 2
Suppose 3*y + 4*o = 64 + 20, -y + 28 = 3*o. Put 5, -1, y in descending order.
y, 5, -1
Let c(f) = f**2 + 7*f - 3. Let n be 1*-3 - (0 + 3). Let i be c(n). Let v(u) = -u**3 - 6*u**2 + 9*u + 10. Let b be v(-7). Sort 3, i, b in decreasing order.
3, b, i
Let c = 94/275 + -4/25. Let r = -2.48 - -2.88. Put r, c, 0, -1/6 in ascending order.
-1/6, 0, c, r
Let v = -145/2 - -72. Sort -0.4, v, 0.3 in descending order.
0.3, -0.4, v
Let j be -4 - 1*(-2207)/(-9). Let n = -249 - j. Let v = -9 + 14. Sort n, -0.4, v in ascending order.
-0.4, n, v
Let f = -1.43 - 0.57. Let q be (-3)/30*(-260)/8. Sort q, -3, f.
-3, f, q
Let v = 338 + -342. Put 22, 3, v in descending order.
22, 3, v
Let s(a) = -7*a - 39. Let u be s(-7). Let n be (4/(-130))/(u/(-50)). Let g = 0.1 + -0.6. Sort 5/4, g, n in descending order.
5/4, n, g
Let f = 7 - 6.8. Let w = 0.6 - f. Let v = -186 + 189. Sort 2/7, v, w in decreasing order.
v, w, 2/7
Suppose -n - 4 = -5*w - 7, -3 = 3*n - 3*w. Sort -65, n, 1.
-65, n, 1
Suppose -9*m = -12*m - x - 69, 4*x - 54 = 3*m. Let y = -19 - m. Put y, -2, 0 in decreasing order.
y, 0, -2
Let z = -4 + -1. Let u(t) = -2*t - 56. Let l be u(-24). Put l, 2, z in increasing order.
l, z, 2
Let v = -13.7 - 0.3. Sort v, 3/2, -5 in decreasing order.
3/2, -5, v
Let r(y) = y**2 + 8*y + 5. Let u be r(-8). Let b be u/(-2) + 1/2. Suppose 0 = x - 2*f + 6 + 1, 0 = x + 3*f - 18. Sort b, x, 1.
b, 1, x
Let t be (-32 - -2)/10 - 1*-7. Sort t, 1, 11, -4 in descending order.
11, t, 1, -4
Let w be (9 + 1 - -3) + 3 + -2. Let o(t) = -2*t + 28. Let x be o(w). Sort -3, 2, x.
-3, x, 2
Let a = -115 - -114. Sort a, 3, -48, -2 in ascending order.
-48, -2, a, 3
Let c = -23.8 + 20.8. Sort 1, -2, c, -1/8.
c, -2, -1/8, 1
Suppose 2*a - 8 - 4 = 0. Let r be 7 + 7/(35/(-15)). Sort 1/7, a, r in ascending order.
1/7, r, a
Let u = 68.7036 + -0.0036. Let h = 69 - u. Let c = 10.24 - 0.24. Sort c, h, -0.1 in decreasing order.
c, h, -0.1
Let d be 2 - (16 - (2 + -1)). Let t = d - -14. Let b be (6/9)/((-2)/9). Put 2, b, t in decreasing order.
2, t, b
Let o(k) = -k**2 - k - 2. Let z be o(0). Suppose -a - q - 2 = 0, -q + 2 - 6 = 0. Suppose -5*y + 6 = -a*y. Put y, z, -3 in decreasing order.
y, z, -3
Let h be (6 - 1) + (-73)/15. Put h, 0.1, 0.3 in increasing order.
0.1, h, 0.3
Suppose 405*j + 3 = 408*j. Sort j, -3, -93 in descending order.
j, -3, -93
Let o = 49 - 48. Put o, -5, 0, -3 in decreasing order.
o, 0, -3, -5
Let d = -180.975 + -0.025. Let j = d - -177. Put 3, -5, j, -2/11 in decreasing order.
3, -2/11, j, -5
Let r(i) = -i**2 - 14*i + 12. Let v be r(-14). Let h be 7/v + 4/(-48). Let a = -2.8 + 3. Put a, 0.4, h in decreasing order.
h, 0.4, a
Let y be 0/(3 + -6 + 2)*1. Sort -2, y, 3, -6 in increasing order.
-6, -2, y, 3
Let j(d) = -d - 14. Let g(n) = 20 + 5 + 0 + 3*n. Let h be g(-13). Let b be j(h). Sort b, -4, 3 in descending order.
3, b, -4
Suppose 5*i - 2*p - 13 = 0, 5*p = -i - 0 - 19. Sort -1, i, 2 in decreasing order.
2, i, -1
Let y be ((-12)/(-124))/(-5 - (3 - 9)). Sort 3/2, y, -0.5 in decreasing order.
3/2, y, -0.5
Suppose -22 = -5*b - s, 2*b + 3*s = -s - 2. Sort b, 11, 17 in ascending order.
b, 11, 17
Suppose 30 = 5*z, -48*p + 44*p + 18 = 3*z. Suppose -2*g - 2*c - 18 = 0, 4*g + 1 + 7 = 3*c. Put p, g, 1, 4 in descending order.
4, 1, p, g
Let o = -930 + 929.8. Put 0.4, o, 7, -5/2 in ascending order.
-5/2, o, 0.4, 7
Suppose 5*y + 5 = -5*f, -31*y - 4*f + 5 = -30*y. Put -5, y, 0, -25 in decreasing order.
0, y, -5, -25
Suppose -m - 3*m + 44 = 4*b, -2*m + 5*b - 13 = 0. Let u be (-5 + 2)/6*m. Let y(l) = l - 2. Let i be y(u). Sort -7, -1, i.
-7, i, -1
Let r = -5 + -3. Let g(v) = 267 - v - 550 + 273. Let n be g(r). Put -14, n, -5 in increasing order.
-14, -5, n
Suppose -t + 5*t - 8 = 0. Suppose 2 + 2 = -t*q. Let l(j) = 2*j**2 + 12*j + 5. Let y be l(-6). Sort y, 1, q in decreasing order.
y, 1, q
Suppose 73 = 2*s + 5*c - 27, 157 = 3*s + 4*c. Let i = s + -52. Let r = 0 + -2. Sort -5, r, i.
-5, r, i
Let x be 228/(-1026) - (2 + 118/(-45)). Sort x, -4, -1, -2 in decreasing order.
x, -1, -2, -4
Let q(o) = 9*o**2 + 4*o + 2. Let u be q(-2). Let y = 34 - u. Put -7, -3, y, 3 in descending order.
y, 3, -3, -7
Suppose -f + 2*f = -5. Let i = -93 - -99.3. Let x = -6.2 + i. Put 0.4, x, f in decreasing order.
0.4, x, f
Let f be (6/2)/60*(8 + -3). Sort -28, f, 0.1 in descending order.
f, 0.1, -28
Let h = 31 + -11. Let i = h + -15. Suppose 3*a - 3*l - 12 = 0, 3*l = 2*a + i*l + 4. Sort a, 4, -2 in decreasing order.
4, a, -2
Let z = -337 + 337.1. Let u = 4 + -1. Let x(v) = -v**3 + 2*v**2 + 5*v - 2. Let t be x(u). Sort z, 0, t in decreasing order.
t, z, 0
Let j be (2568/99 + -4)/((-206)/(-5)). Let c = j - -4/309. Sort -1/2, c, 5.
-1/2, c, 5
Let c = -0.248 + 0.548. Put c, -7, 2/7, -0.3 in descending order.
c, 2/7, -0.3, -7
Let h = -476 + 488. Sort h, -5, -4, 2 in decreasing order.
h, 2, -4, -5
Suppose 4*v = 7*v - 39. Let x = 14 - v. Let k(m) = 3*m + 18. Let b be k(-4). Sort x, b, 1/4 in ascending order.
1/4, x, b
Let o = 1.13 + 3.87. Sort o, 1, 0.4, -16 in decreasing order.
o, 1, 0.4, -16
Suppose 0 = 3*u + 2*u. Let h(z) = -z - 7. Let n be h(-5). Suppose -4*j = -4*q - 36, 3*j = -5*q + 69 - 82. Sort q, u, n in decreasing order.
u, n, q
Let c = 8.15 - 0.15. Let z = -11 - -3.5. Let a = z + c. Sort 0, a, -3 in increasing order.
-3, 0, a
Suppose 3*k = -k. Suppose k = -a + 2. Suppose 2*o - 14 = -4*v, 0 = -4*v + 20 - 4. Sort o, -4, a.
-4, o, a
Suppose -4*r + 16 = 4*a, -r + 5*a = -5 + 1. Suppose k - 2*o - o = 5, -5*k = r*o + 13. Let q = -855 + 851. Sort k, 0, q in descending order.
0, k, q
Let z = -318 - -412. Sort 0, z, -4 in ascending order.
-4, 0, z
Suppose -4*v - 13 = 5*y, -5 = 4*v - 17. Let n(t) = -4*t**2 + 12*t - 7. Let u be n(3). Suppose -3*x = 2*x - 15. Sort y, u, x in descending order.
x, y, u
Suppose -17*u + 4*w = -20*u - 14, 2*u = 2*w. Put u, -38, -3, -4 in increasing order.
-38, -4, -3, u
Suppose -p + 6 = -2*i - 2*i, -3*p - 4*i = 30. Let a(t) = -t**2 - t + 17. Let w be a(-4). Put w, p, -3 in descending order.
w, -3, p
Let u be -1 + 1 + (-3 - -5). Suppose 5 = -u*s - 23. Let w be s/(-2) - 6/3. Sort -4, w, -5 in descending order.
w, -4, -5
Let v = 6.6 + -1.6. Suppose -i - 4*i - 5 = 0. Let c be (-32)/(-42) + (-7)/21. Put v, c, i in increasing order.
i, c, v
Suppose -3 + 9 = -2*h. Let y(v) = v**2 + 47*v + 322. Let k be y(-38). Put 4, k, h, 0 in increasing order.
k, h, 0, 4
Let c = -112 + 112.3. Let w = -0.445 + 0.045. Let p(k) = k**3 - 6*k**2 + 6*k. Let q be p(5). Put c, w, q in ascending order.
w, c, q
Suppose -21*l + 62 - 20 = 0. Put 10, 22, l in increasing order.
l, 10, 22
Suppose 4*q - 4*y + 4 = -7*y, 5*q = 4*y - 36. Suppose -10 = h + 4*h. Let i(w) = -2*w - 1. Let r be i(h). Put q, r, 0 in decreasing order.
r, 0, q
Let k = 387 - 380. Sort 5, k, -4, 3 in ascending order.
-4, 3, 5, k
Let s = 2277 + -2281. Put s, -3, -5, 29 in decreasing order.
29, -3, s, -5
Let a(d) = -d - 3. Let l be a(-6). Let q(s) = s**3 - 14*s**2 - 17*s + 18. Let r be q(15). Sort 4, l, -2, r in descending order.
4, l, -2, r
Let a = 0.94 + -1.93. Let p = a + 0.49. Put -0.1, p, 3/4 in decreasing order.
3/4, -0.1, p
Let u = 264 + -267. Put 0.2, -1/13, u, 3 in decreasing order.
3, 0.2, -1/13, u
Let s = 24 - 24.3. Let t = -10 + 13. Sort 1/8, t, s, -4/9 in decreasing order.
t, 1/8, s, -4/9
Let k = 26 - 30. Let d = -12 - -15. Suppose 2*c - u - d*u = -24, 3*c - 5*u = -31. Sort c, k, 1 in decreasing order.
1, c, k
Let c = 100.3 + -100. Let v = 0.08 + 0.52. Let d = v - c. Sort d, -0.2, 0.4.
-0.2, d, 0.4
Let u = -0.5 - 0. Let c = 0.052 - 0.062. Let p = -0.21 - c. Sort p, -3, u in ascending order.
-3, u, p
Let q(f) = -f**3 + 2*f**2 + 16*f - 11. Let k be q(5). Suppose 2*y - 6*y = 2*n - 10, 0 = -5*n - y - 2. Put -4, n, k, 1 in increasing o