. Let n be v(0). Sort -2/7, n, 2/15.
n, -2/7, 2/15
Suppose 3*q = -2*q. Let f(d) = d**2 + 3*d - 5. Let n be f(-4). Sort n, 4, q in descending order.
4, q, n
Let k = -27 - -29. Sort k, 6, 4, -4 in descending order.
6, 4, k, -4
Let x(y) = -y**2 - 6*y + 4. Let b be x(-7). Let n(o) = -o**3 + 4*o**2 - 4*o + 11. Let u be n(4). Sort b, u, 5 in descending order.
5, b, u
Let p = -51 - -50.91. Sort -4, -0.4, -1/2, p in ascending order.
-4, -1/2, -0.4, p
Let t = -193 + 177. Sort 4, -5, t in descending order.
4, -5, t
Let k(w) = -w**2 + w - 16. Let q be k(0). Suppose n = -3, -5*h = n - 2*n + 7. Let u be (h/(-4))/(8/q). Put u, -5, 0 in decreasing order.
0, u, -5
Let n = -19 - -18.9. Sort n, 1/9, -3/5.
-3/5, n, 1/9
Let a(f) = -f. Let v be a(-2). Suppose -v = 2*d + 6. Sort -5, d, 5 in decreasing order.
5, d, -5
Suppose 3*r + x - 1 = 0, -9 = 5*x + 1. Suppose k - 6 = -1. Sort 2/5, r, k.
2/5, r, k
Let z be (-1*4)/(12/(-9)). Put -6, z, 1 in increasing order.
-6, 1, z
Let g be (-2*1*-2)/2. Suppose 4*p - 1 = -b - 4, -p + b - g = 0. Let j = -7 + 7. Put p, -3, j in decreasing order.
j, p, -3
Let g(t) = -10*t**2 + 39*t + 2. Let k(p) = 3*p**2 - 13*p - 1. Let r(o) = -2*g(o) - 7*k(o). Let x be r(13). Put x, -3, -2 in increasing order.
-3, -2, x
Suppose 2*o = 3*j - 19, -5*j = 2*o - 9 - 12. Sort -1, o, -4/7 in descending order.
-4/7, -1, o
Let t = 1153 - 1200.3. Let r = -50 - t. Let j = -3 - r. Put -0.1, j, 0.4 in decreasing order.
0.4, -0.1, j
Suppose 3*i - 2*r = -1, -3*r + 8*r = 25. Let z(v) = v**2 - v - 1. Let j be z(-1). Suppose j = 3*b - 2. Put b, -1, i in ascending order.
-1, b, i
Let q be -5 - ((-2 - -2) + 0). Sort 8, q, -2/3 in decreasing order.
8, -2/3, q
Suppose -6 = -15*y + 12*y. Suppose -3*v + 0 - 6 = -3*f, 2*f = 4*v + 6. Let k be (-1 + 3)*1 + v. Sort 3, y, k in decreasing order.
3, y, k
Suppose 3 = -5*w + d, 2*w + d = -w - 5. Let h be ((-2 - 1)/6)/w. Let a(k) = k**2 + 3*k - 1. Let g be a(-3). Put g, h, 0.3 in descending order.
h, 0.3, g
Let s = 0.093 + 3.607. Put s, -0.4, 0.3 in ascending order.
-0.4, 0.3, s
Suppose -o - 4 + 0 = 0. Sort -1, 2, o in decreasing order.
2, -1, o
Let d = -9 - -7. Suppose 0*v = v. Put -1, d, v in ascending order.
d, -1, v
Let o be 2 + 2/(2/(-3)). Let u = -0.2 - 0.2. Put 2, o, u in descending order.
2, u, o
Suppose 5*x = 3*k, -2*k + 2*x + 31 = -7*k. Let c be ((-3)/(-4) + (-26)/8)*-2. Sort k, 3, c in descending order.
c, 3, k
Let a = -0.57 + 0.07. Let y = -1 - a. Put -2/7, 0.4, y in increasing order.
y, -2/7, 0.4
Let x = 16 + -15.9. Let l = -5.4 - -10. Let n = l + -5. Sort -0.3, x, n in descending order.
x, -0.3, n
Suppose -1 = x - 2*k, 0 = -4*x - 4*k + 18 + 2. Suppose -x*o - 18 + 6 = 0. Sort o, 3, -3.
o, -3, 3
Let o = -6 - -4. Let j be (-6)/27 + (-38)/(-9). Sort o, 3, j in decreasing order.
j, 3, o
Let u = 0.5 - 0.05. Let z = 0.05 + u. Sort -13, z, -1/3 in ascending order.
-13, -1/3, z
Let h = 345 + -340.13. Let y = h - -0.13. Put y, -4, 0.2 in decreasing order.
y, 0.2, -4
Let m be (-4)/((-4)/(-25)) - (-4 - -2). Sort m, 3, 2.
m, 2, 3
Suppose -20 = g - 4*f, -6*g + g - 4*f = 52. Let i = -17 - g. Sort 1, -3, i in decreasing order.
1, -3, i
Let t = -2 + 8. Let i(r) = -r**3 + 4*r**2 - 3*r + 3. Let g be i(3). Let c = t - g. Sort c, 0, -5 in ascending order.
-5, 0, c
Suppose 3*o + 14 = -5*b, 0*b - o = -b - 6. Put -5, b, 5 in ascending order.
-5, b, 5
Suppose -28 - 14 = -3*x. Let l = -17 + x. Put 5, l, 4 in descending order.
5, 4, l
Let o be (-2)/((-1)/4*-2). Let t(b) = 7*b + 3. Let n be t(3). Suppose -4*d - 5*j = -n, 7 = 5*d + 3*j - 10. Sort 0, d, o in increasing order.
o, 0, d
Let d(l) = -2*l - 4. Let b be d(-5). Suppose -m + 7 = -r, -r = 2*r + b. Let x = 6 - 8. Sort m, x, 2 in ascending order.
x, 2, m
Let g = 81/20 - 24/5. Let l = 36/209 + 2/209. Sort -0.3, g, l in descending order.
l, -0.3, g
Let p = -50 + 50. Let b = 5.9 + -6. Put b, p, 3 in descending order.
3, p, b
Suppose 21*q - 15*q = 18. Sort q, -1, -4 in decreasing order.
q, -1, -4
Let m = 27 + -27. Sort -0.2, 3/2, m in decreasing order.
3/2, m, -0.2
Let m = 74 - 78. Let f(i) = 3*i**3 + i**2. Let z be f(-1). Put z, 1, m in increasing order.
m, z, 1
Suppose 4*w - l - 12 - 10 = 0, 15 = 5*w + 5*l. Sort -3, -4, -2, w.
-4, -3, -2, w
Let z = -69/160 - -1/32. Put z, 0, 5, 1/5 in descending order.
5, 1/5, 0, z
Let n = -1 - -1. Let u = -4 + n. Let b be 34/8 - (-1)/(-4). Put b, u, -5 in ascending order.
-5, u, b
Let m = -0.23 + 0.65. Let y = m - 0.02. Let s = y - -1.6. Sort -3/4, 0.5, s in descending order.
s, 0.5, -3/4
Let z be ((-6)/(-9) + -1)*-3. Put -1, 2, z in increasing order.
-1, z, 2
Suppose z - 15 = 4*z. Put -4, z, 2, 3 in ascending order.
z, -4, 2, 3
Let g = -5 + 8. Put -2/3, g, 4/5 in descending order.
g, 4/5, -2/3
Let o = 0.1 - 0.6. Let q = -132 - -3566/27. Put q, -1/6, o in increasing order.
o, -1/6, q
Let o = -28 + 32. Let k = 2 - 0. Put -2, k, o in decreasing order.
o, k, -2
Let z(m) = m**2 + 9*m - 18. Let k be z(-11). Sort -5, -6, k in increasing order.
-6, -5, k
Let s(u) = u**3 + 14*u**2 - u + 3. Let c be s(-14). Let g = c + -19. Sort 2, g, 0 in decreasing order.
2, 0, g
Let z = 530/221 + -29/17. Let p = 41/78 - z. Let h = -41 + 40.9. Sort -2, h, p in decreasing order.
h, p, -2
Let f(l) = -l**3 - l**2 + 2*l + 3. Let a be f(-2). Let m = -11 + 11. Suppose -4*p = -3*y + 31, m = p + a*y - 0*y - 11. Sort 3, 4, p.
p, 3, 4
Let g = -3.1 - 0.9. Let y = 0.12 - 0.62. Let n = 0.3 + y. Sort n, g, 4.
g, n, 4
Let g(c) = c**2 + 6*c - 4. Let r be g(-7). Let u be (-2)/r*12/(-8). Let k = 18 - 13. Put u, -1, k in descending order.
k, u, -1
Suppose 0 = -2*w + w. Let t = 0.13 + 3.87. Sort w, -5, t in descending order.
t, w, -5
Suppose 0 = -3*w - 3*o + 9, -3*w + o = -2*o + 15. Sort w, -2, 5 in increasing order.
-2, w, 5
Let l be (-1 - 1)*(0 + 1). Let v = 0 - -4. Let c = -4 + v. Sort c, l, -5 in ascending order.
-5, l, c
Let x be (-2 + -2 + 3)*-3. Suppose x*n + 4*i = 0, -5*n - i = -5 - 12. Suppose 5*l - 4*w - 31 - 10 = 0, 0 = l - 3*w - 17. Put 1/5, l, n in ascending order.
1/5, n, l
Let j be 2 + (1*4)/(-2). Suppose 0 = 2*b + 13 - 5. Sort -5, b, j in decreasing order.
j, b, -5
Let w be (-8)/(-10)*10/4. Put w, -2, -4 in descending order.
w, -2, -4
Let j(c) = c**3 + 9*c**2 - c - 12. Let d be j(-9). Let y be ((-3)/14)/(d/(-4)). Sort 3, y, -6.
-6, y, 3
Let f = -0.2 + -0.2. Let l = -0.02 - 0.03. Let p = l - -3.05. Put f, p, 1/4 in increasing order.
f, 1/4, p
Suppose -4*u - 2 = 5*r + 22, -4*r = -5*u + 11. Let h be (u/3)/(1/3). Sort -3, h, 1 in increasing order.
-3, h, 1
Suppose 2*r - 6 = 4*r. Let w(c) = -c**2 - 20*c - 92. Let d be w(-7). Put d, 5, r in increasing order.
r, d, 5
Let y = -7243/4 + 3339031/1844. Let z = y + -936/3227. Let n = -5.12 + 0.12. Sort z, 0.5, n in decreasing order.
0.5, z, n
Let i = 0.06 + 0.24. Put -0.4, -0.1, i in descending order.
i, -0.1, -0.4
Let f be 4/(-16) + 13/4. Suppose 0 = q - f*q. Let c be (q + (-10)/4)*-2. Put -1, c, -2 in ascending order.
-2, -1, c
Let m = -8 - -5. Let d = 3 - m. Let l = d - 8. Put -1, l, -4 in descending order.
-1, l, -4
Let p = 1.8 - 2. Suppose -6*t = -4*t - 24. Let i be t/18*6/14. Sort 3, i, p in descending order.
3, i, p
Let f(m) = m**2 - 9*m - 7. Let k be f(10). Put k, -37, 2 in ascending order.
-37, 2, k
Let g = -2 + 2. Suppose 10 = 2*i - 7*i. Sort i, g, 1 in decreasing order.
1, g, i
Let z = -0.11 - -0.26. Let c = z - 0.15. Sort 1/2, c, 0.1 in ascending order.
c, 0.1, 1/2
Let a(q) = q**2 - 22*q + 86. Let m be a(17). Put m, -2, -14 in decreasing order.
m, -2, -14
Let r be 3*(4/(-10))/((-234)/30). Sort r, -1, 2, 0.3 in ascending order.
-1, r, 0.3, 2
Let k = -0.65 + 0.05. Let v = -0.9 - k. Let w = -2.13 - -0.13. Sort -5, w, v in ascending order.
-5, w, v
Let q = -0.07 - 0.43. Sort -0.2, q, 2/17.
q, -0.2, 2/17
Let q be -1 + -2 - -3*1. Sort -5, -4, q in increasing order.
-5, -4, q
Let q = 1 - 0. Let o = 0 - q. Let t be (-2)/(-4)*(o - -1). Sort 4, 5, t.
t, 4, 5
Suppose 5*o + 3*i + 37 = 0, -16 - 1 = o + 3*i. Sort 6, -1, o in ascending order.
o, -1, 6
Let j = 3.03 - 0.03. Let p = -4.7 - -5. Let r = p + 0.2. Put -0.2, r, j in descending order.
j, r, -0.2
Suppose 2*k = 3 - 13. Suppose -4 = 5*i - 24. Let r = -3 + i. Put 5, k, r in increasing order.
k, r, 5
Suppose c - 24 = -3*c. Sort 5, 2, c.
2, 5, c
Suppose 0 = -4*q + 2*n - 148, -2*q - 3*n - 1 = 81