0, 2*r = 2*b + r - 12. Sort t, k, b.
k, t, b
Let p = 176 - 144. Put p, -2, 5 in descending order.
p, 5, -2
Let x be ((0 - -1) + 7 + (-29 - -15))/(-6). Let z be 10/(-6) + (-1)/3. Put x, z, -5 in descending order.
x, z, -5
Suppose 0 = -6*l + 72 - 96. Put -26, l, -3, -1 in decreasing order.
-1, -3, l, -26
Let c = -221/3 - -4193/57. Let k = 11 + -6. Put -4, c, k in decreasing order.
k, c, -4
Let z = -199 - -194. Let a be (-56)/90 - 8/(-20). Sort -3, 0.2, z, a in decreasing order.
0.2, a, -3, z
Let c(a) = -2*a - 45. Let t be c(-24). Suppose -3*o - t*q = 9, 6 + 1 = -o + q. Put 5, -2, 0, o in decreasing order.
5, 0, -2, o
Let w(k) = -2*k**2 + 6*k + 9. Let b be w(6). Let n = b + 24. Suppose 2*z = -0*z. Put z, -1, n in ascending order.
n, -1, z
Suppose -l + 5 = -3*p - 5, 0 = -4*l + 4*p. Sort -0.2, -8, l in ascending order.
-8, l, -0.2
Suppose -24*d + 30 = 6. Let g = 0 - -5. Sort d, -5, g in descending order.
g, d, -5
Let p = -1697.5 - -1697. Let q be (-5)/(-9) + 1/(-3). Put q, p, -1/5, -3/7 in increasing order.
p, -3/7, -1/5, q
Let f(k) = k**3 + 9*k**2 + 13*k + 8. Let q be f(-5). Let i = 38 - q. Sort 3, 0, i in increasing order.
i, 0, 3
Let x = 2.8 + 16. Let n = x + -19. Let w be 2 + (-2)/1 + 0. Sort n, w, 4.
n, w, 4
Let x = 0.3588 - 0.1838. Put 1, 0.4, x in descending order.
1, 0.4, x
Let y be -72 + (3 - 6/1) + 2. Let g = y + 66. Sort g, 2/3, 1/2 in decreasing order.
2/3, 1/2, g
Let w = -504 - -506. Put 3, 0.1, w, 3/5 in ascending order.
0.1, 3/5, w, 3
Let b be (1 - 26/18)/(10/165). Let c = b - -7. Put 4, c, -0.1 in ascending order.
c, -0.1, 4
Let l = -7/10 + 3/2. Let t = -1.86 + 2.76. Sort t, -2, -5, l in ascending order.
-5, -2, l, t
Suppose -2*i = -i + 18. Let a be 2*(2 - i/(-4)). Suppose -l = -6*l + 5. Put l, a, 4 in decreasing order.
4, l, a
Let q = -160 - -160.1. Sort 5, 22, q, 0.5 in descending order.
22, 5, 0.5, q
Suppose -7*c - 20 = -17*c. Suppose -4*j - 7 - 13 = 0. Let a be 3 - (5 + (j - -3)). Sort -5, c, a in descending order.
c, a, -5
Let w = 284 - 285. Sort 3, -4, 7, w in increasing order.
-4, w, 3, 7
Let r = -8.19 + 0.19. Let l = 8.13 + r. Let g = l + -0.23. Put g, -1, -5 in decreasing order.
g, -1, -5
Let z = -255 + 251. Suppose 4*k = -v + 14 - 3, 2*k - 3*v = -5. Sort k, z, 3 in decreasing order.
3, k, z
Let j = 0.307 - 9.307. Sort 1, 2, j, 0.5.
j, 0.5, 1, 2
Let d = 1 + -1. Let r be d/(1*(4 - 3)). Let l(x) = x**3 + 7*x**2 + 8*x + 7. Let b be l(-6). Put r, b, -3 in descending order.
r, -3, b
Let b = 16 + 11. Let c = -8 - -32. Let z = c - b. Sort -0.4, 1, z in descending order.
1, -0.4, z
Let k = 846 + -851. Let x = 0.04 - 0.34. Put 0.2, x, k in descending order.
0.2, x, k
Let m = 8.8 - 9. Suppose -8*x = -12*x + 1096. Let c = x - 3012/11. Sort c, m, 5 in increasing order.
m, c, 5
Let r = 1.04 - 1.5. Let z = r - 3.54. Let w(t) = -t**2 + 6*t - 3. Let q be w(6). Put 2/3, z, q in decreasing order.
2/3, q, z
Let q be 2/8 - 87/12. Put 4, -4, q, 5 in descending order.
5, 4, -4, q
Suppose -6*r = -3*r. Let m = 0.6 + -0.46. Let b = 0.26 + m. Put 4, r, b in descending order.
4, b, r
Let r = 12 + -18. Let f be 12 - (0 - r/2). Suppose -3*n + 6 = g, -3 = -2*g + 3*n - f. Put 1, 9, g in descending order.
9, 1, g
Let q be (-7)/(-15) - 22/(-165). Let u = -9 + 13. Put q, -3, -2, u in descending order.
u, q, -2, -3
Let x = -0.081 + -1.059. Let q = -0.14 - x. Let n be (-7)/(-10) - 5/10. Sort n, q, -3.
-3, n, q
Suppose -2 - 7 = 2*o - t, 2*t + 2 = 0. Let q(w) = -w**3 - 6*w**2 + 6*w - 8. Let h = -1 - 6. Let y be q(h). Put y, 0, o in decreasing order.
0, y, o
Let c = -13 + 8.5. Let l = c + 4.2. Let j = 0.4 + 0. Sort j, -1/7, l in decreasing order.
j, -1/7, l
Let g(w) = -w**3 + 2*w**2 - w. Let r be g(2). Let p(b) = 2*b**3 + b**2 - 4*b - 3. Let v be p(r). Sort 2, 0, v in increasing order.
v, 0, 2
Suppose 53 + 55 = -4*b. Let c = 23 + b. Put c, 2/13, 21 in increasing order.
c, 2/13, 21
Let s = 0 + 3. Suppose c - s = -1. Sort 1, -2, c in decreasing order.
c, 1, -2
Suppose -23*f + 77 = -12*f. Let k(c) = c - 16. Let j be k(11). Put j, 3, f in descending order.
f, 3, j
Let t = -37.54 + 38. Let q = 0.04 + t. Let s = q + -4.5. Sort -1/2, s, -2 in decreasing order.
-1/2, -2, s
Let f = 831/7208 + 1/424. Sort -0.1, f, -22.
-22, -0.1, f
Suppose 0 = -4*z + 8 + 8. Suppose 92*u - 248 = -636 - 348. Sort -2, 0, u, z in increasing order.
u, -2, 0, z
Let t be -1*(-77)/7 + -13. Let a be (6/5)/(6/20). Sort 3, a, t in decreasing order.
a, 3, t
Let x be (-6 + 0)/((-3)/4). Let l be x/10 + (-231)/(-105). Put 2/13, -1, l in ascending order.
-1, 2/13, l
Let o be -4 + (12 - 7) + 1. Sort 3, 1, o in descending order.
3, o, 1
Suppose -140 = -h - 6*h. Let f be (-22)/4 - (-9)/6. Sort f, -2, h in ascending order.
f, -2, h
Let w = 12 + -8. Suppose k + 1 = -0*d - d, -4*d = -5*k + 22. Put w, -2, d in decreasing order.
w, -2, d
Let w = -170 - -80. Let u = w - -84. Put 1, 4, u in increasing order.
u, 1, 4
Let a = -820.9 + 819.9. Let r = -2.5 + 3. Let g = 6.7 + -7. Put r, a, g in descending order.
r, g, a
Let u = 5.82 - 0.82. Let i = u - 4.7. Sort 0.1, -3/5, 5, i.
-3/5, 0.1, i, 5
Let n be ((-1)/5 - 0)/(63/(-70)). Put n, -1/6, 0.3 in increasing order.
-1/6, n, 0.3
Let o(f) = f**2 + 11*f + 8. Let h be o(-10). Let q be (-8)/(-22) - (1 - 1). Let v be 2*(7/21 - (-48)/(-171)). Sort v, q, h in descending order.
q, v, h
Let l = -160 - -165. Sort 0, 0.5, l, -71.
-71, 0, 0.5, l
Let s = -257/4 - -64. Let i(v) = v**3 + 8*v**2 - 11*v + 2. Let m be i(-9). Suppose 3 + 2 = -2*g + n, -2*g - m = 2*n. Put s, g, 1/3 in decreasing order.
1/3, s, g
Suppose 0 = -4*m + 2*z - 28 + 70, -3*m = 2*z - 35. Suppose 0 = -0*v - 5*v - 3*p - m, -4 = 4*v + 4*p. Sort -2, -5, v, 0.
-5, v, -2, 0
Suppose -6*n - 4*x + 9 = -n, 2*n - 5*x - 30 = 0. Suppose -u = -z - 5, 5*u - 6 = -z + 25. Sort -5, 1, u, n in descending order.
u, n, 1, -5
Let i be 28/16 + (-9)/12. Put 3, 31, i in decreasing order.
31, 3, i
Let m = 0.092 - 0.192. Put 2, 1/4, m, 4 in ascending order.
m, 1/4, 2, 4
Let f = -115 - -112. Put -1, -30, f in decreasing order.
-1, f, -30
Let g = -0.41 + 0.01. Suppose 7 = -3*y - 5, -4*r - 5*y = 88. Sort r, g, 0.5 in descending order.
0.5, g, r
Let h(x) = -37*x + 190. Let z be h(5). Let y(n) = -2*n + 1. Let s be y(2). Let v be 2*(-5)/2*s. Sort z, -4, v in ascending order.
-4, z, v
Let o = -390 - -389.6. Sort 0.007, -2/3, -2, o in decreasing order.
0.007, o, -2/3, -2
Let w = -515 + 515. Put w, -3, -4, 25 in increasing order.
-4, -3, w, 25
Let i = 55.91 + -57. Let a = -6 - -6.21. Let l = i - a. Sort 5, 2/11, l in decreasing order.
5, 2/11, l
Let f = -215 + 103. Let g = f + 111.6. Put 1/2, -4, -1, g in ascending order.
-4, -1, g, 1/2
Let k = 25/36 + -4/9. Let w = -511.2 - -511. Sort 3, 2, w, k.
w, k, 2, 3
Suppose -21 = -8*m + 11. Let a(p) = -p**3 + 5. Let y be a(0). Let d be (8/m - 1)*y. Put d, -4, 2 in increasing order.
-4, 2, d
Let n be (-26)/5 - (-5 + -2). Sort n, 0.3, -0.04 in descending order.
n, 0.3, -0.04
Let z = 0.13 - 1.33. Let i = z + -3.8. Put i, 3, -0.1 in ascending order.
i, -0.1, 3
Let p = -37.91438 - -0.02438. Let i = -56 + 18. Let o = i - p. Put -1/4, o, -0.3 in increasing order.
-0.3, -1/4, o
Let b(c) = 2*c - 44. Let w be b(21). Let t be ((-6)/12)/((-1 + 2)/w). Put -3, t, 4, 1/4 in decreasing order.
4, t, 1/4, -3
Let r = 662 + -666. Suppose -4*u = -4*b + 20, 2*u + 3*b = -2*u - 27. Let j = -4 + -1. Sort r, u, j.
u, j, r
Let f = -264 - -264. Sort -3/2, -4/15, -3/4, f in ascending order.
-3/2, -3/4, -4/15, f
Let x = 82 - 78. Put x, 0.2, -4, 6 in decreasing order.
6, x, 0.2, -4
Let m be 2/(-3) + 65/(-15). Let z(b) = -3*b - 6. Let f(p) = 4*p + 7. Let y(r) = m*z(r) - 4*f(r). Let g be y(2). Sort 0.4, g, -4 in descending order.
0.4, g, -4
Let h = -0.03 - -3.03. Let k be (1/2)/(6/12)*4. Let o = 7 - 7. Put k, o, h in descending order.
k, h, o
Let c = 43.2 + -43. Let z = -0.5 + c. Put -2, 4, z in descending order.
4, z, -2
Let n be (-240)/36 + 8 - (1 - 0). Sort n, 6/19, -0.1 in ascending order.
-0.1, 6/19, n
Suppose 0 = -22*c + 25*c + 15. Let y = -35 + 32. Sort c, 25, y, 4 in increasing order.
c, y, 4, 25
Let t be (-264)/(-576) + 1/(-3). Sort 2, 3, t, -0.2 in decreasing order.
3, 2, t, -0.2
Suppose 0 = -19*r - 8 + 46. Suppose 0 = 5*d + 4*m - 42, 3*d = -2*d + 4*m + 18. Sort d, 3, -4, r in descending order.
d, 3, r, -4
Let j = 2110 + -207