der.
4, m, -2/7
Suppose 2*f = 5*t + 17, 3*f + 20 = -2*f. Put 0, -4, 6, t in descending order.
6, 0, -4, t
Suppose -3*p + 2*j + 7 = 0, -3*j - 19 = 2*p + 2*p. Sort p, 5, -4 in decreasing order.
5, p, -4
Let s = -2.7 + 3. Let a = -127723/228 - -8590/19. Let h = -108 - a. Sort h, s, -2/13.
-2/13, h, s
Let s = 25 + -25. Put -1, s, 0.3 in descending order.
0.3, s, -1
Suppose 0 = 3*k + 2*k. Suppose 3*z + 0 + 3 = k. Sort -4, z, -5 in increasing order.
-5, -4, z
Let j = 0.17 - 0.27. Suppose 1 = 3*v + 7. Let x = -1.7 - -1.8. Sort j, v, x in decreasing order.
x, j, v
Let i = 16 - 15.6. Sort i, -5/2, 0.11 in decreasing order.
i, 0.11, -5/2
Suppose -2*h + 2*y = 2, 26 = -0*h + 2*h + 5*y. Suppose h = -3*a + 18. Let u be (2 - 2)/2 - 2. Put u, -4, a in decreasing order.
a, u, -4
Suppose -4*x + 22 = -2*a, -4*x + 5*a = -10 - 9. Suppose 5*v = x*v - 2. Suppose -2*r = v*r. Put -4, 1, r in descending order.
1, r, -4
Let t be (-1 - 0)/((-6)/(-4)). Let i = -6 + 6.4. Put t, -0.3, i in descending order.
i, -0.3, t
Let r be (2*(-3)/18)/1. Put 3, r, -2 in ascending order.
-2, r, 3
Suppose 14 - 2 = 4*m - 2*a, -3*m - a + 14 = 0. Put m, -24, 3 in decreasing order.
m, 3, -24
Let w(s) = 4*s**2 + s. Let f be w(1). Let x = 3 + 0. Suppose -3*b - 2*b - 5 = -f*g, -b - 1 = -x*g. Sort g, -2, 5 in ascending order.
-2, g, 5
Let a = -4 + 9. Let p = 13.3 + -2.3. Let g = p + -10.5. Sort g, a, -4 in descending order.
a, g, -4
Suppose -2*p - 12 = 2*b, -12 - 10 = -3*p + 5*b. Sort 1, p, -4.
-4, p, 1
Suppose 5*d + 12 = -8. Let x = -1 + 0. Sort d, x, 3 in decreasing order.
3, x, d
Let p = 11.5 + -15. Let r = p + 4. Sort -2/7, r, 1/4 in descending order.
r, 1/4, -2/7
Let k = 1 - -4. Suppose 0 = 4*p + 3*j + j - 12, k*j = 3*p - 25. Sort p, 1, 3 in increasing order.
1, 3, p
Let j = 1198 + -113808/95. Sort j, 0.4, -0.3 in decreasing order.
0.4, j, -0.3
Let y(d) = d + 7. Let f be y(-3). Suppose n + 1 + 2 = 0. Sort f, n, 3.
n, 3, f
Let b = -2.2 - -1.2. Sort -1/3, b, 1 in ascending order.
b, -1/3, 1
Suppose 3*o + o = 0. Let r(m) = m**2 + 4*m - 2. Let a be r(-5). Let j(f) = -f**3 + 5*f**2 - 3*f - 4. Let w be j(a). Sort w, 4, o.
o, 4, w
Suppose 3*o + 6 = 2*o + t, 0 = 3*t - 12. Put o, 5, -1 in decreasing order.
5, -1, o
Suppose 0 = -4*b + 15 - 3, -3*n + 3*b - 15 = 0. Put 0, 4, n, -5 in descending order.
4, 0, n, -5
Suppose 2*n = 6*n. Suppose 0 = -n*i - 3*i. Let z = -74 + 77. Put i, z, 4 in increasing order.
i, z, 4
Suppose 0*p - 2*p + 3*n = -52, -4 = n. Suppose -3*x - x = -p. Let h = 6 - 10. Put h, 1, x in ascending order.
h, 1, x
Let g = -54 + 323/6. Let h = 3.2 - -0.8. Sort h, -1, g.
-1, g, h
Let l = -0.08 + -1.12. Let g = -1.8 + l. Put g, -0.01, 0.5 in decreasing order.
0.5, -0.01, g
Let p(k) = k + 13. Let t be p(-10). Suppose t*b - b = 6. Sort b, 1/8, -1 in decreasing order.
b, 1/8, -1
Let k(i) = -i**3 - 3*i**2 - i + 1. Let a be k(-3). Let v be 2/a*(1 + -3). Sort 0, v, 4 in decreasing order.
4, 0, v
Let q = 4 - 5. Sort -4, -0.2, q in decreasing order.
-0.2, q, -4
Suppose -2*r = -3*u - 4*r + 4, 4*r = -5*u + 10. Put -2/13, u, 2 in decreasing order.
2, -2/13, u
Let s = -2.5 - -3. Let r = 5 + -9. Put r, s, -13 in ascending order.
-13, r, s
Let y(n) = -2*n + 6. Let o be y(5). Suppose -m + 2*w = -6, 4*w + 12 = 3*m + m. Sort m, o, -5.
-5, o, m
Suppose 0 = g - 3*b - 4 + 24, 3*g = 4*b - 35. Suppose -17 = -4*c - 5. Suppose 2*z = -c*m - 5, -3*z - 6*m + 3*m = 6. Sort z, g, 1 in decreasing order.
1, z, g
Let q(k) = -k**2 - k - 5. Let x be q(0). Sort x, 1, 4 in increasing order.
x, 1, 4
Let n = -0.221 + 0.021. Sort -1, 4, 3/2, n.
-1, n, 3/2, 4
Suppose -g - 20 = -4*h, 5*g = -5*h + 2*g + 42. Let j = 7 - h. Sort -4, 4, j.
-4, j, 4
Let i be 1/(-2)*18/(-3). Suppose -v = -0*v + 2*h + 1, -4*v = i*h - 6. Sort 0, v, 4 in decreasing order.
4, v, 0
Let q = 40/7117 - 174323/49819. Let k = q - -40/11. Let w = 0.5 - 0. Put k, w, 2/9 in decreasing order.
w, 2/9, k
Suppose -8*c - 20 = -12*c. Sort c, -1, 2.
-1, 2, c
Suppose 0 = 4*t - n - 20, -4*t + 5*n + 15 + 5 = 0. Suppose 2*j + j = 12. Let x be ((-2)/(-1))/(-2 + 0). Sort t, x, j in descending order.
t, j, x
Let k = 23 + -21. Sort 1/5, k, 5 in decreasing order.
5, k, 1/5
Let v = 10 + -15. Let t = 0.33 - 0.11. Let c = -0.72 + t. Sort -4/5, v, c in decreasing order.
c, -4/5, v
Suppose -q = -0*q - 52. Suppose -4*r + r - q = 4*s, -4*s = -5*r + 52. Let a = 18 + s. Put a, 0, 1/2 in increasing order.
0, 1/2, a
Let f be ((-5)/(-10))/((-2)/8). Let n be -3 + (1*f - -1). Sort 1, n, 0 in ascending order.
n, 0, 1
Let l be 0*1*1/(-2). Suppose -20 = -d - 4*d. Suppose 0*i - i = d. Put i, l, 3 in ascending order.
i, l, 3
Suppose 0 = -7*j + 4*j + 2*g + 6, j - 2 = -2*g. Suppose -2*x - 4*z = 4, -8*x - 3*z - 3 = -4*x. Let l = j - x. Sort -2, l, 3.
-2, l, 3
Let m = -68 + 96. Suppose -5*h - 32 = m. Sort -1, h, 3 in decreasing order.
3, -1, h
Let o(i) = -i**3 - 6*i**2 + 6*i - 10. Let d be o(-7). Sort -2, 4, d in decreasing order.
4, -2, d
Suppose -4*s + 3 = -17, 0 = -3*g - 5*s + 37. Let y be 2 - (1 + 4/3). Sort y, 0.3, g.
y, 0.3, g
Let h = -3 + -1. Let n = -2.1 + -2.9. Sort -3, n, h.
n, h, -3
Suppose -25*h + 26*h - 3 = 0. Sort -5, h, -2 in ascending order.
-5, -2, h
Let r be ((3 - 1)*(-4)/16)/(-1). Put 0.4, r, -2/9, 2 in ascending order.
-2/9, 0.4, r, 2
Let o = -0.5 + 0.3. Let d = o - -2.2. Let l be (-5)/(-13)*(-4)/10. Sort -0.4, l, d in ascending order.
-0.4, l, d
Let u be -1 - 87/207 - (-8)/6. Sort 1/8, u, -4/5, 5 in descending order.
5, 1/8, u, -4/5
Let k = 86 - 85. Sort 4, -51, -4, k in ascending order.
-51, -4, k, 4
Let v = -134 + 136. Put 5, v, 3, -2 in increasing order.
-2, v, 3, 5
Let h be (1/(-5))/(1/(-3)). Sort -1/4, h, -0.11 in decreasing order.
h, -0.11, -1/4
Suppose -4*n - 4*j = -7*n + 26, -2*n + 4*j + 24 = 0. Suppose -4*d + 2*p = 14, -d - d = n*p - 2. Sort -1, 1/7, d in descending order.
1/7, -1, d
Let i(l) = l**3 - 6*l**2 - 7*l + 3. Let s be i(7). Suppose -s = -z - 0*z. Suppose 2*b = 5*t + b - 13, -z*t + 18 = -4*b. Sort 4, 3, t in decreasing order.
4, 3, t
Let s = 0.2 + -0.1. Let m = -147/20 + 27/4. Let w = 81 + -80. Sort s, m, w in decreasing order.
w, s, m
Let o = 0.7 + 0.3. Let s = -5 - -4.5. Let l = -3 - -2. Put l, o, s in descending order.
o, s, l
Let u be (-14)/(-18) + 2/9. Let f be -6 - u/(-2)*2. Let z = 0 + 0. Sort 1, f, z.
f, z, 1
Let w = -39 + 41. Put -3, 1, w, 0 in increasing order.
-3, 0, 1, w
Let a = -18 - -109/6. Let c = 1.7 - -0.3. Sort c, a, -1 in descending order.
c, a, -1
Suppose -3*y = -3*n + 6, 0 = 3*y - 0*y - n. Suppose -q - m = y, -3*q + 1 = 2*m - 1. Put 2, -4, q in descending order.
q, 2, -4
Let y(k) = -k**2 - 7*k - 10. Suppose -x = -4*z - 14, -3*z + 2*x = z + 12. Let g be y(z). Sort 0, g, -3 in decreasing order.
g, 0, -3
Let h be 20/70 - 24/(-14). Let t = -1 + 5. Sort h, t, 1.
1, h, t
Let g be (10 - 9)*2/2. Put 4, 0.2, g in ascending order.
0.2, g, 4
Let i(m) = -m**3 + 4*m**2 + 3*m - 2. Let w be i(3). Suppose 5*y + 50 = -u, w = -y + u - 0. Let s = 7 + y. Sort 2, s, -3 in ascending order.
s, -3, 2
Let f be -3*((-19)/(-6) + -3). Let y(p) = p**3. Let z be 4/10 - (-9)/15. Let x be y(z). Put -1/4, x, f in descending order.
x, -1/4, f
Suppose 5*o - z - 11 = 6, 4*z = 12. Let b(x) = x**2 + 3*x - 1. Let u be b(-4). Suppose 3*n + 5*h = -1 + 5, -8 = n - 3*h. Sort u, n, o in increasing order.
n, u, o
Let l be (-14)/(-35) + (-24)/10. Let s = 6 + -3. Sort s, l, -4 in decreasing order.
s, l, -4
Let y(o) = -2*o**2 + 6*o + 7. Let r(f) = -f**2 + 6*f + 6. Let m(c) = -3*r(c) + 2*y(c). Let h be m(-5). Sort h, 5, -2 in descending order.
5, h, -2
Let b(p) = -9*p**2 + 15*p - 5. Let i(x) = 5*x**2 - 8*x + 3. Let t(h) = 4*b(h) + 7*i(h). Let d be t(5). Put -5, d, 2 in ascending order.
-5, d, 2
Let b = -415 + 397.89. Let g = -12 - b. Let y = g + -0.11. Sort 0.4, y, -2 in increasing order.
-2, 0.4, y
Suppose -26*n + 29*n + 9 = 0. Let g be ((0 + 1)*0)/1. Put n, g, 5 in ascending order.
n, g, 5
Let n = -13 - -11. Sort n, 0.1, -1 in increasing order.
n, -1, 0.1
Let h(c) = -c + 9. Let x(n) = -n**2 - 6*n - 2. Let k be x(-3). Let i be h(k). Suppose 2*u + 3 = 5*u. Put u, -1, i in ascending order.
-1, u, i
Suppose -8*u - 31 = 1. Put 4, u, 5 in decreasing order.
5, 4, u
Suppose -4*m = -0*m + 16. Let o(t) = -t - 1. Let j be o(-5). Suppose 0 = -2*i - 5*v - 2, -j*i + 2*v - 4 = -v. Put i, 2/3, m in incr