et v be -1*-1*1/2. Let a = -13.8 - 183.2. Let h = 196.7 + a. Put v, 0.2, -0.1, h in decreasing order.
v, 0.2, -0.1, h
Suppose 14*b + 4 = 16*b. Suppose 1 = -5*o - 0*o + p, 0 = -b*p - 8. Suppose -7 = -5*d - 2*d. Sort d, 5, -3, o in ascending order.
-3, o, d, 5
Let y be (1516/16 - 2/(-1))*4. Let i = -369 + y. Sort i, 0, 5, 3 in descending order.
i, 5, 3, 0
Let z = 26 - -99. Let d = z + -72. Let x = -51 + d. Sort x, 4/3, -20 in descending order.
x, 4/3, -20
Let y = -104 + 120. Let m be (3/(-2) - 1)/((-8)/y). Put m, -1, 3, 2 in descending order.
m, 3, 2, -1
Suppose 67*w - 64 = 31 + 39. Put 15, -4, w, -14 in increasing order.
-14, -4, w, 15
Let l(p) = 5*p**2 + 158*p - 376. Let v(w) = -w**2 - 39*w + 94. Let n(x) = -2*l(x) - 9*v(x). Let k be n(32). Put -1, k, -2, 0 in ascending order.
-2, -1, 0, k
Suppose 2 = -3*a + 20*a - 83. Let q be (-64)/(-72) - (-2)/18. Sort q, 35, a in ascending order.
q, a, 35
Let i = 7/265 + -286/795. Sort -2/11, -5, 3, i, 4 in decreasing order.
4, 3, -2/11, i, -5
Let d(l) = -88*l + 352. Let f be d(4). Sort -1, f, 2, -5 in descending order.
2, f, -1, -5
Let n = 168 + -166. Suppose -5*y - 15 = 5*j, 3*y + y + 6 = n*j. Let v be 3/12 - (-132)/(-16). Sort -2, j, v, -5 in increasing order.
v, -5, -2, j
Let d = -0.19 + 0.47. Let a = 0.18 - d. Let n = -42 + 41.6. Put 0.1, n, a in descending order.
0.1, a, n
Let g(i) = -i**2 - 13*i - 21. Let r be g(-10). Suppose 14*u = 24 - 10. Put 2, r, -1, u in ascending order.
-1, u, 2, r
Let v be ((-1770)/25)/(26*(-26)/(-1690)). Let k(r) = -r**3 - 6*r**2 + r + 8. Let h be k(-6). Put 4, -1, h, v in ascending order.
v, -1, h, 4
Suppose 0 = y + 127 + 51. Let h be (y/4)/(35/(-10)). Let p = 13 - h. Sort -1/2, 1, p, 1/4 in ascending order.
-1/2, 1/4, p, 1
Let k be 2/10 + (-868)/(-10). Let r be (2 - 160/70)*(7 + (-84)/8). Put k, r, -1 in ascending order.
-1, r, k
Suppose 4*b - 57 = -5*c, 4*c - 5*b - 73 + 11 = 0. Suppose c*t - 4 + 30 = 0. Sort 0, t, -5.
-5, t, 0
Let i(f) = -15*f - 269. Let y be i(-18). Let c(p) = -p**2 - 3*p - 4. Let n be c(-3). Let w = 1 + -2. Sort w, -5, n, y.
-5, n, w, y
Suppose -6*j = -3*j + 4*m + 3, 0 = 4*m. Let w = -11 + 15. Let r be (425/(-15))/((-555)/(-333)). Sort r, w, -2, j in decreasing order.
w, j, -2, r
Let c(m) = -m**3 + 6*m**2 - 4*m - 1. Let a be c(5). Suppose -3*p = 4*z + 22 + 7, -4*z + 3*p - 35 = 0. Put a, z, 2 in increasing order.
z, 2, a
Let k = 0.00223 + 52.99777. Put 1/6, -5, k, -3 in increasing order.
-5, -3, 1/6, k
Suppose 815 = z + 5*w + 790, -34 = 2*z - 4*w. Put -11, 1, z in descending order.
1, z, -11
Suppose -4*a + 5*b = 251, -2*a + b + 0*b - 133 = 0. Let s(m) = -2*m**2 - 2*m + 46. Let x be s(7). Let d = x - a. Sort -2, -3, -0.4, d in descending order.
d, -0.4, -2, -3
Suppose -2*q = 59*q - 305. Sort -5, q, 1, -3, 2 in decreasing order.
q, 2, 1, -3, -5
Let m(v) = v**3 - 15*v**2 - 35*v + 12. Let r be m(17). Let l(j) = j**3 - 5*j**2 - 5*j - 4. Let c be l(6). Sort r, c, 9 in decreasing order.
9, c, r
Let i = 584.47 - 581. Let d = 3.59 - i. Let b = -7.2 + 7. Sort b, d, 3.
b, d, 3
Let i(u) = 2*u + 18. Let p be i(-6). Let f be 6/18*(-3)/4 + 76/112. Sort p, 0.1, f in ascending order.
0.1, f, p
Let r = 68 + -225. Let i = r - -157.1. Put i, 0, -2/43 in ascending order.
-2/43, 0, i
Suppose -245*j = -822*j. Let o(s) = s**2 - 5*s + 3. Let u be ((-7)/2 + 2)*-2. Let f be o(u). Sort j, f, -1, 1 in descending order.
1, j, -1, f
Let v(c) = -65*c - 1364. Let f be v(-21). Put f, -1/4, 0.4, -4, 8 in increasing order.
-4, -1/4, 0.4, f, 8
Let m = 6.8 + -190.8. Let r = 184.5 + m. Sort -2, r, 0.1.
-2, 0.1, r
Let o(c) = -2*c**2 - 49*c + 82. Let m be o(-26). Put m, 14, 18 in descending order.
18, 14, m
Suppose 3*b = b + r + 13, 5*b - 34 = 2*r. Let s be (4 - 1)*4/(-24)*b. Put 8, s, 4 in decreasing order.
8, 4, s
Let q = -3769 + 3730. Sort q, -19, -5 in descending order.
-5, -19, q
Let x be -2 + (-5 - -9) + 2. Suppose x*c = v + 6, 2*c = v - 0 + 2. Suppose 4*g - 90 = c*g - 3*y, 16 = 4*y. Sort 4, 5, g in decreasing order.
g, 5, 4
Let r = -127.495 + 41.495. Let s be (-4 - 2) + 1 + 1. Put s, 0.5, r in increasing order.
r, s, 0.5
Let b = -1.236 - -0.236. Let q be (120/35 - 3)/(6/(-4)). Sort -0.5, b, -1/17, q in ascending order.
b, -0.5, q, -1/17
Let p = -107.238 - -107. Let a = -0.038 - p. Sort 1, a, -2 in decreasing order.
1, a, -2
Let p = 116.5 - 116.1. Suppose -4*g + 33 = 2*o + 43, 15 = 2*g + 5*o. Put p, g, -0.33 in decreasing order.
p, -0.33, g
Suppose -4*h + b - 31 = 0, -4*b = -h - 4*h - 36. Let f be (37/(-111))/(h/9). Put 0, f, 3, -5 in descending order.
3, f, 0, -5
Suppose -6*h = 21*h + 5*h + 96. Put 11/13, h, -2 in decreasing order.
11/13, -2, h
Let x = 6 - 8. Let a(m) = m**3 + 1. Let w be a(2). Suppose -4 = 13*c + w. Sort x, c, -3.
-3, x, c
Let r be 91/(-455) + 4/5. Sort -1/8, -0.7, 2/17, r, 2/7.
-0.7, -1/8, 2/17, 2/7, r
Let r(h) = -2*h + 15*h + h + 27 + 8 + h**2. Let o be r(-4). Let c = -24 + 24. Sort 3, c, o in ascending order.
o, c, 3
Let o be 30/(-45)*158*(-15)/(-4). Put -4, o, 1 in decreasing order.
1, -4, o
Let k(o) = -o**3 - 23*o**2 - 71*o + 93. Let m be k(-19). Sort m, -13, 1, -3 in decreasing order.
1, m, -3, -13
Suppose -c = -13 + 7. Suppose -202 = c*z - 58. Let d be (z/(-10))/6 + (-54)/10. Put d, 0, -4 in decreasing order.
0, -4, d
Let j = -1.1 - -6. Let z = j + -4.94. Let s = z - -0.54. Sort 2/11, s, 0.3, -13 in ascending order.
-13, 2/11, 0.3, s
Let i = -0.055 - -51.055. Let s = 43 - i. Let k = 418/7 - 60. Put s, k, -0.5 in decreasing order.
k, -0.5, s
Let s = 505 - 509. Put -5, 3, s, 63, -10 in decreasing order.
63, 3, s, -5, -10
Suppose 20133 = -62*m - 7023. Put m, 21, 3 in decreasing order.
21, 3, m
Suppose 2*s = 3*f + f + 108, -3*f = 2*s - 80. Sort 4, s, -11.
-11, 4, s
Let c be ((-66)/3)/(-35 + 37). Sort c, 8, -14 in descending order.
8, c, -14
Let u = -238.9 + 239. Let x be (3 + 0)*(1 - -2). Suppose -3*d - 18 + x = 0. Sort u, d, 1/13 in descending order.
u, 1/13, d
Let r = -275 - -303. Suppose -6*m - r = -2*m + a, 4*m + 3*a = -20. Put -1.2, m, -1 in ascending order.
m, -1.2, -1
Suppose 65*c + 3*g - 5 = 69*c, -15 = 3*g. Put -1, 1, -7, c in decreasing order.
1, -1, c, -7
Let x be (365/(-730))/((-1)/30). Put x, 0, -6, 9 in ascending order.
-6, 0, 9, x
Let c = -2 - 7. Let g = c + 5. Suppose -34 = -3*z - 5*k, 0 = -128*k + 132*k - 20. Sort z, g, 6.
g, z, 6
Let b(w) be the third derivative of -1/120*w**6 + 5/24*w**4 + 16*w**2 + 0*w + 19/6*w**3 + 0 + 7/60*w**5. Let d be b(8). Put -2, d, 5 in descending order.
5, -2, d
Let t(m) = -m**2 - 12*m + 148. Let y be t(-16). Sort 5, 3, y.
3, 5, y
Suppose -9*v = -14*v + 15. Suppose -3*i = -q + 13, -5*q + v*q = -3*i - 38. Suppose 65*f - q = 70*f. Put -10/7, f, -3/2 in decreasing order.
-10/7, -3/2, f
Let v = -0.05 - 0.25. Let r be 1 + 10 + (-58 - -62). Let g be ((-18)/r)/(-2) - 5/50. Put -2/17, g, v in decreasing order.
g, -2/17, v
Let k = -4 + 4. Suppose 7*v = 13*v + 48. Sort 5, k, v, -2 in increasing order.
v, -2, k, 5
Let c = 1789 + -1791. Put -34, c, 2/3, -0.1, 0 in increasing order.
-34, c, -0.1, 0, 2/3
Suppose 0 = 19*x - 143 - 940. Suppose 63*d + 144 = x*d. Sort 1, -3, d in decreasing order.
1, -3, d
Suppose 7*d - 12*d = -z + 2655, -d - 2*z - 542 = 0. Let n = d + 533. Let q be 2 - (-4 + (3 - 1)). Sort n, -2, -4, q in decreasing order.
q, n, -2, -4
Let c = -0.84 + 0.04. Let o = -1490/13 - -2915/26. Put c, -5, 5, o in decreasing order.
5, c, o, -5
Let h = -7 - 15. Let t = h - -25. Suppose 3*q = 9, 4 + t = -2*a - q. Sort -1/17, a, -3 in descending order.
-1/17, -3, a
Let q = -4147/2 - -2017. Suppose -4*a + 57 = -3*a. Let u = q + a. Sort -2/11, -0.1, 2/15, u in descending order.
u, 2/15, -0.1, -2/11
Let r be 2*(13 - 14/(-7)). Sort 3, -3, 4, r, -4 in decreasing order.
r, 4, 3, -3, -4
Let j = -1209 - -1208.6. Sort -5, j, -29, -2, -10.
-29, -10, -5, -2, j
Let j be 0*(5*(-10)/(-75) + -1). Suppose -1 = m - 5*r - j, 0 = 4*r. Sort 4, m, 10 in decreasing order.
10, 4, m
Let z = 9048 - 9060. Suppose -38 = 4*r + 3*i, -r - 3*i - 10 = -2*i. Put z, r, -5 in ascending order.
z, r, -5
Suppose -d = -4*m + 2, 4*d + 44462 - 44454 = -4*m. Let g(x) = -x**3 + 9*x**2 - x + 13. Let i be g(9). Let v = 6 + -7. Sort d, i, v.
d, v, i
Suppose 0 = 76105*b - 76082*b - 575. Put b, 4, 122, -2 in descending order.
122, b, 4, -2
Suppose 2*r + 16 = -4*l, -3*l = -4*r