 Let o be d(17). Suppose -5*g - 25 = 0, -20 = 2*f + 2*g - 0. Put 3, f, o in increasing order.
f, o, 3
Suppose -4*y + 0*y = 4. Suppose -4*q - 17 = x, 3 - 4 = 2*q - x. Sort y, q, 1.
q, y, 1
Let z = -91 + 86. Sort z, -2, 0 in decreasing order.
0, -2, z
Let y = -10 - -12. Put -1, y, -4 in decreasing order.
y, -1, -4
Let i = -21 + 23. Suppose -3*c + 20 = c. Sort i, c, -1 in increasing order.
-1, i, c
Let r = -74 + 77. Suppose -w + 5*t - 2 = 0, t + 0 = w + 2. Sort 1, r, w in ascending order.
w, 1, r
Let k(i) = i**3 - 2*i**2 - 4*i + 3. Let m be k(3). Suppose -p + 1 = -m*p. Let t be 1*(p - 6/9). Sort -0.5, t, -1/4.
-0.5, -1/4, t
Let j = -19 - -24. Sort -3, -5, j.
-5, -3, j
Suppose 1 + 17 = 6*g. Put -3, g, -5 in descending order.
g, -3, -5
Let g = 16 + -17. Put g, 7, -3 in descending order.
7, g, -3
Suppose -3*y = -5*y - 2. Let t(w) = w**3 - 6*w**2 + 3*w + 7. Let d be t(5). Suppose -14*x = -13*x + 2. Sort x, d, y in ascending order.
d, x, y
Let k(x) = x**2 - 16*x + 2. Let l be k(16). Let y(c) = -116*c**2 - c + 1. Let h be y(1). Let u = -469/4 - h. Sort 0, u, l in decreasing order.
l, 0, u
Suppose 2*g - 11 - 3 = 0. Let k be g/(-4) - (-6)/8. Let b = 1 + -1. Sort b, k, 3.
k, b, 3
Let w = 17.9 - 18. Let p = 0.5 - 0.3. Let c = 11/20 + -3/4. Sort w, c, p in increasing order.
c, w, p
Let u = 48 + -38. Sort u, 0, 3.
0, 3, u
Let p(w) = -w**3 - w**2 + 3. Let k be p(0). Suppose 4*o - 3*t = 2, 5*t - 12 = -4*o + 3*t. Sort k, 4, o.
o, k, 4
Let h(d) be the third derivative of -d**4/12 + d**3/6 - d**2. Let o be h(-4). Suppose 13 = 2*r - 3*y, 3*r - y = -0*y + o. Put r, 1, -4 in descending order.
r, 1, -4
Let d(l) = l**2 - l - 4. Let v be d(3). Suppose k + v*k = 0. Suppose 3*y = -2*u + 5, -u + k*y = -2*y + 15. Sort u, -3, 4.
u, -3, 4
Suppose -9 = 3*v, 7*v - 3*v + 12 = 3*w. Let s = w + -1. Let o = -6 - s. Put o, 4, 0 in descending order.
4, 0, o
Let s(q) = -q**2 + 9*q - 4. Let f = -7 - -15. Let y be s(f). Let i be (-1*2 - -7)/1. Put i, 1, y in increasing order.
1, y, i
Let c = 8.8 - 4. Let y = c + -5. Put -2, y, 3 in decreasing order.
3, y, -2
Let f(a) = -4*a. Let i(w) = -9*w - 1. Let k(q) = -14*f(q) + 6*i(q). Let r be k(5). Suppose -d - r*d = -20. Sort d, -3, 5 in descending order.
5, d, -3
Let y = 2.3 + 0.7. Let s = -0.07 + 0.37. Suppose 0*o + 4*o - 4 = 0. Sort y, o, s in descending order.
y, o, s
Let d = 27/38 + -4/19. Put 1, 2/11, d, 2 in ascending order.
2/11, d, 1, 2
Suppose -2*r + 6 = 2. Let u = 3.7 - -1.3. Sort u, r, -3 in increasing order.
-3, r, u
Let y = 1.3 - 0.3. Let u = y + -1. Let j = -7 - -4. Put u, j, -2/19 in increasing order.
j, -2/19, u
Let a(c) = c**2 - 12*c + 23. Let u be a(9). Sort u, 9, 1/2, 5 in descending order.
9, 5, 1/2, u
Let j = 36.6 - 40. Let x = -3.03 - j. Let y = x - -0.03. Sort y, -3, -3/7 in ascending order.
-3, -3/7, y
Let g = 6 + -4. Put 1, g, 0 in ascending order.
0, 1, g
Let b = 0.027 + -0.227. Put 12/11, b, 5 in ascending order.
b, 12/11, 5
Let j(v) = -v + 5. Let a be j(0). Let k be -2 + 6 + 3/(-4 - -1). Put k, a, -1 in descending order.
a, k, -1
Let b = -1 - 1. Put b, 0, -1 in increasing order.
b, -1, 0
Let v be -5 - (-5 + 4/((-16)/(-4))). Put v, -27, 1, 0 in ascending order.
-27, v, 0, 1
Let o(j) = -4*j - 1. Let u(a) = 17*a + 5. Let t(v) = 9*o(v) + 2*u(v). Let f be t(-1). Put 0, -5, f in ascending order.
-5, 0, f
Suppose -5*y - 14 = 6. Put -1, 2, -3, y in descending order.
2, -1, -3, y
Suppose 3 = 5*a - 2. Let w = -4 - a. Suppose 10 = -3*q - k, -1 = -4*k + 7. Put 4, q, w in increasing order.
w, q, 4
Let l = -12 - -5. Let y be 0 - (-12)/l - -2. Sort 0.3, -2, y.
-2, y, 0.3
Let t = -4 - -4. Let p = -0.1 + t. Put -0.2, p, 5 in decreasing order.
5, p, -0.2
Let h(d) = d**2 + 11*d + 6. Let p be h(-11). Suppose 3*c = -2*q + p*q - 15, 4*c + 1 = -q. Suppose -4*z = 4 - 0. Sort q, 4, z.
z, q, 4
Let v = 7 + -5. Let i(f) = f + 1. Let t be i(v). Suppose t*o - 11 = -2. Put -5, o, -1 in increasing order.
-5, -1, o
Suppose 0 = l - 7 + 3. Suppose 7*c = l*c - 9. Let s(n) = n**2 - 4*n - 1. Let f be s(5). Sort c, 2, f.
c, 2, f
Let o(d) = d**2 + 5*d + 4. Let q be o(-5). Let j = -2 - -3. Let y be (-5)/7 + 4/(-14). Sort q, j, y in increasing order.
y, j, q
Let z be ((-72)/(-60))/((-3)/(-10)). Suppose -i = -3*w + 12, 2 = i + z*w - 7. Sort -4, i, -0.1.
-4, i, -0.1
Let w(n) = -n**2 - 6*n - 6. Suppose -q + 20 = -5*q. Let d be w(q). Sort -2, 3, d in increasing order.
-2, d, 3
Let t = -0.225 + -15.875. Let o = 16 + t. Sort -0.4, o, 2.
-0.4, o, 2
Suppose 0 = -2*a + 4. Put -3, a, -2, -5 in decreasing order.
a, -2, -3, -5
Suppose 0 = -3*y - 4 + 1. Let v be 0*3/6 + -4 + 1. Sort 5, v, y in descending order.
5, y, v
Let d = -17.8 - 3.2. Let j = d - -16. Put 0, j, 0.3 in descending order.
0.3, 0, j
Let f = 1.1 + -1. Put -1, f, 2/17 in decreasing order.
2/17, f, -1
Let w = 68 - 135/2. Put -5, 0, w in decreasing order.
w, 0, -5
Let f(d) = -d**2 - 11*d - 34. Let y be f(-6). Put -2/105, 0.3, y in increasing order.
y, -2/105, 0.3
Suppose -2*d = -2*r - 4, 3*r + 4 = -4*d + 19. Let i = -16 - -41. Suppose x = 6*x - i. Sort -1, d, x in descending order.
x, d, -1
Let j(c) = -c**3 + 5*c**2 - 4*c + 5. Let x be j(4). Let i = -2 + 9. Let v(w) = w - 5. Let s be v(i). Sort 4, s, x in decreasing order.
x, 4, s
Suppose 7*k - 1 = 8*k. Let v be (1 - -1)/(2/4). Put k, v, 1 in descending order.
v, 1, k
Let k be (2/(-4))/((-3)/18). Suppose 5*g - 35 = 5*w, -g + k*w - 4*w - 3 = 0. Sort g, -4, -0.1 in descending order.
g, -0.1, -4
Let y = 90 + -55. Suppose -2*u = 2*d - 5*u - y, 15 = -5*u. Let t = d + -9. Sort -4, t, 0.
-4, 0, t
Let s = -0.2 - -2.2. Let r = -3.2 - -3. Put s, 4, r in decreasing order.
4, s, r
Let f = -1.41 - -0.61. Sort f, -0.1, 4 in descending order.
4, -0.1, f
Let m = -0.3 + 1.1. Let g = 22.3 + -22. Let u = m - g. Put u, 5, 2/7 in descending order.
5, u, 2/7
Let v = -2 - -2.2. Let m = -0.2 + v. Let g = m - 1. Put 4, g, 2 in ascending order.
g, 2, 4
Let m(v) = v**2 + 3*v - 7. Let x be m(-5). Let c = 6/361 - 24205/1083. Let n = c + 22. Put 0, n, x in descending order.
x, 0, n
Let y = 35 + -35.11. Sort -4, y, -5, 0.1 in increasing order.
-5, -4, y, 0.1
Let u = 6 - 3. Let a = -7/240 - -4303/240. Let q = 18 - a. Sort q, -0.2, u in decreasing order.
u, q, -0.2
Suppose 0 = -4*z, 3*z + 12 = 6*t - 3*t. Put t, 2, 6 in increasing order.
2, t, 6
Suppose -32 + 36 = -b. Sort b, -0.4, -5, 0.1 in ascending order.
-5, b, -0.4, 0.1
Let u = -0.1 + 0.2. Let l = u + -0.11. Let x = l + -0.39. Sort -0.1, -3/5, x in increasing order.
-3/5, x, -0.1
Suppose 3*b - 3 = 3*k, 28 = 4*b - 0*b + 2*k. Sort b, -2, -3 in descending order.
b, -2, -3
Suppose q - 6 = -3. Let n = -2 - -10. Suppose -2*x = -0*x - n. Sort x, 5, q in descending order.
5, x, q
Let q(p) = p**3 + 8*p**2 + p + 10. Let g be q(-8). Let w = -7 + 4. Put -4, w, g in descending order.
g, w, -4
Let h = -9 - -14. Let y = 6 - 3. Sort h, -5, y.
-5, y, h
Suppose -26 = -3*o - 4*n, -5*o + n + 4*n - 15 = 0. Let u be ((-45)/(-24) - o)*3. Let l = -9 + 4. Sort l, u, 2 in descending order.
2, u, l
Let p(l) = -l**3 - 5*l**2 - 2*l - 10. Let c be p(-5). Let s = -2 + 1. Put -3, c, s in decreasing order.
c, s, -3
Let u = -2 + 2. Put -5, 5, 2, u in decreasing order.
5, 2, u, -5
Let b(t) = -t - 2. Let d be b(0). Suppose -k = -5*x + 6 - 16, 0 = 5*k - 2*x - 4. Put d, 5, k in decreasing order.
5, k, d
Let a be 3/(-2) + 2/4. Let c(m) = m**2 + 16*m - 33. Let y be c(-18). Sort a, 5, y in ascending order.
a, y, 5
Let r(s) = 2*s + 2. Let v be r(-6). Let y be 2/v + 39/45. Let n = 11 - 87/8. Sort -0.3, n, y in descending order.
y, n, -0.3
Let s(b) = -4*b**2 - 2*b + 1. Let c be s(1). Suppose -3*t - 10 = -5*t. Put t, 1, c in descending order.
t, 1, c
Let u be (-4)/(-14) - (-38)/14. Let v(q) = q**2 - 4*q - 5. Let n be 8/6*(-1 + 4). Let h be v(n). Put h, -4, u in decreasing order.
u, -4, h
Suppose -2*y - 5*m + 13 = -0*m, 5*m - 18 = 3*y. Sort 0, 5, y in increasing order.
y, 0, 5
Let o = -25 + 25. Put 2, -5, o in ascending order.
-5, o, 2
Let k = 3.35 - 0.35. Sort k, -0.1, -5 in decreasing order.
k, -0.1, -5
Let i = 13 + -12. Put 0.1, i, -5 in descending order.
i, 0.1, -5
Let k be (7/(-2) - 1)*-2. Let p be k/15 - 4/(-10). Let g(f) = f**3 - 20*f**2 - f + 19. Let w be g(20). Sort p, 0, w in increasing order.
w, 0, p
Let y be 2 + 0 - (-2 - -8). Suppose -2*z + z = -5. Suppose -2*