increasing order.
n, p, -2/11, 3/2
Let r = -89 - -84. Put r, 5, -1/43 in decreasing order.
5, -1/43, r
Suppose -7 - 2 = -b + 4*d, 0 = -2*d + 2. Let k = b - 8. Suppose p - 2*p = -o + 14, -3*o - k*p = -10. Sort -1, 0, o in ascending order.
-1, 0, o
Suppose m - 10 - 6 = 0. Suppose 0*k = -k - 3*f - m, 5*k - 2*f = -12. Sort k, 4, 2 in decreasing order.
4, 2, k
Let w = 84 - 82.84. Let y = -2.84 - w. Sort y, -1/2, -3, 1 in descending order.
1, -1/2, -3, y
Let c = 2410 - 2415. Let t = -1.1 + 1. Put c, 3, t in ascending order.
c, t, 3
Let a = -20.3 + 14. Let y = 9.3 + a. Put -1/10, -0.2, 13, y in decreasing order.
13, y, -1/10, -0.2
Let r be (14/(-8))/((-9)/36). Let d be 33/r + (-6)/(-21). Let k(m) = -m**2 + 5*m - 1. Let u be k(d). Put u, 2, 5/3 in decreasing order.
2, 5/3, u
Let b be (-1)/(((-15)/(-3))/(-40)). Suppose -o + b = f - 7, -o - 5*f + 35 = 0. Sort o, 2, 0, -1 in decreasing order.
o, 2, 0, -1
Let d(b) = 7*b**2 + 14*b + 2. Let t be d(-1). Sort -4, t, 0.08, 0.1.
t, -4, 0.08, 0.1
Let f(y) = -y**2 + 6*y + 2. Let j be f(6). Let n(v) = 4*v**2 + 0 - 6*v + 1 - 8 - 3*v**2. Let h be n(7). Put j, 4, h in descending order.
4, j, h
Let f be (-210)/(-3 + -2) + 3. Let q(w) = w**2 + 6*w + 1. Let v be q(-6). Let g be (f/10)/(-2 - v). Sort 1/9, 1/2, g in descending order.
1/2, 1/9, g
Let f be -1 - 9 - 18252/(-1820). Sort f, -0.5, 4 in descending order.
4, f, -0.5
Let v(p) = -p + 7. Let w = -27 - -37. Let u be v(w). Put 4, 5, -8, u in increasing order.
-8, u, 4, 5
Let a(n) = 2*n**3 - 11*n**2 - 6*n. Let q be a(6). Suppose 3*f - f + 280 = q. Let b be 6/10 - (-44)/f. Put -5, -3, b in decreasing order.
b, -3, -5
Let p = -51.5 - -51.3. Put -1/10, p, 1.7 in descending order.
1.7, -1/10, p
Suppose -o + 25 = -6*o. Let c = -252 + 251. Sort o, -6, c.
-6, o, c
Suppose 5*u + 25 = -0*u. Let x(y) = -2*y - 6. Let j be x(u). Suppose 3*k = 5*o - 41, 0 = o - 2*o - j*k + 22. Put o, 1, -4 in decreasing order.
o, 1, -4
Let b = -0.22 - 0.2. Let l = 0.02 + b. Let x be (4/(-16))/(6/(-16)). Sort -2, x, l.
-2, l, x
Let l(i) be the second derivative of i**7/840 - i**5/120 - i**4/6 - 5*i**3/6 + 5*i. Let j(v) be the second derivative of l(v). Let c be j(0). Sort c, 5, -2.
c, -2, 5
Let h = 1 - -1. Suppose d - 6*d + 15 = 0. Suppose 5*c - 3*i = 34, 3*i = -d*c - 0*c + 6. Sort h, c, -3 in decreasing order.
c, h, -3
Let m = 277 + -268. Suppose 0 = 5*n + b - 0 + 7, -2*n = -4*b + 16. Put n, m, 2 in descending order.
m, 2, n
Let x(d) = -3*d + 34. Let j be x(13). Suppose a - 1 = 2. Suppose -a = -r + 2*r. Sort 5, j, r in descending order.
5, r, j
Let v(q) = 5*q**2 - 22*q + 16. Let m(p) = 4*p**2 - 21*p + 16. Let d(l) = 6*m(l) - 5*v(l). Let h be d(-17). Sort -4, -3, 2, h.
-4, -3, h, 2
Suppose -5*z = -4 - 1. Suppose -25*k = -1 + 1. Sort 4, z, -5, k in descending order.
4, z, k, -5
Suppose -6*s + 20 = -s. Suppose -2*k = -2*r, -2*r = -s*k - 3 + 13. Sort 0, k, -4.
-4, 0, k
Let z be 8 + 7/(-3 - -2). Sort z, 4, 14 in decreasing order.
14, 4, z
Let z = -67 + 337/5. Suppose 7*q - 2*q = 15. Suppose m - 3 = -2*o, -2*o + 5 = q*m - 4. Sort m, 4, z in decreasing order.
4, m, z
Let z = -21 + 26. Put z, -1/3, 34 in decreasing order.
34, z, -1/3
Let m be (1 + (-6)/10)/(-19 + 3102/165). Let h = -5 + 8. Suppose -g - y + h = 3*g, 3*g + 5*y = -2. Put m, g, 4 in decreasing order.
4, g, m
Let n = 5/12 - 2/3. Let x(w) = -w**2 + 4*w + 2. Let m be x(5). Sort n, -5, m in descending order.
n, m, -5
Let t be 6 - 102/16 - (-22)/16. Put -1/3, t, 1/2, -1/8 in increasing order.
-1/3, -1/8, 1/2, t
Suppose -2165*v = -2150*v - 30. Sort -2, -39, v in decreasing order.
v, -2, -39
Let a = 270 + -273. Sort -4, 13, a, 1 in descending order.
13, 1, a, -4
Let j(c) = -c**3 - 10*c**2 + 21*c - 39. Let p be j(-12). Put 0.5, 24/7, p in decreasing order.
24/7, 0.5, p
Let k = -0.07 - -2.67. Let c = -2.1 + k. Sort -5, c, 2 in ascending order.
-5, c, 2
Let g = 9 - 4. Suppose 6 = -2*d - 0. Let o be (6/d)/(1 + -3). Sort o, -1, g.
-1, o, g
Let b = -0.02 - -3.82. Let c = -3.1 + b. Put c, 1/9, 2 in descending order.
2, c, 1/9
Suppose -8 = -4*y + 8. Suppose 0 = -t - t. Let w(i) = i + 18. Let o be w(-7). Sort t, o, y.
t, y, o
Let q(z) = z - 7. Let t be q(6). Suppose -3*h + w + 14 = 0, h - 51*w + 56*w = -6. Put -2, t, h, -10 in decreasing order.
h, t, -2, -10
Let k = 25 - 29. Suppose 4*t = 2*t + 10. Sort t, -3, k.
k, -3, t
Let a(t) = t**3 - 44*t**2 - 140*t - 43. Let j be a(47). Put 3, -67, j in increasing order.
-67, 3, j
Suppose m = -0*m + 11. Suppose 0 = -m*k - 0*k + 22. Let x(n) = n**2 - 6*n - 3. Let h be x(6). Sort -2, k, h in increasing order.
h, -2, k
Suppose 11*t = 12*t - 4. Suppose 2*v = v + t. Suppose -v*w + 8 = 6*i - 2*i, -4*w - 22 = -2*i. Put 1/3, i, -4 in decreasing order.
i, 1/3, -4
Let r = 167 + -129.6. Let z = r - 38. Let l = -0.66 - z. Put l, -0.3, 0.3 in decreasing order.
0.3, l, -0.3
Let y = -222447715970945/18438 - -12064633682. Let n = y + -1/2634. Let i = n - -500/63. Put 1/6, -3/7, i in decreasing order.
i, 1/6, -3/7
Let d = -442 + 445. Put 2/17, d, -4, 0.2 in decreasing order.
d, 0.2, 2/17, -4
Let y = 1342 + -1342.5. Sort y, -0.3, -0.1, 3 in descending order.
3, -0.1, -0.3, y
Let a be (-6)/8*(-416)/(-52). Sort a, 1, -1.
a, -1, 1
Let r be 4/(-10) + 1053/45. Suppose 3 = p - n, 5*n + r = -p - 2*p. Put p, 5, 1 in descending order.
5, 1, p
Let h = -76.8 + 77. Let m = -2 - -1.96. Put m, 3, h in descending order.
3, h, m
Suppose 0 = 2*o + 3*m + 16, m - 3*m + 8 = -o. Put o, -48, 2 in decreasing order.
2, o, -48
Let i be 4*(-42736)/(-192) + 1/(-3). Sort 1, 5, i, -2 in decreasing order.
i, 5, 1, -2
Let w(g) = g**2 - g - 6. Let a be w(3). Suppose -l - 3*q = -a*l + 21, -3*l = 3*q + 39. Put l, -3, -1 in ascending order.
l, -3, -1
Let p = -0.67 + -0.07. Let y = p - -0.54. Sort y, 4/3, 3, -1/7.
y, -1/7, 4/3, 3
Let q = 168 + -162. Put 4/7, 3, q in decreasing order.
q, 3, 4/7
Suppose 3*l = 4*a + 116, -5*a - 54 = 3*l + 64. Let c = a + 32. Suppose -2 = -4*d + c. Sort d, 1, -8 in ascending order.
-8, 1, d
Let d(w) = -3*w - 2. Let y(h) = -h - 1. Let u(g) = -d(g) + 2*y(g). Let o be u(-7). Put 4, o, -3 in decreasing order.
4, -3, o
Let l = 0.3 - 0.5. Let x = 46.026 + 0.174. Let u = x - 46. Put u, -6, l in ascending order.
-6, l, u
Let b be 10/((24/66)/2). Let c be (1/5)/((-11)/b). Suppose o + 4 = 5*o. Sort c, o, 0 in decreasing order.
o, 0, c
Let v = -1.4 + 1.3. Let z = v - -0.23. Let f = z + -0.23. Put f, 0, -1 in ascending order.
-1, f, 0
Suppose 2*h = -3*h - 15. Suppose 0 = -l - 3*w, -2*l - w + 0*w = 0. Sort l, h, -6 in ascending order.
-6, h, l
Let m(s) = s**3 - 2*s**2 + s - 8. Let b be m(0). Sort 2, -3, 0, b.
b, -3, 0, 2
Let z = -0.235 - -0.265. Sort -3, -2/9, 3/7, z in decreasing order.
3/7, z, -2/9, -3
Let u = 170.6 + -171. Sort u, -0.2, 0.26 in increasing order.
u, -0.2, 0.26
Let n = -4 + 8. Suppose n*k = -3*x + 11 + 1, 0 = -k - 5*x + 3. Let v be -1 + (-4)/((-4)/k). Put 3, 1, v in descending order.
3, v, 1
Let i(l) = 2*l**2 + 26*l - 21. Let n be i(-14). Sort -9, -1, n in descending order.
n, -1, -9
Let u = 940 - 943. Put 61, u, 1 in increasing order.
u, 1, 61
Let t = -53 + 58. Sort -13, 4, t, -4 in ascending order.
-13, -4, 4, t
Suppose 5*i - 8 = -s - 3, 4*i = -2*s + 4. Sort -64/7, 5, s in increasing order.
-64/7, s, 5
Let c be (-315)/220 + 5/4. Put c, 4, -0.1, 3 in descending order.
4, 3, -0.1, c
Let b be -4 + 6*3/2. Suppose b*q = -7*q + 12. Put q, 14, -4 in descending order.
14, q, -4
Suppose -a - 5 = 2*y + 3, -2 = a. Sort 5, 154, y in ascending order.
y, 5, 154
Let q = 23 - 13. Let a = -8 + q. Suppose 5*y = a*r + 9, -3*y + 8*y - 27 = -4*r. Sort -0.6, 0.2, r in ascending order.
-0.6, 0.2, r
Let s = 0.3482 - -0.0518. Sort s, -4, -3/7, 3/5.
-4, -3/7, s, 3/5
Suppose -5*i + 1 + 4 = 5*y, 2*i - 4*y - 8 = 0. Let f(m) = 2*m**2 - 9*m + 14. Let g be f(4). Put i, g, -3 in descending order.
g, i, -3
Suppose n + 5 = 0, 6*q - 3*n = 8*q + 9. Put -39, q, 10 in ascending order.
-39, q, 10
Let k = 24 - 18. Suppose -2*d + k*d = 8. Let i(t) = t**3 + 4*t**2 + 5*t + 6. Let r be i(-4). Put 1, d, r in increasing order.
r, 1, d
Suppose -5*s + 4*y = -19 - 15, 5*s - 28 = -2*y. Put s, 2, 4, -1 in increasing order.
-1, 2, 4, s
Let o = -21 + 24. Let r be o + 3/((-12)/(-8)). Suppose -6*b + 2*b = -8, 0 = 4*q + 4*b + 4. Put r, q, -1 in decreasing order.
r, -1, q
Let q(s) = -s**