der.
k, -0.1, n
Let a(o) = -2*o. Let y be a(2). Let d = -7 - y. Let v = 9 - 4. Sort d, v, 2 in descending order.
v, 2, d
Let x = -277/1540 - -10/77. Put -5, x, 1/5 in ascending order.
-5, x, 1/5
Let b = -14.2 + 17.2. Let x be ((-24)/36)/((-22)/(-6)). Sort 0, b, x.
x, 0, b
Suppose 2*x - 3*s - 15 = x, -20 = -2*x + 4*s. Let t(y) = -4*y + 11. Let k be t(0). Let q be (4 + -3)/(k/(-2)). Sort q, x, 0.2 in ascending order.
q, x, 0.2
Let d = 0.034 - -51.966. Let z = d + -57. Let p = -3.2 + 3. Put p, 3, z in descending order.
3, p, z
Suppose -23*w + 375 = 329. Suppose t + 4*a + 2 = 0, -t - 2*a - 36 = 2*t. Sort t, 3, w in decreasing order.
3, w, t
Suppose 2*z - 6*z + t = -4, 3*z - 18 = -3*t. Sort z, 5, 1/4, -3/5.
-3/5, 1/4, z, 5
Let s = -228 - -1369/6. Put -1/3, 7/3, s in decreasing order.
7/3, s, -1/3
Let a = -3 - -4. Let l = 137 - 136.97. Sort a, l, 3/4 in increasing order.
l, 3/4, a
Let j = 113/165 + -1/55. Let l = -13 + 33. Let h = l + -16. Put -4, h, j in increasing order.
-4, j, h
Let j = 300 - 298. Sort -1, 3, j, 4 in decreasing order.
4, 3, j, -1
Let h = -52 + 55. Suppose -5*v + 16 = 11. Put -3, -7, h, v in decreasing order.
h, v, -3, -7
Let u = -40 - -2. Let f = -0.818 - 36.482. Let g = f - u. Sort g, -0.3, -3 in increasing order.
-3, -0.3, g
Let y = 12.2 - -2.8. Let j = y - 15. Put 4/9, 0.1, j in increasing order.
j, 0.1, 4/9
Suppose 6*n = 4*n. Suppose -3*p - 12 = n, 3*z - 3*p + 0*p = 3. Put 6, z, -1 in increasing order.
z, -1, 6
Let s = 214 - 212. Suppose 0 = -2*h - 3*h + 35. Suppose -h*d + s*d = 15. Sort 2, 5, d.
d, 2, 5
Suppose 11 = -h - h - 3*r, -3*h - 4*r = 14. Let s be (-1 + 0 - 1)*h. Let m be 4*(-10)/15 - 3/9. Sort m, -1, s in decreasing order.
-1, m, s
Suppose 0 = 7*k - 18*k + 242. Sort k, 2/7, -0.3 in ascending order.
-0.3, 2/7, k
Let v = -1.36 - -17.36. Sort -0.5, 3, -2/7, v in increasing order.
-0.5, -2/7, 3, v
Let p = -149 - -133. Sort -3, -2, p in decreasing order.
-2, -3, p
Let y = 191031/8 - 23825. Let w = y + -54. Let c = -37/2 - -331/18. Sort c, w, 5 in increasing order.
w, c, 5
Let a = -51.9 + 51.7. Put -0.04, 0.4, a in decreasing order.
0.4, -0.04, a
Let k = -0.0967 + -0.9033. Sort -18, -0.3, -3/5, k in increasing order.
-18, k, -3/5, -0.3
Let h = -10 + 5. Let q = h + -10. Put -0.5, q, 0 in ascending order.
q, -0.5, 0
Let l = -1 - -11. Let p = 9 - l. Let z = 1 + -1.1. Put p, -1/22, z in descending order.
-1/22, z, p
Let o = 12 - 12.025. Let t = -0.375 + o. Let m = 0.4 + -3.4. Sort 2/15, t, m in descending order.
2/15, t, m
Let n = 379.2 + -379. Let p = -0.4 - -1.9. Sort p, -2, n.
-2, n, p
Let l be (-3)/(2*21/28). Put 1, -1, l, -5 in decreasing order.
1, -1, l, -5
Let d(u) = 2*u**2 + 11*u. Let j be d(-7). Let w = -22 + j. Sort w, -10, -2.
-10, -2, w
Let z be (-176)/(-55) - (0 - -3). Let m = -0.02 - -2.02. Let b = 1 - m. Sort -5, b, z in decreasing order.
z, b, -5
Suppose 0*x - x = 0. Let m be -17 + (-664)/(-40) - (-8)/(-5). Put 13, m, x in descending order.
13, x, m
Let x = 1 + -0.7. Let g = -2.9 + 3.2. Let b = x - g. Put b, -3/2, 1/5 in descending order.
1/5, b, -3/2
Let o = 225 - 227. Sort -9, -1, -4, o in descending order.
-1, o, -4, -9
Suppose 4*h + 87 = -5*v, -38 = 2*v + 4*h - 8. Let w = v + 19. Suppose w = 4*l + 16 + 16. Put 1, l, 2/11 in ascending order.
l, 2/11, 1
Suppose 0 = -4*c - c. Suppose 5*p + g + 11 - 1 = 0, 0 = 2*g + 10. Let y be (3/(-2 - 1))/p. Sort c, y, -1 in ascending order.
-1, c, y
Let j(p) = -p**2 - 3*p + 3. Suppose 0 = w + 4 - 0. Let r be j(w). Let l be -4 - ((-8)/(-12)*-1)/(4/54). Put r, 8, l in descending order.
8, l, r
Let s = 2.3 - 0.3. Let d = -1.72 + s. Let o = 0.78 - d. Put o, 0.3, 0 in decreasing order.
o, 0.3, 0
Let a = 968/3 - 328. Let l = -5 - a. Sort l, 1/6, 2/3 in ascending order.
1/6, l, 2/3
Suppose 15 = 6*d - 9*d. Put 2, 4, d in decreasing order.
4, 2, d
Suppose 2 = 3*q - 4*q. Let m(p) = -p**2 - 7*p - 4. Let k be m(-5). Suppose 4*b = -k - 6. Put 3, b, q in increasing order.
b, q, 3
Let m = 1.5 + -6.5. Let y = -280 + 278. Put 13, y, m in descending order.
13, y, m
Suppose -2*h - 4 = 2. Let a = 12 - 1. Suppose -12*q = -a*q - 4. Sort -1, q, h.
h, -1, q
Let k = -181 - -365/2. Let r = -0.1 + 0. Sort 0.5, r, k in descending order.
k, 0.5, r
Let k be ((6/45)/(-1))/(18/81). Let g = 6 + -1. Sort k, g, -4 in descending order.
g, k, -4
Let z = 3 + -5. Let b(q) = -q**2 - 7*q - 7. Let p be b(-3). Put z, p, 12/11 in decreasing order.
p, 12/11, z
Suppose -31 + 31 = 48*a. Sort 2, a, 13, -3 in decreasing order.
13, 2, a, -3
Let i be (-168)/(-80) - -1 - 15/5. Sort 4, i, -82 in decreasing order.
4, i, -82
Let f(t) = -6*t**2 + 149*t + 22. Let n be f(25). Sort 3, 2, 0, n in increasing order.
n, 0, 2, 3
Suppose 3*t + 3*c - 27 = -2*c, 2*c - 2 = t. Suppose -616 + 6532 = -76*u - 128*u. Sort t, -3, u in descending order.
t, -3, u
Let d(j) = j**3 - 44*j**2 + 40*j + 126. Let q be d(43). Sort q, -4, -5 in ascending order.
-5, -4, q
Let x = 0.337 + -0.037. Let p = -29 - -29.1. Sort p, -2.2, x in increasing order.
-2.2, p, x
Let a be 2/4*2 + 0. Let k = 6.7611 + -0.7611. Let h be (-25)/(-10) + (-1)/2. Sort k, a, h in descending order.
k, h, a
Let p = -326/15 - -1319/60. Sort -0.2, 0.3, p, 5 in ascending order.
-0.2, p, 0.3, 5
Let i = 4.84 + -5.24. Sort 3/4, -1, -2/9, i in increasing order.
-1, i, -2/9, 3/4
Let u = 622 - 626. Put -5, -12, u, 5 in increasing order.
-12, -5, u, 5
Let t = 3381 + -3378.981. Let b = -0.019 + t. Let x = -29/15 + 4/15. Put x, b, -4/9 in ascending order.
x, -4/9, b
Let t = -74/25 - -616/225. Let o = 0 + 5. Put t, o, -5 in decreasing order.
o, t, -5
Suppose 19*a = 21*a + 2. Put 14, a, -2 in descending order.
14, a, -2
Let r(l) = -l**2 - 3. Let t be r(-3). Put -0.4, -1/3, t, -3 in descending order.
-1/3, -0.4, -3, t
Let o be (-52)/(-16) + (-1)/4. Suppose 3*a = 5*k + 46, 4*a = k + 2*k + 32. Let h = k - -18. Put h, 2, o in increasing order.
2, o, h
Suppose 4*b + 10 = 26. Put -2, b, 21 in increasing order.
-2, b, 21
Let y = 7 - 3. Suppose 0*j + 25 = 2*j - 3*o, j + y*o + 15 = 0. Suppose 2*v + j*b - 19 = -v, 0 = 4*v + b + 3. Put -3, 4, v in descending order.
4, v, -3
Let t(n) = 4*n - 16. Let u be t(7). Suppose 0 = -u*r + 4*r + 8. Put 5, -1, r in decreasing order.
5, r, -1
Let o = 829 - 843. Sort 3/7, -1, 7, o in ascending order.
o, -1, 3/7, 7
Suppose -4*z - 4*q + 4 = -7*z, 3*z = -5*q + 32. Let c(b) = b + 12. Let w be c(-15). Put w, z, 1 in decreasing order.
z, 1, w
Let i = 11 + -14. Let s = -3.3 + 3.4. Put -1, i, s in ascending order.
i, -1, s
Let r be 5/4 + 35/(-28). Put r, -2, 2, 9 in descending order.
9, 2, r, -2
Let a = 15075/52738 + -1/7534. Let l be ((-4)/6)/(3/(-9)). Put l, 0, -5, a in decreasing order.
l, a, 0, -5
Let g(v) = 2*v**3 + 19*v**2 + 8*v - 9. Let k(c) = 5*c - 9. Let d be k(0). Let r be g(d). Put 4, r, -11, 3 in ascending order.
-11, r, 3, 4
Let p be ((-8)/6)/(30/(-135)). Let z be ((-15)/p + 2)*4. Sort z, -3, 3.
-3, z, 3
Let b = -449 - -448. Put 2, b, -31 in ascending order.
-31, b, 2
Let n = 1.1 - 1.8. Let q = n + 5.7. Let h = 0.03334 + -0.06334. Put h, 1/4, q in ascending order.
h, 1/4, q
Suppose 0 = -163*a + 161*a - 2. Put -2, 38, a in descending order.
38, a, -2
Let f(m) = -6*m + 390. Let h be f(65). Let n(p) = -p + 5. Let a(g) = 1. Let v(x) = 4*a(x) - n(x). Let s be v(-3). Put h, s, -2 in decreasing order.
h, -2, s
Suppose -5 - 3 = -2*k. Let z be 1/((-35)/k) + (-6)/(-15). Put z, 4/5, -2/5 in decreasing order.
4/5, z, -2/5
Let j(q) = 22*q + 105. Let y be j(-5). Suppose 2*t - 3*d - 10 = -2*d, -5*t + 11 = d. Suppose -t*i + 42 = -0*i. Put i, y, 1 in decreasing order.
i, 1, y
Let t = 7 - 5. Suppose 0 = -t*m - 4*b + 4, -2*b + 7*b - 5 = -m. Let w = -3 - -4. Put w, 5, m in ascending order.
m, w, 5
Let m = -401 - -400.8. Put -3/5, 1, m in decreasing order.
1, m, -3/5
Let f = 3 + -5. Let s = 1930 + -1929.96. Sort f, 2/5, 4, s in descending order.
4, 2/5, s, f
Let s = -114.091 - -0.091. Let x = 118 + s. Sort -4, 1, x in descending order.
x, 1, -4
Let i(a) = -a**2 + 16*a - 57. Let b be i(6). Sort 4, 2, b in descending order.
4, b, 2
Suppose -5*x - 158 = 32. Let k be 27/9*x/3. Let y = 227/6 + k. Put 5, y, -4 in ascending order.
-4, y, 5
Let k(i) = -i**2 - 7*i - 7. Let n = 5 + -6. Let v be k(n). Put 9, v, 5 in ascending order.
v, 5, 9
Let d be (-2 + -13)*(-31)/(-93). Let h be (-17)/(-3) + 