Let p = 58 + d. Let w = 18 - p. Sort 3, w, 4 in decreasing order.
4, 3, w
Suppose 4*d - 44 = -4*m, -3*m = d + 10 - 39. Let x be (-2)/(-1)*6/4. Sort d, x, -4, 0.
-4, 0, d, x
Let o = -8 + 3. Let u be o*(0 + (-56)/20). Suppose -4*y - u = -0*m - m, 0 = m + 2. Sort 5, y, -1 in ascending order.
y, -1, 5
Suppose -4*w = -j - 1407, -w + 3*w - 681 = 5*j. Let c = -357 + w. Sort 0, 14, 4, c in descending order.
14, 4, 0, c
Suppose 5*c - 20 = -k, 3*k = -5*c + 6*k. Let u be (c - 2)/(4/104). Sort u, 0.4, -0.5 in increasing order.
-0.5, 0.4, u
Let j be (-45)/6*-18*90/25. Let m be 36/j*(-3 + 0). Let z = -21 - -43/2. Sort 0.3, m, z in descending order.
z, 0.3, m
Let m be 1 + -8*6/(-12). Suppose b + g + 9 = 2*g, -b = -m*g + 25. Put b, 11, 9 in increasing order.
b, 9, 11
Let s = 3360 + -3362. Suppose 4*h = -2*o + 42, 0*h = 4*h + 4*o - 44. Sort h, 4, 2, s in decreasing order.
h, 4, 2, s
Let c = 123.872 - 0.472. Let l = c - 123. Sort -0.1, l, -3/38, -1.
-1, -0.1, -3/38, l
Suppose 103*y - 26*y = -39*y - 464. Put y, 532/9, 2 in descending order.
532/9, 2, y
Let p(m) = 2. Let f(w) = -40*w + 136. Let x(o) = -f(o) - 5*p(o). Let j be x(-4). Sort j, -4, -5 in ascending order.
j, -5, -4
Let r be -5*2*(-93)/90 + -5. Let y = -0.042 + 5.042. Sort y, r, -2.
-2, y, r
Suppose 3*p + 5 = 2*p. Let c = -96.84 + 100. Let b = c + -0.16. Sort p, -1/3, b.
p, -1/3, b
Let u = 2208 - 2203. Let j = -21 + 16. Sort -8, u, j.
-8, j, u
Let s = -1.55 - 100.45. Put 0.4, s, -2 in decreasing order.
0.4, -2, s
Suppose 2*z + 7*z = -18. Let s(v) = v**2 + v + 2. Let w be s(z). Suppose d - 20 = -w*d - 4*l, 0 = 5*l. Sort 2, d, 0.
0, 2, d
Let t = -2.2245 - -1.8245. Let g = 0.2 - 0.2. Let f = 6.3 + -6. Sort g, f, t, 0.5 in descending order.
0.5, f, g, t
Let a = 492.03 - 492. Sort -10, 5, a in decreasing order.
5, a, -10
Let u(h) be the first derivative of h**4/4 + 3*h**3 - 6*h**2 - 19*h + 20. Let d be u(-10). Let b be (-1)/d*(-1)/(1 + -2). Put 2, b, -3 in increasing order.
-3, b, 2
Suppose 106 - 131 = 5*s. Suppose 3 + 9 = -x. Let k be (1 - s/15)*(-3)/x. Sort -0.1, -2/11, 0, k in ascending order.
-2/11, -0.1, 0, k
Let t(p) = p**3 - 4*p**2 + p. Let g be t(3). Let z be (g/2)/((-3)/5). Suppose z*y + o - 23 = 0, -2*y - o + 19 = 2*y. Sort -5, y, -2.
-5, -2, y
Let i = -0.9251 - 0.0749. Put -4, i, 0.298 in descending order.
0.298, i, -4
Suppose 3*a - t = -4 + 21, 9 = a - t. Suppose 3*b + a = -4*w, 3*w + b - 6*b + 3 = 0. Sort w, 0, 0.3.
w, 0, 0.3
Let s = 1313.89 - 1313. Sort -0.4, -2, s in ascending order.
-2, -0.4, s
Let h = 2240 - 2283. Put -20, 4, h, -5 in decreasing order.
4, -5, -20, h
Suppose 0*q - 4*b - 8 = 3*q, 3*q - 22 = 2*b. Suppose -j + 5*l = -2, -5*j + 2*l + q = -3*j. Let t be (-38)/(-19)*j/4. Put 5, -1/2, t in decreasing order.
5, t, -1/2
Let g(o) = o**2 - 7*o. Let u be g(7). Suppose u = l + 4, -2*a + 22 = -l - 4*l. Let c be 6/15 - (-36)/(-15). Sort a, 2, c in decreasing order.
2, a, c
Let j(z) = -z**2 - z - 5. Let x be j(-7). Suppose 6*a - 2*y = 3*a - 138, y = -a - 46. Let w = x - a. Put 5, 8, w in decreasing order.
8, 5, w
Suppose -3*r - 6 = -4*r. Let b = 11 - r. Suppose 3 = b*w + 4*u + 4, -w - 4*u - 13 = 0. Put -4, w, 7 in decreasing order.
7, w, -4
Suppose -5*v - 6 + 21 = 0. Suppose 4*c = -5*r - 10 - 9, v*r = 4*c - 5. Suppose -47*t = -5*p - 52*t + 15, -21 = -3*p - 5*t. Put c, 1, p, -2 in decreasing order.
1, c, -2, p
Let x be (-3)/6 + (-3)/6 + 71. Let s = x + -73. Sort -5, 0, s in descending order.
0, s, -5
Let g be (1/(-6))/(((-390)/26)/120). Sort -3/8, -0.2, 0, 265, g.
-3/8, -0.2, 0, g, 265
Let p be (2 - 104/2)/(-2). Suppose -p*q = -23*q. Suppose q = -3*h + 4*h. Sort -5, h, 1 in descending order.
1, h, -5
Suppose -5*l - 32 = -2. Let x be (-291 - 7) + -1 + 1 + -2. Let w = -304 - x. Sort l, w, -5 in descending order.
w, -5, l
Let p = -134 - -131.65. Let j = -2.75 - p. Sort 2, 8/7, j in ascending order.
j, 8/7, 2
Let p(m) = -2*m**3 - 2*m**2 - m. Let h be p(-1). Let i be (-36)/(-20)*(125/(-40))/5. Let o = h + i. Sort 1, 0.5, -1, o.
-1, o, 0.5, 1
Let h = 41.68 - 36.68. Sort 557, -0.5, h, 3 in descending order.
557, h, 3, -0.5
Suppose -4*q - d = 10, -q + 1346*d - 6 = 1348*d. Sort -0.02, -3, q, 1 in decreasing order.
1, -0.02, q, -3
Let r = -168.54 + 0.54. Let w = r - -163. Suppose 6*b - 2*b = -8. Put 4, w, b in increasing order.
w, b, 4
Let j(d) = 16*d**2 - 1631*d - 3277. Let o be j(104). Suppose 0 = -5*g + 2*s - 1, -3*g + 0*g - 4*s = 11. Sort g, o, -5 in ascending order.
-5, g, o
Suppose -654*b + 823*b = -1859. Let x = -11 - -11. Sort b, 5, x, 3/2 in ascending order.
b, x, 3/2, 5
Let z = -13 - -8. Suppose -12*n + 53 + 79 = 0. Suppose -n*h - 2 = -9*h. Put 0, h, 1, z in ascending order.
z, h, 0, 1
Suppose 225 = -6*q + 213. Let x be (-3 - (-189)/(-18))/(q/(-4)). Sort 3, x, -1, 4 in increasing order.
x, -1, 3, 4
Let t be (-6)/(-8) + (-15)/4. Let m be (-98)/(-441) - 83/9. Sort -5, t, m, -1 in decreasing order.
-1, t, -5, m
Let c = 7822 - 7825. Sort c, -2, 29.
c, -2, 29
Let c = -4057/8 + 507. Let f = 0.11 + -5.11. Sort f, c, -8/11 in descending order.
c, -8/11, f
Suppose a + 5*v = 4 + 12, 0 = -3*a + 2*v - 3. Let w be (13 + -6 - 7)/(0 - 2). Put a, w, 8 in increasing order.
w, a, 8
Suppose -36*n + 3*n = 264. Sort n, 4, -20, -4.
-20, n, -4, 4
Let i = -140.01 + 157.01. Put -1/3, -21, i, 8/3 in decreasing order.
i, 8/3, -1/3, -21
Suppose 0 = -2*a + 45 - 17. Suppose -3*m = 3*t + 12, 3*m - 8*m + t = a. Suppose 0 = 5*n - 8*n + 6. Sort n, m, 3, -1.
m, -1, n, 3
Let p = 784 + -781. Sort -5, -2, p, -42 in descending order.
p, -2, -5, -42
Let b = -1293 + 1288. Let n = -4 - -1. Sort b, -4, n in descending order.
n, -4, b
Let l be 4 - (-3 - (-2 + 0)). Suppose 7*s - l*s = -4. Suppose 45 = -5*h - 4*h. Put h, 2, s in ascending order.
h, s, 2
Let s be (-10)/4*(-408)/(-30). Let l be 51/s*(-8)/3. Put 3, 0.04, -0.1, l in descending order.
l, 3, 0.04, -0.1
Suppose 0 = y - 5*v - 12, v + 4*v + 10 = 0. Let m be 253/132 + y/8. Let k = 5/6 - m. Put -1/8, -1/2, 0.04, k in descending order.
0.04, -1/8, -1/2, k
Let q = -3611 + 3609. Sort 4, -10, q, -1 in decreasing order.
4, -1, q, -10
Suppose -3*i = y - 2*i - 5, 4*i - 2 = 5*y. Sort -27, 6, -3, 0, y in descending order.
6, y, 0, -3, -27
Let q be (-403)/(-155) - (-60)/25. Sort -2, q, 7, -1, 3 in ascending order.
-2, -1, 3, q, 7
Let d be 90/(-162)*3/(-5). Let l = 2.3 - 2.1. Sort d, -51/5, -2, l in descending order.
d, l, -2, -51/5
Let b = -1635.6 - -1643. Put b, -0.1, 2/3 in descending order.
b, 2/3, -0.1
Suppose -2*v = 4*l - 30, 2*l = -131*v + 132*v + 5. Suppose -93 = o - 4*o - 3*n, 2*o - 50 = 4*n. Put 2, o, v in descending order.
o, v, 2
Suppose 0 = 17*t - 3560 + 92. Let z = 1633/8 - t. Sort 2/9, -0.5, 4, z in descending order.
4, 2/9, z, -0.5
Let p(w) = -w**3 + 181*w**2 + 367*w - 2. Let f be p(-2). Suppose -z + 2*z + 9 = -4*v, 2*z + 3 = -3*v. Put -19, 4, v, f in decreasing order.
4, v, f, -19
Let q = 380 - 326. Suppose 68 = 7*x + q. Sort x, 5, 201 in descending order.
201, 5, x
Let x(z) = 560*z + 16804. Let a be x(-30). Let h = 274 + -185. Sort h, -1, -2, a in descending order.
h, a, -1, -2
Let j = 209 - 204. Suppose -2*r - 11 = 3*o, j*r - o = -2*o - 34. Put 5, r, 1 in decreasing order.
5, 1, r
Let l = 0.7752 + -0.3752. Let h(d) = -d**2 - 7*d - 8. Let p be h(-4). Sort l, -0.1, p, -129 in ascending order.
-129, -0.1, l, p
Suppose -42 + 2 = -8*l. Suppose 4*t = -3*z - 0*t + 107, l*z - 159 = 3*t. Sort -1/4, z, -2/13, -2/17 in decreasing order.
z, -2/17, -2/13, -1/4
Let w(c) = c**3 - c**2 - 5*c - 1. Let f be w(-2). Let a = -8 - -11. Suppose -9*d = -11*d + 2, -14 = 4*b + 2*d. Put f, b, a, 0 in descending order.
a, 0, f, b
Let g = -6142 + 6141.87. Put 7, -3, g, -6 in ascending order.
-6, -3, g, 7
Let h = 4158 - 4163. Sort h, 0, -4, 30, -3 in increasing order.
h, -4, -3, 0, 30
Suppose -4*c = -2*d - 20, -4 = 8*d - 7*d. Let g be (-6)/27 - (-137)/9. Let n = 11 - g. Put -5, c, n, -2 in ascending order.
-5, n, -2, c
Let j(f) = f**3 + 48*f**2 - 48*f - 67. Let a be j(-49). Put 1, -4, 5, a, 0 in descending order.
5, 1, 0, -4, a
Suppose 32*d = 26*d + 71*d + 325. Put -4, -289, -1, d in descending order.
-1, -4, d, -289
Suppose -u - 10 = 2*p, 4 = 2*u - 2*p - 0. Suppose z + 61 = -15*t, -1073 = 2*z - 3*t - 1083. Put -50, u, z in descending order.
z, u, -50
Suppose 16 = -4*d + 5*m, -5*d + 3 - 23 = -m. S