der.
-1/3, -1/4, n, 3/7
Suppose 3*t - 15 = 2*o, -15 = -3*t + 2*o - 5*o. Let w = -17 - -13. Put -5, w, t in increasing order.
-5, w, t
Let l be 65/(-9) + (-6)/(-27). Sort l, -5, -4 in ascending order.
l, -5, -4
Let w(d) = 2*d + 6. Let t be w(-2). Sort t, 5, -5 in descending order.
5, t, -5
Let f = -4.9 - -5. Suppose -c + 5 = 4*m - 3, 0 = -c + 2*m + 2. Let u = -3 - 2. Put f, c, u in increasing order.
u, f, c
Let k(m) = 5*m - 1. Suppose o - 3*o + 2 = 0. Let i be k(o). Let c be -4 + (1 - (-2)/2). Put c, 2, i in descending order.
i, 2, c
Let b(m) = m - 8. Let o be b(4). Let x = 19 + -10. Suppose -a + x = 7. Sort o, 1, a.
o, 1, a
Let s be ((-45)/18)/((-1)/(-2)). Put -2, 1, s in decreasing order.
1, -2, s
Suppose -5*j - 4*w - 10 = 0, 9*w - 2 = j + 6*w. Suppose 1 + 14 = -3*n, 5*n = -4*c - 25. Let r be 1/1*c/1. Put j, r, -3 in descending order.
r, j, -3
Let h be 1 - 0 - 19/17. Let g = 65 + -70. Put g, -4, h in ascending order.
g, -4, h
Suppose 0 = j + 6 - 4. Sort j, 1, 3 in ascending order.
j, 1, 3
Let f be 2/8 + 33/12. Suppose -2*a + f*a = -2. Suppose -3*b - 3*o = -o + 4, -5*b - o = 2. Sort b, -5, a.
-5, a, b
Let s = 5 - 1. Suppose 6 - 18 = -s*g. Let c be (-6)/(-10)*(-2)/3. Put 1/12, g, c in decreasing order.
g, 1/12, c
Let a be 3/2*(-6)/9. Suppose 3 = -4*x + 11. Put 3, a, x in increasing order.
a, x, 3
Let y = -174056/7 - -24916. Let l = 51 - y. Sort l, -4, -1 in increasing order.
-4, -1, l
Let s(t) = -t**2 + 16*t + 6. Let c be s(16). Let z be (2/c)/(0 + -1). Let h = -0.1 + 0.1. Put z, 1/2, h in decreasing order.
1/2, h, z
Suppose 14 = -4*k - 14. Put 3/7, k, -4 in decreasing order.
3/7, -4, k
Suppose 0 = 3*y - 0*k - 4*k - 3, 2*y + k - 2 = 0. Sort y, -4, 2 in descending order.
2, y, -4
Let f = 4 + -2. Let d(y) = 2*y**2 + 1. Let k be d(1). Let s be 3 - 1/(2 - k). Sort s, 5, f.
f, s, 5
Let m(n) = n**3 + 6*n**2 + 6*n + 4. Let p be m(-5). Let a be p/(-10)*(1 + -5). Suppose -7 = -4*k + 1. Sort a, 0.4, k in ascending order.
a, 0.4, k
Let j = -66 + 63. Let t be -1 - -2*22/36. Sort t, 1, j in decreasing order.
1, t, j
Suppose -5*t + 22 = -a, 5*t - 28 = 4*a - 0*t. Sort 0, a, 3 in decreasing order.
3, 0, a
Let o = -2 + 3. Let k = 11.8 + 0.2. Let s = k - 7. Sort -0.4, o, s.
-0.4, o, s
Suppose -j + 2*z = 9, -4*j + z - 3*z - 6 = 0. Let m(q) = -q + 4. Let x be m(0). Let b(s) = 2*s + 2. Let v be b(-3). Put v, j, x in decreasing order.
x, j, v
Suppose -4 = -3*u + 14. Suppose -1 = -2*p + m, 0 = -2*m + u*m + 20. Put 3, p, -3 in decreasing order.
3, p, -3
Suppose 18 = -q - 5*w, w - 5*w - 32 = 3*q. Sort -4, 1, q.
q, -4, 1
Let q(r) = 1 + 8 - 1 - 2*r. Let m be q(6). Sort m, 4, 0 in ascending order.
m, 0, 4
Let u be 4 + (-87)/18 - (-6)/(-9). Sort 4, u, -3 in ascending order.
-3, u, 4
Let i be (-2*1/(-6))/(6/90). Let q be (2 + -11)/(6/(-4)). Let v be (-34)/q + 2/3. Sort v, i, -3 in decreasing order.
i, -3, v
Let r be 308/(-55) + (-4)/10. Let q be (3 - 3)*3/r. Sort q, -3, -2.
-3, -2, q
Let y = -618 + 618.5. Let g = 9 - 4. Sort 1, g, y in decreasing order.
g, 1, y
Let z(v) be the second derivative of v**4/12 - v**3 + v**2 + 4*v. Let s be z(4). Put 3, s, 2 in increasing order.
s, 2, 3
Let f = 115/378 - 1/54. Let a = -26 - -25.56. Let v = a + -0.06. Sort 0.4, v, f.
v, f, 0.4
Suppose 0 = 4*w + 3*k, -w = k + 3*k. Suppose 0 = -2*r + 20 + 30. Suppose 4*g - 19 = 5*a + 2, 5*g + r = -4*a. Sort g, -2, w.
-2, g, w
Let q = -2 - -2.8. Let o = -0.5 + q. Let x = -8 + 5. Sort x, 1/9, o.
x, 1/9, o
Let l = 2 - -1. Let f be (-1)/(-1) + -4 + l. Suppose -2*j = -3*d - j - 19, 5*d - 3*j + 37 = f. Put 5, 4, d in increasing order.
d, 4, 5
Let f = -0.2 + 0.2. Let x = -144/55 + 14/5. Let r = -336/5 + 67. Sort x, r, f in decreasing order.
x, f, r
Let u = -8.5 + 8.3. Sort 2/53, u, 0.4 in descending order.
0.4, 2/53, u
Let q = 0.057 - -0.843. Sort q, -0.1, -0.4 in descending order.
q, -0.1, -0.4
Let a = -3.3 + -0.7. Let c = -18.2 - -18. Put a, c, -2/17 in decreasing order.
-2/17, c, a
Let y = -1 - 1. Let p be 1/y - (-1)/(-2). Sort -4, p, 3 in decreasing order.
3, p, -4
Let l be (-2241)/(-21) + (-4)/(-14). Let a = l - 532/5. Put 0, a, -0.1 in descending order.
a, 0, -0.1
Let m(i) = i + 5. Let k be m(-3). Suppose -2*r + 15 = -u + 40, u - 5 = -2*r. Suppose -4*n - u = 1. Sort n, -5, k.
-5, n, k
Let n be 1*(0 - 19/1). Let t = 15 + n. Sort -3, 1, t.
t, -3, 1
Suppose 3*y - 6 = -i + 6*y, 4*y + 8 = 0. Suppose i*m - m + 1 = 0. Put -3, m, -2 in descending order.
m, -2, -3
Let t be (-24)/(-30) + -4*(-2)/(-10). Let d be 4*-1*3/(-6). Put t, -4, d in descending order.
d, t, -4
Let j be (-31)/(-4) + 2/8. Suppose 3*g + j - 23 = 0. Let o be 0*2/(-2) + 3. Put g, -4, o in increasing order.
-4, o, g
Let j = 3 - -1. Let l = -1.6 + 3.6. Sort l, 5, j in decreasing order.
5, j, l
Let a be (8/10)/(6/(-15)) - 1. Put 2, 0, a, 4 in decreasing order.
4, 2, 0, a
Let h(a) = -a**3 + 6*a**2 - 5*a - 5. Let u be h(5). Let y be 6*1*1/3. Suppose 6 = 2*f + y. Sort f, u, -3 in ascending order.
u, -3, f
Suppose 6*x = 2*x - 4. Suppose 0*z + 3*z = 6. Suppose 4*g - 2 - 2 = 0. Put g, z, x in ascending order.
x, g, z
Let w = -16 + 16. Put -5, w, -2 in increasing order.
-5, -2, w
Let h = -5.4 + 0.4. Sort 4, -10, h.
-10, h, 4
Suppose -s + 14 = 3*c, 6*s + 5*c - 40 = s. Put 4, 1, s in descending order.
s, 4, 1
Suppose 0 = 4*u + 2*s + 10, -3*u - 1 = -8*u + 2*s. Sort -2, u, 0 in decreasing order.
0, u, -2
Let k = -0.14 - -0.1. Let d(y) = -9*y - 37. Let q be d(-4). Sort k, -3, q in descending order.
k, q, -3
Let p = 23 + -15. Let r be ((-9)/24)/(4/p). Sort r, -2, 3.
-2, r, 3
Let d(c) = -5*c**2 - 31*c - 6. Let g be d(-6). Let s = -1 + 2. Let p = 0 + s. Put p, -3, g in descending order.
p, g, -3
Let l be (-3)/(((-8)/2)/192). Let h be (-6)/27 + 140/l. Sort -0.5, h, -3 in ascending order.
-3, -0.5, h
Let w(s) be the first derivative of -s**4/4 - s**3 + 3*s**2 + 5*s + 2. Let b be w(-4). Suppose 2*j - 2 = 5*l, 3*j - 2 = -5*l + j. Sort -4, b, l.
-4, b, l
Let l = -16 - -27. Let w = l + -10. Sort 3, w, -0.3.
-0.3, w, 3
Let c = 55.9 - 56. Put -1, 4/7, -1/4, c in descending order.
4/7, c, -1/4, -1
Let u(g) = -g**3 + 3*g**2 - g + 4. Let x be u(3). Sort -5, x, -2 in increasing order.
-5, -2, x
Let h = -314/5 + 63. Let f = -109/3 - -37. Put -1/4, f, h in descending order.
f, h, -1/4
Let j(d) = -d**3 - 2*d**2 + 3*d + 3. Let x be j(-2). Let f be (1 + -1)/(6/3). Suppose f = 3*t + l - 4 - 3, 2*l = -4*t + 8. Put 0, x, t in ascending order.
x, 0, t
Suppose 0 = 2*s + s + 9. Let c = 53 + -54. Let p(j) = -3*j. Let h be p(-1). Sort c, s, h in decreasing order.
h, c, s
Let q = 94 - 99. Sort -9, -4, q in ascending order.
-9, q, -4
Let w be 0 + 3 + 0/1. Suppose 3*q = w + 3. Put q, 1, -2 in decreasing order.
q, 1, -2
Let u(s) = s**3 + 10*s**2 + 8*s - 11. Let k be u(-9). Let a be (1 + 1)*-1*-1. Suppose -5*d = 5*c, c = -a*c - 12. Sort k, d, -3 in ascending order.
-3, k, d
Let j be (-12)/(-4)*8/(-6). Let g be (8/(-176))/(1/j). Put -5, 2, g in decreasing order.
2, g, -5
Let m = 1 + -6. Sort -0.2, -0.9, m in ascending order.
m, -0.9, -0.2
Let j be 1 - (-1 - 1)/2. Suppose 4*o - j = -6. Sort 0.4, -2, o in descending order.
0.4, o, -2
Suppose -2*w - o - 101 = -7*w, 4*o - 16 = -w. Suppose 0 = d + 3, 4*m + d - w = -7. Let l(h) = h**2 + 6*h + 5. Let q be l(-4). Sort q, 3, m.
q, 3, m
Let j = 2.4 + -7.4. Put 3/4, 0.06, j in descending order.
3/4, 0.06, j
Let b = 135.2 + -123. Let i = b - 7.3. Let r = -0.1 - i. Put r, 2, 1 in ascending order.
r, 1, 2
Suppose 2*q - 7*q = -20. Suppose -q*u + 6 = -2*u. Suppose 0 = -5*d + 4*m + 25, 6*d - 3*m - 10 = 4*d. Put 4, d, u in decreasing order.
d, 4, u
Let j = -0.01 - -4.51. Let v = 0.5 - j. Put -0.5, -0.1, v in decreasing order.
-0.1, -0.5, v
Let n = -12 - -6. Let p be (-24)/(-9) - 2/n. Suppose -11 = -3*x - 4*t - 1, 9 = 3*x + 3*t. Sort x, p, 4 in ascending order.
x, p, 4
Let q(i) = -2*i**3 + 7*i**2 - i - 2. Let s be q(3). Sort -11, 5, s in descending order.
5, s, -11
Suppose 0 = -13*m + 5*m - 16. Let d be (-1)/2 - 5/2. Sort m, 5, d in ascending order.
d, m, 5
Suppose -2*y - 2*y + 8 = 0. Suppose 5*f + f = 0. Suppose f = -y*i + 3*i - 4. Put 5, i, -5 in descending order.
5, i, -5
Suppose g = 3*g. Let n be 6/24 - (-9)/(-20). Put g, -5, n in ascending order.
-5, n, g
Suppose 0 = -5*z + x + 12, 4*z = -4*x + 3*x + 15. Suppose 9*o - 7 = 2. Sort o, z, 2 in decreasi