 Sort o, -5, 1 in descending order.
o, 1, -5
Let o(c) = c**3 - 3*c**2 + 3*c - 3. Let f be o(2). Let x be 0*(0 + f) + 1. Suppose 13 - 17 = 4*t. Sort -2, x, t in decreasing order.
x, t, -2
Let k(t) = 3*t**3 - t**2 - 2*t - 1. Let r be k(-1). Let i be (8/r)/(4/(-6)). Sort 5, i, 1.
1, i, 5
Let v = -102.6 - -103. Put 4, 1, v, -4 in descending order.
4, 1, v, -4
Let b = 55 + -55. Let f = 5 - 1. Suppose t + t = f. Put -2, b, t in decreasing order.
t, b, -2
Let v = 6 + -12. Let l = -0.029 + -6.471. Let q = v - l. Sort q, -2, 0.1 in increasing order.
-2, 0.1, q
Let p(g) = g**3 - 5*g**2 + 5*g - 2. Suppose -5*v + 5*m = -5, -v + 3*m - 4*m = -7. Let d be p(v). Suppose 0*o + d*o - 6 = 0. Put 4, o, 1 in decreasing order.
4, o, 1
Let l = 3.2 + -3. Let s = -34.8 - -30. Let i = s - l. Sort 0.5, 5, i in ascending order.
i, 0.5, 5
Let f = -4 + 6. Let h(i) = 3*i**2 + i - 1. Let d be h(-2). Let u be -5 - (2 - d/3). Put 5, f, u in increasing order.
u, f, 5
Let x = -1.1 + 0.3. Let t = 0.3 + 0.1. Let c = t + x. Sort 2/19, 0.1, c in descending order.
2/19, 0.1, c
Let z(q) = -q**3 - 6*q**2 - 6*q - 4. Let j be z(-5). Suppose 5*a = 3*y - 21, 5*y - 19 = 5*a + 6. Let f be y/9 + (-100)/(-36). Put f, -4, j in descending order.
f, j, -4
Let k(o) = -o**2 - 3*o + 6. Let w be k(-5). Put -2, -3, w in descending order.
-2, -3, w
Let m be 28/(-42) + 932/(-6). Let f be 3/(-5) - m/160. Sort f, 0.3, 3 in decreasing order.
3, f, 0.3
Let k = 0.045 + -0.091. Let a = k - 0.374. Let s = a + 0.02. Put s, 2, -0.2 in ascending order.
s, -0.2, 2
Let h = -15 - -12. Put 0, h, 2, 2/17 in increasing order.
h, 0, 2/17, 2
Suppose -4*a + 10 + 2 = 0. Put -24, -2, 0, a in decreasing order.
a, 0, -2, -24
Let q(i) = 6*i - 4*i**2 - i + i**3 - i - 2. Let u be q(2). Let h be u - (-6)/4 - 0. Put -5, h, -4/5 in decreasing order.
h, -4/5, -5
Suppose -2*x + 4 = -3*x. Suppose -4*t + 0*t + 2*g = 16, 2*t - 2*g = -4. Sort x, t, 2 in increasing order.
t, x, 2
Let p = -32467/75640 + 8/1891. Let z be -6*3/120*2. Let v = p - z. Sort v, 2/11, -1.
-1, v, 2/11
Let r = -2.989 + -0.011. Put -4, r, -5, -0.8 in descending order.
-0.8, r, -4, -5
Let o = 71 - 75. Sort 4, -2, o, 2 in decreasing order.
4, 2, -2, o
Suppose 0 = -l - p + 9, 0 = 5*l + 2*p - 48. Suppose 8*g - l = 3*g. Sort g, 5, -3.
-3, g, 5
Let b = -1 + 0.6. Sort -3, b, -4.
-4, -3, b
Let h be (-20)/140*(-7)/(-6). Let y = -0.6 + 2.6. Let x = 5 - y. Put 3/7, x, h in decreasing order.
x, 3/7, h
Let q be 9 + -10 + -1*2/(-3). Put 1, q, 0.1, 0 in descending order.
1, 0.1, 0, q
Let o be (140/6)/((-2)/(-3)). Let y be (-1 - 0)*o/(-7). Sort y, 3, 2/5.
2/5, 3, y
Suppose -4*f = -f + 24. Sort 4, f, 5.
f, 4, 5
Let h be 5/(-7) - (-2)/2. Let m = -5 - -2. Put h, m, 5 in increasing order.
m, h, 5
Let v be (2/4)/(2/16). Let p = 14 + -9. Put p, -4, v in descending order.
p, v, -4
Suppose -4*a + 7*a = -9. Put a, -1, 3 in increasing order.
a, -1, 3
Let t be (-1)/3*(-2 - 16)/(-3). Put 5, t, -1 in descending order.
5, -1, t
Let l be (1 + -3 + 1)*(9 - 8). Put -3, l, -4, 19 in descending order.
19, l, -3, -4
Let k = 7 - 3. Suppose -10 + 26 = k*a. Put 0, a, -5 in increasing order.
-5, 0, a
Let c be ((-4)/4)/(2/(-12)). Let n be 3/(-2)*48/(-9). Let z = n - c. Put -4, z, -0.3 in descending order.
z, -0.3, -4
Suppose 5*w - 29 = c, -w + 0*w = -2*c - 13. Let s(t) = t + 19. Let r be s(-15). Sort r, -3, w.
-3, r, w
Let u be (-794)/314 + (3 - 0). Let b = u + -84125/942. Let t = b + 89. Put t, -4/9, -2 in decreasing order.
t, -4/9, -2
Let q = 4.4 + -6.4. Put 5, q, -2/13 in ascending order.
q, -2/13, 5
Let b = -0.4 - 0.1. Let s be 2/(-3)*3/(-5). Sort s, b, -0.4 in ascending order.
b, -0.4, s
Let n be (10/4 - 2)/2. Sort 0, n, 6 in descending order.
6, n, 0
Let b = 811/85 + 35/17. Let w = b - 11. Sort w, -3, 0.4 in increasing order.
-3, 0.4, w
Let i = -118 - -76. Sort i, -5, 4 in descending order.
4, -5, i
Let r = 0.44 + -1.44. Put 0.3, r, 2/13 in ascending order.
r, 2/13, 0.3
Suppose 0 - 3 = k. Suppose -4*b + 22 - 6 = 0. Put b, -2, k in descending order.
b, -2, k
Suppose 0 = -2*i + 2 + 8, 0 = 5*d - 2*i - 10. Suppose -6*x - d = -2*x. Let p be x/2 + (-5)/10. Sort p, 4, 5.
p, 4, 5
Suppose 7 + 18 = 5*u. Put -2, u, 8 in ascending order.
-2, u, 8
Let j = -3/190 + -261/1520. Let w = 11/112 - j. Suppose 13*m - 10*m + 9 = y, -4*y = -4*m - 4. Put y, w, -5/4 in descending order.
w, -5/4, y
Let y = -26 - -22. Let m(f) be the second derivative of f**3/6 + 11*f**2/2 + 2*f. Let p be m(-6). Sort y, -2, p.
y, -2, p
Let j = -100.6 - -101. Sort j, -13, -0.2.
-13, -0.2, j
Suppose 3*w - 32 = -w. Let p = w - 7. Sort 5, p, -4 in ascending order.
-4, p, 5
Let p be 2/(-5) - 24/(-10). Sort p, -2/11, -0.2.
-0.2, -2/11, p
Let k = -8.6 + 1.6. Sort k, 0, -1/6 in increasing order.
k, -1/6, 0
Let g = 22 - 9. Suppose -10*v = -g*v. Sort v, 5, -5 in ascending order.
-5, v, 5
Let l = -0.3 + 1.3. Let h = -0.043 + -3.257. Let g = h - -0.3. Put l, -0.2, g in descending order.
l, -0.2, g
Let p = 5 + -8. Let w = p - -2. Let f = -161 + 161.2. Sort 3, f, w.
w, f, 3
Let h(k) = -k - 7. Let t be h(-5). Let j = 9 + -6. Suppose y = j*y. Put y, 1, t in descending order.
1, y, t
Let w = 4.19 + -4.3. Sort 4, w, -0.4.
-0.4, w, 4
Suppose 3*m + 55 = -m - q, -5*m - 2*q - 68 = 0. Let h = -16 - m. Sort 4, 5, h in decreasing order.
5, 4, h
Let i be (2/1)/(4/(-8)). Suppose 4*t + 5 = 1, -4*h + 6 = -2*t. Let m be (-2 - -2)/((-2)/(-2)). Put h, i, m in decreasing order.
h, m, i
Suppose 0*t - 164 = -3*q + t, 2*q - 120 = -2*t. Let k = q + -32. Suppose -4 = -5*a - k. Sort a, 4, 0.
a, 0, 4
Let b = -12013/322 - -261/7. Let q = b + -43/138. Sort q, -2/3, 0.2 in decreasing order.
0.2, q, -2/3
Let f = -5.6 + 0.6. Let r be 39/(-33) + (-1 - -2). Put r, 5/3, f in decreasing order.
5/3, r, f
Let t be (-1 + -1)*(-54)/(-36). Suppose 3*o = 3*k + 24, 0 = k + 6 - 1. Suppose -3 = -o*a + 2*a. Sort t, a, 5.
t, a, 5
Let y be 4 - (2 - (0 + 3)). Let r be (-150)/14 - 8/28. Let j = -15 - r. Put 3, j, y in descending order.
y, 3, j
Let c = 20.93 + -21. Put 1, c, 0 in ascending order.
c, 0, 1
Let s = -0.2 + -1.8. Let g = -4 + 5.5. Let r = g + s. Sort -0.1, r, -4 in increasing order.
-4, r, -0.1
Suppose -2*a = a + 90. Let m be ((-40)/a)/((-2)/6). Let x be (-5)/3 - (-4)/6. Sort m, x, -5 in decreasing order.
x, m, -5
Let t = 27 - 27. Sort t, 4, 1 in decreasing order.
4, 1, t
Let j = -2.6 + 0.6. Let z = j + 5. Sort -2/5, z, -0.2.
-2/5, -0.2, z
Let u be -4 - ((-88)/15 - (-12)/(-90)). Sort -0.5, 1, -1, u in ascending order.
-1, -0.5, 1, u
Let b = 2 + 2. Let y = -2 + 2. Let i be -1 - 3 - (y + 1). Sort -1, b, i.
i, -1, b
Let f = 1 - 1.35. Let q = f - -0.05. Let v = q - 0. Put 4, 1, v in descending order.
4, 1, v
Let b = -192.06 + 192. Sort b, 5, -3, -3/4 in ascending order.
-3, -3/4, b, 5
Suppose -4*t - 4*r = r + 4, 4*t = -2*r - 16. Let p = t - -9. Sort -2, p, 4 in descending order.
4, p, -2
Let g be (-14)/(-5) + (-4 - -1). Let m(a) = -21*a**3 + 2*a + 1. Let t be m(-1). Let h be ((-4)/(-10))/(12/t). Sort g, h, -0.3 in descending order.
h, g, -0.3
Let l = -77 + 67. Put 1, -5, l in ascending order.
l, -5, 1
Let m(w) = -w**3 - 4*w**2 - 5*w - 4. Let p be m(-3). Suppose -p*b - 20 = -6*b. Let j = 1/15 - -4/15. Sort -0.3, j, b.
-0.3, j, b
Let b(k) = -k - 5. Let f be b(0). Suppose -4*s = -9*s + 15. Suppose -s*p - p = 0. Sort p, -2, f in ascending order.
f, -2, p
Let f = -27 - -32. Sort 1, 13, f, 7 in increasing order.
1, f, 7, 13
Let l = -23/76 + 20/19. Suppose -8*j = -3*j - 5*s - 15, -5*j - 3*s = -31. Suppose 0*z = -j*z. Put z, l, -4 in increasing order.
-4, z, l
Let l = 8 - 11. Let g = -2 - -3. Let w be 20/14 - (g + 1). Sort 0.1, w, l in decreasing order.
0.1, w, l
Let r = -14 + 5. Sort r, -3/8, 0.
r, -3/8, 0
Let u = 124 - 131. Let o(k) = k**3 - 3*k**2 - 4*k - 2. Let c be o(4). Sort 0, u, c in decreasing order.
0, c, u
Suppose -3*k = 24 - 9. Let u be 2/((-2)/2 + -2). Let i = -2.8 - 0.2. Put i, u, k in ascending order.
k, i, u
Let f(s) = 5*s**2 - 4*s - 26. Let v(d) = 4*d**2 - 5*d - 25. Let z(r) = -5*f(r) + 6*v(r). Let o be z(-8). Put -5, 5, o in ascending order.
-5, o, 5
Suppose a = -0*a - 5. Sort -1, 4, a, 7.
a, -1, 4, 7
Let x = 0.09 - 0.07. Let v = 0.48 + x. Put 3/7, v, -2 in ascending order.
-2, 3/7, v
Suppose -57 = l - 44. Put l, -5, -4 in decreasing order.
-4, -5, l
Suppose -5*b + 3 = -7. Let y be b/