-c + 1217 = 1218. Sort 0, -32, c in descending order.
0, c, -32
Let m(n) = n**3 + n**2 + n + 4. Let d(h) = h + 5. Let x be d(-5). Let i be m(x). Let f = -57 + 54. Put -4, f, i in decreasing order.
i, f, -4
Suppose 2 = -133*a + 154*a - 82. Let p = 2 + -1. Put a, p, 0, 2 in ascending order.
0, p, 2, a
Let f = -1.4 - -1.48. Let j = -1.1 - -1.15. Sort f, j, 5.
j, f, 5
Let o be 2 - (3 + 6 - 3). Suppose y + 5*b - 11 + 3 = 0, -3*b = -3*y - 12. Sort y, o, 0 in decreasing order.
0, y, o
Let o be (7/(-2))/7*-8. Suppose 0*h + 2*h - o = 0. Suppose h*j = -j - 4*n + 7, j + 15 = 3*n. Put 2, -4, j in increasing order.
-4, j, 2
Let x(n) = -3*n - 22. Let p(d) = 9*d + 67. Let m(w) = -4*p(w) - 14*x(w). Let y be m(-6). Sort y, 9/2, 1, 1/7.
1/7, 1, y, 9/2
Suppose 4*a - 6 + 2 = 0. Sort a, 10, -7, -5 in increasing order.
-7, -5, a, 10
Let y(c) = -c**3 + 7*c**2 + 9*c - 5. Let b(z) = 4*z**3 + 2 + z**2 - 4*z**2 + 2*z - 3*z**3. Let w be b(3). Let a be y(w). Sort a, 1, -4 in descending order.
a, 1, -4
Suppose x = -0*x - 3. Let a be -7 - (-1 + (2 - 2 - 1)). Suppose 3*s - 6 = 4*s. Put s, a, x in decreasing order.
x, a, s
Let q be (-164)/(-42) + (1 - 5). Put 2/5, -15, q, 2/9 in decreasing order.
2/5, 2/9, q, -15
Suppose 24 = 4*q - 3*s, -5*s - 8 - 12 = 0. Suppose -5*c = -2*n + 5, 2*c - 30 = n + q*n. Let d be n/(-40) + (-18)/8. Put d, 4, -5 in descending order.
4, d, -5
Let j = -0.034 - 39.966. Sort -1, j, 2/3 in descending order.
2/3, -1, j
Let c = -40 + 157/4. Let v(j) = -3 - 2*j + 3*j - 2 + 2. Let h be v(5). Sort -5, c, h in descending order.
h, c, -5
Suppose -273*w - 5 = -272*w. Put 0.1, w, -11 in descending order.
0.1, w, -11
Let h be 0*(-3)/6*2. Suppose -4*r = 5*i - 10*i - 8, 4 = 2*r + 3*i. Suppose 0 = -r*b - 13 + 3. Put h, -2, b in descending order.
h, -2, b
Suppose 0 = 5*b - 3*c - 7 - 18, 5*b + c - 5 = 0. Suppose -r = z + b*z - 2, -3*r + 4*z + 19 = 0. Put -1/6, 12, r, 0.3 in decreasing order.
12, r, 0.3, -1/6
Suppose 0 = 4*w + 4*p - 16, 3*p - 15 = w + 1. Sort 5, 3, 8, w.
w, 3, 5, 8
Let v = -134 + 124. Sort -4, v, 2 in descending order.
2, -4, v
Let n be ((-3)/2)/((-15)/30). Suppose -4*b = -2*j, -b + n*j + 14 = 6*j. Suppose -z - b = 3*i - 9, 23 = -4*z + 5*i. Put 4, z, 2 in descending order.
4, 2, z
Let w = -3 + 4. Let p be 4325/10*1/425. Let i = p - 9/10. Sort w, i, -0.4 in decreasing order.
w, i, -0.4
Let w = 12 - 10. Let j(k) = k**3 + 6*k**2 - 2*k - 1. Let d be j(-6). Sort 5, d, w in ascending order.
w, 5, d
Let j = 39 - 36. Let z = 21/20 - 4/5. Put j, z, -2/9 in ascending order.
-2/9, z, j
Let m = -4 + -1. Let x = -273 - -273. Put m, x, 3 in increasing order.
m, x, 3
Let z = -1/28 + -1/4. Let s = -0.04 + 7.04. Put -0.2, z, s in descending order.
s, -0.2, z
Let d = -27 + 26.76. Let g = -1.76 + d. Sort 2, g, -2/3, -0.2.
g, -2/3, -0.2, 2
Let h be (-10)/(-7) - 18/42. Suppose 5*z + h - 11 = 0. Suppose -3*o - z*k + 7*k + 3 = 0, -15 = -o - 3*k. Put 3, o, 2 in decreasing order.
o, 3, 2
Suppose 0 = 50*j + 422 + 328. Put j, 4, -7 in descending order.
4, -7, j
Let l = 13.5 + 2.5. Sort 2/3, 1/4, l in decreasing order.
l, 2/3, 1/4
Let l = 1.6 - 2. Suppose -2*r + y = 2*y + 13, -4*r - y = 21. Let d be r/312 + (-6)/39. Sort l, 0.1, d in descending order.
0.1, d, l
Let j be -28 - ((-8)/(-2) - 2). Let g = -14 - j. Suppose 5*n + 3*h - g = -0*n, 5*n - 2*h = 31. Put -2, n, -1 in ascending order.
-2, -1, n
Let h = 3.1 + -3. Let c = -73.8 + 85. Let p = c + -11.6. Sort 5, p, h in decreasing order.
5, h, p
Let i = -1293 - -1293.2. Put 0.4, -4, -60/13, i in ascending order.
-60/13, -4, i, 0.4
Let p = -2/3 + -1. Let c(o) = -o + 44. Let g be c(0). Suppose -i = 4*r + 46, 3*r + 2*i + g = 6*i. Sort 0.1, r, p in ascending order.
r, p, 0.1
Suppose -4*g = 5*o - 2*o - 31, 6 = -g + 2*o. Suppose 4*u - 6 = -v, 0 = 5*v - g*u - 11 + 5. Let t = 1 - 0.6. Put v, 0.02, t in ascending order.
0.02, t, v
Let w = -1104.533 - -1105. Let g = 0.067 - w. Put -2, 5, g in increasing order.
-2, g, 5
Let f = 0.18 + 0.11. Let m = -3.71 - f. Let y = -0.5 + 0.3. Put m, y, 6 in ascending order.
m, y, 6
Let l be 1/((-4)/(-36)*-3). Let b be (-20)/(-6) + ((-15)/(-9) - 2). Put 2, l, b, -1 in decreasing order.
b, 2, -1, l
Let t = 7 + -4. Let u = -89 - -76. Sort t, u, -5 in descending order.
t, -5, u
Let j(u) = -u**2 - 19*u + 1. Let b be j(3). Put b, 5, -1 in decreasing order.
5, -1, b
Let g = -235 - -235. Let d(t) = -t**3 + 6*t**2 - 3*t - 4. Let v be d(5). Let z be (-26)/12 + v/3. Sort g, 3, z in descending order.
3, g, z
Suppose 17 = 19*w - 59. Let f be 11/(-2) + (-1)/(-2). Sort 6, w, f.
f, w, 6
Let p = 41 - 39. Suppose 2*l - 4 + 6 = 0. Sort p, l, -3.
-3, l, p
Let l be (-48)/(-20)*(-3 - -13). Let u be ((-8)/(-18))/(l/108). Suppose k - u*k = 13. Sort k, 4, -4 in ascending order.
k, -4, 4
Let b be (14/21)/(4/18). Let z be (b + (-68)/12)*-3. Let o = z - 5. Put -5, o, 2 in decreasing order.
o, 2, -5
Let t = 271 - 268. Put 4, -4, t in descending order.
4, t, -4
Let w be 16/(-42) - 6/21. Let l = -55 + 11. Let f = l - -49. Put w, -0.4, f in decreasing order.
f, -0.4, w
Let b = 13 - 45. Let z = b - -32. Sort 4, z, -5 in descending order.
4, z, -5
Let y be ((-6 - -6)/(-3))/7. Sort y, 265, 2 in increasing order.
y, 2, 265
Let g be 4/(-14) - (-4)/14. Suppose 0 = -n - g*n - 3*z - 15, -3*n + 4*z = -20. Let t be (9/12)/((-3)/2). Sort 5, n, t in ascending order.
t, n, 5
Let c = -200 + 200.15. Put c, -1, 3 in ascending order.
-1, c, 3
Let f be (-12)/(-12)*10/85. Let r = -1/15 + 37/105. Sort -20, r, f.
-20, f, r
Let k = 1056 - 1056. Sort k, -5, -7 in decreasing order.
k, -5, -7
Let k = -125.6 - -126. Sort k, 75, 2.
k, 2, 75
Let r(g) = -g**3 + 8*g**2 + 2*g - 12. Let l be r(8). Suppose -l*j - 17 + 25 = 0. Sort j, -1, 1 in descending order.
j, 1, -1
Let z be 2 - 2 - 3 - -12. Suppose 0 = 3*m, 4*u - z = -2*m + 11. Suppose 2*n = -5*w - 29, 5*n - 2*w + 25 = -u*w. Sort -5, -4, n in ascending order.
-5, -4, n
Let u = 1415 - 1419. Let h = 4 + 1. Put h, -1, u in descending order.
h, -1, u
Let w(j) = 4*j + 8. Let f be w(-3). Let b be f/10 + (-9)/15. Sort 5, -3, b, 2 in increasing order.
-3, b, 2, 5
Let o(g) = -g**3 - 12*g**2 - 3. Let f be (-320)/48 + (-2)/6. Let i be 83/f + 6/(-42). Let l be o(i). Put -5, 5, l in descending order.
5, l, -5
Let c be (-1311)/(-45) - (-3)/(225/(-10)). Let p = c - 33. Let a be (-4)/(-6)*(-30)/(-4). Put a, p, -1 in ascending order.
p, -1, a
Let d = -1.34 - -1. Let a = d + 0.64. Sort -2/7, a, -5 in increasing order.
-5, -2/7, a
Let q be 1 + -7*10/105. Sort 0, q, -13.
-13, 0, q
Let f = 127 - 122. Put f, 8, 2, -3 in ascending order.
-3, 2, f, 8
Suppose -6*o - 7*o + 26 = 0. Let c(n) = n - 1. Let j be c(-4). Let f = 6 + j. Sort f, o, 5 in descending order.
5, o, f
Let g be (2/26)/(175/(-28) + 6). Sort -0.3, 0.6, g in descending order.
0.6, -0.3, g
Let w = 1.46 + -1.56. Sort w, -1/2, 0.1 in increasing order.
-1/2, w, 0.1
Let y(g) = g**3 - 2*g**2 - 23*g + 5. Let n be y(0). Sort -3, 2, n, -2.
-3, -2, 2, n
Let f be (-24)/10 + (-18)/(-45) - -8. Suppose f*r + 8*r = -70. Sort -3, 0, r in descending order.
0, -3, r
Suppose 4*p - 14 = -3*n, 3*n - p + 0 = 4. Let i be 1/n*(-9 + 9). Sort i, -0.7, 2/9.
-0.7, i, 2/9
Let o(v) be the first derivative of v**2/2 - v - 9. Let j be o(12). Let d be (6/(-4))/(j/22). Sort 7, -1, d in decreasing order.
7, -1, d
Suppose 4 = w + 2. Let b(t) = -2*t + 11. Suppose 0 = 5*u + 2*k - 30, -u = 3*k + 2*k + 17. Let c be b(u). Put -4, c, w in decreasing order.
w, -4, c
Let f(y) = y + 3. Let k be f(-3). Suppose 0 = -3*b - 15 - k. Let n be (b/(-2))/((-7)/(-14)). Put 2, n, 8/3 in increasing order.
2, 8/3, n
Let l = 12 + -9. Let g be (-1 + l)/(2 + -4). Let n = -1 - g. Sort 2, n, -4.
-4, n, 2
Suppose -11*n + 9*n = 20. Let w be ((-4)/2)/(n - 9). Put 0, w, -0.08 in increasing order.
-0.08, 0, w
Let s = -4.18 + 0.18. Let a = -13 + 8. Let n be (23/(-115))/((-1)/(-3)). Put n, a, s in descending order.
n, s, a
Let x be (-2 + 3/1)/((-3)/(-9)). Suppose 0 = -p + 5*d - 10, -3 = -3*p - d - 1. Sort 13, x, p in descending order.
13, x, p
Let d be 6/8*8/(-46). Let g be 6 + -5 - (-1)/(345/(-162)). Let r = d + g. Sort -4/5, r, -1/8 in decreasing order.
r, -1/8, -4/5
Let x(q) = q**2 + 5*q - 4. Let r be x(-5). Let v be 4/(-6)*(-2)/r. Let z = 0.2 + 1.8. Put z, 3, v in descending order.
3, z, v
Let i(y) = y - 2. Let w be i(5). Suppose n = -