w - 4, -3*w = 4*y + 9. Sort 3, r, w in decreasing order.
3, w, r
Let p(x) = 2*x**3 - 3*x**2 + 3*x - 3. Let f be p(2). Suppose -4*w = 1 - 13. Sort w, -5, f.
-5, w, f
Let f = -9 - -6. Sort 2, f, 2/5 in descending order.
2, 2/5, f
Let g = -1 - -1. Let o = g + -0.3. Sort 0.5, 1, o in descending order.
1, 0.5, o
Let c(q) = -q**3 - 3*q**2 - q + 3. Let i be c(-3). Let z be 3/i*(-4)/2. Let p be (-4 + 1)/(9/12). Sort 3, z, p in ascending order.
p, z, 3
Suppose 4*x = 5*y + 41, 2 = 3*y + 5*x - 3. Put y, -1, 3 in descending order.
3, -1, y
Let x = 9 - 13. Let p = 0.1 + 0.4. Let s = 0 + p. Put -2/3, s, x in decreasing order.
s, -2/3, x
Let f(v) = -2*v + 13. Let s be f(8). Sort 0, 2, -1, s in descending order.
2, 0, -1, s
Let w = 4 - 2. Let g be 0 + (w - 1) - -1. Suppose 1 = a - 4*k, -2*a + 4*k + 0*k + 6 = 0. Put -2, a, g in increasing order.
-2, g, a
Let q = -243/442 - -3/34. Let w = 15/52 - q. Put -4, w, 3 in decreasing order.
3, w, -4
Let o = -0.3 - -5.3. Suppose 4*h - 4*c + 49 + 7 = 0, -61 = 4*h - 3*c. Let i be 2/(-5) + h/(-35). Sort o, i, -2/23.
-2/23, i, o
Let x be 17/21 - (-6)/(-9). Sort 1/4, x, -3 in decreasing order.
1/4, x, -3
Let m(p) = p**3 + p + 6. Let z be m(0). Suppose 1 - z = f. Suppose 5*g - k = -8, 4*g + 5*k - 8 = 3. Put g, f, 4 in decreasing order.
4, g, f
Let l = 18 + -55/3. Let g = -542/45 + 112/9. Put 4/3, g, l in decreasing order.
4/3, g, l
Let m(l) = l**2 - 8*l + 18. Let n be m(6). Suppose 22 = -4*a + j - 25, 3*a = 2*j - 39. Let o = a + n. Put o, -4/3, -0.3 in descending order.
-0.3, -4/3, o
Let i be ((-32)/(-10))/4*-5. Suppose 2*j - 15 = -3*b, 2*j + 2*b = -2*j + 42. Suppose 0 = 4*y - j. Sort -1, i, y in increasing order.
i, -1, y
Let j = 100501/4 + -25282. Let o = -158 - j. Put -1/5, 5, o in descending order.
5, -1/5, o
Let o be -3 + 0 + -1 + 3. Let f be 2*1*15/(-6). Let i(u) = 2*u**2 + 9*u - 9. Let j be i(-5). Put o, j, f in descending order.
o, j, f
Let b = -14 + 10. Put 4, b, 5 in increasing order.
b, 4, 5
Let l = -413 - -411. Let d(t) = -19*t**3 + t + 1. Let r be d(-1). Sort 2, l, r in descending order.
r, 2, l
Suppose -3 - 1 = -r. Put r, -2/11, 2/19 in increasing order.
-2/11, 2/19, r
Let p = -18 - -16.6. Let v = 1 + p. Let b = -0.2 + 0.3. Put v, -3/2, b in decreasing order.
b, v, -3/2
Suppose 7*m = 11*m - 12. Suppose -4*h = -g - 2*g + 13, 0 = 3*h + 2*g + 14. Put 4, h, m in ascending order.
h, m, 4
Let t be ((-136)/(-6) + -1)*-3. Let g be 2/(-8) - (-6405)/100. Let p = g + t. Sort p, -3, -0.2.
-3, p, -0.2
Suppose -a - 12 = -4*a. Let b(h) = h**3 + 4*h**2 - 6*h - 6. Suppose 2*q - 3*d + 2*d = -7, 2*d = q - 1. Let n be b(q). Put n, 3, a in decreasing order.
a, 3, n
Let n = -0.5 + 0.3. Let l = -17.07 + 17. Let c = l - -0.37. Put c, -2/7, n in decreasing order.
c, n, -2/7
Let z = 3 + 3. Let f = z - 3. Put f, 0.1, -5 in descending order.
f, 0.1, -5
Suppose -2*j + j = 6. Let a = -5 - j. Let m be (-1)/4 + 2/8. Sort m, a, -3.
-3, m, a
Let j(u) = -2*u**3 - u**2 - 2*u. Let p be j(-1). Put p, -2, -7 in descending order.
p, -2, -7
Let p = -0.3 - -0.1. Let d = 0.26 - 0.36. Put d, p, 4 in decreasing order.
4, d, p
Let p = -0.9 + 4.9. Let m = 1 - 1.1. Let j = 0.2 + m. Sort p, j, -1 in descending order.
p, j, -1
Let a = -2.9 - -21.9. Let p = 19 - a. Let k be (-1)/(-3) - 14/(-12). Sort k, 1, p in decreasing order.
k, 1, p
Suppose 5*p - 25 + 6 = -4*d, -2*d = 2*p - 8. Let w = -11 + 16. Put w, 3, d in increasing order.
d, 3, w
Let c be -1 + -4 + 0 + 0. Sort c, -2, -3, -4 in ascending order.
c, -4, -3, -2
Let q = 16 - 11. Suppose 2*v - 6*v = -i, -q*i + 4*v = 0. Sort 4, 5, i in descending order.
5, 4, i
Let i = 6 + -3. Put i, -3, -4 in decreasing order.
i, -3, -4
Let k be 2/39*1*-3. Let t = -0.48 - -0.68. Sort t, k, 0 in descending order.
t, 0, k
Let p be (-480)/112 - 2/(-7). Put 3, -1, p, 0 in descending order.
3, 0, -1, p
Let w = -10 - -9.6. Let s be (-3)/(-2)*60/9. Let a = -28/3 + s. Put w, -0.1, a in ascending order.
w, -0.1, a
Let w(m) = m**3 + 2*m**2 - 5*m - 3. Let i be w(-3). Sort -0.5, i, -2/11.
-0.5, -2/11, i
Suppose -r + 2*r = 0. Let p = 4 - 0. Let w = 6 + -9. Put w, r, p in increasing order.
w, r, p
Let y be (-28)/(-18)*26/4. Let q = -10 + y. Let j = -0.45 + 0.05. Put j, -1/3, q in ascending order.
j, -1/3, q
Let i(s) be the first derivative of s**3/3 - s**2/2 - 2. Let z be i(-1). Let w be (-3)/(-9) - 10/3. Sort w, -2, z in decreasing order.
z, -2, w
Let p = -37/495 - 2/55. Let b be (-4)/12 - (-1)/3. Sort p, b, -0.4.
-0.4, p, b
Let i = -0.79 + -0.21. Let s = -3.89 - 0.11. Sort 1, i, s in increasing order.
s, i, 1
Let g be -5 + (-2)/(-1) - (1 + -1). Suppose -10 = q + 4*q - 4*u, 3*u = -5*q - 10. Put 5, g, q in descending order.
5, q, g
Let v(h) = -h - 1. Let q be v(-2). Let b = q + 1. Sort 5, 4, b in ascending order.
b, 4, 5
Suppose -3*y = -d - 20, -d = d - 8. Suppose -v = 3*k - 2, y*k - 8 = -4*v + 3*k. Suppose 0 = 3*x - v*x - 3. Sort 1, -2, x in ascending order.
-2, 1, x
Suppose 4*p - 18 = -2*x - 2, 3*p = -2*x + 13. Put 1, p, 5 in decreasing order.
5, p, 1
Let w be -12*(2 - 28/12). Suppose -3*y + 1 = 5*g - 12, 20 = w*g. Sort 0.3, y, 3 in descending order.
3, 0.3, y
Let z be (-2)/5 + (-17)/(-5). Suppose 18 = -2*l + 3*l + 2*j, 3*l - 22 = 2*j. Suppose 2*i + z = 3*o - 7, -4*i - l = -o. Sort 1, o, 0.
0, 1, o
Let c be 3*-3*2/6. Sort -2, c, 4.
c, -2, 4
Let d = 1 - -4. Put 0.3, 4, d in decreasing order.
d, 4, 0.3
Let o(m) = -m + 11. Let n be o(6). Let x = -1 + n. Suppose x*v + v = 0. Put 2/9, v, -5 in descending order.
2/9, v, -5
Let n = 85.1 + -96. Let t = -11 - n. Let h = 0.6 - 0.1. Put h, t, -2/5 in decreasing order.
h, t, -2/5
Let d = -331/2 - -1157/7. Put 1/5, d, -0.5 in descending order.
1/5, d, -0.5
Let q = 22 + -17. Put q, 3, 0 in increasing order.
0, 3, q
Suppose -3*b = -8 - 7. Let y be 0/((4 - 2) + -1). Sort 3, b, y in descending order.
b, 3, y
Suppose b + 2*b = 0. Let f be (b - 2/(-4))*-6. Let v = -7 - f. Put v, 1, 5 in increasing order.
v, 1, 5
Let n = 9 + -3. Suppose -a = -0*a + n. Let c(o) = -o**3 - 5*o**2 + 5*o - 2. Let l be c(a). Put 5, 2, l in decreasing order.
5, l, 2
Let y(g) = -2*g. Let q be y(-1). Suppose q*s - 7 = -1. Put s, -3, -2 in descending order.
s, -2, -3
Let n = 60 + -61. Sort -11, n, -5.
-11, -5, n
Let v = 9 + -6. Let o = v - 2.6. Let u = o + -0.3. Put u, -4, 0.2 in decreasing order.
0.2, u, -4
Suppose -3 = 3*f + 24. Sort 2, f, 5 in increasing order.
f, 2, 5
Let t = 161 + -161.2. Let x = 1.4 + -1. Put -2/17, x, t in increasing order.
t, -2/17, x
Let h = 53/70 + -9/10. Let d = -0.14 - 6.86. Let o = d + 4. Sort 1/8, o, h in ascending order.
o, h, 1/8
Suppose 2*s - 3*a - 23 = -5, 2*s - 5*a = 10. Let c = s + -16. Suppose -4*z + 7 = -z + u, 10 = -2*u. Sort 0, z, c in decreasing order.
z, 0, c
Let t be 1 + -2 - (-6)/4. Let i = 1.979 - -0.021. Put i, -0.4, t in ascending order.
-0.4, t, i
Let t be (-4 - -1)*(-70)/42. Suppose k = -0*k + t. Put 3, k, 0 in descending order.
k, 3, 0
Let i be 44/(3 - -1) + 1. Suppose -2*p + 7*p - n = -12, -i = 3*p - 3*n. Let k(q) = -q**2 - q - 1. Let g be k(0). Sort -4, p, g in decreasing order.
g, p, -4
Let p be (-2)/(-10) + (-55)/25. Sort p, 5, 1.
p, 1, 5
Suppose 3*w - 9 = 0, 0 = 2*l + 4*w - 15 + 1. Suppose -4 - l = -m. Sort m, -1/7, -2/3 in ascending order.
-2/3, -1/7, m
Suppose 0 = 5*q - 14*q - 27. Suppose -w + 1 = -1. Let x = w + -6. Sort x, q, 3 in descending order.
3, q, x
Let p = 3 - 4. Let g(t) = -t**2 + t - 3. Let j be g(-3). Let d be (-13)/j - 8/12. Put 3, p, d in decreasing order.
3, d, p
Let u = -1.4 - -1.2. Let b = 1.9 - 2. Let l = b + -2.9. Put 0.5, u, l in descending order.
0.5, u, l
Suppose 4*n - 7 - 1 = 0. Suppose -16 = 3*s + n*q, -60 = 5*s - 8*q + 3*q. Put -5, s, 5 in decreasing order.
5, -5, s
Let c = 130 - 127. Put c, -5, -3 in descending order.
c, -3, -5
Suppose 0*m + 5*m = 20. Suppose -1 + 8 = 4*p - 3*z, -1 = -5*p - m*z. Let n(i) = -4*i - 1. Let j be n(1). Sort p, 0, j in ascending order.
j, 0, p
Let p = -2.0063 + 0.0063. Let x = 1 - 1. Put x, 1/3, p in decreasing order.
1/3, x, p
Suppose 5*c + 0 = -3*b + 30, -20 = -5*c - b. Put -10, 5, c, -3 in decreasing order.
5, c, -3, -10
Suppose 4*k - 1 + 8 = -c, 2*c + k = 0. Let i = 1 - 1. Sort c, i, 2 in decreasing order.
2, c, i
Let f be (-5)/10 + (-14)/4. Let t be f/(-4 - -3) + 0. Put t, 2, 1 in decreasing order.
t, 2, 1
Let a 