 4*k - 694, 2*g = -5*k - 270. Let f = -138 - g. Sort 0.1, f, a in decreasing order.
f, 0.1, a
Suppose -3*x = 4*r + 1, 2*r + r = -2*x + 1. Let y(f) = -10*f - 217. Let i be y(-22). Sort 0, i, x.
x, 0, i
Let i = -406.7 - -407. Sort i, -1/19, 0.4 in increasing order.
-1/19, i, 0.4
Suppose 106*i = 109*i - 6. Put -1, i, 18, 1 in ascending order.
-1, 1, i, 18
Let a = -73.6 + 70.6. Sort 2, a, -3.2 in decreasing order.
2, a, -3.2
Let c(u) = -3*u**2 - 3*u + 1. Let n be c(-4). Let j be 28/(-40) + 4 + n/10. Let l = -0.44 + 0.04. Put -3, l, j in increasing order.
-3, l, j
Suppose t - y + 1 = 2*y, 3*t + 36 = -2*y. Sort 4, -5, t in descending order.
4, -5, t
Let n = 0 + -3. Let o = 3938 - 3889. Sort n, 5, o in descending order.
o, 5, n
Let x = -691 + 683. Sort 3, -0.11, x in decreasing order.
3, -0.11, x
Let p = 321 + -329. Sort p, 4, -7, 2.
p, -7, 2, 4
Suppose 4*l + l = 0. Suppose -5*c - c = l. Suppose c = -q + 3*s + 6, -q - 2*s + 30 = 4*q. Put -2, q, 4 in decreasing order.
q, 4, -2
Let q = -120 - -111. Let a = 12 + q. Put 2, -7, a in descending order.
a, 2, -7
Let d(v) = -v**2 - 5*v - 3. Let m be d(-4). Suppose -3*i = -2*i - m. Let w = -5 - 1. Put w, -0.4, i in decreasing order.
i, -0.4, w
Let k be 3 - 5/2 - 54/12. Let x = -2 - -1. Sort -5, x, 2, k in ascending order.
-5, k, x, 2
Let q(d) = 3*d + 4. Let s be q(-4). Let y = s + 6. Let w = 5075 + -5080. Put 5, y, w in decreasing order.
5, y, w
Suppose 7 = 3*t + 1. Suppose -t*k = -k - 3*p - 20, -112 = -4*k + 4*p. Suppose 5*z + k = -3*g + z, 20 = -4*z. Sort g, -5/4, 4.
g, -5/4, 4
Let s be 2 + (-4)/12*3. Suppose -10 = 3*w + 5. Sort w, s, 2 in descending order.
2, s, w
Let v(h) = 2*h - 4. Let d be v(4). Let r be 1/1 - (-12)/3. Suppose -3*q + a - 3*a = -10, -20 = 2*q - 4*a. Sort q, d, r.
q, d, r
Suppose 4*z + 29 = -5*x - 3, -16 = 2*z - x. Let w(b) = b**2 - 4*b + 5. Let p be w(4). Sort z, p, -3 in ascending order.
z, -3, p
Suppose -9*g = -4*g - 20. Let i be g - (0 + 0)/(-3). Put -1, i, -2/5 in descending order.
i, -2/5, -1
Suppose 5*f - 3*r - 15 = 2*f, 4*f + 2*r - 8 = 0. Sort -2/7, f, -2/75, -0.1.
-2/7, -0.1, -2/75, f
Let s = -258 + 253. Put s, -1, -1/4, 1 in decreasing order.
1, -1/4, -1, s
Let z = -0.018 - 0.056. Let t = z + -2.926. Sort -5, t, -0.6 in ascending order.
-5, t, -0.6
Let z = -4 - -3. Let q = -13 - -23. Let g = q + -15. Put 3, z, g in decreasing order.
3, z, g
Suppose 2*w - 5*r - 10 = 29, -5*r - 15 = 0. Let i = 7 - w. Put i, -0.2, 1 in ascending order.
i, -0.2, 1
Let s(n) = -n + 5. Let i be s(5). Let p = -4 + i. Let y be -8*(p - -3) - 2. Put y, 5, -3 in decreasing order.
y, 5, -3
Let z(q) = q**3 - 16*q**2 + 17*q - 25. Let m be z(15). Put 69, 3, m in decreasing order.
69, m, 3
Let f be -3 + 7/14 + (-6)/4. Put -12, f, 1, -1 in descending order.
1, -1, f, -12
Let w = -329 + 325. Put 3, 2, -0.6, w in increasing order.
w, -0.6, 2, 3
Let f(z) = z**2 - 3*z + 2. Let j be f(3). Let k(y) be the first derivative of y**3/3 - 3*y + 8. Let c be k(j). Put 2, -1, c in ascending order.
-1, c, 2
Let v = 180.2 + -479.6. Let l = 329 + v. Let m = -30 + l. Sort m, 3, 0.4.
m, 0.4, 3
Let x be 11/(-12) + (-2)/(-3). Let v = 23 - 23.2. Let j = 0.1 - v. Put x, j, 2/5 in decreasing order.
2/5, j, x
Let u(m) be the third derivative of m**5/60 - 5*m**4/12 + m**3 - 2*m**2. Let g be u(9). Suppose -3*l = -l - 10. Put -6, g, l in ascending order.
-6, g, l
Suppose 3*y + 10 = -2. Suppose -2*t = -0*t. Suppose t = -4*h + z + 6, 6*z = 2*h + z - 12. Sort y, -1, h in descending order.
h, -1, y
Let z = 0.36 + -5.36. Let p = 4 + -7. Let o = 2.774 + 0.226. Put o, z, p in ascending order.
z, p, o
Let a = -27 - -34. Let t = -0.09 + 9.09. Let w = a - t. Sort -2/13, -3/2, w in decreasing order.
-2/13, -3/2, w
Let x = 345 - 338. Suppose -6*v = -2*v - 48. Suppose -15 = -v*g + x*g. Sort -7, 4, g in ascending order.
-7, g, 4
Let v = 1 + 1. Suppose -16 = b + 1. Let o = b - -15. Put o, v, 3 in decreasing order.
3, v, o
Let t = 66455043/7 + -151916167783/16002. Let g = -1/254 + t. Let j = -40/9 + g. Put -5, j, 1 in increasing order.
-5, j, 1
Let k(f) = f**3 - 3*f**2 - 3*f + 6. Let u be k(4). Let r = u - 5. Sort r, -5, -0.2 in decreasing order.
r, -0.2, -5
Let i = -15/124 + 7/124. Let h = 52/155 - i. Put 2, 5, h, 2/9 in increasing order.
2/9, h, 2, 5
Suppose -3*s = 15, -6*b + 3*s + 33 = -3*b. Suppose -4*g + 6 = -b. Let x(u) = -10*u**2 - 2*u - 1. Let j be x(-1). Sort j, g, -3/5 in increasing order.
j, -3/5, g
Let r(w) = w**2 - 7*w + 9. Let o be r(6). Let p be 14/(-2) + ((-1551)/21)/(-11). Sort p, 5, o in descending order.
5, o, p
Let y = 387 + -386.7. Sort 1.9, 0.5, y in decreasing order.
1.9, 0.5, y
Suppose 0 = 3*d + 4*w - 107, 2*w + 4 = -2*w. Sort -1, 0, d.
-1, 0, d
Suppose -2*r + 92 = 5*t + 312, 3*t + 4*r = -132. Sort t, 1, -2.
t, -2, 1
Suppose p + 33 = 3*c - 2, 2*c - 22 = 2*p. Suppose 2 + 0 = 3*x - b, -3*b = -4*x + 11. Put x, c, 5 in increasing order.
x, 5, c
Let x(o) = o**2 - 2*o + 2. Let a be x(3). Suppose 0*i + a*i + 3*c - 595 = 0, -3*i - 3*c + 363 = 0. Let b = i + -576/5. Put b, 0, 5 in descending order.
5, b, 0
Suppose -1 = 2*d + 5. Let v = d - -2. Let y be (-5)/(-2) - ((-9)/(-2) + -5). Put -4, v, y in decreasing order.
y, v, -4
Let p = 17.71 - 5.71. Sort -0.5, p, -5, 1 in decreasing order.
p, 1, -0.5, -5
Let b be (-2 - 0) + (11 - 13). Sort b, -1, 17 in decreasing order.
17, -1, b
Let b = -19 - -15. Let t = 43 - 35. Put b, -2/13, t in descending order.
t, -2/13, b
Let w(q) = -2*q + 2. Let b be w(-1). Suppose b*i = -2*r - 0*r + 8, 2*r = -3*i + 4. Let t(d) = d + 5. Let s be t(r). Put -2, 3, s in descending order.
3, s, -2
Let x = -0.053 + -21.947. Let r = x + 21.9. Put 0, -1, r, 0.12 in ascending order.
-1, r, 0, 0.12
Let q = 11 - 7. Suppose -2 = q*b + 10. Sort -4, -2, b in descending order.
-2, b, -4
Let v = -174 - -199. Put 5, -4, v in decreasing order.
v, 5, -4
Let c = 228 - 231. Sort -4, 28, 1, c.
-4, c, 1, 28
Let t be (-6)/10 - (-1962)/(-210). Let g = t - -64/7. Let j = 62/65 + g. Sort 1, 1/5, j in descending order.
1, 1/5, j
Let r = -811.8 + 812. Put -714, -3, r in ascending order.
-714, -3, r
Let h be (-7)/(-14) - (-3)/(-6). Suppose -105 = 5*r - h*r. Sort 1, -2, r.
r, -2, 1
Let c(q) = q**3 - 6*q**2 + 5*q. Let x be c(4). Let j = 0 + 2. Let p(k) = -2*k**2 + 102*k - 102. Let o be p(50). Put o, j, x in ascending order.
x, o, j
Let x(l) = -l + 3. Let m be x(3). Let y = 11 - 9. Suppose 3*o = 4 + y. Sort -2, o, m in increasing order.
-2, m, o
Suppose 0 = 14*j + 31 - 3. Put 21, j, 7 in decreasing order.
21, 7, j
Let v(b) be the third derivative of -b**5/60 - 5*b**4/24 + b**3/3 - 5*b**2. Let u be v(-5). Let i = -0.02 + 1.02. Sort -1, u, i in descending order.
u, i, -1
Let x(k) = -38*k + 613. Let o be x(16). Let b(g) = -g - 6. Let m be b(-5). Sort -4, -5, m, o in descending order.
o, m, -4, -5
Let y = -19 - -4. Let l(n) = -n**2 - 15*n - 2. Let b be l(y). Sort -6, b, 1 in descending order.
1, b, -6
Let y be (-684)/(-162)*9/2. Sort -2, 0.03, y in descending order.
y, 0.03, -2
Suppose o = 3*o + 12. Let u = -1.708 + 1.308. Put o, u, 5 in decreasing order.
5, u, o
Let w = -234 - -234.4. Sort 0, w, -2, -1/8.
-2, -1/8, 0, w
Suppose 51*q = 52*q - 6. Let u = -3 - -1. Sort u, -4, q in ascending order.
-4, u, q
Let k be ((-27)/(-2))/9 - 2. Sort 75, k, -5.
-5, k, 75
Let s = -5 - -4. Let v = 8 + -4. Suppose x + 3*x + d = 20, 3*x + v*d - 15 = 0. Sort s, 1, x in decreasing order.
x, 1, s
Let g be 2/(-5) + (-22)/20. Let i = -0.102 - -0.1. Let m = i + 0.202. Sort 4, m, g in increasing order.
g, m, 4
Let d be 17/4 - (-1)/(-4). Let o be 16/(-6) + 2 - 76/(-6). Suppose -3*k + o = 3*b, 3*k + 8 = 2*b + d*k. Sort b, 8, -3 in descending order.
8, b, -3
Suppose 0 = -444*j + 442*j - 10. Let v = 7 + -6.2. Let y = -0.79 + v. Put -0.3, j, y in decreasing order.
y, -0.3, j
Let t = 22.38 + -0.38. Let v = 19 - t. Put 6, v, 2, 3 in decreasing order.
6, 3, 2, v
Let d = -0.7 - -0.4. Suppose 4*q - 5*q - 26 = 0. Let j be (-3)/(30/q) - 2. Sort 4/7, j, d in increasing order.
d, 4/7, j
Let k = 2.454 - 2.354. Let c = 7 - 52/7. Put -0.16, k, c in decreasing order.
k, -0.16, c
Let v be 72/(-30)*50/(-6). Sort v, 0, 5.
0, 5, v
Suppose -7*q - 24 = -52. Let b be ((-15)/(-80))/(3/2). Put q, -0.5, -2/15, b in decreasing order.
q, b, -2/15, -0.5
Let h be (-2 + 8)/((-52)/(-8) - 8). Put -1/2, 15/7, 