 = -176 + b. Put -1, m, -2, 5 in decreasing order.
5, m, -1, -2
Let u = 1222.1 + -1222. Sort -0.3, 0.2, u, -0.4 in increasing order.
-0.4, -0.3, u, 0.2
Let w be -42*(4 - (5 + -6)). Let j be (0 + -1)*(-28)/w. Sort j, 5/2, -3/10 in ascending order.
-3/10, j, 5/2
Let p(m) = -m**3 - 16*m**2 - 31*m - 31. Let o be p(-14). Suppose -r + 5*d = -o, -3 - 3 = 2*d. Put -25, r, -2 in descending order.
-2, r, -25
Let i be -18 - 20/(-11740) - -18. Sort i, -0.5, -4/11.
-0.5, -4/11, i
Let b be 14/6 - (2 + -1). Let v = 714 - 713.8994. Let a = v - -0.0994. Put a, -1/8, -3, b in increasing order.
-3, -1/8, a, b
Suppose -4*l - 20 = k, 0 = -2*l - 10. Suppose -3*d + 54 = 6*d. Sort -5, k, 2, d in ascending order.
-5, k, 2, d
Let i = 24471 - 24471. Suppose 25 = 8*o - 3*o. Sort -15, -2, o, i in decreasing order.
o, i, -2, -15
Let p = -246.686 + 247. Let m = 0.014 - p. Let n = 4.05 - 0.05. Put -1/2, m, -0.07, n in descending order.
n, -0.07, m, -1/2
Let s(u) = 4 + 43 - 30 + 5*u + 88 - 2*u. Let x be s(-34). Sort -5, 4, x.
-5, x, 4
Suppose 1581 = 405*k + 366. Let g(t) = t**3 - 2*t**2 + 1. Let r be g(1). Let o be -1 - (r - (-1 + 0)). Put o, k, -6 in descending order.
k, o, -6
Let g(o) = -43*o + 484. Let l be g(12). Sort 4, l, 11 in decreasing order.
11, 4, l
Let d be ((-1)/1 - 0) + 11. Let q = -15 + 18. Suppose -12 = -3*n + 2*g, -2*n - 3*g - 457 + 465 = 0. Put d, q, n in ascending order.
q, n, d
Suppose 0 = -2*t + 11 - 1. Suppose t*b = -9*b - 42. Let f be -2 + (-3)/(-12)*4. Sort b, 5, f, -5 in descending order.
5, f, b, -5
Let l(v) = 3*v**2 + v + 2. Let u be l(2). Suppose -s - u = s + 4*g, -3*s + 4 = -g. Let i = 6674 + -6676. Put i, s, 1, -12 in decreasing order.
1, s, i, -12
Suppose 3*r = -b + 8, 12 = -13*r + 18*r + 2*b. Let m(z) = -2*z + 4*z**3 - 2*z**3 + 6*z**2 - z**3 - 7. Let t be m(-6). Put t, r, 3 in descending order.
t, r, 3
Suppose -3438*c + 3427*c = -33. Sort -1/2, c, 4, 5, 22 in ascending order.
-1/2, c, 4, 5, 22
Let l be -1*(3 - 2/1). Let h be 2/(-8) + (3 - 87/(-12)). Suppose -h*j = 6*j + 80. Sort j, 2, l in descending order.
2, l, j
Let c = -1025.4 - -1048. Let t = 22.6 - c. Let f be (-2)/5 + (-6)/(-40). Sort 5, -3, t, f in ascending order.
-3, f, t, 5
Let d = 446484 - 238868609/535. Let b = d + -2/107. Sort 0, 4, b.
0, b, 4
Let f(u) = u + 1. Let x be f(-1). Let z be -1*(-5 + 13) - -7. Sort z, x, -4, -8 in decreasing order.
x, z, -4, -8
Let f = -24 - 35. Let c = f - -59.4. Let y be 0/2 + -16*(-1)/2. Put 0.3, y, c in increasing order.
0.3, c, y
Let n be (-18)/12*(1 + 2/(-3)). Let a = 2465 - 2466.57. Sort 4, a, n in ascending order.
a, n, 4
Let o = 1389001/72 - 19292. Let u = 12413/24 + -517. Let k = u + o. Put 3, k, 0.1 in increasing order.
k, 0.1, 3
Let q = 10 - 6. Let s = q + -5. Let l = -0.02401 + -0.17599. Sort 4, s, l.
s, l, 4
Let o = 4389 - 4389.4. Put o, -158, 1, 0.2 in ascending order.
-158, o, 0.2, 1
Let m = 0.368 + -3.368. Let a = -0.239 + -0.161. Sort -2, 0.3, a, m.
m, -2, a, 0.3
Suppose 5*w + 6*f = f - 65, -w - 4*f + 14 = 0. Sort -5/12, 0, w in decreasing order.
0, -5/12, w
Let l = 2152/1155 - 1/165. Let f = l + -58/35. Let p = -4 - -4.3. Sort -0.2, f, -2, p in decreasing order.
p, f, -0.2, -2
Suppose 7 = -4*b + 3*n, 70*b - n = 73*b + 15. Sort -3, 10, 5, b in descending order.
10, 5, -3, b
Suppose 27*h + 8*h = 5*h - 540. Sort -1, h, -3, 2 in decreasing order.
2, -1, -3, h
Suppose g = 1, -2*t + 7*t = -3*g - 22. Suppose 0 = -4*z + 6*c - 5*c + 11, 2*z = -3*c + 9. Sort t, z, 4, 18 in descending order.
18, 4, z, t
Suppose -5*a - 472 = -w, -2*a + 4*w + 86 = -3*a. Suppose -2*o - 90 + 274 = 0. Let b = a + o. Sort b, -1, -9 in decreasing order.
-1, b, -9
Suppose 2*t + 2*t = 4*l - 4, 5*l + 7 = t. Let d = -35 - -25. Let p = d - -10.1. Sort p, t, 1/9 in descending order.
1/9, p, t
Suppose 6*w - w + 5 = 0. Suppose q + 2*o = -0*q + 3, -2*q = 2*o - 8. Let d = -204 - -195. Put q, d, 2, w in decreasing order.
q, 2, w, d
Let d(u) = 4*u**3 + 22*u**2 - 10*u + 3. Let f be d(-6). Suppose h + h - 8 = 0. Put f, h, -1, -2 in decreasing order.
h, -1, -2, f
Let r be (30/(-20) + 18/(-12))*2/(-15). Let v = 0.01 - -3.99. Sort 0.1, v, 0.2, r.
0.1, 0.2, r, v
Suppose -h = -4*s - 33, s - 60 = -4*h - h. Let l = h + -11. Suppose 139*v = 186*v. Sort v, 1, 4, l.
v, 1, l, 4
Let c be ((-55)/(-2))/11 + (-13)/2. Sort 3, c, 9, -3, -7 in descending order.
9, 3, -3, c, -7
Suppose 10*t - 2*v - 7 = 13*t, -v = 8. Let p be 14/2*(-36)/(-14). Put t, -4, 5, p in increasing order.
-4, t, 5, p
Let s be 16*((-1)/(-4) + 1). Let c = s + -17. Let i be 6 - c*1/1. Put 5, i, 0 in increasing order.
0, i, 5
Let a(i) = 520*i - 3649. Let w be a(7). Put 0.3, 0.27, -2/7, w, -3 in descending order.
0.3, 0.27, -2/7, -3, w
Suppose 1 = -2*j + k + 3, -4 = -4*j - 5*k. Let z be j*-6 - (-24)/8. Suppose -l = l. Put z, 5, 1, l in descending order.
5, 1, l, z
Let n = -5731 - -5730. Let q = 48 - 43.8. Let o = 0.8 + q. Sort n, -0.4, o in decreasing order.
o, -0.4, n
Suppose 3*v - 10 = v. Suppose 143*j = 146*j + 7*r + 58, 3*j + 108 = 3*r. Put 2, 1, j, v in increasing order.
j, 1, 2, v
Suppose 2*z = -2*o + 95 + 551, 0 = z + 2*o - 325. Let q = -318 + z. Sort -83, -5, q in descending order.
q, -5, -83
Let i(m) be the first derivative of m**4/4 - 19*m**3/3 - 3*m**2/2 + 41*m + 363. Let l be i(19). Suppose -5*k - 8 = -2*r, 3*k + 2*k + r = -11. Sort -5, l, k.
l, -5, k
Let f(x) = 5*x + 211. Let j be f(-45). Put j, 1, -2, 9 in ascending order.
j, -2, 1, 9
Let t = 345.4 - 345. Let r = 30 - 28. Sort t, 1/10, r.
1/10, t, r
Let y = 9678.9 + -9679. Put 2/47, y, -1, 2/41, 5 in increasing order.
-1, y, 2/47, 2/41, 5
Let k be (-47)/55 - (-2)/5. Let o = 43.909 - 48.909. Put k, o, 0 in ascending order.
o, k, 0
Suppose -5*a - 4368 + 4108 = 0. Sort 2, a, 80 in ascending order.
a, 2, 80
Let r = -0.02 + 0.32. Let c = 2231 + -2231.5. Put -2, r, c, 3/5 in decreasing order.
3/5, r, c, -2
Let z be (25/15)/((-35)/(-84)). Suppose s + 4 = z*r, 5*s + 3*r + 1 = 4. Let y = 3.6 + -0.6. Sort 2, -0.5, y, s in decreasing order.
y, 2, s, -0.5
Let l = -27.155 + 0.155. Let y(m) = 3*m + 31. Let g be y(-11). Sort g, 5, l.
l, g, 5
Suppose -3*v - 2*v = -110. Suppose -7*s - v = 4*s. Let q be 1*-3 + 18/(-9). Put q, -4, -1, s in decreasing order.
-1, s, -4, q
Let c be (5 - (-55)/(-15)) + 2/3. Suppose -3*n + c*w - 2 = 0, 5*n + 7 = 2*w + 1. Sort 9, n, -3.
-3, n, 9
Let l be ((-32)/20)/((-2)/15). Let w be 3/l + (-62)/(-8). Suppose -w*r = -13*r + 20. Put r, 1, 5 in ascending order.
1, r, 5
Let x be (-3)/((-3)/2) + -1. Let q = 28673 + -28675. Sort 17, q, -3, x in increasing order.
-3, q, x, 17
Suppose -m - m = 0. Let x = m + -8. Let d be 4/24 + (-4)/24. Put 3, d, x in decreasing order.
3, d, x
Let p be (-649)/44 + 15 - ((-62)/8 + 2). Sort p, -2, 258 in ascending order.
-2, p, 258
Let g = 7 + -9. Suppose 0 = r - 3*r + 12. Suppose 0 = 44*a + 154 - 242. Put a, 3, g, r in ascending order.
g, a, 3, r
Let c = 92 + -386. Let v = 294.1 + c. Put 8, v, 10 in decreasing order.
10, 8, v
Suppose -3*i = -29*i + 26. Let z = -162 + 165. Put i, -6, 4, z in increasing order.
-6, i, z, 4
Suppose 10*w - 78 = 2*w - 18*w. Put -0.5, 1, -0.16, w, -4/5 in decreasing order.
w, 1, -0.16, -0.5, -4/5
Suppose -24 = 3*o + 3. Suppose 666*y + 909*y + 448 + 3372 = -2480. Suppose -8 = 5*m - 2*h, -4 = m + 3*m - 4*h. Sort m, y, o, -3 in increasing order.
o, y, -3, m
Let l = -0.1167 + 0.0777. Let p = 3.4 + -1.4. Sort p, l, -5 in descending order.
p, l, -5
Let p = 3711 + -4225. Sort 0, p, -4 in increasing order.
p, -4, 0
Let d(f) = f**2 + 9*f + 10. Let u be d(-8). Let a(j) = 11*j - 66. Let i be a(6). Sort 1, 13, u, i in increasing order.
i, 1, u, 13
Suppose 46 = -15*b - 29. Let z(m) = -m**2 - 12*m - 42. Let a be z(-5). Put b, -4, a, 5 in descending order.
5, -4, b, a
Let x(t) = 5*t**3 + t - 1. Suppose 2*l + 5*l = l. Let s be (-3 - (l - 3)) + 1. Let w be x(s). Sort -12, -5, w, -2 in decreasing order.
w, -2, -5, -12
Let h be (1 - 14/(-18))*(-84)/(-224). Put h, 2/7, 1355 in decreasing order.
1355, h, 2/7
Suppose 82*l + 971 = 151. Sort 2, 1, l, 10 in increasing order.
l, 1, 2, 10
Let f be (-4)/26 + (-3435)/(-2977). Sort 23, 0, f in ascending order.
0, f, 23
Suppose 5*y = -0 - 5. Let u be (1 - 0)/(-3) + 40/(-24). Let c be 3/9 - u/3. Sort y, c, 5 in decreasing order.
5, c, y
Let f = -180 - -177. Let b be f - 2 - 34/(-6). 