, k, -40
Let p = -444 + 447. Sort 5, 2/11, -1, p in increasing order.
-1, 2/11, p, 5
Let o be 0/((-6)/2) + 11 + -10. Put -52, o, 4, 5 in descending order.
5, 4, o, -52
Suppose 0 = -w + i + 27, -13 = -5*w - i + 98. Let r = 4956 - 4955. Put -5, r, w in ascending order.
-5, r, w
Let p(i) = -2*i + 20. Let f be p(10). Let k = 4929/394 + -2/197. Let d = k + -79/6. Put d, f, 0.9 in increasing order.
d, f, 0.9
Let v be 25*((-9)/15 + 1). Suppose p + 8 = v. Suppose -p = j - 2*j. Sort -3, j, 1.
-3, 1, j
Let p = 37.4 + 46.2. Let b = p - 84. Sort -0.043, b, -4, -0.2 in decreasing order.
-0.043, -0.2, b, -4
Let w(j) = -8*j**3 + 2*j**2 + 3*j + 2. Let b be w(-1). Let i = -11 + b. Sort i, 13, -5 in descending order.
13, i, -5
Suppose 2*x = -10, 0*x - 5*x - 5 = 4*z. Sort 1, z, -6 in decreasing order.
z, 1, -6
Let h be (4/5)/((-12)/30). Sort 1, h, 8/7, -0.2 in ascending order.
h, -0.2, 1, 8/7
Suppose 1 + 15 = 4*j. Let g = 3 + 2. Sort g, j, -4.
-4, j, g
Let j = 8 - 4. Let q = -63.7 + 71.7. Sort 5, 1/11, q, j in descending order.
q, 5, j, 1/11
Let c = 24 + -15. Let d = c + -9. Let s(z) = 2*z - 4. Let o be s(3). Sort o, d, -3 in increasing order.
-3, d, o
Let s = -41.2 - -41. Sort 4/9, s, 10, -2.
-2, s, 4/9, 10
Let o = -4.94 - -5. Let j = 0.06 - o. Let w = 49 - 51. Put w, 4, j in descending order.
4, j, w
Let p = 29 + -17. Let y = 10 - p. Sort 2, y, 3 in decreasing order.
3, 2, y
Let b be ((-10)/(-4))/(3/6). Let a = 7 + -1. Let j(w) = w**2 - 9*w + 8. Let g be j(a). Put b, g, -5 in descending order.
b, -5, g
Let t = 29 - 30. Suppose -2*r - 3*r + 15 = 0. Suppose 4*l = 4, -9 = -k - 9*l + 4*l. Put r, t, k in ascending order.
t, r, k
Let s = 1/47 - -44/141. Let r = 18 + -26. Let g = r + 4. Put s, g, 0.1 in decreasing order.
s, 0.1, g
Let v = 64/21 - 26/7. Let d = 0.07 - 0.37. Sort 4/5, 2/11, v, d in decreasing order.
4/5, 2/11, d, v
Let i = -0.01 - 0.12. Let c = -0.1 - i. Let r = c + 1.97. Put -1, r, -0.2 in descending order.
r, -0.2, -1
Suppose -1 - 3 = -2*u. Suppose 7 = u*r - 7. Suppose -r*g - 1 = -8. Sort g, -2, 0 in descending order.
g, 0, -2
Let q(f) = -f**3 - 6*f**2 - 7*f + 7. Let c(z) = 2*z**3 + 12*z**2 + 15*z - 14. Let t(w) = -3*c(w) - 7*q(w). Let x = -73 - -68. Let s be t(x). Sort -4, s, 13.
-4, s, 13
Let k = -17 - -17. Let i(y) = k*y - 4 + 3 - 2*y - 2. Let u be i(-2). Sort 4, -4, u.
-4, u, 4
Let y = -2.98 + 3.08. Sort -5, 0.09, y.
-5, 0.09, y
Let x = 1969 - 1973. Sort -149, 4, 1, x in decreasing order.
4, 1, x, -149
Let d = -139 + 91. Let w = -47.6 - d. Let z = 0.1 + -0.14. Put z, w, 2/11 in descending order.
w, 2/11, z
Let h = -41 - -41. Let k = 24 + -28. Sort k, h, 1, -1.
k, -1, h, 1
Let b = 0.2 + 0.3. Let s = -4 + 48. Let o be (-10)/(-25)*-1 + s/10. Put o, 6/7, b in ascending order.
b, 6/7, o
Let c = 173 + -170. Sort c, -1, -3, 5 in decreasing order.
5, c, -1, -3
Let s = -83 - -915/11. Let u be (-14)/(-77)*(0 - (-2)/(-2)). Let w = 2 - 3/2. Sort w, u, s.
u, s, w
Let n = -133 - -134. Sort n, 0.3, 3, -29 in decreasing order.
3, n, 0.3, -29
Let h be 10/35 + (-193594)/7. Let i = -137427/5 - h. Let t = i + -170. Sort 8, t, 1/2 in descending order.
8, t, 1/2
Let w be (-39 - -34) + 10 + 0/2. Let d(c) = c**3 + 2*c**2 - c. Let m be d(1). Put m, -1, w in increasing order.
-1, m, w
Suppose 2*a - 55 = a. Let v be (-8)/10 + 264/a. Suppose 3*u + h + 17 = -v*h, h - 1 = -5*u. Put -5, -4, u in increasing order.
-5, -4, u
Let o = 12252/7 + -1750. Sort -0.7, -0.5, o in descending order.
o, -0.5, -0.7
Suppose -9*u = 1 - 46. Let m = 54 + -35. Suppose 2*x - 2*r - 4 = -0, 2*x - u*r = m. Put x, -4, -2 in descending order.
-2, x, -4
Let x(s) = s**3 + 5*s**2 + 3*s. Let v be x(-6). Let g = -539/10 - v. Let z be ((-6)/4)/((-7)/2). Put g, 2/7, z in increasing order.
g, 2/7, z
Suppose -4*z + 4 + 4 = 0. Suppose z*w + p = 3*w + 2, 3*p = -4*w + 20. Suppose 0*l - 3*l = -g + 7, 3*l + 4*g = -2. Sort w, l, 6 in decreasing order.
6, w, l
Let g(n) = 13*n**3 + n. Let w be g(1). Let h be (24/w)/(16/168). Let c be (-86)/h - 6/27. Sort 2, 0, c in descending order.
2, 0, c
Let v = 1 - 1.5. Suppose 4*c + 6 - 74 = 0. Suppose 2*p - c = 5*a, 0*p + 3*p - 3*a - 12 = 0. Put v, 2, p in ascending order.
v, p, 2
Let i = -10699 + 10702. Let b = 695/7 + -99. Sort -0.3, b, i, -3/4 in ascending order.
-3/4, -0.3, b, i
Let t(y) = -8*y - 232. Let a be t(-32). Sort -1, 6, a in descending order.
a, 6, -1
Suppose 5*u - 37 = -87. Let c be 16/(-20) - 8/u. Sort 3, c, -3 in descending order.
3, c, -3
Let a = 385.6 - 333. Let r = 53 - a. Sort 1/4, r, 0.02 in ascending order.
0.02, 1/4, r
Let z(d) = -d**2 - 12*d - 12. Let l be z(-11). Let r = 2 - 1. Let s be ((-12)/(-8))/(r/(-2)). Put 1, l, s in decreasing order.
1, l, s
Let q be 1 - ((-6062)/156)/(-7). Let u = 9/2 + q. Let y = 31/156 - u. Put 0, -3/4, y in descending order.
y, 0, -3/4
Let z = 162 + -166. Sort z, -36, 5 in increasing order.
-36, z, 5
Let p = 23 - 20. Let t be (-5)/((-20)/(-14)) + 3. Sort t, p, -0.1 in ascending order.
t, -0.1, p
Let q = 0.16 + -4.16. Let t = 159 - 639/4. Sort q, t, 0.4 in descending order.
0.4, t, q
Suppose 3*l = 2*j + 5*l - 8, 0 = -5*l + 15. Put j, -9, 3, -4 in descending order.
3, j, -4, -9
Let y = 8.88 + -0.38. Let n = y + -14.8. Let u = n + 1.3. Put u, 5/4, 5 in decreasing order.
5, 5/4, u
Suppose -v + 2*b + 2 = 2*v, 0 = -v - 2*b + 6. Let a = v + -5. Let x(g) = g**3 + 7*g**2 - 8*g - 5. Let f be x(-8). Sort f, a, -8 in increasing order.
-8, f, a
Let g = -1.2 - -1.6. Let x = 2/107 - 331/535. Sort g, -0.4, x in increasing order.
x, -0.4, g
Let n = 4 + -5. Let c = 23 - 15. Suppose -4*i + 0 = -c. Sort i, n, 5 in decreasing order.
5, i, n
Let w = 434 - 437. Put w, 453, -1 in decreasing order.
453, -1, w
Let b = -103 - -106. Suppose 0 = -5*u - 5*g + 50, -2*u + 37 = 4*g + 7. Sort 0, b, u, -2 in decreasing order.
u, b, 0, -2
Let n be ((-18)/45*-545)/2. Sort 1, 0, n.
0, 1, n
Suppose -6*x + 535 - 577 = 0. Let q = -0.8 + 1.2. Put 2, q, -5, x in descending order.
2, q, -5, x
Let z = 46 + -42. Suppose -1 = -z*j + 7. Sort -4, 4, j.
-4, j, 4
Let x = 291.4 - 291.7. Put x, 2, -0.11, 15 in decreasing order.
15, 2, -0.11, x
Let l = -1 - 0. Let v be ((-25)/(-20))/(39/12 + -3). Put v, -4, l in descending order.
v, l, -4
Let q = -1125 - -712. Let x = 416.98 + q. Let r = 0.02 + x. Put r, -1/9, 0.01 in decreasing order.
r, 0.01, -1/9
Let l = -11 - -6. Suppose 0 = -q, 0 = -5*g - 25*q + 22*q - 10. Sort l, 3, g in decreasing order.
3, g, l
Let m(d) = -d**2 - 4*d - 3. Let k be m(-2). Let n(y) = -y**2 - 25*y - 4. Let x be n(-25). Sort k, x, -5, 2 in increasing order.
-5, x, k, 2
Let j = 182 - 189. Sort 2, 1, -8, j.
-8, j, 1, 2
Suppose 5*y + 390 = -y. Sort 5, y, -1/3.
y, -1/3, 5
Let f(a) = -a**2 - 11*a + 43. Let w be f(6). Let z = w - -51. Let s be (-1)/4 + (-6)/8. Sort -3, z, s in increasing order.
z, -3, s
Let y = 0.2 - -3.8. Let m be (-8 - -14)/((-4)/(-2)). Suppose a - 5*o = 6*a, 8 = -m*a + 5*o. Sort -2/15, a, y in decreasing order.
y, -2/15, a
Suppose 2 + 13 = 5*j. Suppose 0*w + 5 = -w, j*w + 20 = -b. Sort -2, 5, b, -1.
b, -2, -1, 5
Let y be (-4)/(-6)*(-219)/584. Put y, -3, -17 in decreasing order.
y, -3, -17
Let z(c) = -2*c**3 - 2*c**2 - 3*c + 2. Let t(o) = o**3 + 3*o**2 + 4*o - 3. Let m(p) = -3*t(p) - 2*z(p). Let w be m(6). Put 3, -0.02, w in decreasing order.
w, 3, -0.02
Let o = 1 - 3. Let m = -1.8 + -1.2. Let i = 98/45 - 12/5. Sort o, m, i.
m, o, i
Suppose 2*s = 3*p - 2, -1 = 5*p - 4*s - 3. Suppose 3*i = -2*n + 3 + 2, -p*n + 4*i - 16 = 0. Suppose 3*c = 50 - 50. Sort n, -4, c.
-4, n, c
Suppose -6*k + 12 = -4*k. Let t = 7 - k. Let v(m) = 2*m - 1. Let p be v(t). Put p, -5, 5 in descending order.
5, p, -5
Suppose 4*s + 17*j = 13*j + 76, -5*s = -4*j - 59. Sort s, -5, -1/3, 1/5.
-5, -1/3, 1/5, s
Let v = -0.083 + 0.283. Suppose 4*d + 0*d + 3*l + 31 = 0, 30 = -4*d - 2*l. Let f(n) = n + 2. Let u be f(d). Sort 0.4, v, u.
u, v, 0.4
Let b = 271 - 276. Put b, -9, -4 in decreasing order.
-4, b, -9
Suppose -3*t + 6 + 3 = 0. Let b = -61 + 59. Let u be (4/2 - 4) + b. Sort u, -0.03, t.
u, -0.03, t
Let x(h) = 23*h - 27. Let p be x(1). Put 1, 0.1, p in descending order.
1, 0.1, p
Let a be (14/(-21))/(14/6). Let o = 3.3 + 0.3. Let j = o + -4.1. Sort 1, j, a in decreasing order.
1, a, j
Let c be (-2)/(-5)*1*-25. Let k = 276 - 271. Sort k, c, -2 in descending order.
k, -2, c
Let