-34)/14 + -3 + 144/42. Put 4, 0, 3, t in increasing order.
t, 0, 3, 4
Let c be 24/(-10) - 2/(-5). Let t(f) = 5*f**2 + 2*f + 1. Let b be t(-1). Sort c, b, -5 in ascending order.
-5, c, b
Suppose -5*s - i + 4 = -3*i, 0 = -4*s + 5*i + 10. Suppose -5*a + 33 = 3. Let k = a + -3. Put s, 2, k in decreasing order.
k, 2, s
Let t(x) = 19*x + 1. Let u be t(1). Suppose g = 6*g + u. Suppose m = -0*m + 4. Sort 2, m, g.
g, 2, m
Suppose -2*p - 6 - 4 = 0. Put 4, 5, p in decreasing order.
5, 4, p
Let r = 131.3 + -138. Let k = r + 0.4. Let a = k + 6. Sort -2, 2, a in increasing order.
-2, a, 2
Let u(b) = -b**2 + 8*b. Let v be u(8). Let x be (1 - v/3) + 1. Suppose 0 = -5*k - q - 10, -k - q = 4 + x. Sort k, 4, 3 in descending order.
4, 3, k
Let r(w) be the second derivative of w**3/3 - 3*w**2 + 2*w. Let i be r(4). Suppose -l - 3*k = 10 - 2, -i*l - 3*k - 13 = 0. Put -4, l, -1 in increasing order.
l, -4, -1
Suppose 3*c = u + 2*u - 15, 25 = 2*u + 3*c. Let p be 2/5 + u/(-20). Suppose -5*a - 3*z + 19 = p, 2*a - 4*z - 14 = 4. Sort -1, a, 4.
-1, 4, a
Let b = 39 - 43. Sort -0.3, b, -1 in decreasing order.
-0.3, -1, b
Let w = -1278/11 + 116. Let s = -35 - -32. Sort s, w, -1 in ascending order.
s, -1, w
Let f = 1.4 + -3.5. Let l = 2 + f. Let v = 3/5 - 4/15. Put 2, v, l in decreasing order.
2, v, l
Let w = 1 + -0.88. Let z = -15.12 + w. Let y = z - -10. Put -1, 4, y in decreasing order.
4, -1, y
Let c = 4 - 8. Suppose 3*w - k - 8 = 0, w + 3*k = 6*k. Put c, 5, w in decreasing order.
5, w, c
Suppose 0 = 2*n - 0 - 2, 4*w - 8 = 4*n. Let x be 2 + (w - 5)/(-2). Put 5, 2, x in decreasing order.
5, x, 2
Let b = -0.052 - -0.452. Sort 4, b, 2/11, 2/51.
2/51, 2/11, b, 4
Let k = 0.7 + -2.7. Suppose z + 2*z - 39 = -4*b, 2*z - 28 = -3*b. Suppose 0 - b = -3*n. Put -1, n, k in decreasing order.
n, -1, k
Let c = -5 - -4.88. Let t = c + -4.88. Put t, 2/7, -0.1 in decreasing order.
2/7, -0.1, t
Let f(r) = 3*r**2 - 4*r + 1. Let x be f(3). Suppose 0 = -o - 3*o - x. Put 4, 2, o in descending order.
4, 2, o
Let z = 21 + -14.1. Let x = -7 + z. Sort 4, -4, x.
-4, x, 4
Let p = -719/28 - -105/4. Let u = -0.04 + -0.96. Put -2/7, p, u in descending order.
p, -2/7, u
Suppose -2*h + 4*y = -2, -y = -h + 4*y - 2. Let q = 0 - -0.2. Sort h, -2, q in increasing order.
-2, q, h
Let m(r) = -6*r - 1. Let t be m(-1). Suppose -2*y + 5*x - 40 = y, 3*y - 10 = -t*x. Let w(d) = d**2 - 4*d - 7. Let n be w(6). Sort -1, y, n in descending order.
n, -1, y
Suppose -2 - 28 = -2*f + 3*a, f + 7 = -4*a. Suppose -f*h - 6 - 21 = 0. Let r(n) = n**3 + 6*n**2 + 7*n + 6. Let k be r(-5). Sort -2, k, h.
k, h, -2
Let b = 5 - 2. Let z = 1 - b. Put 0, 3, z in ascending order.
z, 0, 3
Let g = -2 + 1.6. Let m = g + 0. Sort -0.2, m, -4.
-4, m, -0.2
Let p = 49869 + -399649/8. Suppose -256 = -3*c - w, -10 = -3*w + 5*w. Let q = c + p. Sort -5/4, 2/15, q.
-5/4, q, 2/15
Let o = 10.05 - 0.05. Let x = -8 + o. Let z(h) = h**3 + 6*h**2 - h - 2. Let d be z(-6). Put -1/4, d, x in increasing order.
-1/4, x, d
Let y(s) = s**2 - 8*s + 10. Let d be y(7). Sort -2, d, -3.
-3, -2, d
Let u(d) = -d**2 + 6*d + 8. Let x be u(7). Suppose -f = -6*f + 25. Put x, 3, f in decreasing order.
f, 3, x
Let x(m) = -m**3 + 23*m**2 - m + 28. Let p be x(23). Put p, -7, 1 in descending order.
p, 1, -7
Let y be 1/(-2)*(2 + -1). Let a(q) = 3*q + 9. Let z(g) = 8*g + 27. Let n(f) = -11*a(f) + 4*z(f). Let j be n(8). Put 0.2, j, y in increasing order.
y, 0.2, j
Suppose -2*o + 3*d - 2*d + 7 = 0, 0 = -2*o - 2*d - 8. Let b be 1/((-1)/(4 + 1)). Sort o, -1, b in descending order.
o, -1, b
Let a = 36/11 + -86/33. Let o = 4.92 + 0.08. Put -2/15, o, a in descending order.
o, a, -2/15
Let i = 14 - 11. Suppose 5*g - g - 4*l = -36, -22 = 3*g - 2*l. Sort 4, g, i in decreasing order.
4, i, g
Let y = -15 - -14. Let w = 0.04 + -0.74. Let i = -1 - w. Put i, y, 0.2 in ascending order.
y, i, 0.2
Let m = -0.9 + 1.6. Put 0.2, m, 2 in decreasing order.
2, m, 0.2
Let r be 2/(-4) + (-10)/(-4). Let l = 37 - 53. Let i be ((-2)/(-4))/((-2)/l). Put 3, i, r in decreasing order.
i, 3, r
Let f = -1 + -2. Suppose -4*n + 0*n = 4. Let r be 0 + 2 + n*2. Sort r, 5, f.
f, r, 5
Let w be 1/3 - 2/6. Let r(u) = w + u - 3 + 8. Let g be r(0). Put g, 3, -3 in descending order.
g, 3, -3
Let j = -0.3 + 2.3. Let v be ((-201)/93 - -3) + -1. Let h = v - 83/62. Sort j, h, 0.2.
h, 0.2, j
Let l be 9/(-1)*262/10. Let t = -235 - l. Sort t, -2, 0.1.
-2, 0.1, t
Let o = 0.2 + -0.22. Let i = o + 0.22. Let a be (-2)/12 - (-2)/(-6). Sort a, i, 0.4 in ascending order.
a, i, 0.4
Suppose -6*u - 2*r - 56 = -2*u, -3*u + 3*r = 24. Let d = u - -8. Let o = 48 + -334/7. Sort 0, o, d in increasing order.
d, 0, o
Let s = -2 - -3. Let l = s - 2. Let v be 1 - 3 - (-3)/12*-12. Put l, 4, v in ascending order.
v, l, 4
Let i be 14/(-63) + 141/27. Sort i, -3, -5 in increasing order.
-5, -3, i
Let w = 0.7 + -0.4. Let g = -782/3 - -260. Sort -4/7, w, g.
g, -4/7, w
Let u = -3 - -2. Let w = -4 - 0. Let b be (-1 + 2 + w)/(-5). Sort -2, b, u.
-2, u, b
Let y = 11 - 7. Suppose -2*z - 2 = 3*k, -3*z - 2 - 2 = 5*k. Sort -4, y, z in increasing order.
-4, z, y
Let a = -28 - -29.3. Let g = 0.3 - a. Let f = g + 4. Put -1/3, f, -3 in descending order.
f, -1/3, -3
Suppose 14 = -3*y - a - a, -3*y - 13 = a. Sort 11, 2, -5, y in decreasing order.
11, 2, y, -5
Let l = -150 - -152. Put 2/23, -0.2, 3, l in decreasing order.
3, l, 2/23, -0.2
Let u = 0.05 + 0.35. Let f = u - 0. Put f, 2/11, 1 in increasing order.
2/11, f, 1
Let z(n) = n**3 + 3*n**2 - 3*n - 3. Let b be z(-3). Suppose -k = 2*m + k + 8, b = -4*m + k. Sort -1, m, 2 in increasing order.
m, -1, 2
Suppose -6*d - 42 = -3*d. Let b be 20/(-35)*d/4. Put 3, 1/6, b in decreasing order.
3, b, 1/6
Let g = -40 - -80. Let t be ((-10)/(-8))/((-10)/g). Put -1, t, -2 in descending order.
-1, -2, t
Let p = -16 + 5. Suppose -2*q + 8 = 0, 4 = -6*v + 5*v + 2*q. Sort v, 3, p in descending order.
v, 3, p
Let u be (-1325)/(-425) - 1*3. Put 4/3, u, -5 in decreasing order.
4/3, u, -5
Let j = -6 + 0. Let w be ((-3)/(-2))/(3/j). Let f(k) = k**3 - k**2 + k + 5. Let d be f(0). Sort w, 1, d in decreasing order.
d, 1, w
Let i be (50/20)/(1/(-2)). Sort -7, -1, i in decreasing order.
-1, i, -7
Suppose -18 = -7*g + 17. Suppose 5*o = 3*m + 2*m, 2*o + 2*m = -20. Put 0, o, g in descending order.
g, 0, o
Let n = 8 + -6. Suppose -5*s - 6 = -3*s + n*o, 5*s = -2*o. Suppose 2*p - 5 - 3 = q, -2*q - 13 = -3*p. Sort 4, q, s.
q, s, 4
Let s = -5 - 2. Let g = 7.5 + s. Sort -3, g, 1/4 in decreasing order.
g, 1/4, -3
Let w = -23 + 25. Put w, -2, 1 in increasing order.
-2, 1, w
Let w(v) = -4*v + 23. Let i be w(7). Let k = 8 + -5. Put k, 0.4, i in ascending order.
i, 0.4, k
Let p = -1.104 - -0.004. Sort 0.1, -0.3, p, 4 in decreasing order.
4, 0.1, -0.3, p
Let n = -32 - -227/7. Let j = 3.1 + -3. Let s = 0.36 + 0.04. Put s, n, j in increasing order.
j, s, n
Suppose 2*t + 4*t - 42 = 0. Let r(j) be the third derivative of -j**5/60 + j**4/4 + 5*j**3/3 + j**2. Let i be r(t). Sort i, 1, 2 in increasing order.
1, 2, i
Let r = 0.12 - 0.32. Sort r, 3/7, -2/9, 0 in decreasing order.
3/7, 0, r, -2/9
Suppose -2*k - 5*l = -k - 2, 5*l = k - 2. Let u be 1 + (0 + k - 2). Put 2, 2/11, u in increasing order.
2/11, u, 2
Let g be (3/(-16))/((-1)/(-4)). Let y = -128 + 383/3. Sort y, g, -2.
-2, g, y
Let d = 4 + -1. Suppose -d*g = 5 - 11. Put g, 0, 4 in ascending order.
0, g, 4
Let l = 0.34 - -13.66. Let r = -17 + l. Put r, -0.1, -2/21 in increasing order.
r, -0.1, -2/21
Let n = 4.978 - -0.022. Sort -4/3, n, 3/2, 3 in decreasing order.
n, 3, 3/2, -4/3
Let l be -1 - (0 + 0) - 0. Let b = -5344 - -213771/40. Let p = b + -2/5. Put p, l, 4/5 in decreasing order.
4/5, p, l
Suppose 2*f = 5*f + 9. Put 1, f, 0 in descending order.
1, 0, f
Let n be (4/(-4))/((-18)/(-15) + -1). Sort 24, n, 2.
n, 2, 24
Suppose -3*o = 10*o. Sort 3, -3, 4, o in descending order.
4, 3, o, -3
Let k = -55.2 + 55. Sort 1, 2/11, -3/2, k in decreasing order.
1, 2/11, k, -3/2
Let c be (2 + -3)*2 - 0. Let z be c/(-8) - (-171)/(-12). Let k be (-6)/21 + 24/z. Sort k, -4, 4 in increasing order.
-4, k, 4
Let g be (0 - 2)*(-3)/(-6). Sort g, 3, 6 in ascending order.
g, 3, 6
Let g(f) = -f**3 + 3*f**2 + 4*f. Let d be g(4). Suppose -2*b + u = -3*b - 8, -4*b = -4*u + 16. Let c = b + 11. Put -3, d, c in decreasing order.
c, d, -3
Suppose u