+ 2*d = -7. Sort n, 3, d, 4 in decreasing order.
d, 4, 3, n
Let u be (8/7)/((-3692)/(-182) - 20). Sort -13, u, 0.
-13, 0, u
Let f = 3278 - 3277.968. Sort -4, 5, f, -3 in decreasing order.
5, f, -3, -4
Suppose -197 = -4*q - 5*x - 32, -2*q - 3*x + 85 = 0. Suppose -q*l = -53*l. Sort l, -4, 9.
-4, l, 9
Suppose -t - 2*p = -25, t - 2*p - 7 = -2. Suppose -t = -3*r - 6. Let s = 67/816 + 23/272. Sort r, 2, s.
s, 2, r
Let j = 569 - 1141/2. Let k = -51 - -55. Sort 5, 6, k, j in descending order.
6, 5, k, j
Suppose 0 = -2*j + 1095*t - 1096*t - 25, 3*t = -5*j - 62. Sort 2, -4, -3, j in decreasing order.
2, -3, -4, j
Let c be ((-4)/(-20))/((-199)/(-195020)). Put c, -22, -3 in decreasing order.
c, -3, -22
Let a = 1895 + -1899. Let c(f) = -f**3 - 5*f**2 - 5*f - 4. Let q be -2 + (0 - -3) + -5. Let l be c(q). Put -3, -5, l, a in decreasing order.
l, -3, a, -5
Suppose -2*u = 3*l - 747, 4*u - 1484 = 55*l - 51*l. Put -3, 2, u in ascending order.
-3, 2, u
Let t = -8.2 + 9.2. Suppose 0 = -4*g + 2*w - 3 + 27, -24 = -4*g + 5*w. Let c = g - 8. Sort t, c, -33 in increasing order.
-33, c, t
Suppose 0 = -0*m + 5*m + 5. Suppose -4*u = -7*w - 7 - 28, -5*u - 10 = 2*w. Let v = 204 + -206. Sort m, v, w, 0 in descending order.
0, m, v, w
Let q be (-20)/(70/7) + 5*1. Let g be ((-8)/(-6))/(((-2)/q)/1). Suppose -5*n + 1 = 16. Sort n, -1, g.
n, g, -1
Let q be (-178)/(-4)*(801/(-534))/(6/8). Put -4, 1, q in ascending order.
q, -4, 1
Let j be 88/144 - (-22)/(-198). Put -1.7, j, -0.3, 5, -4 in increasing order.
-4, -1.7, -0.3, j, 5
Let c = -56876 + 56881. Let k = 16 + -19. Suppose h = 4*h + 3. Sort h, k, 2, c in decreasing order.
c, 2, h, k
Let k = -18 + 92/5. Let l = 10586 + -10586.1. Let s = 0.1 + 0.1. Put 4/7, s, k, l in increasing order.
l, s, k, 4/7
Let u = 6504 - 6588. Put 1, 9, u in descending order.
9, 1, u
Let q = -1.2372 - 4.7628. Put q, -13, 2/7, 2/11 in decreasing order.
2/7, 2/11, q, -13
Let b be (68/6 - -11*(-42)/(-693))/4. Put 2, 107, b in decreasing order.
107, b, 2
Let i be -2*((-141)/705)/((-4)/(-2)). Sort 2.6, -0.051, i in descending order.
2.6, i, -0.051
Suppose -7*b = -2*b + k - 4, 3*k - 12 = 5*b. Suppose p - 3*d - 6 = b, 0*p = -3*p + d - 6. Sort p, 5, 2, -1 in increasing order.
p, -1, 2, 5
Suppose 44*h - 27*h - 68 = 0. Suppose 0*g = g + 4*d + 11, 2*g = 2*d - 2. Put g, 3, -5, h in decreasing order.
h, 3, g, -5
Let d = 121267/4 + -30317. Put d, -1, 166 in increasing order.
-1, d, 166
Let g be (2 - 0) + (-704)/330. Let d(y) = -y**3 + 7*y**2 - 7*y + 11. Let z be d(6). Suppose -z*i + 0 = 20. Sort i, -1/4, g.
i, -1/4, g
Let l(d) = 2*d**2 - 37. Let j be l(5). Put j, -0.3, 3 in descending order.
j, 3, -0.3
Let j(p) = p**2 + 8*p + 14. Let l be j(-25). Let n = l - 442. Sort -4, 2, n, 4.
-4, n, 2, 4
Let w = 0.09 + -0.09. Let s = 0.05 + w. Let u = 7/12 - 1/3. Sort s, u, -2/5.
-2/5, s, u
Suppose 0 = -5*w - 0 - 15. Suppose 3*a + 3*m = 9, 32 = -5*a + 4*m + 20. Sort w, -10, a in decreasing order.
a, w, -10
Let g be ((-1 - -1)/(22 + -20))/((-3)/3). Sort 3, g, -128 in decreasing order.
3, g, -128
Suppose -i = 42*i + 9*i - 832. Sort i, -4, 4, -104 in decreasing order.
i, 4, -4, -104
Let s = 161402 + -161401. Let x = -1/50 - -109/450. Sort s, x, -2/9, -0.2.
-2/9, -0.2, x, s
Suppose -464 = -8*j + 9*j + z, -4*z = -3*j - 1343. Put j, 1, 3 in ascending order.
j, 1, 3
Suppose -8*v + 11*v + 5*k = -22, -22 = 5*v + k. Let c(p) = 5*p. Let t be c(1). Suppose -t*m + 6 = -s, -s = -3*m + 5 - 3. Put 26, m, -3, v in decreasing order.
26, m, -3, v
Let j = 76 - 76.67. Let o = -0.17 - j. Let m = -33.7 + 34.1. Sort 0.3, m, o, -1/3 in increasing order.
-1/3, 0.3, m, o
Let j(h) = -2*h**2 - 9*h + 1. Let s be j(-4). Suppose 0 = -19*l - s + 81. Put -16, l, -4 in descending order.
l, -4, -16
Let i = 3 + 2. Suppose 0 = -3*l - 59 + 41, -j - 2*l = 10. Put i, j, 12 in ascending order.
j, i, 12
Suppose 14 + 6 = -4*x. Let z = 65540 + -65549. Put z, x, -4 in ascending order.
z, x, -4
Let c be 7/(-42)*0 + 156. Let i = 160 - c. Let j = -9 + 7. Sort 3, i, j.
j, 3, i
Let m be 16 - 19 - -6 - (-1)/((-3)/(-330)). Sort -10, 5, m, -2 in increasing order.
-10, -2, 5, m
Let w(b) = 104*b**3 - b**2 - b + 1. Let m be w(-1). Let d = -118 - m. Let x be 0 + d/(-6)*2. Put x, 2, 7, 1/4 in decreasing order.
7, x, 2, 1/4
Let w = -2033.8 + 2032.8. Sort -0.2, w, 217.7, 2/7 in ascending order.
w, -0.2, 2/7, 217.7
Let m = 711 - 680. Suppose 5*g + 4*w + 12 - m = 0, 5 = 2*g - w. Suppose -4 + 6 = -2*s. Put s, -3, g, 5 in decreasing order.
5, g, s, -3
Let c be 30*(-15)/(-405)*6 + (-5)/1. Sort -104, c, -17, 4 in decreasing order.
4, c, -17, -104
Let r = 12 + -20. Let i(d) = 125*d + 2876. Let v be i(-23). Sort r, v, 4 in ascending order.
r, v, 4
Suppose 3*w + 23*w - 64 = 10*w. Sort w, -1/10, 3, 1 in descending order.
w, 3, 1, -1/10
Let d be (-30)/150 - (-1 - (-42)/(-10)). Suppose -84 + 4 = 10*c. Let j be c/(-52) + 37/13. Sort -1, d, j in increasing order.
-1, j, d
Let w = 92 - 85.52. Let c = w + -6.4. Put 0, -0.04, c in descending order.
c, 0, -0.04
Let a = -11 + 9. Let n = -2362 - -2362.5. Sort 0.4, n, a, -2/15 in decreasing order.
n, 0.4, -2/15, a
Let k(q) = -q**3 - 29*q**2 - 172*q - 24. Let s be k(-8). Let v = 9 + -9. Put v, s, 9 in ascending order.
v, s, 9
Suppose -6 = 3*z + 52*x - 55*x, 3*z + 3*x - 18 = 0. Sort z, -9, -329.
-329, -9, z
Let h(y) = 2*y**2 - 7*y - 6. Let u be h(2). Suppose 0 = -8*c + 255 - 47. Let o = 25 - c. Put o, 0, u in decreasing order.
0, o, u
Suppose -4*m + 5 = -3*u, 0 = 5*m - 3*m - u - 1. Let t be (-1)/(4/5)*4. Sort -3, -4, t, m in descending order.
m, -3, -4, t
Let a = -2.01759 - -0.01759. Put a, 79, 1 in decreasing order.
79, 1, a
Suppose 7*d + 2*f = 11*d - 2, 4*d + 3*f = 27. Sort 202, 1, -1, d in descending order.
202, d, 1, -1
Let x be 3 + -1 - (0 + -2). Let y(o) = -o**3 + 6*o**2 - o - 3. Let b be y(x). Let p = b + -30. Sort p, 5, 0 in ascending order.
p, 0, 5
Suppose 3*d - 4*q - 6 = 0, -5*d + 4*q = -8*d + 6. Suppose -d = -2*o - 8. Let k be ((-12)/(-36))/(2/6). Sort o, k, -2, -4 in increasing order.
-4, o, -2, k
Let m = -77.9 - -78. Let x(r) = r - 8. Let q be x(6). Let a be (q - (-2)/4)*(-12)/27. Sort -3/5, m, -0.5, a in descending order.
a, m, -0.5, -3/5
Let v be (6/28 - (-30)/60)*7. Sort -511, v, -5, -4, 2 in decreasing order.
v, 2, -4, -5, -511
Let i = 5075 + -5077. Put 186, 3, -3, i in decreasing order.
186, 3, i, -3
Let d = 0.04 - 0.14. Let a = 0.0575 - 0.0575. Let h = -107 + 1821/17. Put d, a, -0.4, h in decreasing order.
h, a, d, -0.4
Let d be 1*(2 - (-3)/3). Let a be d/7 + 192/(-56). Let z(w) = -3*w**2 - 5*w - 8. Let y be z(a). Sort 3, 1, -1, y in ascending order.
y, -1, 1, 3
Suppose 0 = 3*n + 7 - 19. Suppose -108 = -12*g + 156. Suppose 0 = -g*r + r. Put 18, r, n, 5 in descending order.
18, 5, n, r
Let s = 18359 - 18357. Sort 1/10, s, -178 in decreasing order.
s, 1/10, -178
Let j be (-54)/(-4 - -1)*(-14)/8. Let u = j - -447/14. Suppose 4*t - 2*w - 3 + 27 = 0, -t + 5*w - 15 = 0. Sort 0.1, t, u in increasing order.
t, 0.1, u
Suppose -12*t - 4*t - 768 = 8*t. Sort t, 0, 16.
t, 0, 16
Let p = 0.11383 - -8.88617. Sort -1/10, p, -1/2, 1/3, 1 in descending order.
p, 1, 1/3, -1/10, -1/2
Suppose 66*v = -163*v + 11*v + 11772. Put -0.2, 5, v, -0.04 in descending order.
v, 5, -0.04, -0.2
Let g(n) = 3*n. Let y be g(-1). Suppose -3*b = -9*b. Suppose b = -4*h - 4. Sort -5, h, y in descending order.
h, y, -5
Let q = 63/20 + -527/180. Put 4, 1.1, 66, q, 1/11 in increasing order.
1/11, q, 1.1, 4, 66
Suppose -94*w = -71*w - 46. Let u(m) = -m**3 + 13*m**2 + 14*m - 5. Let c be u(14). Put c, w, -25 in decreasing order.
w, c, -25
Suppose -5*i = 2*p - 22, 0 = 2*p + i - 25 + 3. Suppose b - p = 12*b. Put b, 2, -11 in descending order.
2, b, -11
Let c = 0.2 + -0.15. Let o = -0.45 + c. Let r = -139.52 + 144.52. Put o, -1/6, -4, r in ascending order.
-4, o, -1/6, r
Let k(c) = c**2 - 28*c + 28. Let u be k(1). Sort u, -4, 0.4, 2/55, -0.4.
-4, -0.4, 2/55, 0.4, u
Let d = -6 - 4. Let g = d + 2. Let c = 609 + -613. Put -1/8, c, g in decreasing order.
-1/8, c, g
Suppose 1386 = 227*d + 532 - 735. Sort -4, d, 0, -12 in increasing order.
-12, -4, 0, d
Let j(m) = m. Let d be j(5). Let s(w) be the second derivative of -w**4/12 + 13*w**3/3 + 57*w**2/2 + 37*w. Let n be s(28). Put d, n, -4 in decreasing order.
d, n, -4
Suppose 357 + 3 = -6*t. Let