= -2*t - 4*v - 56. Sort s, -4, t in decreasing order.
s, -4, t
Suppose -2*b - 2*z + 0*z = -18, 3*b = 5*z - 5. Let r be (b/3)/((2 - 6)/12). Let u = -268 + 261. Sort r, -1, u, 1 in ascending order.
u, r, -1, 1
Let q be 140/(-25) + 7/((-105)/6). Let f be (-10)/q*(2 - -1). Suppose -6*z + f + 13 = 0. Put -5, -2, -1, z in descending order.
z, -1, -2, -5
Let z be (-21)/(-9) + 1/(-3). Suppose 4*l + 10*d - 52 = 9*d, 4*l + 4*d - 40 = 0. Suppose 42 + l = 14*q. Put z, 1, q, -1 in descending order.
q, z, 1, -1
Suppose -4*f + 506 = 2*c, 6*f - 8*f = -4*c - 258. Let z = -151 + f. Put -4, 1, z in decreasing order.
1, -4, z
Suppose -40 = -j - 0*j. Let l be 2/3 - j/(-12). Let k = -3219 - -3222. Sort -4, 0, l, k.
-4, 0, k, l
Let v = 0.0289 + 35.6711. Let g = v - 30.7. Sort g, -5, -38 in decreasing order.
g, -5, -38
Let q be (-2)/5 - 120/(-175). Let n(h) = -119*h + 356. Let m be n(3). Put q, -0.1, m, 1 in ascending order.
m, -0.1, q, 1
Let l be -2*((-228)/760 - 8/(-10)). Put 0, 31, -2, l in descending order.
31, 0, l, -2
Let s be ((-1648)/(-6) - 5) + (-4)/(-12). Let p = s + -297. Sort p, -2, -3 in descending order.
-2, -3, p
Let a(z) = 2*z**2 + 18*z + 32. Let y be a(-7). Suppose -21 = -y*p - 1. Sort -14, p, 2/7, 2 in increasing order.
-14, 2/7, 2, p
Let l be (-4)/(-6)*(-6)/14. Let r = -1.9795 - 0.0205. Let q = -215 + 216. Sort r, q, l, 2/3 in ascending order.
r, l, 2/3, q
Let s = 472.1036 + -0.1036. Let x = s + -472.06. Let n be (3/(18/8))/2. Put n, x, 0.4 in increasing order.
x, 0.4, n
Let h = 2763 + -2762.5. Put -11/9, 0, h, -9 in decreasing order.
h, 0, -11/9, -9
Let x be 15/13 - (-4)/(-26). Suppose -8*f = -11*f - 30. Let z be (10 - 12)/(4/f). Put 2, x, z in decreasing order.
z, 2, x
Let c = -541 + 477. Put c, -3, 0, -2, -10 in ascending order.
c, -10, -3, -2, 0
Let f be (-8)/20 + (-309)/15. Let c be (-2)/(-4)*(24/f)/(-1). Let n be ((-21)/(-56))/(9/4). Sort c, n, -1/8 in descending order.
c, n, -1/8
Let q = -46.83 - -46.73. Sort q, -0.184, 0 in decreasing order.
0, q, -0.184
Suppose -2*z + 85 = 5*w, -5*w = 4*z - 5*z - 70. Suppose -t - 2*q = 4*t - 10, 0 = -2*t - 3*q + w. Let x = 7 + 5. Sort -3, x, t.
-3, t, x
Let x = 7912 - 7912.176. Put x, -5, 0.5 in ascending order.
-5, x, 0.5
Let c = -10526 - -10521. Put -4, 135, c, -11 in ascending order.
-11, c, -4, 135
Suppose -w = 3*w + h, -5*w = h. Let l(o) = 2*o**2 - 6*o + 3. Let s be l(4). Let t be (2/(-8))/((-4)/(-26) + (-493)/1768). Sort s, w, t in decreasing order.
s, t, w
Let q be (170/(-90))/((-360)/(-216)). Sort q, -5, -0.12 in decreasing order.
-0.12, q, -5
Let p = -998 + 996.4. Put p, 0.24, 5, -3 in decreasing order.
5, 0.24, p, -3
Suppose -3*b = 2*b - k - 3, -5*k - 15 = 0. Suppose -2*h + 0 + 6 = b. Suppose 4*f - 9 = -5*n, -2*f = 3*f + h*n + 5. Sort -1, -2, f in increasing order.
f, -2, -1
Let f(x) = 86*x - 3134. Let b be f(37). Sort -2, b, 5, -1, 16 in decreasing order.
b, 16, 5, -1, -2
Let m = 103 - 95. Let t(z) = -z**2 + 22*z - 108. Let u be t(m). Sort u, 5, -66 in decreasing order.
5, u, -66
Let r = -6285 + 6284. Sort 1/8, -0.5, r, -12, 7 in ascending order.
-12, r, -0.5, 1/8, 7
Let h(z) = 442*z + 1767. Let u be h(-4). Suppose 7*i - 5*i - 2 = 0. Sort u, i, 42 in descending order.
42, i, u
Let x be ((-32)/70)/(64/160). Let i = x - -31/21. Put 3.6, i, -3 in decreasing order.
3.6, i, -3
Let o be ((-2)/(-20))/(474/790). Put -3/2, -6/5, o, -0.01 in decreasing order.
o, -0.01, -6/5, -3/2
Let r(d) = d**2 + 6*d + 6. Let f be r(-5). Let b be (-236)/4956 - 7135/105. Sort f, 3, b in decreasing order.
3, f, b
Let s be (-4)/(-2)*(6/6 + (-36)/24). Sort s, -16, 9.
-16, s, 9
Let u = -56 - -61. Suppose 0 = -u*x - 28 + 8. Let k = -4 - -6. Sort x, 1, k.
x, 1, k
Let l = 3.982 + -3.284. Sort -2/5, l, -1, -0.3 in ascending order.
-1, -2/5, -0.3, l
Let t be (-3 + 27)*(-5)/(-10). Suppose -t = 90*j - 84*j. Let r(a) = a - 6. Let f be r(8). Put -4, j, f, 5 in ascending order.
-4, j, f, 5
Let l = 1.4825 + -0.4825. Let q = 74 - 73.43. Let z = -0.7 + q. Sort 1/5, z, 3, l in decreasing order.
3, l, 1/5, z
Let m = -246.43 + 247.43. Sort m, 3/26, 1/7 in ascending order.
3/26, 1/7, m
Let w(l) = 17*l - 493. Let a be w(29). Sort 4, 25, -4, a.
-4, a, 4, 25
Let f be (-12)/28 + (-24)/(-7). Let o be ((-8)/f + 2)*9*-2. Suppose 0 = -y - 3*z + o, -3*z = 2*y - 5 - 4. Sort 1, -7, y in increasing order.
-7, y, 1
Suppose 3*i + 16 = 5*i + 2*k, -16 = -i - 2*k. Sort i, 3, -5, -33, -4 in decreasing order.
3, i, -4, -5, -33
Let q(g) = 123*g - 4916. Let a be q(40). Put a, -8, -6, 5 in decreasing order.
5, a, -6, -8
Suppose 3*l - 47611 = 10*l - 47618. Put -3, -0.09, 0.4, l, -117 in increasing order.
-117, -3, -0.09, 0.4, l
Suppose r = 4*s - 6*s + 2, 4*s = -5*r + 16. Let v be 189/(-39) + s/(-5)*25. Sort v, 3, -6, 5 in decreasing order.
5, 3, v, -6
Let f = -7871 - -7923.8. Put -3, f, 0 in descending order.
f, 0, -3
Suppose -5*q + 25 = 0, 3*x = 3*q + 2*q + 41. Let o = x + -19. Suppose -2*z - 9 = -3*k, 3*z - o*k + 12 = -0*k. Put 2, 9, -5, z in ascending order.
-5, z, 2, 9
Let r be (1248/(-1320)*-11)/(944/(-470) + 2). Put 5, r, -5 in descending order.
5, -5, r
Let w be (-4 + (-14)/(-4))*(-4 - -8). Let n be ((-45)/10 + 5)*-6. Sort 2, w, n, 6.
n, w, 2, 6
Let f(c) = -231*c - 1154. Let k be f(-5). Put k, 1.52, -1/4, -3/5, 2/9 in descending order.
1.52, k, 2/9, -1/4, -3/5
Suppose 3*s + 14 + 9 = -2*a, 3*a - 5*s = 13. Let v = -1 - -5. Let d be (-3)/2*528/99. Put v, d, a in ascending order.
d, a, v
Suppose 43*d + 195 = 23. Let r(v) be the second derivative of v**3/6 + 13*v**2/2 - v. Let l be r(-9). Sort l, d, 0 in decreasing order.
l, 0, d
Suppose a + 3*x = 0, 16 - 23 = -a + 4*x. Sort a, 1, -28 in increasing order.
-28, 1, a
Let k = 1632.1 - 1631.9. Put 3/2, k, 2 in descending order.
2, 3/2, k
Suppose -5*k - 7*l = 82, -5*l + 4*l = 5*k + 76. Let a be (-2 - 4/8)/(k/6). Sort a, 12, 4 in increasing order.
a, 4, 12
Suppose 162*t - 171*t = -126. Suppose 3*m + 5*p - t = 0, -16*m + 19*m = p + 8. Sort 5, -2, m, 4.
-2, m, 4, 5
Suppose -2115 = 5*p - 14*p. Let l = 471/2 - p. Put l, 0.2, 65 in decreasing order.
65, l, 0.2
Let q = -3380 - -3374. Sort 2, -1, q, 1.
q, -1, 1, 2
Let f be 210/63*(1 + 1/5). Sort -2, f, -3, 7.
-3, -2, f, 7
Let g be (0 + -1)/(7/98 - 0). Put 0, 2, g, 1 in increasing order.
g, 0, 1, 2
Let n = -30 - -116. Let h = 41 - n. Let u = h + 45.07. Put u, -1/5, -3, 3 in descending order.
3, u, -1/5, -3
Suppose 150 - 495 = w. Let n = -340 - w. Sort n, 78, -2 in increasing order.
-2, n, 78
Let j(v) = -v**3 + 26*v**2 - 170*v + 9. Let p be j(11). Put 5, p, -2/7 in ascending order.
p, -2/7, 5
Let p(t) = 21*t - 12. Let a be p(3). Let o = -46 + a. Let j be (-3)/(-1) + -1 + (0 - o). Sort 4, -4, j in decreasing order.
4, j, -4
Let b = 62 + -55.4. Let p = -3.6 + b. Let a = 52 + -52. Sort -3, 4, a, p in descending order.
4, p, a, -3
Let l = -0.0295 + -0.013. Let h = -0.3795 + l. Let t = h - 0.078. Put -5/3, 1, t, -0.4 in decreasing order.
1, -0.4, t, -5/3
Let q(c) = c**3 + 5*c**2 + 4*c - 1. Let w be q(-3). Let z(s) = s**2 - 20*s - 40. Let r be z(22). Let o = -158 + 164. Sort r, o, w, -1 in increasing order.
-1, r, w, o
Let x be ((7 - 7) + -14)*2/(-3 + 7). Sort -2, -36, -1, x, 3.
-36, x, -2, -1, 3
Suppose 53*y + 43*y - 288 = 0. Sort y, 24, 4, 2.
2, y, 4, 24
Let m be -102*(1 - (-3 + 65/15)). Suppose 0 = 115*x - 143*x - 140. Put m, -4, x in descending order.
m, -4, x
Let i = -6258 + 6256. Let v be (6/15)/((-1)/(-15)). Let o(z) = z**2 - 6*z + 5. Let j be o(v). Sort i, 0, j, -4 in decreasing order.
j, 0, i, -4
Let s = -47905 + 47880.719. Let p = 1.311 + s. Let i = 1.03 - p. Put i, 0.4, 1 in decreasing order.
i, 1, 0.4
Suppose -33*z - 89 = 43. Let c be 2/(-8) + 33/(-12). Let d be (c/21)/(z/(0 - 4)). Sort 1/2, 0.2, -0.2, d.
-0.2, d, 0.2, 1/2
Suppose -4*o + 4*j + 8 = 0, -9 = -o + 332*j - 330*j. Let r = 0.2 + -0.2. Sort o, -14, 5, r.
-14, o, r, 5
Suppose -73 = 4*z - 10*z - 55. Sort z, 0, 2, -4, 264 in descending order.
264, z, 2, 0, -4
Let n(c) = 3*c**2 + 12*c + 1. Let w be n(-4). Suppose 9 = -5*a - 4*u - 4, -a = 2*u - w. Suppose 3*p + 6 + 0 = 0. Put a, p, 5 in decreasing order.
5, p, a
Let i be 1341/(-3129)*(-392)/(-12). Let b(w) = 2*w**3 + 4*w**2 + 4*w + 3. Let h be b(-2). Sort i, h, 5.
i, h, 5
Let g = -80 + 81. Let r be 1/(-1*(-2)/4) + g. Let t = -16 + 22. Sort t, r, -2 in descending 