n = 402 - 402. Let y(u) = -u**2 + 7*u - 1. Let x be y(7). Put n, -5, x, 2/3 in increasing order.
-5, x, n, 2/3
Let s = 285 + -280. Let r(w) = w**3 - 10*w**2 + 10*w - 1. Let h be r(9). Suppose -2*b = -n - h, 0*b + b - 4*n - 11 = 0. Put s, b, 1 in ascending order.
1, b, s
Suppose 0 = 3*t - 4*d - 2 - 4, t = -5*d - 17. Sort t, -5, 7 in ascending order.
-5, t, 7
Let w(g) = 4*g + 21. Let u(i) = -i - 5. Let m(f) = -9*u(f) - 2*w(f). Let y be m(0). Suppose 4*l - 5*l + 2 = 0. Sort -4, y, l in increasing order.
-4, l, y
Let a = -9 + 13. Let z = -709 - -709. Sort z, -2, a in descending order.
a, z, -2
Let r be ((-2)/4)/(3/30). Let f be (-2 + 3 - 1)/2. Suppose -5*j = -f*w + w + 16, 5*j - w + 24 = 0. Sort j, 2, r in decreasing order.
2, j, r
Let p = -0.16 + 2.06. Let b = p - 2.4. Let o = 4.06 + -0.06. Put b, o, -1 in descending order.
o, b, -1
Let k = 175559/72 + -7316/3. Let t = 2/9 + k. Sort -4, 3, -0.4, t.
-4, -0.4, t, 3
Let w(k) = k. Let r(h) = 7*h - 2. Let a(p) = r(p) - 6*w(p). Suppose 0*f + 2*f = 6, 3*x - 3*f = 0. Let o be a(x). Put -5, o, 4 in ascending order.
-5, o, 4
Suppose 2*n - 18 = -4*o, 3*n + 13 = 3*o + 5*n. Let b(l) = -4*l - 4. Let y be 12/(-28) - (-22)/(-14). Let t be b(y). Sort o, t, -4.
-4, t, o
Suppose 2*d = 3*q - 2, -3*d = -3*q - 5*d + 10. Sort q, 5, 4/3 in ascending order.
4/3, q, 5
Let h(f) = f - 4. Let z be h(0). Suppose 55 - 5 = -2*u. Let g = u - -29. Sort z, g, 3.
z, 3, g
Let n(m) = m**3 - m**2. Let h be n(0). Suppose h = -3*i - i. Suppose 0 = 3*g - 2*t + 1 + 14, 0 = 5*g + 5*t. Sort i, g, 3.
g, i, 3
Let j = -510 - -509. Let b = -14 - -17. Sort -13, j, b in descending order.
b, j, -13
Let t = -0.0569 - 0.1431. Sort -1, 17, t, -24 in ascending order.
-24, -1, t, 17
Let r = -1836 - -1838. Sort 140, r, -1 in decreasing order.
140, r, -1
Let s be 57/132 - 2/11. Sort 4, -2, s in ascending order.
-2, s, 4
Suppose 5*z - 23 = 2. Suppose 5 = 2*c - 5*u, -3*c = 15*u - 14*u + 18. Sort c, z, 0, -3 in increasing order.
c, -3, 0, z
Let k = -0.37 - -0.51. Let u be -1 + ((-162)/30 - -6). Sort 0.5, k, u in descending order.
0.5, k, u
Let l = 2.1 + -1.1. Let z = 706780 + -214154144/303. Let h = z - -2/101. Sort 0.3, h, l.
0.3, h, l
Suppose -7*d + 4*d - 8 = -2*d. Let j = -1 + -1. Sort 2, j, d.
d, j, 2
Let z(i) = i + 1. Let c be z(-4). Let v be 10/(-8)*c/90*-4. Put -5, v, -0.13 in descending order.
-0.13, v, -5
Let q = 591 - 593. Put -0.3, -6, q, 3 in descending order.
3, -0.3, q, -6
Let v be -4*3/2*1/(-3). Sort v, -4, -14.
-14, -4, v
Let n = 9.8 + -9.83. Put n, -0.5, 5 in descending order.
5, n, -0.5
Let z = -0.0403 - -0.4403. Sort 13, z, -0.5, -4 in ascending order.
-4, -0.5, z, 13
Let q = 0.4 - 0.58. Let h = q + 4.18. Put h, -4, 6/11 in decreasing order.
h, 6/11, -4
Let m = 1074 + -1067. Let r(t) = -4*t + 2. Let u be r(3). Let f = u + 15. Put f, m, -1 in descending order.
m, f, -1
Let p be (-16)/7 - (8 + -10). Let b = -3.1 + 2.8. Put b, -0.2, p in decreasing order.
-0.2, p, b
Let y(v) = v**3 - v**2 - 2*v + 4. Let m be y(1). Sort 0, -5, -43, m.
-43, -5, 0, m
Let u be 42/(-18) - 12/(-9). Let r be u - (0 - 1)*-4. Put 1, r, 0 in decreasing order.
1, 0, r
Suppose 108*i = 111*i - 2*b - 15, 0 = i + 3*b + 6. Put 36, 4, i in increasing order.
i, 4, 36
Suppose 7 = -2*w + 5*l, 0 = -w + 3*l - 1 - 4. Let d be (4 - (-14)/(-7))*16. Sort 2, d, w in ascending order.
2, w, d
Let t(k) = -6*k + 26. Let y be t(5). Let q = -4 - -3. Put q, y, 2/11 in descending order.
2/11, q, y
Suppose 13*w = -8*w - 336. Sort w, -3, -4, 2.
w, -4, -3, 2
Let z be -8*(-3)/12 + 1. Put 98, z, -5 in ascending order.
-5, z, 98
Let q be 1*52/(-4) + 2. Let r = 11 + q. Suppose r = 5*h - 0*h + 20. Put 0, -3, h in increasing order.
h, -3, 0
Suppose -6 - 6 = -3*b. Suppose 2*s + b = -0*s. Let v(g) = g**3 + 5*g**2 + g + 6. Let y be v(-5). Put y, s, 11 in decreasing order.
11, y, s
Let b be 3/6 + 1/(-10). Let w = -158.02 - -161. Let u = -0.02 - w. Put b, u, -0.3 in ascending order.
u, -0.3, b
Let l = 6204 + -6201. Let c = -0.2 + 0.7. Sort l, c, -2, -0.5 in decreasing order.
l, c, -0.5, -2
Let c be (3 - 65/25)*-2*5. Put 3, 4, 0, c in ascending order.
c, 0, 3, 4
Let n be ((-1)/2)/((-1)/(-2)). Let h = 2 + n. Let z be (0 - 8) + 63/9. Sort z, h, -4 in increasing order.
-4, z, h
Suppose -55*v + 58*v - 4*o = 9, -9 = -3*v - 5*o. Put -68, -4, v in descending order.
v, -4, -68
Suppose 5*c + 3*v - 5*v = -9, -9 = c - 4*v. Sort -14, c, -5 in decreasing order.
c, -5, -14
Let s = -2 + 5. Let g = -28.1 + 26. Let u = g + 1.1. Sort 2/7, s, u.
u, 2/7, s
Suppose 15*x + 73 - 28 = 0. Sort -8, 1, x.
-8, x, 1
Let i(j) = -7*j**2 + 13*j + 16. Let m(x) = -8*x**2 + 13*x + 17. Let n(c) = 7*i(c) - 6*m(c). Let y be n(13). Sort 2/9, y, -2.
-2, 2/9, y
Let q = -1179.4 - -1183. Sort q, -3/7, -2, -1 in ascending order.
-2, -1, -3/7, q
Let z = -12 - -25. Let b = -23 + 23. Put 2, z, b in descending order.
z, 2, b
Let l(d) be the third derivative of -d**4/8 + 5*d**3/6 + 6*d**2. Let j be l(0). Let c = 3 + -2.8. Sort 1/4, c, j in descending order.
j, 1/4, c
Let f = -169/5 + 34. Let o = 110.5 + -114. Let s = 3.2 + o. Sort f, s, -3 in descending order.
f, s, -3
Let q = -492.05 + 492. Sort -5, q, -3/2, -0.2 in ascending order.
-5, -3/2, -0.2, q
Let p be ((-72)/135)/((-2)/(-5))*-3. Suppose 0 = 2*s + 4*w - 2, -s - 3 = -p*w + 8. Put s, 3, 1, -5 in ascending order.
-5, s, 1, 3
Let i(n) = 2*n**2 + 61*n - 167. Let p be i(-33). Put p, -7, -4, 3 in increasing order.
-7, -4, p, 3
Let c = 0.0237 + -31.0237. Put c, -2/23, 0, -1/2 in ascending order.
c, -1/2, -2/23, 0
Let s(t) = -t - 3. Let c be s(-5). Suppose -c + 7 = 5*f. Sort 4, f, 3.
f, 3, 4
Suppose 5*a = -c - 12, -5*a - 3 - 3 = 3*c. Let x(k) = k**3 + 2*k**2 - 3*k - 5. Let t be x(a). Put -13, 0, t, -2 in decreasing order.
0, -2, t, -13
Let s be (-2)/(-3) - (-4)/30. Let x(t) = -t - 15. Let b be x(-10). Sort s, -2/7, b.
b, -2/7, s
Let x = -138 + 144. Let t = -1 - -4. Sort x, t, -1 in descending order.
x, t, -1
Let a(c) = c**2 + 5*c + 3. Let v be a(-2). Let g = -8 + 4. Let r be (-6)/(-39) - (-2 + 120/(-65)). Sort g, v, r in ascending order.
g, v, r
Let k = 0.1 + -0.1. Suppose 2*r - 3 = -p + 7, 2*r - 4 = 2*p. Suppose 3 = g + 1. Sort r, g, k in ascending order.
k, g, r
Suppose -2*s + 8 = 5*b + 4, 5*b - 2 = -s. Let g = 7 - 9. Put s, g, 3, 1 in decreasing order.
3, s, 1, g
Let t = -37.03 - -37. Let h = 7.03 + t. Sort 0.1, -0.5, h.
-0.5, 0.1, h
Let i(h) = h**3 + 17*h**2 + 32*h + 22. Let w be i(-15). Sort w, 1, -1.
w, -1, 1
Let x = -0.517 + 18.517. Put -1/3, x, 7 in descending order.
x, 7, -1/3
Let d = -37.3 - 4.5. Let c = 42 + d. Put c, 1/9, 4/21 in decreasing order.
c, 4/21, 1/9
Let b = 31/4 - 209/28. Suppose 25 = -5*t, -15*r = -16*r - t - 4. Sort b, r, -9 in increasing order.
-9, b, r
Let k be (3/6)/(3/(-24)). Let g be (-1 + 2)*(6 + -3). Suppose -z - z = 2*i - 4, 3 = 2*z + g*i. Sort -3, z, k in descending order.
z, -3, k
Let j be 2*((-4)/(-22) + 1479/638). Sort 1, -4, j, -5 in increasing order.
-5, -4, 1, j
Let n = 73 + -105. Let v = -29 - n. Put -5, -1, v in ascending order.
-5, -1, v
Let x = 2.7 + 0.3. Let t = -23 - -22.85. Let a = t - 3.85. Sort 4, x, a in descending order.
4, x, a
Suppose -4*j = -0*j + 48. Let l(y) = -37*y - 553. Let d be l(-15). Put j, 4, -5, d in descending order.
4, d, -5, j
Let f be (3/2)/(9/12). Let z be 2*f/112*4. Put z, 0, 0.5 in ascending order.
0, z, 0.5
Let z = 86/4025 - -3/161. Put z, 6, -0.4, 0.5 in increasing order.
-0.4, z, 0.5, 6
Suppose -3*l + 0*j + 2*j = -17, -3*l + 4*j + 25 = 0. Suppose 2*n - 3*n - 4 = 5*a, -l*a = 3*n. Sort 0.04, n, 3/5 in decreasing order.
n, 3/5, 0.04
Let n = 30 - 13.5. Let y = 34 + -51. Let v = y + n. Sort v, 2, -1/6 in decreasing order.
2, -1/6, v
Let z = -428 - -418. Put z, -0.4, 1 in descending order.
1, -0.4, z
Let o be ((2/(-5))/(-2))/1. Let y be (-4 - 3)/(-1) - 4. Suppose 2 = -y*z + 4*q + 3, 5*z + 5*q + 45 = 0. Put z, 0, o in increasing order.
z, 0, o
Let f = -751 - -751. Suppose s = -3 + 2. Put 3, -5, f, s in increasing order.
-5, s, f, 3
Let n(a) = -3*a - 41. Let i be n(-14). Put -11, i, 0 in increasing order.
-11, 0, i
Let h(n) = -n**3 + 13*n**2 + 15*n - 16. Let v be h(14). Sort 12/23, v, 0.5.
v, 0.5, 12/23
Suppose 4*o = -4*v + 92, -2*o + 7 = -5*v - 18. Suppose 0 = -3*q - 2*q - o. Let z(r) = -r**2 - 15*r + 13. Let x be z(-16). Sort q, 0, x 