 order.
w, 0, -0.8
Let c = -10.7 - -0.7. Let r = c + 15. Let z = 875 - 2626/3. Sort 2, r, z, -1 in decreasing order.
r, 2, z, -1
Let k = 3303 + -3302.945. Sort 1/5, 3/4, k in decreasing order.
3/4, 1/5, k
Suppose -2*k + b + 3 = 0, 7*b - 7 = -6*k + 12*b. Put k, 10, -14 in descending order.
10, k, -14
Let f = 3.5 - -141.5. Let a = 144.5 - f. Let i = 4 - 0. Sort a, 2, i, 5 in ascending order.
a, 2, i, 5
Let y = -5 + 4. Let v = y + 0.5. Let g = 11063/7445 - 128/1489. Sort -0.1, 3, g, v in descending order.
3, g, -0.1, v
Let c(s) = -2*s**3 - s. Let o be c(1). Suppose 0 = 3*u - 230 - 229. Let i = u + -2599/17. Put o, 3/4, i in decreasing order.
3/4, i, o
Let g be (-14 - -52)/(-19)*1. Sort -71, -13, g in ascending order.
-71, -13, g
Let w = 24 + -22. Suppose 12163 = 18*i + 12217. Put -2, i, 8, w in increasing order.
i, -2, w, 8
Suppose -n - j + 10 = 0, -23*n + 28*n = 5*j. Sort -6, -20, n in ascending order.
-20, -6, n
Let y be 11/77*182/195*(-65)/(-8). Put -2, -8, -0.5, y in ascending order.
-8, -2, -0.5, y
Let m be (-39)/(4 - 17) + (-4 - -1). Put m, 1, 2, 32, 4 in increasing order.
m, 1, 2, 4, 32
Let f = -0.94 - 18.16. Let c = 19 + f. Let h = 527 + -526. Sort -2/5, h, c in decreasing order.
h, c, -2/5
Let g = 7133 + -7127. Sort g, 213, 3 in decreasing order.
213, g, 3
Suppose -17*c + 54 = -14. Put -55, -5, c, -3 in ascending order.
-55, -5, -3, c
Let j = 19.8 - 11. Let l = -9 + j. Let v be (-6)/16 - (-86)/(-688). Put -5, l, v, -4 in decreasing order.
l, v, -4, -5
Suppose -4*a + 12 = -3*n, -3*n + n - 2*a = -20. Sort 34, -2, 3/7, 0.5, n in decreasing order.
34, n, 0.5, 3/7, -2
Let m = -838.9 - -839.9. Sort -5, -2/9, m in increasing order.
-5, -2/9, m
Let y be (-6*7/(-84))/(3/18). Suppose 40 = 13*l - y*l. Put -3, l, 0, -5 in descending order.
l, 0, -3, -5
Let j be (140/(-175))/((-4)/10). Let b be 1/3 - 24/(-9). Let o be (5/j - b)*-6 + -2. Sort -3, o, 4, 10 in increasing order.
-3, o, 4, 10
Let c be (4/18)/(-213 + 215). Sort 1/4, 0.5, c, -5/2, -1 in decreasing order.
0.5, 1/4, c, -1, -5/2
Let g = -3169 - -3158. Sort g, 66, 0, 1.
g, 0, 1, 66
Suppose -210*y = -167*y. Suppose -3*g = 2*n - 17, 9 = -4*n - 2*g + 23. Let a be (n - 3)*6/4. Put a, -2, y in increasing order.
a, -2, y
Let y = -6009 - -5978. Let b be 6/(-4)*4/(-27). Put 2, b, y in ascending order.
y, b, 2
Suppose 3 = -k - 2*d, -k + 7*d - 31 = 2*d. Let z = 663.6 + -664. Sort 1/4, z, k in descending order.
1/4, z, k
Suppose 0 = 177*h + 53 + 154 - 30. Let w(j) = -j - 8. Let a be w(-4). Sort h, -14, a.
-14, a, h
Suppose 5*a = -4*w + 42, -29*a + 15 = -26*a - w. Sort 5, 24, a in decreasing order.
24, a, 5
Let b(d) = 6*d - 2. Let l be b(1). Suppose -4 = q - s, 0*q + q + 10 = l*s. Suppose -8*h + 525 = 7*h. Sort h, 1, q.
q, 1, h
Let m = -56 - -58. Suppose 0 = -2*t - 577 + 565. Sort m, 3, t in decreasing order.
3, m, t
Suppose -2*f = -28*p + 23*p + 13, -34 = -2*p - 4*f. Put p, -43, 3, 29 in increasing order.
-43, 3, p, 29
Let f be (0 - 48/60)/((-8)/(-540)). Put -0.1, -22, -0.5, f in ascending order.
f, -22, -0.5, -0.1
Let i(n) = 32*n + 1052. Let s be i(-33). Let q be (-1)/(50/(-108) + (-10)/(-20)). Sort 1, q, 0, s in descending order.
1, 0, s, q
Suppose 2*c - 6 = 18. Suppose 0 = -27*n - 23*n - 100. Let g be n*(-8)/c*3. Sort g, 6, -3, -1 in decreasing order.
6, g, -1, -3
Let j = -1.644 + 459.144. Let w = 457 - j. Sort 5, 0.1, w, -3 in decreasing order.
5, 0.1, w, -3
Let g(j) = -39*j - 239. Let x be g(-6). Suppose -2*f - 27 = -5*v + 3, 4*v - f - 24 = 0. Sort v, -1, x in descending order.
v, -1, x
Let g = 903/4 - 225. Let v be (3/4 + 0)/((-1449)/(-168)). Sort -2/5, v, g in decreasing order.
g, v, -2/5
Let p = 1/13418 + 13413/67090. Sort 1/2, -30, 18, p.
-30, p, 1/2, 18
Suppose -13*f + 1222 = 72*f + 9*f. Let y(m) be the second derivative of -m**5/20 + 13*m**4/12 - m**3/6 + 15*m**2/2 - 2*m. Let t be y(f). Sort 5, 4, t, -4.
-4, t, 4, 5
Let r = -141447/4 + 85573923/2420. Let o = r - -3/121. Put 0.3, 8, o, 1/4 in descending order.
8, 0.3, 1/4, o
Suppose -5*r = o - 13, -5*o - r = 42 - 11. Sort o, -5, -3 in increasing order.
o, -5, -3
Let a be (-4)/10*(-6 + 11). Suppose -5*z = 3*w - 16, 10 = 570*z - 568*z. Put w, 2, a in descending order.
2, a, w
Let s = 227.7 + -224.7. Sort -7, s, 7/8.
-7, 7/8, s
Let m be 27/12*2*(-25 + 23). Suppose -k - 3 = -o, 0 = k + 2*k + 4*o + 2. Sort m, k, 1 in increasing order.
m, k, 1
Let m(u) = 72*u - 285. Let l be m(4). Put l, 20, -2, 5, 2 in ascending order.
-2, 2, l, 5, 20
Let i = 4272392 + -320419427/75. Let y = i + -133. Let d = y - -17/75. Sort 0.4, -4, d in decreasing order.
0.4, d, -4
Suppose 2*v - 4*u - 1 = 1, 5*v - 2*u - 13 = 0. Put 191, v, -4 in decreasing order.
191, v, -4
Let n = -0.4458 - -0.1458. Let j = -17 + 16. Put 0, n, j, -2/49 in descending order.
0, -2/49, n, j
Suppose -468 = -s + 3*s + 2*h, -3*h - 471 = 2*s. Let x = s + 230. Sort -10, -4, 3, x.
-10, -4, x, 3
Let u be ((-4)/14)/((-46)/322). Suppose -3*i + 6 = -r - u*i, -2*i = -4*r - 22. Put 4.3, 2, r in decreasing order.
4.3, 2, r
Let i be ((-2)/(-6))/((-104)/(-36) + -3). Suppose 70*q - 60*q = -40. Sort q, i, 5 in increasing order.
q, i, 5
Let h(c) = 13*c + 5. Let a be h(-5). Let x be 15/2*(-40)/a. Suppose 0*r - 48 = 6*r. Sort x, r, -3 in ascending order.
r, -3, x
Let s be 3618/(-453) + (-22 + 7 - -23). Sort -3, s, 2 in ascending order.
-3, s, 2
Let h = 42.2 - 47.2. Let t = -15.869 + -0.231. Let n = 16 + t. Sort 1/15, 2, n, h.
h, n, 1/15, 2
Let w = 12.94 + 44.06. Let z = -13 + 17. Put z, 5, w in increasing order.
z, 5, w
Let i = 8996 + -9000. Sort -9, 1, -2, i in decreasing order.
1, -2, i, -9
Let s = -105/4 + 26. Let c = -3.9078 - -3.5078. Put -1, c, 0.6, s in increasing order.
-1, c, s, 0.6
Let r = -3 - -7. Let k = 0.0524 - 60.7524. Let c = k + 61. Sort 4.9, r, c in ascending order.
c, r, 4.9
Let d = -1/64 + -59/320. Let i(k) = 2*k - 5. Let l be i(3). Suppose 3*y = 3*j - 12, 0 = 4*y - 2*y + j - l. Sort y, 0.4, d, -4 in ascending order.
-4, y, d, 0.4
Let y(o) = -o**3 + 17*o**2 + 62*o - 36. Let n be y(20). Put -0.5, -705, n, -0.4 in increasing order.
-705, -0.5, -0.4, n
Suppose 725*n = 374*n + 381*n + 90. Put 13, 6, 0, n in ascending order.
n, 0, 6, 13
Let i be (44/(-12))/(143/(-39)). Sort 3, 11, -6, i in descending order.
11, 3, i, -6
Let r be 3/1 + -1 - (15 - 29). Let f be 74/r + (-3)/(-8). Let p be (-51)/(-21) + (-12)/28. Sort p, 4, f, 0.
0, p, 4, f
Suppose 0 = 4*v + 3*h + 530, 4*v - h + 526 = -6*h. Let s = v + 940/7. Sort s, -15, -3/7 in decreasing order.
s, -3/7, -15
Let y = -5770 - -5768. Sort y, -4, -1, 0.2 in descending order.
0.2, -1, y, -4
Suppose h + 179 = 5*o, 0 = -6*h + 7*h - 2*o + 179. Let y = -166 - h. Let l be ((-2)/(-4))/((-2)/(-8)). Sort -5, y, l.
-5, l, y
Let v be ((-47)/(-18) + (-3)/27)/(45/(-1710)). Sort -9, -2, v, -7 in increasing order.
v, -9, -7, -2
Let t be ((-336)/16)/63 - 11/(-51). Put 6, -0.3, t, 5 in decreasing order.
6, 5, t, -0.3
Let a = -0.01874 - -0.01874. Put -1/5, a, -0.3, -80 in descending order.
a, -1/5, -0.3, -80
Suppose -1831*q + 12 = -1828*q. Put 442, -1, -3, q in ascending order.
-3, -1, q, 442
Suppose 0 = -5*w + 70 - 0. Let n = w + -21. Let i be (5/(-2) - (n - -5))/(-4). Sort i, 3, -3, -2/7 in decreasing order.
3, i, -2/7, -3
Let v = -307.4 - -307.5. Put -1/2, 2, -2/15, -5, v in descending order.
2, v, -2/15, -1/2, -5
Let w be 0/(7/(8 + -1)). Suppose 2*a = 2*h - w - 2, -7 = h + 3*a. Put 6, h, -11 in descending order.
6, h, -11
Suppose t - 11*q + 12*q = -7, -3*t + 2*q + 14 = 0. Sort -5, t, 186, 2.
-5, t, 2, 186
Let b = 1 - 3. Let z(d) = 3*d**2 + 117*d - 115. Let c be z(-40). Let k be 1*5 + (3 - 6). Sort b, -4, k, c.
-4, b, k, c
Let i = 407/312 - -3/104. Let k = -34209 - -34209.2. Sort k, 0.3, i, 4.
k, 0.3, i, 4
Let w = -962 + 1377. Let y = w + -4564/11. Put y, -3/4, 2/3 in descending order.
2/3, y, -3/4
Suppose -4*w = -g - 6, 2*w + 3*g - 55 = -45. Suppose -2*d = 3*r + 14 - 5, -5*d - 17 = 2*r. Put w, 4, -4, r in descending order.
4, w, r, -4
Suppose -1 + 0 = n. Suppose -3*s - j + 11 = -0*j, -3 = 3*j. Sort n, s, 16.
n, s, 16
Suppose -108 = 14*o - 5*o. Let x be 9*(-1 + o/(-18)). Put 2, -4, 9, x in descending order.
9, 2, x, -4
Let v = -241/9 - -27. Suppose -3128 = -749*w - 33*w. Put w, -0.4, -1/5, v in decreasing order.
w, v, -1/5, -0.4
Let l(k) = k**3 + 4*k**2 + 4*k + 3. Let r