 0 in descending order.
5, 0, j, -7
Let x be 5/7*4/10. Let o = 0.3 + 0.02. Let w = -0.18 - o. Sort w, 1/7, x in increasing order.
w, 1/7, x
Let o(a) = -7*a**3 - a**2 - 6*a + 4. Let h(f) = 8*f**3 + 2*f**2 + 6*f - 4. Let y(d) = -6*h(d) - 7*o(d). Let k be y(4). Sort 1, -4, k in ascending order.
-4, 1, k
Let v be (-3 + 1)/(6 + 1). Let d be (-48)/120 - (1 + -5)/(-20). Sort v, d, 0.2, -29 in increasing order.
-29, d, v, 0.2
Let x = -375 - -373. Sort x, 1/7, 11/5.
x, 1/7, 11/5
Let r = -0.093 + 0.423. Let m = r + 0.17. Sort 0.02, 2, m in ascending order.
0.02, m, 2
Suppose 0 = 4*a - 3*a + 11. Let l(j) be the third derivative of j**4/12 + 17*j**3/6 - 15*j**2. Let h be l(a). Sort h, 1, 0 in decreasing order.
1, 0, h
Let g = 0.24 + 11.76. Let d = 15 - g. Put d, 3/8, 0.3 in decreasing order.
d, 3/8, 0.3
Suppose -2*b - 19 = -3*p - 7, -4*p = -3*b - 17. Suppose 0 = p*m + 4 + 4. Put m, -2, -1 in descending order.
-1, -2, m
Suppose 2*u = -d + u - 25, 3 = -3*u. Let q be 3*18/(-189) + d/14. Suppose k + 0*k = -4. Put q, 2, k in ascending order.
k, q, 2
Let l = -0.09 + -6.91. Let d = 6 + l. Sort 4, -3/8, d, -4 in descending order.
4, -3/8, d, -4
Suppose -5 + 15 = 5*q. Let d(r) = 15*r - 146. Let j be d(10). Sort q, 3, j.
q, 3, j
Suppose 3*g = -5*k + 8, 4 = -k - 1. Put 3, g, 2, 0.1 in decreasing order.
g, 3, 2, 0.1
Suppose 9*l = -3*z - 30, z + 2*l + 0 + 6 = 0. Sort 43, -1, 4, z in ascending order.
-1, z, 4, 43
Let j = -19 - -19. Suppose -2*p + 1 = 3*h, -3*p - 26 = -j*p - h. Put p, 4, 2 in decreasing order.
4, 2, p
Let m be ((-175)/(-20))/(-5)*-12. Suppose 2*r = -3*p - r - m, -p - 22 = 4*r. Sort p, -3, 5, -11 in descending order.
5, p, -3, -11
Let c be (3 + 0)/(6/20). Let v(u) = -6*u**2 - u**2 - 4*u**2 + 14*u**2 - 2*u**2 - 9*u - 7. Let g be v(c). Sort g, -5, -2 in decreasing order.
g, -2, -5
Let t = 395 - 393. Sort -4, t, -11, 9 in decreasing order.
9, t, -4, -11
Suppose -2*a - 70 = -2*h, 149 - 40 = -3*a + 4*h. Let d = a + 36. Sort 13, 3, d in decreasing order.
13, d, 3
Let g be 23/(-138) - 7/(-6)*-11. Let f be (-14)/36*g - 5. Sort 4/5, -1/9, f in descending order.
4/5, f, -1/9
Let n = 6.107 - 1.107. Put -3, n, -1.38 in descending order.
n, -1.38, -3
Let u be -161 - (0 - -5) - -3. Let m = 159 + u. Sort 0, -5, m, -3 in increasing order.
-5, m, -3, 0
Suppose k - 4*d = -12 - 6, 3*k + d - 11 = 0. Suppose -2*x = k*l, 3*x = -5*l + 1 - 11. Sort x, -5, -7.
-7, -5, x
Let w = 79 + -80. Let a be 4/(-10) - 2/(-10). Sort a, 1, w in increasing order.
w, a, 1
Suppose 0 = 5*t - 3*t - 6. Let j be (-3)/(t/(-12) + 1). Suppose 10 = -h - 4*u, 2*h + 6 + 6 = -4*u. Put j, 4, h in increasing order.
j, h, 4
Let p be (-2496)/780*((-15)/(-2))/3. Sort 1, p, 2 in increasing order.
p, 1, 2
Suppose 0*s = -2*s + 6. Suppose 5*x + 5*u = 0, -5*u + 29 = -3*x - 11. Let d(p) = -p**3 + 11*p**2 - 3*p + 33. Let a be d(11). Sort a, s, x in ascending order.
x, a, s
Let a = -308 - -611/2. Sort 2, a, 0 in descending order.
2, 0, a
Suppose 13 + 3 = 4*h. Let y be ((-12)/(-1068))/((-2)/h). Let v = -283/712 - y. Sort v, -0.3, 2 in decreasing order.
2, -0.3, v
Let s = 55 + -57. Let n = -0.05 + -4.95. Let r = s - n. Sort r, 1/5, -1/3 in increasing order.
-1/3, 1/5, r
Suppose n - 44 = -32. Suppose f + 6 - n = 0. Sort -4, -5, f in decreasing order.
f, -4, -5
Let z(o) be the first derivative of -o**2/2 - 8*o - 3. Let k be z(-6). Sort k, 0.3, -4.
-4, k, 0.3
Suppose 30*o - 38*o - 24 = 0. Put -28, -2, -4, o in descending order.
-2, o, -4, -28
Let r(v) = -35*v + 247. Let t be r(7). Let a(g) = g**3 - 6*g**2 + 5*g - 5. Let z be a(5). Sort z, t, -3, -1 in increasing order.
z, -3, -1, t
Let u(n) = -5*n + 81. Let a be u(22). Put -2, a, 4 in descending order.
4, -2, a
Let f(z) = 2*z**2 + 21*z + 59. Let o be f(-6). Put 0, o, -4, -6 in decreasing order.
o, 0, -4, -6
Let n = 509 + -510.1. Put 0.2, -0.4, n, -2/15 in decreasing order.
0.2, -2/15, -0.4, n
Let r = 77.8 - 54.8. Put r, 2, -3, -2/17 in descending order.
r, 2, -2/17, -3
Let c = -5.5 - -5.2. Let a = -0.95 + 0.92. Sort a, 1, c in descending order.
1, a, c
Let s = 0.83 - 0.53. Let p be (-2 + 7/4)*2. Sort -1/4, p, s in ascending order.
p, -1/4, s
Suppose 0 = r + r - 8. Suppose 2*b = 3*b - r. Let w be (-4)/14 + 162/(-756). Put 12, b, w in descending order.
12, b, w
Suppose -52 = 6*b + 122. Let l = -29 - b. Suppose -5*o + z = 27, -6 = -l*z + 2*z. Put 2, -5, o in increasing order.
o, -5, 2
Suppose 0 = 2*c - 2*h + 32, -4*h = -c - c - 40. Sort -4, -1, c, 1 in descending order.
1, -1, -4, c
Suppose -1 - 11 = 4*f + 4*v, -11 = -3*f + 2*v. Let j = -0.3 - 0.1. Sort j, -4, f in increasing order.
-4, j, f
Let y = -14.1 - 45.9. Let l = 53 + y. Let x = -1.6 + 2. Put x, 4, l in decreasing order.
4, x, l
Suppose -49*s + 1104 = -3*s. Sort 4, s, -1.
-1, 4, s
Let r = -2 + 4. Let q = 45.02 - 44. Let w = 0.02 - q. Sort w, r, -0.1 in ascending order.
w, -0.1, r
Let a = -0.1 - -0.21. Let t = a + -4.11. Suppose -5 = -9*o - 32. Put o, 1, t in descending order.
1, o, t
Let a(g) be the first derivative of 4 + 2/3*g**3 + g + 1/2*g**2. Let y be a(-1). Sort 3, -1, y in increasing order.
-1, y, 3
Let r(l) = -l**3 - 6*l**2 - l - 55. Let g be r(-7). Sort g, -5, 28 in increasing order.
-5, g, 28
Let b = -2.32 + 0.32. Sort 5, 0.2, b, -0.4 in ascending order.
b, -0.4, 0.2, 5
Let d = 58/17 - 157/51. Let z = -1 + 0. Sort -5, z, -1/2, d in increasing order.
-5, z, -1/2, d
Let d = 362 - 367. Sort -1, d, 3 in descending order.
3, -1, d
Suppose -34*f + 40*f = 18. Put -2, f, 27 in increasing order.
-2, f, 27
Let y = -8 + 12. Let v be (-2)/((16/(-6))/(64/(-48))). Sort v, 5, y.
v, y, 5
Suppose 3*i + 3 + 3 = 0. Let r(q) = -2*q - 16. Let t be r(-10). Sort -0.04, i, t, 1.
i, -0.04, 1, t
Let g(w) be the third derivative of w**5/60 + 5*w**4/12 + 9*w**3/2 + 11*w**2. Let a be g(-5). Let n = 4 + -9. Sort a, -6, n in descending order.
a, n, -6
Let r = -35 + 35.06. Let a = r - 4.06. Let s = -8 + 2. Sort 1, s, a.
s, a, 1
Let m = -2.965 - 0.035. Let l = -71 - -73. Put 3, l, 2/11, m in decreasing order.
3, l, 2/11, m
Let t = -82 + 87. Put 0.07, 3, t in descending order.
t, 3, 0.07
Let y = -448.3 - -320. Let a = y - -128. Sort -1/8, -2, a.
-2, a, -1/8
Suppose -511*u = -520*u + 405. Put u, -4, -3, 5 in descending order.
u, 5, -3, -4
Suppose 4*y = 0, 0 = 5*d + 5*y - 3*y - 50. Let j(f) = -f**3 - 6*f**2 - 3*f - 3. Let v be j(-5). Let k = d + v. Sort -4, k, -1 in descending order.
-1, k, -4
Let x = -33.59 + 34. Let v = x + 0.09. Put -0.01, -1, v in ascending order.
-1, -0.01, v
Let n = -27 + 26.9. Sort 1/7, 1, n in decreasing order.
1, 1/7, n
Let v = 0.562 - 0.362. Put 1, -13, v in descending order.
1, v, -13
Suppose -21*m = 3*s - 16*m - 3, -3*s + 2*m = -3. Put s, -40, 0 in descending order.
s, 0, -40
Let r = 0.1041 + -0.6041. Let v = -849803/495 + 15476/9. Let c = 13/5 - v. Sort -5, r, c.
-5, r, c
Let w = 27.178 + 0.022. Let l = -27 + w. Let t be (-4)/14 - (-57)/(-21). Sort -2, l, t.
t, -2, l
Let t be (-4)/(-6)*(-21)/7. Let q be (-39)/(-2)*t/(-3). Suppose -w = -d + 5 - 2, d + 4*w = q. Put 3, d, 0 in increasing order.
0, 3, d
Let a = -4 + 4. Suppose -4*v + 0*v - 4 = 4*r, 5*r + 10 = 0. Suppose 2 = -q + v. Put a, q, -2 in decreasing order.
a, q, -2
Let w = 0.12 - -2.08. Let p = -0.8 - w. Let y = -27.11 - -27. Sort y, 4, p in ascending order.
p, y, 4
Let f = 0.1 - 1.1. Let v = -16 + 26. Let x = v + -15. Sort 0.5, x, f.
x, f, 0.5
Let q = 6.7 - 7. Let b be (-7)/(-4) + 3706/(-1496). Put 3, b, 0, q in descending order.
3, 0, q, b
Let s(p) = p**3 + p**2 - 2*p + 1. Let m be s(-2). Suppose 0 = w - 0*w + m. Suppose -2*h + h - 2*q - 3 = 0, 5*h + 15 = -5*q. Put w, -2, h in descending order.
w, -2, h
Let g = -1072 - -11794/11. Let o = -7 + 5. Let z = o + 1.5. Put z, g, 0.3 in descending order.
0.3, g, z
Suppose -4*x - 8 = 8. Let k be 1*8*(-6)/6. Let u be 4/(-8)*k - 0. Sort 1/6, x, u in descending order.
u, 1/6, x
Suppose 0 = -4*s + 4*b - 16, b - 6 = s + s. Let q be (-1 + 30/28)*s. Let v = 587 + -585. Sort -1, q, v.
-1, q, v
Let z = -1/45 + -8/45. Sort 34, z, -5 in descending order.
34, z, -5
Let p = 125466.993 + -125391. Let q = 76 - p. Sort q, -1, 3/8 in decreasing order.
3/8, q, -1
Let n(d) = 7*d + 27. Let a be n(-4). Let k = -6 + 7. Sort 3, 0, a, k in increasing order.
a, 0, k, 3
Let b(x) = x**3 - 3*x**2 + 2*x - 24. Let m be b(4). Sort m, 9, -7.
-