/1*g/(-36)*3. Sort -4, r, -5, 4.
-5, -4, r, 4
Let l = -14.75 - -14.25. Put -73, 1/4, l in descending order.
1/4, l, -73
Let f = 4677 - 4930. Sort f, -8, 0, 1, 2 in descending order.
2, 1, 0, -8, f
Let d = 1284.7 + -60.7. Let p = -1213 + d. Let n = 0.5 + 0. Sort p, n, -3 in descending order.
p, n, -3
Suppose 2*u + 14*b = 16*b + 16, 4*u = -4*b + 8. Let c be (-486)/15 - (-2)/5. Sort c, u, -5.
c, -5, u
Let b = 30785.4 - 30786. Sort 4, -2/9, b, -1.3.
-1.3, b, -2/9, 4
Let t(v) = -230*v - 1613. Let y be t(-7). Put 6, 246, y, -2 in ascending order.
y, -2, 6, 246
Let z = 2.5 - 2. Let x = 58 - 82. Let d be (x/9)/((-22)/(-33)). Sort d, z, -0.6 in decreasing order.
z, -0.6, d
Suppose 303*k = -84854 + 520871. Sort k, -0.4, -5 in descending order.
k, -0.4, -5
Let d = -9.3868 - 1.5812. Put -1/4, d, 0.2 in increasing order.
d, -1/4, 0.2
Let g(c) = c**2 + 46*c - 52. Let p be g(-36). Let s = 413 + p. Put -2/11, s, -2/9, -3 in descending order.
s, -2/11, -2/9, -3
Suppose 0 = 359*f - 365*f - 474. Sort 2, 3, f in decreasing order.
3, 2, f
Let k = 5.3 + -5.357. Let m = 29.057 + k. Let n(t) = -3*t**3 + t**2 + 5*t + 3. Let w be n(-1). Put w, 0.1, m in decreasing order.
m, w, 0.1
Let o(j) = -25*j - 1946. Let w be o(-78). Suppose 8 = a + 1. Sort w, -6, a, 1 in decreasing order.
a, w, 1, -6
Let u = -5567 + 5573. Put 5, -962, u in increasing order.
-962, 5, u
Let n be (-3)/(-5)*-15*1/36. Let x be 6/(-21) + 16/(-42). Put x, n, 1, 135 in descending order.
135, 1, n, x
Let h = 10782 + -10786. Put -1, h, 2, 0.2, 0.059 in ascending order.
h, -1, 0.059, 0.2, 2
Let a(c) = 65*c + 1104. Let t be a(-17). Suppose -5*d - 13 = -3*b, -2*b = 5*d + b + 7. Sort 4, t, -4, d in increasing order.
-4, d, t, 4
Let s(h) = h**3 + 2*h**2 - 7*h - 11. Let p be s(-5). Let r = -73 - p. Let x = r + 22. Put 5, -1, x, -5 in ascending order.
-5, -1, x, 5
Suppose 0 = 14*k - 4302 + 4204. Sort k, 338, -0.4 in increasing order.
-0.4, k, 338
Let p be 32/14 - 74/259. Suppose 0*a - 40 = -p*a. Let o(i) = i**2 + 5*i - 5. Let m be o(-6). Put -2, a, m in increasing order.
-2, m, a
Let u = -20.971 - -0.171. Let p = u + -5.2. Let z = p - -31. Sort 3, z, 0.3, 2/11 in ascending order.
2/11, 0.3, 3, z
Let g = 20569.6 - 20570. Sort -2, -0.3, g, -1/7, -4.
-4, -2, g, -0.3, -1/7
Let o be (43 + (-85 - -43))/(2/244). Sort o, 0, -3, 5 in descending order.
o, 5, 0, -3
Let s = 0.304573 - -0.095427. Let y = 0.8 - 1. Put s, 2/51, y in ascending order.
y, 2/51, s
Let h = -9359 + 9357. Sort 4, h, -3, -20, -4.
-20, -4, -3, h, 4
Let y = 243.3 + 14.7. Let p = 271 - y. Sort -2/33, 3, p in ascending order.
-2/33, 3, p
Suppose -1 = 5*d + 24. Let r(z) = -z**3 + 41*z**2 - 39*z - 37. Let f be r(40). Let q(y) = y**2 - 2*y - 2. Let p be q(-1). Sort d, p, f, 5 in ascending order.
d, p, f, 5
Let f = 0.246 - 0.046. Let y = -11 - -4. Let c be 2 - (154/(-8))/y. Sort f, c, 4.
c, f, 4
Let z = 16.32 + -17. Let j = 150 - 153.32. Let p = z + j. Sort 0.5, -2, -0.3, p in ascending order.
p, -2, -0.3, 0.5
Let l = -520 - -519. Suppose -4*c - 115 = -2*j - 3*j, -c - 15 = -4*j. Sort -2/5, c, l in descending order.
-2/5, l, c
Let n = -604.897 + 605. Let o = n - -0.597. Sort -2/9, o, 1/2.
-2/9, 1/2, o
Let k = 0.0219 + -0.0199. Put -3, -5, 0.15, k in descending order.
0.15, k, -3, -5
Suppose 14 = -3*t - 16. Let m = 21690 - 21687. Put -5, m, t in increasing order.
t, -5, m
Let v = 11072 + -11070. Sort 3393, v, 1.
1, v, 3393
Let o(w) be the first derivative of w**3 + 9*w**2/2 - 3*w - 100. Let r be o(-3). Suppose 4*x + 0 = -8. Sort x, r, -4, 3.
-4, r, x, 3
Let i = 2402 + -2381. Sort -4, i, 4, -14, 0 in ascending order.
-14, -4, 0, 4, i
Let s = 11686 + -175292/15. Put 3, 0, -0.35, s in ascending order.
-0.35, s, 0, 3
Suppose 2*p = g + 10, -4*g + 54 = 3*p + 17. Let m be (-3)/p - (-66)/154 - -1. Sort 3/2, -7, m in decreasing order.
3/2, m, -7
Let l = 1.04005 - 0.04005. Let v = -1.1 + 0.1. Sort -0.1, l, v, 2/9.
v, -0.1, 2/9, l
Let n be 4616/(-32) - -9 - 1/(-4). Let g = n - -137. Put g, -7, -1 in descending order.
g, -1, -7
Let a be -1*1 + 2/(-2). Let i = 26795.7 + -26796. Put i, a, 3, -0.5 in decreasing order.
3, i, -0.5, a
Suppose -8*a + 4*a + 4 = 0. Let z be a*-1*272/64. Let p be (-5)/9*29/((-725)/(-10)). Put p, 0.2, 5, z in increasing order.
z, p, 0.2, 5
Let n = 689.03 + -688. Let t = n + -0.9. Put 3/4, 17, t in descending order.
17, 3/4, t
Let c(y) = -229*y - 1150. Let t be c(-5). Put -5.6, -3, t, -2/9 in descending order.
-2/9, -3, t, -5.6
Let d be (-4)/30*5*-858. Let q = -570 + d. Sort q, -10, -3 in descending order.
q, -3, -10
Let s(q) = -10*q - 669. Let i be s(-67). Let d = -37.6 + 38. Sort 4, -0.4, d, i in increasing order.
-0.4, d, i, 4
Let b = -604 + 600. Sort b, 0.4, -0.06, 2.
b, -0.06, 0.4, 2
Let p = 3 + -2.9. Let c(y) = y**2 + 12*y + 40. Suppose -7*d - 23 = 26. Let a be c(d). Sort a, p, -4 in decreasing order.
a, p, -4
Suppose 0 = -2*c + v + 93, 5*c - 4*v = c + 184. Let z = c - 23. Sort 2, -3, -1, z in descending order.
z, 2, -1, -3
Let n be 1/6 - (-18403)/462. Suppose n*r - 1 = 41*r. Sort r, -5, -9 in descending order.
r, -5, -9
Let u = 604 + -616. Sort u, 1/2, 1/3, -2 in decreasing order.
1/2, 1/3, -2, u
Let u = 0.2 + -0.13. Let k be (-4)/(-6)*1 + (-7116)/(-18). Let r be k/81 - (0 - 1 - -6). Sort -1, u, 3, r in descending order.
3, u, r, -1
Let f = -396.1 - -395. Put -9/16, f, 2 in descending order.
2, -9/16, f
Let w(c) = -c**2 - 88*c + 1670. Let n be w(-104). Let s(k) = 2*k**3 - 5 + 3*k**3 + 11*k**2 - k**3 - 5*k**3. Let t be s(11). Put t, -1, n, 2 in descending order.
n, 2, -1, t
Let h be -1 - -3 - 1*-1. Let m(v) = -3*v**2 + 283*v - 6181. Let d be m(60). Sort h, -2, d, 4 in ascending order.
-2, d, h, 4
Let c = -1103 - -1108. Sort c, -19, -0.5, 10 in decreasing order.
10, c, -0.5, -19
Let m = 0.011 + -5.411. Let l = m + 5.1. Let a be ((-9)/(-24))/(3/2). Sort 1, l, a in decreasing order.
1, a, l
Let i be 24/9*(-6)/4. Let f = 29 - 24. Suppose 31 = -4*d - 4*w - 1, -d = 2*w + f. Put d, i, 1 in descending order.
1, i, d
Let b be (-3)/7 + (-27)/315*-5 - 2. Sort 3, b, 55, -5 in decreasing order.
55, 3, b, -5
Let r = 0.283 + 1.717. Let t = -0.58 - -0.58. Put t, r, -0.4, 0.3 in descending order.
r, 0.3, t, -0.4
Suppose -h - 459*p = -464*p + 7, 4*p - 14 = 5*h. Put 1, h, -7, -73 in increasing order.
-73, -7, h, 1
Let d = 33 + -40. Suppose 177*u = 186*u + 27. Put -1/4, u, d in decreasing order.
-1/4, u, d
Suppose 34*f = 29*f + 5. Suppose 2*z = -2*i - 2*i - 42, -2*i = 2*z + 52. Let q = z - -29. Sort f, q, 4 in increasing order.
q, f, 4
Let t = -49 + 53. Let d = -75 - -88. Let k(x) = -x**3 + 14*x**2 - 14*x + 11. Let i be k(d). Sort 1/3, 1/4, i, t in decreasing order.
t, 1/3, 1/4, i
Let a = 2045.92 + -2046. Let l = 3458/80391 + -20/381. Let f = 412/1055 - l. Put a, -1/6, f, 3 in descending order.
3, f, a, -1/6
Suppose 4 = 2*x + 3*d - 9, -x + 10 = 5*d. Suppose -2*f = 5*b + 9, 3*f - b + 0*b + x = 0. Sort 0, f, 26 in descending order.
26, 0, f
Let f be (-456)/(-32) - (-3)/4. Suppose 25 + f = -4*j. Let a be 2 + -2 + 0/(j + 4). Sort a, 2, -6/11.
-6/11, a, 2
Let n(t) = 19*t**3 - 131*t**2 - 8*t - 41. Let p be n(7). Put 582, 4, 5, p in descending order.
582, 5, 4, p
Let b(g) = g**3 - 6*g**2 + 14*g - 82. Suppose -8*c + 15*c = 42. Let z be b(c). Put -4, z, 16, 0 in ascending order.
-4, 0, z, 16
Let t = -2.2795 + 0.2795. Let f = 554/7511 - 4/203. Put t, 3, -1/3, f in increasing order.
t, -1/3, f, 3
Suppose 0 = -6*u - 0*u + 474. Let c = u - 62. Suppose -c*t = -22*t - 5. Sort t, -2, 1 in increasing order.
-2, t, 1
Let f = -4951 + 4982. Let y = -0.1 - 0.1. Put 0, y, f, 0.3 in decreasing order.
f, 0.3, 0, y
Let s = -4087 - -4086. Put s, -5, -4, -65 in increasing order.
-65, -5, -4, s
Let m = -436.2 - -436.1. Sort 0.1, m, 0.4, -45, -3.
-45, -3, m, 0.1, 0.4
Let f = -26707021/589 - -45343. Put 3, -2/9, -4, f in ascending order.
-4, -2/9, f, 3
Let c = 858.3 + -903. Let g = c - -41.9. Put -3, g, 2/7 in descending order.
2/7, g, -3
Let k = -81.59 + 82.59. Sort -0.3, -0.04, -40, k in descending order.
k, -0.04, -0.3, -40
Suppose 2*w = 3*w - 4. Suppose 3*p - 26 = 4. Let u be (10/(-8))/(p/(-12)). Put -1, u, w in increasing order.
-1, u, w
Let i = -17.499 - -15.499. Put 3, i, -350, 2/7, -3/2 in descending order.
3, 2/7, -3/2, i, -350
Suppose h + 3*r + 16 = 0, 237*h - 5*r - 56 = 240*h. So