 - 2 = -2*p + 2, -10 = -5*p + 5*y. Suppose -9 = -p*f - v, -f + v + 0*v = 0. Sort f, 4, g in ascending order.
g, f, 4
Let c(d) = -d**3 + 4*d**2 - 4*d + 3. Let o be c(2). Suppose 0 = 3*j - 0*j + o. Put -2, j, -4 in decreasing order.
j, -2, -4
Let g = -25/3 - -8. Let i = 4.7 + -5.2. Sort 1/2, i, g in descending order.
1/2, g, i
Let j = 95 - 94. Sort -10, j, 0.3, -1/4 in decreasing order.
j, 0.3, -1/4, -10
Let u = 22 - 20. Put u, -3, -4 in descending order.
u, -3, -4
Let g = 6012/11 + -546. Sort -2, g, -0.08 in decreasing order.
g, -0.08, -2
Let s = 13/2 - 6. Suppose 3*a = -0*a + 4*a. Let w be ((-2)/(-15))/((-4)/(-6)). Put w, s, a in decreasing order.
s, w, a
Let i = -4 - -3.8. Sort i, -6, -4 in descending order.
i, -4, -6
Suppose 4*x = 6*x - 4. Suppose x*n = n + 3. Let o be 2/(-8) - (-5)/4. Put -2, n, o in ascending order.
-2, o, n
Suppose 0*m + 3*m = 6. Sort -0.1, m, 0.2.
-0.1, 0.2, m
Let r = -8 - -10. Let k be 2 + (r - (7 + 0)). Suppose d + 2*z - 1 = 0, 2*d - 3*d - z + 3 = 0. Sort d, 0, k in decreasing order.
d, 0, k
Let v be -15*(8/(-4))/(-2). Let g be v/10*(1 + -3). Put g, -9, 5 in increasing order.
-9, g, 5
Suppose 0 = -5*a + 4*i - 15, 3*i + 4 = 5*a + 14. Put -3, -2, a in increasing order.
-3, -2, a
Let l be 2*(-12)/8 - -5. Sort l, 3, -1 in increasing order.
-1, l, 3
Let x = 6 - 10. Let m = -35.8 + 36. Put m, 0.1, x in descending order.
m, 0.1, x
Let f = 83 + -119. Let c be (-2)/6 + (-20)/f. Suppose -20 + 5 = -3*l. Sort -5, l, c in decreasing order.
l, c, -5
Let v = 43 - 46. Suppose -5*w = 2*n + 19, -4*n + 0*w + 7 = w. Put 0, n, v in descending order.
n, 0, v
Let v be 42/(-56) + 31/4. Put 0, 1, v in decreasing order.
v, 1, 0
Let y = -2.91 - 0.09. Let d = y + 2. Let a = -0.06 - -2.06. Sort -0.2, a, d.
d, -0.2, a
Let z be 50/(-15) + (-4)/6. Suppose -4*u + 10 = -2*u. Sort u, z, -1 in descending order.
u, -1, z
Let s = -2.7 - 1.3. Let k = 65/292 - -2/73. Sort k, 5, s in descending order.
5, k, s
Let m = 0.39 - 2.3. Let j = m - 0.09. Sort -0.1, -4, j in ascending order.
-4, j, -0.1
Let t(m) = m**2 + 4*m + 6. Let j be t(-6). Suppose -3*y - j = 6. Let x be ((-10)/(-6))/(y/(-12)). Put 3, 1, x in descending order.
3, x, 1
Let n = -247/56 - -30/7. Suppose 0 = 2*p + 3*o - 1 - 6, 3*p + 4*o - 11 = 0. Sort p, 0.1, n.
n, 0.1, p
Let t(m) = -3*m**3. Let c be t(-1). Suppose 9 = 5*r + 3*g - 11, 5*r - 20 = c*g. Sort -3, 0, r in decreasing order.
r, 0, -3
Let p(o) = -o**2 - 7*o + 13. Let d be p(-9). Sort d, 5, 3 in increasing order.
d, 3, 5
Let a be -1 - (-1)/(-2)*-2. Suppose a*u = -4*u + 5*q + 33, -5*u + 5*q + 35 = 0. Suppose 4 = -r + u*r. Sort r, 2, -4.
-4, 2, r
Let w = 873/8 + -109. Put -1/3, w, 0.2 in increasing order.
-1/3, w, 0.2
Suppose -s = -3*n + 2, 0 = 4*s + n - 6*n + 1. Suppose 44*g - 43*g = -2. Sort s, g, 2 in decreasing order.
2, s, g
Suppose -12*f + 50 = -17*f. Sort -4, -5, -2, f.
f, -5, -4, -2
Let c = -72 + 70. Sort 1, -14, c in increasing order.
-14, c, 1
Let k = 0 + 8. Let t = 2 - -4. Let r = t - k. Put 1, 2/13, r in descending order.
1, 2/13, r
Suppose -r = -4*r - 15. Suppose 3*w - 3 = -a, 0*a + 6 = 2*a - 2*w. Let g be a/(-6)*(3 - 1). Put 5, r, g in decreasing order.
5, g, r
Let c = -22 + 26. Put 1, -2, c, -5 in ascending order.
-5, -2, 1, c
Let p = 120 + -124. Sort p, 2, 1, -9.
-9, p, 1, 2
Let u = 208 - 5199/25. Let w = 1637/2200 - 25/88. Let s = u + w. Put 3, s, -2 in ascending order.
-2, s, 3
Let o = 9.5 - 9. Let n = o + 0.5. Let q = -5 + 2. Put n, -1, q in increasing order.
q, -1, n
Suppose x - 2*x = 3. Let o(c) = 5*c + 10. Let t(n) = n + 2. Let h(r) = -2*o(r) + 11*t(r). Let g be h(-2). Put g, 3, x in ascending order.
x, g, 3
Let p = 25 + -29. Sort p, 1, 0.1 in descending order.
1, 0.1, p
Let r = 9/4 + -2. Let l = -7.89 + -0.11. Sort 0.2, l, r in increasing order.
l, 0.2, r
Let g be (1*3/(-6))/((-2)/4). Sort -1, -5, -2, g in decreasing order.
g, -1, -2, -5
Let u = 84 + -87. Suppose 2*z - 5*z = -3. Sort u, 7, z.
u, z, 7
Let v = 0.022 + 20.978. Sort 5, 0.2, v in ascending order.
0.2, 5, v
Suppose 1 = 5*k - 99. Suppose -2*m = 3*m - k. Sort m, -3, -1.
-3, -1, m
Let p be (-1 + (-4)/(-2))*10/(-2). Sort 3, -3, p.
p, -3, 3
Let b = 0 - 2. Let l = 5 + 0. Suppose 2*w + 2*w - 12 = 0. Put l, b, w in descending order.
l, w, b
Let h = 339/35 - 42/5. Let l = h - 95/63. Sort 0.1, l, -5/3 in descending order.
0.1, l, -5/3
Let x be 32/6 - (-2)/(-6). Suppose 0*y - x*q = -y - 14, y - 13 = -4*q. Sort -1, -3, y in descending order.
y, -1, -3
Suppose 5*v - 4*o = -12, 0 = v - 3*o - 2 - 0. Let h = v - -7. Suppose -g + 1 = -h*g - k, 5*k - 19 = 2*g. Sort g, 3, 5 in descending order.
5, 3, g
Let o be (-54)/42 - 2/(-7). Suppose 0 = a - 5*s + 11, -a + 2*s = -2*s + 8. Put o, a, 2 in decreasing order.
a, 2, o
Let q = -60 - -65. Sort 3/7, 1, q, -1/3 in decreasing order.
q, 1, 3/7, -1/3
Suppose 3*b + 7*b + 70 = 0. Put -5, 3, b, -4 in decreasing order.
3, -4, -5, b
Suppose 5 = -5*r - 0. Sort r, -5, 2.
-5, r, 2
Let b = 0.115 + -0.215. Let s = -1/13 - 10/39. Let w = -0.1 - -0.4. Sort s, w, b in increasing order.
s, b, w
Suppose 3*m - 5 - 1 = 0. Suppose 5*o - 3*p = 1, m*p = -1 - 3. Sort -5, -0.3, o.
-5, o, -0.3
Suppose 3*r + 21 = 4*n, -r - 4*r - n - 35 = 0. Sort r, 3, 0 in increasing order.
r, 0, 3
Let i(f) = -f**2 + 8*f - 14. Let c(r) = r**2 - 4*r - 6. Let m be c(6). Let t be i(m). Sort t, 2/7, 0.3 in decreasing order.
0.3, 2/7, t
Let u = -17 + 21. Suppose 9 = -5*n + 34. Sort n, -2, u.
-2, u, n
Let x = 2 - 3. Let j be 0 - 0/(-1) - x. Let n(g) = g**3 + 6*g**2 - 7*g + 2. Let m be n(-7). Sort -2, m, j.
-2, j, m
Suppose -2*y + 2*x = 12, 2*y - 12 = 3*y - 4*x. Sort -12, -3, y in increasing order.
-12, y, -3
Let x = 20229 - 7893. Let v = x + -86102/7. Let j = v + -36. Put -2/23, j, -0.4 in ascending order.
-0.4, j, -2/23
Let y = 65/2 + -32. Put y, 2/9, 4, -1/2 in descending order.
4, y, 2/9, -1/2
Let i = -59/2 - -30. Suppose -4*d - 10 = -3*q, q - 2 = -d - 8. Sort -3, i, q in ascending order.
-3, q, i
Suppose -194 - 44 = -3*r + 5*a, -3*a + 12 = 0. Let q = 169/2 - r. Sort -5, q, -2 in decreasing order.
q, -2, -5
Let i be 6*(21/9 + -2). Let y = 11 - 7. Suppose 0 = -3*u + 4*t, -y*t = u + 4*u + 32. Put i, -1, u in decreasing order.
i, -1, u
Let c = 9 + -8. Let q = 46 - 139/3. Sort q, c, 2/9.
q, 2/9, c
Let b = -11 - -6. Suppose x = -x - 4. Sort b, 1, x in decreasing order.
1, x, b
Let x = -6 - -16. Suppose 4*k = 30 + x. Let r be 1/(k/4 + -2). Put 3, -1, r in decreasing order.
3, r, -1
Let b be 5 + 3 - (3 - 6). Let a = b + -6. Suppose 3*v + 5*c = 5, v = -c - 0 + 1. Put v, a, 3 in decreasing order.
a, 3, v
Let c = 69 + -44. Suppose -2*d - c = 3*d. Let t be d/(-12) + 3/12. Sort -1, t, -1/4 in increasing order.
-1, -1/4, t
Let n = -151/3 + 50. Let g = -1.1 + 1. Put n, g, 3 in descending order.
3, g, n
Let d(r) = r**3 + 5*r**2 + 1. Let l be d(-5). Suppose 3*w + k = -l + 5, 5*w - 4*k = 35. Let p be (-12)/(-2 + 0) + -2. Put -1, p, w in ascending order.
-1, w, p
Let s be (-30)/(-7) - (-2)/(-7). Suppose 2*n + s = -0*n. Let c be (-6)/(-3*4/(-8)). Sort c, n, 1 in decreasing order.
1, n, c
Let t = -16 - -10. Let k = t + 2. Let b be (-33)/42 - k/8. Sort b, 0.5, 2.
b, 0.5, 2
Let u be ((-3)/(-6))/(1/6). Let s(n) = n**3 + 6*n**2 - 2. Let c be s(-6). Let v be (1*-6)/(3/c). Sort 5, u, v in descending order.
5, v, u
Suppose -3*r + 1 = 4. Sort 3, -3, r in descending order.
3, r, -3
Let l(i) = -i**2 - 5*i + 8. Let t be l(-6). Let y be 20/(-2)*t/(-4). Put 1/9, 1, y in decreasing order.
y, 1, 1/9
Let u be (6/(-6 + -6))/(1/2). Let k = 41053/8 - 426575/88. Let p = -284 + k. Sort u, 0.5, p in decreasing order.
0.5, p, u
Let d = 5.3 - 1.3. Let t be (0 + 1)*2/2. Let z be (-3)/(-3) + (-1 - t). Put d, 1, z in decreasing order.
d, 1, z
Let v = 83 + -81. Sort v, -1, 4.
-1, v, 4
Suppose -4*p + 24 = -0*p. Let n be 2/p*-1*-12. Suppose 0 = u + n*j - 13, -4 + 11 = -2*u + 3*j. Sort -3, u, 3.
-3, u, 3
Suppose 4*a - 5*s = -255, 0 = -5*s + 2*s + 9. Let p be 5*3/(a/(-16)). Put p, 5, 3 in decreasing order.
5, p, 3
Let b be ((-10)/(-4))/(2/4). Suppose -b*p + 3 = -2. Let m be 6/(-2)*(-1 - 0). Sort p, 4, m in decreasing order.
4, m, p
Suppose -b - y + 14 = 4*y, 0 = -5*b + 3*y + 14. Let k be 14/b - (-3)/6. Let j = 0 - 1. Sort k, 0.4, j in descending order.
k, 0.4, j
Let o = 2/657779 - 78276271/187467015. Let q = 1/57 + o. Put q, 0,