= b - h, -b = -3*c + 13. Put -16, -3, -3/2, b in decreasing order.
b, -3/2, -3, -16
Suppose -16 = 3*q + q. Let m(c) = -13*c - 6*c - 3*c + 25*c + 13. Let l be m(q). Put 3, l, -5 in decreasing order.
3, l, -5
Let w(a) = 267*a - 4788. Let v be w(18). Sort v, 0, 3, 4, 5.
0, 3, 4, 5, v
Suppose 4*i = 5*h + 26, 1 = -h - 1. Suppose -a - 4 = -i*c, -c + 5*a - 25 + 7 = 0. Sort c, -5, -4, 0 in descending order.
c, 0, -4, -5
Let r = 3.81 + -0.81. Let n be (3 - 3)*((-27)/(-18))/3. Put 0.2, -0.4, n, r in decreasing order.
r, 0.2, n, -0.4
Let q = -678.9 + 649. Let u = -1233 + 1262. Let l = u + q. Sort -0.3, 2, l in decreasing order.
2, -0.3, l
Suppose -397*v = -403*v + 6. Put v, 0, 2/13, -17, -3 in decreasing order.
v, 2/13, 0, -3, -17
Suppose 0 = -2*u - 3*u. Let h(o) = -o**3 + 144*o - 1. Let m be h(12). Let l = 7 - 2. Put m, l, u in increasing order.
m, u, l
Let x be 3 + 2005/(-95) + (-4)/(-38). Let f be 255/35 + -7 - (-111)/(-21). Sort 6, f, x in decreasing order.
6, f, x
Let x = 2853 - 2857. Sort 21, 3, -1, 2, x.
x, -1, 2, 3, 21
Suppose -2*f + 2*y - 12 = 0, 3*f + 192 = 5*y + 162. Suppose 5 = -2*m - 3*m + 5*h, -4*m + 5*h = 3. Put f, m, 1, -9 in descending order.
1, f, m, -9
Let s be 18/8 + (-3 - 63/(-28)). Let f = -5.5 + 4.5. Sort s, f, 0.2 in decreasing order.
s, 0.2, f
Let c = 390 + -381. Put 3, 109, c in decreasing order.
109, c, 3
Suppose 10*r - 927 = -2607. Sort 5, -5, -2/3, r in descending order.
5, -2/3, -5, r
Let u be (-16)/(-12)*(27/12)/(3/5). Sort -5, -2, 18, 1, u.
-5, -2, 1, u, 18
Let d = 3402 + -3398. Sort d, -2, -3/8, 0.3, -0.046.
-2, -3/8, -0.046, 0.3, d
Let n be 2/(-5) - (-496)/40. Suppose -3*b = 4*v + 29, -2*b = n - 6. Put v, 4, -9 in increasing order.
-9, v, 4
Let y = 60 + -35. Let v be ((-160)/y - -5) + 1. Let z = 49 - 49.8. Put v, 0.2, z in decreasing order.
0.2, v, z
Suppose 3*t + 0*t - 34 = -43. Put 1, -59, t, -4, -5 in increasing order.
-59, -5, -4, t, 1
Suppose w + 52*z - 49*z = -20, -28 = -w + 3*z. Put 2, w, 447, -2 in decreasing order.
447, w, 2, -2
Let f(h) be the first derivative of h**3/3 - 3*h**2 + 6*h + 26. Let v be f(4). Let y be (v/(-4))/(21/14). Sort 0.1, -2, 0, y in descending order.
y, 0.1, 0, -2
Let a = 99 + -367. Let r = a + 266. Put -1/7, -4, r in descending order.
-1/7, r, -4
Let l = 11/3 - 31/6. Let h = -672.8 - -672.9. Sort l, h, -2/15 in decreasing order.
h, -2/15, l
Let k = 8 - 8. Let m = 4.84069 - 0.04069. Put k, m, -2/13 in descending order.
m, k, -2/13
Let o(d) = -d - 2. Let v be o(-7). Suppose 60 = 33*r + 17*r - 65*r. Put r, v, 10 in ascending order.
r, v, 10
Let j = 0.473 + -0.573. Sort 0.9, j, 2/5, 0.06, 0.2 in decreasing order.
0.9, 2/5, 0.2, 0.06, j
Let x = 58.94 + -59.54. Put -5, 2/3, x, 0 in descending order.
2/3, 0, x, -5
Let q be (-3*(-2)/(-4))/(12/(-224)). Let x = -887 - -888. Put 2, -2, q, x in descending order.
q, 2, x, -2
Suppose 0*c + 8*c - 2880 = 0. Let q be 6/4 - (c/(-64) + 7). Put 5, -1/42, 0.2, q in decreasing order.
5, 0.2, q, -1/42
Let v(n) = -n**3 + 6*n**2 + 27*n - 1 - 70*n + 38*n - 4. Let j be v(5). Let f(b) = -4*b + 42. Let g be f(12). Put g, 5, j in descending order.
5, j, g
Let r = 4928 - 4929. Sort r, -0.19, -3/5, 2/7, 1 in descending order.
1, 2/7, -0.19, -3/5, r
Let u = -14.3 + 14. Let y be 4*(-4)/(-66)*(-69)/92. Put y, u, -2/9, -0.05 in increasing order.
u, -2/9, y, -0.05
Suppose -3*g + 23 = 4*u, -66 = 2*g + 4*u - 88. Put -4, g, 38, -16, -2 in increasing order.
-16, -4, -2, g, 38
Suppose -5*b + 2*j - 13 = 0, -5*b + 74*j - 79*j = 20. Sort 5, b, -1615.
-1615, b, 5
Let b = -290.2 - -290.5. Sort 2/5, 3, b, 0.5, -11/3 in decreasing order.
3, 0.5, 2/5, b, -11/3
Suppose 4*g = 5*m - 140, -6*m + 8*m - 8 = 0. Let x be g/(-20)*(-20)/(-3). Sort x, 0.5, 4, -1 in decreasing order.
x, 4, 0.5, -1
Suppose 5*x - 20 = 5*g, 0 = -2*g - g - 3*x - 18. Let j = 0.35 - 0.39. Sort g, 2/3, -4, j in descending order.
2/3, j, -4, g
Let q(k) = -k**3 + 2*k**2 + 4*k + 1. Let l be q(3). Suppose 280*m + 2700 = 740. Sort 5, l, 0, m.
m, 0, l, 5
Suppose -5*p - 12*a = -7*a + 115, 3*a - 15 = 0. Let d = p + 28. Suppose 0 = 2*x - 0*x + 2. Put 9, 5, d, x in ascending order.
x, d, 5, 9
Let q(v) = 369*v + 1111. Let j be q(-3). Put 29, 49, -5, j in ascending order.
-5, j, 29, 49
Suppose 0 = 5*w + 4*x + 10, -2 + 17 = -3*x. Suppose 729*i + 54 = 747*i. Sort 15, i, -4, w in decreasing order.
15, i, w, -4
Let a = 39683/3 + -39682/3. Let c = 0 + 0.01. Put c, 2, a in descending order.
2, a, c
Let l be (-6)/5*20/(-6). Let j = 185/6 - 30. Let u be 10/15*(0 + 3/4). Sort l, 2, u, j in ascending order.
u, j, 2, l
Let m be 10*(3/5 + (-128)/1280). Let y = -5.8 - -6.53. Put 0.5, m, y, 3 in increasing order.
0.5, y, 3, m
Let c be ((-120)/32 + 6)*(-5)/15. Let k = -45 - -44.8. Sort k, -4, 5, c in descending order.
5, k, c, -4
Let w = -12445 + 12449. Suppose 0 = 3*b + 5*j + 5, 3*j = -3*b - 0*b - 3. Sort w, 0.31, b, -1/6 in descending order.
w, 0.31, b, -1/6
Let x(b) = -b**2 + 14*b + 55. Let g be x(18). Let c(f) = f**3 + 17*f**2 + 2*f + 39. Let s be c(g). Sort s, -3, -19 in decreasing order.
s, -3, -19
Let u = -2474.1 - -2954.1. Sort -2/5, -2/3, -3, u, 1.
-3, -2/3, -2/5, 1, u
Let s(j) = -8*j**2 - 55*j + 7. Suppose -4*m + y = 33, 3*m = -3*y + 7 - 13. Let o be s(m). Sort o, -1, -66 in decreasing order.
o, -1, -66
Suppose 334 = 153*z + 14*z. Sort 5/2, 4, z, 3, -7/4 in decreasing order.
4, 3, 5/2, z, -7/4
Suppose -2*q + 5*q - 75 = -9*i, -q = -i + 7. Suppose 12 = 2*r + 5*n, -3*n = -5*r + 3*r + 12. Let g be 0*(20/r + -3). Sort g, 4, i in decreasing order.
i, 4, g
Let c = -234 - -224. Let t be 3 + 84/c - 20/(-50). Put 10, t, 4 in ascending order.
t, 4, 10
Let m = -289 + 291. Let f(t) = t**3 + 7*t**2 - 7*t + 8. Let z be f(-8). Suppose h = u + 4*h - 8, 2*h + 3 = u. Sort u, z, m in descending order.
u, m, z
Let z be (-170)/119 + (-12)/(-28). Let r = 0.2 + 1.7. Sort z, -3/8, r in descending order.
r, -3/8, z
Let i(m) = -6*m**2 + 153*m - 12. Let a be i(24). Let g = -208 + a. Sort 3, g, 5, -3.
g, -3, 3, 5
Let z(w) = w**3 - 82*w**2 - 73*w - 826. Let n be z(83). Sort n, -0.4, 39, 3 in decreasing order.
39, n, 3, -0.4
Let u = -1729.9 + 1730. Put u, -0.3, -0.2, 38 in descending order.
38, u, -0.2, -0.3
Let y be (-17 + 15)*(-2 + 78/(-4)). Suppose -y + 43 = 6*o. Sort 5, -12, -7, o.
-12, -7, o, 5
Let j = -1.3 - -0.3. Let u(v) = v**2 - v. Let n(i) = 5*i**2 - 4*i - 15. Let s(z) = n(z) - 4*u(z). Let o be s(4). Put 2, j, o, 1/2 in ascending order.
j, 1/2, o, 2
Suppose -13*a = -12*a - 4. Suppose -4*t - x = -5*t + 9, -4*x = a*t - 60. Suppose -i + 7*i = t. Put -5, i, -4, -1 in descending order.
i, -1, -4, -5
Let x = -148.3 - -143. Let y = x + 5.5. Put -1/2, -4, y, -5/2 in descending order.
y, -1/2, -5/2, -4
Suppose -m + 3*u - 6 = 0, -29*m = -31*m - 5*u - 1. Sort -2, 18, -7, 1, m in decreasing order.
18, 1, -2, m, -7
Let q = -37 - -39. Suppose 56*z = 27*z + 29. Sort q, z, 14.
z, q, 14
Let a = 2899 + -69575/24. Put 0, 1/10, a, 1 in decreasing order.
1, 1/10, a, 0
Suppose 64*l + 985 = 5657. Put l, -3, -2, 2 in increasing order.
-3, -2, 2, l
Let s = -1/5984 - 462263/5984. Let f = s - -76. Let p = -14 - -10. Sort p, 3, f, -1/4.
p, f, -1/4, 3
Let v be 14/35 - (606/15 + 13). Let m be 51/9 + 4/(-6). Put 3, v, m in increasing order.
v, 3, m
Suppose 0 = 151*y - 147*y - 8. Suppose 5*h + y - 2 = 0. Sort 22, 1, h, 5.
h, 1, 5, 22
Let d be (-2 - 6) + (-15 - -18). Let p = -40 + 98. Sort d, p, -1 in decreasing order.
p, -1, d
Let c = -460 - -459.826. Let f = c - -0.114. Sort 1, f, 1/4 in ascending order.
f, 1/4, 1
Suppose 4*m + 26 = 3*b + 9, m - 3*b + 2 = 0. Suppose u = 6*o - 7*o + 12, 0 = 5*o + 4*u - 64. Put o, -4, 3, m in decreasing order.
o, 3, -4, m
Let o(r) = r**2 + 58*r - 526. Let w be o(8). Suppose 5*f = 3*f - 2. Sort f, w, 0, 32 in descending order.
32, w, 0, f
Let b = -0.4265 - 1.5735. Put 0.69, -3, -4, b in descending order.
0.69, b, -3, -4
Let s(q) = -q**3 - 4*q**2 + 6*q + 1. Let t be s(-5). Let v = 0 - -5. Suppose 0 = 21*y - 2*u + 22, y = -4*u - 98 + 56. Sort t, v, 2, y in descending order.
v, 2, y, t
Let a = -0.419 - 17.281. Let m = -17.5 - a. Sort -5, 8/5, 0, m.
-5, 0, m, 8/5
Suppose 0*u + 5 = 2*u + 3*f, 0 = -3*u - 3*f + 3. Let r be (-1)/(4/(4 - -16) - 0). Sort 38, u, r.
r, u, 38
Let c = -0.04247 - -4.04247. Sort c, -3, 5, 3/4, 0.1 in decreasing order.
5, c, 3/4, 0.1, -3
S