der.
q, -1, s
Let g = 1 + -2. Let b = 6401 + -6396. Sort g, b, 11, -5 in decreasing order.
11, b, g, -5
Suppose l + 2*c = c + 9, 0 = -4*c + 16. Let x be (2 + -9)/(6/4*(-287)/123). Sort -5, l, x, -2.
-5, -2, x, l
Let x = -556 - -550. Sort x, 3, 12, 5 in descending order.
12, 5, 3, x
Let g(l) = 7*l**3 - l**2 + l - 1. Let s be g(1). Let y = -57 + 27. Let b be y/9*s/(-10). Sort -2, -1, b.
-2, -1, b
Let t = 128 + -89. Put -3, 1, t in ascending order.
-3, 1, t
Let f be 19 - (4/2 + -1). Suppose 2*b = 5*s + f, 8*b - 5*s - 16 = 4*b. Suppose 4*h + 7 = -1. Sort h, 0, b in descending order.
0, b, h
Let z(w) = 4*w**2 + 3*w**3 + 3*w - 12*w**3 - 1 + 8*w**3. Let u be z(5). Put u, 5, -5 in increasing order.
u, -5, 5
Let m = 796 - 17509/22. Sort 0, -0.5, m, 3 in increasing order.
-0.5, 0, m, 3
Let d = 7 + -6. Let t(z) = -z + 1. Let q be t(d). Let r be -1*1*(-6 + 5). Sort q, r, -3 in ascending order.
-3, q, r
Let y(b) = -3*b**2 + 8*b + 5. Let t be y(3). Sort 1, -2, t.
-2, 1, t
Let p = 0.144 - 0.044. Sort -13, -1, p in descending order.
p, -1, -13
Let d = 37 - 28.96. Let m = d + -8. Let t = m + 0.36. Sort t, 1/3, 0.5 in descending order.
0.5, t, 1/3
Suppose -3*d - 8 = -0*i + 2*i, d = 4*i - 12. Suppose 15*z + 12 = 11*z. Put i, -4, z in increasing order.
-4, z, i
Let c = 11/68 - 169/204. Sort c, -13, 1, -3/5 in descending order.
1, -3/5, c, -13
Suppose 64*m = 66*m. Put m, 2, -2, -5 in increasing order.
-5, -2, m, 2
Suppose 5*m = -4*u + 37, 0 = m + 5*u - 90 + 70. Put m, -3, 1 in descending order.
m, 1, -3
Let q = -97 - -94. Sort -0.5, q, -1/7, -4 in descending order.
-1/7, -0.5, q, -4
Let i = 2716 - 2716. Sort -5, 64, i in ascending order.
-5, i, 64
Suppose 119 = -6*h - h. Let k be (-15)/h + 8/(-340)*-5. Let a = 8 + -11. Put k, a, 0 in descending order.
k, 0, a
Let d = 4 + 4. Let m = -4 + d. Let y = -1 + 0.6. Sort m, y, 13 in descending order.
13, m, y
Let v = -50.1 - -48.1. Sort 2, 46, -0.5, v in descending order.
46, 2, -0.5, v
Let g(u) = u**2 - 7*u - 15. Let r(l) = 1. Let j(x) = g(x) + 2*r(x). Let q be j(9). Let f = -0.2 + 0. Put f, 1, q in descending order.
q, 1, f
Let k = -0.2 - -0.4. Let z = 83 + -82. Put k, z, 4/5 in decreasing order.
z, 4/5, k
Suppose 4*j - 23 = 3*d, -21 = 5*d - j + 3*j. Let a be 136/40 + 2/d. Suppose -4*m - 22 = -2. Sort -2, a, m.
m, -2, a
Suppose -110*a + 592 = -36*a. Suppose x - 6 = -2*x. Suppose 3*c = 2*f - x + 6, -c - 3*f = 6. Sort c, a, 2 in ascending order.
c, 2, a
Let j = -5 + 3. Let w be (22 + -19)*2/(-27)*-9. Let k be j*w*(-1)/(-4). Put 4, 1, k in increasing order.
k, 1, 4
Let y(z) = -z**2 - 55*z + 115. Let b be y(2). Put -5, b, -2, 2 in decreasing order.
2, b, -2, -5
Let t = -1222 - -1222.1. Sort -7, -0.07, t in increasing order.
-7, -0.07, t
Let z = -25 - 0. Let x = z - -25. Sort x, -15, 2/9.
-15, x, 2/9
Let f = 7.2 + -16.6. Let o = 16.4 + f. Put 1, 2, o in decreasing order.
o, 2, 1
Let l = -4 + 1. Let p(d) = 64*d + 281. Let t be p(-4). Put l, 3, t in decreasing order.
t, 3, l
Let p = 0.04 + -69.04. Let u = 64 + p. Put -2/13, 11, u in ascending order.
u, -2/13, 11
Let v = -271 - -269. Put v, 5/2, 0.3, 5 in descending order.
5, 5/2, 0.3, v
Suppose 5*h - 5*g + 7*g = 16, -h + 4*g + 12 = 0. Let u be (-7 - -1) + h - 1*2. Put -5, u, 15 in decreasing order.
15, u, -5
Let x be (-495)/(-18)*(-6)/(-15). Put x, -0.4, -13 in descending order.
x, -0.4, -13
Suppose 41*h - 35*h + 30 = 0. Put h, -33, 0, 1 in ascending order.
-33, h, 0, 1
Let t = 1886 - 1781. Sort 1, t, 3, 0 in increasing order.
0, 1, 3, t
Let v(l) = l**3 - 7*l**2 - 27*l + 189. Let w be v(7). Let a be 3*(1 + 2/3). Sort a, 1, w, 18 in decreasing order.
18, a, 1, w
Let t = -23/2 - -10. Let r = -0.18 - 0.02. Sort r, -0.23, t in decreasing order.
r, -0.23, t
Let p = -364/5 - -1117/15. Sort 1/7, 0.2, 2, p.
1/7, 0.2, p, 2
Let a(g) = 3*g - 18. Let f be a(6). Sort f, 18, -5, -2 in ascending order.
-5, -2, f, 18
Let d = -0.07 + -9.93. Let t = d - -10.01. Let c = -3.99 - t. Sort c, 3/5, -1 in increasing order.
c, -1, 3/5
Let c = 59 + -34. Let g be ((-2)/(-10))/(4/c). Let w = -270.2 - -270.6. Sort -1, w, g.
-1, w, g
Suppose -5*y = -5*s + 25, -3*y - 15 = -2*s - 1. Suppose -6*i = -i + 10. Put i, y, 4 in descending order.
4, i, y
Suppose -5*v - n + 1 - 6 = 0, -29 = 2*v - 5*n. Let q = 3.7 + -6.2. Let g = -2.4 - q. Put v, g, 0 in descending order.
g, 0, v
Let i = -106 - -108. Let c be 5/(10/(-6)) - (i + -5). Sort 4, c, -5 in ascending order.
-5, c, 4
Let n = 10633/4 + -2659. Sort 11, n, 1/7, -1/3 in decreasing order.
11, 1/7, -1/3, n
Let g = 2.166 + -0.166. Sort 0.7, -1/4, g, -4/5.
-4/5, -1/4, 0.7, g
Let u be -10*(32/48 - (-3)/(-18)). Sort -4, 1, u, -7 in increasing order.
-7, u, -4, 1
Let l be (-6)/(-14) - (-352)/616. Sort -10, 2, 3, l.
-10, l, 2, 3
Let y = 88.04 - 92. Let i = -0.04 + y. Sort i, 0.5, -0.5.
i, -0.5, 0.5
Let g be 3/(-2)*(-4)/(-30). Let y = -11 + 10.5. Let q = -0.8 - y. Sort q, g, -1/4 in decreasing order.
g, -1/4, q
Let y be (2 + 0/2)*6/(-12). Let a be 1*(0 - 0) - -3. Sort y, -2, a, 1 in decreasing order.
a, 1, y, -2
Suppose 31*q + 3 = 30*q. Let z be (-67)/69 + 4 + -3. Let g = z - -128/345. Sort -0.5, g, q in descending order.
g, -0.5, q
Let j = -700.2 + 700. Let k = 0.01 - -2.99. Sort j, k, -5/6, -1 in decreasing order.
k, j, -5/6, -1
Let z = -395 - -392. Sort 1/4, 5/4, z, -15/14 in descending order.
5/4, 1/4, -15/14, z
Let f be 2/(-5) + (1309/105)/17. Put 2.4, 1, f in decreasing order.
2.4, 1, f
Let h be ((-6)/4)/((-2)/4). Suppose -129 + 171 = 6*k. Sort h, k, -3 in increasing order.
-3, h, k
Let t(r) = 2*r**3 - 9*r**2 + 3*r + 3. Let g be t(4). Sort g, 4, 5 in descending order.
5, 4, g
Let t = -2.8 - -4. Let r = 2.42 + -3.22. Let m = t - r. Sort -1/6, -3, m in decreasing order.
m, -1/6, -3
Suppose -5*n + 25 = 5*q, -q + 0*n = -2*n + 7. Suppose -3*t + 18 = -0*t. Suppose 4*a - 5*c = -1 + 16, -t = 2*c. Sort 3, a, q.
a, q, 3
Let k be 0 + (3 - (7 + -1)). Let l be k - (-8)/(5 - 4). Suppose 10*d + l = 9*d. Sort d, 3, 4.
d, 3, 4
Suppose -3 + 1 = 2*v + 4*o, -5*v + o - 16 = 0. Let z = -490 + 35768/73. Let j = z + -140/219. Put v, -1/3, j in decreasing order.
-1/3, j, v
Suppose -s = 87 - 78. Sort 5, -4, 1, s in descending order.
5, 1, -4, s
Let k(b) = b**2 + b + 3. Let y be (-4)/12 - (-5)/(-3). Let z be k(y). Sort z, -6, -4 in ascending order.
-6, -4, z
Suppose 26 = -z - z. Let l = z - -7. Let s be 10/l - 1/3. Sort s, 4, 3 in decreasing order.
4, 3, s
Let c be 2/1 + (3 - 68). Let o be 42/c + (-10)/(-12). Sort -1/2, -1, -0.3, o in descending order.
o, -0.3, -1/2, -1
Let p = 50.32 + -43.3. Let z = 7.2 - p. Sort 0, -0.3, z.
-0.3, 0, z
Let r = 12 + -5. Let d = r + -6. Let n(y) = -49*y + 387. Let w be n(8). Sort -2, d, w in increasing order.
w, -2, d
Let o be 4/5*15/(-6). Let j = -1 - 4. Let m(d) = d**2 - d - 7. Let z be m(3). Put j, z, o in increasing order.
j, o, z
Suppose 0 = -4*d - 205*w + 207*w - 18, 0 = -3*d - w - 1. Let y(x) = x**2 - 8*x + 8. Let z be y(6). Sort 3, d, 2, z.
z, d, 2, 3
Let v(s) = s**3 - 9*s**2 - 21*s - 7. Let a(j) = -j**3 - 3*j**2 + j - 1. Let l be a(-4). Let k be v(l). Put 2, k, 3, 5 in increasing order.
2, 3, k, 5
Let b be (-1)/1 + 1/3*6. Put -2, -5, -14, b in decreasing order.
b, -2, -5, -14
Let d = 11476 - 11476.2. Let i = 4 + -8. Sort d, i, 0.2 in descending order.
0.2, d, i
Let q = -621 - -639. Sort -13, -2, 1, q.
-13, -2, 1, q
Let p be (-1)/(-4) - 12/48. Let o be 14/8 + (-2)/(-8). Suppose 0 = o*i - 6*i + 12. Put p, i, -5 in decreasing order.
i, p, -5
Suppose -4*k - 7 - 5 = -3*f, 5*f = 5*k + 15. Let b be 7/(70/(-12)) - 0/2. Put f, b, -5 in descending order.
f, b, -5
Let q be (1 - -2) + (-20)/16. Let c(k) = 23*k - 593. Let n be c(26). Sort n, -0.4, q in ascending order.
-0.4, q, n
Let j = 266 - 270. Sort 3, -3, 31, j in increasing order.
j, -3, 3, 31
Let o = 19.6 + -20.6. Put -5, -5/2, o, 2 in increasing order.
-5, -5/2, o, 2
Let m(o) = -o - 2. Let z be ((-64)/(-20) + -2)*-5. Let u be m(z). Let k(j) = 6*j**2 - 2*j + 1. Let q be k(1). Sort -0.3, u, q in decreasing order.
q, u, -0.3
Suppose 2*g + 15 = i, -4*i = -i + 3*g. Suppose 2*t = i*o + 8 + 18, -2*o + 4*t - 20 = 0. Let u be (-143)/(-26) + 1*(-2)/4. Put u, o, 3 in increasing order.
o, 3, u
Suppose 0 = -4*y - 5*j - 25, -5*y - 3*j - 27 = -j. Let h = -13 - -18. Sort 2, y, h.
y, 2, h
Let c be 42*1*2/(-3). Let i = 82