 + -15307. Put -108/7, 6, r in descending order.
6, r, -108/7
Suppose -3*z = -4*c - 4*z - 10, 2*z + 8 = -5*c. Sort -2, 7, -3, c, -1 in descending order.
7, -1, -2, -3, c
Let k be 0/(-4) + (1 - -2). Let b be 2/(1/(-1))*3030/(-1212). Put 4, -5, k, b in descending order.
b, 4, k, -5
Let w be -5 - (-6 + -6 + 11 + 0). Sort 4, w, -5, 2 in decreasing order.
4, 2, w, -5
Let c = -42796.4 + 42796. Let w = 2 + -1.9. Put w, c, -4 in ascending order.
-4, c, w
Let r be -24 + 20 - (22/(-2) + -1). Let u = -29.26 - -25.26. Sort -1, -2, r, u in descending order.
r, -1, -2, u
Let k be (-3)/2*(-1960)/(-60). Let w = 49 + k. Suppose -2*p + 4 = w, 2*p + 2 = -2*q + p. Put 3, -1, q in increasing order.
q, -1, 3
Let r be 15 + -19 + (-35)/(-7). Let y = 1 + -3. Let m be 4 + (-3 - (0 - -2)). Put y, m, 0, r in descending order.
r, 0, m, y
Let y = -8165 + 8165. Sort y, 2/3, 0.3, 5, 61 in descending order.
61, 5, 2/3, 0.3, y
Let x(k) = -k**3 - 25*k**2 - 71*k - 60. Let y be x(-22). Suppose 2*h - y = -23*h. Sort 13, -2, h in decreasing order.
13, h, -2
Suppose -y - 51 = -5*z - 14, 0 = 2*z + 3*y - 25. Let n(m) = -m**3 - 5*m**2 + m - 4. Let u be n(-6). Suppose -4*v = -2*f - u, -f = 2*f + 15. Sort v, -2, z.
-2, v, z
Suppose -z - 2*z = -3. Suppose 16*u + 6 = 32*k - 37*k, 0 = 3*k - 6. Sort u, -5, z, -6.
-6, -5, u, z
Let z = 4 + -3. Let h(x) = -x**2 + 51*x - 628. Let u be h(21). Sort z, u, -3/4, -2/27 in descending order.
u, z, -2/27, -3/4
Suppose 0 = 2*i - 3*i + 5*o - 129, 4*o - 436 = 4*i. Let c = 102 + i. Let y be (-1)/c*4/8. Sort 1, y, -0.5, -1.
-1, -0.5, y, 1
Let v = -4.4699 - -2.4699. Put 8, v, -1, -5/2, 3/2 in increasing order.
-5/2, v, -1, 3/2, 8
Let n(h) = -15*h - 280. Let w be n(-19). Sort w, -1/4, -2/17, 21/5 in decreasing order.
w, 21/5, -2/17, -1/4
Let d = 197.7 - 2.7. Let p = -194.6 + d. Suppose -4*o - 4 = 0, 3*h - o + 0 - 1 = 0. Sort -1/9, 1, p, h in decreasing order.
1, p, h, -1/9
Let w be (1556 + -1554)*(15/(-2))/3. Sort w, 15, -29.
-29, w, 15
Let j = 49/195 + -2/39. Suppose f - 4*f = 3*d - 72, 102 = 5*f - 4*d. Suppose 0 = -2*t - 4, 3*y - 4*t + 2 - f = 0. Put 0, 1, j, y in descending order.
y, 1, j, 0
Suppose 0 = -3*x + 7*x - 20. Suppose -4*t - 16 = c, -x*c - 1 - 4 = 5*t. Suppose -18 = 16*s - 10*s. Put -5, c, s, 3 in descending order.
c, 3, s, -5
Let h = 13317 - 13316.6. Sort 5, -118.6, h in descending order.
5, h, -118.6
Suppose 0 = -16*i - 12405 + 9189. Put 3, 12, -2, i in decreasing order.
12, 3, -2, i
Let d(u) = u**3 - 40*u**2 - 128*u + 71. Let t be d(43). Sort -4, 1, t, 5 in increasing order.
-4, 1, 5, t
Let h = 0.3 + 1.7. Let i = h - 0. Let z = -28.362 - -10.362. Put 5, z, i in decreasing order.
5, i, z
Let m = 0.048471 - -707.041529. Let a = 707 - m. Sort 0.5, 0, a, -2/3.
-2/3, a, 0, 0.5
Let n = -2 + -49. Let o = n - -49. Let q(l) = 5*l**3 - 1. Let m be q(1). Put -1, o, m in ascending order.
o, -1, m
Let b = 0.15 + -3.15. Let u = -2.253 + -7.747. Sort u, 0.4, b in increasing order.
u, b, 0.4
Suppose 3*z + 5 = -2*z. Let d be 8 - (-6 + 6) - (-228)/(-24). Let v = -59 + 769/13. Put d, z, 0, v in decreasing order.
v, 0, z, d
Suppose -3*q = -4*d + 9, 33 = -q + d + 32. Sort 6, q, -678 in increasing order.
-678, q, 6
Suppose z = -30 + 32. Let p be (-1 - (-27)/9)*z. Put 3, 121, p in descending order.
121, p, 3
Let u(n) = 16*n**2 - 77*n + 54. Let x be u(4). Put -228, -0.5, x in decreasing order.
x, -0.5, -228
Suppose -4*f - 2*d = -8, 33*d - 30*d = 2*f + 4. Put 3, -3, f, 0, -73 in descending order.
3, f, 0, -3, -73
Let z = -402 - 112. Let l = 495 + z. Let c(g) = g**2 - g - 1. Let s be c(0). Sort -4, s, l.
l, -4, s
Let x = 14833/6 + -2472. Suppose 2*r + 11 - 39 = 0. Let p be r/16 - 12/24. Put p, -4, x, 5 in decreasing order.
5, p, x, -4
Let k(v) = -v**2 + 3*v. Let m be k(6). Let b(q) = q**3 + 2*q**2 - 7*q + 5. Suppose 42*w + 12 = 39*w. Let o be b(w). Sort 4, o, m.
m, o, 4
Let i = 5.2 + -5. Let k = 3.0817 - 0.0817. Sort -1/7, k, i in increasing order.
-1/7, i, k
Let h = -85 - -50. Let i be (-3)/(-3) - 55/11. Put -2, i, h in descending order.
-2, i, h
Let f = -522 - -743. Let g = -176 + f. Sort -5, g, -4 in increasing order.
-5, -4, g
Suppose -133 = -2230*p + 2249*p. Sort p, 4, -2, 373 in ascending order.
p, -2, 4, 373
Let n = 5 + -6. Suppose 0 = -5*g - 12 + 22. Suppose 14*s = 8*s. Sort -2, n, g, s.
-2, n, s, g
Let a = 3.97 + -3.9. Let c be -1*(-12)/(6 - 0). Put a, -2, c in descending order.
c, a, -2
Let y = 9044 + -9061. Put 6/11, y, 7 in decreasing order.
7, 6/11, y
Let q be 2/3*15/(-2). Suppose -28 = -2*k + 5*m, 30*k - 25*k = 5*m + 40. Let s(b) = b**3 - 5*b**2 + 2*b + 4. Let n be s(3). Sort q, 5, k, n in increasing order.
n, q, k, 5
Let r = 289.56 - 289.16. Sort 3/2, r, -0.1, -5, -4/7.
-5, -4/7, -0.1, r, 3/2
Let f be (-132)/1254 + 1 + (-40)/(-19). Put f, 5, -5 in decreasing order.
5, f, -5
Let o = 18 + -10. Suppose -3*y + 0 + 6 = -2*v, -4*y = -3*v - 8. Suppose -o*x = -v*x + 16. Put x, -4, 6 in ascending order.
-4, x, 6
Let r be (-14)/6 + 3 + (-4)/6. Suppose r = -28*m + 21*m - 224. Let c be 1/(-15)*80/m. Sort c, 4, 5 in increasing order.
c, 4, 5
Let m be (-6)/(-21) + (-108)/231 - 684/(-132). Sort -5, 2, m, 15, 0 in decreasing order.
15, m, 2, 0, -5
Suppose 400 = 5*w - 3*t + 185, -2*w + 82 = -2*t. Sort 3, -5, w in increasing order.
-5, 3, w
Suppose -2*f + 10 = 3*f. Let o be (-3 - 50/(-5)) + -3. Let x be ((o - f)/1)/((-8)/6). Sort 0, x, -2, 2/3 in decreasing order.
2/3, 0, x, -2
Let v = 8 + 15. Let x = -22.5 + v. Let d be ((-3)/(-1) - 2) + -9 + 3. Sort -18, x, d in decreasing order.
x, d, -18
Let k = 2317 + -2317.1. Sort k, 0.07, -6.
-6, k, 0.07
Let r = 31 - 36. Let o be r/(-4) + (-2 - -1)/4. Put 2, o, 3, -6 in ascending order.
-6, o, 2, 3
Let g = -17014 - -17019. Put g, 6, -2, 3 in decreasing order.
6, g, 3, -2
Suppose 0 = -5*c + 2*a - 67 + 15, -c - a = 16. Sort c, 12, 4, -2, -3.
c, -3, -2, 4, 12
Suppose 666 = 10*u - 2664. Let p = -337 + u. Put p, -10, -1, 2 in increasing order.
-10, p, -1, 2
Let d(v) be the third derivative of v**5/30 + 5*v**4/8 + 15*v**2. Let f be d(-8). Suppose f*o + 0*o + 32 = 0. Sort -11, o, 4, 5 in descending order.
5, 4, o, -11
Suppose -393*u = -239*u - 7700. Sort u, 8, 2, 3 in ascending order.
2, 3, 8, u
Let a = 26 + -23. Suppose w - 5 = -a. Let f be (w/(-1))/(3/(-6)). Put -5, -3, -2, f in descending order.
f, -2, -3, -5
Let s be ((-108)/567)/((-55)/(-15) - 4). Let u = 0.06 - -4.94. Sort u, 4, s.
s, 4, u
Let y be (-36)/(-10) - 36/(-90). Let f(s) = y*s**3 - 4 - 3*s**3 + 367*s - 368*s + 6*s**2 + 7*s**2. Let h be f(-13). Put 5, -1, h in decreasing order.
h, 5, -1
Suppose -59*l - 51 = 67. Let t(r) = r**2 - 22*r - 1. Let i be t(22). Sort 3, i, 46, l.
l, i, 3, 46
Let k(t) = -t**3 - 5*t**2 + 11*t - 5. Let n be k(-5). Let g be (-123)/n - (5 - (-38)/(-8)). Put 4, 0.5, g in ascending order.
0.5, g, 4
Suppose -65*t + 56*t = 39*t - 144. Let m = -19 - -12. Sort 2, t, m in descending order.
t, 2, m
Suppose -48*s + 142*s - 1730 = 15002. Put 1, 0, s in descending order.
s, 1, 0
Let c(v) = 980*v - 12752. Let m be c(13). Sort -4, 3, -2, -7, m.
m, -7, -4, -2, 3
Suppose -157 = -3*o + 4*n, 2*o + o + 3*n - 192 = 0. Suppose -55*u = -o*u + 20. Suppose 3*x - 2*x + 4 = 0. Sort u, 4, -3, x in decreasing order.
u, 4, -3, x
Let x(r) = r**2 + 39*r + 331. Let z be x(-14). Sort z, 16, -2.
z, -2, 16
Let f(n) = 275*n + 3020. Let l be f(-11). Sort l, 3, -4/5, 1/7 in increasing order.
l, -4/5, 1/7, 3
Suppose 116 = b + 126. Sort 0, -8, b.
b, -8, 0
Suppose 5*k = 5*b + 15, 4*b - 3*k + 0*k = -7. Let h be (b/9)/((-144)/27 + 5). Sort -5, 2, h in decreasing order.
2, h, -5
Let a = 42 - 47. Let n = 20 + -31. Let s = -11.3 - n. Sort -2/3, s, a.
a, -2/3, s
Let h = -1005.8 + 1006. Put -2, 0.1, h, -1552 in decreasing order.
h, 0.1, -2, -1552
Let c = -190411/66 + 2885. Sort 1, 0.5, -6/11, 2/25, c in increasing order.
-6/11, c, 2/25, 0.5, 1
Let w = -0.39 - -0.69. Let u = 0.011 + -0.011. Put w, u, 8, -5/3 in increasing order.
-5/3, u, w, 8
Let d(y) = 3*y**2 - 3*y + 1. Let f be d(1). Put f, 3, -363 in increasing order.
-363, f, 3
Let n be (16 + -12)/((-2)/(-4)). Suppose -80 = n*x + 12*x. Put 1, 1/5, x in ascending order.
x, 1/5, 1
Let m(x) = 6*x + 42. Let q be m(-7). Sort -11, -49, q.
-49, -11, q
Let k(r) = 2*r**2 + 9*r - 16. Let j = -53 + 58. Let y be k(j). Let g = y + -80. Sort -5, -13, g in 