 order.
q, 0, -41
Let g = 0.5 + 5.5. Let k(u) = 173 + u**2 + 188 + 70*u - 29*u + 225 - 192. Let x be k(-15). Sort -0.3, x, g, 4/7 in decreasing order.
g, x, 4/7, -0.3
Suppose 35 = 5*o + 2*l, -5*o - 2*l = l - 40. Let c be ((-1)/2)/((-2)/192). Suppose 0 = 40*h - c*h + 184. Put h, o, 0 in increasing order.
0, o, h
Let b = -18.765 + 16.765. Let g = -0.93 + -0.07. Let y = -0.4 - -1.4. Put b, 0.1, y, g in decreasing order.
y, 0.1, g, b
Let l(t) = -2534*t - 12670. Let o be l(-5). Sort o, 3, -3/70 in decreasing order.
3, o, -3/70
Let c = -0.646 + 260.646. Let x = c - 267. Put x, -1/3, 0 in ascending order.
x, -1/3, 0
Let c = -0.71 + 51.91. Let p = -51 + c. Let b = -44 - -43.98. Sort b, -3, 0, p in descending order.
p, 0, b, -3
Let p be ((-1)/(-34))/((-112)/(-448)). Put 203, 4, p in ascending order.
p, 4, 203
Let b = -2230 + 2199. Put -1/12, b, -1 in decreasing order.
-1/12, -1, b
Suppose -53*f + 40 = -45*f. Suppose -24 = 3*k - f*l, -4*k + 2*k - 12 = -2*l. Suppose 0 = 3*t + 7 - 4. Put -2, k, t, -5 in increasing order.
-5, k, -2, t
Let z = 143 - 149.6. Let y = z + 7.9. Sort -3, y, 0.2 in decreasing order.
y, 0.2, -3
Let m be (-180)/135 - 30/45. Let c(n) = -n**3 - 6*n**2 - 5*n - 4. Let a be c(-4). Put -5, 4, a, m in increasing order.
a, -5, m, 4
Let x = 7.92916 - -0.07084. Put 2.5, x, 1 in ascending order.
1, 2.5, x
Let h be -38 - (13 - 47) - 1/(4/(-17)). Sort h, 0.3, 3/5, -2/3, 3 in descending order.
3, 3/5, 0.3, h, -2/3
Suppose 5*b = -2*z + 7, -4*z + z = b - 30. Let t(j) = -j**3 + 11*j**2 + 2. Let x be t(z). Let v be (-114)/42 - x/7. Put 0, v, 9 in increasing order.
v, 0, 9
Let k = 3693 - 3683. Sort -0.06, 0.2, 2, k, 3 in ascending order.
-0.06, 0.2, 2, 3, k
Let k(n) = n**2 - 13*n - 19. Let s(c) = c**2 + 11*c + 2. Let r be s(-12). Let w be k(r). Sort w, -1, -3, 17 in decreasing order.
17, -1, -3, w
Let h be (152/16 + -7)/(-1)*(-24)/30. Let b be (-1)/(2 + (-7)/4). Sort h, b, 6, -1/8 in descending order.
6, h, -1/8, b
Suppose 0 = -3*k + 6*k, -2*n + 5*k - 118 = 0. Let a be 67 - (-70)/(-10) - 0. Let o = a + n. Sort 3, 2, -1, o in increasing order.
-1, o, 2, 3
Suppose 0*a = -4*a + 2*j - 10, 3*j - 15 = 2*a. Let t(g) = 14*g - 183. Let f be t(13). Put f, a, 1 in decreasing order.
1, a, f
Let s(x) = 3*x - 23. Suppose -253*l + 257*l = 32. Let r be s(l). Let a(u) = -3*u. Let j be a(-1). Sort -22, j, r in ascending order.
-22, r, j
Let f = -13 - -8. Let j be (-6)/1 + -1 + 3440/480. Sort j, -1, -12, f in decreasing order.
j, -1, f, -12
Let y be (-14)/(-14) + (-1)/4. Let k = 1 - 6. Let l = 2.52 + -2.32. Sort l, y, k in decreasing order.
y, l, k
Let l = -3459.5 - -3459. Sort 1/2, 2, 3/35, l in ascending order.
l, 3/35, 1/2, 2
Let m = -59 - -56. Let i be ((-19)/m - (-7)/(-21)) + 3. Suppose -t - 10 + i = 0. Sort 5, -5, t in ascending order.
-5, t, 5
Suppose 360 - 1059 = -233*l. Put -615, 0.01, l, 1 in descending order.
l, 1, 0.01, -615
Let m(q) = -q + 4. Let r be m(9). Let a be ((-18)/4)/3 + (-115)/(-10). Let z be a - (4 + 0 - -1). Put 0, -7, z, r in descending order.
z, 0, r, -7
Let u = -0.34382 - -0.04382. Sort -0.2, -37, u, 0.2, 4.
-37, u, -0.2, 0.2, 4
Let i be (-1)/10 + 1386/(-140) + 11. Sort i, 3, 20, 8, -6 in decreasing order.
20, 8, 3, i, -6
Let o be 22/55 - 1/(10/(-616)). Suppose -o = -6*j + 4*j. Suppose 0 = 27*z - j*z - 72. Sort 2, z, 0 in decreasing order.
2, 0, z
Let g(b) = -b**3 + 11*b**2 + 125*b - 1357. Let f be g(12). Sort -486, 2, f, -7 in increasing order.
-486, -7, f, 2
Suppose -1000*s + 1010*s = -10. Sort 5, -5, 3, -7, s in decreasing order.
5, 3, s, -5, -7
Let v(l) = 2*l**2 + 17*l + 17. Let x be v(-7). Let i = -89 - -94. Suppose 5*w - 26 + 1 = u, -20 = -i*w. Put -2, x, 1, u in decreasing order.
1, -2, x, u
Let m = 714.9 + -716. Sort 2, m, 0.11, 0 in decreasing order.
2, 0.11, 0, m
Let s = -68.664 - -71.664. Let d = -584/15 + 168/5. Sort s, d, 0.2, -5 in decreasing order.
s, 0.2, -5, d
Let j = 0.417 - 0.267. Suppose -2*o - 2*c + 2 = 0, 3*o - c - 7 = -6*c. Sort j, o, -3/8, 0 in increasing order.
o, -3/8, 0, j
Let t = -12/647 + -611/1941. Sort -0.5, 4/9, t, -1/4.
-0.5, t, -1/4, 4/9
Let z be 114/16 + 2/(-16). Suppose -13 = 4*q - z*x + 6*x, q + 16 = -4*x. Put 28, -2, 2, q in descending order.
28, 2, -2, q
Let n = -11390 + 11393. Sort -5, n, 26 in descending order.
26, n, -5
Let m = 9.026 + -0.026. Let s = m - -10.5. Let k = s + -20. Sort 0, -7/3, k in descending order.
0, k, -7/3
Let j = -6282 + 6287. Sort -2, j, 0.06, -3, 1 in decreasing order.
j, 1, 0.06, -2, -3
Let b be -1*(0 - 4) + 1. Let w be -6 + 1 + 0*5/(-25). Put 2, b, w in ascending order.
w, 2, b
Suppose -2*n + 3*v + 4 = 0, -n = -v + 20 - 19. Sort 2, -27, n, 0, -1.
-27, n, -1, 0, 2
Let o = 865 - 1476. Let t = -607 - o. Put -2/3, t, 0.2 in descending order.
t, 0.2, -2/3
Suppose 2*t + 6 = -5*x, 0 = 3*t + 3*x + 2*x + 14. Suppose 12*l + 108 = g, 7*l + 3*g = 3*l - 36. Let d = t - l. Sort 5, d, -1 in decreasing order.
5, d, -1
Let s be 10/(-7)*((-6)/(-20))/(2979/(-11585)). Let f be ((-3)/(-6))/((-2)/32). Put f, -2/9, s in decreasing order.
s, -2/9, f
Let r = 20 - 32. Suppose 0 = -4*n + 6 + 10. Suppose 23 = 2*l - 5*q, -q - 22 = -3*l + n*q. Sort l, 3, r.
r, l, 3
Let h be (-5 + -5 + 10)*(-3)/(-3). Let g be 2/12 - (183/36 + -5). Sort h, g, 2/5 in descending order.
2/5, g, h
Let o be ((-2)/(-4))/((-10)/100). Let z = 6 - 4. Put o, z, -17, 0 in descending order.
z, 0, o, -17
Let m = -2452 + 2456. Let d = -32 - -28. Sort m, -3, d in increasing order.
d, -3, m
Suppose -2*z + 4*b = -18, 5*z - 3*z + 5*b = 0. Let v = 594 - 599. Put -4, z, -2, v in ascending order.
v, -4, -2, z
Let c be (-10)/(-3)*(-708)/(-590). Let s be 9/15*2*5. Sort s, 0, c, 2 in decreasing order.
s, c, 2, 0
Let d(z) = -z**3 + 13*z**2 - 48*z + 33. Let q be d(6). Sort -5, q, 1270.
-5, q, 1270
Let o = -252 + 254.4. Let n = -0.05 - -1.95. Let v = n - o. Sort v, 5, -1/3.
v, -1/3, 5
Suppose 0 = 3*g - 2*g - 5. Let o be ((-1)/((-3)/2))/(665/570). Put -3/5, g, 6, o in decreasing order.
6, g, o, -3/5
Let j = -1734 - -1733.4805. Let c = j - -0.0195. Let f be ((-8)/(-6))/((-10)/6). Put c, -0.4, f in descending order.
-0.4, c, f
Let m = 1865.6 + -1866. Put m, 1/2, -2/17, -0.2 in ascending order.
m, -0.2, -2/17, 1/2
Let s = 23 + 138. Let c = s - 161. Let t be (-8)/(-12)*(-3)/(-2). Sort c, 7, t, -2 in decreasing order.
7, t, c, -2
Let n = 27.206 - 27.606. Let c = -2 - -1.9. Sort n, c, 21 in decreasing order.
21, c, n
Let v(g) = -2*g**3 - 11*g**2 - 4*g + 12. Let a be v(-6). Suppose 0*u - 6*u = -a. Suppose 0 = -l + u*l - 99. Sort l, -3, 2.
-3, 2, l
Let y be (-418)/(-10) + (3 - 57/15). Let p = 37 - y. Sort -14, -1, 5, p.
-14, p, -1, 5
Let h = -71.85 - -72. Let r = 1.02 + 3.83. Let f = r + h. Sort 2/7, f, -4.
-4, 2/7, f
Let j be (-1 + 1)/(1/(-1)). Suppose 3*b = -j - 18. Put b, 1, 7 in descending order.
7, 1, b
Let g(k) = -k**3 - 2*k**2 + 126*k + 459. Let u be g(-10). Let y = -14 + 10. Put 8, 4, u, y in increasing order.
y, u, 4, 8
Suppose 12*g + 9 = 15*g, 4*k = 4*g + 4. Put -3, k, 2, 16 in descending order.
16, k, 2, -3
Let y = 891 + -1518. Let l = 626 + y. Put -8, 0.1, l in increasing order.
-8, l, 0.1
Let z be (-3)/(147/(-7))*174/9. Let k = z - 19/7. Sort 0, -0.5, k, -4.
-4, -0.5, 0, k
Let c = -268 - -271. Let l be c + 0 - (-4 - -2). Put -1, -0.38, l in ascending order.
-1, -0.38, l
Suppose 3*f - 16 = 5*r, 4*f = 2*r + 16 + 24. Let j = -4 + f. Suppose 0 = -6*m + m - 10. Put 0, -1, j, m in decreasing order.
j, 0, -1, m
Let i be 3/((-5)/((-120)/9)). Let b = i + -5. Let k be 1 + -2 + b + 40/(-10). Sort -3, 1, k in decreasing order.
1, k, -3
Suppose 6282*j - 33 = 6293*j. Sort -5, -195, 1, j in increasing order.
-195, -5, j, 1
Suppose 5*z - 23 = 2. Let i(h) = 2*h**3 + 21*h**2 - 44*h - 93. Let f be i(-12). Put -4, z, f, 2 in descending order.
z, f, 2, -4
Let y = 1927/11 + -175. Let q(u) = -u**3 - 165*u**2 + 182*u + 2653. Let c be q(-166). Sort c, y, 1/3, 0.02.
c, 0.02, y, 1/3
Let c be 4 + 2 + (-330)/81*1 + -2. Sort -2/9, -1, 1, c, 4 in descending order.
4, 1, c, -2/9, -1
Let y be (-80 + 78)/(-2 - 120/(-57)). Sort 5, -1, 12, y in descending order.
12, 5, -1, y
Suppose 76*q = 75*q - 16. Let c be 0 - q/4*(-8)/32. Sort 2, -27, 4, c in increasing order.
-27, c, 2, 4
Let r be 12/120*(-50)/4. Suppose 476 = 3*q + 4*q. Let n = q + -208/3. Sort -4, r, n in descending orde