13, x
Let r be ((-216)/162)/(8/(-18)). Put 1, -37, r, -1, 5 in increasing order.
-37, -1, 1, r, 5
Suppose -3*c + 86 = -2*s - c, c + 101 = -2*s. Suppose -2*t - 95 - 9 = 0. Let d = t - s. Put -3, d, 4, 0 in ascending order.
d, -3, 0, 4
Suppose -5*g + 1346 = -2*c, 6*g = 9*g - 4*c - 816. Suppose -4*z - l - 4*l = 536, -g = 2*z + 5*l. Sort z, 3, -1 in descending order.
3, -1, z
Suppose 0 = 23*v + 26 - 3. Sort 0, 3, v, -100/3 in descending order.
3, 0, v, -100/3
Suppose 0*a = 5*a - 100. Let f be 3*(-6 + 3/((-9)/(-21))). Sort 2, f, a.
2, f, a
Let w = -4.7 + -0.3. Let l = 33634 + -33634.2. Sort 1/2, -3, l, w in descending order.
1/2, l, -3, w
Let r = 5306.99 - 5307. Put 1, -2/45, r, -0.1, 0.2 in increasing order.
-0.1, -2/45, r, 0.2, 1
Let o = 0.05083 + 19.94917. Sort 2, -25, o in decreasing order.
o, 2, -25
Let h be 0/((-8)/4) - 1. Let z be 56/28 - (-20)/(-2). Put 0, z, h in ascending order.
z, h, 0
Let h be (18/(-12))/((-9)/10*(-28)/(-84)). Sort 0, h, 170 in descending order.
170, h, 0
Suppose -x + 4*d + 0*d + 21 = 0, -3*x - 5*d - 5 = 0. Suppose -5*k + 4*q - 744 = 334, 1080 = -5*k + 5*q. Let i = -231 - k. Put 1, i, 3, x in decreasing order.
x, 3, 1, i
Suppose 57*y = 53*y - 4*m + 24, 0 = -6*m + 24. Sort 7, y, 68, -4 in ascending order.
-4, y, 7, 68
Let g = 10 - 5. Suppose 575*n - 200 = 565*n. Let t be 10/8*(168/n)/(-7). Put g, -2, t in descending order.
g, t, -2
Let f(c) = -5*c**3 - 1 + 3*c**2 + 3*c**2 + 3 + 3*c + 0. Let p be f(-1). Sort -5, 3, p in decreasing order.
p, 3, -5
Let z = 354.8 + -354.7. Sort 0.2, z, 7, -1, -25 in decreasing order.
7, 0.2, z, -1, -25
Let o be (-4)/(-3)*(-17)/((-238)/(-42)). Suppose 2*r - 4*b = -2, b = -2*r - 14 - 8. Put o, -7, -2, r in decreasing order.
-2, o, -7, r
Let z = 48.003 + 423.997. Put -0.5, z, 1/2 in descending order.
z, 1/2, -0.5
Let w be 8 - 1/(-6)*-3. Suppose 3*j + 12 = 0, -4*j - 8 - 43 = -5*x. Let m = x - w. Put -13, 3/8, m in increasing order.
-13, m, 3/8
Let b be 5*(-72)/(-60)*1/(-3). Put b, 1, -2/3, 10, 0.03 in ascending order.
b, -2/3, 0.03, 1, 10
Let k be ((-4)/3)/(43/((-1677)/(-182))). Let i = -0.17 - -7.17. Let w = i + -7.1. Sort 1, k, w in descending order.
1, w, k
Suppose 6*g = 24 - 6. Let h be (g + -4)*(-5)/((-5)/2). Let j be h/4 - 10/(-4). Sort -7, 3, j, 1 in descending order.
3, j, 1, -7
Suppose -8 - 1 = -3*v. Let j(z) = z**2 - 87 - 2*z + 40 + 41. Let g be j(v). Sort g, -1/18, 5, -2/9 in descending order.
5, -1/18, -2/9, g
Let h(a) = -a**3 + 26*a**2 - 22*a + 84. Let n be h(25). Let r = -160 + n. Sort 3, 2, 5, r in descending order.
5, 3, 2, r
Suppose 14 = -4*n + 3*n. Let c be ((-30)/(-35))/((-4)/n). Put 5, c, 4, -12 in decreasing order.
5, 4, c, -12
Let k = 35/19 + -159/76. Let y = -32 + 57. Let c = y - 23. Sort 0, 1/2, k, c in increasing order.
k, 0, 1/2, c
Suppose -350*v - 366 = -7016. Put -96, v, -1 in decreasing order.
v, -1, -96
Let m = 1274.4 + -1274. Put -3/5, m, -0.4, 29, 2/15 in descending order.
29, m, 2/15, -0.4, -3/5
Let b = 2395 + -2399. Let p(c) = 2*c**2 + c - 1. Let s be p(-2). Let d be (-24)/(-30) - 3/s. Sort -0.3, b, d, 2 in descending order.
2, d, -0.3, b
Suppose 0 = -3*b + 4*h + 26, -4*h = -3*b + b + 20. Let n be (56/(-21))/((-2)/b + 1). Let k = 0 + 2. Sort n, -1, k.
n, -1, k
Suppose -10*v - 8 = 12. Let o be (-11)/33*((-12)/v + 0). Let q be (-64)/224 + ((-160)/(-14))/o. Put q, -1, 1, -5 in decreasing order.
1, -1, -5, q
Let z = 7.04 - 9.04. Sort z, 27, -21, 1/5, 4 in increasing order.
-21, z, 1/5, 4, 27
Let a = 2.818 + 11.182. Sort -3, a, -2, -0.3 in decreasing order.
a, -0.3, -2, -3
Let v = 0.1 - 0. Let d = 42376 - 41865.93. Let u = 510 - d. Sort 0, v, u in ascending order.
u, 0, v
Let p = 4039 + -4034. Sort p, -45, -2.
-45, -2, p
Let a be 2/(-5) + (-216)/(-40). Let c = 142.32 - 134.32. Sort -1, c, a, 1/3.
-1, 1/3, a, c
Let r be 35/(-22) + (-45)/(-30). Let j = 26/595 + -6009/9520. Let u = -3/16 - j. Put -1/5, u, r in descending order.
u, r, -1/5
Suppose -2*g + 2*s - 5*s - 13 = 0, 0 = 4*g + 4*s + 24. Let m be 25/100 - 8/(64/18). Sort g, 34, m.
g, m, 34
Let f(y) = -4*y**2 + 4*y + 3. Let z be f(-1). Put z, -2, -1, 2, 6 in decreasing order.
6, 2, -1, -2, z
Let t = -1.857 + 4.857. Sort -2, 2, 2/7, t, 0.5 in descending order.
t, 2, 0.5, 2/7, -2
Let b be ((-377)/58 + (-5)/2)*(-1)/3. Sort -4, b, -59, 4 in increasing order.
-59, -4, b, 4
Suppose 5*h - 26 = -3*f, -32*h = -27*h - 5*f - 10. Put -3, -2, -12, 2, h in ascending order.
-12, -3, -2, 2, h
Let i = 220.721 - -2.279. Sort 4, -0.2, i.
-0.2, 4, i
Let y be 320/(-200) - (-674)/(-10). Let l = 72 + y. Let b(f) = -2*f - 2. Let h be b(-2). Sort h, 0, l, -4 in decreasing order.
l, h, 0, -4
Let t be (-4680)/260 + (-38598)/(-2144). Put -4, t, 1/2 in decreasing order.
1/2, t, -4
Let b = -8 + 11. Let w = 384380 - 384380.1. Sort b, -44, w in decreasing order.
b, w, -44
Suppose -5*z - 372 = 2*t, 65*t = z + 69*t + 60. Put 4, 1, z, 9 in descending order.
9, 4, 1, z
Let p(h) = 204*h - 2728. Let d be p(13). Sort -2, d, -4, -40.
d, -40, -4, -2
Let j = -14141 - -14145. Sort -1, 3, 151, 2, j in decreasing order.
151, j, 3, 2, -1
Suppose 2*v - 9*y + 7*y - 20 = 0, -5*v - 2*y + 15 = 0. Let x(z) = 3*z**3 + 3*z**2 - 1. Let f be x(-1). Sort -4, v, f, 2 in decreasing order.
v, 2, f, -4
Let u(s) = 27*s + 110. Let k be u(-7). Let v = 137 - 86. Let t = k + v. Put t, 1, -1 in decreasing order.
1, -1, t
Let t be (-137 + -1)/2*(-167 - -168). Sort -4, t, -3/2, -2/3 in decreasing order.
-2/3, -3/2, -4, t
Let v(p) = 7*p**3 + 41*p**2 + 14*p + 128. Let k be v(-6). Sort 1, k, -11, 6, 3 in decreasing order.
k, 6, 3, 1, -11
Let j = 6.5573 + 0.0727. Let b = -9.63 + j. Put -2/3, 3, b, 0.29 in increasing order.
b, -2/3, 0.29, 3
Let s be 5/(-13 + (9 - -5)). Sort s, 1, -27 in ascending order.
-27, 1, s
Let n = -490 + 185. Let a = 305.4 + n. Sort 0.07, -2/15, 0.3, a in decreasing order.
a, 0.3, 0.07, -2/15
Let q = 6172 + -6315. Sort 24, -1, 0, -5, q.
q, -5, -1, 0, 24
Suppose 0 = -3*u + 5*q - 8 - 41, -5*u - 60 = -4*q. Put 7, 11, u, 3 in descending order.
11, 7, 3, u
Let c be -1 + 2943/1340 + -2 - (-332)/415. Put -0.1, -0.3, c in descending order.
c, -0.1, -0.3
Let m = -105 - -943/9. Let b be 1/(-2) + (133/7 - 2). Let u = b - 17. Put u, m, 4 in decreasing order.
4, m, u
Let h = 1204 - 1192. Sort -0.4, -2/3, h in increasing order.
-2/3, -0.4, h
Let t = -472.2 + 471.8. Sort 2, 0.2, t, -3, 3 in descending order.
3, 2, 0.2, t, -3
Let w = 5 - 3. Suppose 246*f - 119*f = 122*f. Sort -2, -4, w, f in ascending order.
-4, -2, f, w
Suppose -5*v = -4*v. Suppose -4*h + 11 = l, v = 2*l - 4*h + 3*h + 14. Let f be 1 - (-3 - 2)*(-2)/2. Sort l, -6, -1, f.
-6, l, f, -1
Let d(r) = -9*r + 58. Let t be d(7). Let v be ((-3)/6)/(7/28). Sort t, 1, 0, v in descending order.
1, 0, v, t
Suppose -19 = -2*w + 31. Let c be ((-45)/w)/(2/(-10)). Sort c, 4, 3 in increasing order.
3, 4, c
Let c = -0.0709 - 0.0091. Let l = 58 - 53. Put c, -13, l in decreasing order.
l, c, -13
Let c = 0.179 + 160.821. Let f = -163 + c. Sort f, 5, 2/9 in decreasing order.
5, 2/9, f
Suppose 13*f + 18 = -34. Let h(m) = m - 5. Let q(y) = -y**3 + 14*y**2 + 2. Let r be q(14). Let o be h(r). Put f, o, 1 in descending order.
1, o, f
Suppose 7*y - 81 - 24 = 0. Suppose -y*j + 458 = 473. Let q be ((-2)/(-60))/((-2)/8). Sort 9, j, q in descending order.
9, q, j
Suppose 3*z - 4*c + 18 = 3, 4*z + 24 = 6*c. Sort z, -1520, 0 in decreasing order.
z, 0, -1520
Let p(h) = 22*h - 289. Let z be p(13). Sort -4, z, -390, 0 in increasing order.
-390, -4, z, 0
Let z = -8568 - -8568. Put z, -5, 13, 2, -7 in decreasing order.
13, 2, z, -5, -7
Let y = -5710 + 5713. Let x = 0.2 + -3.2. Let l = -2 - x. Sort 0.3, l, y.
0.3, l, y
Let j = -227/8 + 28. Let k = -20641.2 + 20626.2. Sort j, -0.1, k in ascending order.
k, j, -0.1
Suppose -2*n + 6*z = 3*z + 21, -3*n - 3*z - 24 = 0. Let q be (-2)/6*-8*n/24. Sort 1, q, -3 in descending order.
1, q, -3
Let k = 9.31 - 7.31. Sort 3, -17, 0, k, 5.
-17, 0, k, 3, 5
Suppose 0 = d - 15 + 10. Suppose 0 = 2*s - d*s + 132. Put -1, s, 1 in ascending order.
-1, 1, s
Let s = -19 - -22. Let z(t) = s - t - 4 - 3. Let d be z(-4). Sort d, -3, 7.
-3, d, 7
Let d = -7500 + 3924. Sort 1, -4, d in ascending order.
d, -4, 1
Suppose -2*j = y + 1, 3878*j = 4*y + 3877*j - 5. Put -2/13, -0.02, -5/3, y in decreasing order.
y, -0.02, -2/13, -5/3
Let