b, 2*h + 19 = h - x*b. Sort h, -2, -4, r.
-4, h, -2, r
Let d = -2 + 7. Let y be (-18)/15 + 10 + 3422/(-390). Sort d, -0.5, y.
-0.5, y, d
Let w = -405.6 + 405.4. Sort -8, w, -2, 1.
-8, -2, w, 1
Let a = -6257 - -6260. Sort 6, a, 2/9, 1.
2/9, 1, a, 6
Let h = -1658 + 1638. Put -1, h, 0, 14 in descending order.
14, 0, -1, h
Let i(h) = -h**2 + 6*h - 10. Let f be i(4). Suppose -544*r + 546*r = 4. Put f, -6, r in decreasing order.
r, f, -6
Let q be 4/(-14) + 86/56. Let k = 1088 + -1088.1. Let o be 28/20 - -4 - 5. Put k, q, 1, o in ascending order.
k, o, 1, q
Let j = -149647 + 149646. Let d = 3 - -1. Put j, 5, d, 6 in decreasing order.
6, 5, d, j
Suppose j - 7 = -3*k, -1 = -5*j - 11. Suppose o + 74 = 4*w, 4*w + 307 = -5*o + 3*w. Sort -3, k, o in ascending order.
o, -3, k
Let k be 5*4/(-4)*-1. Let b(n) = -19*n + 209. Let i be b(11). Sort k, i, 1, -2 in increasing order.
-2, i, 1, k
Let s = -35 + 41. Let v be ((-2)/((11 + -6)/(-5)))/(-15). Sort s, v, 0.3, 1.
v, 0.3, 1, s
Suppose 5*k - 3*n = 11, k - n - 3 = -0*k. Let o be (-1)/(-1)*k*-3. Let a be (66*10/60 + -6)*-1. Sort o, 5, 0, a in decreasing order.
5, 0, o, a
Let r = 75.994 - -0.406. Let v = -76 + r. Let t = 31 - 30.98. Put v, t, -1/6 in ascending order.
-1/6, t, v
Suppose 0 = -11*z + 21*z - 100. Suppose u + z = -4*u. Let k be (u*(-2)/6)/((-4)/6). Sort 5, k, 4.
k, 4, 5
Let p be (-19 + -1)*(-1)/((-20)/(-8)). Suppose -p*z = -11*z. Let y be (-1)/(-1 + (z/(-2))/1). Sort -5, -1, y in increasing order.
-5, -1, y
Let u = 6820.991 - 6821. Put -1, u, -0.4, 1 in decreasing order.
1, u, -0.4, -1
Let k = 0 - 1. Let n be (-1 + 2)/(k/(-5)). Let i = -13579/42330 + 88/4233. Put -0.5, n, i in decreasing order.
n, i, -0.5
Let n be (-7 + 4498/(-39))/(2/(-6)). Let r = n - 368. Put r, -5, -4 in increasing order.
-5, -4, r
Let s be (-225)/(-20) + ((-550)/(-5))/(-10). Sort 1/6, -1/4, 53, s in decreasing order.
53, s, 1/6, -1/4
Suppose -14*m = -10*m - 8. Suppose 0*b - b + 4*g = -5, 0 = 3*b + 3*g - 15. Let x = 22 - 23. Put x, m, b in decreasing order.
b, m, x
Let h = -94 - -96. Suppose 27 = h*y + 33. Sort y, -1, -25 in ascending order.
-25, y, -1
Suppose -f - 5 + 25 = 3*k, 4*k - 15 = f. Let w = 621 + -629. Sort w, 2, f, 4 in decreasing order.
f, 4, 2, w
Suppose -3*p + 40 = 22. Suppose v - 3*v = p, -k + v + 3 = 0. Let z = k + 2. Sort -1, 0, z, 3 in decreasing order.
3, z, 0, -1
Let b = 137/5 - 28. Let o = -88 - -88.5. Let x = -1 + 0. Put b, -6, x, o in decreasing order.
o, b, x, -6
Let i = -695.9 + 695.81. Sort i, 0.4, 0, 0.06 in decreasing order.
0.4, 0.06, 0, i
Let g = -10 - -7. Let y = -261 + 257.65. Let p = -1.65 + y. Sort p, g, 0.7.
p, g, 0.7
Suppose 131*d = 126*d - 580. Let p = -118 - d. Sort 24, 4, p, 0 in descending order.
24, 4, 0, p
Let s be 3468/72 - 1/6. Let x = s + -48. Suppose -5*o = -x*o - o. Sort o, -2/9, -1/3 in decreasing order.
o, -2/9, -1/3
Let m(v) = -3*v**2 + 43*v - 14. Let k be m(14). Let y be 1 + (k - 0)/(-1 - 0). Put -5, y, 0, -114 in ascending order.
-114, -5, 0, y
Suppose -5*o + c = -c - 23, 12 = -3*c. Suppose 172*q = -171*q + 343. Let t be (-15 - 0)*5/15. Put q, t, o, -14 in descending order.
o, q, t, -14
Let s = 0.0034 + -54.6034. Let w = -55 - s. Let l = -1.06 - 1.94. Sort 3/11, l, w in decreasing order.
3/11, w, l
Let d = 15390 - 15393. Let b = 0.4 - -4.6. Put b, d, -2, -5/4 in decreasing order.
b, -5/4, -2, d
Suppose 3*d - 5*t = 0, -4*d + 8*t = 3*t. Suppose 8*x - 12*x + 72 = 0. Suppose 17*j = x*j - 2. Sort j, -8, -1, d in increasing order.
-8, -1, d, j
Let p(j) = j**3 - 7*j**2 + 6*j - 4. Let y be p(6). Suppose 5*l = -4*l. Let k(q) = -q**2 + 36*q - 181. Let s be k(6). Put l, 1, y, s in descending order.
1, l, s, y
Let i(y) = -y**3 - 4*y**2 - y + 7. Let v be i(-3). Suppose -d - v = -2*s, d + 1 = 6. Suppose -s*p = -2 - 7. Sort p, 0, 5.
0, p, 5
Let v = -6452/4025 + 37/23. Let p = v - -331/3325. Put 0.3, 0.1, p, -1 in increasing order.
-1, 0.1, p, 0.3
Suppose -123 - 48 = -3*b. Let o(w) = -2*w**2 + 24*w + 60. Let g be o(9). Let n be (b/38)/(g/(-8)). Put 5, n, -2 in decreasing order.
5, n, -2
Let a be -1 - 7 - (-4)/(-8)*2. Let f = 42 + -40. Let q(h) = -5*h + 10. Let c be q(2). Sort a, c, f.
a, c, f
Let k = 35 + -56. Suppose -52 = 5*w - 3*f + 54, -5*w = -4*f + 108. Let v = k - w. Put v, 0, -4 in decreasing order.
0, v, -4
Let s be 2*(36/(-78) - 102/(-390)). Put 2, s, 6, -3, -1/14 in decreasing order.
6, 2, -1/14, s, -3
Let k = -1110 - -743. Let q = k + 361. Put 3, q, 0.3, -0.5 in increasing order.
q, -0.5, 0.3, 3
Let u = -3021 + 3022. Sort 5, 33, u, -5.
-5, u, 5, 33
Let x = 268 - 155. Let p = -815 + 701. Let b = x + p. Put 2, b, -2/89 in decreasing order.
2, -2/89, b
Suppose 0 = 5*t - 2 + 22. Suppose 39 = 4*p - 3*y, 2*p - p + 2*y + 4 = 0. Suppose 3*j + p = 2*j. Sort j, t, -2 in decreasing order.
-2, t, j
Let x be (1/(-3))/(4*2/(-48)). Suppose -o = -3*o + 20. Suppose -4*m = -x*g + 10, 3*g - o = g - 3*m. Sort g, 6, -4 in ascending order.
-4, g, 6
Let w be (29/(-10))/(-1 - 17). Let z = -1/9 + w. Let d be (10 - (-63)/(-9))/1. Sort d, 0.1, z.
z, 0.1, d
Let n = -4386 - -4380. Sort -10, n, 21, -2/15 in ascending order.
-10, n, -2/15, 21
Let t(a) = -a**3 - 4*a**2 + 6*a + 4. Let c be t(-4). Let x be (c/7 - -4) + -1. Put 2, x, -0.14 in increasing order.
-0.14, x, 2
Let u = 347 - 699. Let o = 349 + u. Let k = -3.2 + 3. Put o, 0.4, 0.3, k in increasing order.
o, k, 0.3, 0.4
Let z = 2649 - 2643. Sort z, -2, -55 in decreasing order.
z, -2, -55
Let t = -1.72 + 1.42. Let f be 2/4*(1 + -4)/(-3). Put f, -1, -4, t in decreasing order.
f, t, -1, -4
Let k = 3483 - 3486. Put k, -121, -5 in increasing order.
-121, -5, k
Let q = -0.1 - -0.1. Let u be ((-12)/(-68))/((-82)/(-697)) + 1/(-10). Sort 4, q, u, -1/6 in descending order.
4, u, q, -1/6
Let d be 0/(4/6 + (-15)/9). Suppose -72 + 91 = -10*y - 9*y. Let m = -6 + 11. Put m, d, y, 4 in decreasing order.
m, 4, d, y
Let a(s) = -66 - 56 + 150 - 3*s. Let q be a(12). Let x(w) = 4*w + 28. Let n be x(q). Put 0.12, n, 4 in descending order.
4, 0.12, n
Let f = -495 - -797. Let a = f + -306. Sort 3/5, 137, a in ascending order.
a, 3/5, 137
Let z = 5240 + -5240. Sort 3, z, -19 in decreasing order.
3, z, -19
Let b(x) = -x**3 + 7*x**2 - 2*x - 10. Let y be b(3). Suppose 0 = 4*g + 2*n + 2 + y, 0 = -4*g + 4*n - 16. Sort g, 3, -13 in descending order.
3, g, -13
Let b = 2/207 + 617/414. Let t(m) = m**3 - 7*m**2 - 3. Let z be t(7). Put -1/3, b, z in descending order.
b, -1/3, z
Let i = 140.07 + -140.02. Sort i, -0.3, -0.5, 3/2, 0 in decreasing order.
3/2, i, 0, -0.3, -0.5
Suppose -15*m - 4610 = -13160. Suppose -774 = 56*q + m. Put q, 0, -1 in decreasing order.
0, -1, q
Let m = 1.455 - 6.455. Sort -81, -4, m in increasing order.
-81, m, -4
Let j be 1*(24/(-201))/4. Let f be 581/(-1162)*(1 - -1). Put 0.3, f, -3, j in increasing order.
-3, f, j, 0.3
Let a be 3510/324 - (9 - -3). Sort a, -3, 2/7 in decreasing order.
2/7, a, -3
Let v = 94.88 - 143.88. Sort v, 4, 5, -2, -2/17.
v, -2, -2/17, 4, 5
Let i = -0.813 + 1.213. Let v = 2 - 6. Put 0.3, v, i in ascending order.
v, 0.3, i
Let t(k) be the first derivative of -2*k**2 - 82*k + 24. Let m be t(-22). Let g = -1.3 + 0.3. Sort g, m, 2/3.
g, 2/3, m
Let n = 660 + -648. Sort n, -0.01, 0.4, 4 in ascending order.
-0.01, 0.4, 4, n
Let y = -156.5 + 161.5. Sort y, -1/47, -4/3, -1 in descending order.
y, -1/47, -1, -4/3
Suppose 11*p = 6*p + 30. Suppose 36 - 6 = p*z. Let v = 30 - 29. Sort z, v, 2.
v, 2, z
Suppose 5*h - 3*v = 9, h = 2*v + 4 - 5. Let r be 6*(h + 50/(-15)) - -5. Sort r, 1, 0, 5.
0, 1, r, 5
Let y be (-31)/4 + 2/(-8). Let c be (5328/96 + -58)*2/(-5). Put 0, y, c in descending order.
c, 0, y
Let o = -17990190837/1940 + 9273295. Let t = o - 2/485. Put 5, 4, t, -0.15 in decreasing order.
5, 4, t, -0.15
Let z = -28 + 24. Let t = -3.8 - z. Let a = 209 - 211. Sort -4, 5, t, a in descending order.
5, t, a, -4
Suppose 27*i + 109 - 439 = 137*i. Put -6, -5, i, 1/6, 2 in decreasing order.
2, 1/6, i, -5, -6
Let x = -70 + 36. Let i = x + 33.9. Suppose -4*y = 5*h + 26 - 4, 0 = 5*h - 4*y + 38. Sort h, i, 4.
h, i, 4
Suppose 5*o + 2*q + 30 = 9*o, -50 = -2*o + 6*q. Put -7, -8, 5, o, -1 in ascending order.
-8, -7, -1, o, 5
Suppose -3*i + 2*p + 33 = 0, 3*i - 4*p = -8*p + 15. Suppose -2*d - 25 = 3*d. Put d, 5, i in decreasing order.
i, 5, d
Let c = -52/87 - 2/29. Let 