y(s) = -s**2 - 19*s + 213. Let i be y(8). Sort 186, i, -0.1 in increasing order.
i, -0.1, 186
Suppose 0*a - 6 = -3*a. Let o(u) = 8*u - 109. Let y be o(14). Sort y, a, 1 in increasing order.
1, a, y
Let y(m) = 2*m. Let w be y(3). Let b(s) = 4*s + 29. Let q(z) = -z**2 + 9*z - 6. Let i be q(9). Let p be b(i). Put 3, p, w in descending order.
w, p, 3
Let k = -785 + 782. Let d be (-4)/14 + 66/(-14). Put 1, k, d in decreasing order.
1, k, d
Let g(i) = -i**3 - 15*i**2 + 19*i + 51. Let w be g(-16). Put 1, w, -1/58 in descending order.
w, 1, -1/58
Let w be 3 + 0 - (-21)/(-6). Let v = -6 + 6. Let j be (-18)/8 - -2 - v. Put w, -5/3, j in decreasing order.
j, w, -5/3
Let h = 14.8 - 18. Let a = h - -2.9. Sort a, 1/2, 1 in ascending order.
a, 1/2, 1
Let h(u) = -2*u - 9. Let b be h(-6). Sort -5, 1, b, -2 in increasing order.
-5, -2, 1, b
Let w = -27 - -43. Suppose -3*s + 5*a - 38 = s, 2*s = 4*a - w. Let m = -8 - s. Put -3, m, -4 in increasing order.
-4, -3, m
Let f = 263/820 - 7/41. Put -1.1, f, -0.3 in descending order.
f, -0.3, -1.1
Let c = -901.2 + 921.246. Let l = 0.046 - c. Let z = l + 24. Sort -4, -0.5, z.
-4, -0.5, z
Let q be 4 + -4 + 22/2. Sort 2, 6, q.
2, 6, q
Let x = 111 + -114. Sort -7, 4, 3, x.
-7, x, 3, 4
Let d be 6*(-3 + (-49)/(-14) + -1). Put d, -5, 0.5, 1/5 in decreasing order.
0.5, 1/5, d, -5
Let h = 279 + -275. Let j = 2 - 3. Put h, -1/8, j in ascending order.
j, -1/8, h
Let g(s) = 4*s**2 + 101*s + 35. Let y be g(-25). Sort 2, -5, -3, y in decreasing order.
y, 2, -3, -5
Let n = -186 - -111. Let a = n + 74. Let o be (4/10)/((-3)/(-5)). Sort -3, o, a in decreasing order.
o, a, -3
Let s be (-6 - 70/(-8)) + -3. Sort s, 2, -0.5 in descending order.
2, s, -0.5
Let u = -0.4 - -0.7. Let t be -3 - 282/(-3 + 1). Let v be ((-4)/t)/((-10)/30). Put u, -2, v in decreasing order.
u, v, -2
Suppose -2*o + 10 = -o - 4*d, 0 = 5*o - d + 26. Let b be (1 - -2) + 5 + o. Suppose 3*a = 4*j + 1, 3*a + b*j = -a - 28. Put 1, 0, a in ascending order.
a, 0, 1
Let m(u) = u**3 + 15*u**2 - 17*u - 11. Let h be m(-16). Let f = 9 - -2. Sort 3, h, f in descending order.
f, h, 3
Let d = -1.04 - -0.58. Let z = d - -18.46. Let r = -20 + z. Put r, 2/5, -4 in ascending order.
-4, r, 2/5
Suppose 0 = -9*z + 44 + 64. Suppose -m = -4*h - z, 0*m - 15 = m + 5*h. Let l(v) = v**2 - 7*v + 3. Let i be l(7). Sort i, m, -4 in ascending order.
-4, m, i
Suppose u = -5*v + 6*u - 5, 0 = -4*u + 16. Suppose z = c + 3 + 1, -v*z - 2*c - 3 = 0. Put z, 8, -5 in increasing order.
-5, z, 8
Let j be (20 - -31)*(-2)/3. Sort 1, 3, 2, j.
j, 1, 2, 3
Let i = -10 + 6. Let s = -71 - -49. Let v = -45/2 - s. Put -0.2, v, i in decreasing order.
-0.2, v, i
Let y = -0.28 + -3.56. Let j = -0.24 - y. Let i = 3.3 - j. Put i, -4, 2 in descending order.
2, i, -4
Let a be (-1 - (1 - 1))/((-3)/(-9)). Let c(u) = -u**2 - 20*u + 3. Let p be c(-20). Put -4, p, a in descending order.
p, a, -4
Suppose s - 3*n = 13, 5*s - n - 12 = 11. Suppose 0*l + 24 = 4*l - k, 2*l = -5*k - 10. Suppose -l*i + 49 = 34. Sort s, 2, i in increasing order.
2, i, s
Let t be 2/8 + 53/(-12). Let o = t + 263/66. Suppose 55*c + 63*c + 20*c + 414 = 0. Put c, 1/16, o in descending order.
1/16, o, c
Let p = 518 + -518.13. Put -0.5, p, 2/19 in descending order.
2/19, p, -0.5
Let t(s) = 3*s - 7 + 0 + 9 + 4*s**3 - s**2 - 4. Let o be t(1). Sort -2, -3, 21, o in descending order.
21, o, -2, -3
Let v = -30 - -34. Suppose 0 = -k - u - v, 4*k = k + 2*u + 13. Suppose -9 = -2*l - k. Sort -4, 6, l in ascending order.
-4, l, 6
Let a be ((-75)/(-18))/(1/(-20)). Let i = a - -82. Put i, -5/2, 1/14 in decreasing order.
1/14, i, -5/2
Let g = 1 - 6. Let v be -3 + 6 - (-322)/(-126). Let n = 1.5 + -1. Put v, g, n in ascending order.
g, v, n
Let n = -30.4 + 30.4. Sort 0.2, -0.14, n in ascending order.
-0.14, n, 0.2
Let c = -4 - -8. Suppose c*w - w = 0. Let t be ((-4)/5)/(1/(-5)*-2). Put t, w, 2 in descending order.
2, w, t
Let m(h) = -h**2 + 6*h - 3. Let p be m(2). Let u = -21 - -23. Suppose -5*j + u*j = -12. Put p, j, 2 in increasing order.
2, j, p
Let x = 1/156 - 59/78. Let b = 1088 + -1093.083. Let k = -0.083 - b. Sort 0.06, k, x in increasing order.
x, 0.06, k
Let o(d) = -13*d + 21. Let u(c) = -4*c + 5 + c - 4*c + 6. Let v(r) = -6*o(r) + 11*u(r). Let y be v(4). Put y, -5, 3 in ascending order.
-5, y, 3
Let s(u) = -u**2 + 3*u + 2. Let b be s(2). Let q be (b/11)/((-8)/(-12)). Let f = -10 + 10. Sort f, q, -5 in descending order.
q, f, -5
Let j = -0.409 + -0.391. Put j, 2, 1, 4 in decreasing order.
4, 2, 1, j
Let g(f) = -f. Suppose c + 5*w = -2, -5*c + 0*w = -w + 36. Let v = 11 + c. Let t be g(v). Put t, 1/4, 2 in increasing order.
t, 1/4, 2
Let i = 173 - 173.3. Sort i, 4, -1, 4/9 in decreasing order.
4, 4/9, i, -1
Let p = -1408 - -2040. Sort p, 0, -2/7 in descending order.
p, 0, -2/7
Let o = 4.1 - 1.1. Let c be (-9)/(-4)*5/(-60)*4. Sort o, 2/3, c, -2/7 in descending order.
o, 2/3, -2/7, c
Suppose -2*o = o + 12. Let q be (3/5)/(4/20). Sort 6, o, q, -3 in descending order.
6, q, -3, o
Let c be -1*(-1 - 0)*1. Let y(q) = 10*q + 21. Let u(i) = -11*i - 21. Let g(w) = -6*u(w) - 7*y(w). Let m be g(-6). Put m, 4, c in increasing order.
c, m, 4
Suppose 4*j + 3 = -9. Let l(z) = z**3 + 14*z**2 + 14*z + 18. Let x be l(-13). Suppose -2*h = x*h - 42. Put j, h, 1 in descending order.
h, 1, j
Suppose -15*j + 30 = -10*j. Suppose -j*b + 3*b + 12 = 0. Let t(a) = -a**3 + 7*a**2 - 5*a - 8. Let l be t(6). Sort b, 0, l.
l, 0, b
Let z = -16.7 + 19.7. Sort z, 0.2, 0.01, 4.
0.01, 0.2, z, 4
Suppose -18*w + 9*w - 72 = 0. Sort w, 10, -3/2.
w, -3/2, 10
Let s = -783 + 1561/2. Put 11, s, -3/2 in decreasing order.
11, -3/2, s
Suppose 0 = 5*y + 4*y - 54. Let a(p) be the first derivative of p**4/4 - 5*p**3/3 - 3*p**2 - 3*p - 1. Let k be a(y). Put 2, k, 3 in ascending order.
k, 2, 3
Let b be ((-4)/(-10))/((-8)/80). Let u be (14/(-4))/((-2)/b). Sort u, 1, 4 in ascending order.
u, 1, 4
Let d = -27.53 + 28. Let g = 0.76 - d. Let l = g + -0.19. Sort -2, l, 2/15.
-2, l, 2/15
Let g(w) = w**2 - 12*w - 10. Let i be g(10). Let h be i*((-122)/(-42) + -3). Let f = h + -114/35. Sort f, 5, -2/7.
f, -2/7, 5
Let t be 62/6 + (-14)/(-21). Suppose -4 = -3*b + t. Suppose 0 = -3*z + b*g + 15, 0 = -4*z + 2*g + 3*g + 15. Sort 10, z, 3 in descending order.
10, 3, z
Let x = -2490 + 2473. Put x, 7, -2, -5 in decreasing order.
7, -2, -5, x
Let k = -2.4 + 2.9. Let v be (-2)/(-8) - 3/44. Let h = -1116 - -1116.2. Sort h, v, k in ascending order.
v, h, k
Let t(u) = -u**2 + 4*u + 2. Let x be t(4). Let i = -38.4 - -41.4. Let p = -0.09 + -6.91. Sort p, i, x in decreasing order.
i, x, p
Let z = 0.001 + -0.501. Let t = 0.4 + z. Let p = 9 - 5. Put p, -2/3, t in ascending order.
-2/3, t, p
Suppose 45 = -2*n + 3*n. Suppose -5*m + n = -5*c, -5*m = -3*c - 29 - 10. Suppose j + m = 3*j. Put 2, -4, j in descending order.
j, 2, -4
Suppose 2*t - 10 = -3*o, 2*o = -t + 2 + 4. Suppose -2*d - 7*q = -2*q + 5, 0 = -o*d - 2*q + 4. Let f = -439/8 - -55. Sort f, -0.4, d.
-0.4, f, d
Let x be (-168)/32 + (-1)/(-4). Let g be x/((-140)/(-1844))*-1. Let h = g - 66. Sort 2, -2/17, h in decreasing order.
2, -2/17, h
Suppose -h + 2*w - 5 = 0, 3*h - 3 - 2 = -4*w. Sort 12, -2, h, -3 in decreasing order.
12, h, -2, -3
Let x(v) = v + 6. Let g be x(-8). Let p = 215 + -220. Sort 5, p, g.
p, g, 5
Let p be (-1)/1*44/286. Sort -1/4, p, -5 in ascending order.
-5, -1/4, p
Suppose -3*z = -2*m - 13, 4*m - 6*m = -2. Sort z, 2, 12, 3.
2, 3, z, 12
Let r be (-1 - 36/(-6))/5 - 3. Sort -4, r, -30 in decreasing order.
r, -4, -30
Let b(v) = v**3 - 4*v**2 + 4*v - 1. Let c be b(5). Let n = c + -42. Let q = 3 - 6. Sort n, 5, q in decreasing order.
5, n, q
Let h be (-3)/(-5) - 329/(-35). Let t be 15/h*(-32)/(-6). Suppose -d = d - t. Sort -3, d, 1.
-3, 1, d
Let n be -2 + (4 + 0 - 6) - -3. Sort 9, n, 5 in ascending order.
n, 5, 9
Let t = -7.7 + 8.91. Let z = 0.79 + t. Let s = 10 - 6. Put 13, z, s in ascending order.
z, s, 13
Let j be (-62)/(-12) + (-1)/6. Suppose 9*l = 8*l - j. Sort 5, -7, l.
-7, l, 5
Let q = 769 - 769.2. Put -4, 0.4, q in decreasing order.
0.4, q, -4
Let l(o) = -o**2 + 3*o + 4. Let a(h) = h**2 + h + 1. Let d(b) = 3*a(b) - l(b). Let q be d(-1). Put 0, q, -1 in decreasing order.
q, 0, -1
Suppose 44 = -10*r - 386. Sort r, 5, 1 in decreasing order.
5, 1, r
Suppose 0 = -p - y - 0*y + 1