 7 = -2*k - 1. Let v be (-20)/(-6) - 4/(-6). Sort k, v, -4 in decreasing order.
v, k, -4
Suppose -d + 9 - 4 = 0. Suppose d*r + 3 = -4*q, 8*q = r + 6*q - 5. Sort 20/3, -0.2, -0.4, r in ascending order.
-0.4, -0.2, r, 20/3
Let p be ((12/36)/((-1)/(-4)))/26. Sort 0.4, p, 9 in ascending order.
p, 0.4, 9
Let c = 0.372 - 0.072. Let i = 7 - 1. Let j = i + -5.5. Sort j, c, -1 in descending order.
j, c, -1
Let f = -0.243 + -0.757. Sort f, -2/13, 2 in decreasing order.
2, -2/13, f
Suppose -2*u = -5*u + 6. Let q be (u/4)/(12/72). Let b be (4/16)/(q/8). Sort b, 2, -0.1.
-0.1, b, 2
Let f be 3 + (-23)/3 - -4. Let h = 22 - 30. Let q = 9.3 + h. Sort f, 1, q in ascending order.
f, 1, q
Let p(l) = l - 14. Let i be p(16). Suppose -3*s - i = 10. Put 4, 1, s in descending order.
4, 1, s
Let x = -74 - -47. Let w = x - -28. Put w, -2, 0.3 in increasing order.
-2, 0.3, w
Let r(s) = -12*s**2 - 7*s + 9. Let b be r(3). Sort -3, b, -2 in descending order.
-2, -3, b
Let q = -0.1426 - 0.0274. Sort q, -6/17, 3/4 in decreasing order.
3/4, q, -6/17
Suppose 27*f - 35 = 22*f. Suppose -6*o - o - f = 0. Sort o, 4, 1, 3 in decreasing order.
4, 3, 1, o
Let f(p) be the second derivative of p**5/10 - 3*p. Let t be f(1). Let d be 12*(-1 + 12/9). Sort -2, d, t in ascending order.
-2, t, d
Let m(x) = 6*x - 23. Let g = 106 - 103. Let w be m(g). Put 2, w, 5, 3 in descending order.
5, 3, 2, w
Let r = 1.76 + -1.66. Sort 1, 0.3, 3/2, r in increasing order.
r, 0.3, 1, 3/2
Let d(u) = -u**3 + u**2 - u + 1. Let k be d(0). Let z be ((-1)/2)/((-14)/364). Let a = -11 + z. Put a, k, -5 in increasing order.
-5, k, a
Let l be (1 - (-3)/(-2))*-8. Let i = -244.2 + 244. Put 3, i, -1/2, l in decreasing order.
l, 3, i, -1/2
Suppose o = 4*m - 2*m - 9, 0 = -2*o - 10. Suppose 12 = -3*g, 3*w + m*w = 4*g + 36. Sort 3, -1/5, w.
-1/5, 3, w
Let x = -0.4 - -5.4. Suppose 0 = -25*o + 22*o + 108. Let g be (2/30)/(6/o*2). Put x, g, -4 in decreasing order.
x, g, -4
Suppose 0*f = -0*f - 6*f. Suppose 3*k + 12 = -2*k - m, 3*k + 5*m = 6. Let i be 1*(-4 + -2 + 2). Sort f, i, k in ascending order.
i, k, f
Let n be ((-81)/(-6))/(-9)*-2. Suppose k + n*k = -m + 7, 3*k = m. Suppose 5 = -3*j + t, 13 = -j - 2*t + 2. Put m, j, 1 in descending order.
m, 1, j
Let w = -3.4 + 0.4. Let d = 80 - 71. Let f = d + -10. Put f, 1, w in ascending order.
w, f, 1
Let m(j) = 2*j**2 + 60*j + 4. Let f be m(-30). Sort -6, 5, f in decreasing order.
5, f, -6
Let a = -292 - -2047/7. Let g = -5 - -10. Put g, a, 9 in decreasing order.
9, g, a
Let u = 282 + -283. Put u, 0, -16 in ascending order.
-16, u, 0
Let b be 2/3*1 - 1. Let o be (-16)/(-18) + 2/36*-4. Sort 0, o, b in descending order.
o, 0, b
Suppose 15 = f + 10. Let z = -28 + 28. Put f, z, 0.4 in descending order.
f, 0.4, z
Let v = -907 - -912. Sort v, 2, 38/5 in descending order.
38/5, v, 2
Let m = 2324 + -2288. Sort -4, m, 4 in decreasing order.
m, 4, -4
Let a = 26 + -26.4. Let f = -617.5 + 618. Put a, f, -0.2 in ascending order.
a, -0.2, f
Let b = -2.22 - -0.42. Let z = b + 4.8. Sort -3, z, 2/11 in decreasing order.
z, 2/11, -3
Let f = -759 - -8348/11. Put -2, f, 4, -3 in descending order.
4, f, -2, -3
Let w be (6/(-3) - (-40)/25)*15. Let a = 9 + w. Put -4, -11, a in increasing order.
-11, -4, a
Let c(i) = -9*i**2 - i**3 + 3*i**2 - 6*i + 85 - 77. Let b be c(-4). Sort b, 4, -12.
-12, b, 4
Let u = 0.4 - 0.4. Let k = 0.08 - 5.08. Let q = -0.944 + -0.056. Sort u, k, q in decreasing order.
u, q, k
Let l(t) = -24*t - 68. Let w be l(-3). Sort 5, 2, w.
2, w, 5
Suppose m = -4*f + 64, -2*m + 19 + 97 = -4*f. Suppose -3*j - j = -m. Let p be 15/2*(-10)/j. Put p, -7, -1 in descending order.
-1, p, -7
Let b = -0.24 + 0.14. Let t = -0.5 - b. Let r be ((-9)/(-3))/(-3)*1. Sort t, 0, r.
r, t, 0
Let c(m) = -6*m + 27. Let j be c(5). Let n be -3*4*4/(-16). Sort -6, j, -2, n.
-6, j, -2, n
Let v(t) = 28*t - 275. Let c be v(9). Put -1, c, -2, -3 in increasing order.
c, -3, -2, -1
Suppose -3*g - 4*f + 11 = 0, 6 = 5*g - f + 3. Put 0, -0.05, -5, g in decreasing order.
g, 0, -0.05, -5
Let v be (-8 - -11) + (-19)/5. Let t = -3 + 2.7. Let q = t - -0.6. Sort q, -0.5, v in decreasing order.
q, -0.5, v
Let g = -1/408 - 265/2856. Suppose -2 = -4*u + 6. Let b = -4/5555 - -16681/22220. Put b, g, u in descending order.
u, b, g
Suppose -70*x + 71*x = -3. Let n = -3 + 2. Sort x, n, -8 in descending order.
n, x, -8
Let i be (4/14 + 0)/2. Sort 1, 4, i, -1/6.
-1/6, i, 1, 4
Suppose 2*r - 16 = -2*r. Suppose 4*l - 2 = 5*o - 3*o, o - l = 0. Sort -9, o, r.
-9, o, r
Let o = 3.5 + -3.7. Let i = 1.1 - -0.6. Put o, -0.1, 2, i in decreasing order.
2, i, -0.1, o
Let u be -2*4/32*-12. Put u, 1, -1, -3 in increasing order.
-3, -1, 1, u
Let s(v) = -5*v**2 + 86*v - 21. Let a be s(17). Sort 0.4, 0.37, a.
a, 0.37, 0.4
Suppose 26*g + 48 = 50*g. Sort g, -5, 6 in ascending order.
-5, g, 6
Let p = -0.0017 - 12.9983. Put -1, 4, p, 0.4 in descending order.
4, 0.4, -1, p
Let u = -20.93 + -0.07. Let q = u + 4. Let m = q - -12. Sort m, 3, 2.
m, 2, 3
Let c = -0.34 - -0.64. Sort 0.1, -70, c in decreasing order.
c, 0.1, -70
Let b = 19 - 17. Suppose -2*o + 2 = 4*l, -o + 25 = 4*o. Suppose 2*g = -1 - 5. Put l, g, b in decreasing order.
b, l, g
Let p = -43 - -42.5. Sort p, 0.3, -0.1.
p, -0.1, 0.3
Suppose 19*f + 11*f = 90. Suppose -8 = 5*i + 7. Sort f, 1, i in decreasing order.
f, 1, i
Suppose 0 = -5*o - 5*u + 5, 5*u + 6 = -2*o - 1. Suppose 0 = 8*q + 4 - o. Sort 7, q, -2, -1 in decreasing order.
7, q, -1, -2
Let c = 47.074 + -0.074. Let h = 49 - c. Put -1, h, 1/3 in decreasing order.
h, 1/3, -1
Let u be (-15)/((-1)/16*-12). Sort -1, 3, u in descending order.
3, -1, u
Suppose -24*o - 24 = -192. Sort o, 3, -5 in ascending order.
-5, 3, o
Let s(f) = -4*f - 3. Let r be s(-2). Suppose 0*u - 14 = -u - 2*b, 2*b = u + 6. Suppose -u*l = l + 25. Sort r, 1, l in decreasing order.
r, 1, l
Let d = 9 - 7. Suppose 3*q - 14 = o, 0*o + o + 4*q = 21. Sort d, o, 0.
0, o, d
Suppose 0 = -f + 3*j, 5*j = -0*f + f + 2. Suppose -f*v = -g + 2*g + 4, -4*g - 16 = 5*v. Sort -2, -1, 2, g.
g, -2, -1, 2
Let b be (-12)/(-2)*-1*3/(-6). Let a be 22/10 + 2/(-10). Suppose -a*h - 3*h = -5. Sort -15, b, h in increasing order.
-15, h, b
Suppose 41*g = 18*g - 23. Put 0.28, 17, g in increasing order.
g, 0.28, 17
Suppose 4*p + 12 = -2*b, 0 = -4*b - 4*p - 6 - 2. Suppose 9 - 3 = b*l. Suppose -5*s - 10 + 2 = 2*d, 5*s + 5*d + 20 = 0. Sort s, l, -1 in decreasing order.
l, s, -1
Let r be 230/69 + -2 + -1. Put -0.4, 0.2, 0, r in ascending order.
-0.4, 0, 0.2, r
Let k = -66/29 + 243/145. Put k, 6, -1/7 in decreasing order.
6, -1/7, k
Let b(g) = -6*g**3 - 61*g**2 - 10*g + 5. Let q be b(-10). Let w = -6 - -6.4. Put -3, w, 3, q in descending order.
q, 3, w, -3
Let c be (-448)/96*18/(-21). Suppose -3*l + 1 = -2*l. Suppose -26 = -4*r + r + 5*h, r + 5*h + 18 = 0. Sort c, r, l in increasing order.
l, r, c
Suppose -4*k - 2*k - 138 = 0. Sort k, -4, 5, 3 in decreasing order.
5, 3, -4, k
Let h = 6.3 + -7.07. Let o = h - -0.27. Let f be 3 + -1*(-28)/(-6). Put f, -8/5, o in ascending order.
f, -8/5, o
Let r be ((2 + 0)/2)/1. Let d be ((-1)/(14/(-34)) + -2)*7. Put -9, -2, r, d in descending order.
d, r, -2, -9
Let w = -25 + 22. Put w, 2, -8, 0 in decreasing order.
2, 0, w, -8
Let n = -36 + 33. Put 0, -4, n in increasing order.
-4, n, 0
Let y be (1564/(-85) - -17) + 0 + 1. Put y, 4.8, 11, 0.3 in decreasing order.
11, 4.8, 0.3, y
Let d be -16*(1 - 10/(-5)). Sort -3, -6, d, -5 in decreasing order.
-3, -5, -6, d
Let a be (15/9)/(5/15). Suppose 35 = -a*y + 5*p, -5*p + 3*p = -3*y - 18. Put 3, -0.5, 4, y in increasing order.
y, -0.5, 3, 4
Suppose 0 = -18*s + 13*s + 175. Let g = s - 40. Sort g, 4, 5 in decreasing order.
5, 4, g
Suppose 5*f + 4*h = 37, -f + 55 = 4*f - 5*h. Let d be (0 - -4) + f + -16. Sort d, 0.4, -5 in descending order.
0.4, d, -5
Let v(u) = u - 3. Let h be v(5). Suppose 2*c + h = -0*c. Suppose 4*g + 5*l - 24 = 0, 17 = g - 2*l + 6*l. Sort g, c, -6 in increasing order.
-6, c, g
Let h = 493 + -493.4. Put 2/17, -0.2, h, -29 in increasing order.
-29, h, -0.2, 2/17
Suppose -27 = 2*s + 3*o, 4*o - 51 = 4*s + 7*o. Let g = 0 + -3. Sort g, s, 5 in ascending order.
s, g, 5
Suppose -3*r + 78 = 63. Sort -77, r, 1 in decreasing order.
r, 1, -77
Suppose 5*b + 3*k = 4*k + 4, -2*k = -2. Let p = 289 - 292. Put b, p, -1 in descending order.