 Let c = b - 4. Sort x, 0.3, c.
c, x, 0.3
Let n(t) = -t**3 - 8*t**2 - 6*t + 2. Let u be n(-7). Let i be (-705)/(-225) - 4/30. Suppose 5*c - i*c = 2. Put c, u, 2 in decreasing order.
2, c, u
Let g = 3.9 + -3.9. Sort -2/11, g, 3, -1.
-1, -2/11, g, 3
Let k(x) = x**2 - 7. Let q be k(3). Sort -4, -3, q in decreasing order.
q, -3, -4
Let p be 1*(1 + ((-3)/3 - 3)). Put p, 1, -4, 4 in decreasing order.
4, 1, p, -4
Let z = 18 - 20. Suppose -3*y = c + 20, -20 = y - 6*y. Let u = -65/2 - c. Put z, 0.3, u in increasing order.
z, u, 0.3
Let g = -0.2 + -5.8. Let u = 0 - -5. Sort g, 3, u in ascending order.
g, 3, u
Suppose 5*a = 2*a. Suppose 4*r - u + 20 = a, 3*r - 5*u = r - 10. Put -3, r, 0.3 in decreasing order.
0.3, -3, r
Let k = 4 + -4.3. Let x(c) = c + 2. Let z be x(3). Put k, 3, z in decreasing order.
z, 3, k
Let x = 7 + -6.8. Put 5, 4/3, x in ascending order.
x, 4/3, 5
Let p(g) = g**3 - g**2 - 4*g + 3. Let y be p(2). Let t be 2/6*(-6)/4. Let d = -106 + 106. Put d, t, y in decreasing order.
d, t, y
Let h be 0 + ((-2)/(-3))/2. Let m(o) = -6*o**3 - o**2 + o + 1. Let x be m(1). Sort x, 4, h.
x, h, 4
Suppose i - 6 = 3*f, i = 5*f + 9 - 1. Put f, -3, -6 in ascending order.
-6, -3, f
Let i(f) = -f**2 + 5*f + 2. Let v be i(6). Let k = v + 5. Sort k, -5, 5 in ascending order.
-5, k, 5
Suppose 9 + 3 = 4*w. Let v = -8 - -11. Let m be (-4 + v)/(1/2). Put 0, m, w in ascending order.
m, 0, w
Suppose 0 = 3*d - 3 - 9. Let l be 5/(-20) + (-21)/(-4). Suppose 4*j = 2*j - 2. Sort d, l, j in increasing order.
j, d, l
Suppose -2*s - 6 = -0. Sort -7, -2, s, 0 in descending order.
0, -2, s, -7
Let w(i) be the first derivative of 1/3*i**3 + 2*i + 1/4*i**4 + 1 + 0*i**2. Let d be w(0). Sort -4, 1, d in increasing order.
-4, 1, d
Let r(t) = t**2 - 3*t + 1. Let c be r(2). Put -3, -4, c in descending order.
c, -3, -4
Let y = 7 - 11. Let f be 6/(-8) - 10/(-8). Put y, -5, f in increasing order.
-5, y, f
Let i be 22/5 - (-4)/(-10). Suppose d + 2*a - 2 = 3*a, 2*d + i*a = 4. Suppose -4*c - 28 = d*r, r = 5*c - 0*r + 21. Put -0.4, -4/7, c in decreasing order.
-0.4, -4/7, c
Let r = -18 - -13. Suppose -8 = -s - x - x, 16 = 3*s + 4*x. Put r, s, -3 in decreasing order.
s, -3, r
Let y(h) = h. Let o be y(5). Let f = o + -7. Sort 5, -5, f in descending order.
5, f, -5
Let w = -0.0388 + -3.0712. Let i = w - -0.11. Put 5, 0.4, i in ascending order.
i, 0.4, 5
Suppose a = 2*b + 6 - 0, -b = 1. Sort a, 2, -3, 0.
-3, 0, 2, a
Let u = -4.1 + -0.9. Let o = -3.2 - -3. Let h = -0.3 + o. Sort h, -2, u.
u, -2, h
Let u = 56 - 282/5. Put -2, 0.5, 2, u in increasing order.
-2, u, 0.5, 2
Let w be 2/(-20)*-2*2. Let d = 136 - 135.5. Put d, -3/2, w in increasing order.
-3/2, w, d
Let k be ((-5)/(-15))/((-7)/6). Put 0.3, -0.06, k in ascending order.
k, -0.06, 0.3
Let o = -2 + 2. Suppose -5 = 2*m - 3*m. Suppose 10 = 5*h, -m*a - h = 3*h + 7. Sort o, 5, a in increasing order.
a, o, 5
Let i = 857/6 + -143. Sort -6, -0.1, i.
-6, i, -0.1
Let a(k) = -k**2 - 4*k + 29. Let r be a(-8). Sort 2, 0.5, r, -2 in ascending order.
r, -2, 0.5, 2
Let u = 6 - 5. Let x = -5/7 + u. Sort -3, x, -3/7 in decreasing order.
x, -3/7, -3
Let m = 0.06 + -0.06. Let n = -8 - -11. Sort m, n, -5 in descending order.
n, m, -5
Let r be (2 + 4/(-2))/(-1). Sort -4, -3, r in decreasing order.
r, -3, -4
Let t(x) = -x + 2. Let b be t(2). Let a(c) = c**2 + 3*c - 3. Let m be a(-3). Sort m, -2, b in decreasing order.
b, -2, m
Suppose -5 = a + 4*a. Put -2, 0, a in decreasing order.
0, a, -2
Let u = 10.1 + -11. Let l = 0.1 - u. Put l, -0.2, -1/9 in decreasing order.
l, -1/9, -0.2
Let c = 3.03 + -0.03. Let v = 1 + 14. Suppose 4*f - f = v. Sort c, f, 4 in increasing order.
c, 4, f
Let n be (-4 + 14/4)*10. Sort -12, n, 2, -4 in descending order.
2, -4, n, -12
Let m = 108 + -110. Sort 1/3, m, -7 in ascending order.
-7, m, 1/3
Let t = 10 - 8. Let g be -6 + (t - 3)*-3. Suppose v - k = -6*k + 27, -5*k + 15 = -5*v. Sort g, v, 0 in decreasing order.
v, 0, g
Let s = 0.65 + -0.85. Let i = -1 + 1. Put 5, i, s in decreasing order.
5, i, s
Let h be -10*3/(-9)*-3. Let d = 6 + h. Sort 2, 1, d.
d, 1, 2
Suppose -4*h + 0 = 4. Let y(k) = 7*k - 1. Let d be y(1). Let c(g) = -g**3 + 5*g**2 + 4*g + 7. Let z be c(d). Put 4, z, h in descending order.
4, h, z
Let l(r) be the second derivative of -r**4/12 + r**3 + r**2/2 - r. Let j be l(6). Sort j, -5, 2 in descending order.
2, j, -5
Let p = -0.1 - -1.1. Let l = 13 - 29. Let o be 5*(-2)/l*-2. Put p, -0.4, o in increasing order.
o, -0.4, p
Let f = -69 - -69.2. Sort 4/3, f, -7 in ascending order.
-7, f, 4/3
Let u(n) = -2*n**2 + 7*n - 4. Let o be u(4). Let l be (-15)/44 + (-2)/o. Let f = -76/111 - -2/111. Put l, f, 0 in decreasing order.
0, l, f
Let n be 5/((-30)/(-3))*12/14. Sort n, -4, 0.3 in decreasing order.
n, 0.3, -4
Suppose -3*o + 0*o + 2*q - 10 = 0, -25 = o - 5*q. Let p = -43/33 + 18/11. Sort o, -4, p in decreasing order.
p, o, -4
Let k = -2.83 - 0.07. Let n = -3.3 - k. Put 0.5, n, -2/13 in increasing order.
n, -2/13, 0.5
Suppose -35 = 2*u - 29. Put 3, 1, u in decreasing order.
3, 1, u
Let j be (12/21)/(12/14). Let g = -0.6 + 5.6. Put j, g, 4 in increasing order.
j, 4, g
Let i = 19/3 - 6. Let x be 95/50 + 6/(-4). Sort i, x, -2/11.
-2/11, i, x
Let v = -11 + 6. Let z = v + 11. Let x = -2 + z. Sort x, 0, -4 in increasing order.
-4, 0, x
Let y = -6 - -17. Suppose o = -3*d - 17, -3*o + 4*d + y + 3 = 0. Let u be (o/(-2))/(-1 + 0). Put 4, 3, u in increasing order.
u, 3, 4
Let l = -175 - -176. Sort 3, -0.4, 2/9, l in descending order.
3, l, 2/9, -0.4
Let j = -0.38 - 0.02. Let h = 1.28 - 0.28. Sort h, -3, j in decreasing order.
h, j, -3
Let i = -9 + 14. Let w(q) = -2*q. Let l be w(2). Suppose -3*d - v = 14 + 4, 3*v = 4*d + 11. Put l, i, d in descending order.
i, l, d
Suppose -8 = -3*q + q. Suppose 0 = -5*r - q - 16. Let y = 0.172 - 0.182. Sort y, 3, r in ascending order.
r, y, 3
Let x = 10 - 7. Sort -3/4, x, 4/7 in descending order.
x, 4/7, -3/4
Let b = -44 + 131/3. Let x = -0.3 + 9.3. Let o = -4 + x. Put b, o, 2 in descending order.
o, 2, b
Let k be ((-76)/72 + 1)*-8. Sort k, -2/13, -1 in increasing order.
-1, -2/13, k
Let a(h) be the third derivative of h**4/24 + h**3/6 + 2*h**2. Let p be a(-5). Sort p, 3, -5 in descending order.
3, p, -5
Let z = 29 + -25. Put -0.5, z, -0.7 in descending order.
z, -0.5, -0.7
Suppose 6*q - 25 = q. Let l(j) = -2*j + 11. Let u be l(q). Let w = -6.4 + 6. Put w, u, -0.3 in descending order.
u, -0.3, w
Let j = -80 + 85. Sort j, -1, 2 in decreasing order.
j, 2, -1
Let x = -7 + 7. Suppose -2*r - 3*d + 5 = 0, -3*r + 0*d + 2*d - 12 = 0. Let j be 2/(-14) + 0 + 0. Sort x, j, r.
r, j, x
Suppose -3*s = 4*s + 14. Sort 4, -1, 0, s.
s, -1, 0, 4
Suppose -2*q - c + 14 = -32, 4*q - 100 = 2*c. Put -1, q, -3 in ascending order.
-3, -1, q
Let f = -53 - -58. Let m = 2/47 - -39/188. Put m, f, 1 in descending order.
f, 1, m
Let h be (3/(-195))/(4/(-6070)). Let g be (1/5)/((-2)/(-235)). Let t = h - g. Sort 1, -1/3, t in increasing order.
-1/3, t, 1
Let h be (4 + (-76)/16)/(3*1). Put 3, -1, -2, h in increasing order.
-2, -1, h, 3
Suppose -5*l - 21 = -3*w, 3*l - 2*w + 1 + 12 = 0. Suppose -1 - 3 = 2*i. Put -1, i, l in decreasing order.
-1, i, l
Let c = -1.7 - -0.7. Let l = 0.8 + c. Sort l, -0.4, 1/2.
-0.4, l, 1/2
Let i be -5*((-26)/30 + 1). Let v be 5/10*(0 + 2). Let m be (-1)/v - (-13 + 10). Put 0.4, m, i in increasing order.
i, 0.4, m
Let q = 0.284 + 0.216. Let o = 7 - 6.4. Put o, 4/3, q in descending order.
4/3, o, q
Let a be 8/((-80)/15) - (-3)/(-2). Sort -2, a, 9, -1 in descending order.
9, -1, -2, a
Let r = 0.6 + 0.3. Sort 4, r, 2/7, 1 in ascending order.
2/7, r, 1, 4
Let k = 0.5 + -0.5. Let q = -11 + 12. Sort -0.1, k, q in descending order.
q, k, -0.1
Let p(x) = 2 - 3 + 0*x**2 - 4*x**2. Let m be p(1). Let y be 1 + (-2 - 6) + 1 + 3. Sort y, m, 2 in descending order.
2, y, m
Let w be (-11)/(2 + (-3)/3). Let b = w + 8. Put -2, b, -5 in descending order.
-2, b, -5
Let m = 76 - 74. Let i = -0.1 - -0.1. Let k = i + m. Sort -1/4, k, 2/5 in decreasing order.
k, 2/5, -1/4
Let r = -17 - -16. Let t be 1/6 - r/(-6). Sort -4, 3, t in descending order.
3, t, -4
Let c = 0.2 - 4.2. Let g = 3.9 + c. Sort -0.2, 2/3, g in increasing order.
-0.2, g, 2/3
Let l(r) = r - 2. Let g be l(2). Suppose -i + 5*o + 2 - 1 = g, i - 11 = -5*o. Suppose 0 = -n +