) = 2*c**2 + 3*c + 2. Let v(s) = -s**2 - s. Let n(o) = g(o) + 3*v(o). Let f be n(-2). Let a = 6.9 - 0.9. Put f, a, -1/7 in increasing order.
f, -1/7, a
Let l = 9.2 + -9. Put 3, l, 5, 2/9 in increasing order.
l, 2/9, 3, 5
Let d = -49 - -32. Let b = 17.3 + d. Put 0, 1, b in decreasing order.
1, b, 0
Suppose 2*l - 25 = -4*g + 1, g - 14 = -2*l. Let k = -105/8 + 1171/88. Sort l, k, -1/4 in ascending order.
-1/4, k, l
Let u be (-2 - (-124)/16)*-4. Let w = -20 - u. Put -4, -1, w in decreasing order.
w, -1, -4
Let a(p) = 3*p - 3. Let k be a(2). Suppose -2*n = -4*g - 1 - 11, 2*g + 2*n = 0. Sort k, g, 0 in decreasing order.
k, 0, g
Let v = 31 + -22. Let f = 14 - v. Sort 0, -5, f.
-5, 0, f
Let j = -65/2 - -32. Put -5, j, 1 in ascending order.
-5, j, 1
Let h = 17 - 17. Sort h, 4, -4.
-4, h, 4
Let u = 16.27 + -16. Let x = u - 0.3. Let g = x - 0.17. Put 2/9, g, 2/21 in decreasing order.
2/9, 2/21, g
Let m(g) = g**3 - 3*g**2 + g - 3. Let f be m(3). Suppose u + j = -u + 10, 0 = -3*u + 4*j + 4. Sort u, 2, f in increasing order.
f, 2, u
Let c(i) = i**2 - i - 1. Let s be c(0). Let m(r) = -r**2 + 8*r - 13. Let k be m(5). Put 3, s, k in decreasing order.
3, k, s
Let s = 0.01 - -1.99. Let p = 126.12 + -122. Let g = p + -0.12. Sort s, g, -3 in ascending order.
-3, s, g
Let k(f) = f + 5. Let x = 21 - 12. Let h = -1 - x. Let i be k(h). Sort -2, i, -4 in increasing order.
i, -4, -2
Let s be 24/40 - (-36)/(-10). Let v be (-159)/(-12) - 2/8. Suppose -4*d - 5*t = -11, -2*d - d + t = -v. Put 2, d, s in ascending order.
s, 2, d
Let s = -0.8 + 1. Suppose -2*j - 21 = 5*m, 3*j + 24 = -7*m + 2*m. Put s, -3/2, j in increasing order.
j, -3/2, s
Let u be (-21)/(-6) + (-3)/(-6). Sort 3, -4, u in descending order.
u, 3, -4
Suppose 3*h = k + 6, -2*h - 2*h - 2*k - 2 = 0. Sort h, -4, -41.
-41, -4, h
Let v be (-1 - 0/1) + -6. Let h = -12 - v. Put -3, -1, h in descending order.
-1, -3, h
Let f = 1 - 0. Sort 0.2, f, 3, 5/6.
0.2, 5/6, f, 3
Let f = 0.0459 - 0.2459. Let q = 4 + -3.2. Put q, -1, f in decreasing order.
q, f, -1
Let j = 13 + -8. Let d be (-3)/1*(-8)/(-6). Sort j, 0, d.
d, 0, j
Let d = -15 + 15. Sort 4, 3, d, -5.
-5, d, 3, 4
Let y = -16 + 13. Let n = -1 - 0. Let j = 3 - n. Sort -5, y, j in increasing order.
-5, y, j
Let b(c) = 5*c**3 - 2*c**2 + 2*c - 1. Let y be b(1). Let w(v) = v**3 - v - 2. Let f be w(0). Let u be -2 - -6*f/y. Sort u, -1/5, -0.5.
u, -0.5, -1/5
Let i = 0.12 - -6.88. Let o = i - 4. Let f = -7/114 + -2/19. Sort 2/7, f, o in descending order.
o, 2/7, f
Let k = -3 - -7. Let q be (-12)/54 - k/9. Sort 2, 3, q.
q, 2, 3
Let j(n) = n**3 + 15*n**2 + 13*n + 8. Let a be j(-14). Let c = 21 - a. Sort c, 4, 5 in decreasing order.
5, 4, c
Suppose -i = q + 21, -i = -2*q + 3*i - 72. Let w be 1 - 30/q - 2. Let m = -3.5 + 3. Sort w, -2/11, m in decreasing order.
w, -2/11, m
Let w = -1 + 2. Let z = 0 - w. Let p(c) = 2*c + 12. Let o be p(-8). Sort 3, o, z in descending order.
3, z, o
Let w = -133/4 + 34. Sort 5/2, w, -1.
-1, w, 5/2
Suppose -3*k - 10 + 30 = 4*l, -3*k + 4 = -4*l. Put l, 0, 1, -4 in descending order.
l, 1, 0, -4
Let f(i) = -i**3 - 16*i**2 + 17*i. Let x be f(-17). Sort 1, x, 3.
x, 1, 3
Let v(p) = -3*p**2 + 3*p + 4. Let j be v(2). Sort j, -0.2, 3.1 in ascending order.
j, -0.2, 3.1
Let v(i) = -i**3 + 4*i**2 - i. Let g be v(4). Put 2, -1, g, 5 in descending order.
5, 2, -1, g
Suppose -c - 2 + 14 = 0. Suppose 4*d + m = -3*m + c, -3*m + 3 = 0. Let b = -2 - -3. Sort -5, d, b.
-5, b, d
Let n = -121 - -119. Put 8, 4, n in descending order.
8, 4, n
Let y be -13 + 6 - 15/(-3). Put 3, 19, y, -3 in decreasing order.
19, 3, y, -3
Suppose -k + 11 = 4*y, k = -2*y - 0 + 5. Let t be (-88)/(-12) + y/(-9). Put t, -5, -3 in descending order.
t, -3, -5
Let h = 3 + -5. Sort -0.1, h, 0.6, 0.
h, -0.1, 0, 0.6
Let w = 43 + -45. Let h = 9 + -4. Let f = 8 - h. Put w, f, 1 in decreasing order.
f, 1, w
Let u = 2 - -4. Let h = u + -8. Let m(g) = g**3 + g**2 - 2*g. Let v be m(h). Put -4, v, 3 in descending order.
3, v, -4
Suppose 8*z = -z + 45. Put 4, z, -3 in decreasing order.
z, 4, -3
Suppose 0*g = -g - 5. Let q = -0.2 - -0.2. Let l = 97/7 + -14. Sort g, l, q.
g, l, q
Suppose 2*g = 4*g - 12. Let n be (-15)/77 + g/21. Sort -2/13, n, 3 in descending order.
3, n, -2/13
Let o = -169/5 + 33. Put 9, -5, o in decreasing order.
9, o, -5
Let d = 5 + -11. Let k = 11 + d. Let a be (-1)/(-2) + (-15)/22. Sort k, a, -2/7 in ascending order.
-2/7, a, k
Suppose -3*k + 2*x - 6 + 2 = 0, -x = 3*k + 7. Suppose -3*n - 16 = 5*a - 2*n, 4*a + 3*n + 4 = 0. Sort k, 3, a in ascending order.
a, k, 3
Let i = -2 + 1.9. Sort i, -11/4, -3 in ascending order.
-3, -11/4, i
Let q = 150 - 147. Sort q, 4, -3 in decreasing order.
4, q, -3
Let h be ((-8)/10)/((-138)/115). Sort h, -4, -0.2, -2/3.
-4, -2/3, -0.2, h
Let v = -3.2 - -3. Let t = 2.062 + -0.062. Put v, t, 0.1 in descending order.
t, 0.1, v
Suppose -4*d = 5*w + 24, 5*w - w + 2*d + 18 = 0. Let g = 7 + w. Let z be (3/(-6))/(7/(-4)). Put g, 0.3, z in decreasing order.
g, 0.3, z
Suppose 3*l - 2 = 4*l, -l = 4*i - 10. Let f(x) = x**3 - 5*x**2 + 5*x - 2. Let a be f(i). Let o be 0 - (1 - (-7)/(-9)). Sort -2/7, a, o in decreasing order.
o, -2/7, a
Let b(p) = -p - 20. Let o be b(-15). Sort 3, -1, o in descending order.
3, -1, o
Let m = 47/2 + -22. Sort 4, m, -1/4 in ascending order.
-1/4, m, 4
Let i be (2/5)/((-6)/(-60)). Put i, 1, -4 in ascending order.
-4, 1, i
Let u = -16.9 - -19.9. Sort -0.5, 4, u in increasing order.
-0.5, u, 4
Let n = -3.9 + 4.9. Suppose 0 = 2*d - d + 5*q + 6, 8 = -4*d - 4*q. Sort d, n, 0.3 in decreasing order.
n, 0.3, d
Let d = 0.222 + -0.722. Let u = 0.4 + -0.1. Sort 0.2, d, u in decreasing order.
u, 0.2, d
Suppose -1 = k + 4. Let y(f) = f**2 - 5*f - 3. Let t be y(6). Suppose j = p + 4, 0 = 4*p + 2*j - 5 - t. Put p, k, -1 in descending order.
p, -1, k
Let m(i) = i**3 - 8*i**2 - 10*i + 13. Let s be m(9). Sort 5, 0, s in descending order.
5, s, 0
Let b be (-44)/(-6)*15/2. Suppose -4*p - b = p. Let r be (2*-1)/(p - -4). Sort -5, 3, r in decreasing order.
3, r, -5
Let i = 119 - 121. Sort 0, i, -4, -5 in descending order.
0, i, -4, -5
Suppose 5*p = -2*q - 0*p - 33, 2*q - 2*p = 2. Let d = 0 + 1. Let j = d - 0. Put q, j, -2/5 in ascending order.
q, -2/5, j
Let b(j) = -j**3 - 5*j**2 + 7*j + 6. Let k be b(-6). Let h = k - -4. Let a = 0.3 + -0.1. Put a, 4/7, h in descending order.
h, 4/7, a
Let p be (-16)/(-7) + (-6)/21 + -2. Suppose 0*n + 2*n + 4 = 0. Sort n, -1, p in descending order.
p, -1, n
Suppose -2*c - 3*a = 24, -c - 3*a = 2*c + 30. Sort 3, c, 0 in descending order.
3, 0, c
Let y = 7.4 + 2.6. Let m = y + -6. Let q = -0.8 + -0.2. Sort q, 3, m in descending order.
m, 3, q
Let h = 155/2 + -76. Let t be (4/(-6))/(0 + 2). Sort h, t, -2 in decreasing order.
h, t, -2
Let r = 5.6 - 6.6. Put 0.4, r, 11 in descending order.
11, 0.4, r
Let n = 12 - 6. Let b be (-3)/(n/(-4) - 0). Let x be 2 - -2 - b - 0. Sort x, -1, 5 in decreasing order.
5, x, -1
Let y = -2 + 3. Let j = 23.5 - 22. Let p = y - j. Sort 0, -3/8, p in increasing order.
p, -3/8, 0
Let i(n) = 3*n - 7. Let f be i(3). Put 0.13, 0.5, f in ascending order.
0.13, 0.5, f
Let r = 93 + -97. Sort r, -2/9, -1, -0.4 in ascending order.
r, -1, -0.4, -2/9
Let l = 4.91 - 5. Let q = l - 0.01. Sort -1, 2, q.
-1, q, 2
Let u(y) = 2*y**2 + 7*y + 12. Let z be u(-2). Sort 0, -1, z in decreasing order.
z, 0, -1
Let r be 8/28 - 36/(-21). Let h be 34/(-8) - 2/(-8). Sort -2, h, r.
h, -2, r
Suppose -5*j + j - 16 = 5*f, -20 = 5*j - f. Let t = 91 - 89. Sort j, 4, t in descending order.
4, t, j
Let j = 0.13 - -0.37. Sort -1/7, -3, j in decreasing order.
j, -1/7, -3
Suppose -1 + 11 = f. Suppose -5*j = -f - 0. Sort 1/4, j, 3/4 in increasing order.
1/4, 3/4, j
Let s = 0.81 - 0.68. Put 5, s, 4 in decreasing order.
5, 4, s
Suppose 2*v - 2 = 5*i - 3*i, 0 = -5*v - 2*i + 12. Suppose 0*r - 3 = -3*r. Sort -1, v, r in ascending order.
-1, r, v
Let w = -0.07 + 0.03. Let u = w - -0.54. Sort u, 3, -1 in descending order.
3, u, -1
Let z = -0.77 + -1.23. Sort 0.5, z, -1 in decreasing order.
0.5, -1, z
Let x(o) = -o + 4. Let c be x(6). Let n = 0 - -7. Suppose n = 4*s - 5. Sort c, -4, s in descending order.
s, c, -4
Suppose -2*t + 29 = -4*r + 3*t, 5*t + 4 = r. Suppose p = -p + 36. Let h be 6/p - r/3. Put h, 0, 1/7 in decreasing order.
h, 1/7, 0
Let q(g) = 8