*h + 374 = 0. Suppose 7*w + 5*x = 5*w + h, -2*x - 20 = -2*w. Suppose 0*m - 2*s = m + w, 0 = -m + 3*s + 13. Sort -5, 2, m in increasing order.
-5, m, 2
Let j = -0.3 - -0.4. Let q = -1.755 - -0.275. Let t = 1.68 + q. Sort -3, j, t.
-3, j, t
Suppose 0 = 4*i - 5*h + 9, -4*i + 2*h + 56 = 62. Sort -1/9, i, -30, 8, -5.
-30, -5, i, -1/9, 8
Let r be 8/18*6/(-4)*3. Suppose 7 - 5 = 2*i. Put 4, i, r, 3 in decreasing order.
4, 3, i, r
Let m = -3.656 + 7.656. Sort -6, m, -9, 5, 1 in ascending order.
-9, -6, 1, m, 5
Suppose -3*d + 132 = u + 147, -3*d - 15 = 2*u. Sort 1, u, -5, 3, 73 in decreasing order.
73, 3, 1, u, -5
Let u be (-1)/(3 - (6 + -4)). Let l = -746 + 749. Sort 1, l, u, 2.
u, 1, 2, l
Suppose -5*v = -3*v. Suppose -a - 8 = -2*u, 0*u - 5*u = v. Suppose -46 = 30*i + 1 + 13. Sort a, -3, i in decreasing order.
i, -3, a
Let l be ((-48)/(-15))/(30/(-55) + 1560/1650). Let m(z) = -z. Let g be m(3). Put g, l, 1, -2 in ascending order.
g, -2, 1, l
Let i = 1.06333 - 0.16333. Put 1, -5, 5, i, 1.6 in increasing order.
-5, i, 1, 1.6, 5
Let w be -1 - -3 - (-27 + -21 - -50). Suppose 4*j + 3 = j. Sort -2, w, j.
-2, j, w
Suppose -9*y + 17*y + 447 = 157*y. Put y, -11, -9, -5 in increasing order.
-11, -9, -5, y
Let p be -6 + -4 + 6 - (-70)/25. Put 51, -1, 4, p in descending order.
51, 4, -1, p
Let j(s) = -35*s**2 - 2835*s + 5. Let t be j(-81). Put t, -27, 0.4 in descending order.
t, 0.4, -27
Suppose 22*b - 40*b = 2*b - 280. Suppose 6 = 9*i - 11*i. Sort -1, i, b in increasing order.
i, -1, b
Suppose 0 = -2*a + 5 - 11. Let z be -1*(3 - 3)/(a + 2). Put z, -2, 6 in ascending order.
-2, z, 6
Let d = 147 + -149. Let q = 195 + -242. Sort 5, d, 2, q.
q, d, 2, 5
Let v = 19 - 14. Let x(d) = -d**2 - 11*d - 8. Let k be x(-10). Sort k, v, -3, 1 in increasing order.
-3, 1, k, v
Let h be 2035/(-3108) - 4/(-48). Let f = -3.2 + 0.2. Let p(l) = l**2 - l + 5. Let u be p(0). Put -0.4, h, u, f in descending order.
u, -0.4, h, f
Let j be (-1)/(-3) - 32/(-3). Let r(k) = 35563*k + 391197. Let l be r(-11). Sort 7, j, l in ascending order.
l, 7, j
Let z be ((-2)/(-3))/((-64)/(-36) - 2). Suppose -10 = -2*l, -7*l + 12*l - 25 = -5*g. Sort 17, 5, z, g.
z, g, 5, 17
Let t = 2140 + -2137. Sort t, -8, -28 in descending order.
t, -8, -28
Let j = 125 - 997/8. Let q = 7.9 + -8.1. Let f = -0.124 - 3.876. Sort q, f, j, -9 in decreasing order.
j, q, f, -9
Let v = -1 + 4. Let b = 1 - v. Let a = -2.9417 - -4.9417. Sort 0.4, b, a in decreasing order.
a, 0.4, b
Let g(p) = 2*p - 1. Let n be g(1). Let z = -1442 - -1446. Suppose -108 + 132 = z*x. Sort x, -6, n in decreasing order.
x, n, -6
Let v = 1402 - 1402.3. Suppose 16 - 44 = -2*d. Sort 2/19, d, v, -1/6 in descending order.
d, 2/19, -1/6, v
Suppose 140 = d + 137, -76 = -5*k - 2*d. Sort k, 8, -4, 4 in ascending order.
-4, 4, 8, k
Let y = -0.0268589 - 3.9731411. Let c = -4.1 - 0.9. Sort 3, -2/7, y, c in descending order.
3, -2/7, y, c
Let i(v) = -v**3 - 12*v**2 + 2. Let x be i(-12). Let l be (120/36)/(4/(-6)). Let j = -6 + 3. Put l, j, -4, x in decreasing order.
x, j, -4, l
Suppose -236*g + 35 = -233*g - 5*d, -3*d + 8 = 4*g. Sort g, -443, 0 in ascending order.
-443, 0, g
Let f = 119 + -107. Suppose f*l = 73 + 875. Suppose 5 = -s - l. Put -2, s, 2 in ascending order.
s, -2, 2
Let v(b) = 6*b + 8. Let m = 3 + 3. Let o be (m/(-4))/((-2)/((-24)/9)). Let t be v(o). Sort 4, -1, t in ascending order.
t, -1, 4
Let z(a) = 2*a**3 + 13*a**2 + 3*a - 23. Let l be z(-6). Suppose 0 = 2*y + y, 5*o + y = 40. Sort 4, o, l in descending order.
o, 4, l
Let u = 3283 - 3279. Sort u, 40, -0.18 in increasing order.
-0.18, u, 40
Suppose 12*v - v + v = 60. Put v, 225, -2, 2 in descending order.
225, v, 2, -2
Let z be -82 - (-1 - (-1 + -1)). Suppose -43 - 510 = 7*l. Let j = z - l. Put j, -5, -3, 12 in descending order.
12, -3, j, -5
Let s(y) = 2*y. Let q be s(9). Suppose -z + 4 = 0, -3*p + 37*z + 925 = 32*z. Let n = 319 - p. Sort n, 3, q in ascending order.
3, n, q
Let g = 12962 + -12930. Let a be 2/9 - (-2)/(-9). Sort g, a, 1 in descending order.
g, 1, a
Suppose l = 4*z - 13 - 7, 4*z - 20 = 4*l. Let d(j) = j**3 + 12*j**2 + 35*j + 3. Let o be d(-7). Sort z, -5, 87, o.
-5, o, z, 87
Let a = 32/143 + -894/2717. Sort -133, a, 1/2 in decreasing order.
1/2, a, -133
Suppose -37*g + 18*g = -57. Let j = 6 + -2. Suppose -r + 12 + j = 0. Sort -2, r, g in descending order.
r, g, -2
Let c = 155 - 151. Suppose 3*m - c = 2*l, -2*m = 3*m - 5*l - 5. Let x = -5 - -5. Put x, m, 3 in increasing order.
x, m, 3
Suppose -z = -3*t - 3, 19*z - 14*z - 15 = t. Let m(v) = -3*v - 5. Let x be m(0). Put 15, z, x in ascending order.
x, z, 15
Let c = -4.69597 - -0.09597. Put c, -3, -2/3 in decreasing order.
-2/3, -3, c
Let z be (-4)/(-3)*(-5010)/100. Let r = z + 67. Let i = 733 + -730. Put r, 2, i in increasing order.
r, 2, i
Let n be ((-3404)/(-518))/((-54)/98) + 12. Sort 3, n, 68 in decreasing order.
68, 3, n
Let w = -15465 + 15463. Sort w, 1, -7, -4 in increasing order.
-7, -4, w, 1
Suppose 7*g = 3 + 32. Let y(t) = t**2 - 12*t + 33. Let r be y(g). Let a be 9/(-45)*10/(-3). Put 0.03, -2/9, a, r in decreasing order.
a, 0.03, -2/9, r
Let n(k) = -5*k**3 + 314*k**2 + 61*k + 131. Let a be n(63). Put 118, a, 3, -5 in decreasing order.
118, a, 3, -5
Let d = -86 + 348. Let j = 527/2 - d. Put j, -5/6, 1, 0.3 in decreasing order.
j, 1, 0.3, -5/6
Let n be -5*3/(-5) + (-1 - -54). Let o = n + -53. Let h be o/(-2)*24/(-18). Sort h, -2, 6 in increasing order.
-2, h, 6
Let m = 17441.1 - 17441. Let w = -5 + 0. Sort m, -2, w.
w, -2, m
Let y be -77 - -84 - (-2 - -13*1). Sort y, 6, -5, -1, 4 in decreasing order.
6, 4, -1, y, -5
Let d = 11914 + -11910. Put 3, -15, -2/5, d, -1/7 in descending order.
d, 3, -1/7, -2/5, -15
Suppose 13 = j - 0*j + 4*i, -5*i + 5 = 0. Let t be (4/(-6))/(87/27 + -3). Put 5, j, t in decreasing order.
j, 5, t
Suppose 3*o + 2*g = 1, -2*o + 2 + 12 = -2*g. Sort 0, -149, o, 1, 2.
-149, 0, 1, 2, o
Let v = 267 + -122. Suppose 2*r + 133 = v. Let m(l) = l**2 - 5*l + 6. Let u be m(4). Sort u, 4, r in decreasing order.
r, 4, u
Let b(f) = -2*f. Let o(q) = q**3 - q**2 + 3*q - 2. Let y be 5/((-5)/(-4)) - (-6)/(-2). Let v be o(y). Let k be b(v). Sort -5, k, 5 in ascending order.
-5, k, 5
Let z = -352947 + 352952. Let j(w) = -w**2 + 5*w. Let c be j(4). Sort c, z, -4, 1 in ascending order.
-4, 1, c, z
Suppose -16*n + 2076 = -97*n + 699. Sort -69, 5, n.
-69, n, 5
Suppose 144*y = 146*y - 6. Suppose 21*s + 4 = -159 - 173. Sort y, s, -4 in descending order.
y, -4, s
Let s(u) be the first derivative of -3*u**2/2 + 60*u - 149. Let t be s(17). Let z = 0.3 - 0.1. Sort -3, z, -0.4, t.
-3, -0.4, z, t
Let x be 9/(-6)*672/756. Sort 0.55, -0.3, -3/8, x in descending order.
0.55, -0.3, -3/8, x
Suppose 4*n + 6 = 2*c, 5*n - 20 = -3*c - 0. Let a be (-6)/(-3) + (-2 - n). Let p be (-15)/2*(20/12 + a). Sort -4, -3, p in descending order.
-3, -4, p
Let f = 8/15 + -34/45. Let v = 30.999 + -33.999. Sort f, -0.5, v, 0.1 in increasing order.
v, -0.5, f, 0.1
Let k = -282 - -278. Let x(j) = j + 10. Let m(n) = -n + 1. Let p(q) = 4*m(q) + x(q). Let o be p(10). Sort -1, o, k in increasing order.
o, k, -1
Suppose -4*k - 253 = 307. Let d = 75 + k. Put -5, -1, d in ascending order.
d, -5, -1
Let g = -193317/55 - -3515. Let l = -18/55 + g. Sort 0.4, -23, l, -2 in descending order.
0.4, l, -2, -23
Let d = -19702.8 + 19703. Sort 2, 1/6, -1, d, 0.63.
-1, 1/6, d, 0.63, 2
Let v(u) = 700*u - 2803. Let c be v(4). Suppose 5*t - 3*t = 2. Let i be 2 + -1 + (-1 - -2). Put 4, c, i, t in descending order.
4, i, t, c
Let w = -0.03 + 3.03. Let n be 1055096/3405 - (-2 - (-56)/30). Let m = n + -309. Sort -3, m, w, -6 in descending order.
w, m, -3, -6
Let h = -5.09003 + 0.09003. Sort 696, -4, h in descending order.
696, -4, h
Let c be ((2/4)/((-1)/(-12)))/((-21)/(-14)). Suppose -3*o - 9 = -3. Sort c, -8, o, 7 in descending order.
7, c, o, -8
Let k = 5118 + -4885. Sort k, 2, 5, -2.
-2, 2, 5, k
Let y be (-13)/11 - -1*1. Let w = -5851 + 5851.5. Sort y, w, -0.3, 5.
-0.3, y, w, 5
Suppose 1178*y - 1186*y - 11 = 61. Suppose -5*j + 3*p = 15, -5*j + j + 3*p - 12 = 0. Put y, j, -5, 2 in increasing order.
y, -5, j, 2
Suppose 3 = 3*i + 9. Let t be (-4)/(-36)*(83 - (-18 + 56)). Sort i, 12, 4, t.
i, 4, t, 12
Suppose 4*v + 408 = 8*v. Put 3, 1, v in ascending order.
1, 3, v
Let v = -21828 - -21