+ 23 = -5*l, -l = -d - 1. Put l, -1, w in descending order.
w, -1, l
Suppose -571 = 3*x + 56. Sort -5, -3, x in decreasing order.
-3, -5, x
Let k be 43/(-9) - (-2 + -3). Sort 0.1, 0.06, -3/2, k in decreasing order.
k, 0.1, 0.06, -3/2
Suppose 0 = 2*d - 0*b - b + 4, -2*b = -2*d - 6. Let t be ((-5)/(-30))/(-2 - d). Sort t, 0.09, -0.4.
-0.4, t, 0.09
Suppose 5*y = 2*y. Suppose -2*j - 4 + 12 = y. Sort -6, 1, j in decreasing order.
j, 1, -6
Let b = 13 - 6. Suppose 5*h + 8 + b = 0. Let n = 4 + h. Sort 4, n, -2 in decreasing order.
4, n, -2
Let j = 217 + -220. Sort j, -5, 13 in decreasing order.
13, j, -5
Let w = -0.23 + 0.85. Let i = -1.12 + w. Let l = 1.1 - 0.1. Sort l, -1, i in descending order.
l, i, -1
Let p = 1.027 - -0.973. Sort p, -3, 4/7, -1 in descending order.
p, 4/7, -1, -3
Let f = 7 + -7. Let b be 0 - ((-1)/((-3)/(-6)) + f). Suppose -3*x + 0*x - 12 = 0. Sort x, -1, b in ascending order.
x, -1, b
Let o = 648 + -651. Put 1/3, -0.1, o in decreasing order.
1/3, -0.1, o
Let c = -5 - -3. Suppose 0 = -5*t - i - 0*i - 5, 3 = -3*t + 4*i. Put c, t, -3 in decreasing order.
t, c, -3
Suppose 0 = -13*b - 29*b - 1344. Put 2, b, -3, -4 in decreasing order.
2, -3, -4, b
Let l be -2 + 1/(-7)*-12. Let g be 10/30 - (42/34)/3. Let i = g + 7/17. Sort i, l, -0.2 in descending order.
i, -0.2, l
Let o = -54/11 - -475/99. Suppose s = 5*p + 7, 3*s = -5*p + 3 - 22. Sort p, 0.3, o in descending order.
0.3, o, p
Let j = 671 - 675. Let u be (6/8)/((-5)/20). Sort -2/9, j, u in descending order.
-2/9, u, j
Let u = 6 + -6.12. Let l = u + 9.12. Let q = l + -9.2. Sort q, 4, -1/14 in decreasing order.
4, -1/14, q
Suppose 7*w = 2*w + 75. Suppose -w = -4*q + 17. Let v be ((-12)/(-16))/(2/q). Put 5, -4, v in ascending order.
-4, v, 5
Let n = 281 + -278. Sort 5, n, -1, -4 in descending order.
5, n, -1, -4
Let c be (-34)/(-12) - (-8 - -3 - -8). Sort -2/3, c, -9.
-9, -2/3, c
Let p = 446917/53634 - -92/1277. Let j = p - 17/2. Sort 3, j, -0.5 in decreasing order.
3, j, -0.5
Let r be (-6)/21 + 46/14. Suppose -d + 2 = k - 5*d, -6 = -r*k - 3*d. Suppose 9*a = 10*a + k. Sort a, 1/7, 2 in decreasing order.
2, 1/7, a
Let h = 2.7 + -21.7. Let i = -18.5 - h. Sort -2/3, i, -10 in descending order.
i, -2/3, -10
Let z be (-76)/190 + 23/(-5). Suppose 5*c = 2*y - 130, 7*y - 2*y - 145 = 5*c. Put z, c, -3, 4 in increasing order.
c, z, -3, 4
Let x = 1527 + -1526. Put -2/5, 17, x, 0.1 in descending order.
17, x, 0.1, -2/5
Let x = -237 + 241. Sort x, -4, 15 in descending order.
15, x, -4
Suppose -4*x + 36 = -12. Let a = x - 13. Suppose -4*k + 2 = -4*y - 2*k, 4*k - 11 = y. Sort a, 8, y in ascending order.
a, y, 8
Suppose -5*w = -4*m - 25 + 106, 0 = w + 5*m - 7. Sort -2, w, 4 in increasing order.
w, -2, 4
Let z = 15.1 + -15. Let j = -42 - -39. Sort -16, j, z in increasing order.
-16, j, z
Let b be (0 + 2 - 3)/(19/(-2356)). Let c = b - 125. Put 0, 31, c in decreasing order.
31, 0, c
Let i(r) = -r**2 + 12*r + 11. Let x be i(16). Put -1, x, 4 in decreasing order.
4, -1, x
Let w be (-1)/((-84)/(-146)) - -1. Let j = 433/6006 + -2/3003. Let r = j + w. Put 1/3, r, -1/3 in increasing order.
r, -1/3, 1/3
Let p be (-4)/18 + 68/(-18). Let c be (2 - 4 - -2) + -1. Suppose -l - 5*y - 12 = 3*l, 2*y + 8 = 0. Sort l, c, p in decreasing order.
l, c, p
Suppose 4*l = -2*l - 0*l. Put 1, -1/12, l in decreasing order.
1, l, -1/12
Let o = -0.11 - 4.89. Let v = o - -4.6. Sort -5, -0.07, v in ascending order.
-5, v, -0.07
Let j = -139 + 75. Let p = 63.6 + j. Let a = 0.2 - -0.3. Sort -1, p, a.
-1, p, a
Let c = -1.497 + 1.56. Let m = c + 1.937. Let h = -97/280 - 3/56. Sort -2, m, h in decreasing order.
m, h, -2
Let g = 16 + -13. Suppose s - 2 = 3*x + g, -x = -5*s - 17. Let a be 2/(s - (3 + -5)). Put 1, a, -3 in descending order.
1, a, -3
Let t = 7 + -7.1. Let w = -8 - -4.1. Let x = w + t. Sort x, 4/9, -0.1.
x, -0.1, 4/9
Suppose -8 = -9*w + 28. Let k = -0.82 + -0.08. Let v = 0.6 + k. Put 2, w, v in decreasing order.
w, 2, v
Let o = 84.135 - 0.135. Let q = o - 84. Sort -3/4, -2, q.
-2, -3/4, q
Let h = -2 + 1.6. Let u = 317 + -6021/19. Let b = -1150/7 - -164. Put u, h, b in descending order.
u, b, h
Let l = 38 + -38. Suppose l*q = -q - 6. Put q, -1, 2 in increasing order.
q, -1, 2
Let s = 1121/1925 - 3/275. Put -6, -1/2, -24, s in increasing order.
-24, -6, -1/2, s
Suppose 0 = -r + 5*v + 20, r = -5*v + 2 - 12. Let c = 98 + -97. Put c, 13, r in increasing order.
c, r, 13
Let t be (-2)/(-15) - (-438)/90. Suppose 0*x - x - 3 = 0. Let w(q) = -2*q - 6. Let n be w(-5). Put x, n, t in descending order.
t, n, x
Let n = 91 - 95. Sort -16, 8, n in descending order.
8, n, -16
Let t = -18 - -19. Let r(l) = 2*l**3 - 3*l**2 + l + 1. Let s be r(t). Sort s, -9, -1 in descending order.
s, -1, -9
Let z = 13 + -94. Put z, -3, -4 in increasing order.
z, -4, -3
Let o = 0.96 + -1. Let c = 3.225 + -0.245. Let j = c + 0.02. Sort j, o, 4 in increasing order.
o, j, 4
Let c(t) = t**3 - 26*t**2 - 28*t + 29. Suppose -5*j = -2*p + 79, 8*p - 155 = 3*p + 4*j. Let r be c(p). Put r, -1, 0, 5 in ascending order.
-1, 0, r, 5
Let a = 19.983 - -0.017. Let i = 18 - a. Let u = i - -7. Sort 3, 3/7, u in increasing order.
3/7, 3, u
Suppose 1 = 3*g - 11. Let i(v) = 2*v**2 + 8*v + 6. Let p be i(-3). Put 5, p, g in decreasing order.
5, g, p
Suppose 12 - 13 = -y + 2*d, -3*y + 5*d = -4. Suppose -4*u - g = -2*u + 6, -3*u = -2*g + 23. Sort u, -2, y.
u, -2, y
Let b = -8 - -2. Let i be ((-4)/b)/(15/(-9)). Let h = -132 - -133. Sort 3/2, h, i in ascending order.
i, h, 3/2
Let t = -535 - -537. Let k be 2/(-1) + 2 + 0. Suppose k = y - 5*y + 20. Put t, y, -3 in descending order.
y, t, -3
Let d(g) = -g**2 - 4*g + 1. Let j be d(-3). Let y = 42 + -32. Let f(s) = -5*s + 47. Let a be f(y). Put 5, j, a in decreasing order.
5, j, a
Let h = 3.6 - 3. Let f = -5055 + 5058. Sort f, h, -0.2, 4 in decreasing order.
4, f, h, -0.2
Let p = -39 - -36. Let z be 6/(3 - (p + 1)) + -1. Sort z, -6/7, -2/19.
-6/7, -2/19, z
Let h = 3 + -2.9. Let y be ((-25)/30)/((-40)/15 + 2). Sort -0.1, y, h in decreasing order.
y, h, -0.1
Let w = -8 + 7.5. Let x = w + 2.5. Let f = 4 - 9. Sort f, 3, x.
f, x, 3
Let j(z) = -39*z + 83. Let h be j(2). Sort 51, h, 0, -3 in increasing order.
-3, 0, h, 51
Suppose 0*r + 27 = -9*r. Let u = -0.9 + 1. Let b = u - -0.3. Put r, b, 2/15 in increasing order.
r, 2/15, b
Let y(q) = 10*q + 531. Let x be y(-57). Sort -3, -5, x, 4 in descending order.
4, -3, -5, x
Suppose -62*g = -71*g + 36. Put 2, g, 3, -4 in decreasing order.
g, 3, 2, -4
Let v be -5 - -1 - (186/(-33) + 4). Let t = 100/33 + v. Sort 4/3, 2/9, -3, t in decreasing order.
4/3, t, 2/9, -3
Let w = -5.12 - -10. Let f = w - -0.12. Let v = -2.3 - -2. Sort f, v, 2.
v, 2, f
Let r be -2*-2*3/(-18). Let t = -146.5 + 147. Put r, t, -9 in descending order.
t, r, -9
Let z = 5/46 + -14/23. Sort 0.29, 0, z, 1/7 in decreasing order.
0.29, 1/7, 0, z
Let j = -67 + 29. Let m = j + 77. Let i = m + -38.9. Sort -1/5, i, -5 in ascending order.
-5, -1/5, i
Suppose 0*k = -5*f - 2*k + 14, -4*f + k + 19 = 0. Suppose 0 = 4*r - 4*y - 28, 0 = -3*y + 1 - 13. Sort f, r, 5, -1.
-1, r, f, 5
Suppose -2*f = 3*f - 25. Suppose -f*h + 78 = 53. Sort 4, 1, h in descending order.
h, 4, 1
Let z be 3/(-27)*-3*6. Let i be 8/7 - (-8)/(-56). Put -4, i, z in descending order.
z, i, -4
Let n = 1623 + -1627. Put n, -1, 1.4, 0 in descending order.
1.4, 0, -1, n
Let g = 933/7 + -133. Let u = -1.746 + 0.746. Sort u, 0.08, g.
u, 0.08, g
Let u = 50.8 - 51. Sort u, -7, -0.3, 5 in descending order.
5, u, -0.3, -7
Suppose -12 = -7*c + 3*c. Suppose 4*m + h = 13, 3*m = -c*h + 7 + 14. Let v = -5.5 - -5. Sort v, m, -4.
-4, v, m
Let z = -21 - -30. Let t = -1.91 + -0.09. Let c = t + z. Sort -0.5, c, 0.3.
-0.5, 0.3, c
Let k(u) = -u**3 + 9*u**2 - 5*u - 4. Let f be k(8). Let p = f + -23. Let a = p - 0. Put a, 2, 5 in decreasing order.
5, 2, a
Suppose 0 = 12*r + 22*r - 170. Sort 8, -5, r, -1 in increasing order.
-5, -1, r, 8
Let v = 0.4 + -0.7. Let q(j) = 0*j**2 - 5*j - j**2 - 5 - 4 - j**2. Let h be q(-3). Sort v, h, -3.
h, -3, v
Let n = 3 - 1. Suppose 6*x + 22 = 28. Suppose 5*s - 5*l + 5 = -l, -s - n*l = x. Put -1/4, s, 1 in increasing order.
s, -1/4, 1
Let h(s) = -s**3 + 35*s**2 + 35*s + 37. Let d be h(36). Put -111, d, -1 in descending order.
d, -1, -111
Suppose 0 = -3*v - 5*u + 34, 4*v + 4 =