s be a(0). Put u, m, s in descending order.
u, s, m
Let y = -139/3 - -46. Let p = -17 + 12. Put y, p, 1/4 in decreasing order.
1/4, y, p
Let g = -3 - -2.8. Let p = 0.35 - 0.05. Let n = g + p. Sort -1/4, n, 2/7 in increasing order.
-1/4, n, 2/7
Suppose -3*y - 24 = -69. Let z be (-1)/(-1*3/y). Sort -2, 1, z.
-2, 1, z
Let n = 14 + -28. Let u = n + 15. Put u, 2/5, 1/2 in ascending order.
2/5, 1/2, u
Let j be (2/4)/(1/(-4)). Let x = -1 - 4. Let u = -2 - -7. Sort u, j, x in decreasing order.
u, j, x
Suppose 5*b + j - 15 = -0*b, j = 5. Put -2, -7, b, 5 in descending order.
5, b, -2, -7
Let n be 18/((-12)/(-4)) + -1. Suppose 15 = n*k - 5. Sort 0, -2, k.
-2, 0, k
Let y(x) = -x**2 + x + 1. Let b be y(2). Let w be (b/2)/(5/(-40)). Sort 5, 1, w.
1, w, 5
Let a = 17.5 + -2.5. Let u = 10 - a. Sort 0.5, u, -0.05.
u, -0.05, 0.5
Suppose 0 = -5*l - 2*q + q - 24, 0 = 5*l - 3*q + 28. Let c = -72.69 + 73. Let g = -0.01 + c. Put l, g, 4 in increasing order.
l, g, 4
Let m = -5.8 + -0.7. Let b = 7 + m. Put 3, -1, b in decreasing order.
3, b, -1
Suppose 0 = -4*h - 3*i, -4*h = 3*i + 2*i. Suppose -5*y = 3 + 2. Sort -2, y, h in ascending order.
-2, y, h
Let g(m) = -2*m - 31. Let b be g(-16). Sort -2, b, 1/4 in decreasing order.
b, 1/4, -2
Let t(z) = -z**2 + 6*z + 5. Let y be t(7). Suppose 0 = -2*u - 5 - 3. Let c be 1/((1 + -3)/u). Sort c, y, -3.
-3, y, c
Let j be 2/4*12/3. Let o be 1 + (j + -8 - 0). Let i(h) = -2*h**2 - h + 2. Let g be i(-2). Sort o, g, 1.
o, g, 1
Let c = 2 + -2.7. Sort c, 5/3, 2/9 in decreasing order.
5/3, 2/9, c
Let d = -3 + 3.05. Let j be ((-47)/(-15) + -3)/(42/(-35)). Sort -1/3, j, d in descending order.
d, j, -1/3
Let o = 1/52 + -7/26. Sort o, -1/5, 2/9 in descending order.
2/9, -1/5, o
Let a(n) = 4*n + 5*n + 0*n. Let w be a(1). Let s be 25/w - 4/(-18). Put -5, -1, s in increasing order.
-5, -1, s
Let f(m) = 2*m - 9. Let t be f(5). Let a be 9/2*(-12)/(-9). Let o(z) = -2*z + 8. Let n be o(a). Sort 0, t, n in increasing order.
n, 0, t
Let x = -7 + 25. Let z = x - 22. Put 1, 1/7, z in decreasing order.
1, 1/7, z
Let h(l) = -l**3 + 2*l**2 - l - 1. Let v be h(1). Sort v, 3, -2/13.
v, -2/13, 3
Suppose -m = -3*g + 14, -2*m + 5*g - 32 + 8 = 0. Suppose 3*r = -0*r + 15. Suppose 0 + 5 = r*p. Sort p, m, -3.
-3, m, p
Let a = 3 - -1. Let l = a - 5. Sort 3, l, -4 in descending order.
3, l, -4
Let j(w) be the second derivative of -w**5/20 + 3*w**4/4 - 7*w**3/6 - 3*w**2 - 6*w. Let o be j(8). Sort o, 3, -4 in decreasing order.
3, o, -4
Let r be -5 - 0 - 1/1. Let b be 3 - r/(-9)*-3. Suppose 0 = 7*u - b*u - 4. Put 0, u, -3 in ascending order.
-3, 0, u
Suppose 3*m + 4*a - 5*a = 15, 5*a + 27 = 3*m. Let k(y) = y**2 + 1. Let b be k(-2). Put -2, m, b in ascending order.
-2, m, b
Let z be (-54)/(-7) - 2/(-7). Suppose 0 = q - 28 + z. Suppose 0*y - 5*y + c + q = 0, -14 = 2*y + 4*c. Put -1, y, -5 in descending order.
y, -1, -5
Let f(d) = -3*d - 3. Let l be f(4). Let y be -2 + (l/(-4))/3. Let v = -55 + 53. Sort v, y, -1 in increasing order.
v, -1, y
Suppose -y - 4*y = x - 1, 4 = -2*x - 4*y. Let i(k) = -k**2 + 4*k + 3. Let g be i(4). Sort g, x, -1 in increasing order.
x, -1, g
Let b = -12 + 18. Suppose -5*j + 2*r = 7*r, 5*j + 50 = 5*r. Sort j, b, 3 in ascending order.
j, 3, b
Let o be (4 + (-6)/9)/((-2)/6). Sort o, 1, -3, 5 in decreasing order.
5, 1, -3, o
Let k be 1 - (0 + 2 - 3). Let r be 2/4 - 5/k. Let f be 252/(-48) + 1*(-1)/(-4). Put f, r, 3 in decreasing order.
3, r, f
Let y = -34.4 - -34. Sort y, 0.4, 4, -0.11 in descending order.
4, 0.4, -0.11, y
Suppose 28 = -2*j + 5*h, 4*h - 2 - 18 = j. Sort j, -11, 3, 4 in increasing order.
-11, j, 3, 4
Suppose 5*g + 0*g = -3*l + 1109, 5*g = -l + 1103. Let w be 2/(-7) - g/(-35). Suppose -3*u = -0 + w. Sort u, -5, 2 in increasing order.
-5, u, 2
Let q(u) = -u**2 - 8*u - 7. Let y be q(-6). Suppose 0 = 5*i + 4*i + 9. Put y, 1, i in ascending order.
i, 1, y
Let j be (-174)/11 - (-6)/(-33). Let n be 17/35 + j/56. Sort -2/9, n, -5 in increasing order.
-5, -2/9, n
Let r be 56/(-20) + (1 - -1). Sort 2, r, -3/5.
r, -3/5, 2
Suppose 4*c + 8 = 28, -2*c = -4*n - 10. Suppose n = 3*k + 19 - 7. Sort -0.2, k, 6 in descending order.
6, -0.2, k
Let q = -0.1 + 0.1. Let f = q - -0.2. Let p = 85 - 84.6. Put p, f, 2/7 in increasing order.
f, 2/7, p
Let l(i) = -i**3 + i - 1. Let v be l(0). Put 0.1, 5, v in descending order.
5, 0.1, v
Let m(r) = 4*r - 2*r - 5*r + 2*r. Let a be m(-5). Put a, 0, -3 in descending order.
a, 0, -3
Let s = -99 - -98.7. Put -38, s, -0.2 in ascending order.
-38, s, -0.2
Let j = -5/3 - -17/12. Sort -1, -0.5, 0.2, j in decreasing order.
0.2, j, -0.5, -1
Let d = 0.6 - 0.1. Let g = 3.6 + 0.4. Put g, 2, d in descending order.
g, 2, d
Let f = -42 - -251/6. Let s = 116/15 + -689/60. Let r = s - -4. Put f, r, 0 in decreasing order.
r, 0, f
Let b = -15 - -26. Let n = 10.5 - b. Let q be (-4)/(-14) - (-17)/(-35). Sort 1/10, n, q.
n, q, 1/10
Let b(u) = u - 2. Let y be b(-4). Put -4, y, 4 in decreasing order.
4, -4, y
Let d(k) = k**3 - 10*k**2 + k - 12. Let w be d(10). Sort 2, w, -41 in increasing order.
-41, w, 2
Let b = 2.008 + -0.008. Sort 0.2, -4/3, b.
-4/3, 0.2, b
Let r(w) = -2*w**3 - 2*w + 1. Let a be r(1). Let g be 4/a*(-12)/(-8). Sort 2, -5, g.
-5, g, 2
Suppose 3*h - 4 = -16. Sort -8, h, -1 in descending order.
-1, h, -8
Let a = -212/3 + 640/9. Let x = -0.3 + 0.8. Let y be (6/4)/((-45)/(-18)). Put y, a, x in descending order.
y, x, a
Let b = 7 + -14. Let m = 8 + b. Sort m, 4, 0.5.
0.5, m, 4
Let w = -54 + 58.2. Put -5/2, w, 0.1 in descending order.
w, 0.1, -5/2
Suppose -4*z - 6 = -2*z. Let w be 2*-2 - (180/21)/(-2). Put z, 0.5, w in ascending order.
z, w, 0.5
Let a be 15/(-10)*4/3. Sort 3, a, -12 in decreasing order.
3, a, -12
Suppose 3*r = 2*r. Suppose -3*a + 5*a + 2 = r. Suppose -b + 16 = -5*b. Sort a, 1, b in decreasing order.
1, a, b
Let c = 25 - 32. Sort c, -5, 0, -3.
c, -5, -3, 0
Let w = 9 + -4. Suppose -n - f = 2, 0 = 2*n - 3*n - 4*f - 14. Suppose n*b + 2 = -0*b. Sort b, 4, w.
b, 4, w
Suppose -4*b + 3 - 15 = -4*d, -2*b - 11 = -3*d. Let h(j) = j - 1. Let z be h(b). Suppose t = -z + 6. Sort -1, 4, t in increasing order.
-1, 4, t
Let l = -12 + 12. Suppose y + 8 = 5*y. Let v(a) = 2*a - 2. Let z be v(y). Put l, -5, z in descending order.
z, l, -5
Let o = 2763/11 - 251. Let r = 0.46 + 1.44. Let q = 0.1 + r. Sort q, o, -1/2 in increasing order.
-1/2, o, q
Let b = 0.03 + -15.03. Let a = b + 10. Let k = -0.7 + 3.7. Put -1, k, a in ascending order.
a, -1, k
Let k = -21.4 - -24.38. Let u = k - -0.02. Put u, -1/13, 0.3 in increasing order.
-1/13, 0.3, u
Let l be 42/(-9) + 2/(-6). Let m = -6 + 11. Sort -3, m, l.
l, -3, m
Let g(v) = v**3 - 10*v**2 + 10*v - 13. Let p be g(9). Sort 5, p, 0.01, 3/5 in decreasing order.
5, 3/5, 0.01, p
Suppose -t + 3*t = 5*d + 37, -5*t = 5*d + 65. Put -5, -0.1, d in descending order.
-0.1, -5, d
Let u be (-1)/(-2) + 15/(-22). Let z = -34154 - -1741796/51. Let k = z - -8/17. Sort -4, k, u.
-4, k, u
Let y = -86/3 - -28. Let z = -0.7 + -0.3. Let c = 1.1 + z. Put c, 0, y in ascending order.
y, 0, c
Let u be -4 + (3 - 1) - -5. Sort -8, 1, -2, u in descending order.
u, 1, -2, -8
Suppose 3*p + 0*p + 15 = 0. Sort 2, -3, p in increasing order.
p, -3, 2
Let k be (7 - 19) + 1/1. Let o = -12 - k. Let t be ((-6)/(-4))/(3/(-4)). Sort o, 2, t in descending order.
2, o, t
Let w = -43 - -66. Suppose -4*p - w + 7 = 0. Sort p, -1, -1/3 in descending order.
-1/3, -1, p
Let n = -3.5 - -0.5. Let u = -2.7 - n. Let p = -0.3 - -0.2. Sort -2, p, u in decreasing order.
u, p, -2
Let b be (12/(-3) - 1)*3. Let d be ((-6)/b)/(3/(-60)). Sort 4, -4, d in descending order.
4, -4, d
Let o be 2*-2*4/16. Suppose 2 = 3*b - q + 2*q, -10 = 5*b - 5*q. Sort -0.1, b, o in decreasing order.
b, -0.1, o
Suppose -9 - 1 = -5*v. Let d(x) = 5*x + 6*x**2 + 0*x**v - 4*x**2 - x**2 + 1. Let g be d(-2). Put -4, g, 1 in decreasing order.
1, -4, g
Let n = 0 + 4. Let d = n + -3. Sort -2, d, 3 in descending order.
3, d, -2
Suppose -5*j - 11 = -41. Let i be (-8)/j*18/12. Put i, -3, 4 in increasing order.
-3, i, 4
Let k = -1.87 - 0.11. Let s = k + -0.02. Sort 5, 0.4, s in decreasing order.
5, 0.4, s
Let n = -9 + 10. Let z be (-1 - -13)*(-2)/(-3). Put n, -4, z in descending order.
z, n, -4
Let q be ((-4)/(-4))/(-8) + 2/(-16). Sort q, 4, -2/23, -2 in descending order.
4, -2/2