 -3*o - 3. Let k be y(1). Sort -0.1, 1, k in decreasing order.
1, -0.1, k
Let j be 12/2*1/10*5. Sort j, 22, 4 in increasing order.
j, 4, 22
Let k = -14 + 9. Put k, 5, 2 in descending order.
5, 2, k
Let r be ((-4)/5)/((-10)/(-25)). Let z(w) = w. Let x be z(4). Suppose -11 = 4*d - 5*o - 1, x = -2*o. Put d, r, 1 in descending order.
1, r, d
Suppose 5*p - 16 = -6. Suppose -3*r + 5*r = -8. Let u = 3 - 4. Put u, p, r in increasing order.
r, u, p
Let f = -4 - -4.5. Put f, 5, -0.3, 0.4 in decreasing order.
5, f, 0.4, -0.3
Suppose -6 = 2*b - 0*b. Suppose 2*f - 8 = 2*a - 0*f, -3*a + 4*f - 12 = 0. Let l be (a/(-3))/((-4)/(-6)). Put l, b, 3 in decreasing order.
3, l, b
Let t(p) = -p**2 - 9*p - 8. Let x be t(-8). Suppose 3*m + 2 = a - 5, 0 = a - 5*m - 13. Sort -1, x, a in decreasing order.
x, -1, a
Let n = 0.1 + -0.3. Suppose 20*t = 25*t. Sort 0.5, t, n in descending order.
0.5, t, n
Let b = 1 - 2. Let t be 4/(-42)*-3 + (-28)/49. Sort b, 5, t in ascending order.
b, t, 5
Let s = 16 + -16.2. Sort -3, -4, 2/7, s in ascending order.
-4, -3, s, 2/7
Let y be (-1 + 0 + -9)/2. Let a(v) = -v**2 - v. Let m(s) = -5*s**2 - 7*s - 4. Let k(n) = -6*a(n) + m(n). Let r be k(0). Put r, y, -3/2 in increasing order.
y, r, -3/2
Let p = 0.54 + -0.24. Suppose 5*v - 4 = -29. Put v, 3, p in ascending order.
v, p, 3
Let y = -17 - -12. Suppose -2*d - 6 - 4 = 0. Let z be (-26)/d - (-3)/(-15). Sort 4, y, z.
y, 4, z
Let k be 3/6*(-1 + 1). Let f be 0*(2 + (-6)/4). Suppose f*a + a = -2. Put a, k, 4 in descending order.
4, k, a
Let w = -11 + 15. Let j be (-3)/(-12) - (-15)/w. Suppose 2*q = -j + 2. Sort 5, q, 4 in descending order.
5, 4, q
Suppose 0*b + 4 = 2*b. Sort b, 5, -5 in decreasing order.
5, b, -5
Let q(n) = n**3 + n**2 + 5. Let j be q(0). Suppose j = -r, 0*k - 2*k + 4*r + 26 = 0. Let a = 1 - -1. Sort a, k, 0 in decreasing order.
k, a, 0
Let y = -68 - -68.01. Put y, -0.2, 0.3 in descending order.
0.3, y, -0.2
Let z(m) = 0*m**2 + 1 - 1 + m**2 - 1. Let g be z(2). Let a(i) = -i + 8. Let b be a(6). Sort b, 0, g in descending order.
g, b, 0
Let u = 0 + 5. Put u, 3, 8 in increasing order.
3, u, 8
Suppose -5*g - 4 = 4*q + 5, -3*q + g = -17. Sort 1, -5, q, -1 in ascending order.
-5, -1, 1, q
Let g = 412 + -412. Suppose -2*c + 16 = -4*j, -2*c + 3*j = 2*c - 27. Let u be -7 - 4/c*-3. Sort g, u, -0.1 in increasing order.
u, -0.1, g
Let f(s) = 4*s**2 - s + 1. Let y be f(2). Suppose 4*z - 3 = -y. Sort -2, z, -4 in decreasing order.
-2, z, -4
Let t = 3/4 + -1/2. Let c be (-57)/(-90) - (3/(-6))/(-1). Let p = 9 - 14. Put t, p, c in decreasing order.
t, c, p
Let c = -22 - -19. Let u = -7 + c. Put 4, u, 0 in decreasing order.
4, 0, u
Let z = -19 - -19. Sort z, -4, 4 in descending order.
4, z, -4
Let y = 71/285 + -6/19. Let j = y + -1/3. Put 6, j, 4 in ascending order.
j, 4, 6
Let w = 33 + -23. Let s be -3 - w/(-9)*3. Sort -7, s, 2/3 in descending order.
2/3, s, -7
Let r = -0.3 - -0.8. Let i = r + -2.5. Put 4, i, 0.3 in decreasing order.
4, 0.3, i
Suppose 2*t + 4*m + 1 + 1 = 0, 5*m + 10 = 0. Suppose -2*c + 5*c - t = 0. Put c, -5, 2 in decreasing order.
2, c, -5
Let x = -8 - -6. Sort x, -0.5, -1.
x, -1, -0.5
Let v = 17.1 - 18. Let n = v - -0.8. Let u = 5 - 7. Sort u, 0, n in descending order.
0, n, u
Let p be -1*(-2 + 2 + 5). Let a(j) = j**2 + 3*j + 3. Let f be a(-2). Let l be -6*(-4)/(-18)*-3. Sort p, l, f in descending order.
l, f, p
Let s(f) = -f**2 + 6*f + 10. Let l be s(8). Sort l, 4, 0 in increasing order.
l, 0, 4
Suppose -2*r - 15 = 21. Let i = -15 - r. Put i, -4, 0 in increasing order.
-4, 0, i
Suppose -6*f + 2*f + 16 = 0. Sort f, 0.4, 3.
0.4, 3, f
Suppose -w - 16 = -u + 2*w, -4*u - 2*w - 6 = 0. Sort -4, 1/12, -2, u in ascending order.
-4, -2, 1/12, u
Let c be (-6 - (-2)/1)*-1. Let d be 2/3*6/(-4). Put c, -4, d in decreasing order.
c, d, -4
Let b = 3 + 0. Let m(l) be the first derivative of l**4/4 + 2*l**3 + 5*l + 1. Let o be m(-6). Put o, b, 2 in increasing order.
2, b, o
Let t be -7 - (-1 + (-4 - -3)). Put t, 3, 5 in decreasing order.
5, 3, t
Suppose -8 = -u - 3*u. Suppose 0 = -3*v + u*v - 3. Sort -5, 0, v in increasing order.
-5, v, 0
Let w = 3779/19 + -199. Sort w, 0.2, 2/9.
w, 0.2, 2/9
Suppose -4*u - 65 = -g, 0*g + 2*g = u + 18. Put -4, 3/8, u in decreasing order.
3/8, -4, u
Let m be -5*(-1)/(20/(-5)). Let p = -0.5 + 0.3. Sort m, p, 4 in ascending order.
m, p, 4
Let f be 20/6 - 9/3. Suppose -s - 4*o = -0*s + 6, 2*o = -2. Put s, -1, f in increasing order.
s, -1, f
Let a(s) = -s + 3. Let k be a(8). Sort k, -3, 2/5 in ascending order.
k, -3, 2/5
Let w(k) = -k**3 - 6*k**2 + 6. Let u be w(-6). Let d = -4 + u. Put 4, -3, d in descending order.
4, d, -3
Let z = 0.36 + 0.04. Let t = z + -0.9. Sort -4, 0.4, t in decreasing order.
0.4, t, -4
Let b be 9 - 1 - (-14 + 17). Let y(f) = -f**2 + 3*f + 12. Let q be y(b). Sort 1, q, -7 in decreasing order.
q, 1, -7
Let s = 12 - 7. Let a be 1*((-4)/2 + 3). Let k = -8 - -11. Sort s, a, k in descending order.
s, k, a
Let q = 24.4 + 0.6. Let l = 30 - q. Put 2, 0.4, l in decreasing order.
l, 2, 0.4
Let o be (-2)/((-1)/((-39)/6)). Let c = o + 12. Put -3/5, c, -0.4 in decreasing order.
-0.4, -3/5, c
Let g = 25 + -20. Put -0.4, -0.5, g in descending order.
g, -0.4, -0.5
Let y = 5 - 5.3. Sort -0.7, y, -3/5, 0.2 in decreasing order.
0.2, y, -3/5, -0.7
Let k = 2.9 + -3. Let z(f) = -5*f + 27. Let l be z(6). Sort k, l, -3/10 in ascending order.
l, -3/10, k
Suppose 7*a - 2*a - 2*h + 18 = 0, -4*a + 5*h - 28 = 0. Suppose 0 = -4*b - 19 + 23. Let o be 0 - 2 - (1 - 5). Sort a, b, o.
a, b, o
Let k = -0.3 - -0.2. Sort 3/5, 0.1, k.
k, 0.1, 3/5
Let o = -253 + 248. Let q(t) = t**3 + 2*t**2 - 1. Let h be q(1). Sort -1, h, o.
o, -1, h
Let x = 4 + -7. Let m = 2.55 + -2.75. Put x, m, 1/5 in ascending order.
x, m, 1/5
Let d(i) = -i**2 - 4*i - 1. Let j be d(-4). Let g = 86 - 86. Sort j, -5, g in increasing order.
-5, j, g
Suppose -24 = -5*n + 7*n. Put n, 4, 5, 3 in increasing order.
n, 3, 4, 5
Suppose -27*g = -26*g. Let b be ((-2)/(-1))/((-4)/(-42)). Suppose g*c = 3*c - 3*y + b, -c = -3*y + 17. Sort -1, 3, c.
c, -1, 3
Let q be (-8984)/(-24)*3/52. Let z = q - 87/4. Sort 3, z, -4/5 in descending order.
3, z, -4/5
Let n = 3 + -6. Let c be 2/n - (-2)/2. Sort 0.1, c, 4/7 in increasing order.
0.1, c, 4/7
Suppose -3*v = -5*f + 2, -v + 2*v + 12 = -4*f. Put 3, 1/5, v in ascending order.
v, 1/5, 3
Let v = -28 - -20. Put -3, 4/9, v in descending order.
4/9, -3, v
Let b be 12/21 + (-60)/154. Let t = 1 + -1.5. Put -0.2, t, b in decreasing order.
b, -0.2, t
Suppose 0 = -3*o + 2*o - 8. Let l be (-3)/12 - 34/o. Sort l, 2, 3.
2, 3, l
Let g = 6 - -5. Let a be (-1)/(-2) - g/2. Let n = -1 + 4. Put n, 1, a in descending order.
n, 1, a
Let z = -12 + 21. Let t = z - 4. Let c = -0.5556 - -0.0556. Sort c, -3, t in decreasing order.
t, c, -3
Let j = 0 - -2. Suppose j*a + 0*a + 3*r = 0, r = -2*a - 4. Put 0, 5, a in descending order.
5, 0, a
Let c be 6/4 + (-1)/2. Let i(d) = d**3 - 7*d**2 - 19*d + 6. Let m be i(9). Put m, -1, c in descending order.
c, -1, m
Let q = -7 + 11. Suppose 0 = 4*x + 5*c + 7, q*c - c + 1 = -4*x. Suppose 4*p - 4 = -2*m, x = -4*m - 3*p - 0. Sort m, 0.5, 1 in descending order.
1, 0.5, m
Let i = -15 - -7. Let j(v) = v + 3. Let y be j(i). Sort 5, y, 0.
y, 0, 5
Suppose -5 = n - 0. Let j(k) = -k**2 + 5*k - 2. Let v be j(3). Suppose v*u = 4 - 20. Sort n, -1, u in ascending order.
n, u, -1
Let k = -0.7 + 0.69. Let f = -18 - -22. Put k, f, 2 in descending order.
f, 2, k
Let i = 22 + -24. Suppose 2*z - 3*j = 6*z - 8, -z - 21 = -5*j. Sort z, 1, i.
i, z, 1
Suppose -69 + 72 = 3*f. Put 5, -3, f, 7 in decreasing order.
7, 5, f, -3
Let r = 4.78 + 0.22. Let l = 3.2 - 3. Sort l, 0.5, r.
l, 0.5, r
Suppose -t + 2*t + 8 = 0. Let b = t + 11. Put -2, -1, b in decreasing order.
b, -1, -2
Let g be ((-15)/36)/((-2)/(-8)). Sort g, 2/3, 5 in descending order.
5, 2/3, g
Let t = -3.2 + 4. Let p = 0.3 - t. Let l be (32/(-12))/(2/3). Sort p, l, 2/3 in decreasing order.
2/3, p, l
Suppose 3*k - 25 = -2*k. Suppose p = 1 + 5. Suppose p*c = k*c - 5. Put c, 2, 3 in increasing order.
c, 2, 3
Let v be (-125)/35 + (-1)/(-7)*-3. Sort v, -3, 2, 3.
v, -3, 2, 3
Let l = -3.7 - 1.3. Sort -4, 0.3, l in descending order.
0.3, -4, l
Let y = -589/4 - -146. Put -0.1, 1/2, y in increasing order.
y, -0.1, 1/2
Let l = -8 + -1. Sort 1, l, -4