l + 3*l - 34 = 0. Suppose -l*v = -0*v + z + 16, 0 = -2*z. Put -1, -5, v in increasing order.
v, -5, -1
Let l = -0.121 + -0.079. Let y be 0 + ((-16)/(-3))/(-4). Let s = -10/9 - y. Sort 6, s, l in ascending order.
l, s, 6
Let t = 248 - 251. Sort t, -1, -2 in increasing order.
t, -2, -1
Let b = 6345 - 754983/119. Let o = 3/17 - b. Sort -3, o, -0.5, 2 in increasing order.
-3, -0.5, o, 2
Let n(s) = -s**2 - 6*s - 3. Let u be n(-4). Let g = 118 + -170. Let w = 48 + g. Sort -1, w, u in decreasing order.
u, -1, w
Let k(i) = -i**2 - 8*i + 13. Let q be k(-9). Suppose 3*m - 4*h - 3 = -20, -q*h + 15 = -5*m. Sort m, -2, -1.
-2, -1, m
Let u = -23 + -37. Let f = -55 - u. Sort 3, 1, f, -1.
-1, 1, 3, f
Let b be ((-2)/4)/(1/16). Let n be 122 + (-6)/(1 - -5). Let l = -126 + n. Put b, l, 5 in descending order.
5, l, b
Suppose -8*g + 3*g + f = -5, g + 2*f = 1. Sort g, 2, -6, -2.
-6, -2, g, 2
Let v(x) = -x**3 + 17*x**2 - 12*x - 66. Let d be v(16). Sort -1, -3, d, -4.
-4, -3, d, -1
Suppose -8 = -26*n + 24*n - 5*g, -n = 3*g - 4. Sort n, 39, 3.
3, n, 39
Let x be ((-12)/45)/((-162)/45). Put x, -0.26, -3 in ascending order.
-3, -0.26, x
Let i = 12 + -12. Suppose 20 = 252*h - 242*h. Sort h, i, 1 in ascending order.
i, 1, h
Let i = -134 - -149. Suppose -i = -15*p + 12*p. Sort 22, 1, p in decreasing order.
22, p, 1
Let d be (-4)/(-26) + (-38745)/455. Sort d, -1, 5.
d, -1, 5
Let j = 146 - 159. Suppose -3*d = -d - 34. Let f = j + d. Sort f, -5, -4 in descending order.
f, -4, -5
Let q be ((-4)/8)/((-4)/(-8)). Let w be q*2/(6 + -4). Sort 0, w, 1 in ascending order.
w, 0, 1
Suppose -15 = 2*k - 7*k. Let u = 3821 + -3822. Put k, -1/3, u in descending order.
k, -1/3, u
Let b(i) = 3*i + 23. Let y be b(-7). Let w be (495/(-12))/11 + y/(-8). Put -5, w, 3 in ascending order.
-5, w, 3
Let y be (8/((-48)/9))/((-12)/(-40)). Sort y, 17, -1.
y, -1, 17
Suppose 22*c + 2*c = 192. Sort 1, 0, c, 10 in descending order.
10, c, 1, 0
Suppose 2*k + 4 = -u + 3*u, -3 = 4*k + u. Let s be 2/(-4) + (k - 11/(-2)). Put s, 6, 1 in increasing order.
1, s, 6
Let s = -223 - -218. Put s, 4, -1, -17/3 in increasing order.
-17/3, s, -1, 4
Let p = -478 - -477.5. Sort 2/3, p, -4, 6.
-4, p, 2/3, 6
Let l be (-4)/(-20)*(-1 + 1). Let d be (-26)/35*2/8. Let u = d + -3/14. Put u, l, -4 in ascending order.
-4, u, l
Let l = -5 + 9. Suppose 0 = -a - 2*w - w - 1, l*a = w - 56. Let o = -14 - a. Sort 0, o, 4.
o, 0, 4
Let y = -3 - -4. Suppose 1 = -k + 2, -3*k - 3 = 2*u. Let d = 2/133 - -125/532. Sort y, d, u in descending order.
y, d, u
Let k be 5 - ((4 - 2) + 2). Sort -2, -5, k, 4 in increasing order.
-5, -2, k, 4
Let f = 63 + -61. Suppose b + f*y - y = -1, -y + 4 = -4*b. Let m(j) = j**2 + 2*j - 3. Let s be m(-4). Sort b, 2, s in increasing order.
b, 2, s
Suppose -4*w = -3 - 5. Suppose -l - w*j + 3 = 10, -5*j = -l + 14. Let k = l + 4. Sort 5, 4, k in increasing order.
k, 4, 5
Let n be (-39)/(-13)*(-6)/9. Put n, -1, 3, 2 in decreasing order.
3, 2, -1, n
Let u = -31 - -31. Let r = 3.041 + -0.041. Sort r, u, 1 in descending order.
r, 1, u
Suppose 11*a = 12*a - 4. Suppose 5*r - 10 = 2*v, v - 5*v = -2*r + a. Suppose r*p = -2 + 12. Sort p, 0, -1.
-1, 0, p
Let o = -0.205 + -8.895. Let u = -9.4 - o. Sort 1, 3, 0, u.
u, 0, 1, 3
Let g be (-2)/(-4) + 18/(-20). Let n = 46 - 46.3. Sort -0.5, -5, n, g in decreasing order.
n, g, -0.5, -5
Let v = -1 + -3. Let x be -4*1 + (-21)/(-5). Put v, x, 1/3 in descending order.
1/3, x, v
Let z(o) = -o + o**3 - 8 - 2*o**3 - o - 6*o**2. Let i be (3/6)/(1/(-12)). Let m be z(i). Sort -2, m, -3.
-3, -2, m
Let c = 12 - 7. Suppose -t = -c*t + 12. Suppose 0 = -t*s + 15 - 3. Put 1, 2, s in descending order.
s, 2, 1
Let j be (-312)/15 + (-4)/20. Sort j, 4/7, 0.
j, 0, 4/7
Let p = 0.25 - 1.25. Sort 0.4, p, 1/4, -6.
-6, p, 1/4, 0.4
Let x be 72/(-20) + 3 - (-28)/5. Put -6, -2, x in descending order.
x, -2, -6
Let s(u) = -u**3 - 3*u**2 + 33*u + 26. Let y be s(-7). Sort 7/5, -1/6, y in descending order.
7/5, -1/6, y
Let b(y) = y**3 - 3*y**2 - 3*y - 2. Let t be b(4). Let i = -266 + 269. Put t, i, 1 in descending order.
i, t, 1
Suppose 15*z + 0*z - 45 = 0. Let k(w) = w**3 + 7*w**2 + 8*w + 16. Let q be k(-6). Put -1, q, -5, z in descending order.
q, z, -1, -5
Let n(q) = -q**2 - 4*q + 1. Let s be n(-7). Let t be (-2)/(-4)*s/165. Let d = t + -161/66. Sort 4, d, 2/9 in descending order.
4, 2/9, d
Let g = 11 + -10.957. Let u = g - 0.333. Let v = u - 0.11. Put 3, -3, v in decreasing order.
3, v, -3
Let l(a) = a + 1. Let t be l(2). Suppose 14*z - 19*z + 4 = -7*z. Put -7, z, t in decreasing order.
t, z, -7
Let a be 0 - (-2 - (-1 + 4)). Sort 11, a, -32.
-32, a, 11
Let v be ((144/30)/8)/((-1)/5). Sort 3, -4, 4, v in descending order.
4, 3, v, -4
Let m = -7 + 2. Let z = -9 - m. Let d = 509 + -510. Put 0.2, z, d in descending order.
0.2, d, z
Let a = 21/2 + -10. Let s = 13.3 - 21.3. Sort -1, 3, a, s.
s, -1, a, 3
Suppose 2*b - 40 = 5*f, 0*b - f = 2*b - 52. Let a = -30 + 56. Let k = b - a. Sort -2, k, 15 in decreasing order.
15, k, -2
Let g = 379 + -376. Sort g, -76, 1 in descending order.
g, 1, -76
Let i = -1765 + 1765. Sort 1, i, -2/3, -2/11 in descending order.
1, i, -2/11, -2/3
Let s = 5 - 16. Let h(d) = d**3 + 10*d**2 - 9*d - 10. Let x be h(s). Let w be (-132)/x + 4*-1. Put -1/2, w, 0.5 in decreasing order.
0.5, w, -1/2
Suppose 3*b - 5 = w + 3, 0 = -b + 2*w - 4. Suppose 0 = -3*x - 0*x - 3. Let i be (-2)/(x*(-4)/8). Sort i, -1, b.
i, -1, b
Let d = -0.13 + 0.72. Let c = -0.59 + d. Put 0.3, c, 2/7, 2/5 in increasing order.
c, 2/7, 0.3, 2/5
Suppose -2*a - 1 = 3, -3*i - 23 = 4*a. Sort -2, 4, i, 2 in descending order.
4, 2, -2, i
Let b = -22.674 + 0.074. Let i = b - -23. Suppose -2*r - 16 = -5*u, 5*r + 4*u = 2*u - 11. Sort i, 10, r in decreasing order.
10, i, r
Suppose 0 = -3*h - 0*u + u - 20, 5*h + 32 = 3*u. Let p be (2 + -5)*1 - h. Suppose -2*z + p*z = 2. Sort 4, 0, z in descending order.
4, z, 0
Suppose 5*a + 2*z = 5*z - 19, -8 = a - 2*z. Put -2/3, 4, a, 25/4 in descending order.
25/4, 4, -2/3, a
Suppose -4*j - 6 = -2*r, -2*r + 4*j + 15 = 3*r. Let y(o) = 2*o + 6. Let v be y(-3). Sort -7, r, v in descending order.
r, v, -7
Suppose -4*w = -0*q + 2*q - 46, 0 = 2*w + 2*q - 24. Suppose w*f - 8 = 7*f. Sort -4, 4, 0, f in decreasing order.
4, f, 0, -4
Let h be (1/2)/((-2)/12). Let f = 450 - 452. Suppose -g - 2*r - 2 + 9 = 0, 4*g + 12 = 2*r. Put h, g, f in decreasing order.
g, f, h
Let j = 2/441 - -187/441. Let v be 4/(-14) + 22/(-21). Let s = -7045/24 + 881/3. Sort s, j, v in descending order.
j, s, v
Let o = 8 + -35. Suppose 31*f - 7*f + 7*f = -62. Put f, o, -5 in ascending order.
o, -5, f
Suppose -3*i + 12 = -4*y - 2*i, 3*i + 12 = 0. Let r be 2/(-3)*(-2)/4. Sort -5, y, r in descending order.
r, y, -5
Suppose i = 4*i - 2*z - 14, 10 = -3*i - 4*z. Suppose a - m + 2 = 1, 3*a = 5*m - 3. Let k = 5 + a. Sort 5, k, i in increasing order.
i, k, 5
Let w = 10 - -2. Let x = w - 9. Sort 5, -10, x in decreasing order.
5, x, -10
Let p be ((-27)/(-12))/(-3)*(0 - 4). Let s(h) = 8*h - 26. Let m be s(p). Let l = 0.4 + -0.3. Put 0.2, m, l in descending order.
0.2, l, m
Let y = -733 + 735. Put -0.2, y, 2/5, 5 in increasing order.
-0.2, 2/5, y, 5
Let o be (2/10)/(4/(-30)). Let k = -35 - -34.6. Sort o, k, 5 in decreasing order.
5, k, o
Let t(n) = -n**2 - 10*n - 19. Let g be t(-7). Let c be 1*0/(4 - 1). Let y be 6/((-3)/(-2) - c). Put 0, g, y in increasing order.
0, g, y
Let w = 630 + -626. Put w, -183, 2/9, -2/13 in decreasing order.
w, 2/9, -2/13, -183
Let g = 256 - 138. Let d = g - 55. Let t be 5/d - (-26)/(-117). Sort 2, t, 2/23.
t, 2/23, 2
Suppose -5*j - 19 + 49 = 0. Suppose -4*l + j*l - 8 = 0. Suppose -i - 3 = -4*d - 0*i, 20 = l*i. Put 0, d, -4 in increasing order.
-4, 0, d
Let s = 25.9 + -4.9. Let i = 22 - s. Put 15, i, -2 in decreasing order.
15, i, -2
Let q = 45 + -43. Sort -5, 10, -4, q in increasing order.
-5, -4, q, 10
Let m be ((-12)/3 - -2)/(-9). Let s be (6 + 85/(-15))*3*1. Sort 6/19, s, m, -2/17 in increasing order.
-2/17, m, 6/19, s
Suppose 4*v - 2 - 2 = 2*u, 0 = -4*v + 3*u + 8. Suppose 83*a = 77*a + 30. Put a, 0, 2, v in increasing order.
v, 0, 2, a
Let q(b) = b - 6. Let y be q(8). Suppose 2*h + 37 = 2*f - 3*h, -4*h = 3*f + y. Suppose j = 3*j + f. Sort 5, -1, j in increasing order.
j, -1, 5
Let a be ((-18)/(-12))/(3/16). Suppose a*c = 3*c