3 = c + 4*b. Sort c, 0, w in decreasing order.
c, 0, w
Suppose b + 3 = -x - 0*b, -3*b - 9 = -4*x. Let y = 270 + -275. Put -4, 0.5, y, x in increasing order.
y, -4, x, 0.5
Let k be (0 - -1)/(23/5911). Let a = k + -1802/7. Sort 4, -1, a.
-1, a, 4
Let v = -101.4 - -104.4. Sort -4/41, 1, v in decreasing order.
v, 1, -4/41
Let z(p) = p**3 + 10*p**2 - 3*p + 7. Let f be z(-5). Let r = -152 + f. Suppose -3*x = -3*q + 6, 4*q + 4*x = 6*x. Sort q, 3, r.
r, q, 3
Let u = -0.1 - -0.3. Let z = 1/322 - -627/5474. Let p = -15 - -15.5. Put z, p, u in increasing order.
z, u, p
Let v(k) = k + 3. Let r be v(-2). Suppose 5*a + 0*u + 5*u - 20 = 0, -4*u = -a + 9. Suppose -a*q + f = -19, 3*f = -4*q + 8*f + 11. Sort -2, q, r.
-2, r, q
Suppose 0 = -o - 2, -13*o + 8*o = -2*h + 14. Sort -3, -43, h in ascending order.
-43, -3, h
Let l = -40 - -18. Let t = l - -46. Let b be t/(-63) + 2/3. Put b, 2/3, -1 in descending order.
2/3, b, -1
Let j be (-1 - (-4)/(-1))*-1. Suppose j - 9 = 2*i. Sort 2, 9, i in ascending order.
i, 2, 9
Let f = -129.4 + 131.4. Sort 0.035, f, -4/5, 0.4 in decreasing order.
f, 0.4, 0.035, -4/5
Let x = 10150 + -10149. Let d(q) = -q**3 - 4*q**2 + 3*q + 6. Let h be d(-4). Put h, 5, 4, x in descending order.
5, 4, x, h
Let v(g) = 2*g**3 + 7*g**2 - 2*g + 1. Let x be v(-4). Put x, -1, -5 in increasing order.
x, -5, -1
Suppose 5*j - q + 91 = 0, 4*j + 12 = -4*q - 56. Let t be 16/j - (-10)/15. Let x be (-19)/35 - (-4)/28. Put x, 0.5, t in decreasing order.
0.5, t, x
Let d(o) = 22*o**2 - o - 1. Let v be d(-1). Suppose 3*z + 23 = -4*t, 0*z - 3*z + v = -5*t. Put 2, -4, t in decreasing order.
2, -4, t
Let u(v) = v**3 + 3*v**2 - 3. Let f be u(-2). Let r be -2 - (1 - -1 - (8 - 6)). Suppose 5*s + 9*w - 15 = 4*w, s + 1 = 3*w. Put r, s, f in ascending order.
r, f, s
Let m = 8 + -6. Suppose 0 = -p + 2*p - m. Let a(y) = -y + 1. Let j be a(-2). Put j, -1, p in decreasing order.
j, p, -1
Let g = -1764 + 1767. Let v = -0.5 - -0.4. Sort 2/3, v, -2, g in decreasing order.
g, 2/3, v, -2
Let u be (-310)/(-248) + (-150)/(-8). Sort -3, 4, u in descending order.
u, 4, -3
Suppose m + 3*m = 20. Let g be (-1 - -10)*-2*(-6)/4. Suppose -2*t = s - 23, 10 + g = 3*t - s. Sort 0, m, t in ascending order.
0, m, t
Let q = 22.3 + -22. Let g = -131 - -394/3. Sort g, q, 1/14, -2 in ascending order.
-2, 1/14, q, g
Let i = -219 - -222. Put -8, 1, i in decreasing order.
i, 1, -8
Suppose 0 = -5*d + 7*d + 4, 0 = x - 3*d - 43. Sort 4, x, -3 in decreasing order.
x, 4, -3
Let y(c) = -c - 2. Let k be y(-7). Suppose -k = 4*i + 3*p, -2*i = 2*i - 2*p - 10. Let n = 0.04 + 4.96. Sort n, 0.2, i.
0.2, i, n
Suppose 90 = -28*b - 2*b. Put 0, 16, 5, b in ascending order.
b, 0, 5, 16
Let p(u) = -u - 3. Let r be p(-7). Let o be -3 + 20/r + -1. Put -5, -4, o in decreasing order.
o, -4, -5
Let v = -0.025 - -20.025. Let s = -21 + v. Sort -2/5, -5, s in decreasing order.
-2/5, s, -5
Let v(m) = -m**2 + 17*m - 6. Let z be v(16). Suppose -5*f + 7 = -4*f. Let w = z - f. Sort 5, w, -1 in increasing order.
-1, w, 5
Let v = -1 - 0. Let z be (0 - 2/(-72))/(67/536). Put v, z, 0.3 in increasing order.
v, z, 0.3
Let t = 0.6 + -1. Let k = -13/14 - -3/7. Sort t, -4, k in decreasing order.
t, k, -4
Let l(v) = v + 1. Let b be l(-1). Let n = 8645 + -8645.05. Put n, -1, b in descending order.
b, n, -1
Suppose -2 = -2*j + j. Let x = 17 + -20. Let k be 117/36 + 1/(-4). Put k, j, x in decreasing order.
k, j, x
Let q = -203 - -200. Sort -9, q, 0, 62 in descending order.
62, 0, q, -9
Suppose 5*m + 13 = -u, u + u = m - 4. Let q = -1 - -4. Put -6, q, u in decreasing order.
q, u, -6
Suppose 3*y = 2*y. Suppose -4*i - 7 - 13 = y. Suppose 0 = 12*n - 30 + 30. Sort n, i, 3 in descending order.
3, n, i
Let t = 72.98 - 0.98. Let z = -72.3 + t. Sort 0.2, z, 0.1, 3/5 in decreasing order.
3/5, 0.2, 0.1, z
Let x = 19.1 + -4.1. Let j = -20 + x. Sort -1/2, -0.3, j in decreasing order.
-0.3, -1/2, j
Suppose 0 = -44*b - 214 + 1094. Sort -3, 5, b in descending order.
b, 5, -3
Let w = -62 - -62.29. Let a = w + -5.29. Put -1/15, a, 5 in increasing order.
a, -1/15, 5
Let c = -2 - -6. Let h = -104 + 84. Let y = h - -25. Put c, -2/9, y in ascending order.
-2/9, c, y
Let u = -169.4 + 169. Let c be (24/20)/((-12)/(-40)). Sort -1/6, u, c.
u, -1/6, c
Suppose -87*k = -39*k - 48. Put k, 16, -2 in descending order.
16, k, -2
Suppose -2*l + 2*j = -12, 2*l + 2*j + 2*j = 24. Suppose -9 = -3*h - 2*g, -15*h + 12*h = -2*g + 15. Sort 2, l, h in descending order.
l, 2, h
Let m = -0.4755 + -0.0245. Put 1, 0, -1.1, m in ascending order.
-1.1, m, 0, 1
Suppose -s = 5*z + 43 + 64, -3*s - 2*z = 308. Let v = s + 106. Put v, -0.1, -14 in increasing order.
-14, -0.1, v
Let a be ((-2)/(-3)*9)/(96/(-64)). Let w(x) = x**3 + x**2. Let c be w(-1). Put a, c, -5 in ascending order.
-5, a, c
Suppose -2*g = 10 - 18. Sort -3, g, 5, -16 in descending order.
5, g, -3, -16
Let w = 5153.862 - 5149. Let n = w - -0.138. Let j = 0 + 0.1. Put n, j, 2 in descending order.
n, 2, j
Let d = 3.98 - -0.02. Let w = d - 4. Let y = -421 + 2949/7. Sort w, y, -1 in decreasing order.
y, w, -1
Let x = -11547/36848 - -2/2303. Let i = x - -77/144. Put i, 0.5, 1, -3 in decreasing order.
1, 0.5, i, -3
Let y = 0.517 - 0.917. Put 4, y, -1, 5/6 in increasing order.
-1, y, 5/6, 4
Let o(v) = -v**2 + 17*v + 114. Let y be o(22). Let n(l) = -l - 5. Let s be n(0). Suppose 0 = 3*f + 6 + 6. Put y, s, f in descending order.
y, f, s
Let t = 16 + 2. Let v = t + -18.8. Let y = v + 1.3. Sort -0.1, y, 3 in increasing order.
-0.1, y, 3
Let r = 84381/1696 - 5/1696. Let k = -50 + r. Sort -4, k, -2/31 in decreasing order.
-2/31, k, -4
Let f = -0.7 + 0.2. Suppose -4*w = -4*s + 8, -2*s - w = -s - 6. Let g be 7/(-14)*(-40)/s. Put 0, g, f in increasing order.
f, 0, g
Suppose -15 = -23*v - 38. Sort v, 3, -4 in descending order.
3, v, -4
Let z = -26 - -24.4. Put z, -2, 1 in descending order.
1, z, -2
Let q be 30/(-150) + 32/10. Let y be 49/(-105)*q + 1. Suppose -2*w + 8 = 2*w. Sort 0, w, y in ascending order.
y, 0, w
Suppose 15*w = -38*w + 4028. Sort 2, 4, w in increasing order.
2, 4, w
Let r be (-25)/10*(-2)/20. Let i = 106.4 - 105.9. Put r, -0.9, 3, i in increasing order.
-0.9, r, i, 3
Let a(n) = 5*n**3 - n**2 + 2. Let d be a(-1). Let s be 2/(-1 + 1 + -2). Suppose 0 = 4*j + 4, -j = -4*t - 8 - 3. Sort s, t, d in descending order.
s, t, d
Let c = 11 + -7. Let u = -832 - -830.1. Sort -0.2, c, u in descending order.
c, -0.2, u
Let r = -5.8 + -0.2. Let z = 268.7 + -269. Sort r, 0, z in decreasing order.
0, z, r
Suppose -s + 5*q = -0*q - 43, 0 = s + 3*q - 11. Suppose 2*x + s - 13 = 0. Sort -2, 8, x in decreasing order.
8, -2, x
Let c(l) = -l + 2. Let w be c(-8). Let p be (w/(-5) + 2)/1. Put 13, p, -5 in descending order.
13, p, -5
Let y = 0.5 - -2.5. Let w = 0 - y. Let f = -414 + 414.5. Sort w, f, 0.3.
w, 0.3, f
Let z = 11 + -29. Let n be (z/(-45))/((-12)/(-10)). Put -1, n, -1/2, 1/7 in increasing order.
-1, -1/2, 1/7, n
Suppose 11*r - 7*r + 3*h - 14 = 0, -3*h = -3*r + 21. Sort -8, -5, 8, r in descending order.
8, r, -5, -8
Let s = -12280 - -12279.7. Let w(m) = 2*m**3 - 2*m**2 - 4*m - 2. Let j be w(-2). Sort j, s, 4 in descending order.
4, s, j
Let h(n) = n**3 - 14*n**2 + n - 17. Let u be h(14). Sort -8, 1, u, 0.
-8, u, 0, 1
Let d = 18 - 8. Suppose 0 = -2*o - 8, -o + d = -5*w - 11. Sort 1, w, 5, 4 in ascending order.
w, 1, 4, 5
Let k = 0.2 - -9.7. Let m = k + -10. Sort 1/3, -0.2, m in decreasing order.
1/3, m, -0.2
Let o = -6 - -6.1. Suppose 4*q - 12 = 4*u, -2*q + 3 = -q. Let g = 3.12 + -1.12. Sort u, g, o in decreasing order.
g, o, u
Let t = -454 - -455. Put t, 2/15, 1/12 in increasing order.
1/12, 2/15, t
Let a = -54.235 + 54. Let s = a + 0.035. Sort -2, 2/7, s, -0.4 in descending order.
2/7, s, -0.4, -2
Let f = -82.9 + 78. Let i = 0.9 + f. Let o = -2.916 - 0.084. Put -0.2, o, i in ascending order.
i, o, -0.2
Let x = -36445968 + 327534577/9. Let m = x - -53386. Let h = m + -149. Sort 5/2, -0.1, h in increasing order.
h, -0.1, 5/2
Let o = 0.29 - 0.31. Let c be 196/(-126)*6/4 + 2. Sort o, c, -0.1 in descending order.
o, -0.1, c
Let k = 41 + -40. Let d = k - 3. Sort 3, d, 0.9 in decreasing order.
3, 0.9, d
Let w = -37.04 - -36. Let j = w - -5.04. Put j, -2, 0 in ascending order.
-2, 0, j
Let l = -2 - -1.7. Let x = 47 - 56.4. Let o = x + 9.38. Sort l, o