 + 2*u + 3. Let j be b(-1). Suppose -3*w = -3*f, -12*w = f - 14*w. Suppose 0 = -2*q + q - 2. Sort f, q, j, -1 in descending order.
j, f, -1, q
Suppose -k - 3*t + 2 = -3, 0 = -12*t + 15*t. Sort k, 35, 0 in increasing order.
0, k, 35
Let f = -2998 - -3000. Sort f, -4, 16, -7 in increasing order.
-7, -4, f, 16
Let j = -62 - -43. Let v = -19 - j. Let l be v/11 - 4/(-14). Sort l, -0.7, 3 in decreasing order.
3, l, -0.7
Suppose -2*q + 101*k - 106*k - 1 = 0, 7 = 3*q - k. Sort 3/8, q, 0.11, -1.5, 0.5.
-1.5, 0.11, 3/8, 0.5, q
Let d(o) = 5*o**2 + 2. Let h be d(2). Let k = h - 21. Suppose 0 = 2*b - 3*g + 5, 128*b - 132*b - 4*g = 0. Sort k, b, -4.
-4, b, k
Let c(w) = -208*w - 79. Let v be c(0). Suppose -16 = 2*q - 6. Sort q, -2, v in decreasing order.
-2, q, v
Let k = -3859 - -19253/5. Sort k, -2, -3/8 in decreasing order.
-3/8, -2, k
Let x = -70 - -69.8. Let a be 5/(12 - 7)*3 + -6. Put -2/13, -2, a, x in decreasing order.
-2/13, x, -2, a
Let h be (-2)/(-4) - 18/28. Let r = 48911 + -48913. Sort r, 1/3, h, -1/4 in descending order.
1/3, h, -1/4, r
Let f(m) = 0*m + 21 - 11 + 144*m**3 + 4*m**2 - m - 12. Let i be f(1). Put i, 2/9, -0.5 in decreasing order.
i, 2/9, -0.5
Suppose 2*d - 5*p - 22 = 0, -7*p + 2*p = -d + 21. Let m be (-1 - 1)/(3 - 69/21). Suppose 4*o = -x + 17, -o = -3*x + x + m. Sort o, d, -2.
-2, d, o
Suppose -7 - 15 = 6*s - 16. Sort -297, 2, s in descending order.
2, s, -297
Let v be (3/(-2) - -2) + 198/(-44). Let f = 9 + -7. Let j(g) = g - 25. Let x be j(16). Sort v, x, 4, f in decreasing order.
4, f, v, x
Let q(z) = 17*z + 53. Let h be q(-2). Let j = 16 - h. Suppose -1 = -n, -2*n - 2 + 4 = 4*p. Put 2, j, p in decreasing order.
2, p, j
Let w be (-27740)/(-1022) + (0 - 12/(-14)). Put w, -1/25, -3 in descending order.
w, -1/25, -3
Let m = -2869.96 + 2870. Sort -5, 1/23, m.
-5, m, 1/23
Let k = -4267 + 4265. Put 13, -4, 1, k, -3 in decreasing order.
13, 1, k, -3, -4
Let a be 1/2*(-3)/3*16. Let j be (-2)/6*a*(-30)/2. Let l = -40 - j. Put -4, 4, l, 3/2 in decreasing order.
4, 3/2, l, -4
Let l = -1.26 + -0.04. Let k = l + 4.8. Let p = -3.7 + k. Put 4/9, 2, p in decreasing order.
2, 4/9, p
Let v = 0.02 + 0.18. Let m = -1746.3 + 1882. Let o = m + -136. Sort v, o, -0.11.
o, -0.11, v
Let p(y) = -10*y + 2. Let h(l) = -5*l + 1. Let u(n) = -13*h(n) + 6*p(n). Let o be (33/(-22))/(3/(-2)). Let v be u(o). Sort 0, v, 5 in ascending order.
0, v, 5
Let x = 48 - 32. Suppose -k = -5*m + 11, 4*m = -2*k + x + 4. Let y = 4.908 - -0.092. Put -1, k, 14, y in decreasing order.
14, y, k, -1
Let z(p) = p**3 + 22*p**2 - 24*p - 27. Let j be z(-23). Suppose -38 = 15*i - 34*i. Sort 0, i, j, -1 in decreasing order.
i, 0, -1, j
Let z be ((-2)/(-8) - (-30)/8)*(-257)/(-7196). Put z, 5, -1/11, 2/45 in decreasing order.
5, z, 2/45, -1/11
Let h be (56/(-147))/(30/(-315)). Sort h, -336, -3 in descending order.
h, -3, -336
Suppose 5*z + 36 = 36. Suppose z = 6*r - 11*r + 455. Suppose -87*u - 24 = -r*u. Sort u, -4, 3 in decreasing order.
u, 3, -4
Let a = -8013 - -8018. Let z be -1 + -1 + (-11)/(-7). Sort a, z, 4, -1/2 in decreasing order.
a, 4, z, -1/2
Let m(b) = -2*b**2 + 34*b - 147. Let c be m(9). Let n be 26/7 - 22/(-77). Put c, 3, n, 16 in ascending order.
c, 3, n, 16
Let v = 0.42 - -35.58. Let x = v - 35.94. Let k be ((-5)/15 - 0)/((-2)/(-4)). Sort x, k, -3 in descending order.
x, k, -3
Let y = -5 - -12. Let a(m) = 40*m - 633. Let z be a(16). Suppose 0*c - 3*c - z = f, -f - c = y. Sort 2, f, 5 in decreasing order.
5, 2, f
Let a = -13179 - -36229070/2749. Put a, 3, 2/7 in descending order.
3, 2/7, a
Let y be ((-4)/4)/(372/(-123) + 3). Let k = y - 41. Sort k, 6, 2.
k, 2, 6
Suppose 0 = 4*u - 2*k + 28, -2 = -2*u - 3*k - 0. Suppose 0 = -10*q + 19*q - 2241. Let r = 242 - q. Put r, 0, 5, u in increasing order.
r, u, 0, 5
Let s = 186 + -167. Sort -1/2, 0.2, 4, s in ascending order.
-1/2, 0.2, 4, s
Let b = 0.165 + -1.335. Let d = b - -1.77. Let w = 11 - 11. Put 5, w, d in decreasing order.
5, d, w
Let h = 10912 - 11583.9. Let n = h + 672. Put -4, 3, n, 1 in ascending order.
-4, n, 1, 3
Suppose -2*k = 2*m - 10, 0 = k + 2*m - 5 + 1. Let z = k - 6. Let i = 1174 + -1169. Put 4, z, i in descending order.
i, 4, z
Let l = 19 - 37. Suppose -11*v - 20 + 42 = 0. Sort l, 3, v.
l, v, 3
Let t be -8*(-1)/2 + (1 - 9). Put t, 3, 60, -5 in ascending order.
-5, t, 3, 60
Suppose 25 = 5*g - 10*y + 11*y, 25 = 5*g + 5*y. Suppose 2*r = m - 3 - 30, -5*r = -3*m + 85. Let t(h) = -9*h + 13. Let c be t(2). Sort c, r, g, 2.
r, c, 2, g
Let j = 9.001 - 7.001. Sort j, -2/27, -2/19, -7, 2/7.
-7, -2/19, -2/27, 2/7, j
Let w = -374.2 - -374.1. Suppose -2*j = 5*n - 5, -j - 1 = 2*n - 4. Sort n, -0.6, w, -3.
-3, n, -0.6, w
Let j be (-4)/(-12) - 61/3. Put -4, -1, j, -2/11 in decreasing order.
-2/11, -1, -4, j
Let n = -25.9 + 26. Let m be 6 - (((-32)/24)/4)/(8/(-138)). Put m, n, -11.3 in increasing order.
-11.3, n, m
Let g be (-33)/(-4) + 7/(-28). Let h be 13 - 6*4/g. Let n = -10 + h. Sort -3/7, n, 0.3 in descending order.
0.3, n, -3/7
Let w = 31.993 - -2.007. Put 3, -0.5, w, 0.23 in ascending order.
-0.5, 0.23, 3, w
Let a(q) = q + 16. Let b be a(-11). Suppose 0 = 2*o - 3*l + 7, -11*o - 4*l + 11 = -14*o. Sort o, -15, b, 0 in increasing order.
-15, o, 0, b
Suppose -2*g - 3*z = -g + 1, 3*g - 2 = -4*z. Suppose -8*p + 387 = p + 342. Sort g, -4, p in descending order.
p, g, -4
Let o = 1 + -5. Let i = -141 - -141. Sort 5, i, o, -7.
-7, o, i, 5
Suppose -1808 = -3*c - 1820. Suppose 2*f + 17 = 3*o - 2*f, 0 = -5*o + 5*f + 30. Suppose 4*x - 5 = o. Sort 0, x, c in descending order.
x, 0, c
Let y = -938 - -1017. Suppose 10 = 9*h - 7*h. Put -5, h, 4, y in descending order.
y, h, 4, -5
Let i be (-430)/35 - 2/(-7). Suppose 0 = -88*g + 94 + 82. Sort g, i, 0 in increasing order.
i, 0, g
Suppose -2*b + 6*b - 101 = -5*s, 3*b = 2*s - 45. Suppose -18 = -c - s. Sort -1, 2, c in descending order.
2, -1, c
Let a = 668/5 - 134. Let z(k) = k**2 - 3*k. Let j be z(6). Let i be j/(-4)*1 - -3. Sort a, i, 1, 2 in decreasing order.
2, 1, a, i
Let u(i) = i**2 + 36*i + 40. Let j be u(-35). Let d be (-3 + 2)*-1 - -4. Suppose -g + 6 + 15 = -4*o, -g + 25 = -d*o. Sort -5, j, o in increasing order.
-5, o, j
Let l = 11880 + -11882. Sort l, -0.3, 11, 4 in ascending order.
l, -0.3, 4, 11
Let z = -0.45 + -143.55. Let g = 143.6 + z. Let i = -7 + 10. Sort g, 2/13, -3, i in decreasing order.
i, 2/13, g, -3
Let b = -1/419 - -847/3771. Sort 0, 7, b, 2/11 in increasing order.
0, 2/11, b, 7
Let p = -9921 - -9924. Suppose -5*o = -o - 5*m + 3, 0 = -5*m - 25. Sort 0, p, o in descending order.
p, 0, o
Let o(v) = -8*v + 5*v**2 - 4*v + 13 - 4*v**2 - 3*v**2. Let q be o(-7). Let s be (-1)/(3 + 56/(-20)). Sort s, 2, 0, q in descending order.
2, 0, q, s
Let u = 21 + 40. Let w = u - 63. Let q = w + 2.1. Sort -0.3, q, -0.4 in ascending order.
-0.4, -0.3, q
Let k = 38015 - 38031. Put k, 0.1, 4, 2, -0.18 in decreasing order.
4, 2, 0.1, -0.18, k
Let n = -11743 + 11658.5. Sort n, 2, -3, -1.
n, -3, -1, 2
Let n = 2.91 + -0.21. Let h = -112147/8 - -14018. Put h, n, 2 in decreasing order.
n, 2, h
Let o = -1943 + 1943. Sort o, -114, 1 in descending order.
1, o, -114
Let g(z) = -4*z**2 + 9*z + 34. Let p(l) = -21*l**2 + 46*l + 170. Let q(r) = 11*g(r) - 2*p(r). Let b be q(-3). Sort -10, b, -4, 5 in descending order.
5, -4, b, -10
Suppose 5*f = -o + 317 - 282, -5*o + 3*f = 21. Suppose -3*d - 3*m + 104 = 2*d, 82 = 4*d + 2*m. Put d, 3, -2, o in ascending order.
-2, o, 3, d
Let x = -1200 + 822. Let q = 376 + x. Sort q, 13, 4 in descending order.
13, 4, q
Let x = 2672 - 2671.9. Sort -97, -0.3, x.
-97, -0.3, x
Let a(n) = 72*n**2 - 2*n. Let b be a(1). Suppose 0 = -o + 3*h - 16, 2*h + 12 = -12*o + 7*o. Sort b, 2, o.
o, 2, b
Let n be (0/1 - 0)/1. Suppose n = -5*y - 3*j + 12, -2*y + 5*j - 4*j - 4 = 0. Let g = -55/18 - 5/18. Put y, -1, g in decreasing order.
y, -1, g
Let f = -9353/352 + 294/11. Sort -3/20, f, -0.1, 4 in decreasing order.
4, f, -0.1, -3/20
Let j(t) = 9*t**3 - 81*t**2 - t + 8. Let r(y) = -4*y**2 - 34*y - 7. Let s be r(-8). Let v be j(s). Sort -3, 6, v, 5.
-3, v, 5, 6
Let l be (-2)/4 + (-20)/(-8). Suppose -5*j = 6 + 4. Let x(p) = -p**3 + 10*p**2 + 2*p - 15. Let h be x(10). Put -6, l, h, j in ascending order.
-6, j, l, h
Let g = 16892 + -16540. Sort g, 0, -0.3, 2/3, 2 in increasing order.
-0.3, 0, 2/