4, z, 0.2 in descending order.
0.4, 1/4, 0.2, z
Let c = -13 - -8. Let t(w) = -2*w + 12 - 4 + 9. Let j be t(9). Sort j, 5, c in descending order.
5, j, c
Let b = 2.036 - 0.036. Let i be 1/((-6)/30) - 48/(-10). Put b, i, 5, 0.2 in decreasing order.
5, b, 0.2, i
Suppose 3*q + 16 = -5*a, -56 = -4*a - 3*q - 67. Sort 3, 43, 4, a.
a, 3, 4, 43
Let d be (-1)/(-4) - 6/24. Suppose -x + 2*s + 3 = d, 0*x - x = s - 3. Suppose x*q - o + 15 = -2*o, 3*q + 5*o + 27 = 0. Sort q, 3, 2 in descending order.
3, 2, q
Let p(n) = -n**2 - 13*n + 4. Let f be p(-13). Let q(a) = -a**3 + 6*a**2 - 4. Let o be q(6). Let c = o + f. Put 2/3, 2, c in decreasing order.
2, 2/3, c
Let g = 103 - 88.8. Let w = 15 - g. Sort 1/6, w, -4 in descending order.
w, 1/6, -4
Let a(y) = y + 12. Let n be a(-8). Let t be ((-2)/(-6))/((-8)/(-48)). Sort t, n, -3 in decreasing order.
n, t, -3
Let f be (24/20)/((-2)/(-5)). Let b be f - 3 - 3/(-2). Suppose -3*c + t + 6 = 0, c - 3*t - 28 = -26. Sort c, -5, b.
-5, b, c
Let p(o) = 20*o + 1. Let r be p(1). Suppose y = -4*v + r, -4*v + 12 = 5*y - 13. Put -1, v, 4 in descending order.
v, 4, -1
Let t be (-16)/3*((-405)/(-12))/(-5). Suppose -15 = -t*o + 41*o. Put o, 1, -0.5, -48 in increasing order.
-48, o, -0.5, 1
Let z = 5.8 + -7.2. Put -2, 7, z in descending order.
7, z, -2
Let x be (-12)/(-9) + (-376)/12. Let k be -4 - (-10)/3*x/25. Put -4, 5, 3, k in ascending order.
k, -4, 3, 5
Let k be (7 - 200/24)/((-1)/(-3)). Let a = -0.05 + 0.45. Put k, a, 0.5, 4 in decreasing order.
4, 0.5, a, k
Suppose z + 2*z - 9 = 0. Let q(g) = -g**2 + 2*g - 1. Let a(k) = 5*k - 20. Let w be a(4). Let s be q(w). Put z, -6, s in decreasing order.
z, s, -6
Let v(t) = t**3 + 13*t**2 - 33*t - 45. Let f be v(-15). Put -4, f, 3, -7 in decreasing order.
3, f, -4, -7
Suppose 21*s + 32 + 10 = 0. Put -3, 3, 9, s in increasing order.
-3, s, 3, 9
Let v be (-20)/(-1 + 14/10). Let k be 71/v - 57/(-38). Put 0.3, -0.4, k in ascending order.
-0.4, k, 0.3
Let a be ((-4)/6)/(2/33). Let q(j) = j. Let u be q(2). Sort a, 3, u in descending order.
3, u, a
Let o(q) = q + 7. Let f = -11 + 1. Let k be o(f). Let p(d) = d + 4. Let s be p(-4). Put s, 2, k in decreasing order.
2, s, k
Let u be 3/2*(-24)/(-54)*-3. Sort 2, u, -4 in decreasing order.
2, u, -4
Let o(d) = -d**2 - 16*d - 17. Let h be o(-13). Let w = h - 15. Suppose -g + 12 = w. Sort -1, -2, g in descending order.
g, -1, -2
Let x(m) = -20*m**3 - m**2. Let q be x(1). Let g = -13 - q. Let z be (-3)/(-9) + g/3. Sort z, 5, 2.
2, z, 5
Let p = -2.1 + 2. Let u = 447 + -446.5. Put u, 1/4, 5, p in ascending order.
p, 1/4, u, 5
Suppose 0 = -218*u + 245*u + 108. Put -230, u, 0 in decreasing order.
0, u, -230
Let x = 27 - 25.9. Let g = x - 0.1. Let t = 19.86 + -19.36. Put t, g, 7/5 in descending order.
7/5, g, t
Let n = -35 - -37.3. Let l = n + -0.3. Let u = 4.1 - -0.9. Sort 1, l, u in increasing order.
1, l, u
Let t(d) = -3*d - 36. Suppose 6*x + 4*j = 4*x - 38, -5*x + 4*j - 39 = 0. Let h be t(x). Sort h, 4, -4 in decreasing order.
4, h, -4
Let t be (-15)/(-9) - 2 - 3/(-9). Let o be (20/6)/(4/6). Suppose -3*r - 22 = 5*a + 4, -5*r - 4*a - 26 = 0. Sort t, r, o in descending order.
o, t, r
Let m be (6/(-54))/(2/(-9)). Put -0.3, -2/7, m, 1/25 in decreasing order.
m, 1/25, -2/7, -0.3
Let k = 737 + -737.06. Sort 1, -2/17, 4/3, k in decreasing order.
4/3, 1, k, -2/17
Let n = -550 - -547. Sort n, 23, -16 in increasing order.
-16, n, 23
Suppose 131 = -15*n - 34. Sort n, -5/4, -0.4 in descending order.
-0.4, -5/4, n
Let x(f) = f**3 + 6*f**2 - 7*f + 4. Let d be x(-7). Suppose -3*k - d*k + 7 = 0. Sort 3, -0.2, k in ascending order.
-0.2, k, 3
Let b = 12 - 7. Suppose 0 = 8*c - b*c - 15. Suppose 0 = -3*y + t + 12, 2*t = -2*y + 3*y - 9. Put y, 1, c in ascending order.
1, y, c
Let h be -1*1 + -1 + 1. Let g(f) = -4*f**3 - f**2 - 2*f - 1. Let t be g(h). Let v = 843 - 841. Sort v, t, -1 in descending order.
t, v, -1
Let u = 0.215 + 0.285. Sort -0.03, 1/3, 0, u in ascending order.
-0.03, 0, 1/3, u
Let h = 0.3046 - -0.1954. Let y be 2/(1*(0 - -9)). Put h, 0, y in ascending order.
0, y, h
Let r = -185 + 185.03. Put r, -2/17, -17 in increasing order.
-17, -2/17, r
Let i = 1748 - 1727. Put 1, 4, i in descending order.
i, 4, 1
Let j be ((-12)/9)/(9/27). Sort j, -5, 1.
-5, j, 1
Suppose -12 = 5*p - 4*g + 19, 3*p = -3*g + 3. Let d = -22 - -26. Suppose -4*c = 4*t + d, -5*t - 3*c - 11 = 2. Put p, 2, t in increasing order.
t, p, 2
Let b = 1/603 - 1211/3015. Sort b, 5, 0.8, -1/4.
b, -1/4, 0.8, 5
Let d = -225.54 + 223. Let q = d - -2.1. Let y = q - -0.04. Sort 1/3, y, 4.
y, 1/3, 4
Let k = 112 - 116. Let q = 8 - 3. Put 2, k, -5, q in ascending order.
-5, k, 2, q
Suppose 15 = 8*z - 3*z. Suppose -9*l - 3*u - 1 = -8*l, 4*u + 6 = l. Sort 39, l, z in decreasing order.
39, z, l
Let b = 223/12 + -77/4. Sort 1, -0.4, -1, b in increasing order.
-1, b, -0.4, 1
Suppose 6*b = -k + b + 20, 2*b - 11 = -k. Suppose 0*a - 5*a + k = -5*q, -5*a + 4*q + 7 = 0. Let z be (-2)/((-6 - a) + -2). Sort z, -2, 0.5 in decreasing order.
0.5, z, -2
Let a(y) = -2*y + 3. Let o be a(4). Suppose 4*c = 11*c + 8*c. Put o, 3, c, -3 in descending order.
3, c, -3, o
Let s(m) = -m**2 - m. Let t be s(-2). Let y be (-1)/(2*t/(-20)). Sort -2, 2, 0, y in decreasing order.
2, 0, -2, y
Let z be (6 - 2) + -1*2. Suppose -11*k + 20*k - 207 = 0. Suppose k*w = 19*w + 16. Put 5, z, w in decreasing order.
5, w, z
Let t = 2/1371 - -6392/4113. Put 5, t, -0.4 in descending order.
5, t, -0.4
Let s = 4.98 + -0.18. Let l = s - 5. Let m be (64/(-56))/(14/(-49)). Put l, m, 3 in descending order.
m, 3, l
Let n be -3*(-18)/(-24489) - 0. Put n, 3, -3 in ascending order.
-3, n, 3
Let w = -25 + 29. Let g = -4.5 + w. Sort -0.1, g, -4 in descending order.
-0.1, g, -4
Let b = -33 + 13. Let m = 7.5 + -31.5. Let q = m - b. Sort -3/4, q, 3/8 in increasing order.
q, -3/4, 3/8
Let n be (-14880)/(-672) + (-12)/(-14). Put -4, 4, n in descending order.
n, 4, -4
Let d = 0.18 - 0.111. Let x = 0.079 - d. Let r = -2/21 - 1/14. Put r, -1/3, x in ascending order.
-1/3, r, x
Let w = 3860/7 + -551. Sort -17, 0, 3, w.
-17, 0, w, 3
Let x = -17.49 + 18. Let h(b) = -b**2 + 8*b + 884. Let u be h(-26). Put u, -2, x in decreasing order.
x, u, -2
Let j = 51.337 - -0.163. Let v = -52 + j. Let i = 0 - -0.5. Sort i, v, 0.4.
v, 0.4, i
Suppose i + 137 = -3*c, 0*c + 43 = -c - i. Let v = c + 51. Suppose 0 = 3*l + 6. Sort l, v, 5.
l, v, 5
Let z be 2/(-29) - 9266/(-39324). Let s be -1*(-2 + 0/(-1)). Put -12, -1, s, z in descending order.
s, z, -1, -12
Let d = -3.79 + 3.39. Sort 1/9, 23/6, d.
d, 1/9, 23/6
Let q(x) be the first derivative of x**2/2 - 7. Let t be q(1). Suppose 5*k + 3 = -12. Put k, -2, t in decreasing order.
t, -2, k
Suppose -2*i = 4*a + 92, i - 164 = 5*i - 2*a. Let p be i/24 - -2*(-1)/(-1). Sort 3/5, p, -2.
-2, p, 3/5
Let v = -133213/4 - -7992863/240. Let n = 1/80 - v. Let l = 37 - 42. Put l, -0.4, n in descending order.
n, -0.4, l
Suppose 150 = 68*a - 394. Let l = -12 - -7. Put -2, -1, a, l in descending order.
a, -1, -2, l
Let s = -563/11 - -51. Let i = -10 + 11.4. Let v = -1.4 + i. Put 2/9, s, v in decreasing order.
2/9, v, s
Suppose 15 = -3*x + 8*x. Suppose h = x*f - 10 - 8, -2 = -h - f. Sort 23, h, 2 in descending order.
23, 2, h
Let d = 2.94 + 0.06. Let t = -30 - -28. Let p(v) = -6*v**2 + 1. Let h be p(1). Sort d, h, t.
h, t, d
Let q be ((-1 - 1)/10)/1. Let t = -63/2 - -33. Let m = -11099/4 - -2775. Sort t, q, m in descending order.
t, m, q
Let b(z) = 9*z + 29. Let v be b(-3). Suppose -2*i + 10 = -4*i. Let s be (2/(-3))/((-3)/18). Sort v, s, i.
i, v, s
Let c = -91 - -85. Sort 5, 1, c, 6.
c, 1, 5, 6
Let x = -0.107 - -0.007. Let v = 2 + -2.2. Put -4, x, v in decreasing order.
x, v, -4
Let j = -101 - -98.49. Let z = 0.51 + j. Sort -0.3, z, -2.3 in increasing order.
-2.3, z, -0.3
Let h be 1 + -4*(5 + -4). Sort h, 6, 1, 0.5.
h, 0.5, 1, 6
Let n = -613/33 - -56/3. Let p = 11 - -34. Let b = 43 - p. Put b, 5, n in decreasing order.
5, n, b
Suppose -5*v - 4 = 4*z, -z = -0*z + 5*v - 14. Let n be ((-2)/(-4))/((-3)/z). Put n, 2, -3 in descending order.
2, n, -3
Let w = -14 + 10. Let o be (w + -1)*4/(-10). Let q be 30/(-18)*(-6)/2. Sort -3, o, q in decreasing order.
q, o, -3
Let k = 399622/10989 - 400/11. Sort 5, k, 4, -0.3 in ascending order.
-0.3, k, 4, 5
Let u = -170 - -165. Sort 