t -4, j, p in increasing order.
p, -4, j
Let x = -393563 - -393563. Let a be (2/(-6))/(2/(-6)). Sort x, -13, 2, a in descending order.
2, a, x, -13
Suppose 2*a + 2*y = 8, 4*a - 9 = -y + 1. Suppose 8*d - 3*c - 64 = 0, 4*d - 319*c - 12 = -320*c. Sort d, a, 0, -26 in descending order.
d, a, 0, -26
Let d = -1144 + 1145. Let h be (-30)/4*(-72)/20. Sort d, -4, h, -5 in increasing order.
-5, -4, d, h
Let a = -2083 + 18745/9. Suppose -m - 16 = -5*m. Suppose 0 = -2*x + 4*x + m. Sort a, -2/5, x in decreasing order.
a, -2/5, x
Suppose -4*t = -4*c + 3*c, 5*c = -5*t. Let q be (-52)/130 + t + 32/130. Sort -1/3, q, -3 in ascending order.
-3, -1/3, q
Let q = 6115/28368 - -21/3152. Suppose 0 = -2*j - 7 - 1. Put j, 0.1, q, 2/3 in increasing order.
j, 0.1, q, 2/3
Let o be 554*(60/(-8))/5. Sort -1, 1, o.
o, -1, 1
Let i(y) = y**3 + 10*y**2 + 7*y - 18. Let b be i(-9). Let h = -228 - -245. Sort h, b, 4.
b, 4, h
Suppose 0 = -4*z + 26 + 54. Let h = 24 - z. Let o(u) = u**3 + 20*u**2 + 50*u - 16. Let v be o(-17). Sort v, h, -1 in decreasing order.
h, v, -1
Let z = 40.99 + -41.99. Put z, -4, -12151 in ascending order.
-12151, -4, z
Let v = -42327/7 - -6047. Sort 1/17, v, 0.16 in decreasing order.
v, 0.16, 1/17
Let g = 2932 + -2948. Put -4/7, 2/9, g, 5 in descending order.
5, 2/9, -4/7, g
Let p(f) = 17*f**2 - 172*f + 16. Let q be p(10). Put -36, -2, q, -5 in decreasing order.
-2, q, -5, -36
Suppose 94*t + 1400 = 147*t + 227*t. Sort t, -0.125, -3, -9/7 in ascending order.
-3, -9/7, -0.125, t
Suppose -2*a + 5*a - 15 = 5*h, 4*h - 10 = -2*a. Let b be (-18)/117 - 8/(-312)*201. Sort 1, h, 10, b.
h, 1, b, 10
Let p(x) = -173*x - 2594. Let v be p(-15). Sort -2, -44, v, 2, -3.
-44, -3, -2, v, 2
Let u = 26.93 - 30.93. Let s be 32/(-10) - 15/(0 + -5). Sort u, s, 3 in increasing order.
u, s, 3
Let h(m) = m**3 - 7*m**2 + 7*m - 9. Let a be h(6). Let w be 4 - -24 - 28/28. Put a, w, -1 in decreasing order.
w, -1, a
Let q = -97/255 + -1/51. Let n = -22 + 22.7. Let j = -0.8 + n. Sort j, q, -2/9 in descending order.
j, -2/9, q
Let r be (3/(-4))/((-27)/18). Let w = -4 - 0. Let h = 4998 - 19987/4. Sort -5/3, w, h, r in decreasing order.
h, r, -5/3, w
Let w = -44 + 52. Suppose -9*r = -5*r - w. Suppose -r*y = 3*y - 2*j + 30, 0 = 2*j - 10. Put 3, 2, y in ascending order.
y, 2, 3
Let u = 721 - 359. Let y = u - 365. Sort 6, y, -4, 1 in ascending order.
-4, y, 1, 6
Suppose -22*l - 373 = -285. Sort -2, l, -1 in decreasing order.
-1, -2, l
Let k = -30 - -63/2. Let s = 0.039 + 0.061. Sort -6, k, s in increasing order.
-6, s, k
Let z be (-8 + -2)*1/2. Put -4, z, 2, 4 in descending order.
4, 2, -4, z
Let x = 1670 + -1667. Let d be 15/6*(3 + -1). Suppose -2*a - 33 = d*c, -3*c = 2*a + c + 32. Put a, x, 5 in decreasing order.
5, x, a
Let m(b) = -127*b**2 - 6*b + 7. Let f be m(1). Let l = f - -123. Sort l, -6, -4 in descending order.
l, -4, -6
Let g = 374 - 379. Let w = 709/7 + -101. Sort g, w, 0.4, 1/3 in decreasing order.
0.4, 1/3, w, g
Let v be 18/(-14) + 4/14. Suppose 3*f + 15 = 4*p - p, -p = -8*f + 9. Sort v, -40, f.
-40, v, f
Let y = -221 + 222.41. Let l = -3.41 + y. Let h = -7.9 + 8. Sort h, l, 4 in descending order.
4, h, l
Let n = 0.501 + -0.801. Let r = 602 + -602.03. Sort -0.1, n, r, 5/2.
n, -0.1, r, 5/2
Let j(b) = -11*b**2 + 39*b + 78. Let g be j(5). Suppose 15 = -f + 4*f. Sort g, -4, f in descending order.
f, g, -4
Let r = -279 - -142. Let n = r - -131. Sort -5, n, 4 in descending order.
4, -5, n
Let t = -331 - -319. Let s(x) = x**3 + 12*x**2 - 2*x - 21. Let k be s(t). Let v(u) = -u**2 - u + 1. Let p be v(2). Sort p, -9, k in decreasing order.
k, p, -9
Let g = -61 + 70. Let l(b) = b**2 - 5*b - 32. Let i be l(g). Sort i, -5, 7.
-5, i, 7
Let f = -6270 + 6266. Sort f, -3, 0.5, -3/2, -14 in ascending order.
-14, f, -3, -3/2, 0.5
Let i = -0.07 + -0.03. Let q = -3/340 + 701/2380. Suppose k + 2 + 2 = 0. Sort i, 1, k, q in decreasing order.
1, q, i, k
Suppose -4*s + 1 = -3*s. Let n be 1*14 + (-24)/(-16)*-6. Put n, s, -6, -3 in ascending order.
-6, -3, s, n
Suppose 5*b + 9720 = 20*b. Suppose -2*t + b = -8*t. Let d be 4 - 0 - (-414)/t. Put 0.1, d, 5, 12/11 in decreasing order.
5, 12/11, d, 0.1
Let v(k) = 2*k**2 - 22*k - 248. Let o be v(-7). Suppose b - 72 = 5*b + 4*z, -b - 28 = -4*z. Let c be -1 - (b/6 + 2). Sort o, 6, c in ascending order.
c, o, 6
Let l = 28/43 + 2/129. Suppose 0 = -8*f + 7*f - 4*o + 11, 5*f = o - 50. Sort l, -3, f.
f, -3, l
Let r = -4000 + 4005. Sort -4, -1/208, -1/7, r, -1/2.
-4, -1/2, -1/7, -1/208, r
Suppose 74 = 33*r + 173. Suppose -60 = -5*v - 0*v. Suppose 3*p = -m - v - 8, 10 = 2*p - 4*m. Put -2, r, p in descending order.
-2, r, p
Let a(p) = -2*p + 5. Let s be a(4). Let u(h) = h**2 - 129*h + 3298. Let b be u(35). Sort s, 1, b in increasing order.
s, 1, b
Let x be ((-10)/3)/(2 - 39/18). Let m be 5/x*4*39. Suppose 0 = 3*i + 5*k - m, -4*i = i + 5*k - 55. Put -3, 1, i in ascending order.
-3, 1, i
Let k(y) = -y**3 + 12*y**2 + 19*y - 331. Let c be k(11). Put -25, c, 4, 0 in increasing order.
-25, c, 0, 4
Let o = -47 + 46. Suppose 0 = 3*g + s - 8, 0*s = 2*g - s + 3. Put -5, g, o, -0.1 in decreasing order.
g, -0.1, o, -5
Let d = -3338 - -3335. Sort d, 2/5, 16, -1/27 in ascending order.
d, -1/27, 2/5, 16
Let i(f) = -f**2 - 7*f + 410. Let r be i(-24). Let h = -6 + 6. Sort h, 4, 3, r.
h, r, 3, 4
Let t = 236 - 241. Let m(a) = a**3 + 4*a**2 - 3. Let z be m(-4). Put 6, z, t, 1 in decreasing order.
6, 1, z, t
Let v = 66 - 59.8. Let f = v + -6.182. Let z = f - -1.982. Put z, 1, 5, -4/7 in descending order.
5, z, 1, -4/7
Let v = 1.053 - -0.027. Let n be -2*((10/2)/(-5))/(-8). Put n, 3, 0, v in increasing order.
n, 0, v, 3
Suppose -12*t - 766 - 1364 = -154*t. Put t, 55, 1 in decreasing order.
55, t, 1
Let q be ((-112)/(-6))/(-2 - (-105)/54). Let s = -49 - q. Put s, 0.2, -4, -3/4 in descending order.
s, 0.2, -3/4, -4
Let f = 304 + -305. Let l be (((-20)/(-8))/(-5))/f. Sort l, -0.3, -0.5 in increasing order.
-0.5, -0.3, l
Let z = 1.8147 + -0.0307. Let k = -0.216 - z. Sort k, 2/11, -3, -1 in increasing order.
-3, k, -1, 2/11
Let k be (-126)/(-231)*4/(-3)*8/(-64). Put 0.4, 3/4, k, 0.02 in descending order.
3/4, 0.4, k, 0.02
Let f(j) = -3*j**2 - 22*j - 27. Let g be f(-6). Suppose 4*m + 11 = 31. Put m, -2, 1, g in descending order.
m, 1, -2, g
Let q be 22/56 - 7/28. Let f(m) = -82*m - 729. Let w be f(-9). Sort 5/3, q, w.
q, 5/3, w
Suppose 4*c = 9*c + 45. Let z be c/(-12) - 0/(6/(-3)). Let k = -0.17 - -0.07. Put k, z, -17 in descending order.
z, k, -17
Let d(f) = -11*f**2 - 71*f - 30. Let w be d(-6). Sort 3, w, -16/11, 0.3 in increasing order.
-16/11, w, 0.3, 3
Let d = 0.68 - -2.32. Put 27, d, 1, -4 in increasing order.
-4, 1, d, 27
Let j be (-12)/(-10) - (7490/4550 + 6/(-10)). Sort 4/41, -4, j, 8, -2 in increasing order.
-4, -2, 4/41, j, 8
Suppose 6*f - 11*f - 230 = 0. Let j = f + 42. Suppose 0 = -2*t + c - 15, -2*t - t + c = 20. Sort j, t, 2 in increasing order.
t, j, 2
Suppose -48 = -4*v + 3*s, -2*v + 4*s = 2*s - 24. Suppose -v*g - 6 = -10*g. Let t = 0 + 1. Sort t, g, 4 in decreasing order.
4, t, g
Let o = -2849854 + 11399415/4. Let h be (-1)/(-2) + 13/2. Let g = h - 4. Sort -4/5, -0.3, g, o in decreasing order.
g, o, -0.3, -4/5
Let v = -3598 + 17963/5. Suppose -5*q - 3*f = -1, 0*q - 6 = -2*q - 4*f. Sort v, q, 1/2 in decreasing order.
1/2, q, v
Suppose -9 = 2*s + o, 116*s + 2*o = 113*s - 17. Sort 2, -3, s, 4, -8 in increasing order.
-8, -3, s, 2, 4
Let c = 957 - 1141. Let n = c - -553/3. Sort 0.5, n, 0.76, -4.
-4, n, 0.5, 0.76
Let v = 6 + -2. Suppose -5*t - 6 + 9 = -o, 5*t - 63 = -4*o. Suppose -7*n = -v*n - o. Put n, 3, 1/12 in ascending order.
1/12, 3, n
Let x = -4/2497 - -7523/19976. Sort -3, x, 3, 5, -0.4.
-3, -0.4, x, 3, 5
Let q = -2.2 - -4.2. Let y be 342/14 + (716 - 741). Sort 70, y, q, 2/3 in ascending order.
y, 2/3, q, 70
Let j = -2794 + 2792. Sort -1, 114, j in descending order.
114, -1, j
Suppose 0 = -40*i + 3257 - 3057. Sort -10, -9, -4, i, -11 in decreasing order.
i, -4, -9, -10, -11
Let p = -17 + -2. Sort p, -3/5, 0.4, -4, 17 in ascending order.
p, -4, -3/5, 0.4, 17
Suppose 3 = -2*p + 5. Let z be (-1)/(-1)*(4 - p). Let u = -1712.5 + 1712. Put 1/5, z, u in increasing order.
u, 1/5, z
Let p = -0.57 + 0.57. Let j be -2 - (1 - 52/16). Sort p, j, -1 in decreasing order.
j, p, -1
Let k = -4 