 4*v + 4, 4 = -2*v + t*m - m. Put v, 4, -1, -5 in decreasing order.
4, v, -1, -5
Let t(v) = -8*v - 2. Let m be t(-1). Let y be m*(1 - 8/12). Suppose 8 = -2*r + y. Sort r, 3, 5.
r, 3, 5
Suppose -3*w = -2*w - 153. Let j = w - 305/2. Put j, 2, 3, 0 in decreasing order.
3, 2, j, 0
Let w = -285 - -287. Let n be 6/(-10) - w - (-36)/60. Sort 2, n, -3, 1.
-3, n, 1, 2
Let s = 3.9 - 4. Let w = -61.6 + 130.2. Let y = 69 - w. Put s, 1, y, 4 in descending order.
4, 1, y, s
Let r(t) = 3*t + 144. Let m be r(-45). Suppose -z = -i + 11 - 17, 0 = 2*z + 5*i + m. Sort z, 5, 34 in decreasing order.
34, 5, z
Suppose -2*s + 3*s - 1 = 0. Let u be ((-8)/(-12))/((-4)/6). Let x be u/(-1) - (-1 + 5)/(-1). Put -2, x, s in increasing order.
-2, s, x
Let l = -1 - -1. Let g = -2381 + 2377. Let j(m) = -m**3 - m**2 - 2. Let o be j(-2). Sort 1, g, o, l.
g, l, 1, o
Let x be (28/(-21) + 3/9)/(-3). Let j(t) = -5*t + 12. Let p be j(3). Let m = -127 - -1142/9. Put m, x, p in descending order.
x, m, p
Let z be (1 + (-117)/3)/(-2). Let w = 15 - z. Let k(m) = 2*m**2 - 9*m + 5. Let s be k(4). Sort s, 3, 5, w in decreasing order.
5, 3, s, w
Let q(n) = -3*n**2 + 198*n - 974. Let x be q(5). Sort x, 4, 0 in increasing order.
x, 0, 4
Let x be -1 + (-6)/14 + (190/35 - 11). Sort 1, 171, x.
x, 1, 171
Suppose -2*s - 3*r + 6 = 17, 0 = -s - 3*r - 13. Suppose 6 = -2*v, -i + s*i + 44 = -3*v. Let h be 15/(-6)*28/i. Sort 0, -1, h in decreasing order.
h, 0, -1
Let n = 5.557 + -5.477. Put -0.5, -5, n, -4, -151/3 in decreasing order.
n, -0.5, -4, -5, -151/3
Let u(d) = 17*d**2 + 116*d + 188. Let m be u(-4). Sort -5, 44, -3, 6, m in descending order.
44, 6, -3, m, -5
Let q = 961492/81 - 11870. Let s = -1568/405 + q. Put s, -1/3, -2 in decreasing order.
-1/3, -2, s
Let t be -2*1*6/4. Let c be (-520)/364*(-14)/2. Let s be 2 - (9 - c)/(2/6). Sort 3, t, -4, s in decreasing order.
s, 3, t, -4
Let c = 0.1 - -0.3. Suppose -11 + 9 = 2*i. Let u be 1/i + 3/6. Put c, u, -3 in ascending order.
-3, u, c
Let a = 25078 + -25076. Sort -9, a, 0.11, 1/10.
-9, 1/10, 0.11, a
Let m = 89739/289 + -9/578. Let x = 310 - m. Sort -2, -1/7, x, -2.5 in ascending order.
-2.5, -2, x, -1/7
Suppose p = -2*v - 16, p - 6*v - 9 = -3*v. Suppose -4*j - 20 = -8*j + 5*c, j + 2*c - 18 = 0. Suppose 0 = 8*w - j + 18. Put 0, p, w in descending order.
0, w, p
Let m be (-29)/(-29)*(-1 - (-3 - -2)). Let j(r) = -11*r - 74. Let v be j(-7). Let x(b) = -b**2 - 6*b - 6. Let t be x(-4). Put m, t, v, 1 in increasing order.
m, 1, t, v
Let t(n) be the third derivative of -n**5/20 - 11*n**4/4 + n**3 - 29*n**2. Let a be t(-22). Sort 5, -2, a in descending order.
a, 5, -2
Let c be (81/(-33) + 3)/((-15)/(-110)). Sort -3, c, -120.
-120, -3, c
Let x(h) = -h**3 - h**2 + 29*h + 4. Let w be x(5). Sort 2, -48, 1, w in ascending order.
-48, w, 1, 2
Let g be 2/10 + (-6 - -6)/5. Let b = -271 - -284. Put b, -0.2, 5, g in increasing order.
-0.2, g, 5, b
Let r = -8137.6 - -8138. Sort r, 6466, 1 in decreasing order.
6466, 1, r
Let k be (6 - (4 + -16 + 28))/(-2). Put 4, -5, 18, k, -4 in ascending order.
-5, -4, 4, k, 18
Let s = 132.2 + -126.2. Sort -42, -4, s.
-42, -4, s
Let v = -340 - -191. Let k = -153 - v. Sort 1, -0.5, k, -1.
k, -1, -0.5, 1
Let u = -14.4527 + 0.4527. Put 1, -0.5, 5, 2/15, u in ascending order.
u, -0.5, 2/15, 1, 5
Suppose 0 = 4*d + 2*r + r - 31, 4*d = -4*r + 36. Let u be (0 + d)*(4 - 3). Suppose 30*y - 110 - 75 = -35. Sort 3, y, u in increasing order.
3, u, y
Suppose 0 = 20*a - 18*a + 270. Let d be (a/(-1140))/(3/16). Sort 0, 0.5, d.
0, 0.5, d
Let c be ((-10)/20)/((-76)/(-24) + (1 - 1)). Sort c, 8, -0.6, -1/3 in descending order.
8, c, -1/3, -0.6
Let w = 15.97 - 63.97. Put 0.82, -2/3, w in decreasing order.
0.82, -2/3, w
Let n(k) = -2*k**3 - 20*k**2 - 39*k - 54. Let q be n(-8). Put -3, q, -1, 1.1, -5 in decreasing order.
q, 1.1, -1, -3, -5
Suppose 7*f = -8 + 78. Suppose 0 = -123*n + 118*n - f. Put 5, 0, n, 3 in ascending order.
n, 0, 3, 5
Suppose 0 = 211*t + 71689 + 71158. Sort -5, -2, t in decreasing order.
-2, -5, t
Let p be 21920/144 + (-2)/9. Let h = p + -154. Put 0, h, -3, -1 in descending order.
0, -1, h, -3
Let y(m) = -6*m - 49. Let s be y(-11). Suppose -2*k - 2 = -z - 11, -4*k - 5*z - s = 0. Let l = 73 + -52. Sort k, 5, l in descending order.
l, 5, k
Let f be ((-90)/210)/(((-16)/(-28))/1). Sort 0.5, -88, -5, f in increasing order.
-88, -5, f, 0.5
Let p = -2/817 - -1756/49837. Put 4/7, p, -3 in increasing order.
-3, p, 4/7
Let a(f) = 30*f + 110. Let b be a(-2). Let q be (b/10 - 5)*(0 + 1). Sort 126, q, -2 in increasing order.
-2, q, 126
Suppose 4*t - 111 = -5*v, -t - 3*t - 4 = 0. Let m(h) = -h**3 + 21*h**2 + 48*h - 49. Let i be m(v). Sort -1, i, 2, 4.
i, -1, 2, 4
Let g = 0.03 + 3.17. Let t = g + -3.8. Let s = t + 1. Put 2, -0.4, -5, s in descending order.
2, s, -0.4, -5
Let o = -0.0417 - 17.2483. Let u = -0.29 - o. Let q = -2202 - -2202. Put u, 0.3, q in ascending order.
q, 0.3, u
Suppose -2905*g + 2884*g + 63 = 0. Sort -0.05, -0.39, g, -3 in decreasing order.
g, -0.05, -0.39, -3
Let g(v) = 31*v**2 + 89*v - 7. Let t be g(-3). Put t, -1, 3, -5, -4 in decreasing order.
t, 3, -1, -4, -5
Let s = -96.4 - -38.4. Let v = s - -77. Sort 5, v, 0.4, -2 in ascending order.
-2, 0.4, 5, v
Let t be (6 + (-15)/10)*(-1 - -11). Suppose 26*c - 17*c = t. Put 2/15, 1, -5, c in descending order.
c, 1, 2/15, -5
Let l be 3/((-120)/(-145))*(-6)/9*-6. Sort 4, -8, 2, l in decreasing order.
l, 4, 2, -8
Let b = -0.4 + -0.6. Let g = 1.987 - 1.987. Put g, 4, b, -10 in ascending order.
-10, b, g, 4
Let j be (-5)/6 + 94204/264. Let r = 352 - j. Let x(h) = -h + 1. Let g be x(4). Sort r, -1, -5, g in decreasing order.
-1, g, r, -5
Let x = -30 - -121/4. Let i = -3574.7 + 3294. Let c = i - -281. Sort -0.4, -3, c, x in descending order.
c, x, -0.4, -3
Let a be -6 - (-1)/(6 + 205/(-35)). Suppose 13 = -12*w + a. Put w, -7, 2 in decreasing order.
2, w, -7
Let p = -17.02319 - -0.02319. Put -3, 26/3, p in ascending order.
p, -3, 26/3
Let l = 2377.97 + -2378. Let f = 26.83 - 25.8. Let v = l + f. Put 2, v, -4 in descending order.
2, v, -4
Let p(h) = h - 2. Let d be p(4). Let y = 26.648 - 0.248. Let i = y + -29.4. Put d, i, 7, -5 in ascending order.
-5, i, d, 7
Let p be 92/28 + 3/(21/(-2)). Suppose p*q + 18 = -6*q. Sort 20, 5, q in decreasing order.
20, 5, q
Let m = 3399.5 + -3400. Put -8/5, 3/7, m, -3/2 in descending order.
3/7, m, -3/2, -8/5
Suppose -32 = 4*f, 1525*c = 1524*c + f + 6. Let g = 3 + -3. Put -10, g, 1, c in descending order.
1, g, c, -10
Let n be (-6)/(-7) + 2552/(-609). Put n, -83, 2 in decreasing order.
2, n, -83
Let h(y) = y**2 + 5*y + 4. Let z be h(0). Sort 3, -4, 1, 5, z in decreasing order.
5, z, 3, 1, -4
Let o = -713 - -710. Suppose 0 = 5*s - 0*s + p - 104, -4*p = -3*s + 67. Sort 3, s, o in decreasing order.
s, 3, o
Let f be -3 + ((-2)/12*4)/(12/1782). Sort 2, -12, f in increasing order.
f, -12, 2
Let b(l) = 6*l + 113. Let a be b(-24). Sort -1/7, -2, 0.12, a in increasing order.
a, -2, -1/7, 0.12
Let b be (-2)/4*(7 - 5). Let y be 2/(-3) - 60/(-9). Suppose 5*r - y*r = -5. Sort b, 2, r in descending order.
r, 2, b
Let r be 56/6*((-60)/(-28) + 6/(-2)). Sort 0, -1, r, 34, 5 in decreasing order.
34, 5, 0, -1, r
Suppose -w = 3*z - 12, -3*w + 2 - 22 = -5*z. Suppose 20*r - 14*r = 24. Suppose t = -5*c + r, -5*c - 2*t + 3*t = -6. Put -2, c, -3, w in ascending order.
-3, -2, w, c
Let m be (-15)/(-54)*3 - (-22)/(-12). Let v be (22/(-18) - -1) + (-65)/(-9). Sort 0, v, m, -5 in ascending order.
-5, m, 0, v
Let q(k) = 117*k - 2689. Let w be q(23). Let d(y) = 42*y + 1. Let p be d(-6). Sort p, w, -5 in descending order.
w, -5, p
Let u = 4.974 + -4.674. Let h = 0.036 - -0.064. Sort h, -9/5, u in descending order.
u, h, -9/5
Let z = 63 + 59. Let m = -123.8 + z. Let v = 0.2 + -0.2. Sort v, m, 0.1.
m, v, 0.1
Let t be (-1)/(1*((-26)/(-14) + -2)) + -375. Sort -1, 1, t, -3, -5 in decreasing order.
1, -1, -3, -5, t
Suppose -2*g + 28 = 3*d, -7*g + 6*g + 4*d - 8 = 0. Let i(r) = -2*r**3 + 14*r**2 + 15*r + 10. Let s be i(g). Let w = -3 - -4. Sort 0, w, s in ascending order.
0, w, s
Suppose 0 = 33*b + 7*b + 80. Let u = 3.9 - 4. Let h = 2.9 - u. Put -4, h, b in descending order.
h, b, -4
Let y = 940 - 940. Let q = 335 - 334. Sort q, 0.1, y, -1.
-1, y, 0.1, q
Let c(t) = t**2 + 9*t - 58. Let x be c(-21