t d = 41/5 - 333/40. Sort -18, -0.4, d in descending order.
d, -0.4, -18
Suppose 0 = 4*a - p - 10, -3 = -4*a - 2*p + 13. Suppose -1 = 2*g + a. Suppose c - 3 = 0, 4*f - 4*c - 4 = -0*c. Sort g, 5, f in ascending order.
g, f, 5
Let v = 1.016 - 0.016. Sort -4, v, 0.2.
-4, 0.2, v
Let g be 6/10 - 18/80. Sort g, -1/3, -2/5 in ascending order.
-2/5, -1/3, g
Let o = 0.2 + 0. Let a = o + -0.7. Let j be (21/(-6))/7*0. Sort -5/6, j, a in decreasing order.
j, a, -5/6
Let b be (-2)/5 - (6 + (-96)/15). Sort 4, -13, b in decreasing order.
4, b, -13
Suppose -21*b + 25*b = 32. Sort 5, -3, b in descending order.
b, 5, -3
Let p(o) = 5*o + 31. Let j be p(-7). Suppose 5*t + 5 = 30. Put j, 4, t in ascending order.
j, 4, t
Suppose -2*q + 3*a - 15 = 0, -6 = 2*q - a + 3. Let h = 303 + -307. Sort q, h, -2 in ascending order.
h, q, -2
Let i = 4.78 - -0.22. Put -2, i, 3/5 in ascending order.
-2, 3/5, i
Let o(m) = m**3 + 2*m**2 + m + 4. Let r be o(-3). Let f be 7*-1 + (0 - -1). Let u = f - r. Sort 4, -1, u.
-1, u, 4
Let u(c) = -c - 7. Let b be u(-6). Suppose 3*q + 3*s + 46 = 7*q, -2*s = q - 6. Let d be 1 + -1 + q/2. Put d, b, 2 in descending order.
d, 2, b
Let z be (-22266)/2835 + 2/14. Let f = z + 38/5. Let k = 0.6 + -0.1. Sort f, k, -0.5 in increasing order.
-0.5, f, k
Let n(k) = -k - 3. Let t(v) = 2*v + 6. Let g(l) = -5*n(l) - 2*t(l). Let r be (2/(-2))/((-1)/(-5)). Let i be g(r). Put i, -4, 1 in ascending order.
-4, i, 1
Let t = 17 + -26. Let y = t - -10. Sort 4, -2, y in decreasing order.
4, y, -2
Suppose 0 = 5*w - w - 16. Suppose 10 = -5*c, -w*s + 14 = c - 0. Put -4, 3, s in decreasing order.
s, 3, -4
Let d(u) = u - 1. Let t be d(1). Let l be (-46)/(-115) + (1 - 0)*0. Put l, -1, t in descending order.
l, t, -1
Suppose -3*t + 0*l = -5*l - 37, 2*t + 2*l = 46. Suppose 2*n + 16 = 2*w - 4*w, -2*w + t = -5*n. Put -2, -4, w in decreasing order.
-2, w, -4
Let f = -14 + 18. Suppose 5*z + 4 = 5*q - 1, f*q - 16 = -2*z. Put 5, 0, z in increasing order.
0, z, 5
Let k = -3 - -5. Let v = 0.11 - 0.05. Put -0.4, k, v in increasing order.
-0.4, v, k
Let i be 0*2/8*-2. Suppose 5*c + j = 3*c - 10, -4*c - 20 = 3*j. Suppose 20*o - 24*o - 8 = 0. Sort i, c, o in descending order.
i, o, c
Suppose 2*i - 7 - 7 = 0. Suppose 3*m = i*m. Suppose m = d - 2*d - 2. Sort d, 5, 0 in decreasing order.
5, 0, d
Suppose -2*b = -0*b - o + 6, 0 = 5*o - 20. Put b, 4, 2, -4 in decreasing order.
4, 2, b, -4
Let u = 9 + -4. Sort -3, -6, u in decreasing order.
u, -3, -6
Let f be 3*20/(-12) - -4. Sort -3, f, -9 in decreasing order.
f, -3, -9
Let q = -429/4 + 107. Put -1/6, 3, 0, q in decreasing order.
3, 0, -1/6, q
Let z = 0 + 0.4. Let m(a) = 2*a + 1. Let x be m(1). Put 2, x, z in increasing order.
z, 2, x
Suppose -5*g = -3*r - 43, -5*r + 2*g - 11 - 29 = 0. Sort -2, r, 1 in ascending order.
r, -2, 1
Let y be (40/(-12))/((-4)/30). Suppose -5*w - y = -3*i, 0 = i + w + 8 - 3. Let u = -11 + 14. Sort 5, i, u.
i, u, 5
Suppose 5 = p + 1. Suppose o + 13 + 1 = -p*f, o - 5*f = 13. Put 5, -5, o in descending order.
5, o, -5
Suppose -4*r = -z + 5*z + 16, 0 = -2*z - 4*r - 16. Put 2, 4, z in decreasing order.
4, 2, z
Let j(n) = -n**2 + 6*n - 2. Let d = 0 - -5. Let g be j(d). Sort g, -5, 5.
-5, g, 5
Let r = 91 - 90.7. Sort -11, r, -3 in descending order.
r, -3, -11
Let x(w) = w**2 - 16*w - 5. Let z be x(16). Put 0.6, z, 5, 0 in increasing order.
z, 0, 0.6, 5
Let u be 3 - (8/4 + -2). Put -2, u, -3 in ascending order.
-3, -2, u
Let u = -8 + 3. Let k = -7 + 11. Suppose -10 = -5*m + j, -2*m - k*j - 21 = -3*m. Sort 4, u, m.
u, m, 4
Let u be ((-9)/6)/((-9)/12). Suppose u*b = 5*j - 1 - 15, 2*b - j = 0. Sort b, 0, 4.
0, b, 4
Let t(x) = 4*x - 1. Let w be t(1). Suppose -78*b + 85*b = -28. Put -0.04, w, b in increasing order.
b, -0.04, w
Let n = -10 + 13. Put -2, 5, n in ascending order.
-2, n, 5
Let z be (12/126)/(6/(-14)). Put 5/2, z, 2 in descending order.
5/2, 2, z
Let g be (1 + 0 + -2)*-2. Suppose 5*q + 2*y - 7 - 2 = 0, -g*q + 4 = y. Sort q, -2, 5 in increasing order.
-2, q, 5
Let c = 26 - 22. Let p be (-6)/c*28/105. Sort 0.2, 0, p in descending order.
0.2, 0, p
Let k = 48 - 241/5. Let i = 4 + -4.3. Sort k, i, -0.4 in decreasing order.
k, i, -0.4
Let p = 141 - 707/5. Sort -3/5, 4, p in ascending order.
-3/5, p, 4
Let v = -0.2 - -0.3. Let k = v + 0.2. Let u = k + -0.1. Put 3, -0.4, u in decreasing order.
3, u, -0.4
Let o(d) = d**2 + 11*d - 30. Let l be o(-13). Sort -5, 5, l, 3 in descending order.
5, 3, l, -5
Let s = 4 - 4.3. Put 2, -2/11, s in ascending order.
s, -2/11, 2
Suppose -4*d = -5*d - 5. Sort 4, d, 3, 0 in increasing order.
d, 0, 3, 4
Let v(g) = -4*g**2 - 5. Let t(p) = 3*p**2 + 5. Let u(r) = 5*t(r) + 4*v(r). Let z be u(0). Sort -0.4, 8/9, z in ascending order.
-0.4, 8/9, z
Let s = -4 + 3.7. Let y be -6 + 4 + 4 + -2. Suppose y = -2*p - 3*p. Sort p, 2/3, s in descending order.
2/3, p, s
Suppose -2*s + 4 = 2*d, -5*s = -2*d + 5*d - 6. Sort 4, s, -1 in decreasing order.
4, s, -1
Suppose -4*d + 2 = 5*m, -3*d + 4*m + 15 + 2 = 0. Put -1, d, -3 in ascending order.
-3, -1, d
Let u(r) = -r**2 - 3*r + 2. Let j be u(-3). Let o be (2/7 - 2) + j. Put -2, 1/2, o in ascending order.
-2, o, 1/2
Let s(q) = -q**3 + 6*q**2 - 5*q + 3. Let r be s(5). Let c(z) = -z**2 - 8*z + 6. Let a be c(-8). Put r, a, 4 in decreasing order.
a, 4, r
Let p = 7 - 3. Suppose -3*d + p*v = 19, 1 = -8*d + 3*d - v. Put 5, 0, d in ascending order.
d, 0, 5
Suppose -3*c + 4 = 1. Let r = -4 + 4. Let l be (r/(-2*1))/(-1). Sort -2, l, c.
-2, l, c
Suppose 4*z + 27 = -5*t + 124, 19 = z + 3*t. Suppose -5*c + 40 = -5*n, 0*c - z = 4*n - 3*c. Sort 1, n, 2.
n, 1, 2
Let z = 0.069 + 0.931. Put -2/5, z, 0.2 in descending order.
z, 0.2, -2/5
Let m = 8 + -8.3. Let j(d) = -d - 3. Let r be j(-10). Suppose 0 = -2*k - 3*p + r + 1, -2*k = 2*p - 8. Sort k, m, 1 in descending order.
k, 1, m
Let f = 2 + -4. Let j be ((-2)/4)/(5/(-10)). Put -1, f, j in descending order.
j, -1, f
Let l(z) = 5*z - 65. Let b be l(13). Sort 1, b, 3.
b, 1, 3
Let f(g) = g**2 + 11*g + 14. Let a be f(-10). Let b be ((-3)/a)/(3/2). Let r = -0.4 + 0.2. Put -3/4, r, b in ascending order.
-3/4, b, r
Let d(b) = 4*b + 12. Let z be d(-2). Put z, 5, 6 in ascending order.
z, 5, 6
Suppose -5*j - 5 = -35. Put -1, -2, j in ascending order.
-2, -1, j
Let d be (-3 - (-7)/7) + (7 - 1). Sort -2, -4, d, 0 in decreasing order.
d, 0, -2, -4
Let m = 3 + -6. Let c = 2.3 + -1.4. Let v = c - -3.1. Put v, m, 0 in ascending order.
m, 0, v
Let c = -0.9 + 0.4. Let w = 2.5 + c. Let i be 6/(-8) - 1 - -2. Sort w, i, -1/5 in descending order.
w, i, -1/5
Let c = -0.064 - -5.064. Let v = 3 - 2. Put -3, v, c in decreasing order.
c, v, -3
Let a be (-12)/7 + 2 - (-680)/(-1547). Put -0.4, 0.16, 3, a in decreasing order.
3, 0.16, a, -0.4
Let i be (0 + (-9)/2)*(-2)/(-3). Sort 1, i, -2 in ascending order.
i, -2, 1
Suppose 0 = -5*k - 2*h + 31, 2*k - 31 = 2*h - 13. Put k, 2/5, 4, 2/3 in ascending order.
2/5, 2/3, 4, k
Let a(r) be the third derivative of r**5/15 + r**4/24 - 5*r**2. Let d be a(-1). Sort 0.5, -2, d.
-2, 0.5, d
Suppose 0 = i - 3*u - 17, 5*i - 15 = u - 0*u. Put -38, i, 1 in descending order.
i, 1, -38
Let p(y) = 4*y - 10 + 0*y - 3*y. Let v be p(8). Put v, -0.5, 3 in descending order.
3, -0.5, v
Let c = 4 - 5. Let m = 0.8 + -0.7. Sort 0, m, c in decreasing order.
m, 0, c
Let r = -0.02 - -0.02. Let c = 0.3 + -1.3. Sort r, c, 0.5 in ascending order.
c, r, 0.5
Let f = -0.2 + 0.3. Let p = f + -0.1. Let w = 229 + -228.7. Sort 0.5, p, w in descending order.
0.5, w, p
Let n(t) = -2*t - 1. Suppose -25 = 5*r, 3*a - 4*r = 16 + 1. Let z be n(a). Sort z, -1, -2.
-2, -1, z
Let l = 1 + -2. Suppose -5*c = -6*c. Put c, 5, l in decreasing order.
5, c, l
Let u = 0.003 + -0.403. Sort u, -4, 0.5 in descending order.
0.5, u, -4
Let w(q) = q - 2. Let k be w(8). Suppose -3*d = 3*j, -3*d = -k*d. Suppose j = n + 2*n. Put 3, -4, n in ascending order.
-4, n, 3
Suppose 4*c = 4*y - 32, 3*y - 1 = -4*c - 12. Suppose 12 = -6*g + 3*g, -3*j = 4*g + 22. Let b be 5/(-2)*(-6)/5. Sort b, j, c in decreasing order.
b, j, c
Let u(l) = l + 8. Let r be u(-6). Suppose 0 = -4*c - 4, r*c - 4 = 3*g + 3*c. Let j = -67/3 + 23. Sort j, -2/11, g.
g, -2/11, j
Let j be 14/8 + -10 + 9. Let r(g) = g**3 - 4*g**2 - 6*g + 2. Let q be r(5). Let p be (q + 4)/((-1)/(-2)). Sort 2/7, p, j in increasing order.
