= -183*z + 2374. Let g be p(13). Put 1/4, g, -0.2, -70/11 in decreasing order.
1/4, -0.2, g, -70/11
Let u = -3798 - -3797.6. Put -3/7, -6, u, 9, -1/4 in increasing order.
-6, -3/7, u, -1/4, 9
Let b = -400.1 - -400.03. Put b, 3/7, -5/2, -0.1 in descending order.
3/7, b, -0.1, -5/2
Let y = -233.66 + 210. Let k = -24 - y. Let l = k - -0.34. Sort l, -0.2, 2/3 in descending order.
2/3, l, -0.2
Let b be (6/3 - -2) + -1. Let x(i) = -i + 2. Let p be x(6). Let l be 15/36 - (105/(-140) + (-1)/(-2)). Sort p, b, -0.2, l.
p, -0.2, l, b
Let n be (2*1)/((-2)/(-5)). Let w = -34.1 + -252.9. Let x = 287.06 + w. Put x, -2/17, n in decreasing order.
n, x, -2/17
Suppose -4 = -z - 1. Let n be ((-10)/20)/((-1)/10). Suppose -113*m + 108*m - 20 = 0. Sort n, m, z, -3 in decreasing order.
n, z, -3, m
Suppose 11*i = 35*i + 72. Let c = -0.95 + -0.05. Put c, i, -0.7 in increasing order.
i, c, -0.7
Let n = -95 + 92. Let h be 5 - 3 - ((-2 - -3) + -39). Suppose -2*u - 2*u = -h. Put 2/17, u, n in increasing order.
n, 2/17, u
Let r be 6/11*6072/(-828). Sort 306, r, -3 in decreasing order.
306, -3, r
Let g = -1 + 0.8. Let o = 1228.55 - 1251.55. Put o, -2/7, g, 0.1 in ascending order.
o, -2/7, g, 0.1
Let x(a) = a**3 - 8*a**2 + 3*a + 2. Let k be x(0). Sort k, 1, -9, -13.
-13, -9, 1, k
Let p be (-17 - -20)*6/33. Sort -63, -2/13, p in ascending order.
-63, -2/13, p
Suppose -2*y = -53 + 3. Suppose o - y = -74. Let j = o + 246/5. Sort 3/2, -2/9, j in ascending order.
-2/9, j, 3/2
Suppose -t - t - 289 + 283 = 0. Sort t, -2, -3.46.
-3.46, t, -2
Let u = 215078.4 - 215079. Suppose 5*r - i - 2*i = 10, -3*i = 3*r + 18. Sort r, -1/4, u.
r, u, -1/4
Let a be (-45)/(-50) - (-30)/(-100). Let r = 1.73 + 0.27. Let n(h) = -h**2 - 8*h - 12. Let w be n(-6). Put w, -0.2, a, r in descending order.
r, a, w, -0.2
Let r = -99.9 - -98.9. Let p be -1 + 3 + -2 - -15. Put r, 0, p in descending order.
p, 0, r
Let m be (-4 + 9)/30 - (-115)/(-6). Let b(z) = 8*z + 6. Let r be b(-1). Sort r, 3, m.
m, r, 3
Let q = -5441/840 - -13/168. Sort q, -2, 0.03.
q, -2, 0.03
Let v = -127 + 132. Suppose -5*x + 4*b - 35 = 2*b, 0 = -2*b. Let k = x - -8. Sort v, -2, k.
-2, k, v
Let n be (6 + 2 - 7)*((5 - -1) + -6). Sort n, -38, -2 in increasing order.
-38, -2, n
Suppose 3*u - 9 = -0*u. Suppose -3 - 9 = -u*c. Suppose 0 = x - 2*t + 9, 43 = -4*x - t + 7. Sort x, -1, c, -5.
x, -5, -1, c
Suppose 40 = -10*x + 15*x. Let i be 0/7 + (-2)/x. Let r = -718 + 717. Sort i, 3, r, 2.
r, i, 2, 3
Let v = 58 - 87.6. Let q = -30 - v. Let j be (3/(-21))/((-6)/(-7)). Sort -2/3, j, q in descending order.
j, q, -2/3
Let z(a) = a**3 + 11*a**2 + 10*a + 1. Let r be z(-10). Let k be 8/(-10) + r - (-119)/5. Sort k, -1, 0.5.
-1, 0.5, k
Let w = -1 + 3. Let m be (-12)/6*(-19)/2. Suppose 30*g + m = -11. Put w, 3, -5, g in decreasing order.
3, w, g, -5
Suppose 2*h = -0*g - g - 19, 0 = -3*h - 24. Let n(k) = -k + 2. Let i be n(-3). Sort g, i, 2.
g, 2, i
Let q(w) = w**2 - 9*w - 11. Let z be q(10). Suppose d = -4, 0 = -3*r + 5*d - 3 - 19. Let u(k) = -3*k - 46. Let x be u(r). Sort x, -5, z in ascending order.
-5, x, z
Let z = 0.10017 + -0.10017. Sort 0.0463, z, -0.5 in increasing order.
-0.5, z, 0.0463
Let o(k) = -2*k**3 + 31*k**2 - 16*k - 1. Let j be o(15). Let n be ((1/(-3))/(-1))/(j/(-48)). Sort n, 10, -1.
-1, n, 10
Suppose 0 = 2*b - k - 311, -3*k = 3*b - k - 477. Let u = b - 158. Sort -4, u, 0.4 in decreasing order.
0.4, u, -4
Let l(p) = -2*p + 50. Let b(u) = u**2 - 12*u - 26. Let z be b(15). Let w be l(z). Let a = -2 + -3. Sort 1, w, a.
a, 1, w
Let u(k) = -4 - 20 - 16 - 16*k + 4. Let l be u(-3). Let a be 4/6*-3*1. Sort l, a, -4 in ascending order.
-4, a, l
Suppose 3*u - z + 24 = -9, -12 = 4*z. Let k be u/18 - 5/((-15)/8). Put -3/4, -5, k in increasing order.
-5, -3/4, k
Let h = 218 - 238. Let b be ((-30)/h)/((-4)/8). Put b, 31, -5, 1 in descending order.
31, 1, b, -5
Let w = -7122 + 7118. Sort 1/19, -15, -0.2, 2, w in ascending order.
-15, w, -0.2, 1/19, 2
Let b = 364482 + -364486. Let v = 38 + 31. Put v, -5, b, 2 in decreasing order.
v, 2, b, -5
Let z be 6/4 - (-1)/(-4). Let k = 0.0638 + -0.2638. Let b be 3 - (0 - -1)*2. Put k, 0.2, b, z in decreasing order.
z, b, 0.2, k
Let w(i) = -i**3 + 11*i**2 - 30*i + 16. Let k be w(7). Put k, 11, 90 in descending order.
90, 11, k
Suppose -2*k = 12 - 2. Let o(d) = -d**3 - 28*d**2 + 34*d + 143. Let b be o(-29). Sort k, 8, 1, b in ascending order.
k, b, 1, 8
Let u be (-105)/30 - 125/(-2). Suppose -u*r + 12*r = 235. Put -9, 2, r in ascending order.
-9, r, 2
Suppose 2*a + 447 = h, -536 = 3*h - 3*a - 1865. Let g = h - 434. Sort -4, g, -8 in ascending order.
-8, -4, g
Let h = -71.086 - -0.086. Let a = h + 70. Let f be -2*2 + (57/21 - -1). Sort f, a, 3/8, 4.
a, f, 3/8, 4
Let p(q) = -q**3 - 15*q**2 + 16*q + 3. Let l be p(-16). Let r be l + -5 + -2 - -1. Sort 5, r, -5 in descending order.
5, r, -5
Let p = 4.1 - 3.9. Let j be (-1)/(-28) + 8/(-28). Let a = 5.21 + -5.21. Sort -4, j, a, p.
-4, j, a, p
Let w = 11122 + -11213. Sort -4, -1, w, -5 in descending order.
-1, -4, -5, w
Let g(h) = -h**3 + 16*h**2 - 15*h + 10. Let w be g(15). Let o(t) = t**2. Let m be o(-2). Suppose -z = z + 2. Put w, m, z in increasing order.
z, m, w
Suppose -4*f + 0*q = 4*q + 16, 0 = 2*f + 3*q + 7. Let d(l) = -14*l - 5. Let i be d(4). Let v = i - -63. Put f, 1, v, -1 in increasing order.
f, -1, 1, v
Let n(v) = 180*v - 3420. Let z be n(19). Put z, 15, -5 in ascending order.
-5, z, 15
Let w be 1/(-4) + (-21)/(-4). Suppose 9 = 3*u - v + 29, -w*v - 20 = 0. Let o be 126/(-312) + (-2)/u. Sort 0.1, o, 1 in decreasing order.
1, 0.1, o
Let l = 359.4 + -79.5. Let f = -280 + l. Sort f, -4, 1/2, 2/3 in descending order.
2/3, 1/2, f, -4
Let b = 264 - 248. Let n be ((-224)/(-42))/b + (-16)/3. Suppose -3*q - 4 = -3*i + 2, 0 = -2*i + q + 4. Sort n, -2, i, 4 in ascending order.
n, -2, i, 4
Let p = 36653.4 - 36653. Put 5, -1/281, 4, -2/13, p in decreasing order.
5, 4, p, -1/281, -2/13
Let b = -8.51 + -0.49. Let j = -0.418 + 0.018. Sort j, b, 1/3, 3 in increasing order.
b, j, 1/3, 3
Suppose 5*a - 15 = 2*a. Let b = -29 - -34. Let y be (b + (-3)/1)*2. Put y, a, 2 in decreasing order.
a, y, 2
Suppose 4653 = 11*r + 330. Sort r, 1, 1/3 in descending order.
r, 1, 1/3
Let c = -1762.9842 + 1763. Sort -2/9, 0.2, c in decreasing order.
0.2, c, -2/9
Suppose 3*t + 2 = -4*k, -40*t - 2*k = -39*t. Sort t, -0.1, -1/4, -1/6.
t, -1/4, -1/6, -0.1
Let s = 63.1 + -63. Let r be -1*(2 + -2) - 5. Let n = -5599 - -5583. Sort r, s, n in increasing order.
n, r, s
Let f = 32718 + -32761. Sort 5, f, -42, -2/3 in ascending order.
f, -42, -2/3, 5
Let h = 5553 + -5548. Sort 0, -3367, h in descending order.
h, 0, -3367
Let t be 0 + 3 + -2 + 1. Let u(x) = 10*x - 107. Let c be u(14). Suppose 0 = c*n + 41 + 58. Sort -5, n, t, 0.
-5, n, 0, t
Let x(l) = l**2 + 171*l - 491. Let g be x(3). Sort g, 2, -1, 0, -4.
-4, -1, 0, 2, g
Let h = 2328.1 + -2355. Put h, 0.5, -1/3, -1/5, 3/5 in decreasing order.
3/5, 0.5, -1/5, -1/3, h
Let k = -147 + 123. Let g = k + 22. Put -0.19, g, 1 in ascending order.
g, -0.19, 1
Suppose 43*q - 26*q = 0. Let o be (3 - (8 - 7))*(1 + q). Sort 1, -1, o, -2 in decreasing order.
o, 1, -1, -2
Let m = 0.01 + -3.01. Let b = -405667 + 405671. Sort -2, 5, m, b in descending order.
5, b, -2, m
Let n(m) = m**3 - 13*m**2 + 12*m + 2. Let z be n(12). Let p be (18 + -22)*z/8. Suppose -5*i + 16 = -13*i. Sort -3, i, p.
-3, i, p
Suppose -312*m + 300 + 513 = -747. Let v = 36 + -23. Sort 4, v, m, -2 in ascending order.
-2, 4, m, v
Let z = -139 + 140. Let o = -5 - -2. Suppose -56 = 5*d + 4*k, -3*d + 4*k = -2*d + 16. Sort z, o, -5, d in increasing order.
d, -5, o, z
Let i = -7513 + 7510. Let b be 4/(((-105)/(-6))/5). Put i, b, -5 in ascending order.
-5, i, b
Let w = 0.1 - 0.3. Let c = -0.4 - w. Let f be ((-5)/4)/(30/(-80)*(-14)/(-21)). Sort f, c, -3/4 in decreasing order.
f, c, -3/4
Let m be (7/3 + (-513)/243)/((-4)/(-9)). Sort m, -0.106, 4 in increasing order.
-0.106, m, 4
Let h be 1404/(-78) - (2 - 16) - 2/(-1). Put -73, -7, h, 5 in ascending order.
-73, -7, h, 5
Let t = -298 - -1484/5. Let r be (2*3 - 0) + (-2200)/385. Sort 2, r, t, -11 in increasing order.
-11, t, r, 2
Let j(l) = 2*l**2 - 40*l + 126. Let y be j(16). Sort 3, y, -26 in descending order.
3, y, -26
Let v = -4628 + 4628.2. Let k = 13.7 - 14. Sort