, f
Suppose 4*r + i - 12 = 0, 0*i = r - 4*i - 20. Let l = 24044 - 24043. Sort -0.2, l, r in increasing order.
-0.2, l, r
Suppose -2*c + f + 2 = 0, -17*f + 22*f = -c + 12. Sort -1, c, -73, 1 in increasing order.
-73, -1, 1, c
Let s be (-4)/(-2)*21/168*-20. Let v = -0.86 + 0.7. Let k = -2.16 - v. Sort s, -4, k, 2/5 in descending order.
2/5, k, -4, s
Let q = 41.5 + -41. Let v = -1244.99 + 1245. Put 4, q, v in decreasing order.
4, q, v
Let x = -0.0708 - 659.9292. Let c = -656 - x. Let d = -3 + 3.1. Sort c, d, 0.
0, d, c
Let t = -3125 + 3121. Sort t, 4/5, 1/41 in descending order.
4/5, 1/41, t
Let t = -0.0796 + -2.7704. Let m = t + 2.65. Sort 3/2, m, 0.01.
m, 0.01, 3/2
Let b = -2390.1 + 2390. Let f = -2.7 - 0.3. Put b, f, -5, 29 in increasing order.
-5, f, b, 29
Let j be 30/(-4)*4/(-3). Suppose -7*b + 33 = -16. Suppose -17*s + 3*s = -b*s. Sort j, 3, s in decreasing order.
j, 3, s
Let g = 1/6146 - -13169/6146. Put 1, 1/5, -3, -5, g in decreasing order.
g, 1, 1/5, -3, -5
Let r be (1159/266)/61 + 37/(-126). Sort -3.94, -2/3, r.
-3.94, -2/3, r
Let u = 3 + -1. Suppose 1 = u*k + 11. Let o = -8984 - -8982. Sort k, o, 2 in decreasing order.
2, o, k
Let o be 46/(-60) - (-122)/732. Sort -6, -1/3, o in increasing order.
-6, o, -1/3
Let l = -768 + 771. Sort -1/13, 7, l, -3/2.
-3/2, -1/13, l, 7
Suppose 74808 - 74968 = -40*h. Sort h, -0.2, -3, 2, 2/7 in increasing order.
-3, -0.2, 2/7, 2, h
Suppose -i + 4*i = -201. Suppose -294*x + 13 = -289*x + 4*d, 7 = d. Sort 2, i, -2, x in ascending order.
i, x, -2, 2
Suppose 337 = 8*c - 47. Suppose -5*n - 22 - 14 = 3*p, 0 = -4*p - 2*n - c. Let g = -3 - 0. Put 0, g, p in decreasing order.
0, g, p
Suppose 0 = -5*r + 3*c + 6 + 2, 4*c - 24 = -2*r. Suppose -120*d + 124*d = 69*d + 195. Suppose -2*s + 2*p = 0, -4*p = -5*p + 5. Put r, s, d in ascending order.
d, r, s
Suppose 5*f - 4*a - 17 = 0, 4*f + 0*f - a = 18. Suppose -2*i = -5*r - 10, 4*r - f*i = -r - 25. Suppose r = 2*k + 10 + 2. Put -5, k, -3 in descending order.
-3, -5, k
Let f = 3320 - 3319.93. Let t = -0.8 + 0.37. Let v = t - f. Sort 2, 3, v, 12 in decreasing order.
12, 3, 2, v
Let l = -335 - -332. Let p be (-3)/(-5) - 8/((-40)/l). Let a = -2 + 8. Put p, -4, a in descending order.
a, p, -4
Suppose 5*a + 0*a = -0*a. Suppose a = -m - 4 - 8. Sort m, -3, 1, 0 in increasing order.
m, -3, 0, 1
Suppose 57*m - 23*m = -32*m - 264. Let l(x) = -x + 7. Let j be l(9). Sort j, m, 5, -11 in ascending order.
-11, m, j, 5
Let i = 25.273 + -25.303. Sort i, 4, -79.
-79, i, 4
Let b(c) = -53*c - 420. Let w be b(-8). Put 0, w, -24 in descending order.
w, 0, -24
Let p = 1175.7 + -1175.8. Let a = 4.2 + -0.2. Put 0.4, p, a in descending order.
a, 0.4, p
Suppose -n + 3*n = 12. Suppose 5153*o = 5176*o - 96 - 203. Sort n, 3, o in ascending order.
3, n, o
Let k be 112/20 - 6/10. Suppose 0 = -a + k - 3. Suppose 3*l + 150 = 18*l. Sort l, a, 5, 0 in ascending order.
0, a, 5, l
Let r(z) = 258*z - 2581. Let g be r(10). Sort 3, 11, 0, g, 2 in ascending order.
g, 0, 2, 3, 11
Suppose 89 - 173 - 172 = 64*t. Sort -3, t, 1, -6, 22.
-6, t, -3, 1, 22
Let c be 15/36*63/35. Let r = -2.7 + 3. Sort r, 0.5, -6, c.
-6, r, 0.5, c
Let d(y) = -y**3 - 5*y**2 + 7*y + 12. Let g be d(-6). Let c(z) = z**3 - 6*z**2 + 4. Let w be c(g). Let u be 14/(-8) - 1/4. Put w, -1, 2, u in increasing order.
u, -1, 2, w
Let i = -166 + 166.17. Let v = i - 0.07. Let p be ((-1)/12)/((-3)/30). Sort v, -3, 3, p in descending order.
3, p, v, -3
Let m(f) = 3*f - 55. Let y be m(20). Sort 2, y, 1, -2, 0.5 in descending order.
y, 2, 1, 0.5, -2
Let a(w) be the second derivative of -w**5/10 - w**4/6 + 2*w**3/3 + 2*w**2 + 2*w - 1. Let m be a(-2). Put -10, 1, 0, m in descending order.
m, 1, 0, -10
Let a = 2.4 - 0.4. Let o = 0.1 - 0. Let r = -236.663 - -240.663. Put r, a, o in ascending order.
o, a, r
Let m be (-9)/(-24) - (-3)/(-8). Let v = 8.5 + -8. Let z be ((-4)/14)/((-2)/4). Put m, z, v in ascending order.
m, v, z
Let l = 74/291 - -40/97. Sort 1094, -5, l, -4.
-5, -4, l, 1094
Let k(l) = -l**2 + 2*l + 9. Let o be k(0). Suppose -1 = 3*r + n, o*n - 4*n - 7 = -3*r. Suppose -2*d = -2*q - 8, 0 = q + 3*q - d + 4. Sort q, r, 3.
r, q, 3
Let x = -40798.9 - -40798.9. Let i be 1 + (-1)/(12/14). Put x, i, -0.3, 73 in descending order.
73, x, i, -0.3
Let p(z) = -z**2 - 4*z - 4. Let d = 10 - 14. Let u be p(d). Let c be 64/(-48) - 21/(-9) - (16 + -9). Put -1, c, 2, u in decreasing order.
2, -1, u, c
Suppose 5*w - 3*d = -135, 36*w - 35*w + 27 = -4*d. Let k be (-9)/w - (-10)/6. Let j be ((2/1)/1)/(-2). Sort 3, 0, j, k in increasing order.
j, 0, k, 3
Let z = 1877.27 + -1877.3. Put z, -318, -5, 5 in decreasing order.
5, z, -5, -318
Let t = -4.1996 + 1.1996. Sort 1999, -1/3, t in ascending order.
t, -1/3, 1999
Let m = -74.07 - -76.07. Sort -2, -0.5, 153, m, 0.5 in decreasing order.
153, m, 0.5, -0.5, -2
Let g = -3896 - -7793/2. Let x = 38 + 10. Sort g, -1/3, x in increasing order.
-1/3, g, x
Let g = 23 + -21. Suppose 147 - 55 = -4*a + g*x, 0 = 5*a - 2*x + 114. Let t be a/8 + 2 - 2/(-4). Put -0.1, -0.3, -3, t in ascending order.
-3, -0.3, t, -0.1
Let n = -93 - -103. Let y = -7 + n. Suppose -2*f - 13 - 26 = y*z, -f = 4*z + 32. Sort -4, -5, f in ascending order.
f, -5, -4
Let h(a) = 1560*a - 340. Let o be h(0). Sort 7, o, 0, 2 in descending order.
7, 2, 0, o
Let u = 4400 + -4400. Sort 5, u, -3.
-3, u, 5
Let k be ((-25)/(-5) - -2) + -4 + -5. Suppose 0 = 3*t - 13 - 2. Suppose 0 = c - t*c + 16. Sort c, 5, -7, k.
-7, k, c, 5
Let d = -351 - -322.4. Let b = 28.2 + d. Sort -5, b, 0.07, 5.
-5, b, 0.07, 5
Suppose -18*y = -25*y + 280. Suppose -5*v - y = 3*q - 3, -3*q - 27 = 3*v. Sort -2, -11, v, 2 in decreasing order.
2, -2, v, -11
Suppose 4*t - 3*w - 18455 = 0, -t + 41*w - 39*w = -4615. Sort t, 2, -1 in increasing order.
-1, 2, t
Let t = 215/4 + -54. Let s = 1746 - 1746.3. Let h = 0.8 + 0.2. Put h, s, t in descending order.
h, t, s
Let k(p) = p**3 + 20*p**2 + 20*p + 26. Let d be 1 + 142/(-7) + 22/77. Let v be k(d). Sort 10, v, 1 in decreasing order.
10, v, 1
Let l = 4352/27 - 21733/135. Suppose -m + 0*m - 5 = 0. Put l, 5, m in ascending order.
m, l, 5
Let p = -4434 - -4434.1. Sort 3, -2/5, p, -1/6, 56.
-2/5, -1/6, p, 3, 56
Let n(k) = -k**2 - 5*k + 2159. Let w be n(-49). Sort w, 0, -2, -90 in decreasing order.
w, 0, -2, -90
Let j be (-1)/(-3) + (-21)/9. Suppose 5*w - 19 = 3*c, 0 = -4*w - 9*c + 5*c - 4. Suppose w*l + 9*l = 88. Sort j, l, -5 in descending order.
l, j, -5
Let x = 631/795 + -35/53. Sort 0.5, -3/8, x, 3/4, -2/3 in decreasing order.
3/4, 0.5, x, -3/8, -2/3
Let u = 130 + -118. Let s(w) = w**2 - 14*w + 29. Let x be s(u). Put 2, x, -4, -6 in ascending order.
-6, -4, 2, x
Let k(p) = -p**3 - 7*p**2 + 103*p + 647. Let u be k(-11). Put 4, -57, u in ascending order.
-57, u, 4
Let f = 292 - 177. Let t = -114.6 + f. Put 3, 2/11, 24/5, t in increasing order.
2/11, t, 3, 24/5
Let v(j) = -4*j**2 - 35*j - 78. Let x be v(-4). Put 0, x, -5, 5, -20 in increasing order.
-20, -5, x, 0, 5
Suppose g - 43 = 2*a + 45, 0 = 3*a + 3*g + 141. Suppose 5 = -4*t + 1. Sort a, 1, t.
a, t, 1
Let t(x) = 13*x + 1146. Let w be t(-88). Sort -23, -41, w in ascending order.
-41, -23, w
Suppose 5*b + 4*f = 66, b + 0*f = -4*f + 26. Let u = b - 13/2. Let j be 93/30 - (-24)/(-240). Put u, -5, -0.5, j in increasing order.
-5, -0.5, j, u
Suppose 89*h = 87*h + 2*p + 6, -h + 31 = -5*p. Sort h, 0, -9, 1 in increasing order.
-9, h, 0, 1
Let r = -11 + 6. Suppose 87*g + 217 + 228 - 184 = 0. Put 4, g, r, -1 in decreasing order.
4, -1, g, r
Let n = 1712696089159/6328 - 270653616. Let x = n - -1/791. Put 0, 5, x in ascending order.
0, x, 5
Let f = 1664 + -3325/2. Sort f, 2.5, -8, -1/2.
-8, -1/2, f, 2.5
Let o = 29 - 33. Let b(n) be the third derivative of -n**4/24 + 2*n**3/3 - 23*n**2. Let l be b(7). Put 3, 2, l, o in increasing order.
o, l, 2, 3
Suppose -69*v + 38*v = -35*v - 16. Let b(s) = -2*s + 1. Let q be b(-1). Suppose -r - 6 = 2*u - q*u, 3*u + 3*r - 6 = 0. Sort u, 0, -2, v in descending order.
u, 0, -2, v
Let f(d) = -5*d**3 + 2*d**2 + 2*d + 1. Let x be f(-1). Sort 1260, 1, x in descending order.
1260, x, 1
Let w be (2 - (2 - 0))/(-1). Let a be (-4)/2*(-5)/2. Suppose l = 4*s - 3*s, s - 12 = -a*l. Sort 3, s, w in decreasing order.
3, s, w
Let u(f) be the third derivative of -f**5/20 + 7*f**4/4 - 2*f**3/3 + 3*f**2 + 13