m = c - 3.9. Put m, 0.1, 3 in descending order.
3, 0.1, m
Suppose -l = 4*l. Suppose 0 = -5*p - l*p + 5. Suppose -r = 5*k + 4 + 2, -4*k + 3*r = p. Sort k, 0, -3 in increasing order.
-3, k, 0
Suppose -59*c = -57*c - 8. Suppose -o = 4*u + u + 3, o = 3*u + 5. Sort 0, o, c in ascending order.
0, o, c
Let l = 34 - 36. Sort -0.2, l, -1/4 in decreasing order.
-0.2, -1/4, l
Suppose -3*g - g = -8. Let l = -5 - -3. Let w = -2.5 - -2.3. Sort w, g, l in increasing order.
l, w, g
Let t = -2/221 - -484/4641. Sort -5/3, -0.26, -4, t in increasing order.
-4, -5/3, -0.26, t
Let f(g) = -g**3 - 4*g**2 + 3. Let n be f(-4). Suppose j + 4*w + 0*w = -1, -n*w = 5*j - 12. Let z = 3.6 - 4. Sort z, -2, j in descending order.
j, z, -2
Let a be (-3)/12*8/(-3). Let c = 4.2 - 4. Put -1/4, c, a in decreasing order.
a, c, -1/4
Let j be ((-10)/6)/((-4)/(-36)). Let i = j + 9. Let h be 0 + (i/(-8))/3. Put h, -5, -3 in ascending order.
-5, -3, h
Let l = 15 - 10. Suppose 6 = l*q - 29. Put q, 3, 2 in descending order.
q, 3, 2
Let k = -0.09 + 4.09. Let o = -37.33 + 37. Let q = o - 0.07. Sort q, k, -0.5.
-0.5, q, k
Suppose -b + 3*b - 6 = 3*g, -4*b - g - 16 = 0. Sort -5, b, -8, -2 in decreasing order.
-2, b, -5, -8
Let k = -1/6 + -1/2. Sort 3, k, 2/21, 5 in decreasing order.
5, 3, 2/21, k
Let x(l) = -l**3 - 3*l**2 + 3*l - 3. Let g be x(-4). Put 2, g, -1 in increasing order.
-1, g, 2
Let b be (1/12)/(9/(-24)). Let z = -42 - -87/2. Sort b, z, 1.
b, 1, z
Let n = 95.6 - 86.79. Let b = n - -0.19. Sort 1, b, -0.3 in increasing order.
-0.3, 1, b
Let c = -10 + 12. Put -3/7, c, 4, 3 in descending order.
4, 3, c, -3/7
Let g = 8 + 0. Let z = -8 + g. Sort z, 5, -0.2.
-0.2, z, 5
Let s be 4/(-6) - 96/(-36). Sort 3, s, -3 in decreasing order.
3, s, -3
Let c = 5 + -3. Let r = -5 - -5. Let t = r - -1. Put t, c, -2 in ascending order.
-2, t, c
Let f = 1.1 - 4.1. Let j(a) = -a**3 - 7*a**2 + a - 3. Let n be j(-7). Let m = n - -17/2. Sort -5, m, f.
-5, f, m
Suppose 3*n + 24 = -p - 2*p, -10 = 2*p. Let t(j) = -j**3 - 6*j**2 - 6*j. Let v be t(-5). Suppose 2*l - y = -l + 11, 2*l - 29 = v*y. Sort n, 5, l.
n, l, 5
Let m = -0.069 - -6.069. Put 1, 0.4, -2, m in ascending order.
-2, 0.4, 1, m
Let z = 0.12 + -0.22. Sort z, 0.3, 2/9.
z, 2/9, 0.3
Let g be 44/117 + (-40)/260. Sort -2, g, 0.01.
-2, 0.01, g
Let a = 75 + -673/9. Sort -2/29, 5, a in ascending order.
-2/29, a, 5
Let l = 26 - 30. Let i = -0.2 + -0.8. Sort -5, i, l in descending order.
i, l, -5
Suppose 2*s - 2*x = -2*s - 48, s - 5*x = -3. Let a = 13 + s. Sort a, 5, -4 in decreasing order.
5, a, -4
Suppose -17*w + 3 = -20*w. Sort -3, w, 4, -5 in decreasing order.
4, w, -3, -5
Let u = 9 + -11. Let t = 2 + -2. Suppose -r + 5*c + 21 = t, 7 = r + r - 3*c. Put u, -5, r in increasing order.
-5, r, u
Let u = -3 + 3.1. Let b = u + -0.11. Let h = b - 4.99. Sort 0.1, h, -0.1 in descending order.
0.1, -0.1, h
Suppose -3*b - 9 = 3*o, 9 = 3*b - 3. Sort o, -4, -3.
o, -4, -3
Let w = 0.3 - 0.1. Let u = -0.04 - -4.04. Let f = -12.4 - -12.9. Sort f, w, u.
w, f, u
Let q = -0.12 - -0.02. Let l = q + 1.1. Sort l, 0.2, 1/8 in decreasing order.
l, 0.2, 1/8
Let i be 7/28 + (-1)/4. Suppose 2*u - 12 = -2*h, 4 = u - 3*h - 2. Suppose 0 = 4*k - 2 - u. Sort k, i, -4 in ascending order.
-4, i, k
Suppose -3*t - f - 12 = t, 0 = 2*t - 2*f + 6. Sort 5, 1, -4, t in descending order.
5, 1, t, -4
Let q = -5.9 + 5.9. Put 1/4, 2/7, q, 0.3 in descending order.
0.3, 2/7, 1/4, q
Let t(c) = c**3 + 12*c**2 + 13*c + 26. Let d be t(-11). Sort 1, 2, d in descending order.
d, 2, 1
Suppose 17 = 5*s - z, -s = -2*z - 0 - 7. Sort 5, s, 2 in ascending order.
2, s, 5
Let g = 0.4 - 0.9. Let a = 0.1 - 1.1. Let v = a - 4. Sort g, v, 3.
v, g, 3
Let l = 12 - 8. Sort 1, -2/11, l in ascending order.
-2/11, 1, l
Let i(g) = -g**3 + 3*g**2 - g + 9. Let r be i(4). Sort r, -4, 5 in decreasing order.
5, -4, r
Let m be -10*(-94)/18 - 1. Let c(n) = 5*n + 11. Let v be c(8). Let h = m - v. Sort 2/5, h, 1/5.
1/5, h, 2/5
Let s(r) = -5*r + 48. Let j be s(10). Sort j, -3, -5, 4.
-5, -3, j, 4
Let t(f) = -f**3 - 3. Let r be t(0). Let x = 3 + -5. Sort -1, x, r.
r, x, -1
Let z = -4 + 7. Suppose 4*i - 2*l = 9*i - 27, l = -5*i + 26. Put i, 1, z in decreasing order.
i, z, 1
Let w = 6 + -6. Put 2/39, w, 1 in decreasing order.
1, 2/39, w
Let u be (-1)/(-4) + (-15)/(-4). Suppose c - 9 = -4*q, 3*q = 3*c + 28 - 10. Suppose -q*j + 1 = -5. Sort -4, j, u in increasing order.
-4, j, u
Let y = -6.7 - -1.7. Sort -4/3, y, 0.2.
y, -4/3, 0.2
Let t(s) = -s + 6. Let h be t(7). Let a = -0.11 - -6.11. Let n = a - 6.1. Sort n, 0.4, h in descending order.
0.4, n, h
Let t = 0.9 + 1.1. Put t, -3, -2/17 in descending order.
t, -2/17, -3
Let w be (-14)/(-8) + 3/(-12). Let k be 3/(-18)*(1 + -6). Let y = 244/65 + -18/5. Sort k, w, y.
y, k, w
Suppose 6 - 14 = 4*x. Let q be (x/(-2))/1 + -2. Sort q, -2/3, 0.5 in increasing order.
q, -2/3, 0.5
Let b be 4/(-5) - 43/(-60). Let r = 4/17 + -133/204. Let m = b + r. Put 2, m, 3 in descending order.
3, 2, m
Let b = 13/4 + -7/4. Suppose -1 = 2*r - 7. Suppose -x + 0 - r = 0. Put b, x, 0.4 in ascending order.
x, 0.4, b
Let b = 865 + -866. Let x = -0.1 - -0.1. Sort -3, x, b.
-3, b, x
Let r be (-93)/18 - 3/36*-2. Put 12, -3, r, -2 in descending order.
12, -2, -3, r
Let u = 0 + 1. Let h = 1.1 - u. Let x be (-5)/(-3)*10/(-25). Sort x, 2, h in descending order.
2, h, x
Let h be (-2)/((-1)/(-1)*2). Let u = 4 - h. Sort 2, 0.5, u in ascending order.
0.5, 2, u
Suppose -4*t + 10 = -10. Let a = t + -4. Let z be 1 + 1 + -3*1. Sort z, 3, a in decreasing order.
3, a, z
Let i = -55 - -717/13. Sort -0.5, 0, i.
-0.5, 0, i
Let q = 4 - 9. Let v be q + (2 - 14)/(-4). Sort -5, -4, v in ascending order.
-5, -4, v
Let v(d) = 4*d - 41. Let b = 5 + -3. Let f(o) = -o + 10. Let s(c) = b*v(c) + 9*f(c). Let r be s(8). Sort -4, r, 1.
-4, r, 1
Let s be 8/(-6)*108/(-48). Sort 2, s, 0 in decreasing order.
s, 2, 0
Suppose -7*y = -13 + 6. Sort 38, y, -2.
-2, y, 38
Suppose 4*j = -2*x + 14, -3*x - 2*j + 10 = x. Suppose -3*d - x = 5. Sort -3/5, d, -1.
d, -1, -3/5
Let i = 0.8 - 0.9. Let d = -5.1 - i. Sort 5, d, 0.1.
d, 0.1, 5
Let z = 18 - 15. Sort z, -1, 3/5 in increasing order.
-1, 3/5, z
Let v be 0 - 1 - 12/(-2). Put 0, 1, v in descending order.
v, 1, 0
Let u = -4 - -6. Let h be (-9 - -4) + (4 - 1). Put h, 1, u in descending order.
u, 1, h
Let w be 3/(-2)*4/27. Let b = 0.17 - 0.07. Let o = b + -0.2. Put w, o, 0.2 in decreasing order.
0.2, o, w
Suppose 0 = -5*n + 5*y - 17 + 57, 5*y + 32 = 3*n. Sort n, -3, -2, 3.
-3, -2, 3, n
Let k = -19.5 + 19. Put -4/3, 4, k, -19 in ascending order.
-19, -4/3, k, 4
Suppose 2*g + g = 5*x + 10, 0 = 4*g - x - 36. Let j = g + -22. Sort -1, -2, j in descending order.
-1, -2, j
Let m = -0.7 - -0.2. Let y be 2 + -2 - (-1)/(-5). Let v be (13 - 15)/(21/(-6)). Put m, v, y in descending order.
v, y, m
Let j be ((-21)/(-34) - 0) + (-10)/20. Suppose 3*l - 29 = -4*v - 2*l, -19 = -4*v - 3*l. Sort v, 0.2, j in increasing order.
j, 0.2, v
Suppose -c + 5 + 0 = 0. Suppose m + 5 = -n, -3*n = -c*m - 2 + 1. Suppose 0*x + 6 = -2*x + 4*i, -i = -4*x + 16. Sort n, 4, x in decreasing order.
x, 4, n
Let c be (-3)/3 + -1 + -78. Let j = c + 721/9. Sort j, -0.3, 1 in decreasing order.
1, j, -0.3
Suppose -2*h + 3 = h. Put -2, h, 2 in ascending order.
-2, h, 2
Let a = 11 - 6. Suppose -a*q + q = 8. Let x = -3 - 0. Sort x, q, 0 in increasing order.
x, q, 0
Suppose 3*k - 4 = -k. Let q be (-4)/(-22) + 294/77. Suppose q*d - k = 19. Sort 2, 0, d.
0, 2, d
Suppose 13 = 4*z - 3*n, 5 = 5*z - 2*n - 13. Suppose -z*q - 9 = -21. Let d = -4 + q. Sort 2, -5, d.
-5, d, 2
Let n(p) = -p**3 + 5*p**2 - 4*p. Let k be n(4). Let u(l) = -l. Let m be u(-1). Suppose -15 = 4*v + 1. Put k, m, v in increasing order.
v, k, m
Let w be 2/18 + 2/6. Sort w, -5, 0.2 in descending order.
w, 0.2, -5
Let u = -5 - -5.01. Let g = -0.09 - u. Let n = 0.1 - g. Sort -0.4, -3, n in ascending order.
-3, -0.4, n
Let t be ((-8)/(-168))/(2/(-6)) - 1. Sort 2/9, t, -3 in descending order.
2/9, t, -3
Suppose h = -0*h + 3*i + 21, -5*i = 4*h + 1. Let t(y) = y - 2*y - 3*y - 7 + y**2. Let g be t(h). Put -4, g, 1 in increasing order.
-4, 1, g
Let s be -2 + 2 + 12/3. Suppose 7*c - s = 3*c. Sort 3, -3, c.
-3, c, 3
Let b = 252 + -2774/11. Put b, -2/7, -1 in decreasing order.
b, -2/7, -1
Let p be 15/(-10)*8/(-3). Suppose 