pose 3*o + t + 15 = -j*t, 3*o = 5*t + 25. Put w, -4, o in descending order.
o, w, -4
Suppose 0*c - c + 4 = 0. Let f(v) = -v**3 + 5*v**2 + 15*v - 2. Let m be f(7). Suppose -20 = -m*z + 9*z. Sort -6, c, z.
-6, z, c
Suppose -4*h - 60 = 3*y - 32, 5*y = -h - 24. Sort h, 2, 1, -0.06 in descending order.
2, 1, -0.06, h
Let p(t) be the second derivative of t**5/20 - 5*t**4/12 - 5*t**3/6 - 3*t**2/2 + 6*t. Let j be p(6). Let v(g) = -2*g + 1. Let r be v(-2). Sort -3, r, j.
-3, j, r
Let p = -23.9 - -23.8. Put -0.04, 5, p in descending order.
5, -0.04, p
Let q = 3 + -2.6. Let s = 2.6 + -5.8. Let k = s - -3.7. Put -2, k, q in descending order.
k, q, -2
Suppose 0 = -17*h - 20*h - 74. Sort 37, 0, h, 2.
h, 0, 2, 37
Let v = -86 + 81. Suppose 0*a - 3*a + 3 = 0. Put -1, -3, a, v in decreasing order.
a, -1, -3, v
Let s = 9.6 + -8.714. Let f = 0.114 + s. Let l be (-12)/(-10)*2/(-6). Put f, 0, l in increasing order.
l, 0, f
Let p be (84/252)/((-5)/(-3)). Sort 1/11, 0.05, p, 0.4 in descending order.
0.4, p, 1/11, 0.05
Let v = 26 + -25.968. Let x = 0.168 + v. Sort x, -3/2, -0.3.
-3/2, -0.3, x
Suppose 2*c + 1 = -7. Let u(z) = -20*z - 103. Let x be u(-5). Sort x, -2, c, 0 in decreasing order.
0, -2, x, c
Let q = 13 + -12. Let b be q*1/((-2)/12). Let o(k) = -k**2 - 7*k - 8. Let v be o(b). Put v, 4, 1 in decreasing order.
4, 1, v
Suppose 2*q = -0*q + 8. Suppose q*f - 18 = -2*f. Put 0, 0.11, f in ascending order.
0, 0.11, f
Let m = -52 + 155/3. Let n = -3.01 + 0.01. Let p = 0.2 - 0.4. Sort m, n, p in ascending order.
n, m, p
Let a = -290 + 290. Put a, -0.05, -0.01, 2/3 in increasing order.
-0.05, -0.01, a, 2/3
Let z = -1242 - -1247. Sort z, 0.2, 3/2, 0.3 in decreasing order.
z, 3/2, 0.3, 0.2
Let f = 1/454 - 915/3178. Put -1/4, f, -6 in increasing order.
-6, f, -1/4
Let x be (80/112)/(3/21). Put -4/3, 73, -1, x in ascending order.
-4/3, -1, x, 73
Let a = -99 - -205. Sort 0, a, 5 in descending order.
a, 5, 0
Let n be 1*-6*4/4. Let c be 9/(243/n) + 25/(-9). Sort c, 3, -1, 2 in decreasing order.
3, 2, -1, c
Let j(x) = x**3 + 6*x**2 + 5*x + 1. Let q be j(-5). Suppose 9*l = 25*l + 69 - 21. Put -5, l, q in decreasing order.
q, l, -5
Let k = -207.6 - -208. Sort 1, -35, k.
-35, k, 1
Let d = -0.085 - -0.925. Let t = 0.34 - d. Let z = 0.2 - 0.2. Put t, z, -1/6 in ascending order.
t, -1/6, z
Let t = -14 - -9. Let j = 2.3 - 12.1. Let s = j - -13.8. Sort s, 2/3, t.
t, 2/3, s
Let m(u) = u**2 - 3*u - 6. Let c be m(5). Let t be 27/(-54)*(3 + -3). Let d(q) = 3*q - 1. Let a be d(2). Put t, a, c in decreasing order.
a, c, t
Let s be (-28624)/6160 + 2/(-11). Let y = s + 31/7. Sort 2, y, 1.
y, 1, 2
Let d = -775.25 - -775. Put d, 1, -2 in decreasing order.
1, d, -2
Let v = 0.3 + -12.3. Let w = -12 - v. Let z = -5 + w. Sort 5, 2/5, z in increasing order.
z, 2/5, 5
Let n = -0.3 + 0.3. Let f = n - 0.3. Let w be 5 + -4 + 6 + -5. Put 1/4, w, f in increasing order.
f, 1/4, w
Let r = 22583.4 - 22583. Let g = -3.1 - -3. Sort 1/5, r, g, 7/2 in increasing order.
g, 1/5, r, 7/2
Suppose -4*m + 25 = -9*m. Let l(j) = -j**3 + 21*j**2 - 105*j + 4. Let u be l(8). Sort u, m, -3.
m, u, -3
Suppose x - 4*d + 5 = -d, 0 = 3*x - 5*d + 3. Put x, -10, 0 in increasing order.
-10, 0, x
Let h = -0.02 + 2.22. Let y = 13.8 - h. Let c = -11 + y. Put c, 1, -1 in increasing order.
-1, c, 1
Let y be (-28)/9 + (-110)/(-990). Sort -4, y, -5 in descending order.
y, -4, -5
Let r = 70.2 + -13.2. Let g = 61 - r. Put -3, g, -2, -1/5 in descending order.
g, -1/5, -2, -3
Let t = 654 + -650.79. Let x = -1.21 + t. Sort x, 0.1, 1.
0.1, 1, x
Let w = -6.5 - 1.5. Let c = 4 + w. Let x = -9 - c. Sort 0.3, x, -4.
x, -4, 0.3
Let v be 1/(-2*4/24). Let j = 4 + v. Let k be 2/(-2)*(-2)/(-16). Sort j, 2, k.
k, j, 2
Suppose -g + 6 = 22. Let p(x) = 238*x - 239*x - 3 - 19. Let n be p(g). Put 4, n, 1 in decreasing order.
4, 1, n
Suppose 18*p = -4*p - 14*p. Sort 12, p, 2.
p, 2, 12
Let a be 1 - (-6 - -7)*3. Sort 3, 0, a in decreasing order.
3, 0, a
Suppose -2*o + 5 = -o. Let y = -326 + 326. Sort y, 1, o in decreasing order.
o, 1, y
Let c = 4 + -2. Let r = 3 - 3. Suppose -3*l - 3 = -k + 4*k, r = 2*l - 6. Put k, c, 4 in decreasing order.
4, c, k
Let q(n) = 4*n + 22. Let g be q(-8). Let f be 4/g + 16/(-10). Sort -1, f, 2, -4 in descending order.
2, -1, f, -4
Suppose -t - 80 = -5*t. Let o be 5/t - (-39)/4. Let i be (32/(-40))/(2/o). Put i, -2, 0 in ascending order.
i, -2, 0
Suppose 0 = 2*a - b - 0*b - 9, b = -5*a + 26. Suppose 10 = -z - z, 0 = o + 2*z - a. Let n = o + -19. Sort n, -1, 2 in decreasing order.
2, -1, n
Suppose -3 = 2*i - p + 4, 4*i = -4*p - 32. Let b(m) = -2*m**3 + 54*m**2 + 178*m + 59. Let d be b(30). Sort d, i, 3.
i, d, 3
Suppose -3*g + 4*g = -3*s - 4, 5*g = 4*s - 1. Sort 2, g, -7 in decreasing order.
2, g, -7
Let c = -4.4 + 13.4. Let y = 67/2 + -605/18. Sort 2, y, c in ascending order.
y, 2, c
Let f be 0 - (8 - 12)*2/(-36). Let j = -118/3 + 39. Sort j, f, 1.7 in increasing order.
j, f, 1.7
Let y be 16/10*(-15)/(-12). Let m = -5 - -4. Sort m, y, -4.
-4, m, y
Suppose 4*v = -3*z - 10, 0 = -2*z - 4*v + v - 8. Let n = -252 + 247. Sort 1, z, n.
n, 1, z
Suppose -2*s - 19 = -27. Put 1, s, 5 in descending order.
5, s, 1
Let m be (-24)/6*6/8. Put m, 3, 2/3, -53 in descending order.
3, 2/3, m, -53
Let z(d) = 3*d + 24. Let y be z(-7). Put 2, y, 4 in decreasing order.
4, y, 2
Suppose 2*j + 1 = -t + 2, 5*j - 7 = -4*t. Let b = 2 - 6. Let k = -141 - -144. Put k, j, b in descending order.
k, j, b
Let b be 364/48 + 0/1. Let j = b + -31/4. Let w = -5 + 7. Put j, w, 4 in decreasing order.
4, w, j
Let n be -9*((-33)/9 + 3 - -1). Let f be 4/(-2) + (1 - 0). Sort n, f, -4, 1.
-4, n, f, 1
Let o = 12 + -14. Sort -1, 78, o.
o, -1, 78
Let a = 71.5 + -37.6. Let s = -34 + a. Put s, -3/8, 1/4 in increasing order.
-3/8, s, 1/4
Let s = -164 + 165. Sort s, -9, -1/2, -0.3 in ascending order.
-9, -1/2, -0.3, s
Suppose 2*k - 5*m = -18, 3*k - 7*m + 3*m + 13 = 0. Suppose 0 = p + 3*x + 3, -p + 80 = -2*x + 68. Put k, p, -5 in descending order.
p, k, -5
Suppose 23*m = 15*m - 64. Let t be -3 - (m/2 + 1). Put -5/2, t, -1, -2 in decreasing order.
t, -1, -2, -5/2
Suppose 0 = 21*d + 9*d + 1950. Put 0.1, d, 5 in decreasing order.
5, 0.1, d
Let t = 107 - 193. Let a = t - -91. Sort 2, a, 0.2, -12.
-12, 0.2, 2, a
Let q(x) = x**2 + 4*x + 1. Let z be q(-4). Suppose 32 = 2*w + 42. Sort z, w, 31 in descending order.
31, z, w
Let t = 8.53 + -8.57. Let y = -0.07 + 0.01. Let i = t + y. Sort -0.5, 5/4, i in decreasing order.
5/4, i, -0.5
Suppose -54*x = -55*x - 1. Let v be ((-12)/(-20) + -1)*5. Sort v, 3, 4, x in decreasing order.
4, 3, x, v
Let k be 4 + -2 - ((-552)/(-5))/(-4). Let r = 30 - k. Put r, 30, 1/4 in descending order.
30, r, 1/4
Let r(l) = 2*l - 46. Let t be r(19). Suppose -h - 7 = 3*s + 5, 4*h - 2 = -2*s. Sort t, -4, s.
t, s, -4
Let k = 1.8 - 2. Let o be 18/(-8) + 2/8. Sort 1/7, k, o in increasing order.
o, k, 1/7
Suppose -29*y - 12*y = 205. Put 126, y, -4 in ascending order.
y, -4, 126
Let i = -41 + -43. Let m = -77 - i. Sort 3, m, -4 in increasing order.
-4, 3, m
Let n be (-248)/8*(-10)/7. Let s = n + -44. Let t = 454 - 453.7. Sort s, t, 12.
s, t, 12
Suppose -9 - 7 = 4*z. Let u = 4 + z. Suppose 2*n - 2*k = 12, -3*n - 2*k = 2 - u. Sort 4, n, 5 in ascending order.
n, 4, 5
Let x = 69 - 72. Suppose y = -v + 222, 0*y = -2*y - 6. Let b be 185/v - 4/18. Put 2/5, b, x in increasing order.
x, 2/5, b
Let m(i) = -i + 1. Let h be m(-4). Suppose 0 = -29*c + 25*c - 288. Let j = c + 68. Put h, j, -2 in decreasing order.
h, -2, j
Let v be (51/(-34))/((-6)/16). Let a(i) = i**2 - 8*i + 14. Let u be a(v). Sort -5, u, -4, 0 in increasing order.
-5, -4, u, 0
Let q = 37 + -45. Let i be (-3 + 21/6)*q/(-10). Put 2/3, i, 0.5, -4 in descending order.
2/3, 0.5, i, -4
Let w = 0.2 + -0.1. Let b = -3319/3 + 1106. Sort -4/3, b, 2/9, w in increasing order.
-4/3, b, w, 2/9
Let y = -152 + 150. Sort -1, 11, y in ascending order.
y, -1, 11
Suppose 3*i = -4*m - 7, 0 = -5*m + 4*i - 2*i + 20. Suppose -m*c = 17 + 27. Put -0.2, -2/7, -2, c in descending order.
-0.2, -2/7, -2, c
Let u = 46 - 44. Suppose u*t = 4*p + 8, -t + 2*t = -4. Sort p, 0, 1 in decreasing order.
1, 0, p
Suppose 5*u - 37 = -4*a, -19 = -3*a - 3*u + 5. Sort a, -2, -4, 31 in decreasing order.
31, a, -2, -4
Let b be ((-1)/(-5))/((-6)/(-30)). Let x = b - 6. Put