, -4, f in descending order.
f, -4, -11
Let c = 8 - 10. Let n(v) = -v**3 - 5*v**2 + 7*v + 9. Let g be n(-6). Suppose -15 + 6 = -g*m. Sort c, m, -0.5 in descending order.
m, -0.5, c
Let f = -1/39 + 53/39. Sort f, 0, 2/17 in decreasing order.
f, 2/17, 0
Let y = -110 - -102.7. Let g = -7 - y. Sort 0.4, g, 2/3 in ascending order.
g, 0.4, 2/3
Let j(z) = 6*z + 36. Let n be j(-7). Sort 0.5, 0, n, 5.
n, 0, 0.5, 5
Let o be (-4)/6*(-18)/4. Sort 4, -3, o in descending order.
4, o, -3
Let h = -6 - -3. Put h, -6, -5 in decreasing order.
h, -5, -6
Suppose -25 = -g - 4*m, -4*g + 40 = -0*g + 4*m. Sort g, -2, -5 in decreasing order.
g, -2, -5
Let i = -2.5 - 12.5. Let m = 17 + i. Put 3, -3, m in increasing order.
-3, m, 3
Let o(l) be the second derivative of -l**4/12 - 5*l**3/6 + l**2 + 6*l. Let t be o(-6). Sort t, 4, -2/9 in increasing order.
t, -2/9, 4
Let d(y) = y**2 + 5*y + 5. Let r be d(-5). Suppose -2 = -x - x + 2*l, -29 = 3*x + r*l. Suppose -5*m - 4 = -3*m. Sort 1, x, m.
x, m, 1
Let i = 7.6 + -5.6. Sort 0.4, -3, i, -2/9 in descending order.
i, 0.4, -2/9, -3
Let h = -0.1 - -0.1. Let o = h + -1. Let u = -172/3 - -58. Put -3/2, u, o in ascending order.
-3/2, o, u
Let t = -0.1 + 0.2. Let c = 61 - 61.3. Sort c, t, 4/5 in ascending order.
c, t, 4/5
Suppose -3*u + 25 = 4. Let i(m) = m**3 - 8*m**2 + 9*m - 10. Let x be i(u). Let y = -2 + x. Put -1, y, 0.5 in ascending order.
-1, 0.5, y
Suppose -2*g + 2 = -4*g. Let f be 6/(-10)*(-65)/13. Sort f, g, -5.
-5, g, f
Let u be (-1 + -3)/(-3 + 1). Sort u, -5, -2.
-5, -2, u
Let m = 719/9 - 80. Let y = -54.7 - -51. Let u = y - -4. Put 1/3, m, u in ascending order.
m, u, 1/3
Let b = 143.85 + -138. Let h = 6 - b. Let f = 0.05 + h. Put f, -3, -1 in decreasing order.
f, -1, -3
Let y be (-3 + 1)*(0 - -2). Let o be y/1*(-6)/(-8). Sort 4, o, 3 in increasing order.
o, 3, 4
Let g = -5 + 10. Suppose 7*f - 6*f = 0. Sort f, 4, g in decreasing order.
g, 4, f
Let v(b) = -b**2 - 4*b - 3. Let q be v(-2). Let r be -1 + q - (1 - -3). Suppose -3*j + 3*y = -5*j - 2, -j - y = -1. Sort r, 2, j in increasing order.
r, 2, j
Suppose 2*w = w + 1. Let n = 3 - w. Let j be -2 + (-1 - -1 - 2). Sort 0, n, j in decreasing order.
n, 0, j
Let o(g) = -g + 8. Let t be o(7). Let s = -5 + 5.5. Put s, -0.1, t in decreasing order.
t, s, -0.1
Let y(m) = -m + 0*m**2 + m**3 + 3*m**2 - 3 - 4*m**2 + 0*m**2. Let c be y(0). Let h = -5.6 - -6. Put 3, c, h in decreasing order.
3, h, c
Let z = -5.86 + -0.14. Let t = 2 - -1. Let g = t + z. Sort g, 3, -1/5 in decreasing order.
3, -1/5, g
Let y = 0.18 + -0.25. Let x = -4.07 - y. Put x, 2/9, 0.5 in ascending order.
x, 2/9, 0.5
Let t(w) = -2 + 2 + 0*w**2 + 6*w**2 + w**3 + 2. Let u be t(-6). Put -5, u, 1 in descending order.
u, 1, -5
Let n = 14 - 1. Sort 1/5, 5, n.
1/5, 5, n
Suppose -3*p = 2*p + 20. Put p, 0.2, -1/4 in increasing order.
p, -1/4, 0.2
Let s(k) = -k**2 + 0 - 4*k - 3*k**2 + k**3 - 1. Let g be s(5). Suppose -g*t - 4*z + 8 = 0, -3*t = -t - 3*z - 4. Put t, -0.01, -4 in descending order.
t, -0.01, -4
Let s = -35 - -103/3. Put s, 1/9, -0.5 in ascending order.
s, -0.5, 1/9
Let t be (-34)/(-85) - (-4)/10. Sort 0.1, t, 8/3, 1 in increasing order.
0.1, t, 1, 8/3
Suppose 6 = 2*l - 2. Let x = -1 + l. Let k = 0.46 + -0.06. Put 0, x, k in decreasing order.
x, k, 0
Let r(f) = f**2 - 4*f - 4. Let w be r(5). Let z(p) = p**3 + 23*p**2 - 25*p - 22. Let l be z(-24). Sort w, l, 4.
w, l, 4
Let r(c) = -5*c. Let l be r(-1). Let i = -94 - -89. Put i, l, -4 in descending order.
l, -4, i
Let n = 45 - 50. Sort n, 2/27, 2/13, 5 in descending order.
5, 2/13, 2/27, n
Let m be (36/(-30))/(6/(-40)). Suppose -m*x = -3*x + 10. Let c be (-3)/(-2)*4/6. Put c, x, -5 in decreasing order.
c, x, -5
Suppose 3*y - 22 = 5*r, 3*y + 15 = -4*r - 8. Let p = 0.76 + -0.06. Let k = p + -0.2. Sort k, -0.5, y in ascending order.
y, -0.5, k
Let m = -14 - -14.86. Let b = -0.7 + m. Let h = b - -5.84. Put h, -3, -5 in increasing order.
-5, -3, h
Suppose -3*d = -t - 2, -4*t - 3*d = -8*d - 6. Suppose -5*k = -3*z - 1, 5*k = -0*z + z + 7. Put 3, k, t in decreasing order.
t, 3, k
Suppose 0 = 3*f - 2*l + 6706, l = f - 6*f - 11155. Let z be (2/(-6))/(10/f). Let b = z - 74. Sort -0.3, -1, b in increasing order.
-1, -0.3, b
Suppose -3 = 4*d + p - 0*p, -3*d - 5*p + 2 = 0. Sort -3, d, 4 in ascending order.
-3, d, 4
Let w = -17 - -15. Sort w, 1, 4.
w, 1, 4
Let s = 20 - 19. Suppose 5*t - 32 = -2. Suppose -u + t*u = -4*h + 7, h = 4*u + 7. Sort u, -2/5, s in decreasing order.
s, -2/5, u
Let w be (-32)/(-12)*(-3)/(-2). Let s be 1/(10/w)*-10. Let p be s/(-18) + 100/36. Sort 2, 4, p in decreasing order.
4, p, 2
Let y = 3 + -5. Let m = -1 + 4. Let g be (2 - 3)/(1/m). Put g, -0.4, y in decreasing order.
-0.4, y, g
Let y = 8 - 11. Let o(v) = v**3 + v**2 + v + 2. Let m be o(0). Suppose -5*d - 5*z + 5 = 0, 5*d - 5 - 12 = -z. Sort m, y, d in decreasing order.
d, m, y
Suppose -d + 1 = -3. Let m = -6 + d. Let o be m/(-12)*(-18)/(-8). Put 1, o, -2 in increasing order.
-2, o, 1
Suppose -5*u + 3*u + 12 = -4*x, 5*x + 20 = 5*u. Put 6, 4, x in decreasing order.
6, 4, x
Let a be ((-24)/9)/(-2)*-3. Put 4, a, 1 in descending order.
4, 1, a
Let q be (-1 - -2)*4 + 1. Let r = -0.048 + -0.352. Sort r, -5/4, q.
-5/4, r, q
Let b = -13 - -13.01. Sort -0.4, 1/4, b, 3 in decreasing order.
3, 1/4, b, -0.4
Let t be 6/(-21) + 2/7. Let a be (-5)/(-2)*(-48)/(-40) - -8. Sort t, a, 1.
t, 1, a
Suppose -f - 1 + 5 = -2*q, 0 = -4*f + 16. Put 13, 2, q, 1 in ascending order.
q, 1, 2, 13
Suppose 0 = -6*j + j - 25. Let f(i) = -i**2 - 3*i + 3. Let p be f(-3). Sort p, j, -2 in descending order.
p, -2, j
Let a = 4/25 - -1/150. Put 4, a, -4 in increasing order.
-4, a, 4
Let q(z) = 4 + 0 + 3*z - 3 - z - 2*z**2. Let f be q(2). Sort 3, f, 5.
f, 3, 5
Let l be (3/(-2))/(6/(-8)). Sort 4, l, 5.
l, 4, 5
Let j be 3/((-2)/(4/2)). Let y(s) = s**2 - 2*s + 2. Let a be y(3). Sort j, -5, a in descending order.
a, j, -5
Suppose 6*z + 0 = -12. Put 48, z, -2/7 in decreasing order.
48, -2/7, z
Let l = -6 - -8. Let y = -31/2 - -17. Sort y, l, -0.1.
-0.1, y, l
Let z = -5.2 + 0.2. Let s = z + 4.7. Let b = 4.09 - 0.09. Put b, -2, s in ascending order.
-2, s, b
Suppose -2*j - 45 = -35. Put 3, 6, j in descending order.
6, 3, j
Suppose 27 = -5*s + 2. Let a(x) = -x + 9. Let l be a(8). Let u be (1 + -10)*(-2)/(-6). Sort s, u, l in increasing order.
s, u, l
Suppose -2*l + 2 = -l. Let n = 0 - 0.3. Let o = n - -1.3. Sort -1/6, o, l in increasing order.
-1/6, o, l
Let h(s) = 3*s**3 + 3*s**2 + 8*s - 1. Let t(i) = -i**3 - i + 1. Let r(u) = h(u) + 4*t(u). Let p be r(4). Sort -4, p, 2.
-4, 2, p
Let h = -11.3 + 7.3. Let a = -13/2 - -6. Sort 0.3, a, h.
h, a, 0.3
Let z = 50.61 - 51. Let a = z - 0.01. Sort a, -2/21, 0.3.
a, -2/21, 0.3
Let x(a) = a**2 - 5*a - 47. Let y be x(10). Put 2, 0, -2, y in decreasing order.
y, 2, 0, -2
Suppose 0 = -y + 3*y. Let u = 2 - y. Put u, -5, -2 in decreasing order.
u, -2, -5
Let r = 15 + -10. Let y = 7 - r. Suppose 9 = -o + 2*p, -2*o - 3*o - 2*p + 3 = 0. Sort 0, y, o.
o, 0, y
Let y = -1/60 + -47/60. Let c = -4.8 - -3.8. Put 0.5, c, y in descending order.
0.5, y, c
Let g(i) = -i**3 - 13*i**2 - 12*i - 4. Suppose 2*m + 5*x = -15 - 4, -m = -x + 13. Let f be g(m). Put 3, -5, f in ascending order.
-5, f, 3
Let c = -8 - -12. Let r(v) = v**3 - 4*v**2 - 6*v + 2. Let x be r(5). Let s be 0/(-3) + x + -1. Sort -5, s, c in descending order.
c, s, -5
Suppose 0*y + 2*y - 10 = 0. Suppose 3*c = y*c - 8. Let q = 3 - c. Sort 1, q, 2 in increasing order.
q, 1, 2
Let c(x) = -5*x - 1. Let r(g) = g - 1. Let b(n) = -c(n) - 4*r(n). Let z be 2/1 + -1 + -5. Let l be b(z). Sort l, -1, 0 in increasing order.
-1, 0, l
Let s be 9*((-4)/(-6) - 1). Let a = s + 8. Let k = -0.04 + 4.04. Sort k, -5, a in decreasing order.
a, k, -5
Let u be -1 + (2 - (1 + -2)). Let b(a) = -2*a - 29. Let h be b(-13). Let c = 10 - 6. Put u, h, c in increasing order.
h, u, c
Let y(j) = -2*j - 4. Let g(x) = -3*x - 6. Let q(h) = 5*g(h) - 7*y(h). Let b be q(-3). Let w be -2*(2 - 1)/(-9). Put w, 0.3, b in decreasing order.
b, 0.3, w
Let x = 6.5 + -7. Sort 4, x, 3 in ascending order.
x, 3, 4
Suppose 0 = -4*a + 5*a. Suppose -k + 2*y - y = 8, 5*y - 20 = a. Put 4, 4/3, k in descending order.
4, 4/3, k
Suppose -4*i - 2 + 10 = 0. Suppose 6*h = 4*h + 2. Let m be -4 + i - (3 - h). Sort -3, 0, m.
m, -3, 