-261 - 163 + 4*k + 315. Let p be w(27). Put 4, 1, -3, p in decreasing order.
4, 1, p, -3
Let n(r) = -164*r**2 - r + 1. Let g be n(1). Let j = -111505 - -111509. Sort -4, j, g in decreasing order.
j, -4, g
Let o = 896 - 892. Put -156, o, 1/7 in decreasing order.
o, 1/7, -156
Let i = -28961/50694 - 1/7242. Put 2/7, -163, i, -2, -3 in decreasing order.
2/7, i, -2, -3, -163
Suppose -2*z + 3*z - 317 = 5*f, 0 = -4*z + 5*f + 1223. Suppose -z = -5*w - 282. Put w, 13, -5 in descending order.
13, w, -5
Suppose 39 + 20 = 7*y + 31. Put -36, -4, -1, y, 1 in increasing order.
-36, -4, -1, 1, y
Suppose 9*s + 23 + 37 - 15 = 0. Put -4, s, 26, -2 in decreasing order.
26, -2, -4, s
Let m be (-14)/(-3)*9*(-134)/(-6). Let h = m - 6578/7. Sort -1/10, h, -5 in decreasing order.
-1/10, h, -5
Let s = 19 + -14. Let i(v) = 17*v - 11. Let d be i(2). Sort d, s, -5.
-5, s, d
Let r = -1119 - -1119. Let l = 1.4 - 1.2. Sort -3, -4, l, r in descending order.
l, r, -3, -4
Suppose -33*p = -32*p - 4*s + 15, 4*s = -2*p + 30. Sort -1457, -3, p.
-1457, -3, p
Let c = -174 + 173.9. Let m(g) = -g**2 - 11*g - 10. Let b be m(-11). Sort -0.5, c, 4, b in descending order.
4, c, -0.5, b
Let h be (2/(-24))/(33/(-44)). Sort -0.4, h, 1/3 in decreasing order.
1/3, h, -0.4
Suppose -5*q - 10 = -5*a, 14*a - 9*a + 35 = -4*q. Put 2, a, -0.04, -1, 4 in decreasing order.
4, 2, -0.04, -1, a
Suppose -2*s + 10 = -4*z, -9*z + 14*z + 35 = -2*s. Put 35, -3, s, 1 in increasing order.
s, -3, 1, 35
Suppose -4*r + 344 - 328 = 0. Sort r, -5, -60, -1 in decreasing order.
r, -1, -5, -60
Let x = -18.91 + 19.01. Put x, 0.41, -4 in ascending order.
-4, x, 0.41
Suppose 0 = -d - y - 15 + 16, 2*y = d - 10. Suppose 3*p - 3 = -0. Suppose 0 = -4*h + 3*h + p. Put 2, h, 0, d in ascending order.
0, h, 2, d
Let c be 20*8/(-32) - -8. Sort 17, c, -2, 30 in descending order.
30, 17, c, -2
Let v be (-3)/9*(-38)/114. Put 1/49, -3, -2, v, 0.3 in descending order.
0.3, v, 1/49, -2, -3
Let q = -4584 + 4583. Sort -4, -21, q in decreasing order.
q, -4, -21
Let t = 30 + -15. Suppose -16 = -3*o - o. Let i be -3*o/(-12)*-1. Put i, 3/8, t in descending order.
t, 3/8, i
Let p = -453 - -456. Suppose p*c = -25 + 52. Sort -5, c, 4.
-5, 4, c
Suppose -y + 10*y - 11*y + 224 = 0. Sort -0.1, -5, 0, y, 0.4 in descending order.
y, 0.4, 0, -0.1, -5
Suppose 0 = 134*j - 137*j - 3*k + 27, -4*j + 44 = 5*k. Put j, 17, -3 in increasing order.
-3, j, 17
Let b = -1167 + 1537.7. Let c = 371 - b. Sort -1, -1/4, -1/6, c in decreasing order.
c, -1/6, -1/4, -1
Let p = 904 - 903. Sort 0, -1/56, -0.4, p in ascending order.
-0.4, -1/56, 0, p
Suppose 1883*t = 1895*t + 24. Sort -2/629, t, -4, -3/4 in descending order.
-2/629, -3/4, t, -4
Suppose -17*h = 14*h - 19258 + 19134. Sort 595, h, -4 in decreasing order.
595, h, -4
Let p be 2*(-5)/((-10)/(-4)). Let y = p + 28. Let f = -6346 - -6342. Sort y, 4, f in ascending order.
f, 4, y
Suppose 5109*y - 5*o = 5108*y - 23, -4*o + 26 = 3*y. Suppose 2*a = -2*x + 10, 5*a - x = -5*x + 24. Put 0, y, a in decreasing order.
a, y, 0
Suppose 18 + 10 = 4*k - 4*t, 0 = 4*k - 2*t - 22. Let o be (2 - (-112)/(-49))/(2/(-14)). Put k, 5, 1, o in decreasing order.
5, k, o, 1
Let o = 2795.9 + -2792.9. Let m = -0.47 + 0.07. Sort -4, 0, m, o.
-4, m, 0, o
Suppose 0 = b + 4, 5*g + 116*b - 121*b = 40. Put 2/5, g, -5, -4, -2/137 in decreasing order.
g, 2/5, -2/137, -4, -5
Let q = 5590 - 5589.7. Sort 2/5, -1/3, q in decreasing order.
2/5, q, -1/3
Let b(d) = -d**2 - 13*d - 4. Let k be b(-13). Suppose 8*l + l + 153 = 0. Put 2, k, -2, l in decreasing order.
2, -2, k, l
Let d = 9 - 10. Let g(u) = -u**2 - 8*u - 7. Let o(l) = -l + 1. Let s be o(8). Let q be g(s). Sort -18, q, d.
-18, d, q
Let l be (-1 - 0)/3*1. Let w = 13 + -13. Suppose -5*j - 411*p + 406*p = 0, 2*j - 12 = p. Sort j, -1/4, w, l in increasing order.
l, -1/4, w, j
Let x = 0.2941 - 0.5941. Put 14, -5, x, -8, 21/5 in increasing order.
-8, -5, x, 21/5, 14
Let t(v) = -v**2 - 11*v - 52. Let d be t(-5). Let o(h) = h**3 + 5*h**2 - 7*h - 9. Let w be o(-6). Put 5, d, w in descending order.
5, w, d
Let k = -3.4 + 0.4. Let m = 0.0513 + 1.0487. Let t = -14.1 + m. Sort t, k, 0.3 in decreasing order.
0.3, k, t
Let j be 13/((2 - 3)/(10 - 9)). Put -1.5, j, 1/5 in increasing order.
j, -1.5, 1/5
Let d = -0.043 - -0.343. Suppose -3*r + 52 = -5*r. Put r, 1, d, 0 in descending order.
1, d, 0, r
Let t(l) = l**3 - 10*l**2 - 12*l + 5. Let n be t(11). Suppose 0 = -200*d + 202*d - 10. Put -1, 4, d, n in descending order.
d, 4, -1, n
Suppose 0 = -30*t + 1513 - 553. Put t, -4, 2, 4 in decreasing order.
t, 4, 2, -4
Let x(f) = -f**3 + 2*f**2 + 4*f - 1. Let t be x(3). Let p = 3147 - 4837. Let n = p - -1691. Put 3, -3, n, t in descending order.
3, t, n, -3
Let a = -2.77 - -4.34. Let n = a + -1.57. Put 1, n, -5 in descending order.
1, n, -5
Let v = 6630 - 12298. Sort v, -3, 4 in increasing order.
v, -3, 4
Let o be 4/16 - (-3 - 756/(-16)). Let r be 11/o + ((-15)/4 - 1). Suppose f - q + 19 = 4*f, 17 = f + 3*q. Put f, 2, r in ascending order.
r, 2, f
Let p be (-5 - (-84 - -10))*(1/3 - 0). Suppose 3*b = 2*s - 42, -s - 2*b = -4*s + 63. Let j = p - s. Put -2, j, 1 in decreasing order.
j, 1, -2
Let p = 14 - 16. Let f = -136 + 112. Let r = f - -23. Put 4, 2, p, r in increasing order.
p, r, 2, 4
Let r(y) = y**3 - 5*y**2 + 4*y + 3. Let f be r(4). Suppose 12 = 3*k - 3*g, f*k - 14 = 3*g - 2*g. Suppose -4*d - 7 = k. Put 1, 4, d, 12 in decreasing order.
12, 4, 1, d
Let d(w) = -w**2 - 11*w - 25. Let z be d(-8). Let s be (1/(-3))/1*3. Let g be 0*(-1)/(z/s). Put 1, g, -5 in increasing order.
-5, g, 1
Let x = 16362 + -16358. Sort 164, -0.1, x, 1/6.
-0.1, 1/6, x, 164
Let p = 12.973 + -12.983. Put p, 5, -1, 0, -3 in descending order.
5, 0, p, -1, -3
Suppose 0*k = 38*k + 13110. Let p = 342 + k. Put p, -4, -6 in decreasing order.
p, -4, -6
Let s = 3370/7 - 16878/35. Put 0.1855, s, 1 in decreasing order.
1, 0.1855, s
Let q(j) = 10*j - 68. Let s be q(11). Let y = s - 43. Put 84, y, 4 in descending order.
84, 4, y
Let c(r) = -12*r + 82. Let m be c(-16). Let h = m + -278. Put -1, 2, -3, h in decreasing order.
2, -1, -3, h
Let b = -8654 + 8653. Put -5, b, -0.3627 in descending order.
-0.3627, b, -5
Suppose 36*y - 26763 = -26871. Sort y, 0, 135 in decreasing order.
135, 0, y
Let a(m) = 2*m**3 + 115*m**2 - 55*m + 111. Let v be a(-58). Sort v, -2, -3 in increasing order.
v, -3, -2
Let m be 2*(12/40*2)/((-90)/(-1125)). Put -3, m, 3, 59 in ascending order.
-3, 3, m, 59
Let r = 1538/7 - 8397/35. Let j = -611/30 - r. Put 0.1, 1/2, j, -1/5 in decreasing order.
1/2, 0.1, j, -1/5
Suppose -6*i - 1708 + 1924 = 0. Sort i, -3, 0.1, 2, -0.5 in decreasing order.
i, 2, 0.1, -0.5, -3
Let o be 2/(-9) - 14/(-63). Let l = -424006/31 - -13678. Put 4, o, l in increasing order.
o, l, 4
Let d = -31 - -35. Suppose 0 = d*p + 16, -2*u + 5*p + 17 = 1. Let a = -0.9 - -0.7. Sort u, -0.6, a in descending order.
a, -0.6, u
Let g be 209/7 + -7 + (-200)/(-28). Suppose -44 = 4*y - 5*m, -3*m + g = 3*y + 36. Suppose -3*i = -5*q + 18 + 9, -2*q - 10 = 4*i. Sort i, y, 2.
y, i, 2
Suppose 0 = -b + 4*t - 26, -3*b + 6*b + 23 = t. Let w be (b/8)/(99/66). Put 2, w, -2 in decreasing order.
2, w, -2
Let y(g) = g**2 - 5*g + 1. Let k be y(-6). Let r = 0.4948 + -0.7948. Sort -5, r, k.
-5, r, k
Suppose 148*a = 130*a + 54. Sort 15, a, 2.
2, a, 15
Let t = -103/3 + 33. Let p = 4.92 - -1.68. Let g = 6.27 - p. Sort g, t, 0.5 in ascending order.
t, g, 0.5
Suppose -n - 6*t + 68 = -3*t, -5*t = 3*n - 204. Let s be 36/(-27) + n/6. Suppose -2*b + 0 = -s. Put 2, 1, b in ascending order.
1, 2, b
Let l = 64 + -64. Suppose 3*s + 9 + l = 0. Put 5, 3, s, 8 in descending order.
8, 5, 3, s
Let u = -1 - -1.4. Let z = 0.105 + 231.895. Let x = z - 231. Put u, x, 2/15 in decreasing order.
x, u, 2/15
Let b be 1/3*(-6)/(-1). Let z be (60 + -54)*(-2)/(-12). Put z, b, 11, -2 in increasing order.
-2, z, b, 11
Let u be 4/10 + (-22)/(-20). Let x = -0.312 + -0.088. Let w = -0.43 + 0.23. Put w, x, -3, u in ascending order.
-3, x, w, u
Let t = 0.9 - 2. Let o = 1318/2631 + -5/5262. Put o, t, -2/9 in increasing order.
t, -2/9, o
Let r = -5 + 8. Let f = r + -2. Let z be 10 + (0 - (22 + -11)). Put f, -2, z in decreasing order.
f, z, -2
Suppose -7*o = -0*o - 42. Suppose 20 = s - 4*b, 28 = 2*s - o*b + b. Suppose -106 = 4*t + 3*v + 2*v, 0 