35)/(-15))*(-999)/(-6). Let i = -113 - c. Sort 9, i, 2 in descending order.
9, 2, i
Let l = -23 - -20. Let k = -169 - -165. Let m be (6 - (-175)/(-28)) + (-93)/k. Sort l, m, -2.
l, -2, m
Let h = 233/1342 + 1/122. Suppose 0 = 2*d - 9*d + 5 + 37. Put d, 0, h in ascending order.
0, h, d
Let v = -3470 + 13771/4. Let l = 767/28 + v. Put -1/4, l, 1, -10/11 in ascending order.
-10/11, -1/4, l, 1
Suppose 4*h = 3*l - 23, 14*l - 9*l = 5*h + 30. Sort l, -30, -4, 55.
-30, -4, l, 55
Let x = -1065.0867 - -1065. Let u = -0.0433 + x. Sort 0, u, -18 in decreasing order.
0, u, -18
Let f be (-3)/(-4)*-1*(-88)/462. Sort -8, f, 6, -1/4.
-8, -1/4, f, 6
Let p be 31905/(-54) + 4/(-24). Put -3, -5, p in descending order.
-3, -5, p
Suppose -6*b - 2*k = -466, 2*b - 386 = -3*b - 4*k. Let l = b - 78. Sort -4, l, 3, -10 in descending order.
3, l, -4, -10
Let w be 6/(-1)*1/(-2). Suppose p - 7*y + 3*y = -2, 0 = w*y - 3. Suppose 4*d - 9*d = -5*q + 5, -3*d + 2*q = -1. Sort -2, 5, p, d in descending order.
5, d, p, -2
Let x be 1202/20 + ((-792)/(-80) - 10). Sort 2/3, -0.2, x.
-0.2, 2/3, x
Suppose 0 = 21*f - 24 + 3. Let p(l) = -21 + 11*l + 35 - 19 - l**2. Let n be p(11). Sort f, n, 4, 3 in descending order.
4, 3, f, n
Let x(g) = g**2 + 50*g + 67. Let q be x(-3). Sort -5, -1, q, 13.
q, -5, -1, 13
Let i be ((-116)/(-6))/((-45)/27). Let y = i - -101/10. Sort y, 1/4, 0.09 in decreasing order.
1/4, 0.09, y
Let k = 11169 - 11166. Put k, 0, 4, -10 in increasing order.
-10, 0, k, 4
Suppose 12*c - 8*c = 348. Suppose 0 = 4*s - 7*s + c. Let m = s - 25. Put -2, m, -12 in increasing order.
-12, -2, m
Suppose 3*w - 6*w - 4 = -5*h, 4*w + 14 = -2*h. Suppose -8*s + 12 = -2 - 2. Sort w, -2, 0, s in decreasing order.
s, 0, -2, w
Suppose -2*p + 181 = -183*p. Sort -4, 18, 0, p in decreasing order.
18, 0, p, -4
Let t(d) = d**3 - 4*d**2 - 2*d + 8. Let a be t(2). Sort -76, -3, 2, a, -2 in descending order.
2, -2, -3, a, -76
Let b be (-21)/((-756)/90)*(-172)/10. Let p(r) = r**2 - r - 6. Let u be p(0). Sort u, b, 2 in descending order.
2, u, b
Let n = 0.7517 - 1.2517. Sort -5/7, n, -26 in ascending order.
-26, -5/7, n
Let o = 189 - 184. Let t = 0.36 + -0.26. Sort -0.5, o, -0.6, t.
-0.6, -0.5, t, o
Let o = 0 - -4. Let b = -841262 - -841262.4. Sort b, o, -43, -4.
-43, -4, b, o
Suppose -14*y + 6 = -11*y. Suppose -c + 4*t - 6 = -y*c, -3*c - 5*t + 11 = 0. Suppose 4*z - 1 = z + r, -z - c*r + 5 = 0. Sort z, -1/18, -2 in ascending order.
-2, -1/18, z
Let p = -3 + 5. Let c be (((-120)/18)/20)/((-2)/2508). Let q = -419 + c. Put p, 3, 4, q in descending order.
4, 3, p, q
Let o = 683.0359 + -0.0359. Let u = 682 - o. Sort u, -5.5, 0.3 in ascending order.
-5.5, u, 0.3
Let d = 11434 - 11630.96. Let g = -197 - d. Sort 5, 2, g, -0.2 in descending order.
5, 2, g, -0.2
Let p = -5741 - -5745. Sort -2, 1, -7, p, 8 in ascending order.
-7, -2, 1, p, 8
Let r = 23.92 - 6.92. Sort -1, r, 15, -1/6, 1 in descending order.
r, 15, 1, -1/6, -1
Let i = -342 - -768. Let r = -425 + i. Sort -1, 3, r, 0.1 in descending order.
3, r, 0.1, -1
Let a = -309842/9 - -34427. Put -5, 7, a, 126, 2 in ascending order.
-5, a, 2, 7, 126
Suppose 0 = 2*a - 2, -7*j + 5*j - 2*a + 274 = 0. Suppose 4*x - 5*g - j = 0, 3*g + 8 + 4 = 0. Sort -4, x, 1.
-4, 1, x
Let m be 1/2*-2*(0 + -4). Let x = -726 + 722. Put 0, x, -3, m in descending order.
m, 0, -3, x
Suppose 0 = 17*s - 76*s + 32*s. Put -7, 15, s in descending order.
15, s, -7
Suppose -4*c + 6*c + 3*a = -3, 3*a = -5*c + 6. Let w be (-3)/(-10) + (-20)/8 + c. Put 0.4, -13, w in decreasing order.
w, 0.4, -13
Let c = 581 + -559.31. Let t = -7.31 - c. Sort t, -1, 2 in increasing order.
t, -1, 2
Let z = 5 + 51. Let p = z - 56. Suppose 7*c - 3*c - 4 = 0. Put p, c, -8 in ascending order.
-8, p, c
Let p = 4125 + -4130. Let t = 15 - 14.4. Sort t, -3, p in ascending order.
p, -3, t
Suppose 2*v - 3*t = 0, -5*v = -4*t + 2*t - 22. Let k be -1*((-58)/(-4) - 15)/((-2)/20). Sort v, 1, -4, k in decreasing order.
v, 1, -4, k
Suppose -8*n + 10 = 2*y, -4*n + y + 2 + 9 = 0. Put 73, -5, n, 0, 6 in descending order.
73, 6, n, 0, -5
Let f = -0.62 + 327.62. Let b = 325 - f. Let x be ((18/(-4))/(-3))/(-3). Put x, b, -0.2 in increasing order.
b, x, -0.2
Suppose 4*b - u - 16 = 0, -5*b + 4*u = -42 + 11. Put b, -4, 5, 26, 44 in ascending order.
-4, b, 5, 26, 44
Let w = -3596 + 3591. Put 292, -4, w in descending order.
292, -4, w
Let t = 3.0933 + -0.0933. Let h = -0.8 + -4.2. Put -3, h, 2, t in descending order.
t, 2, -3, h
Suppose 3*b = -19 - 2. Suppose 9*v + 40 = 10*v. Suppose 5*s + 5*s = v. Sort 0, b, s, -2.
b, -2, 0, s
Suppose -6*c + 6 = -3*c. Suppose c*q = -3*h + 2*h - 3, h + q = 0. Sort h, 2, 1, -6 in descending order.
h, 2, 1, -6
Let m be (-582)/(-264) - 3/4. Let o = m + -166/99. Sort -2, -1/3, o, -0.1.
-2, -1/3, o, -0.1
Suppose -2715 = -2*r - 13*r. Let v = r + -182. Sort 5, v, 0.06.
v, 0.06, 5
Let p(q) = q**2 + 41*q + 364. Let h be p(-13). Suppose j = 33 - 9. Suppose h*a - j = 6*a. Sort 7, a, 4 in decreasing order.
7, 4, a
Let j be (-188)/(-150) - 12/(-1050)*7. Sort 0.5, j, 3, -0.132.
-0.132, 0.5, j, 3
Let a be 1*1/((-56)/(-52)). Let o = a + -51/70. Put -27/5, o, 5 in increasing order.
-27/5, o, 5
Suppose -k = 4*h - 19, 5*h = k + 3*k - 34. Suppose -5 = 4*b + 4*d + 3, -4*b - d + 7 = 0. Put 0, k, b, 1 in increasing order.
0, 1, b, k
Let r = 0.04 + -3.04. Let h = -1060 + 732. Let m = h + 324. Sort m, r, 0.4.
m, r, 0.4
Let m(c) = 6*c - 12*c + 2*c - 8*c + 104. Let f be m(9). Sort 73, 1, f in decreasing order.
73, 1, f
Let j = 2.518 + 10.482. Let c(k) = -2*k + 9. Let x be c(7). Put j, x, 4 in decreasing order.
j, 4, x
Let v = 2072.93 + -2073. Let p = -0.04 - -8.04. Sort -0.4, v, p in descending order.
p, v, -0.4
Let i = -14 + 8. Let v be i*((-14)/(-3))/7. Let a(t) = 17*t + 29. Let b be a(-2). Put v, 2, 3, b in decreasing order.
3, 2, v, b
Let g = 1757 - 1761. Put g, -0.2, 0, 3 in decreasing order.
3, 0, -0.2, g
Let s = 3476 - 3475.88. Put 1, -2, s in decreasing order.
1, s, -2
Let g = 1507 + -872. Sort -5, g, 2 in decreasing order.
g, 2, -5
Let s = 471 + -462. Sort s, 5, -4, -1.
-4, -1, 5, s
Let k(m) = -5*m - 65. Let h be k(-13). Suppose -5*o + o - 8 = h. Sort o, 0.3, -21 in descending order.
0.3, o, -21
Suppose 0 = -22*q + 1647 - 1251. Sort 4, q, -15.
-15, 4, q
Let w(f) = -f**2 - f. Let d be w(2). Let q = 7347 + -7297. Let h be d/(-75)*5*q/4. Sort 4, -3, -5, h in decreasing order.
h, 4, -3, -5
Let h be (-434)/217*(-1 - -3). Sort -7, 0, -3, h, 4 in descending order.
4, 0, -3, h, -7
Let j(n) = -11*n - 110. Let w be j(-10). Let h = -178 + 180. Put h, -5, 1/3, w in descending order.
h, 1/3, w, -5
Let f = -4787 + 4792. Sort -2/17, f, -95, -0.4 in decreasing order.
f, -2/17, -0.4, -95
Suppose -38*g + 13*g - 125 = 0. Sort g, 301, 0 in increasing order.
g, 0, 301
Let s = -0.1 + 4.1. Let g = 23202 - 23192. Sort s, -5, 2, g in descending order.
g, s, 2, -5
Let m = -175 + 280. Let b = -1157/11 + m. Let z = 3 + 1. Sort 0, b, z in ascending order.
b, 0, z
Let q = -117268/7 - -16753. Sort -13, 3/5, q in descending order.
3/5, q, -13
Suppose -4223*b - 120 = -4193*b. Let v be (1 + (-5)/2)*2. Put 40, b, v in increasing order.
b, v, 40
Suppose -3*l = 2*r - 4*r - 20, -2*r = 14. Sort 3576, l, 1 in descending order.
3576, l, 1
Let l = 7287 + -7290. Sort l, 1/4, 0.14, 4, -1 in increasing order.
l, -1, 0.14, 1/4, 4
Let a(f) be the first derivative of 9*f**2/2 + 4*f - 6. Let n be a(-1). Sort -22, n, 0, -1 in decreasing order.
0, -1, n, -22
Let r(m) = -m**2 - 7*m - 7. Let k be r(-3). Suppose -3*g = -5*x + 13, 5*g - 5 = -0*x - k*x. Let a be (g/2)/(3/2). Sort a, 2, 0.2, 0.1 in ascending order.
a, 0.1, 0.2, 2
Let q = -107 - -115.85. Let g = -1.85 + q. Sort g, 2/11, 4, -3 in decreasing order.
g, 4, 2/11, -3
Let x = 4423/4 + -30953/28. Put -3, 8, x, -1.7, 1 in descending order.
8, 1, x, -1.7, -3
Let t = 1224 + -1096. Sort t, -3, 3, -0.02, -0.3.
-3, -0.3, -0.02, 3, t
Let v be (-2)/28*(5 + 1). Let m = 58.7 + -58.737. Sort m, v, 0.3.
v, m, 0.3
Suppose -90 = -370*d + 352*d. Let t(p) = -p**3 - 11*p**2 - 10*p - 4. Let v be t(-10). Sort d, v, -46 in ascending order.
-46, v, d
Let g = -34 + 40. Let c be (2 + g/(-5))/((-162)/(-45)). Let j = 0.5 + -0.1. Put c, j, -6 in increasing order.
-6, c, j
Let k = 89 + -89.5. Let d = -1231 - -1230. Let r be (0 + -6)*(-2)/4. Put r, d