der.
0, o, 3
Let n(k) = k**2 + 2*k - 1. Let o be n(-6). Let l = o + -137/6. Sort l, -5, -2/7 in decreasing order.
l, -2/7, -5
Let k = -2.5 + 2.9. Put k, -2, 0.1 in descending order.
k, 0.1, -2
Let z(t) = -t**2 + 9*t - 11. Let d be z(8). Suppose -8*l = -7*l - 5. Sort l, d, 4 in decreasing order.
l, 4, d
Suppose 0*d = -d - 4. Let c = -22 - -19. Sort 3, d, c.
d, c, 3
Let w(x) = x**3 - 5*x**2 + 3. Let y be w(5). Suppose y*v = 5*b - 25, -b + 2 = 3*v - 3. Sort 3, b, -3 in ascending order.
-3, 3, b
Suppose -3*w - 7 = -h - 1, 3*h = -2*w + 18. Suppose -3*k = 5*i + 19, -6 + 41 = -5*k - 5*i. Let t = k + h. Put -3, 5, t in increasing order.
-3, t, 5
Let t = -7.8 + 2.8. Sort 2, t, 2/13 in descending order.
2, 2/13, t
Let r = -0.3 - -10.3. Sort -4, -0.2, r.
-4, -0.2, r
Let q = -3.2 - 1.8. Sort 0.1, -5/2, q in decreasing order.
0.1, -5/2, q
Let w = 0.32 + -0.22. Sort -5, w, 0.2 in increasing order.
-5, w, 0.2
Let g(d) = -2*d - 2*d + 0*d**2 - d - d**2 - 4. Let m be g(-5). Sort 0, m, 5 in ascending order.
m, 0, 5
Let k(v) = -16*v**2 + 4*v - 11 + 5*v**2 - v**3 - 5*v. Let c be k(-11). Put 1, -5, c in descending order.
1, c, -5
Let l(h) = -h + 7. Let s be l(5). Suppose -4*t - 2 = -s*t. Let j be 18/4 + (-2)/(-4). Sort t, -2, j in increasing order.
-2, t, j
Let v(r) = -3*r**2 + r + 1. Let m be v(-1). Let z(q) = q**3 + 4*q**2 - q - 1. Let b be z(-4). Put m, 4, b in descending order.
4, b, m
Let g = 65 + -70. Sort -2, -3, g in decreasing order.
-2, -3, g
Let x = 22 - 25. Suppose j = 3*k + 5*j - 14, 4*k = -5*j + 17. Let v = k - -4. Sort v, 4, x in decreasing order.
4, v, x
Let w(t) = t - 9. Let d be w(10). Let j = 4 - d. Sort -4, 1, j in decreasing order.
j, 1, -4
Let k = 13.6 - 14. Sort k, -3, 2/3 in descending order.
2/3, k, -3
Let o = 3 - 7. Suppose -5*i + 50 = -5*t, -3*t + 0*t = -5*i + 52. Let v(f) = -f**3 + 11*f**2 - f + 6. Let z be v(i). Put z, 1, o in descending order.
1, o, z
Suppose -7*o + 38 = 3. Suppose 17 - 5 = -4*n. Put n, o, 1 in descending order.
o, 1, n
Suppose 0*v - 6 = 3*v. Put 6, -5, v in decreasing order.
6, v, -5
Let v = -24.7 - -24. Put -1/4, v, 2 in ascending order.
v, -1/4, 2
Let m = -2/57 - 17/57. Let n = 0.8 + -1.2. Put m, 5, n in ascending order.
n, m, 5
Let a = 4 - 7. Put a, -4, 3 in decreasing order.
3, a, -4
Let i(s) = -s**2 - 4*s - 2. Let x be i(-4). Let b(a) = 10*a - 56. Let f be b(6). Put x, f, 0 in increasing order.
x, 0, f
Suppose 13*q - 23 = -114. Let j be 0 - 0 - (1 - 0). Sort -2, q, j.
q, -2, j
Let n be (3/15)/((-1)/2). Suppose -2*h = 5 - 13. Sort n, 1, h in descending order.
h, 1, n
Let x = -1.34 + 0.94. Let w = 3.8 - 4. Put 1, w, x in increasing order.
x, w, 1
Suppose -3*z + 15 = 2*n - 7, -4*z = 3*n - 30. Let s = z + -4. Let q(p) = -p - 7. Let w be q(-7). Put s, 5, w in descending order.
5, s, w
Let d(r) = -r**2 - 7*r + 4. Let u be d(-8). Put -0.5, 0.5, u in descending order.
0.5, -0.5, u
Suppose 4*m - 21 = 7. Suppose m = 3*z - 2. Put -5, 4, z in decreasing order.
4, z, -5
Let p be (-58 + 0)*1/1. Let x = 233/4 + p. Sort x, -1/3, -2/7 in descending order.
x, -2/7, -1/3
Let l = 1 - 1. Let q be -2 + 2 - -4 - 2. Sort l, -3, q.
-3, l, q
Let x = 1 + -1. Let z = 0.5 - x. Let t = -16 - -20. Sort t, -1, z in decreasing order.
t, z, -1
Let q be 9/6 + (-651)/(-6). Let i be (-2)/11 - (-42)/q. Sort 0, 2/9, i in descending order.
2/9, i, 0
Let d = -52.9 - -40. Let l = d - -13. Let b = 5 + -1. Sort l, -0.3, b in descending order.
b, l, -0.3
Let p(b) = -2*b + 5. Let f be p(5). Suppose 4*m + 1 - 9 = 0. Let x = -2 - m. Put f, 1, x in descending order.
1, x, f
Suppose t - 12 = -4*l, 24 = 2*t - 0*l + 4*l. Let m = -10 + t. Sort 3, -3, m.
-3, m, 3
Let y(f) = -f**3 - 13*f**2 - 23*f - 6. Let n be y(-11). Put n, 0, 14 in descending order.
14, n, 0
Let o = -20 + 20. Sort o, -0.4, -2 in increasing order.
-2, -0.4, o
Let t(a) = -a + 1. Let k be t(0). Let g(p) = -4*p + 7 + 2*p + p**3 - 3 - 3*p**2. Let m be g(3). Sort m, 4, k in ascending order.
m, k, 4
Let l = -6 + 7. Put 1/6, 0, l in descending order.
l, 1/6, 0
Suppose 2*j - 4*m + 2 + 10 = 0, 8 = -j + 3*m. Put 2, 0, j, 5 in descending order.
5, 2, 0, j
Let n be (-2)/(-1)*(3 - -3). Let r = n - 7. Sort -2, 8, r in decreasing order.
8, r, -2
Let m(g) = 5*g + 2. Let t be m(-2). Let n = t + 5. Sort 1, 8, n.
n, 1, 8
Let r = 0.9 - 1.8. Let m = -2.9 - r. Sort m, 2/13, -0.3 in descending order.
2/13, -0.3, m
Let v be (-6)/((6 - 3) + -1). Suppose 0 = 4*k - 2*k + 12. Let c be (-4)/(0 + 2) - k. Sort c, 1, v.
v, 1, c
Let k be 0 + 0 - 32/1. Let q = -97/3 - k. Let z = -3 - -5. Put z, q, -3 in descending order.
z, q, -3
Let j(v) = v**2 + 5*v - 2. Let s be j(-5). Let l be s*(1 + (-6)/(-4)). Sort 4, -3, l.
l, -3, 4
Suppose -3 = -3*z - 6. Let t = z + 4. Suppose 0 = -5*n - r - 7 - 1, -3*r = 3*n. Put t, 4, n in decreasing order.
4, t, n
Suppose -3*a = 3*o, -3*a - 5*o = 2 - 0. Put 2, -1, a in ascending order.
-1, a, 2
Let t = 2 - -2. Sort t, -2, -4 in decreasing order.
t, -2, -4
Let y(g) = 2*g + 2. Let b be y(2). Let f be 0*(-2)/b - -5. Suppose 8 = f*v - 7. Sort 5, -2, v in increasing order.
-2, v, 5
Let o = -9 - -9.3. Sort 0, -0.2, o in decreasing order.
o, 0, -0.2
Let b be (6/9)/(2/(-6)). Let s = -35 - -34. Put 3, b, s in ascending order.
b, s, 3
Let l = 1.34 - 4.34. Let a = 2.9 + -3. Put l, -1/5, a in increasing order.
l, -1/5, a
Let s be (-6)/4*(-10)/60. Put 1, -32, s in ascending order.
-32, s, 1
Let w be (-6)/15 + 26/(-10). Let u be (-5 - w)*-1*-1. Sort 0.3, -0.2, u in decreasing order.
0.3, -0.2, u
Let l = 1 + 4. Suppose -4*x - 4*i = 0, l*x - 3*i - 26 - 6 = 0. Suppose -3*t + 3*g = 9, -2*g - 12 = 5*t - x*g. Sort t, 4, 3.
t, 3, 4
Suppose -4 = -0*c - 2*c + 3*z, -4*z = 2*c + 10. Suppose -2*w = 7 + 3. Put w, 5, c in ascending order.
w, c, 5
Suppose -c + 3*i + 17 = -6*c, -24 = 5*c - 4*i. Sort c, -8, 3 in decreasing order.
3, c, -8
Let f(a) = -a + 5. Let d be f(3). Let p be -2*(1 - d/4). Sort -4, p, 5.
-4, p, 5
Let o(l) = -l - 1. Let h be o(-1). Let r = -165 - -170. Put h, -1, r in decreasing order.
r, h, -1
Let d = 2 - 1.8. Put 1/3, d, -0.4 in decreasing order.
1/3, d, -0.4
Suppose 0*n - n + 4*w + 22 = 0, 8 = 4*n + 4*w. Let k be (-36)/n - (-3 + 2). Put 4, k, 2 in descending order.
4, 2, k
Let t = -6 - -5.89. Let p = 46 - 45.69. Let n = t + p. Sort -0.5, 0, n in decreasing order.
n, 0, -0.5
Let a(c) = c + 6. Let m be a(-7). Let s be (-4 + 3)/(1/1*-1). Put -4, s, m in decreasing order.
s, m, -4
Suppose -5*r + 6 = 2*z - 16, z - 9 = -2*r. Suppose -4*k - l = r, k + 5*l = 6*k + 30. Sort k, -0.4, -3.
-3, k, -0.4
Let x = 2 + -6. Put 1/6, x, 5/3 in ascending order.
x, 1/6, 5/3
Let t = -40 - -35. Let a be -3*(-1*2 - -1). Sort t, a, -2 in decreasing order.
a, -2, t
Let l = -0.22 - 0.18. Let o = 0.2 - -0.8. Put o, -0.2, l in descending order.
o, -0.2, l
Let b = 0 - -3. Let i be 208/48 + -3 + 0 - 1. Sort b, -0.4, i in decreasing order.
b, i, -0.4
Suppose -3*o = a - 1 + 15, -6 = -3*o + 3*a. Suppose -11*w + 9*w - 13 = 5*z, -3*z - 11 = 2*w. Sort -4, z, o in ascending order.
-4, o, z
Let l be 1*-2 - -2 - 1. Let f = -473 + 469. Sort -3, l, f in increasing order.
f, -3, l
Let b = -3/20 - 1/20. Sort b, 1, -2 in ascending order.
-2, b, 1
Let u = -104 + 112. Sort 3, u, -5 in decreasing order.
u, 3, -5
Let w(s) = 2*s**3 + 3*s**2 + 3*s + 2. Let d be w(-2). Let k(g) = g**3 + 8*g**2 - g + 1. Let l be k(d). Let j be (-6)/4*(-30)/l. Sort 1, -5, j.
-5, 1, j
Let a(t) = -t**3 + 2*t**2 - 3*t + 6. Let p be a(3). Sort p, 0.4, 1/5 in increasing order.
p, 1/5, 0.4
Let g(i) = -i**3 + 3*i**2 - i - 1. Let c be g(2). Let m = 1 - c. Sort 4, m, -1.
-1, m, 4
Let f = 11 - 6. Suppose 15 = 5*a + f. Let m = 0.07 - 0.17. Put m, -2/11, a in increasing order.
-2/11, m, a
Suppose -4*j - 3 = 5. Let t be j + (-33)/(-9) - 3. Put -0.2, -0.5, t in descending order.
-0.2, -0.5, t
Let y(b) = b**2 - 10*b - 4. Let m be y(10). Let l = m + 9. Let k be 0 + -2 + 4/(-2). Put k, l, 0 in increasing order.
k, 0, l
Let z = 3 + -2.8. Let i = -1213/2135 - 1/305. Put 4, i, z in increasing order.
i, z, 4
Let c(v) = v**3 + 6*v**2 - 2*v - 15. Let b be c(-6). Put -1, 4, b, 2 in decreasing order.
4, 2, -1, b
Let y(q) = q**3 - 12*q**2 - 2. Let x be y(12). Sort x, 4, 5.
x, 4, 5
Let t(r) = r + 7. Let d be t(-11). Sort d, 1, 0 in decreasing order.
1, 0, d
Let v = 555.09 + -559. Let l = -0.09 + v. Let 