 o, s
Let j be (-2 - -16)*1/(-2). Let k(u) = u**2 + 4*u + 3. Let w be k(-4). Sort j, w, 4 in descending order.
4, w, j
Let c(i) = i**3 + 3*i**2 - 5*i. Let u be c(-4). Suppose 0 = 2*x - u - 2. Suppose -8*w - 2 = 38. Sort 10, w, x.
w, x, 10
Let h = -26.9 - -24. Let z = 3.9 + h. Put -1, 0.5, z in decreasing order.
z, 0.5, -1
Let t(i) be the third derivative of i**4/8 + 7*i**3/3 - 6*i**2. Let w be t(-4). Suppose 0*z - z + w = 0. Sort z, 3, 0.
0, z, 3
Let b = 5641/2 - 2820. Sort -0.09, 9/7, b in ascending order.
-0.09, b, 9/7
Let x(c) = c**3 - 10*c**2 - 13*c + 27. Let n be x(11). Sort -1, 2, n, -2 in ascending order.
-2, -1, 2, n
Let h be (3 + -1)/((-2)/(-5)). Suppose -3*t = -h*t - 6. Sort t, 5, 4 in decreasing order.
5, 4, t
Let n = 255 - 257. Sort -31, 0, n.
-31, n, 0
Let i = 32 - 32.4. Let t be (-5)/4 - -1 - (-77)/(-28). Sort -0.11, i, t.
t, i, -0.11
Let m = 9 - 4. Suppose 4*y - 5 = m*w, -2*y + 5*w = y. Suppose -h + y = -0. Put 0, 2, h in decreasing order.
h, 2, 0
Let s be 1071/(-231) - (-8)/(-22). Sort -3, -124, s, 0 in descending order.
0, -3, s, -124
Suppose -2*t - i + 15 = 0, 3*i = -3*t + 4 + 14. Put 4, 5, t in descending order.
t, 5, 4
Let y = 13 - 3. Let u be 85/25 - (-6)/y. Suppose q - 4 = 3*d, u*q + 2*d - 5 = 11. Sort -6, -3, q in decreasing order.
q, -3, -6
Let r = -0.442 + 0.242. Put -1/2, -4, r, -1 in increasing order.
-4, -1, -1/2, r
Let t be 6 - 0 - (10 + -6 + -2). Let i = -2 + 0. Let l be (i/(-3))/(2/15). Sort t, l, -5 in decreasing order.
l, t, -5
Let j = 55.7 - 61. Let o = -1.3 - j. Sort -2/7, o, -2/13.
-2/7, -2/13, o
Let b = 584 - 536. Put 1/2, 5, b in descending order.
b, 5, 1/2
Let c(q) be the first derivative of 7*q**4/4 + q**3/3 - q**2 + q - 4. Let b be c(1). Put 0, -3, b in descending order.
b, 0, -3
Suppose 0 = -4*q + 3*f + 45, -3*f = -2*f - 1. Suppose -2*z + 0 = -n - 3, -4*n = -5*z + q. Let g be (2/4)/(-3 + (-44)/(-16)). Put z, g, 2 in increasing order.
g, z, 2
Let n = -9.2 - -9.7. Let t = -0.17 + 0.35. Let y = 13.82 + t. Sort y, n, -2.
-2, n, y
Let d(j) = -48*j - 1246. Let v be d(-26). Let n = -0.2 + 0.3. Let b = 0.1 + n. Put b, v, -5 in ascending order.
-5, b, v
Let g(i) = 14*i + 18. Let p be g(-1). Put -1, p, 41 in increasing order.
-1, p, 41
Suppose 5*x - 3*q = 100, -3*q + 32 = 3*x - 28. Suppose x*b - 15*b = -5. Let h be (-17)/7 - (0 + -2). Sort b, h, 1/11 in ascending order.
b, h, 1/11
Suppose -4*b - 4*j - 8 = -0*j, 3*j + 18 = 3*b. Let r(x) = -2*x**2 + x + 7. Let m be r(-2). Sort b, 4, m in ascending order.
m, b, 4
Let v = 274 + -274.5. Put 3, -10, v in decreasing order.
3, v, -10
Let w be (-2 + (-95)/(-50))/((-2)/8). Put -2/13, 14/5, -1/2, w in ascending order.
-1/2, -2/13, w, 14/5
Let d(h) = h - 12. Let f be d(9). Suppose 1 - 4 = -3*u. Suppose 0*m - u = m. Put -4, f, m in ascending order.
-4, f, m
Suppose -5*w - 19 = 2*o, 5*o - 3*w + 32 = -0*w. Let f = o + -10. Let b(k) = k**3 + 17*k**2 - 5. Let p be b(f). Sort -3, p, 5 in decreasing order.
5, -3, p
Let u = -311 + 313. Sort -1, 1, u, -33 in ascending order.
-33, -1, 1, u
Let z be (46/(-3))/((-4)/(-18)). Let o = -125 - z. Let k = 225/4 + o. Put k, -3, 0.1 in increasing order.
-3, 0.1, k
Let j(c) = -116*c + 575. Let f be j(5). Sort f, 24, -4 in decreasing order.
24, -4, f
Let j be (78/12 + -6)*-2. Put -114, 1, j in increasing order.
-114, j, 1
Let w(i) = i. Let l be w(0). Let u be -3 + (2 - l/2). Let g = -1181 - -1181. Put u, g, 4 in descending order.
4, g, u
Let z = -8083/6 - -1347. Put -64, -5, z in descending order.
z, -5, -64
Suppose 0 = -2*b + 2*q, -136*b + q - 24 = -141*b. Let t be (-18)/(-10) - (-1)/5. Suppose 2 = -4*y - t. Sort -3, y, b in ascending order.
-3, y, b
Suppose 2*c - 19 + 9 = 0. Suppose -17 = 5*l - 3*k, 3*l - c*l - 6 = -k. Sort -5, 5, l, 13.
-5, l, 5, 13
Let l be (-6)/((-4)/(-70)*(5 - 10)). Sort 0, 4, l, 3 in ascending order.
0, 3, 4, l
Let q = 2111/6 - 352. Sort -3, -11/5, q in descending order.
q, -11/5, -3
Let l(f) be the third derivative of f**4/24 - 5*f**3/6 + 10*f**2. Let r be l(4). Let a be 7/r - (2 + -4). Put a, -1, -2 in increasing order.
a, -2, -1
Suppose -4 = -2*z - 5*q - 2, -q + 10 = -2*z. Let c = 41 - 40.8. Sort -3, c, z in decreasing order.
c, -3, z
Let x = -160 - -159. Suppose -2*o - 15 = o, -4*a + 55 = o. Let q be (a/6 + -3)*10. Sort 5, q, x.
q, x, 5
Let y = -563 + 562. Put 1.1, y, -3, -1/6 in ascending order.
-3, y, -1/6, 1.1
Let c = -47 + -51. Let a = c + 93. Let o = 0.06 - -0.24. Sort o, -1/4, a in decreasing order.
o, -1/4, a
Let o = -1775 - -1774.7. Put 85, o, -0.5 in decreasing order.
85, o, -0.5
Let l = -22.6 + -0.2. Let w = l - -23. Sort -4, -5/2, -2/11, w in increasing order.
-4, -5/2, -2/11, w
Let b be 20/25*5/(-30). Sort 3, 4, b, 2/11 in decreasing order.
4, 3, 2/11, b
Suppose -145 = 5*t + 4*r, 13 + 58 = -2*t + r. Let g be -1 + (-105)/t - 2. Let f = -14 - -13.7. Sort 2, g, f in increasing order.
f, g, 2
Let x(m) = m**2 + 8*m - 7. Let g be x(-9). Suppose -2*o + 0 + 14 = 0. Suppose -7 = -2*b + o. Sort 4, b, g in decreasing order.
b, 4, g
Suppose -2*z = 3*x + 3, 5*z = 13*x - 14*x + 12. Let g(c) = 2*c - 3. Let o be g(-4). Put 0, o, z in descending order.
z, 0, o
Let p(k) = 6*k + 41. Let n be p(-7). Put -2, 3, n, -3 in descending order.
3, n, -2, -3
Let l = 0.29 - 0.16. Let a = l + -0.23. Put -1, -4, a in descending order.
a, -1, -4
Let r = 3/41 - -117/82. Suppose 3*s - 113 = -2*s - 4*j, 2*s - 34 = 4*j. Suppose 18*u + 15 = s*u. Sort u, r, -5 in ascending order.
-5, r, u
Let j(f) = f**3 + 7*f**2 + 5*f + 3. Let l be j(-6). Let n be ((-3)/l - 1)*3. Let y = -21 - -16. Sort y, 5, n in decreasing order.
5, n, y
Let r = 1167 - 1167.3. Put -12, -0.4, 10, r in increasing order.
-12, -0.4, r, 10
Let r = -301 + 300.9. Sort -2, 3, r, -8 in ascending order.
-8, -2, r, 3
Let j = 1176 - 1164. Sort -2, -0.5, j.
-2, -0.5, j
Suppose 4*f - m = 3*f, -5*f = m. Let c be 12/((84/8)/7). Suppose 2*g - 2*j = 0, -3*g - j = 12 + c. Sort g, f, 1.
g, f, 1
Suppose 2*s - 4 = 4*s. Suppose 0 = -4*t - 3*a + 6, 0 = -t + 2*a - 0*a - 4. Sort t, s, -17.
-17, s, t
Let r = -2 + 3. Suppose -259 - 371 = 6*q. Let x = q + 108. Sort x, -2, r in decreasing order.
x, r, -2
Suppose -5*z + 9 = 3*p, -5*z - 2*p + 6 = -z. Suppose 27 = -3*a + 4*g - z*g, 4*g - 2 = -2*a. Let n be 0*(1/(-5))/((-18)/(-30)). Sort 4, n, a in decreasing order.
4, n, a
Let o = 12.2 - 3.2. Let u = -8.5 + o. Let k = -11.7 - -12. Sort 0, k, u in increasing order.
0, k, u
Let k = 12927/1816 - -3/454. Sort -3, 4/9, -5, k in descending order.
k, 4/9, -3, -5
Let k = 775/1554 - -1/777. Sort 0.1, -1/8, k.
-1/8, 0.1, k
Let z(v) = v**3 - v - v**2 - 941 + 941. Let c be z(2). Sort c, 1, -1, 3 in increasing order.
-1, 1, c, 3
Let l = -43 + 42.8. Let u be (-2)/4*(-16)/(-24). Put 1, u, 3/4, l in ascending order.
u, l, 3/4, 1
Let n(r) be the third derivative of -r**4/12 - 3*r**3/2 - 5*r**2. Let g be n(-6). Let f be ((-21)/(-6) - 3)*-2. Put -3, g, f in decreasing order.
g, f, -3
Let n be -1 + 1/(3/12). Let k(f) = 79*f - 549. Let b be k(7). Put -5, b, n in ascending order.
-5, n, b
Let f(n) = -n**3 + 7*n**2 - n + 9. Let i be f(7). Let r = 7 + -5. Suppose -r*t - 2*t = a + 6, -4*a + 10 = -t. Put i, t, -1 in increasing order.
t, -1, i
Suppose -4*q + 16 = 2*n, 0 = n - 5*q + 4 - 5. Suppose 3*r + 8 - 44 = 0. Suppose 2 = 5*y + r. Sort y, n, -1 in descending order.
n, -1, y
Let g be (31/93)/((0 + 1)/3). Put g, -14, -4 in decreasing order.
g, -4, -14
Let y(i) = -i**3 + 5*i**2 + 7*i - 8. Let o be y(6). Let n = 563 - 571. Let r be 2*6*(-3)/(-12). Put r, n, o in descending order.
r, o, n
Suppose 0 = -16*n - 7*n + 6*n. Let w = 0 + 5. Let z(j) = j + 1. Let l be z(-6). Put l, n, w in decreasing order.
w, n, l
Let b = 215/3 + -72. Sort -15, -2/7, b in decreasing order.
-2/7, b, -15
Suppose 3*c + 5*i + 6 = 0, 0*c = -c - 5*i - 2. Let d be ((-2)/(-32))/((-1)/c). Let k = 1.7 + 1.3. Sort k, d, -4 in descending order.
k, d, -4
Let t = 1181 - 1184. Sort 6, t, 4/3.
t, 4/3, 6
Let m = -151.3 - -137. Let f = m + 14.34. Sort -0.5, f, 2/3, -3.
-3, -0.5, f, 2/3
Suppose -12 - 20 = -8*i. Put -6/5, i, 7, 5 in ascending order.
-6/5, i, 5, 7
Let f = 0 + -1. Let t be f/(-2 - (-11)/5). Suppose 6*z + 17966 = 17954. Put t, 6, z in decreasing order.
6, z, t
Let q = -4759 + 4763. Suppose 2*c = -w + 5, 5*w + 6 = 5*c + 76. Sort w, -5, q, 5 in decreasing order