s - 3670 = -3664. Sort s, 6, j.
j, s, 6
Let u be (55 - 55)*2/14. Sort 15, 3, u.
u, 3, 15
Suppose 0 = 2*u + 6*u - 32. Let j = 166 + -169. Let q be 19 + -24 - (-2)/(-2). Sort j, q, u, 2 in increasing order.
q, j, 2, u
Let k = -168 - -170. Suppose 37 = 3*g + 5*f, g - 11*f = -6*f - 21. Sort g, k, 55 in descending order.
55, g, k
Let c = 107 + -149. Let t = 32 + c. Sort -2, 3/4, -1/3, t in ascending order.
t, -2, -1/3, 3/4
Let k be 35/(-10)*(-64)/2. Suppose -k*c + 116*c = -4. Let g = 6 + -3. Sort g, -5, c in ascending order.
-5, c, g
Let b = 6 - 15. Let x = 5709 + -5708.5. Let q be (-2)/8*(-4)/(-3). Sort x, b, q in ascending order.
b, q, x
Let r(x) = 2*x**2 - 91*x + 600. Let q be r(8). Put 14, -2, q, -26, 1 in increasing order.
-26, -2, q, 1, 14
Suppose 4*l - 5*c = -9, l + 4*c - 4 = 5*l. Let w = -84 - -96. Suppose -18*j = -24*j + w. Sort 1, l, j.
1, j, l
Let c(v) = 27*v - 185. Let f be c(7). Let h = f - 14/3. Let i = 0.12 + 3.88. Sort 0, i, 7, h.
h, 0, i, 7
Suppose -20*i + 24*i + 20 = 0. Let k = 66584/13 + -5122. Sort i, -1, k in descending order.
k, -1, i
Let z be (-2)/(-5) + 124/(-10). Let k = 3 + 0. Let x be (-2)/(-4)*1720/(-1290). Sort z, x, k in ascending order.
z, x, k
Suppose 0 = 4*h - 20, -2*x - 3*h + 19 = -0*x. Suppose x*m = 5*m + 3*g + 3, -6 = 2*g. Suppose 0 = -2*u + 2 + m. Sort -4, u, -5.
-5, -4, u
Let u be (-7 + 14 + -5)/((2/3)/1). Put 16, 2, 31, u in descending order.
31, 16, u, 2
Suppose -2*x + 5 = o, 0 = 5*x - 579*o + 576*o - 40. Sort -1, 108, x in descending order.
108, x, -1
Let c be (2/4)/((-4)/(-32)). Suppose c = -6*q + 2*q. Suppose 2*i + 5*b + 23 = 0, 85 = -3*i - 7*b + 53. Sort -2, q, i, 5 in increasing order.
-2, q, i, 5
Let o = -0.052 + 0.452. Sort -3/7, 2/13, o.
-3/7, 2/13, o
Let t = -0.0175 - 0.0258. Let n = t + -0.6567. Sort -3/5, n, -2, -1/5 in ascending order.
-2, n, -3/5, -1/5
Let d be 7/2 + 4/(-8). Suppose 2*n - 4 = 2*w - 5*w, -2*w = -n + 2. Let o = -231 + 230. Sort -4, n, o, d in decreasing order.
d, n, o, -4
Let s be 6/8 - (-3)/12. Suppose -3*g + s = 2*d, 9 = 2*d - 1. Let a = -8 + 7.6. Put g, 0.04, a in ascending order.
g, a, 0.04
Let j = -6.057 + 5.0556. Let g = -0.0014 - j. Sort -2, -3/10, g, 3/2 in ascending order.
-2, -3/10, g, 3/2
Let n be -1 + 22/18 + (-2)/9. Suppose n*h = -h + 468. Let v be 4/(-18) + (4 - 1732/h). Sort -4/3, -0.1, v, 2/9.
-4/3, -0.1, v, 2/9
Let s(r) = -8*r - 168. Let d be s(-11). Let k be ((-4)/(-10))/((256/d)/4). Let y = -8 + 7.7. Sort k, -3, -2, y.
-3, -2, k, y
Let c be ((-6)/(-5))/(12/(-400)*-5). Let l be (-20)/(-13) - 3*c/12. Let b = 13 + -10. Sort l, 1, 0.5, b.
l, 0.5, 1, b
Suppose 3*c - 5*w + 1 = 0, -5*c + 4 + 9 = -w. Suppose 0 = 6*x - c*x + 12. Let t = 4.5 - -0.5. Sort t, -2/17, x.
x, -2/17, t
Let q = -36 - 24. Let w = q + -37. Let g = w - -100. Put 1/3, 4, 1/6, g in decreasing order.
4, g, 1/3, 1/6
Let u = 12 + -11. Suppose 3*o = 4*l - 11, -4*o + l = -6 + 25. Sort o, u, -20.
-20, o, u
Let s = -4 + 4.1. Suppose 0 = -3*y, -2*y - 3*y + 24 = -2*o. Let w be ((-30)/o + -4)/(-3). Put w, s, 2/5, -5 in descending order.
w, 2/5, s, -5
Let k = -70 - -75. Let p = -7 + 103/15. Let z = 2.8 - -0.2. Sort -3, p, k, z in descending order.
k, z, p, -3
Let g be -8*92/(-8) + (2 - 5). Let d = 83 - g. Let k be d/((-27)/(-6) + -3). Put -1/2, -1/3, k, 1/3 in increasing order.
k, -1/2, -1/3, 1/3
Let b = 141.6 - -1.4. Let c = b - 141. Sort -19, c, 0, 3.
-19, 0, c, 3
Suppose 3*n - 6 = 2*l + 1, -5*l - 30 = 5*n. Put -8, n, 3/4, 9, -1/6 in ascending order.
-8, n, -1/6, 3/4, 9
Let f = 2.1 - 2. Let l = -1/2121 + 4247/10605. Sort l, 2/41, f.
2/41, f, l
Let d = 281 + -275.13. Let y = 5.37 - d. Put y, 4, 1/3, -4 in descending order.
4, 1/3, y, -4
Let l = 12309 + -12219. Put -0.6, -4/5, 0.1, 5, l in decreasing order.
l, 5, 0.1, -0.6, -4/5
Let r(o) = 4*o**3 - 2*o**2 - 12*o + 45. Let g(d) = -3*d**3 + 3*d**2 + 12*d - 46. Let z(v) = 3*g(v) + 2*r(v). Let i be z(6). Put 1, i, -3, -4 in ascending order.
i, -4, -3, 1
Suppose 6*z = 9*z + 3. Suppose 4*h = -5*y - 12, 5*h - 22 = -29*y + 32*y. Put z, -11, 1, h in increasing order.
-11, z, 1, h
Let n = 28133.963 + -28134. Put n, -0.02, 3, -2, 5 in decreasing order.
5, 3, -0.02, n, -2
Let c be (-908 + 909)/(0 - 1/5). Sort 17, 94, c, -3 in decreasing order.
94, 17, -3, c
Suppose z + 3*n + 10 = 0, 2*z = -z + n + 20. Let g(i) = -7*i**2 - 497*i - 487. Let q be g(-70). Sort 9, z, q, 4.
q, 4, z, 9
Suppose 0 = -370*y - 528 - 1270 + 318. Sort y, 5, 4, -37.
-37, y, 4, 5
Suppose 5*c - 17 = -3*f, -2*c - f - 2*f = -5. Suppose 0 = 115*i - 123*i + 16. Suppose 0 = y + i*p + 6 + 3, -5*p - 15 = y. Sort y, c, 10 in ascending order.
y, c, 10
Let c = 17 + -28. Let s = c - -8. Let b(q) = -2*q + 25. Let x be b(13). Sort x, s, 4 in decreasing order.
4, x, s
Let y be (40/(-16))/(1615/(-76)). Put 20.8, y, 0.2, 2 in decreasing order.
20.8, 2, 0.2, y
Let u(f) = -6*f**2 - 62*f - 37. Let r be u(-10). Put r, -5, 4, 7 in descending order.
7, 4, -5, r
Let h = 44 + 83. Let r = 12 - 10. Put r, h, -3 in increasing order.
-3, r, h
Let c = -293 + 289. Suppose -3*o = 3*w - 15, 2*o + 21*w = 22*w + 1. Let u = 156 - 472/3. Put 4, u, c, o in descending order.
4, o, u, c
Suppose 2*z + 3*w - 8*w = -20, -3*z - 4*w + 16 = 0. Let m be 14/8 - (-2)/8. Let c(u) = -41*u + 1677. Let q be c(41). Put m, q, z in descending order.
m, z, q
Let j = 2 - 1.8. Let a = -892 + 890. Sort j, 0, -0.2, a in increasing order.
a, -0.2, 0, j
Suppose -4*p + 24 = -4*a - 0*p, 2*a + 5*p + 26 = 0. Let t = -247 - -294. Suppose -14 = -11*x - t. Put a, x, -1, 5 in increasing order.
a, x, -1, 5
Let o be 54/(-14) + 49/(-343). Let m(p) = -p**3 - 9*p**2 + 13. Let y be m(-9). Put y, o, 1 in decreasing order.
y, 1, o
Let i = 3242 + -3237. Suppose 6*r - 11*r = 0. Put r, i, 4, -5 in increasing order.
-5, r, 4, i
Let m = -4.303 + 3.303. Sort 2, -80, m in ascending order.
-80, m, 2
Let a = 13353 + -13349. Sort -18, -0.1, a, 0.4, 3 in decreasing order.
a, 3, 0.4, -0.1, -18
Let p = 97 - 77. Let l be 112/6 - p/12. Let a = -49/3 + l. Sort -40, 0.3, a.
-40, 0.3, a
Let g = 33 + 104. Let x = -133.3 + g. Let u = x - 3.2. Sort 0, u, 3, 0.4 in ascending order.
0, 0.4, u, 3
Let j = -1097 - -1099.0316. Let c = j - 0.0316. Put c, -5/6, 0.05 in increasing order.
-5/6, 0.05, c
Let y = 8 - 4. Suppose -2*u = 2*l + 48, -4*u - 10 = u. Let r(z) = -z**3 - 23*z**2 - 24*z - 43. Let j be r(l). Put y, 3, j, -4 in descending order.
y, 3, j, -4
Suppose h - 2*u - 5 = -u, 4*u = -3*h + 8. Let d = -934 - -952. Put d, 7, h in increasing order.
h, 7, d
Let m be ((-350)/210)/(6/(-18)). Sort -2, -77, 2, m in ascending order.
-77, -2, 2, m
Let y be (-70)/21*((-3)/(-4) + -1)*-6. Sort 3, 1, y, 8, -4.
y, -4, 1, 3, 8
Suppose -2*m = 2*m + 4. Let b = -76003 + 75999. Sort 4, b, m, 0.
b, m, 0, 4
Let q be ((6/(-3))/((-5)/(-3)))/((-138)/30). Let f = -6 + 8. Sort q, -4, f in descending order.
f, q, -4
Let i = 135 + -135. Let s be -10 + (-4)/(-2) + -3. Let y be s/11 + 0 + -1. Sort y, i, 4 in increasing order.
y, i, 4
Suppose 2536 = 3*q - 4*c, 4*q + 18*c = 15*c + 3323. Sort 1, 0, 5, q, 3 in descending order.
q, 5, 3, 1, 0
Suppose -109*g + 2340 = 21*g. Sort 4, g, 1, -4, 3 in ascending order.
-4, 1, 3, 4, g
Let a(g) = -g**3 + 8*g**2 + 101*g - 751. Let y be a(7). Sort 2, y, -2, 4 in descending order.
y, 4, 2, -2
Let z = -143.452 + 1.452. Sort 0.3, 0, z in increasing order.
z, 0, 0.3
Let b(y) be the second derivative of -y**4/12 + 2*y**2 + y. Let n be b(0). Let v be 4 + 0 + -1 + (-9 - -13). Put n, v, -1 in increasing order.
-1, n, v
Let y = 3565 - 3514. Sort -7, 4, -3, -4, y in increasing order.
-7, -4, -3, 4, y
Suppose 0 = -l + 5*g + 6, 0 = -g - 2*g. Let o be (1 + (-8)/l)*3. Let f be (-2)/(-1) + -2*(4 - o). Put f, 2, 3 in increasing order.
f, 2, 3
Let j be (156 - 143) + (-53)/4. Sort -5, j, 3, -1.
-5, -1, j, 3
Let r(y) = y**2 + 92*y + 1472. Let z be r(-71). Put z, -50, -4 in descending order.
-4, z, -50
Let y(l) = l**3 + 32*l**2 - 4*l - 132. Let d be y(-32). Put 34, d, 5 in increasing order.
d, 5, 34
Let w(m) = m**2 - 26*m - 272. Let s be w(-8). Sort -51, 5, 6, s, -5 in ascending order.
-51, -5, s, 5, 6
Let r = -1991 - -1990.5. Put r, 2, -19 in increasing order.
-19, r, 2
Let o be 1 + -1 - (1 - 0). Suppose -10*l + 4*l + 30 = 0. Suppose -5*w = l*t - 5, -w - 17 = -5*t + 6. Put o, 0, t, 3 in ascending order.
o, 0, 3, t
Let