 -1354. Let t be (-3)/10*10/12. Put -3/5, -1, t, r in decreasing order.
r, t, -3/5, -1
Suppose 11*t = -5*t + 5504. Suppose t*q = 346*q + 22. Sort 2, 0, q, 1 in increasing order.
q, 0, 1, 2
Suppose -134*b = -48*b - 51*b - 70. Sort -1.9, b, -4, 5/8.
-4, -1.9, 5/8, b
Let r = 25578 - 25578. Put -2, -4, 31, r, -3 in decreasing order.
31, r, -2, -3, -4
Let b(z) = 12*z**2 - z - 6. Let f be b(4). Let n be (1 - 2)/(-28) - f/637. Let t = 23/22 + -6/11. Sort t, n, 2, -0.2 in descending order.
2, t, -0.2, n
Let g = 4423.8 - 4424. Sort -106, -1, g, -5.
-106, -5, -1, g
Let i = 278 + -2504/9. Put i, -0.5, -3.86 in ascending order.
-3.86, -0.5, i
Suppose 15*d = -18*d + 14*d - 57. Sort d, -16, 40.
-16, d, 40
Let s be (-4)/(616/31) - 28/392. Sort 2/13, s, 7/6 in increasing order.
s, 2/13, 7/6
Suppose 3*l = 2*l. Suppose -n + 10 = -s, 5*s - 15 = 2*n + 8*s. Put n, l, 4, -4 in increasing order.
-4, l, n, 4
Let j = 1 - 0. Let a = -137170.4 + 137165. Put j, -0.2, a in decreasing order.
j, -0.2, a
Let d be -4*5*((-3)/(-10))/1. Let u(h) = -h + 21. Let r be u(-16). Let f = r - 37. Sort d, 3, 1, f in descending order.
3, 1, f, d
Let z be (0 - 8/(-12))*(-18)/(-4). Let f be -6 + -4 + 5 + -160. Let d = f + 164. Sort d, 11, z in ascending order.
d, z, 11
Let m(i) = -i**3 - 17*i**2 + 31*i + 147. Let d be m(-18). Sort -1, -3, 1, d.
d, -3, -1, 1
Let c(r) = -28*r - 394. Let a be c(-14). Sort -63, 5, -5, a, 4.
-63, -5, a, 4, 5
Let c(n) = -n**2 + 6*n + 3. Let q be c(6). Suppose 4*g - 22 = -5*p, q*g + g - 2*p - 8 = 0. Suppose -g*j + u + 6 = -9, j - 5 = -2*u. Sort 2, j, -4.
-4, 2, j
Let i(s) = s**3 - 6*s**2 - 30*s + 186. Let y be i(6). Let o(n) = n**3 + 6*n**2 + n + 7. Let z be o(-6). Sort y, 4, z in descending order.
y, 4, z
Suppose 0 = -3*b - w + 11, 957*w = 5*b + 953*w - 24. Put -3, b, 2, -5, -2 in descending order.
b, 2, -2, -3, -5
Let q = 12596 - 12604. Sort q, 13/2, -2, -0.3, 0 in decreasing order.
13/2, 0, -0.3, -2, q
Let s = -518.434 + 518. Let u = -0.034 - s. Sort 20, 1, u in decreasing order.
20, 1, u
Suppose -5*a = -5*g, -3*g + 2 - 6 = a. Let h = 1122 + -1134. Let p be (-63)/(-13) + h/(-78)*1. Sort -5, a, -3, p in increasing order.
-5, -3, a, p
Let y be 66/(-297) - ((36 - 32) + 52/9). Suppose -o = -2*f + 4*o - 11, 2 = f + 5*o. Sort 9, y, f, -1.
y, f, -1, 9
Let j be 12/(-48) - 34/(-8). Let y be (6 + -6)*2/(-8). Suppose 2*w + w + 18 = y. Put 5, w, j in ascending order.
w, j, 5
Let g = 33 + -67/2. Suppose -6*a + 477 = -693. Let v = a - 200. Sort 1, -0.09, v, g.
v, g, -0.09, 1
Suppose -36*o = 24*o + 660. Sort -0.07, 1, o, -5 in ascending order.
o, -5, -0.07, 1
Suppose -g = -0*g - 341 + 336. Put 1, 0, 19, -4, g in decreasing order.
19, g, 1, 0, -4
Let w = -144.9 + -13.1. Let b = 155 + w. Sort 5, -3/5, b, -7.6.
-7.6, b, -3/5, 5
Let g = 90 - 80. Suppose g*b = 35 - 5. Suppose -2*k + 5 - 3 = 0. Sort 5, k, 9, b in decreasing order.
9, 5, b, k
Let s = -35969.82 - -35970. Sort -2.4, -2, s, -3, 2.
-3, -2.4, -2, s, 2
Let s = -64 + 68.9. Let x = s - 5.1. Sort -1/3, x, 1, 6 in decreasing order.
6, 1, x, -1/3
Let j be 12*(-1 + 18/8). Let o be j/(-3)*(-2 + (-6)/(-5)). Let d = -29 - -27. Sort d, o, -8 in increasing order.
-8, d, o
Let p = 5772 - 5756. Put -3, 1, -20, -5, p in decreasing order.
p, 1, -3, -5, -20
Let z = 21857 - 21856.6. Put 287, -0.3, -7, z in decreasing order.
287, z, -0.3, -7
Let o be (-2 + 1)/(-2 - -3). Let x(c) = -c + 7. Let d be x(3). Suppose -d*w - 4*v = 16, 4*w - 3*v - 4 + 20 = 0. Sort -29, o, w.
-29, w, o
Let h = 841.4 - 852.4. Sort 8, -1, 0.3, 1, h.
h, -1, 0.3, 1, 8
Let u be 2/8*2216/(-6). Let v = u - -1388/15. Put v, -3, -0.4, -2/11 in decreasing order.
v, -2/11, -0.4, -3
Let u = 88682 + -88671. Let x = -4 + 1. Sort 0.5, 2/7, x, u.
x, 2/7, 0.5, u
Let s = 1 - 0. Let a be (-8)/5*239/1912. Put s, -81, a in ascending order.
-81, a, s
Suppose k - 8 = 4*a, 2*a = -924*k + 924*k. Sort 93, 2, k in descending order.
93, k, 2
Let a be (-4 - 372/(-90)) + (-88)/60. Let z be (-40)/12 + 6 + -4 + 1. Sort -3/5, a, z in decreasing order.
z, -3/5, a
Suppose 4*z - 240 = -16*z. Let b(o) be the first derivative of o**4/4 - 14*o**3/3 - 7*o**2 - 17*o + 7. Let s be b(15). Put 5, z, s in increasing order.
s, 5, z
Let i be 178*(-5 + (-66)/(-12)). Let a = i - 91. Let u(c) = c**2 + 3*c. Let g be u(a). Sort g, -6, 1 in decreasing order.
1, g, -6
Let q(k) = 5*k**2 - 4*k - 297. Let b be q(8). Sort b, -4, -1, 7.
b, -4, -1, 7
Let c = -1172 + 1119.8. Sort 2, 4, c in decreasing order.
4, 2, c
Suppose -614*f + 626*f = 12. Let i = 189 + -194. Suppose 0*j = 2*j + 6. Put j, i, f in increasing order.
i, j, f
Let u = -10.839 + 14.839. Sort u, -0.3, -0.0752.
-0.3, -0.0752, u
Let p be (9/(-3) - -2)*-11. Suppose 0 = -6*c + p*c - 70. Let b be -1 - (13/(-11) + c/77). Sort -7, b, -4.
-7, -4, b
Suppose -2*t - 9 = -5*q, -2*q + 396 - 402 = -2*t. Suppose -4*y - y = 5. Sort -4, y, 4, t in descending order.
t, 4, y, -4
Let u = 104 + -106. Let z = 2083 - 2086. Sort z, u, -5 in descending order.
u, z, -5
Let x(q) = -2*q**2 - 6*q - 60. Let c be x(-7). Sort c, -4, -5, -1.
c, -5, -4, -1
Let d = -7 - -11. Suppose -q - 7 + d = 0. Suppose 0 = 4*f - 2*c + 18, -4*c + 3*c = -f - 5. Put f, q, -5, -1 in decreasing order.
-1, q, f, -5
Let l(w) = 2 - w**3 + 10*w**2 + 2*w**3 - 11*w**2 + 4*w. Let i be l(0). Suppose -3 = -t - 0. Sort i, t, -3, -4 in ascending order.
-4, -3, i, t
Suppose 12*i + 49 + 217 + 10 = 0. Sort 1, -5, 3, 5, i.
i, -5, 1, 3, 5
Let i = -356.1 - -383. Let k = -24.6 + i. Put -2, k, 0.4 in descending order.
k, 0.4, -2
Suppose 223*g + 12510 = 84*g. Put -0.5, 2, -6, g in descending order.
2, -0.5, -6, g
Let f be (-61)/(-38) + (-5363)/589 + 9. Put 82, -0.3, 3, f, 2/3 in decreasing order.
82, 3, f, 2/3, -0.3
Let f = -5239 - -5241. Sort -46, f, 0, -1, 1 in descending order.
f, 1, 0, -1, -46
Let h be (-7)/35 + -4 + (-297)/15. Suppose -z = 4*z + 5. Sort z, 3, h in increasing order.
h, z, 3
Let b = -639 + 644. Sort -0.4, -5/4, b, 14 in descending order.
14, b, -0.4, -5/4
Suppose -v = -4*v + 3. Let i be 2 + v/(1/(-6)). Suppose 114*f - 164*f - 30 - 20 = 0. Sort i, f, -5 in ascending order.
-5, i, f
Let r = -288 + 3170/11. Let l = 16557 - 16554. Sort 1, l, r, 0.06 in increasing order.
0.06, r, 1, l
Suppose -34*g + 37*g = 15. Suppose 3*t + 2*d - 21 = 0, -5*d + 35 = t + 4*t. Put t, -3, 2, g in ascending order.
-3, 2, g, t
Let b = -5945 - -5946.3. Sort b, -0.2, -14, -4 in decreasing order.
b, -0.2, -4, -14
Let i = -228 - -1144. Let l = i - 817.6. Let n = l + -99. Sort n, -0.1, -2/17 in descending order.
-0.1, -2/17, n
Let m(b) be the third derivative of b**5/60 + 11*b**4/24 + 4*b**3 - 9*b**2. Let z be m(-8). Sort z, -3, 3, 5.
-3, z, 3, 5
Let o = 534/7 + -2544/35. Let v(q) = -q**3 + 3*q**2 + 3*q. Let p be v(4). Let z = p + o. Sort 2.5, 2/7, z in descending order.
2.5, 2/7, z
Let t be (-6)/(-11) - (-1110008)/3916. Put 5, 0, t in increasing order.
0, 5, t
Let t = -0.2 + 0. Let x = t + 3.2. Let f = -3492/25 - -10526/75. Sort x, f, 1 in decreasing order.
x, 1, f
Let r = 160.3 + -141. Let o = -16.9 + r. Let x(l) = l**3 - 4*l**2 + 2*l + 2. Let d be x(3). Sort d, -5, o in increasing order.
-5, d, o
Let l(x) = 2*x**2 - 162*x - 1. Let v be l(81). Put 2621, -2, v in increasing order.
-2, v, 2621
Suppose -256*x - 77 + 94 = -239. Put 0, -4, x, -6 in descending order.
x, 0, -4, -6
Let n(l) = 3*l**2 + 152*l + 87. Let m be n(-50). Sort m, -4, 3.
m, -4, 3
Let d be 5*(-10)/(-475) - (-880)/(-608)*-2. Put 4, 51, -9, d in decreasing order.
51, 4, d, -9
Let y = -22 - 24. Let l = 61 + y. Let q = l + -15.5. Sort -0.4, 0.2, q in decreasing order.
0.2, -0.4, q
Suppose -4*z - 6*c - 28 = -54, 1 = 5*z - 3*c. Sort -110, z, -5 in decreasing order.
z, -5, -110
Suppose -1 = y - 2*v + 2, 3*y = 2*v + 3. Suppose -7*z = -4*z + y. Sort 3, 17, z.
z, 3, 17
Suppose -36*g = -g - 245. Suppose 5*l - g = o + 4*l, 5*o - 3*l = -29. Let h = 0.1 - -0.1. Put -2, o, h in decreasing order.
h, -2, o
Suppose 0 = -4*v + 3*a + 7, 2*v + 6*a - 7*a - 1 = 0. Suppose -80 = 45*q - 29*q. Sort q, 1, v in ascending order.
q, v, 1
Let g = -4.984 + 5.284. Let o = 6 + -5. Let n be (-1)/(-2) + o/(-10). Put -19, g, n in increasing order.
-19, g, n
Let a be ((-80)/72)/(1/(-9)). Suppose -13 = a*f - 53. Suppose -f*y + 3*y = 3*b - 59, -b + 9 = 3*y. Sort 5, 4, b, -1 in increasing order.
-1, 4, 5, b
Le