5*m = 5*o - 8*o + 14, 2*m = 4*o - 10. Let q(n) = 0*n + 3*n**2 + 2*n + 2*n**2 - 4*n**2. Let y be q(-1). Sort m, y, 2 in increasing order.
y, m, 2
Suppose -d + 2*c = 5*c + 5, -4*c = -2*d. Sort 0, 5, 3, d, 53 in increasing order.
d, 0, 3, 5, 53
Let o = -298 - -162. Let g = 1497/11 + o. Suppose -5*x + 4*x - 2 = 0. Put -0.3, x, g in decreasing order.
g, -0.3, x
Let u(y) = y**2 - 12*y + 1. Let l be u(11). Let d(h) = h + 28. Let k be d(l). Let b be (4/(-24))/(k/(-16) + 1). Sort 1/8, 0, b in decreasing order.
b, 1/8, 0
Suppose 13*c - 356 + 96 = 0. Suppose -640 = -0*b + c*b. Put 4, -4, b, 0 in ascending order.
b, -4, 0, 4
Suppose -42 = -13*s + 10*s. Suppose -c - 5*x + 2 = 0, 18*x - s*x = 5*c - 10. Sort 0, c, -2, -20 in decreasing order.
c, 0, -2, -20
Let f = -31 - -36. Let b = 9 - f. Let d = -1.015 - -0.015. Sort -4, d, b, -13 in descending order.
b, d, -4, -13
Let w be 1*7/(21/(-9)). Let k be (-56)/252 - (-20)/9. Put 4, 3, w, k in ascending order.
w, k, 3, 4
Let t(b) = b - 8. Let l be t(3). Let m(a) = -a**3 + 8*a**2 + a - 6. Let x be m(8). Let q = x + -3. Sort l, q, -2 in decreasing order.
q, -2, l
Let y be 14/(-56) + (-58)/(-8). Let u = -7130 - -7116. Sort -3, y, u.
u, -3, y
Suppose 4*j = -2*c - 26, j - 8*c + 9*c = -8. Sort j, 4/23, -1, -2, -3/7 in descending order.
4/23, -3/7, -1, -2, j
Let a = -0.0531 - 0.9469. Let y = 22 + -46. Let f = y - -35. Sort 2/11, f, a in decreasing order.
f, 2/11, a
Let q(i) = i**3 - 12*i**2 + 3*i - 36. Let k be q(12). Let y be k + 5/1 - (-4 - -13). Put 5, 26, -1, y in ascending order.
y, -1, 5, 26
Let b be (2/(-8))/((-2)/12). Let l = -11/6 + b. Let u = 0.0407135 + 3.9592865. Sort u, 4/7, l in descending order.
u, 4/7, l
Suppose 0 = -3*v + 4*o + 29, -29*o + 30*o = -2. Let q be ((-8)/6)/(5/(-15)). Sort q, v, -1, 2.
-1, 2, q, v
Let v = -352.0256 + 0.0256. Let y = v - -357. Sort -1/10, -5, y.
-5, -1/10, y
Let m be (12/(-10))/((-21)/(-28)). Suppose -2*o + 5*y + 126 = 0, -y + 2 = -0*y. Let t = o + -338/5. Sort -4, t, 0.1, m.
-4, m, 0.1, t
Suppose 0 = -7*r + 8*r - 2*f - 37, 4*f + 167 = 5*r. Suppose 2*j - 15 + r = 0. Put 0, j, -2 in decreasing order.
0, -2, j
Let r be (4/10)/((-3)/6). Let k = -844 + 346. Let m = -502 - k. Sort 0, m, r in decreasing order.
0, r, m
Let w = 4.565 + -4.165. Put 0.3, 10, w, 6 in descending order.
10, 6, w, 0.3
Let c = -12332 + 12331.9. Sort c, -0.5, 2/3, -2 in decreasing order.
2/3, c, -0.5, -2
Suppose 2*x - 4*r - 6 = 2, 3*x = -2*r + 4. Suppose -3*j = 7 + x. Put j, 1, 3, -9 in increasing order.
-9, j, 1, 3
Suppose -38*v = -42*v - 5*m - 17, -2*v = -2*m - 14. Let d be (-95)/20 + 1/(-4). Put 5, d, v, -3 in descending order.
5, v, -3, d
Let n = -20310/7 + 2902. Put n, 0.13, 0.5, -3/19, -3 in decreasing order.
n, 0.5, 0.13, -3/19, -3
Let i be -2*12*10/15. Let f be (-13)/(26/i) - 5. Put 1, f, 0 in descending order.
f, 1, 0
Let y be 1 + (-20 - 2 - -16). Put 16, 0.2, 0.1, y, 0 in increasing order.
y, 0, 0.1, 0.2, 16
Suppose 0 = 4*z - 3*u + 776, -z - 94*u = -90*u + 213. Put 2, 1, z, 5, 0 in decreasing order.
5, 2, 1, 0, z
Suppose 0 = 9*l - 20 - 160. Suppose l*c = 16*c + 24. Put 1, 4, 2, c in decreasing order.
c, 4, 2, 1
Suppose 4*y = -f + 10, -9*f = -4*f + 2*y + 22. Sort -5, -29, 0, f in increasing order.
-29, f, -5, 0
Let x = -29.9 - -26.9. Let t be ((-2)/36*1)/((-8)/(-24)). Put -1/3, x, -0.8, t in ascending order.
x, -0.8, -1/3, t
Let d = 20910 - 230199/11. Let s = -17 - d. Put 0.5, 0.1, s in decreasing order.
0.5, s, 0.1
Let m(g) = g - 1. Let x be m(-4). Suppose -95*f + 52*f = 344. Sort 2, 1, f, x in increasing order.
f, x, 1, 2
Let f = -268 - -257. Let b(u) be the second derivative of u**5/20 - 5*u**4/12 + u**3/6 - 3*u**2 + 5*u. Let g be b(5). Sort -3, f, g.
f, -3, g
Let m = 224.76 - 224.73. Let k be (0/(-2))/(-2 + 0). Put k, m, 9 in descending order.
9, m, k
Let m = -26 + 25. Let w be m/(-8) - (1 + (-5)/4). Put -2, w, 1 in descending order.
1, w, -2
Let n be -99 + 4 + 0*5/(-15). Let x = n + 91. Sort 72, 0, x in decreasing order.
72, 0, x
Let g be 1*-1 - ((-2742)/(-24) - 3). Let u = 112 + g. Put u, 2, 27 in descending order.
27, 2, u
Suppose 4*v - w - 1 = -6*w, 4*v - 13 = -w. Suppose 5 = -a, 2*a + 3 = -b - v. Suppose 11*j - 14*j - 9 = 0. Sort 21, j, b in descending order.
21, b, j
Let v = -197.032 + 1.832. Let b = v - -195. Sort -1/3, -0.1, b, 0.2.
-1/3, b, -0.1, 0.2
Let o = 8.6 + -6.6. Let w = -5.1 - 22.9. Let q = 31 + w. Put q, 0.3, o in descending order.
q, o, 0.3
Suppose -18*w = 3362 - 11030. Let c = -419 + w. Let k = -1 + -4. Sort c, 2, k, 3 in decreasing order.
c, 3, 2, k
Suppose 3*z - d = 1, -2*d + 0 = -3*z + 2. Suppose 0 = 4*c + 8*c - z*c. Put 22, c, 4 in descending order.
22, 4, c
Let i(n) be the third derivative of n**4/12 + 19*n**3/6 + n**2 - 4*n. Let y be i(-7). Put -2, 20, -1, y in increasing order.
-2, -1, y, 20
Suppose 1108 = 9*u - 521. Let r = u - 172. Suppose -5*k + 6 = 3*j + 2, 5*k = 3*j - 14. Put k, r, -4 in descending order.
r, k, -4
Let o = -3877.9 + 3878.3. Put -3, o, -56/29, -2/3 in decreasing order.
o, -2/3, -56/29, -3
Suppose -3*u - 6 = 0, z + 2*u + 347 = u. Let p = z + 346. Suppose 0 = 5*r - 0*r. Put 2, 4, p, r in decreasing order.
4, 2, p, r
Suppose 3*l - l - 6 = 0. Let s be 1/(l*1/(-12)). Let u be ((-49)/(-14))/(-7)*0. Sort 4, u, s, -5 in ascending order.
-5, s, u, 4
Let q = -483.5 + 488.5. Put q, -2/15, -0.199 in descending order.
q, -2/15, -0.199
Let b be 55 + -78 - 5/((-5)/8). Put 4, 2, b, -23 in ascending order.
-23, b, 2, 4
Let k = 0.13 - 1.13. Let n = -18.7 + 20. Let v = n + -1.6. Sort k, 6, v in increasing order.
k, v, 6
Suppose -39431*j = -39426*j + 20. Let u = -0.14 - 0.16. Sort j, -1/7, u, 9/2.
j, u, -1/7, 9/2
Let b be 8/(-2) - (-1 - 1). Suppose 12*s = -40*s - 260. Suppose -22*m + 14*m = 8. Sort m, b, -8, s.
-8, s, b, m
Suppose 14*z - 821 + 807 = 0. Sort -1, 6, z in decreasing order.
6, z, -1
Let t = -6898/35 + 984/5. Sort t, 1/2, 2/15, -694.
-694, t, 2/15, 1/2
Let y be -18 - -22 - (810/(-4))/(-5). Suppose -4*p - 132 = 4*a, 2*p = -a + 8 - 37. Let c = a - y. Sort c, -0.2, -6/7 in descending order.
-0.2, c, -6/7
Let z = 4.4 + 0.6. Let y = 0.282 + 0.21. Let q = 0.008 + y. Put 2/7, z, q in descending order.
z, q, 2/7
Let a be 2737/(-644) - 10/(-8). Put a, 2, 5, 6, 3 in ascending order.
a, 2, 3, 5, 6
Let x = -2 - -2. Let d(i) = 59 - 15 - 19 - 13 - 2*i - 11. Let m be d(x). Sort -1, m, 0, 8 in ascending order.
-1, 0, m, 8
Suppose -33*g + 13*g = 14*g + 34. Let f be (0 - 10 - 3) + 1. Put -2, g, 4, f in descending order.
4, g, -2, f
Suppose -2*j - 8 = -4*j. Let s = -5 - -41. Let o = s - 53. Sort -4, -5, o, j.
o, -5, -4, j
Let o be -458 - (-2 + -5) - 0. Let g = -487 - o. Put 6, 5, g in decreasing order.
6, 5, g
Let x be 33/(-12) - (0 - 3). Let p = -87.71 - -90.71. Sort p, x, 1/5, 21 in increasing order.
1/5, x, p, 21
Let r = -747 - -747. Put r, 8, 54 in descending order.
54, 8, r
Suppose 4*p - 4 = -20. Suppose 0 = 5*r + 673 - 688. Suppose -l + w - r + 0 = 0, 0 = -3*l - w - 5. Put l, p, 2 in descending order.
2, l, p
Let g be (-6 - (9 - 12))*1. Put -274, g, 3, 12 in decreasing order.
12, 3, g, -274
Let g be 345/7 + 4/(-14). Let u(z) = -3*z**2 + 185*z - 1506. Let j be u(52). Sort j, g, -4.
-4, j, g
Let a = 7878 + -7863. Sort -3/8, a, -0.03, 0, -0.3.
-3/8, -0.3, -0.03, 0, a
Let a = 4383 + -4383. Let w = 97 - 483/5. Let b be (-3)/(-3) + (-28)/26. Put w, -5, b, a in decreasing order.
w, a, b, -5
Let a(g) be the second derivative of 2*g**3/3 + 81*g**2/2 - 3*g + 11. Let s be a(-19). Let d be ((-4)/(-6))/(6/(-9)). Put d, -3, s in descending order.
s, d, -3
Suppose -5*h + 171 = -34*h + 86*h. Put -4, h, -7, 95, 0.5 in decreasing order.
95, h, 0.5, -4, -7
Let z be 2 + 1*5/((-20)/8). Suppose -4*m - 4*d - 12 = 0, 2 = -2*m + 3*d - 4. Sort m, z, 1, -2 in ascending order.
m, -2, z, 1
Let u = -0.05 - 3.95. Let f = -65.59 + 66. Let w = f - 0.51. Put w, u, 3 in increasing order.
u, w, 3
Let y = -379/393 - -39/131. Sort -1, y, 55, -0.06 in decreasing order.
55, -0.06, y, -1
Let k = -8.6 - -8. Let m = -0.00859 - -0.30859. Sort -0.5, k, m in decreasing order.
m, -0.5, k
Let k be 1/(-3) - (-2)/(-3). Let m(n) = -4*n**3 + n**2 - 1. Let p be m(-1). Suppose p*y = 5*l + 13 + 18, -3*y = l - 9. Sort k, 1, l, -2.
l, -2, k, 1
Suppose 3*u + 7*u + 3 = 11*u. Sort 4/5, 5, 1.9, 4, u in decreasing order.
5, 4, 