2*a. Put -0.2, -1/9, a, -4/9 in decreasing order.
a, -1/9, -0.2, -4/9
Let o = 8 - 8. Let w be 0*5/(-20) - o. Suppose -6*t + t + 25 = w. Sort 1.1, 3, t in descending order.
t, 3, 1.1
Suppose -20 = -11*p + 16*p. Let r(d) = -d**3 + 7*d**2 - 6*d + 3. Suppose -17 = -4*v + 7. Let j be r(v). Sort p, 0, j in ascending order.
p, 0, j
Let b(j) = -j**2 - j + 2. Suppose 0 = 12*i - 7*i + 15. Let q be b(i). Put -2, -1, q in decreasing order.
-1, -2, q
Let m = -12.6 + -2. Let a = -14 - m. Sort -2/11, 4, a in descending order.
4, a, -2/11
Let t = -193 + 193.1. Sort 0.6, 1/3, t in ascending order.
t, 1/3, 0.6
Let m = -143/210 + -5/42. Sort -5, -0.6, m, 0.2.
-5, m, -0.6, 0.2
Let r be (-1 + 0 + 0)/6. Suppose 4*t - 21 = -t - 3*h, 21 = 3*t - h. Suppose -t = -6*x + 6. Put x, r, -2 in decreasing order.
x, r, -2
Let v = 7 + -3. Suppose p - 85 = d - 3*d, 0 = -3*d + 3*p + 105. Let h = d + -40. Sort h, -6, v in descending order.
v, h, -6
Let c = 6.8 - 2.3. Let h = c + -4.71. Let v = h - -0.01. Sort v, -1/2, 0.
-1/2, v, 0
Let n = -7.99 + 1.99. Put -3, -5, n, 0 in descending order.
0, -3, -5, n
Let h(g) = -g**2 + 8*g - 4. Let c = -32 + 39. Let v be h(c). Put 10, v, -2, 2 in increasing order.
-2, 2, v, 10
Let v be (4*(-18)/24)/1. Sort v, 5, -0.4, -2/7 in descending order.
5, -2/7, -0.4, v
Let n = -0.03 + -0.49. Let o = -0.32 - n. Sort 2/7, o, -2/11, -4 in decreasing order.
2/7, o, -2/11, -4
Let a = 8 - 5. Let x be -3 - (74/(-12) + a). Let v(c) = -c**2 - 7*c - 1. Let m be v(-7). Put m, -5, x in descending order.
x, m, -5
Suppose a = v, -5*v + a + 2 + 10 = 0. Let j(n) = n**3 - 10*n**2 + 9*n - 5. Let m be j(9). Suppose -9*x - 16 = 2. Sort v, x, m.
m, x, v
Let n = -0.177 - -90.177. Let c = 90.5 - n. Put -3, c, -1 in increasing order.
-3, -1, c
Let c = 109 - 60. Let t = c + -49. Sort 2/7, t, -1/2, 3 in decreasing order.
3, 2/7, t, -1/2
Let r(b) = -b**2 - 30*b + 17. Let d be r(-26). Sort -3, -0.3, d in decreasing order.
d, -0.3, -3
Let g be (184/14)/2 - 6. Sort g, 8, 0.2, 3 in descending order.
8, 3, g, 0.2
Let k = 0.0158 - -0.2842. Sort -18, k, -5.
-18, -5, k
Suppose 2*l = 5*l. Suppose i + 3*i + 20 = l. Let x be 8/i + (-6)/(-10). Sort 2, x, 4 in decreasing order.
4, 2, x
Let c = -264 - -263. Put 2/17, c, -0.09 in descending order.
2/17, -0.09, c
Suppose -3*w + 15 + 19 = -2*z, -4*w = 4*z + 28. Let x be ((-912)/(-126) - 8) + (-6)/(-14). Put z, x, -3 in ascending order.
z, -3, x
Let z = 181.09 + -180. Sort -0.4, z, 5 in descending order.
5, z, -0.4
Let a be 9/(-24)*4/(-6). Suppose -1 = 5*w + 4. Let j be 1 - (w/(-5) - 1/5). Sort 3, a, j in decreasing order.
3, j, a
Suppose -f + 5*f = 72. Let v be 2 - (-142)/f*-3. Let p = v - -449/21. Put -1, 3, p in decreasing order.
3, p, -1
Let k = 16.035 + -16.3. Let o = 0.065 + k. Put o, 3, 2 in descending order.
3, 2, o
Let k = 2.5 + -2. Let j be (48/(-42))/((-11)/((-154)/(-4))). Put j, -0.1, -0.3, k in decreasing order.
j, k, -0.1, -0.3
Suppose -3*b + 3 + 0 = 0. Suppose 0 = -15*x + 14 + 31. Put b, 0, 5, x in decreasing order.
5, x, b, 0
Let l(j) = -j - 13. Let c be l(-17). Let a be -3 - (-2 - (51/15 - 3)). Sort 2, 0.3, c, a in decreasing order.
c, 2, 0.3, a
Let t = -12 + 31. Let w(u) = u**3 - 20*u**2 + 21*u - 38. Let n be w(t). Sort n, 2, -2.
-2, n, 2
Let n = -0.235 - 0.165. Let t = -8 - -12. Sort 2/3, 0, t, n in decreasing order.
t, 2/3, 0, n
Suppose -22 = 3*c - b, -3*c - 5*b + b - 32 = 0. Let w = c + 5. Sort 0.5, w, -5.
-5, w, 0.5
Suppose 15 = 2*t + 3*t. Suppose -2 = 3*s + g - 6, -2*s - t*g = 9. Sort 4, -5, -3, s in descending order.
4, s, -3, -5
Let c(n) = n**2 + 14*n + 22. Let h be c(-13). Suppose 2 = -h*p - 7. Put 1, p, 2, 3 in ascending order.
p, 1, 2, 3
Let b(j) = 8*j + 80. Let m be b(-10). Sort m, -2, 4, 1.
-2, m, 1, 4
Suppose 63*k = 56*k + 28. Sort k, -10, -5, 2.
-10, -5, 2, k
Let y = 18 - 40. Let p = 20 + y. Put p, 0.4, -2/7, -0.7 in descending order.
0.4, -2/7, -0.7, p
Let q be -7 - 0 - (-18 + (13 - 6)). Sort -1, -3, 3, q.
-3, -1, 3, q
Suppose 4 = -11*d + 13*d. Suppose 0 = -d*l - l + 9. Suppose -l = -h + 5*r, -4*h - 4*r + 0 - 12 = 0. Sort h, -4, -9 in decreasing order.
h, -4, -9
Let o = 231 + -231.4. Let v = -575/2547 + 1/283. Sort o, v, 8 in descending order.
8, v, o
Let j = 325 + -480. Let m = j + 158. Put 1/3, -5, m, 1.6 in decreasing order.
m, 1.6, 1/3, -5
Let i = -2134.451 + 2146. Let f = i - 11.6. Let w = -25.949 + f. Put 1, 0.5, w in decreasing order.
1, 0.5, w
Suppose -4*r + 9 - 1 = 0. Suppose -w + 8 = 7. Suppose 0*y + 4*m = -y + w, -m - 2 = y. Sort r, y, 5.
y, r, 5
Suppose 15*q - 81 = 309. Put -2, q, -3, 0 in decreasing order.
q, 0, -2, -3
Let t be 0 + 0 - 1 - -1. Suppose 8 = -t*c + 2*c. Suppose -6*i + 2 = -4. Sort c, -1/4, i in descending order.
c, i, -1/4
Let s = -107 - -143. Put -2, -0.3, s in decreasing order.
s, -0.3, -2
Let g = 2 - 8. Suppose -m = -2*m + 3*j - 8, -5*m + 8 = j. Suppose -2*h = -5 - 5. Sort h, m, g in ascending order.
g, m, h
Let g = 12.1 - 16.1. Put g, -6/7, -0.3, -1/4 in ascending order.
g, -6/7, -0.3, -1/4
Let q = -21 + 30. Suppose 0*h + q = -h. Let i = -220 + 220.4. Put 2/7, i, h in decreasing order.
i, 2/7, h
Let a be 2 - (-5 + 1 + 1). Let n be (-43)/(-15) + (39/(-45) - -1). Suppose -b + 4*v - 22 = -7, -n*v = 3*b. Sort 9, a, b in descending order.
9, a, b
Let d be (1 - -2) + (1 - 1). Suppose -55*x = -56*x + 16. Sort 1, d, x in ascending order.
1, d, x
Let j be (117/(-24))/3 + (-120)/320. Suppose -2*r = 5*l - 8, 5*l - 2*l = -4*r + 16. Put -1, l, j, 1 in ascending order.
j, -1, l, 1
Let u be (-30)/10*(-26)/(-2). Let l = 197/5 + u. Put -2, l, -0.1 in ascending order.
-2, -0.1, l
Let g = 0.021 - 0.201. Let j = g + 4.18. Let f = 0.2 - 3.2. Sort 0, j, f in descending order.
j, 0, f
Let v = -578 - -577. Sort -3, v, -78, 4 in decreasing order.
4, v, -3, -78
Let x = 0.4 - 3.4. Let p = -44376/11 - -4034. Let w = 48 - 143/3. Sort x, p, w in ascending order.
x, p, w
Suppose 0 = -a - 1 + 10. Suppose -i = 2*k - 6, 5*k - 15 = 4*i - 3*i. Suppose k*b - 8 = b. Put b, 3, a in ascending order.
3, b, a
Suppose -x + 62 = -4*b, -47 = -2*b + 5*b - x. Let t be ((-12)/(-14))/(b/(-10)). Put 5, t, 3/4 in decreasing order.
5, 3/4, t
Let z = 0.3 + -1.3. Suppose -13*c + 18*c + g - 15 = 0, -c - 2*g = -3. Let n = 0.06 + 0.04. Put z, c, n in ascending order.
z, n, c
Let k = 0.47 - 0.57. Sort 0.2, k, -2, -0.3 in ascending order.
-2, -0.3, k, 0.2
Let r(m) be the third derivative of m**5/60 + m**4/6 + 2*m**3/3 - 28*m**2. Let c be r(-5). Sort -3, -2, c.
-3, -2, c
Let a = 1084 + -1080. Put 8, a, -0.4 in increasing order.
-0.4, a, 8
Let z(d) = -d**2 - d + 5. Let h be z(0). Let s(i) = i**2 - 5*i - 9. Let t be s(7). Suppose 3*k = 5*k + 5*g - 9, k = t*g + 27. Sort h, k, -2 in descending order.
k, h, -2
Suppose 0*n - n = -1. Let c(m) = -6*m + 2. Let f be c(1). Let i be -6*(-4 - -3) + (-5 - f). Sort n, i, -6 in descending order.
i, n, -6
Let i = 3.301 + -0.301. Sort i, -0.3, 29.
-0.3, i, 29
Let u be -1*4*(-10)/(-1180). Let x = u + 191/413. Put -5, x, -4 in descending order.
x, -4, -5
Let l be ((-16)/18)/(116/(-87)). Sort l, 3, 0 in descending order.
3, l, 0
Suppose -12 = -0*o + 3*o. Suppose 3*f + 2*r - 13 = 0, f - 3*r - 10 = -2. Sort -10, f, o.
-10, o, f
Suppose 0 = 5*z + 69 - 64. Put 21, z, 7 in descending order.
21, 7, z
Let v = -1 + 3. Let w = -7.66 - -7.66. Sort w, -7, v in increasing order.
-7, w, v
Suppose -3*x + 256 = 259. Put 4, -18, x in descending order.
4, x, -18
Let b be (-4 - -1)*(6 - 5). Suppose -v = 4*v - 15. Put b, v, -0.2 in decreasing order.
v, -0.2, b
Let f = -922 - -913. Put 5, 3/4, -0.1, f in descending order.
5, 3/4, -0.1, f
Let s = -15 + 15.011. Let b = -24.011 + s. Let f = b + 23. Sort 2, -4/3, f in increasing order.
-4/3, f, 2
Let x be 248/18 + (-4)/(-18). Let j be 2/2 + x/(-18). Let s = -173 - -175. Sort j, s, -0.5.
-0.5, j, s
Let c be 5/((-50)/15)*42. Let n = c - -85. Sort n, 0, -5, -4 in decreasing order.
n, 0, -4, -5
Suppose -2*w - 3 = u, -5*w = -0*u - 4*u + 53. Suppose -u*q + 247 - 23 = 0. Sort 3, -4, q.
-4, 3, q
Let m = 145/511 - 52/73. Let n = 0.09 + 6.91. Put 2, n, -1, m in increasing order.
-1, m, 2, n
Let v(i) = i**2 + 4*i + 6. Let o be v(-4). Suppose 15 = 3*p - o*p. Let r = 0.139 - 0.169. Put r, p, 0.1 in descending order.
0.1, r, p
Let d be 3*(1 - (-2)/(-6)*0). Suppose -5*l = d*l + 32. Let f(t) = -3*t