/13, f
Let z be 2/(4/2)*5. Let p be ((-4)/(-8))/(21/12). Put p, -0.2, z in decreasing order.
z, p, -0.2
Suppose -3*w = 4*h - 9 - 18, -5*w + 25 = 0. Let p be (-6)/9 + (-1)/(-2). Put -2/17, p, h in decreasing order.
h, -2/17, p
Suppose 3*m + 4*c = 3, 3*c = 2*c. Sort m, 3, 5.
m, 3, 5
Let a = 5.4 - 5. Let h = 3/175 + -213/175. Put a, h, -1/3 in descending order.
a, -1/3, h
Let x be (4/5)/((-2)/(-10)). Suppose 4*p + 0 = -24. Put x, -3, p in ascending order.
p, -3, x
Let h = -164 + 163. Put 16, 1, h in ascending order.
h, 1, 16
Suppose -2*t - 1 = -7. Suppose -t = 3*j - 0*j. Let b(d) = -d**3 - 4*d**2 + 2. Let a be b(-4). Sort j, 3, a in decreasing order.
3, a, j
Suppose -2*c = -o + 6, -4 = -4*o - 20. Let l = 0.1 - -0.1. Sort l, c, -3 in decreasing order.
l, -3, c
Suppose -10 = 4*b - 22. Let h be b*(-4 - (-3 + 0)). Put -5, h, -2 in decreasing order.
-2, h, -5
Let t = 11 - 13. Sort 4, -1, t.
t, -1, 4
Let i = -166 - -162. Sort 10, i, -8 in decreasing order.
10, i, -8
Let y = 0.6 - 3.6. Let h = -46.9 - -49. Let t = h - 2. Sort y, t, -1 in increasing order.
y, -1, t
Let s(q) be the third derivative of -q**5/20 + q**4/24 - q**3/6 + 2*q**2. Let a be s(1). Sort a, -1, 2 in decreasing order.
2, -1, a
Let r = 10 + -13. Suppose 5*y - 13 = b - 6, -5*b + 15 = 0. Put 3, r, y in decreasing order.
3, y, r
Let o(d) = -d + 4. Let q be o(0). Sort 5, -5, q in ascending order.
-5, q, 5
Suppose -5*r = 4*x + 20, 4*x + 16 = -4*r + 6*x. Let p(t) = -2*t + 10. Let m be p(-7). Let s be m/(-4)*4/(-6). Sort s, 2, r.
r, 2, s
Suppose -3*p - 92 = -2*i, -2*p + p - 16 = 3*i. Let k be (-2)/(-4) - p/8. Suppose -d + 1 = z + 3, -4*d - 2*z - k = 0. Sort 2, d, 3 in increasing order.
d, 2, 3
Let z = 99.3 - 99. Let d(l) = -l**3 + 8*l**2 - 7*l - 2. Let v be d(7). Let j be (-27)/21 - v/7. Sort j, 2/11, z in descending order.
z, 2/11, j
Let l be 2*-1*9/6. Put -2, 4, l in ascending order.
l, -2, 4
Suppose 67 = 4*f - 3*l, -2*l - 3 = -1. Let g = f + -19. Sort 1, g, 0 in descending order.
1, 0, g
Suppose 3 + 12 = 5*w. Put -7, w, -2 in descending order.
w, -2, -7
Let i be (-66)/(-231) - (-72)/(-7). Sort -4, 0, i, -2.
i, -4, -2, 0
Suppose -18*a + 70 = -4*a. Sort a, 8, 3.
3, a, 8
Suppose -2*b - 5 = -p + b, -3 = 3*b. Let f(v) = -v + 2. Let x be f(4). Put p, x, -1 in descending order.
p, -1, x
Let j = 326 - 322. Suppose 0 + 5 = -d. Put j, d, -3 in ascending order.
d, -3, j
Let n = -12 - -34. Let q be 0 + -2 - (-56)/n. Let o = -0.4 - 0.1. Sort -4, q, o.
-4, o, q
Suppose -17*d + 18*d = 3. Put 4, -1, d in ascending order.
-1, d, 4
Suppose -5*b + 5*k + 34 = 4, 0 = 3*b - 5*k - 18. Suppose -3*l = -b, 3*l - 11 = -x + 2*x. Let t be ((-4)/(-35))/(1/x). Put t, -1/9, -3/4 in decreasing order.
-1/9, t, -3/4
Suppose -6*f + 8 = -4*f. Let x be (5/2)/(1/(-16)). Let u be x/385 - f/(-14). Put u, -3, -0.4 in increasing order.
-3, -0.4, u
Let z = -7 + 4. Let t be 2/7 - 32/14. Let d be (t - (-5)/2)*-2. Sort z, -4, d in increasing order.
-4, z, d
Let c(t) be the first derivative of t**4/4 + 4*t**3/3 + t**2/2 - 4*t + 3. Let y be c(-3). Suppose -4*i = -0*d + y*d - 6, -30 = -5*i + 2*d. Sort i, -1, 0.
-1, 0, i
Let t be (-4)/(-16) + (-26)/8. Suppose -u = -6*u - 10. Let l(g) = g + 1. Let m be l(4). Sort u, t, m in decreasing order.
m, u, t
Suppose 4*d - 46 = 3*i + 64, 0 = 2*i - 2*d + 72. Let r be (-12)/(-30) + i/60. Put r, 2/3, -3/8 in descending order.
2/3, r, -3/8
Let p = -3 + 7. Let g be (-44)/12 - 2/(-3). Let l be (-1)/2 - g/2. Put 2, p, l in increasing order.
l, 2, p
Suppose -4*k + 2*k + 5*d - 17 = 0, 0 = 4*k - 3*d + 13. Let r(p) = 4*p. Let m be r(k). Put 4, 3, m in decreasing order.
4, 3, m
Let y be (-35)/14*2/20. Put y, -3/7, 1/2 in descending order.
1/2, y, -3/7
Let b be 9/(-4) - -2 - (-30)/(-8). Sort 3, -0.4, 5, b.
b, -0.4, 3, 5
Let c = -0.353 - 0.047. Suppose -32 = -u - 3*u. Suppose 3*a = 20 - u, g + 5*a - 25 = 0. Sort c, g, 3/4 in decreasing order.
g, 3/4, c
Suppose 0*z + 3*f = 5*z + 74, 28 = -z + 5*f. Let v = 19 + z. Let i(h) = -h + 8. Let t be i(v). Put t, -2, -3 in decreasing order.
t, -2, -3
Suppose 4 = y + 2*j, 0*j - j + 2 = 4*y. Let l(q) = -q**2 + q - 2. Let p be l(y). Let r be (-2)/3*2*-3. Sort p, 3, r.
p, 3, r
Let a(r) = r + 6. Let y be a(-6). Let d(h) = 5*h - 3*h**3 + 2*h**3 - 5 + y + 4*h**2. Let i be d(5). Sort 1, i, 5 in decreasing order.
5, 1, i
Let d = 9 + -15. Let z = 5.8 + d. Sort 2/13, z, -0.1.
z, -0.1, 2/13
Let c be 5/(5/2) + -3. Let f be ((-1)/3)/((-1)/9). Put f, 1, c in decreasing order.
f, 1, c
Let i(n) = -4*n**3 + 2*n**2 + 3*n + 1. Let l be i(-2). Suppose 0 = -5*k + f + 3*f, 5*k + 3*f = l. Let x = 11 + -6. Sort k, x, -3 in ascending order.
-3, k, x
Suppose 6 = -3*p + p - q, 0 = -q - 2. Let f = -14 - -16. Sort 3, p, f.
p, f, 3
Let l(b) = b - 4. Let f = -5 - -7. Let d be l(f). Sort 4, d, 2.
d, 2, 4
Let f = 102 + -103. Suppose -4*v - 4*b + 24 = 0, 3*b + 2*b = 5*v - 20. Sort v, f, -2 in descending order.
v, f, -2
Suppose -3*z + 15 = 0, -o + 4*z = -2*o + 17. Let u be (-3)/o + 26/(-30). Sort u, 0.2, 1 in decreasing order.
1, 0.2, u
Let q(g) = -g - 2. Suppose 4 = 5*d - 3*t - 20, -15 = -3*d + 2*t. Suppose -b + 0*b - 1 = 0, -v + d*b = 0. Let k be q(v). Sort -4, 5, k in decreasing order.
5, k, -4
Suppose 5*c + 13 = 5*v - 7, -4*c = -12. Let k(g) = g**3 - 8*g**2 + 7*g - 3. Let u be k(v). Sort 5, 1, u in ascending order.
u, 1, 5
Let p = 0.97 - 0.17. Let a = 0.2 - p. Sort -0.2, -2, a in decreasing order.
-0.2, a, -2
Let r = -22 - -19.8. Let k = r - 0.8. Let x be ((-93)/(-7))/(-3) + 4. Sort x, k, -0.2 in ascending order.
k, x, -0.2
Let a be 2/(-2) + 14/(-7). Let n = -4 - a. Put -5, 1, n in descending order.
1, n, -5
Let y be (-13)/(-104)*(-3 + 1). Put 0, y, -2/9 in decreasing order.
0, -2/9, y
Let u = 66.1 - 66. Let r = 2 + -1. Sort -4, u, r in decreasing order.
r, u, -4
Let n(j) = j**2 + 3*j - 7. Let u be n(-5). Sort 0, u, -2 in descending order.
u, 0, -2
Let i = 0 + -15. Put 0.1, 5, i in descending order.
5, 0.1, i
Let g(n) = -n**2 - 6*n - 4. Let b = -10 + 7. Let u be g(b). Let r(o) = -2*o - 6. Let j be r(-4). Put 0, j, u in ascending order.
0, j, u
Let n = -38.3 - -38. Sort 1/10, -0.1, n, 2/23.
n, -0.1, 2/23, 1/10
Let c(o) = -4*o. Let v(b) = 3*b. Let x(t) = 2*c(t) + 3*v(t). Let r be x(1). Let h be -5 + -1 + (-1 - -2). Sort r, 5, h.
h, r, 5
Let m be (-6)/(-12)*0 - -5. Sort m, -4/5, 4, -0.1 in decreasing order.
m, 4, -0.1, -4/5
Let i = -3 + 2. Let r = -3 - i. Let a = 9.7 - 9.2. Sort r, a, 0.1 in ascending order.
r, 0.1, a
Let o be (-4)/(-18) - 43/(-9). Sort o, -2, 1 in decreasing order.
o, 1, -2
Let o = -19 - -22. Sort 1, -2, o in decreasing order.
o, 1, -2
Let q(n) = n**3 - 21*n**2 - 23*n + 30. Let t be q(22). Put 5, 3/8, t in increasing order.
3/8, 5, t
Suppose -4*n + 7*n = 0. Let y = -3 - n. Put 4, 3, y in increasing order.
y, 3, 4
Let g = -15 + 11. Let l(h) = -h**3 + 6*h**2 + 6*h + 10. Let b be l(7). Sort b, 0, g in ascending order.
g, 0, b
Let r(l) = l**2 - 9*l + 7. Let s be r(8). Suppose 0 = -g + 3*g - 3*w + 9, 0 = 5*g + w - 3. Put 4, s, g in decreasing order.
4, g, s
Suppose -1 = -4*b - 9. Sort 1, 2, b in decreasing order.
2, 1, b
Let r = 2/111 - 80/333. Let s(n) = -n**2 + n + 1. Let z be s(-1). Put z, 4, r in increasing order.
z, r, 4
Suppose 2 = o + o. Let a(f) = -f - 1. Let q be a(1). Put o, q, -1 in ascending order.
q, -1, o
Suppose -33 = 9*r - 6*r. Let n = -13 - r. Sort -5, 5, n.
-5, n, 5
Suppose -o - 3*o = -20. Let q = -21 - -20. Sort q, o, -4.
-4, q, o
Suppose 0*j - 3*j = 57. Let d be 1*(21/j + 1). Let r be -6*((-136)/(-132) + -1). Put d, -0.4, r in descending order.
d, r, -0.4
Suppose n - 3*u = -1, -2*u = 3*n - 7*n - 4. Put 15, n, 5 in increasing order.
n, 5, 15
Let j(g) = g**3 - 6*g**2 - g + 1. Let b be j(6). Let d(m) = -m**3 + 7*m**2 + 8*m - 1. Let i be d(8). Let l be i + 1/(-1) + 1. Put l, b, 1 in decreasing order.
1, l, b
Let p = -4 + 1. Suppose 2*f = -2*f. Let r = 33 + -32. Put f, r, p in decreasing order.
r, f, p
Let o be -2 + (-12)/(-5) + (-3)/(-5). Let x = -2 + 4. Let z be (o - 1)/(2/x). Put -4, 4, z in decreasing order.
4, z, -4
Let g = -0.36 - -4.36. Put 1, -4, g in increasing order.
-4, 1, g
Let b be 2/6*-3 - 1. Let z be b/(-6) + 7/(-21). Sort z, -4, 3 in increasing order.
-4, z, 3
Let o be (-4)/18 + 280/45. Sort 4, -4, o in increasing order.
-4, 4, o
Let l(b) = -b**3 + 8*b**2 + 10*b