 -4, c in descending order.
j, c, -4
Let l = 0.36 - -0.34. Let a = 1 - l. Let d be 5/(-6) - (-4)/6. Sort d, a, -0.5 in decreasing order.
a, d, -0.5
Let u be (-4)/(-6)*42/126. Suppose 6 = 2*p, -7*p + 4*p = -3*l - 12. Suppose -2*b = -3*q, -5*q + b = 3*b. Sort l, q, u.
l, q, u
Suppose w - 111 = -110. Put -26, -4, w in descending order.
w, -4, -26
Suppose 4*r - 2*s = 7*r - 9, 2*r - 6 = -3*s. Put 5, -5, r, -4 in descending order.
5, r, -4, -5
Let b(u) = u**2 + 22*u + 101. Let l be b(-16). Put -11, -2, l in increasing order.
-11, -2, l
Suppose 2*z + 3*u - 13 = 0, 0*z + z = -5*u + 10. Let c = -395 + 392. Sort z, -1/9, c, -2.
c, -2, -1/9, z
Let z = 148 - 152. Sort -6, 1/3, z in decreasing order.
1/3, z, -6
Let w = -11 + 15. Let d be (-19620)/234 - (8/(-26))/(-2). Let t = -105 - d. Put t, w, -1 in descending order.
w, -1, t
Suppose -4*n - 19 = -3*x, 1 = x + 3*n - 1. Let k(y) = -5*y**3 - 2*y - 1. Let t be k(-1). Sort x, 4, t in decreasing order.
t, x, 4
Suppose -32*y - 117 = 43. Put 0, y, 5, -33 in decreasing order.
5, 0, y, -33
Let m = 16 - 30. Let a(r) = 2*r**3 - 3*r**2 + 2*r + 2. Let f be a(0). Put f, -4, m, -5 in increasing order.
m, -5, -4, f
Let g = -2.35 + 2.05. Let p = 0.69 - -0.31. Sort g, p, 33 in decreasing order.
33, p, g
Let l = -53 + 35. Let d = 38 + -59. Let n = l - d. Sort n, -0.11, -5/4 in ascending order.
-5/4, -0.11, n
Suppose 12*m = 3*m + 9. Sort 2, m, -0.5.
-0.5, m, 2
Let z(n) be the first derivative of -n**4/4 - 7*n**3/3 - 7*n**2/2 + 6*n + 5. Let d be z(-6). Let b be (1 + (-44)/d)*3. Put 4, b, -4 in decreasing order.
4, -4, b
Let o(v) = 4*v**3 + 2 - v - 6*v**2 + 0*v - 3*v**3. Let p be ((-5)/(10/12))/(0 + -1). Let t be o(p). Put t, -5, 4 in descending order.
4, t, -5
Let y be (45/27)/(-1 + 8/6). Let i(f) = f**3 - f - 8. Let n be i(0). Put n, 1, y in descending order.
y, 1, n
Let c = -0.1 + 0.17. Let s = -19 + 33. Let a = -18 + s. Sort -1/7, a, c in descending order.
c, -1/7, a
Let j = -11 - -11.1. Let a = -3.68 - -3.69. Put 5, j, a in descending order.
5, j, a
Let b = -2.5 - -2. Let w = -2758 - -2759. Put w, 0.1, b in decreasing order.
w, 0.1, b
Let r = -85 + 134. Let q = -54 + r. Put q, 2/13, 3, -0.5 in ascending order.
q, -0.5, 2/13, 3
Let h be (-3 - 40/(-15))/((-1)/3). Suppose -3*k - 3 = 3. Sort -3, k, h in increasing order.
-3, k, h
Let s(z) = -3*z + 17. Let o be s(6). Let d = -8 - -6. Let p = d - 3. Sort o, p, 1 in descending order.
1, o, p
Let g(w) = 4*w - 2. Let k(v) = 3*v - 1. Let d(z) = 4*g(z) - 5*k(z). Let n be d(3). Let s(y) = y**2 + 8*y + 17. Let t be s(-5). Sort n, -3, t.
-3, n, t
Suppose 0 = -32*t + 26*t - 30. Sort t, 1, 157 in ascending order.
t, 1, 157
Let r = -157/323 + 7/19. Let d = 0.6 + -0.87. Let c = d + 1.27. Sort r, 4, c.
r, c, 4
Let t = 1.07 + 9.33. Let d = t - 5.4. Put -2/7, d, 3, -5 in ascending order.
-5, -2/7, 3, d
Let h = 3719/12 - 1145/4. Sort h, -0.5, 1/2 in descending order.
h, 1/2, -0.5
Let m = 12 - 7. Let l(d) = -d**3 - 4*d**2 - 4*d - 1. Let f be l(-3). Sort m, f, -4.
-4, f, m
Let s = -1036 + 1036.3. Put 4, s, 433 in ascending order.
s, 4, 433
Let f(x) = x**3 - 14*x**2 + 14*x - 18. Let v be f(13). Suppose h + 10 = 3*h. Put v, h, -2 in decreasing order.
h, -2, v
Suppose -2396 + 951 = 17*f. Sort f, 2, 4, 1.
f, 1, 2, 4
Let i = -20 + 17.4. Let r = -2.6 - i. Sort 1/5, r, -2/11 in ascending order.
-2/11, r, 1/5
Let z be (3/30)/((10/25)/2). Sort -2, z, 1/33.
-2, 1/33, z
Let x = -3 + -3. Let w = x + -2. Sort w, -1, 1/5 in ascending order.
w, -1, 1/5
Let t be 3 + (3 + -3)/4. Suppose -3*x + 60 = x - 5*v, 4*x = -t*v + 28. Suppose 3*u = -2*u - x. Sort u, -5, 2.
-5, u, 2
Let v = 0.172 - 0.672. Sort 2/3, v, 76 in decreasing order.
76, 2/3, v
Let w be (8/(-52) - 20/208)*-4. Sort w, -5, -2, 22.
-5, -2, w, 22
Let o = -6888/65 - -106. Put o, -2/3, -0.5, -1/5 in descending order.
o, -1/5, -0.5, -2/3
Let w = 30.73 - 31. Let n = w + 4.27. Put 1/8, n, -1 in descending order.
n, 1/8, -1
Let a = 3/47 - -20/423. Sort -0.3, a, -6, -1 in decreasing order.
a, -0.3, -1, -6
Let l be 88/(-72) + (11/9 - 1). Suppose -2*k - 15 = 3*k. Let f be 15/20*(1 - k). Sort l, 4, f.
l, f, 4
Let y be (2 + (-14)/6)/((-1)/12). Let h = -12 - -9. Put 0, y, h in descending order.
y, 0, h
Suppose 5*w - 10 = -m + 4, w = -5*m + 94. Let h = m - 18. Sort 5, 1/4, h in descending order.
5, h, 1/4
Let l be (24/(-9))/(-1*(-8)/(-6)). Put -5, -1, 19, l in increasing order.
-5, -1, l, 19
Suppose 0 = -l + 3*l - 18. Suppose -l*f + 10*f = 6. Let c(h) = h**2 - 6*h + 5. Let k be c(f). Sort k, -4, 4 in decreasing order.
k, 4, -4
Suppose 19 = -2*g - 3*b, -4*g + 2*b = -5*g - 11. Let y = g - -6. Suppose 4*k = 3*k + 4*a - 4, -3*a + 3 = k. Put y, -3, k in decreasing order.
y, k, -3
Suppose -5*l + 484 = 5*m + 1354, 3*m + 540 = 3*l. Put -5, m, 0 in decreasing order.
0, -5, m
Let p = 0.184 - 0.284. Let a = -2.4 + 2. Sort a, p, 1 in ascending order.
a, p, 1
Let u(p) be the second derivative of p**3/2 - 35*p**2/2 + 7*p - 4. Let n be u(12). Suppose l + 4 = -2*j, -l + 6 = -3*l - 2*j. Sort l, 3, n in decreasing order.
3, n, l
Let n be (-2)/6 - (-26)/6. Let t be -41 - (1 + -19)/3. Let i = -32 - t. Sort i, 5, n.
i, n, 5
Let w = 9 - 6.8. Let r = w - 2.3. Let b = -0.1 - -0.1. Sort 2/7, r, b in increasing order.
r, b, 2/7
Let q(j) = j - 9. Let x be q(0). Let b be 9/6*(-24)/x. Suppose 2 = 4*h - g, 3*h + 3 - 2 = 2*g. Sort 2, b, h.
h, 2, b
Let k(j) = 3*j**2 - 28*j + 31. Let n be k(8). Put n, 0, 4, 0.3 in descending order.
4, 0.3, 0, n
Let t = 0.3 + 0.7. Let k = -25 - -25. Suppose -4*i = -5*y, -2*i + 22 = 3*y - 0*i. Sort y, t, k.
k, t, y
Suppose -32*k + 9 + 87 = 0. Suppose 32 = -12*b + 92. Sort -3, b, k, -5.
-5, -3, k, b
Suppose 5 = i + 1. Suppose 6*q + 10 = 4*q - 2*m, -i*m - 14 = q. Let p(k) = 2*k**2 - 10*k - 5. Let t be p(5). Sort t, q, 0 in increasing order.
t, q, 0
Let w be 14/(-30) - 6/(-45). Suppose 5 - 9 = -3*i - 2*o, -4*o = -20. Sort 3, i, w in ascending order.
i, w, 3
Let l = -7.8 + 8.8. Put l, 0, 15 in increasing order.
0, l, 15
Let a be (3/(-6) + 1)*2. Sort a, 5, 4, -14 in increasing order.
-14, a, 4, 5
Let d(q) = 17 - 26 + 32 - q**2 - 22*q. Let c be d(-23). Put 5, -5, c, -3 in decreasing order.
5, c, -3, -5
Let x be 2 - (-7)/1 - 0. Suppose 0*m = -3*m - 180. Let s = -422/7 - m. Sort s, x, -0.5.
-0.5, s, x
Let o(x) = 3*x - 4. Let f be o(-4). Let i be (-3)/(-3)*(-28)/7. Sort 4, i, f, -5 in increasing order.
f, -5, i, 4
Let q be (15/(-6) - -2)*-6. Suppose -2*b - q + 13 = 0. Suppose 0 = 4*g - b*g + 3, -g = 3*m - 3. Sort 1, -5, m.
-5, m, 1
Let b = -9.9 - -0.9. Let w = 95 + -88. Let n = w + b. Put n, 3, 1/3 in descending order.
3, 1/3, n
Let a(i) = -5*i + 43. Let w be a(11). Let j be 0 + (0 - w/(3/1)). Let h(n) = n**2 - 6*n + 3. Let t be h(5). Put t, 1, j in increasing order.
t, 1, j
Let g(n) = -n**2 + 1 - 10*n + 6 + 2 - 24. Let z be g(-7). Suppose 2*y + 38 - z = 0. Sort 2, y, -2 in ascending order.
y, -2, 2
Let a = 389 - 394. Put -2, 1, 0, a in decreasing order.
1, 0, -2, a
Let v = 0.026 - 0.236. Let f = v + 2.21. Let y be 2/((-2)/(-5)) + 0. Sort 3, f, y in descending order.
y, 3, f
Let y be (-4)/42 - (-2)/(-6). Let j be -2 + (-226)/10 - (-6)/(-15). Let w = -19 - j. Sort y, 2, w in descending order.
w, 2, y
Let i be ((360/84)/(-15))/(3/(-7)). Sort 16, 0.2, -0.1, i in decreasing order.
16, i, 0.2, -0.1
Suppose 0 = 2*u - 4 + 10. Let a be (-2)/(-4)*96/4. Suppose x + a = -4*r, -2 = -2*r - r + 2*x. Sort r, -1, u in increasing order.
u, r, -1
Let n be (-1 + 4)/(6/(-72)). Let k = n + 357/10. Let t = 0.2 + -1.2. Sort k, 0.2, t in increasing order.
t, k, 0.2
Let l(k) = -k**3 + k**2 - k - 3. Let r be l(4). Let f = r + 61. Put f, 4, 0 in descending order.
f, 4, 0
Let a(x) = -x**3 + 2*x**2 - 2*x + 1. Let p be a(2). Let q(j) = j**2 + 23*j + 126. Let m be q(-13). Let o be ((-8)/6)/((-2)/6). Sort p, o, m in increasing order.
m, p, o
Let v = -13 - -7. Let l = v - 0.5. Let c = 1.5 + l. Sort c, 2, 4.
c, 2, 4
Suppose 0 = 10*z - 2*z + 128. Let t = 13 + z. Sort 0.3, 1, t, 15 in decreasing order.
15, 1, 0.3, t
Let z = 48 - 46. Let n = 7 - 11. Put 3, z, -14, n in decreasing order.
3, z, n, -14
Let r = -1322 - -1324. Let h(u) be the first derivative of u**4/4 + 7*u**3/3 + 2*u**2 - 3*u - 2. Let g be h(-6). Sort 4, g, r in decreasing order.
g, 4, r
Let y = 49 + -27. Let k = 22.6 - y. Let u = 0.4 - k. Put