 4 - 9 + 2*v + v**2. Let y = 18 + -16. Let h be l(y). Put h, -4, 3 in descending order.
h, 3, -4
Let k = -28 + 24. Let j be -1*(k + 5) + 3. Suppose 41*n = 33*n + 40. Put j, n, 1 in increasing order.
1, j, n
Let p = 15325 + -17240. Put -2, 4, p in ascending order.
p, -2, 4
Let h be ((-2)/(-320)*6*6)/((-102)/136). Let i = -7.4 - -7. Put h, 0.3, i in increasing order.
i, h, 0.3
Suppose 4*y + 26 = q, -25 = -5*q - 4*y - 39. Sort 0, 6, q, -5, 8.
-5, 0, q, 6, 8
Let d be (-26)/22 + 2 - 176/(-968). Let r be (-6)/(1/(-2) + -1). Let w = 2 - -3. Put w, d, r in increasing order.
d, r, w
Let u = -465.8 - -460.8. Sort 1/3, u, -0.4, -2/19, 0.39 in increasing order.
u, -0.4, -2/19, 1/3, 0.39
Let p(n) = 4*n + 1. Let x be p(1). Suppose x*j + 16 = j. Suppose 195 = -37*f + 32 - 22. Sort f, 8, j, 2 in descending order.
8, 2, j, f
Suppose -46*k = -124 - 14. Put -1, -12, -4, k in ascending order.
-12, -4, -1, k
Let c(u) = 70*u - 5738. Let a be c(82). Sort a, -15, -113.
-113, -15, a
Let i be (-3)/(-8) - 280/64. Sort 1252, 0.3, i, 0.5 in ascending order.
i, 0.3, 0.5, 1252
Let d = -5253 + 5271. Sort 0.13, d, -2/7 in ascending order.
-2/7, 0.13, d
Let s be ((-4)/12)/(1/3) - 0. Let p(d) = d**3 + 5*d**2 - 4*d - 17. Let w be (-4 + (-2)/2)/((-2)/(-2)). Let z be p(w). Put s, -5, z, -2 in ascending order.
-5, -2, s, z
Let m = 130 - 134. Suppose -3*j = -11 - 4. Suppose -5*a - j*o = -a + 27, -5*a + 5*o = 0. Sort m, -5, a.
-5, m, a
Suppose b + 258 = 3*z, 5*b = -14*z + 16*z - 146. Put 2, z, -9 in ascending order.
-9, 2, z
Let k be (-747)/(-45) + (-22 - -5). Sort -3/22, 1.4, k in ascending order.
k, -3/22, 1.4
Let r be 1 + -7 + 22 - -1. Suppose -r - 15 = 4*i + 4*t, 0 = 4*i - 4*t. Let m be (-4)/(-16) - (-15)/4. Put i, m, -3, 0 in increasing order.
i, -3, 0, m
Let b = -150 + 122. Let n = b + -30. Let m = n - -74. Sort 3, -5, m.
-5, 3, m
Suppose -2 = -w + 2*o, -w - 3*o + 0 = 13. Let g(b) = 2*b + 30. Let a be g(-13). Suppose -4 + 24 = a*p. Sort w, 2, p, -2.
w, -2, 2, p
Suppose 10*q + 324 = -17*q. Sort -57, 5, -5, q in decreasing order.
5, -5, q, -57
Let i = 548 + -553. Put -82/3, -1/2, i in descending order.
-1/2, i, -82/3
Let z = -3 - -7. Suppose 0 = -x - 5*p - 10 - z, -x = 2*p + 5. Suppose -3 = -4*g + x. Put 5, -8, -4, g in increasing order.
-8, -4, g, 5
Let c be 16*2/4 - 3. Let o be 7 - 11/(33/15). Let w(p) = p**3 + 4*p**2 + 4. Let l be w(-4). Sort l, o, c in decreasing order.
c, l, o
Let x(g) = -g**2 + 5*g - 6. Let r be x(3). Let h be (-112)/(-28) - (3 + 4). Let j be (-2 + 1)*(1 + 0). Put h, j, -9, r in ascending order.
-9, h, j, r
Suppose 106*m = 104*m + 4. Suppose -3*b = 5*f - 8*b + 30, m = 5*f + 3*b. Put -1, -13, 4, f in decreasing order.
4, -1, f, -13
Let o be 3/((-12)/(-28)*(-42)/(-24)). Sort o, 9, 0 in decreasing order.
9, o, 0
Let t = -34080.2 - -34081. Sort t, -7, -53.
-53, -7, t
Let w = -5429 + 5426. Put w, 0.48, -1/5 in increasing order.
w, -1/5, 0.48
Suppose -3*s = 5*v + 84, 0 = -4*v - 9*s + 12*s - 51. Let j(l) = -2*l**2 - 32*l - 29. Let r be j(v). Put 4, -126, r in decreasing order.
4, r, -126
Let w(r) = 2*r - 1. Let q be w(3). Suppose 2*t + 104 = h + 167, 861 = -12*h + 3*t. Sort -3, q, h in decreasing order.
q, -3, h
Suppose -10*q - 114 = -74 + 110. Put q, -4, 0.4, 0.49, 1 in ascending order.
q, -4, 0.4, 0.49, 1
Let c = 89442 + -89447. Let l(k) = k - 4. Let q be l(4). Put 3, q, c, -3 in ascending order.
c, -3, q, 3
Let o = 789 - 783. Let i = 46 + -49. Put o, -1, i in descending order.
o, -1, i
Let j be 2/(-4)*(-2)/(-3). Let z = -134 - -1204/9. Let u = 1332.3 + -1332.5. Put -2/11, u, z, j in increasing order.
j, z, u, -2/11
Suppose y - 3 = 4*y. Let z(n) = n - 75. Let v(s) = 73. Let f(d) = -3*v(d) - 4*z(d). Let t be f(21). Sort y, 2, t in decreasing order.
2, y, t
Suppose 5*s = -3*s - 40. Suppose -6*n + 2*n = -48. Suppose 2*y - 3*q = -y, 0 = -2*y - 2*q - n. Put y, -7, s in descending order.
y, s, -7
Let p(z) = -z**2 + 64*z. Let i be p(0). Sort 1, i, 3, -6, 5 in decreasing order.
5, 3, 1, i, -6
Let y = 1.7 + -21.4. Let w = y + 19.3. Let h = 0.89 + 0.11. Put h, w, -2/95 in ascending order.
w, -2/95, h
Let i = 3972 - 3972. Sort 5, i, -0.66, -2/7 in increasing order.
-0.66, -2/7, i, 5
Let l = -7.3 - 42.3. Let n = l + 43. Let p = n + 5.6. Put 2, 1, p, -2/9 in decreasing order.
2, 1, -2/9, p
Let c(h) = -h**2 + 4. Let k be c(0). Let z(d) = -6*d - 157. Let b(p) = -p**2 + 9*p + 25. Let g be b(13). Let x be z(g). Sort x, k, 2, -4 in increasing order.
-4, 2, k, x
Let m(r) = r**2 - 11*r + 15. Suppose x = 15 + 11. Suppose 2*g + 6 = x. Let u be m(g). Sort 2, -4, u.
-4, 2, u
Suppose -48*v + 11*v = -3*v. Put -2/15, -5/4, v in ascending order.
-5/4, -2/15, v
Let x(s) = -s**3 + 25*s**2 - 23*s + 24. Let m be x(24). Let n = -45 + m. Let a = 4 - 2. Sort a, -1, n in increasing order.
-1, a, n
Let s = -438.39 - -6.39. Let j = -437.79 - s. Let x = j + -0.21. Sort -2, x, -4 in decreasing order.
-2, -4, x
Let q = 137/48 - -5/16. Let n be (120/50)/(-90 + 88). Sort 5, 1/6, q, n.
n, 1/6, q, 5
Let y be 28 - 34 - (-14 + 3). Put -3, 0, 43, y, 4 in decreasing order.
43, y, 4, 0, -3
Let t be 0*(-2 - 0 - -1) + -214. Let v = 4068/19 + t. Put -2/43, 0.4, v in descending order.
0.4, v, -2/43
Let g = 3.076 + -5.476. Sort -1/6, g, -4, -3/5, 2/7 in increasing order.
-4, g, -3/5, -1/6, 2/7
Let o be (510/187 + -3)*(-1 - 10). Let j(a) = -10*a - 1. Let w be j(1). Let b = w + 8. Sort 5, 2, o, b in descending order.
5, o, 2, b
Let l = -27.4 - -32.02. Let g = l - 4.7. Sort -5, -1, g, 0.4 in descending order.
0.4, g, -1, -5
Let r = -3385.01 + 3385. Sort -20, 0.1, r, 5 in descending order.
5, 0.1, r, -20
Let q = 0.08 - -5.92. Let v = -0.79 + 1.09. Let b(p) = p**2 - 7*p - 7. Let l be b(8). Sort q, v, l in increasing order.
v, l, q
Let z be 0/2 + (-33 - -7 - -6). Let q be (-5)/50 - 82/z. Put q, -4, 14 in decreasing order.
14, q, -4
Let v = -10878 - -10923. Put 0.5, 4, v, 1/7, 1/11 in descending order.
v, 4, 0.5, 1/7, 1/11
Suppose 38 = 5*a - l + 1, -l - 13 = -2*a. Suppose -32 - 18 = -5*n. Sort -5, n, 1, a.
-5, 1, a, n
Suppose -s + 0*s - 4*z - 23 = 0, s + 2*z + 13 = 0. Let n = -844 + 848. Sort 2, -1, s, n in descending order.
n, 2, -1, s
Let q be (-4)/(-15)*30/228. Let z = q - -88/741. Sort -0.2, z, 0.5, -3 in increasing order.
-3, -0.2, z, 0.5
Let w(c) = 14*c + 2. Let m be w(-2). Let s be (-9 - -1)*(-10794)/336. Let j = s + -261. Sort j, 1, m in descending order.
1, j, m
Let j = 2552 + -2551. Let w = -0.2 - 0.8. Sort 1/3, j, w.
w, 1/3, j
Let a be (4/4)/(((-20)/5)/(-20)). Suppose -a*d - 4 = -29. Sort d, 1, 4, -5 in increasing order.
-5, 1, 4, d
Let j(l) = 2*l**2 + 1 + 7*l**3 - 2*l**2. Suppose -8*f + 9*f + 1 = 0. Let d be j(f). Sort -2, d, 3.
d, -2, 3
Let v = -10 - -6. Let n = 447.4 - 447. Sort v, -8, n.
-8, v, n
Let v = -6 - -2. Let y = 53962 + -53960. Sort y, v, 0.1 in increasing order.
v, 0.1, y
Let f(g) = -g + 11. Suppose 17*t - 24 = 163. Let w be f(t). Suppose 3*c - 6 + 3 = w. Put c, -38, -5, -2 in decreasing order.
c, -2, -5, -38
Let r(m) = -m**3 - 3*m**2 + 7*m + 6. Let l be r(-5). Let n = -24 + l. Let f(j) = -j**2 + 4*j + 99. Let z be f(-8). Put z, 6, n, -4 in decreasing order.
6, z, n, -4
Let x = -659 - -659. Suppose -l - 2 = -4*l - 4*f, 2*l = -5*f - 8. Sort -5, l, x, 1 in decreasing order.
l, 1, x, -5
Suppose -21 = 4*r - 7*r + 3*k, -5*k - 30 = -4*r. Let w(a) = -a + 2. Let g be w(r). Sort 16, g, 1 in decreasing order.
16, 1, g
Let s be (36/(-5))/((-1)/5). Suppose y = 5*y - s. Let p = -5702 - -5698. Sort 4, y, p in descending order.
y, 4, p
Let m be (0/(-1))/(2/2). Let o = 578 - 572. Sort -4, o, -1, m in descending order.
o, m, -1, -4
Let o(c) = -c**2 - 5*c + 4. Let w be o(-5). Let l be (-4 + (4 - 0))/1. Suppose l = -5*m + 8*j - 4*j + 31, 0 = m - 2*j - 5. Put w, -1, m in decreasing order.
m, w, -1
Let x(p) = 120*p + 238. Let y be x(-2). Sort 5, 10, y, -123 in ascending order.
-123, y, 5, 10
Let k(u) = -u**2 + 26*u - 20. Let g be k(25). Let l = g + -5. Let x(r) = 5*r**2 - 17*r - 7. Let j be x(3). Sort -1, l, j.
j, -1, l
Let l = -21 - -18. Let g be (30/(-5))/(-12)*-2. Suppose 0 = -0*f + f. Sort f, 4, l, g.
l, g, f, 4
Suppose -t + 67 = 4*f, -7*f + 115 = -2*f - 5*t. Let a = 15 - f. Suppose 3*o - 14 = -5*r, 2*o + 18 = 4*r + o. Sort a, r, -2 in increasing order.
a, -2, r
Let k = -5409 + 5414. Put 10, 0, -3, k, 6 in des