 1/1604. Sort 5, x, 0 in decreasing order.
5, x, 0
Suppose -5*k + 51 + 34 = 0. Let a(y) = -y**2 + 64*y - 491. Let j be a(55). Sort k, -4, j in descending order.
k, j, -4
Let t = 10 - 9.7. Let r = 1.886 + 0.114. Sort r, -1, t, 46 in ascending order.
-1, t, r, 46
Let v = 4.02 - 4. Let h = -134189 - -134187. Sort -4, v, -2/17, h.
-4, h, -2/17, v
Let m = 309 - 445.5. Let z = -136 - m. Sort 0.4, -0.9, z in ascending order.
-0.9, 0.4, z
Suppose -2*x + 12 = 4*y, -5*y = 12*x - 7*x - 10. Put x, 90, 0, 1 in descending order.
90, 1, 0, x
Let p(s) = -s**3 + 8*s**2 - 12*s - 9. Let y be p(5). Suppose -4*u + y = -2*r, 7*u + 2*r - 30 = 2*u. Sort 42, 5, u.
u, 5, 42
Let f be -709 + 710 + -5 + (-1 - 0). Put -0.19, -1, f, -1.6 in increasing order.
f, -1.6, -1, -0.19
Let b = 1618 + -1615. Let k(s) = -4*s**2 + 16. Let p(w) = -w**2 + 4. Let a(x) = 2*k(x) - 9*p(x). Let z be a(-3). Put z, b, -3, -1 in descending order.
z, b, -1, -3
Let j = -19335.2 - -19336. Put 0.5, -5, j, -1/2, 3/8 in descending order.
j, 0.5, 3/8, -1/2, -5
Let m = -5.16 - -0.16. Let l = 376 - 665. Let z = -289.3 - l. Put z, m, 1 in descending order.
1, z, m
Let u be (-1)/2 + (-33)/(-42). Let w = -5.324 + 3.324. Put u, -3, w in decreasing order.
u, w, -3
Let w(u) = -148*u - 485. Let h be w(-5). Sort -2, h, -1, -3, 3.
-3, -2, -1, 3, h
Let t = -1156/141 - -3280/423. Let q = -0.3 - -0.3. Let s = -4 + q. Sort t, -5, s in descending order.
t, s, -5
Let y = -916.4 + 915.9. Sort y, 1/3, -0.06, 1/4 in decreasing order.
1/3, 1/4, -0.06, y
Let h = -14 - -18. Let n be (-42)/11*2/(-6) - (-171)/(-171). Sort n, 0, h in descending order.
h, n, 0
Let c = -0.041 + -2.259. Let n = c - -2. Let k = 1197.5 - 1198. Put k, 4, -2, n in descending order.
4, n, k, -2
Let c be (-36)/(-117)*(-234)/(-12). Sort -3, -5, c, 2, 1.
-5, -3, 1, 2, c
Let s be -7*(-462)/(-147) + 21. Sort -3, s, -2, -6, -15 in descending order.
s, -2, -3, -6, -15
Suppose 0*c + 2*c - 26 = 0. Let y be 11/c + (-10)/(-65). Suppose 0 = -2*o + 3*o + y. Sort o, 0, -3 in decreasing order.
0, o, -3
Let k = -614 + 629. Let h be 3/k + (-3087)/385 + 8. Sort h, -4, 5 in increasing order.
-4, h, 5
Suppose 3*z - 114 = 2*v, 7*z - 2*v - 248 = 18. Sort 1, -12, z in ascending order.
-12, 1, z
Let t = 8 + -5. Let z = -445985 + 8473713/19. Put t, z, 1/8, -2/5 in descending order.
t, 1/8, z, -2/5
Suppose -11 = 3*w - 2, 2*w = 3*y + 738. Let t = 989/4 + y. Let o = 1.6 + -10.6. Put o, t, 2 in ascending order.
o, t, 2
Let p be 33 - 33 - (-5)/(-2)*2. Let i be (-10)/(-3)*(-69)/(-46). Put p, -1, 2, i in descending order.
i, 2, -1, p
Let u be (-2)/7 - 615/(-21). Suppose 125*w - 112*w - 43 + 472 = 0. Let m = w + u. Sort -1, -48, m.
-48, m, -1
Suppose -34 = 3*h - 7, 2*d = -4*h - 4. Suppose -5*a + 6 + 15 = -s, -5*a = 4*s - 41. Put d, 1, a in ascending order.
1, a, d
Let w = -0.1695 + -0.1305. Put 1, 0.7, w, 0.28, -2/13 in ascending order.
w, -2/13, 0.28, 0.7, 1
Let h(d) = -3*d + 77. Let v be h(-15). Let x be v/427*(-14)/(-4). Suppose -n + g = -0 + 7, -g = -3. Put x, n, -1 in decreasing order.
x, -1, n
Suppose 6*n - 149*n = -1859. Put n, -4, 1, 3 in decreasing order.
n, 3, 1, -4
Let t(p) = p**2 + 6*p + 6. Let q be t(3). Suppose 30*c - 6 = q*c. Put 1, 0, c in ascending order.
c, 0, 1
Let r(g) = -3*g + 29. Let i be -71 + (0 - 3) + 4. Let o = 78 + i. Let q be r(o). Put q, 22, 4 in decreasing order.
22, q, 4
Suppose 0 = -7*p - 8*w + 12*w - 31, -5*w = -p - 31. Sort p, 0.05421, -5 in decreasing order.
0.05421, p, -5
Let i(u) = -867*u - 4408. Let b be i(-6). Sort 2, -4, b in increasing order.
-4, 2, b
Suppose 5*r - 10 = 4*n - 2*n, 0 = 3*n + 5*r + 15. Let j = 355 - 10. Let l be (23/(j/18))/(6/20). Sort l, n, 2, -1 in increasing order.
n, -1, 2, l
Let m(i) = 20*i + 10 + 12 - 9 - i**2 + 6 - i. Let x be m(20). Suppose 0 = 6*l - 9*l - 6. Sort 2, l, -3, x in decreasing order.
2, x, l, -3
Let y be -69*1*(-152)/228. Suppose -248 = y*i - 48*i. Sort -3, i, -4 in descending order.
i, -3, -4
Let m = -1126 - -1126. Sort -6, 31, m, 1.
-6, m, 1, 31
Let h = 0.00837 + 0.06163. Sort 0.5, h, -5/4, -2, 0.1 in increasing order.
-2, -5/4, h, 0.1, 0.5
Suppose -23*u = 88*u - 21*u - 360. Put 27, 15, u, -2, -3 in decreasing order.
27, 15, u, -2, -3
Let t(p) = 6*p**2 + 2*p + 2. Let n be t(-2). Let x = -19 + n. Put x, 7/6, 1/3 in descending order.
x, 7/6, 1/3
Let u(i) = -2*i**2 - 85*i - 268. Let t be u(-39). Let g = 1.9 + -1.6. Sort 0, t, g, -2/3 in ascending order.
-2/3, 0, g, t
Suppose 0 = -3*z + 39 - 9. Suppose 3*s + z = -2. Let n = -4511 + 4511.3. Sort s, n, 0.1.
s, 0.1, n
Let p = -32 - -55. Let c be ((-60)/18 + 5)*(7 - 4). Sort -4, p, c, 0 in descending order.
p, c, 0, -4
Let y be (-122)/(-42) - 3 - 610/210. Put -4, y, -5 in descending order.
y, -4, -5
Let h = -4378 + 4383. Put h, -3, 3, 4 in descending order.
h, 4, 3, -3
Suppose 17 = -5*c + 3*q, 0 = -3*c + q - 0 - 7. Let o = 3 - -39. Let f = -42.02 + o. Sort c, f, 0.3 in ascending order.
c, f, 0.3
Let v = -196 - -345. Let p = v - 148.6. Let g = -0.26 + 0.06. Put p, 4, g, 0.1 in descending order.
4, p, 0.1, g
Let b = 22109 + -22105. Let v(o) be the first derivative of -o**3/3 - 5*o**2/2 - 4*o - 4. Let f be v(-4). Sort b, 18, f in descending order.
18, b, f
Let z = 62 + -38. Let x be (5/195)/((-1)/z*4). Sort -5, x, -11 in decreasing order.
x, -5, -11
Suppose 3*h - 4*f + 2*f = -8, -2*h - 5*f - 37 = 0. Let w = -4 - h. Let k = 1433 - 1438. Sort k, 0, w in descending order.
w, 0, k
Let q = -0.09798 - 0.30202. Let v = 0.05 + 0.25. Sort q, -2/9, v, 8 in increasing order.
q, -2/9, v, 8
Let v = -0.5 + -0.5. Let p be 3/7 - ((-354)/252 + 2). Let l be ((-5)/(-6) - 1)*(69 - 61). Put l, p, 1/3, v in decreasing order.
1/3, p, v, l
Let i be ((-390)/(-50) - 8)*-55. Sort -1, i, 8, -8, 3 in increasing order.
-8, -1, 3, 8, i
Let i = -958.6 - -959. Let d(x) = x**2 - 11*x + 6. Let m be d(11). Let t be m/14 + 118/(-210). Put 1/5, i, -1, t in increasing order.
-1, t, 1/5, i
Let n = -634 - -633. Put 0.5, n, 58, -2 in ascending order.
-2, n, 0.5, 58
Suppose -4*a - 5 = -1. Suppose 28896 = -15*x + 14354 + 14272. Sort a, x, -2 in increasing order.
x, -2, a
Suppose 8*r - 13 = -5*u + 4*r, 30 = 3*u - 5*r. Suppose 4*q = -k + 11, 3*k + 3 - 12 = 0. Let a be (-1)/q - (-7)/14. Sort u, a, -1/5 in descending order.
u, a, -1/5
Let z(p) be the first derivative of -6*p**2 - 120*p - 43. Let t be z(-10). Sort -24, 4, t in decreasing order.
4, t, -24
Let g = -552 + 1058. Let d = -508.63 + g. Let a = 0.37 - d. Put -1/5, -2, a, -1/3 in decreasing order.
a, -1/5, -1/3, -2
Let s = -54 + 54.14. Let k = s + -0.04. Sort 52, k, 5, -2/13.
-2/13, k, 5, 52
Let o be 1/10*(-150)/(-20). Let q be ((-2)/26)/((-69)/(-138)). Sort 0.065, q, o in decreasing order.
o, 0.065, q
Let d = 1.038 + 0.102. Let k = -0.285 + -0.555. Let j = d + k. Sort -4, j, 1, -3 in increasing order.
-4, -3, j, 1
Let n = -13 - -12. Let x be (-1 - 0)/(n/(-2)). Let j = 5458 - 5455. Sort 0.4, -3, x, j in ascending order.
-3, x, 0.4, j
Let r = 19 + -17. Let f = -119 + 416. Let a = f - 294. Put a, -1, r, -4 in decreasing order.
a, r, -1, -4
Suppose -177 = 40*w - 337. Sort -76, 2, w, -5 in decreasing order.
w, 2, -5, -76
Let g be 14541/999 + 4/9. Sort 1, 4, g, 5 in ascending order.
1, 4, 5, g
Let n = 1.5498 - 1.3798. Sort -0.4, n, 39 in decreasing order.
39, n, -0.4
Suppose 87*c - 90*c = 4*h + 27, 4*c = 3*h + 14. Put 3, 4, c, 2 in ascending order.
c, 2, 3, 4
Suppose 4*d + 285*q - 280*q = 9, -5*d - 15 = q. Sort d, -3, 12, -1, 16.
d, -3, -1, 12, 16
Let p be (-1 + -4)/((-10)/4). Suppose -5*j + z - 385 = 0, 2*j - 5*z + 287 = -p*j. Let n = -935/12 - j. Sort 0, n, -1/3 in ascending order.
-1/3, 0, n
Let v = 14 + -15. Let s = -374 - -376. Let b(j) = -4*j + 7. Let y be b(5). Sort s, v, y in descending order.
s, v, y
Suppose 4*s = -4*u - 75 - 13, 0 = -4*s + u - 53. Put -10, s, -3, 7 in descending order.
7, -3, -10, s
Let o = -3.8 + 2.8. Let s be ((-1)/7)/((-40)/(-16))*5. Put -0.3, o, s, -0.9 in ascending order.
o, -0.9, -0.3, s
Let z be (-4)/18 + (-7718)/2043. Sort -7, -2, -39, z in decreasing order.
-2, z, -7, -39
Let x be ((-685)/690 - -1)*(-976)/28. Let y = x - -8/23. Sort y, 2/5, -3 in increasing order.
-3, y, 2/5
Let r = -381.9 + 407. Let v = 25.6 - r. Put v, -1, -5, 0.1 in decreasing order.
v, 0.1, -1, -5
Let k(u) = -u**2 + 46*u - 127. Let g be k(43). Put -2,