t w = 1749054/11 - 159005. Put -5, w, 0.4, m in ascending order.
-5, m, w, 0.4
Suppose -2247 = -164*p + 8905. Put p, -4, 17, 1 in descending order.
p, 17, 1, -4
Suppose -1 + 25 = -15*w - 36. Sort 12, 3, w, 2, 1.
w, 1, 2, 3, 12
Let x = -661/40 - -33/2. Let n = x - -9/40. Put -5, -0.3, n in decreasing order.
n, -0.3, -5
Let g = 1286.3 + -1349. Let q = -7.7 - g. Let k = -52 + q. Put -11, k, -0.5 in ascending order.
-11, -0.5, k
Suppose 0 = -79*x + 52*x + 2619. Let a be (4 - 6) + 5 + -1. Put 4, x, 1, a in increasing order.
1, a, 4, x
Let k(j) = -8*j**2 + 4*j - 10. Let f be k(3). Let q be 3 - (-55)/(-20) - f/8. Let z be (-1072)/36 + (-2)/q - -4. Put 4, z, 5 in decreasing order.
5, 4, z
Suppose -2106 + 1566 = -3*u. Let n be (1/2)/((-18)/u). Suppose -l = 5*q + 4*l, -5*q + 2*l = 28. Sort 0, n, q, 11.
n, q, 0, 11
Let y = -116 + 37. Let u = y - -84. Sort u, 12, -2 in increasing order.
-2, u, 12
Let j(v) be the second derivative of -v**4/12 - 2*v**3/3 + 3*v**2/2 + 5*v. Let l be j(-3). Let h be (l - 2) + -8*1. Put 1, -7, h in increasing order.
-7, h, 1
Suppose -y - 2*h = -2, -y + 4*h - h = 3. Suppose 0*p = -p - 5. Suppose 0 = -3*r + 3, 14 = 5*g + 5*r - r. Put p, y, g in descending order.
g, y, p
Let z = 3933 - 3932.4. Put -2, z, 3, -1, 4/7 in descending order.
3, z, 4/7, -1, -2
Let y = 0.025 + 0.079. Let w = y - -0.516. Let g = 11.62 - w. Put -4, 3, g in descending order.
g, 3, -4
Let p be (-1078)/245 + 2/5. Put -12, p, -2, 0 in descending order.
0, -2, p, -12
Let v(c) = c**3 - 16*c**2 - 17*c. Let z be v(17). Suppose 0 = -5*g - z*x + 4*x - 6, -12 = -3*x. Let t = -2 + 2. Sort -1, t, g, -3 in descending order.
g, t, -1, -3
Let f = 196 + -196.8. Let c = 84.7 + -85. Sort f, 1/5, 0.5, c.
f, c, 1/5, 0.5
Let n be 1*((-52)/(-24) + 12/(-72)). Suppose -3*u + 30 = m + 10, 2*m = -3*u + 19. Let x(d) = d + 10. Let y be x(-6). Sort u, n, y, -3 in increasing order.
-3, n, y, u
Suppose 0 = -3*i + r - 1198, 553 + 1441 = -5*i + 3*r. Let g be (0 + 6)/((-60)/i). Let c = g - 41. Sort 0, -2, c in decreasing order.
0, c, -2
Let t(c) = c**2 - 29*c - 488. Let f be t(41). Sort 2, f, 325 in decreasing order.
325, f, 2
Let q be 3 - 30/75*(1 + 9). Suppose 14*w - 17*w = -33. Let s = w - 16. Sort q, s, -9.
-9, s, q
Let x = -833 + 736. Let y = -29 + -59. Let z = x - y. Sort z, 0, 2.
z, 0, 2
Let m = 0.067 - 0.032. Let k = m - 0.135. Let a be 232/(-672) + 2/21. Sort k, -1/8, -1/3, a.
-1/3, a, -1/8, k
Let g(c) = -11*c - 6. Let p be g(-1). Let n be 18/p + -2*15/50. Let l(y) = -4*y - 1. Let a be l(-5). Sort 5, n, a, -5.
-5, n, 5, a
Let s(j) = -j**2 - 56*j - 103. Let c be s(-54). Let t(m) be the first derivative of -5*m**3/3 + m**2/2 - 3. Let o be t(1). Sort -5, 6, c, o in ascending order.
-5, o, c, 6
Let f be (1254/(-95) + 14)/((-3)/15). Put 79, 0, f, 24 in descending order.
79, 24, 0, f
Let c = 4462 + -40160/9. Sort c, -1/2, -1/23 in descending order.
-1/23, c, -1/2
Let d = -4415 + 8833/2. Put -0.4, -190, -3, d in decreasing order.
d, -0.4, -3, -190
Let p = 134 - 116. Let m be (-1)/9 - (-92)/p. Put m, -3, 1 in decreasing order.
m, 1, -3
Let o(r) = 8*r + 286. Let m be o(-36). Let n = -6 - -9. Let t(l) = l - 1. Let k be t(-2). Sort 0, k, n, m in ascending order.
k, m, 0, n
Let x be (-2)/(((-15)/20)/((-12)/8)). Suppose -5 = t + 2*t - 2*a, 5*t = -a - 17. Sort 3, t, 5, x.
x, t, 3, 5
Let r(s) be the first derivative of -2*s**3/3 + 11*s**2/2 + 21*s - 14. Let f be r(7). Put -2, 96, f, 1 in decreasing order.
96, 1, f, -2
Let c = 104.839 - 104.81. Sort 0, c, 4/7 in decreasing order.
4/7, c, 0
Suppose r + 3 = -0, 3*t - 9 = 5*r. Let x(c) be the second derivative of c**4/4 + c**3 - c**2/2 - 242*c + 2. Let i be x(-2). Sort i, -7, t in descending order.
i, t, -7
Let l = -0.8 + 0.6. Let v be 6 + (9800/42)/(-35). Put l, v, -8/3, -0.1 in decreasing order.
-0.1, l, v, -8/3
Let q be 2/(-12)*2 + (-30)/(-9). Suppose 0 = -230*l + 228*l - 8. Sort -3, l, 4, q in decreasing order.
4, q, -3, l
Suppose 7 = 2*i + 4*n - 5*n, 5*i + 5*n = 10. Suppose i*j = -3*j - 18. Put j, -31, 0 in descending order.
0, j, -31
Let u be 1*3/(-42) - (-71)/14. Sort 1, u, 4, -3, -100 in descending order.
u, 4, 1, -3, -100
Let c = 13/42 - 1/42. Let a = -8.2 - -8.221. Let h = a + -0.321. Sort c, -5, -4, h.
-5, -4, h, c
Suppose g = 5*w + 11, 2*g - 5*w - 13 + 6 = 0. Sort 74, 2, g.
g, 2, 74
Let b = 25129 + -25129.15. Put -5, 5, b, 13 in descending order.
13, 5, b, -5
Let d(q) = q**3 - 8*q**2 - 34*q + 261. Let h be d(8). Put h, -2, 7 in descending order.
7, -2, h
Let s = 19107 + -19205. Sort 62, s, -1.
s, -1, 62
Let j be (-3)/(-81)*6*30/(-4). Let z = -0.36 - -0.06. Sort -5, j, z in increasing order.
-5, j, z
Let c = -16713 - -16710. Sort c, 0, -289 in increasing order.
-289, c, 0
Let a = 148.64 - 156.64. Sort 6/11, 0.35, a in decreasing order.
6/11, 0.35, a
Let f = 263.44 + -0.44. Let c = f + -258. Sort -0.2, c, -1.
-1, -0.2, c
Let t = 14.972 - 14.982. Sort 5, t, 3, -0.7 in decreasing order.
5, 3, t, -0.7
Let p = -137.9 - -138. Let w = 352 + -355. Let x = 0.1 + -0.06. Put 7, x, p, w in increasing order.
w, x, p, 7
Let u = 25190 + -25226. Sort 2/9, -3/139, u in ascending order.
u, -3/139, 2/9
Let w = -55632/7 + 7946. Sort w, -2, -6, -0.4.
-6, -2, w, -0.4
Let j = 17152.8 + -17146.8. Let q = 11/15 - 14/15. Put 1/4, q, j in ascending order.
q, 1/4, j
Let q = -5445 - -5455. Sort 0.5, 0.2, 0.031, q, -2/5 in descending order.
q, 0.5, 0.2, 0.031, -2/5
Suppose -3*o - 42 - 886 = -5*c, 0 = c + 3*o - 200. Let z = c + -182. Suppose -3*g + 12 = -0. Put -3, z, g in descending order.
z, g, -3
Let x(u) be the second derivative of u**5/20 - 7*u**4/12 + u**3 + u**2 - 9*u. Let m be x(6). Let g be (4/42)/(m/(-12)). Sort -0.5, -3, g in descending order.
-0.5, g, -3
Suppose -2*h = a - 44, -h = -3*a + 114 + 53. Let z(y) = y**3 - 55*y**2 + 57*y - 166. Let f be z(a). Put f, -3, 7, 1 in descending order.
7, 1, -3, f
Suppose p - 6*p + 5 = 0. Suppose 12*v + 5*f + 0*f = -4, v - 5*f - 43 = 0. Sort 34, p, v in descending order.
34, v, p
Let b be 4/(-7)*(-9 + 2). Suppose f + 0*m + m + 4 = 0, m + 20 = -5*f. Let d(i) = i**3 + 6*i**2 - 5*i + 3. Let s be d(-7). Put b, f, s in descending order.
b, f, s
Let c = 13 + -8.34. Let v = c - 4.26. Put v, 5, -1.01 in descending order.
5, v, -1.01
Let r be -4 - -16 - (-28)/(-4). Suppose 0 = 5*c - n + 93, -c - 10 = -2*n + r. Sort -0.5, c, 3/2 in decreasing order.
3/2, -0.5, c
Let p(n) = n**3 - 44*n**2 - 35*n - 455. Let w be p(45). Let i = -48 - -434/9. Sort w, 2/259, i in descending order.
i, 2/259, w
Let a be (32/(-64))/((-1)/(-2)*17/17). Put 25, a, -73, 5 in increasing order.
-73, a, 5, 25
Suppose -5 = b + 3*x, -2 = 5*x + 18. Suppose 5*i + b = -n - 18, 4*i = 4*n - 20. Let s be 3 - (-30)/(-20) - (0 - -2). Sort i, -4, s, 0 in increasing order.
i, -4, s, 0
Let t = -643 - -670.3. Let v = t - 66.3. Sort -0.3, v, -0.2.
v, -0.3, -0.2
Let c = 3784 + -3786. Sort 0.1, -1/20, c in decreasing order.
0.1, -1/20, c
Let l = 170 - 92. Let w = l + -106. Let j be 2*5/(-50) + w/10. Sort 0, -5, j, 2.
-5, j, 0, 2
Let c = -38.59 + -0.41. Let s = 38 + c. Let g be (2/2)/((-2)/42). Put s, 0.2, g in increasing order.
g, s, 0.2
Suppose 150 = 11*q - 26. Put 0, 5, q in descending order.
q, 5, 0
Let i = 3041 - 3046. Sort 100, -2, 5, i, 3.
i, -2, 3, 5, 100
Let k = 95039/5 - 19007. Sort 34, 1.7, 0, k in increasing order.
0, k, 1.7, 34
Let d = -20 - -19.793. Let b = 2.793 - d. Sort 0.5, -0.2, 4, b.
-0.2, 0.5, b, 4
Let w(c) = c**3 + 8*c**2 + 5*c - 9. Let p be w(-7). Suppose -49*d = -2*y - 48*d + 8, -4*y - d - 20 = 0. Sort -7, y, p, -11 in descending order.
p, y, -7, -11
Let c = -7 + 28. Suppose c*r = 16*r - 10. Suppose 2*p = -10, -2*w + 16 = -6*p + 4*p. Put 10, r, w in descending order.
10, w, r
Let t = 21.1 - 11.1. Let o = t + -9.7. Let j(r) = -5*r**2 + r + 1. Let m be j(-1). Put m, o, 1/7 in decreasing order.
o, 1/7, m
Let x = -95.1 - -878.3. Let m = -703 + x. Let z = 80 - m. Put 0.2, -0.035, z in ascending order.
z, -0.035, 0.2
Let j = 388 - 364. Suppose -75*x + j = -67*x. Sort 30, x, 4 in ascending order.
x, 4, 30
Suppose 4*v - 2*r + 1035 = 1063, 16 = 4*v - r. Suppose 2*p + 7 = 1, 4*p - 36 = -4*i. Sort 5, i, v, -3 in ascending order.
-3, v, 5, i
Suppose -4*b + 58 = 3*j, -3*j = 2*j - 4*b - 150. Suppose 27*c - j*c = 0. Let g = -4 + -1. Sort 6, g, -3, c in ascending order