= -2*w**2 + 122*w - 798. Let a be m(7). Sort 2, a, 0, -6 in ascending order.
a, -6, 0, 2
Suppose -2*a - x - 4*x + 15 = 0, 2*a - 8 = 2*x. Let j be (51 - 23) + -25 - (0 - -5). Sort a, j, -1, 10 in ascending order.
j, -1, a, 10
Let w = 125 + -113. Suppose -p = -0*p. Suppose -6*k + 0 + w = p. Sort -4, k, 1 in increasing order.
-4, 1, k
Let r be ((-30)/(-70))/(((-84)/(-8))/(-7)). Let p be -2 - (-3 - -1) - 1. Let n = -5.085 + 0.085. Sort r, p, -0.5, n.
n, p, -0.5, r
Let k be 2/(1/2*-2). Suppose 58 = 10*p + 8. Suppose 2*l - 7*l - 25 = 0. Sort p, -4, l, k in descending order.
p, k, -4, l
Let v(x) be the first derivative of -647*x**2/2 - 6*x - 32. Let r be v(2). Let w be 585/r*5*(-2)/6. Put 10, 4/3, w in increasing order.
w, 4/3, 10
Let o = 2934 + -2936. Suppose -3*v + 2*h = 0, -9 - 5 = -4*v - 2*h. Suppose -3*a = -4*f - 4, 0*a - 4*a - 2 = 2*f. Sort a, o, v, 1 in descending order.
v, 1, a, o
Let t = 10669 - 10667. Sort 1.2, 3/5, t in descending order.
t, 1.2, 3/5
Let s = 57.61 - 57.88. Put s, -0.1, -5, 1/5 in descending order.
1/5, -0.1, s, -5
Let l(t) = -3*t + 4. Let w(n) = 2*n - 3. Let x(r) = -3*l(r) - 4*w(r). Let m be x(1). Let a = 8320 + -8321. Put a, 5, m in ascending order.
a, m, 5
Suppose -9 = -z + 4*z. Suppose 4*j = 4*l - 28, -l - 4*j - 5 - 3 = 0. Let k = -16 - -14. Sort k, l, 1, z in ascending order.
z, k, 1, l
Let d = 0.033038 + 4.966962. Let c(v) = -v + 1. Let s be c(-7). Let k be s/6*(-6)/4. Sort d, -6, k in descending order.
d, k, -6
Let u = -57 - -79. Let o = -19 + u. Let d = -354 + 2119/6. Sort d, -1, 1/5, o.
-1, d, 1/5, o
Let c = 2.43 - 2.33. Let p = -71 + 70.7. Sort c, -0.4, p, -17 in descending order.
c, p, -0.4, -17
Let d = -26925 - -26940. Put -19, 0.1, d in ascending order.
-19, 0.1, d
Let i be (-4)/(-28) - 45/21. Let f be 104/(-16) - (i - (-6)/4). Let q be (-2)/((-1)/f*3). Sort -2/17, q, 1/3 in decreasing order.
1/3, -2/17, q
Let b = 59 + -59. Let i be b*-6*(-4)/72. Suppose 0 = -0*c + c - 4*k + 8, -3*c + 5*k - 10 = i. Sort -1, c, 44 in increasing order.
-1, c, 44
Let c(l) = -l**2 + 37*l - 67. Let y be c(2). Sort 4, y, -1, -4, -53 in increasing order.
-53, -4, -1, y, 4
Let o = 1.1 - 1. Let i = 536 + -538. Put -5, o, -0.2, i in decreasing order.
o, -0.2, i, -5
Let f = 121 + 1. Let o = f + -124. Suppose -5*h = -4*j + 23, -j + 11 = -h - 2*h. Sort 3, o, j in increasing order.
o, j, 3
Let y = 4 + -1. Suppose -2*r - 24 = -3*h, -306*h + 23 = -304*h + r. Sort y, h, -1/6 in increasing order.
-1/6, y, h
Let h = -114 - -138. Suppose 4*j - 8 = -3*v + 3, 0 = 4*v - 4*j - h. Suppose -2 = 2*s + 8. Sort 17, 3, v, s in decreasing order.
17, v, 3, s
Suppose -32 = -7*t - 11. Suppose 3*s = s - 34. Suppose 3*r + 0*r = 0. Sort r, t, s in decreasing order.
t, r, s
Let l be (((-24)/(-15))/(-1))/(2/10). Let q = l - -6. Sort -1/3, 0.3, q, 0 in ascending order.
q, -1/3, 0, 0.3
Let o = 13.3 + 180.7. Let p = -192 + o. Let d be (3/4)/((-11)/44). Sort -0.3, d, p in increasing order.
d, -0.3, p
Let k = 155 - 155.2. Let y = 0.5466 - 0.0466. Sort k, 3, -1/9, y.
k, -1/9, y, 3
Let m be -9 + 13/(-39)*-42. Sort -4, 27, m, -5.
-5, -4, m, 27
Suppose 96*w + 4*n = 92*w + 12, -5*n = -4*w + 12. Let x be (1 - 1) + 0 + 5. Sort w, 31, x, -2 in decreasing order.
31, x, w, -2
Let q(i) = -12 + 36*i + 7*i + 3 + 8 - 13*i**2 + 23*i. Let c be q(5). Sort -4, 3, c, 18 in decreasing order.
18, c, 3, -4
Suppose -y - 15 + 2 = 0. Let u = y + 17. Suppose -5*k + 55 = -4*a + 88, -3*a - k = -1. Sort -23, u, a in decreasing order.
u, a, -23
Let a = -5 + 1. Suppose -2*k = r - 9, 3*r - 3*k = -2*k - 1. Let j(c) = 5*c**2 + c. Let i be j(-1). Sort a, r, i, -3 in ascending order.
a, -3, r, i
Suppose 54*r + 528 - 204 = 0. Put -29, r, 1, 0 in ascending order.
-29, r, 0, 1
Suppose 0 = 5*w - 1 - 9. Let j be (-13)/(17/4 - 4). Let i = 55 + j. Sort w, i, 1 in decreasing order.
i, w, 1
Suppose 2*c - 210 = 44*c. Let a = -3.97 + -0.03. Let r = -4.15 - a. Sort r, -0.4, c in ascending order.
c, -0.4, r
Suppose -4 = 3*r + r. Let m(n) = n**3 - 21*n**2 - 25*n + 75. Let h be m(22). Suppose -5*s = 2*g + h, 10*g - 14*g + 21 = -3*s. Put r, g, 0 in decreasing order.
g, 0, r
Let c(j) be the second derivative of -j**4/6 + 37*j**3/3 + 10*j**2 + 136*j. Let z be c(37). Put -1, z, 0 in descending order.
z, 0, -1
Suppose 4*j = -4*s - 41 + 17, 4*s = -12. Let u be (60/315)/((-1)/j). Sort -3, -2/5, -0.2, u in ascending order.
-3, -2/5, -0.2, u
Let n = -575 - -343. Let i = -234 - n. Let a be 5*(-2)/(-2)*1. Put a, 4, i in ascending order.
i, 4, a
Let o(k) = k**2 - 2*k - 6. Let l be o(-2). Let y = 7 - l. Suppose -2*n = -2*x - 16, -7*n + y*x = -3*n - 35. Put -7, 1, n in ascending order.
-7, 1, n
Suppose -3*r + 112 = 40. Suppose 5*o - 5*u = 0, -5*o = -u + 4 - r. Suppose o*a - 5 - 7 = x, 3*x - 9 = 0. Put -31, 0.2, a in ascending order.
-31, 0.2, a
Suppose 170*g - 37*g - 93*g - 280 = 0. Sort 23, 4, g, 0, -5 in descending order.
23, g, 4, 0, -5
Suppose 22*j = -29627 + 29539. Suppose 3*g + 4*g + 14 = 0. Put g, -6/11, j in ascending order.
j, g, -6/11
Let s = 40 + -47. Let u = -6.33 - s. Let l = u - 25.67. Put l, -4, -0.5 in increasing order.
l, -4, -0.5
Let i = -2062 - -2068. Sort -2, 2, -118, i in ascending order.
-118, -2, 2, i
Let v be (-2 - -5) + (-2 - (1 - 0)). Suppose v = 3*d + 9, 5 = 3*b - 3*d - 1. Put 4, b, -2 in increasing order.
-2, b, 4
Let i be (12/(-16))/(-2 - (6 + (-268)/32)). Sort 0.3, 1/4, i, 1/25 in ascending order.
i, 1/25, 1/4, 0.3
Let a = -180.2 - -179. Let c = -0.535 + -3.465. Put c, 1/2, -0.1, a in ascending order.
c, a, -0.1, 1/2
Let r = 18376 + -18378. Let m = -29 + 29. Sort -1.08, 0.4, m, r.
r, -1.08, m, 0.4
Let n = 2379 - 2353. Sort n, 4, -5 in increasing order.
-5, 4, n
Let j = -2 - 1. Let r = -3.43 - -0.03. Let c = -3.6 - r. Put -6, j, c in ascending order.
-6, j, c
Let j = -4/165 - 29/165. Let m be (-6)/(-45) - 340/3675. Put m, j, 5 in decreasing order.
5, m, j
Suppose -26*x = -16*x + 3850. Let v = x - -393. Put -1, 0, v in descending order.
v, 0, -1
Let y = 959878/7 - 137701. Let p = 576 + y. Put -1, -2/107, 0.5, p in ascending order.
-1, -2/107, p, 0.5
Suppose 1868*g - 8 = 1876*g. Sort -3, g, -5, 3, 5 in increasing order.
-5, -3, g, 3, 5
Let s(y) = -y**2 + 31*y - 4. Let w be s(31). Let q be (w/10)/((-48)/10). Let a(i) = -i**3 + 2*i**2 + 4*i. Let x be a(3). Sort -4, q, x in descending order.
x, q, -4
Let y = -434 + 364. Let t = -2 + -73. Let c = t - y. Put 0.5, -0.1, c, -0.04 in decreasing order.
0.5, -0.04, -0.1, c
Suppose 59*r = -54*r + 124*r. Sort 1, 5, -171, r, 4 in increasing order.
-171, r, 1, 4, 5
Let v = 20 - -50. Let g = -43 + v. Let n = -21 + g. Put 0.2, -0.5, n in ascending order.
-0.5, 0.2, n
Let u be (1315/(-7) + 0)*(-126)/108. Let o = u - 219. Let t be 4 + -1 + 88/(-32). Put t, o, -2/5 in ascending order.
-2/5, o, t
Let h be (-5 - (-4 + -1))/4. Let w be -6 + 0 - (2 - 5). Let x be 5 + (4 - 8 - -2). Sort x, 1, h, w.
w, h, 1, x
Suppose v = -a + 239, -25*a + 30*a + 450 = 2*v. Put v, -0.4, 1 in descending order.
v, 1, -0.4
Suppose -4*l - 2*m + 14 = -32, -5*l = 3*m - 55. Let s be -1*(l/18 - 1). Put 5, -1, -0.3, s in increasing order.
-1, -0.3, s, 5
Let i be (-1 + 0)/((33/3939)/11). Put 3, i, 0.2 in descending order.
3, 0.2, i
Let m = 171 + -52. Let r = -116 + m. Let y = 13 + -12. Put -2/23, r, -0.5, y in descending order.
r, y, -2/23, -0.5
Let s(w) = -30*w - 27. Let d be s(-1). Suppose 0 = n - d*k - 18, 4*n + 3*k = -3 - 0. Let h = 0.4 - 0.2. Put n, h, 4/7 in descending order.
n, 4/7, h
Let j be (637/(-63))/(40/60) + (-3)/(-18). Let p be (3 - -1)*(-14)/(-8). Suppose -4*f + 3 = -p*f. Sort j, -4, 5, f in decreasing order.
5, f, -4, j
Let l be (-13)/8 + -17 + 7 + -9. Sort 4, l, -1/7 in decreasing order.
4, -1/7, l
Let d = 739.1 - 705. Let l = d + -5.1. Let g = -28.98 + l. Sort -3, -0.3, 3/5, g in descending order.
3/5, g, -0.3, -3
Let u(c) = c**2 + 10*c - 8. Let b be u(-13). Let w be b/84 + 8/(-28). Let t = 491/3 - 164. Put w, -2, t, -0.4 in descending order.
w, t, -0.4, -2
Let d be (-5)/(-2)*(-4)/(-25). Let n = -2350 - -2350.3. Sort 11, d, n, 0.1 in decreasing order.
11, d, n, 0.1
Let j = -210 - -113. Let p = j - -102. Sort p, -0.7, -0.2.
-0.7, -0.2, p
Let m = -16278 + 16282. Sort 10, 5, m, -5.
-5, m, 5, 10
Let b = 30292 + -30292.1. Put -47.28, b, -0.5 in ascending order.
-47.28, -0.5, b
Suppose 691*i 