= 5*f - i*k, 4*k - 20 = 0. Put 0.2, 2/13, f in ascending order.
2/13, 0.2, f
Let k be (13 - -2)/((-34)/102). Put 1, k, -1 in decreasing order.
1, -1, k
Suppose 4*x + 7*w = 8*w + 9, 2*w = x - 4. Sort 0, -4, x, 1.
-4, 0, 1, x
Let x = -3.13 - -2.73. Put x, 1, 52, -0.5 in decreasing order.
52, 1, x, -0.5
Let z(s) = -s**2 - 25*s + 188. Let d be z(6). Put -2, d, -93, 0 in increasing order.
-93, -2, 0, d
Let t = -33.9 + -3.1. Let r = -48 - t. Put -1, 2/7, r in descending order.
2/7, -1, r
Suppose -s - 4*f = 29, -s + 1 - 33 = 5*f. Let h be 2 - s - -4 - -1. Suppose -3*j - j = -2*i + h, -5*j = -5*i + 40. Sort 5, -2, j.
j, -2, 5
Let p be 42/35*(33/6 + -3). Put 15, -4, p in descending order.
15, p, -4
Let y = -53777/6 + 8925. Let w = -38 - y. Sort 1, 4, w, -0.4 in ascending order.
-0.4, w, 1, 4
Let w be (48/(-60))/(34/(-5)). Let u = 0.332 - 3.332. Sort 31, 0, u, w in decreasing order.
31, w, 0, u
Suppose 34*r + 120 = -84. Let k(t) = 2*t**3 - 3*t**2. Let s be k(2). Put -2, s, r in descending order.
s, -2, r
Let u = -123 + 24. Let i = u + 99.4. Let d be -1 - 1*-1 - 1. Sort i, d, 0.2 in descending order.
i, 0.2, d
Let s = 261 - 2351/9. Sort 2.4, 4, -2/7, s.
-2/7, s, 2.4, 4
Let d(y) = -y - 10. Let j be d(-8). Let b(l) = l**2 - 7*l + 2. Let a be b(7). Let o(q) = -2*q**2 + 9*q - 8. Let x be o(4). Put j, a, x in decreasing order.
a, j, x
Let x be ((-2)/2)/(6/(-12)). Sort -3, -5, -6, x in decreasing order.
x, -3, -5, -6
Let n = 95 - 94. Put 5, n, 44, -2 in descending order.
44, 5, n, -2
Suppose 16*k = 1218 - 3234. Put 2, k, -2 in increasing order.
k, -2, 2
Let o = -79 - -79. Suppose o = -6*r - 117 + 201. Suppose 5*c + 3*t = 2*c + 9, -3*c + 3*t = 15. Put r, c, 4 in descending order.
r, 4, c
Let m(s) = -s**3 - 27*s**2 + 27*s - 23. Let i be m(-28). Let f = -0.04 - 4.96. Sort -0.2, f, i, -1 in decreasing order.
i, -0.2, -1, f
Suppose -11*k = -17*k - 18. Put 3, 1, 2, k in descending order.
3, 2, 1, k
Let i be (-3)/(((-36)/(-8))/(-9)). Suppose -i = -11*u + 8*u. Put -6, -4, u, -2 in ascending order.
-6, -4, -2, u
Suppose -t + 110 - 113 = 0. Sort 2, 3, -2, t in ascending order.
t, -2, 2, 3
Let h be (-2)/(-20) - (-793)/(-1830). Let z be 3*(-6)/(-81)*1. Let m = -0.3 + 0.1. Put h, m, z in ascending order.
h, m, z
Let c = 97.92 + 0.08. Let a = 100 - c. Sort -2, 5, a in increasing order.
-2, a, 5
Let d(p) = p**3 + 14*p**2 - 35*p - 46. Let w be d(-16). Let j be 6 + 1/((-3)/9). Put j, -1, 1, w in increasing order.
-1, 1, w, j
Let x = -18922/11 - -1720. Put x, -2, -2/17, -0.5 in decreasing order.
-2/17, x, -0.5, -2
Let q = -3.238 - -0.238. Put -0.06, 1/4, 0.5, q in decreasing order.
0.5, 1/4, -0.06, q
Let a = 2924/11 + -266. Let s = 2.8 - 3.1. Put a, 4/3, s in descending order.
4/3, a, s
Suppose -3*h = 23*h + 52. Let r = -1 - 2. Put 3, h, r in decreasing order.
3, h, r
Let r(c) = -c - 5. Let g be r(-8). Suppose i = -4 + g. Sort i, -11, -2.
-11, -2, i
Suppose -27 = 19*q + 11. Put -3/4, 3/8, q, -1.7 in ascending order.
q, -1.7, -3/4, 3/8
Let k = 35 - 31. Suppose -7 = k*y + t, 8*t - 6*t = 2. Put -25, -3, y in decreasing order.
y, -3, -25
Let n be 6/(-1341)*(-72)/32. Let i = 233/36058 + n. Let y = 113/484 + i. Sort y, 4, -3 in ascending order.
-3, y, 4
Suppose b - 2 = d + 2, 5*d = -5. Suppose 0 = -14*k + 17*k - b. Let h = 0.015 - -0.285. Sort h, k, 0 in decreasing order.
k, h, 0
Let m = -1 + 0.8. Let w = -15.1 + 15.3. Sort w, m, 3 in descending order.
3, w, m
Let f = 2 - 7. Let b(q) = -q - 9. Let t be b(-7). Suppose -48*y + 51*y = 15. Sort y, f, t in increasing order.
f, t, y
Suppose -3*m - m - 52 = 4*a, 5*m + 65 = -3*a. Let q = -18 - -33. Let y = q + m. Put 1, 4, y in increasing order.
1, y, 4
Let k be (13 - 4)*(8/(-6) + 1). Let p(c) = -c**3 - 4*c**2 + 6*c + 1. Suppose 0*d = -5*d - 25. Let a be p(d). Put a, 4, k in decreasing order.
4, k, a
Let o be 7/(-28)*-32 + -8. Let m = 10 - 6. Sort o, m, 5, -5.
-5, o, m, 5
Let o be ((-2)/4)/((-2)/(-8)). Let k be 6/44 - (-23)/((-2277)/(-36)). Put 0, o, k, -1 in descending order.
k, 0, -1, o
Suppose -4*h - f = -5*h - 61, -3*h = f + 187. Let w = h + 63. Suppose -o = -5*i + 12, o + 0*i = i - 4. Sort 3, o, w in ascending order.
o, w, 3
Let r(a) = -a**2 + 15*a + 21. Let s be r(16). Suppose -16 + 41 = s*m. Sort -3, m, -1 in descending order.
m, -1, -3
Suppose 4*m = -m + 50. Suppose 0 = -7*p + 2*p + m. Suppose w - 8 = -p. Sort 3, 1, w in descending order.
w, 3, 1
Suppose -3*m + 21 = -3*i, -5*i + 1 = -4*m + 8*m. Put 1, 9, m, -2 in descending order.
9, m, 1, -2
Let p = -20 - -34. Suppose 2*s - p = -22. Sort s, 2, -5, 0 in descending order.
2, 0, s, -5
Let z = -103.9 + 104.1. Let r be 2/(-9)*(-6)/(-10). Sort r, -2/5, z in descending order.
z, r, -2/5
Let f be 5/(-8) + 13/13. Sort 3, -0.5, f in decreasing order.
3, f, -0.5
Let k(u) = u**2 - 15*u - 25. Let x be k(16). Let r = x + 11. Sort 0, 29, r, 4.
0, r, 4, 29
Suppose -6 = -5*x - 21. Let z = 69/17 + -173/51. Sort z, x, -0.4, 3.
x, -0.4, z, 3
Suppose 23*o = -3*o + 52. Put o, -3, 8, 4 in descending order.
8, 4, o, -3
Let u(r) = 2*r - 4. Let j be u(3). Suppose -k - 3*k = 8, j = 2*p + 4*k. Let h(v) = v**3 + 9*v**2 - v - 7. Let t be h(-9). Sort t, 0.3, p in decreasing order.
p, t, 0.3
Let i = -193.5 - -194. Put -2, i, 3/8 in descending order.
i, 3/8, -2
Let i = -77 + 105. Let s = -49 - -28. Let j = s + i. Sort 0.1, j, -4.
-4, 0.1, j
Let f = 29 - 11. Put -5, f, 1, 4 in ascending order.
-5, 1, 4, f
Let u be (-14)/273 - 476/(-156). Suppose 3 = -4*w - 1. Sort u, 4, 13, w in increasing order.
w, u, 4, 13
Let a(q) = 11*q**2 - 3*q - 4. Let c be a(-1). Let x = 36 - 51. Let m be c*(x/5)/6. Sort 8, -3, m in descending order.
8, -3, m
Let c = 125.4 + -125. Sort -3, -7/4, 0, c in descending order.
c, 0, -7/4, -3
Let v(f) = 4*f**2 + 7*f - 7. Let x(i) = -3*i**2 - 7*i + 6. Let l(y) = -2*v(y) - 3*x(y). Let o be l(-7). Suppose -5*s = -20, 3*q - 4*s + 4 = -0. Sort q, o, 3.
o, 3, q
Let m = -4.8 + 5. Let l be 1120/(-3168) - (40/(-9) + 4). Put m, 0.4, 5, l in decreasing order.
5, 0.4, m, l
Suppose 0 = 9*q - 46 + 28. Suppose 3*v - 4 + q = p, 3*v - 5 = -2*p. Let z be (-3)/12 + 15/(-4). Sort 5, v, z in increasing order.
z, v, 5
Let s be 2/(((-4)/7)/(12/(-14))). Suppose 18 + 10 = -7*b. Sort s, b, 2.
b, 2, s
Let f = -17 + 17.18. Let z = 5.82 + f. Put z, 4, 1/4 in descending order.
z, 4, 1/4
Let c = 80 - 85. Suppose 2*v = 6*v. Suppose v = -6*z + z. Sort z, -3, c.
c, -3, z
Suppose 2*v = f + 10 + 11, -v + 9 = -2*f. Let j(i) = -i**2 + 12*i - 15. Let m be j(v). Sort 10, m, -2 in descending order.
10, -2, m
Suppose -4*b + 12 = -2*m, -3*b + 3*m - 1 = -10. Let i be 9 - 2/(-4)*-8. Put 4, b, i, -3 in descending order.
i, 4, b, -3
Suppose 37*o + 5 = 36*o. Suppose 5*t - 3*t + 8 = 0. Sort t, -1, 0, o in decreasing order.
0, -1, t, o
Let y = -36 - -26. Suppose -33*j + 34*j - 82 = 0. Let o = j + -86. Sort o, 4, y in decreasing order.
4, o, y
Let u(l) = -l**2 - 7*l - 5. Let n be u(-6). Let w be -6*(n + 12/(-9)). Sort -5, w, -1, 1.
-5, -1, 1, w
Let p be (60/(-8))/(-5)*-2. Let s = 242/215 + -14/43. Sort p, s, 0.5, 2 in descending order.
2, s, 0.5, p
Suppose -3*f - 2 = 4. Let y(m) = 5*m**3 + m**2 + 13*m + 13. Let n be y(-1). Sort n, -5, f in decreasing order.
f, n, -5
Let j(f) = 2*f**2 - 4*f - 2. Suppose 0*h = -5*h + 20. Let k be j(h). Put 2, k, 1 in decreasing order.
k, 2, 1
Suppose -3*i - 4*d - 8 = -6*d, 0 = 4*d - 4. Let q(j) = -2*j - 11. Let x be q(-8). Sort i, 2, x in ascending order.
i, 2, x
Suppose 6 = -2*x - 0. Let b = 37 + -35. Let t be (13/(-26))/(b/4). Put x, -2, t in descending order.
t, -2, x
Let h be 2/30 + (-6)/(-18). Let v(f) = -f - 3. Let u be v(-5). Sort u, h, -6 in increasing order.
-6, h, u
Suppose 4*j - 393 + 381 = 0. Sort 160, j, 2 in decreasing order.
160, j, 2
Let j = -15.11 + 16.01. Sort -0.1, j, 2/5, -1/7 in decreasing order.
j, 2/5, -0.1, -1/7
Suppose -20 = t - 8. Let o be (-64)/t + (-3)/9. Suppose -5*g + g - 2*a + 14 = 0, -o*g - 5*a = -25. Sort 3, g, 1 in increasing order.
1, g, 3
Let o = -4643/13 - -357. Let c = -526/3 - -176. Sort 4, o, c.
o, c, 4
Suppose -36 = -3*h - 39. Let d = -6 + 1.8. Let w = -0.8 + d. Put w, h, 0.2 in decreasing order.
0.2, h, w
Suppose 7*f - 25 + 25 = 0. Put 1, 9, f in descending order.
9, 1, f
Let b(v) = -2*v**2 - 14*v - 10. Let c(g) = g**2 + g. Let u(k) = -b(k) - c(k). Let h be u(-12). Sort 0