ppose 0 = -0*c - 0*c + x*c. Suppose 5*t + 7 - 77 = c. Sort 1, t, 4 in descending order.
t, 4, 1
Suppose 0 = -2*c - 10 - 0. Suppose 351*m + 356 = -697. Sort m, 4, 1, c in decreasing order.
4, 1, m, c
Let s = 17 - -6. Let k = -6840 - -6840. Sort k, -2, s in descending order.
s, k, -2
Let s be (-26)/(-4) + 11/22. Suppose 2*h + 25 = s*h. Let y = 8.14 + -7.14. Put h, 0.3, 3, y in ascending order.
0.3, y, 3, h
Let u = 2769/35 - 79. Let y = -73/280 - u. Sort 0.4, 0.1, y in ascending order.
y, 0.1, 0.4
Let u be 0*(4 + -3)*-1. Let i(f) = 51*f - 16. Let z be i(1). Suppose 0 = 2*x + 3*x + z. Put u, -3, x in ascending order.
x, -3, u
Let c = -0.5803 + 0.0803. Sort -0.1, 38/3, -6, c in ascending order.
-6, c, -0.1, 38/3
Let v be (2 + -1)/((3 - 1)/(-2)). Suppose 5*d - 45 = -5*w, -1 = 3*d - 2*w - 53. Suppose -3 - 7 = 2*o + 4*z, 0 = 2*o - 4*z - d. Sort o, 5, v in increasing order.
v, o, 5
Let k be 6/(-9)*(-2 - 28). Suppose -2*g = -4*g + k. Let t = 9504.5 + -9507.5. Sort t, g, -2/3, -1/5.
t, -2/3, -1/5, g
Let l = -49 + 45. Let b be ((-1)/3*2)/(78/(-468)). Sort b, -38, l in decreasing order.
b, l, -38
Let n = -6895 + 6895.2. Let d = 7 + -13. Sort n, -4, d, -1/6 in descending order.
n, -1/6, -4, d
Let q = 115 - 101. Let g(x) = q*x**2 - 21 + x**3 + 9 - 2*x**2 - 7 + 19*x. Let r be g(-9). Sort -4, r, 1 in ascending order.
-4, 1, r
Let m be 6/(-45)*(0 + (-99)/22). Let u = -0.2 - -0.2. Put u, m, 0.1, -4/5 in increasing order.
-4/5, u, 0.1, m
Suppose 0 = -886*o + 885*o - 5*r + 110, 0 = -3*o - r + 330. Put -22, -5, o in descending order.
o, -5, -22
Let v be 1400/150*9/(-10) - -8. Put v, -1, -225.2 in descending order.
v, -1, -225.2
Suppose 0 = 99*x + 349 - 1141. Put -24, -2, x, 2 in ascending order.
-24, -2, 2, x
Let r(k) = -122*k - 4153. Let y be r(-34). Let w be 3*3/(9/4). Let n be 2 + (-5 - -2) + w. Put n, 1, 5, y in ascending order.
y, 1, n, 5
Let h = 427.663 + -427. Let r = h + 2.337. Sort 0.067, -2, r in descending order.
r, 0.067, -2
Let z be (-54)/(-5481)*29 - 16/7. Sort 2, -3, 5, 3, z in increasing order.
-3, z, 2, 3, 5
Let b = 49.3 - 49.3. Let w = -23/60 + 1/20. Sort -0.05, b, w.
w, -0.05, b
Let y be (4/8)/((-4)/56). Let t(m) = m**3 + 12*m**2 + 9*m - 21. Let i be t(-11). Put -4, i, y in descending order.
i, -4, y
Let h = -2408 + 2404. Sort h, 2, -5, -28, 1 in increasing order.
-28, -5, h, 1, 2
Let s = 0.088631 + -0.588631. Let w be 3*1/(10/2). Let y = 0.08 + -0.1. Sort s, w, y in descending order.
w, y, s
Let k be -78 + (10/(-35) - 26/7). Let s be (-5)/((-5)/(-4))*k/(-328). Sort 3, -7, s in descending order.
3, s, -7
Let f(z) = 13*z**2 - 76*z - 13. Let o be f(6). Let n = 4.5 - 5. Sort 4, 0.4, n, o in ascending order.
o, n, 0.4, 4
Suppose -286*g - 14 = -4*z - 291*g, 0 = 5*g - 10. Suppose 0*i + 2*i = -28. Sort 3, 5, i, z in increasing order.
i, z, 3, 5
Let w = 1984 + -3971/2. Put w, -1/7, -2/7, -1, -0.2 in ascending order.
w, -1, -2/7, -0.2, -1/7
Let m = -10/9 + 4/9. Let u = 2674 - 2673. Put -4, u, 3, m in decreasing order.
3, u, m, -4
Let i = 395.5 + -395.9. Let y = 22 + -24.8. Let x = -0.8 - y. Sort i, 0.4, 0.5, x in decreasing order.
x, 0.5, 0.4, i
Let i = 1559 + -1560. Let j(o) = -2*o - 49. Let f be j(-23). Sort f, i, -22 in decreasing order.
i, f, -22
Let q(s) = s**2 - 56*s + 672. Let g be q(39). Sort 10, g, -10 in ascending order.
-10, g, 10
Let m(r) = 12*r**2 + 5*r - 103. Let k be m(6). Let j = -362 + k. Put 0, j, -411 in increasing order.
-411, j, 0
Let x = -193 + 191. Let a be (-51)/(-135) + 16/(-48). Put 2/9, a, x in ascending order.
x, a, 2/9
Let w = 24954 - 24954. Sort 3, 227, w in ascending order.
w, 3, 227
Let l = 26270 + -26272. Sort 4, l, -732, 2 in descending order.
4, 2, l, -732
Let h = 70 + -73. Sort -4, h, 9, 142.
-4, h, 9, 142
Let m = -3643 + 3643. Sort -4, m, -3/17, -3/4 in descending order.
m, -3/17, -3/4, -4
Let q = -3.07 - -0.07. Let n = 0 + q. Suppose 5*b = -3*w - w + 23, -w = 3*b - 11. Sort n, w, 1/4 in decreasing order.
w, 1/4, n
Let y(n) = -n**2 - 10*n - 15. Let a be y(-9). Let h(s) = 9*s + 2. Let m be h(a). Let f be (80/(-6))/(m/78). Sort f, 1/5, 1/3.
1/5, 1/3, f
Let d be 201/36 + 12/(-18). Let b = d + -31/6. Sort -0.2, b, -3.7 in descending order.
-0.2, b, -3.7
Suppose 79683*j - 39781*j - 39812*j = -180. Suppose -8*h = -4*h - 4. Let k = 0.1 + -0.1. Sort k, j, 3, h in ascending order.
j, k, h, 3
Let x(r) = -r**2 + 23*r - 6. Let q be x(21). Suppose 0 = -16*n + 25*n + q. Sort 0, 30, -5, n in decreasing order.
30, 0, n, -5
Let v(l) = -26*l. Let m = 26 + -25. Let n be v(m). Suppose 14 = -28*x - 14. Sort n, x, 4 in ascending order.
n, x, 4
Suppose 0 = -1753*z + 1745*z + 176. Sort z, 5, 1, 2 in increasing order.
1, 2, 5, z
Suppose -46*k - 3299 + 3667 = 0. Let c(s) = 2*s + 3. Let m be c(-2). Let f = m + -2. Put f, k, 4 in increasing order.
f, 4, k
Let h(v) = -v + 2. Let f be h(0). Let s = -99 + 205. Suppose 0 = f*y - 100 + s. Put y, 5, -4 in increasing order.
-4, y, 5
Let k = 3942251/108 + -36502. Let j = k - 2/27. Suppose -3*b + 12 = b. Sort 7, b, j in increasing order.
j, b, 7
Suppose 740*r - 14 = 738*r. Suppose 0 = -3*i - 2*o + 17, -r*i = -3*i + o - 21. Put -5, -1, i, -4 in descending order.
i, -1, -4, -5
Suppose 3*i - 2 = 4. Let y be -2*(i - (-3)/(-6)) + -1. Let l = y + 7. Put -2, l, 2 in decreasing order.
l, 2, -2
Let q = -618 - -613. Let h be -1*(4/14 - q/7). Sort -3, 5, -2, h in descending order.
5, h, -2, -3
Let m be (-4 - (-38)/2)*(-21)/(-35). Let p be m/(-18)*158 + -5. Put 0, 3, p in descending order.
3, 0, p
Let b(j) = -2*j**3 + 207*j**2 + 114*j - 1040. Let h be b(104). Sort 5, 519, h, -5 in descending order.
519, 5, h, -5
Suppose -3*s - 5*i + 15 = 2*s, 3*s + 4*i = 13. Let t(h) = 2*h**3 + 14*h**2 + 13. Let r be t(-7). Suppose r*o - 14 = 6*o. Sort -2, o, s.
-2, s, o
Let v = -26925 - -242323/9. Sort v, 3, -0.0031, -4 in ascending order.
-4, v, -0.0031, 3
Let d = 5466 + -5471. Let g(o) = 2*o**3 + 4*o**2 + 3*o + 2. Let b be g(-2). Let z be 1 + b + 1 - 0. Sort z, d, -1 in decreasing order.
-1, z, d
Let x = 41 + -44. Let k = 536 - 536. Put 3, k, x in decreasing order.
3, k, x
Let f be 14*(-12)/(-42) + -1263. Let u = f + 1269. Let z = -2 - 3. Sort 0, u, 2, z in decreasing order.
u, 2, 0, z
Let u = -172 - -171.8. Let b = -5989/4494 + -1/1498. Put b, -0.9, u in descending order.
u, -0.9, b
Let q = 24/7 - 101/28. Sort -1, 1, q.
-1, q, 1
Let v = 117.4 - 301.4. Put -4, v, 4 in ascending order.
v, -4, 4
Let t(k) = -12*k**3 - 4*k**2 - 3*k. Suppose 0 = 4*m + 2*n - 4, -3*m + 3 - 14 = -2*n. Let s be t(m). Sort -5, -3, -2, s in descending order.
s, -2, -3, -5
Let d = -1.72797 - 0.27203. Sort 116, 3/7, d in ascending order.
d, 3/7, 116
Suppose 6*d + 186 = 168. Let h = 100 - 513. Sort h, -2, d in ascending order.
h, d, -2
Let h = 7 - 4. Let s be -1*20/(-6)*h. Let a(p) = p**2 + 880*p - 5312. Let u be a(6). Sort u, s, 0 in decreasing order.
s, u, 0
Suppose -b + 120*w - 117*w - 34 = 0, -4*b - 45 = w. Sort b, 4, 2, -5 in increasing order.
b, -5, 2, 4
Let m = -3225 + 3225.2. Sort -3, 5, -18, m in descending order.
5, m, -3, -18
Let u = 7139 - 7144. Sort 1.1, -4, u, -11.7.
-11.7, u, -4, 1.1
Suppose -4*k + k = 4*s + 32, 8*k = 2*s - 22. Put 3, -350, k in decreasing order.
3, k, -350
Let i be ((10 - 2) + -2)*-1 + (-338)/(-169). Sort i, 2/5, 5/8, 4 in descending order.
4, 5/8, 2/5, i
Let q(m) = -30*m + 239. Let l be q(8). Put 20, 10, l, 1 in descending order.
20, 10, 1, l
Let k be 2 + 4 + (-4 - -2). Suppose -4*u = 5*c - 2*u + 93, -2*c + 3*u - 22 = 0. Let r = -5817 - -5820. Sort k, r, c in increasing order.
c, r, k
Let x be 7/(-2) + (-3)/18*3. Let p = 305 + -311. Put p, 3, x, 5 in decreasing order.
5, 3, x, p
Suppose 5*i - 2*g - 74 = 0, g + 6 = -2*g. Suppose 0 = 5*s - 84 + i. Suppose -s = -3*w + 1. Put -4, 3, -2, w in decreasing order.
w, 3, -2, -4
Let y(o) be the first derivative of 4*o**3/3 + 13*o**2/2 - 30. Let u be y(-10). Let i be (3/2)/((-81)/u). Sort i, 0.2, -0.01.
i, -0.01, 0.2
Let h(y) = 116*y - 928. Let z be h(8). Sort 2, 43, z.
z, 2, 43
Let b = 8813 + -8816. Put b, -0.3, 0.6, -0.5, -4 in decreasing order.
0.6, -0.3, -0.5, b, -4
Let m = -0.11 + 0.61. Let k = -154 + 152. Sort -0.3, k, m in decreasing order.
m, -0.3, k
Let d be 30 + (-15 - 2) - 18. Suppose 4*n + 3 = -c, 4*n - 1 = 2*c + 5. Let a(p) = -p**2 + 4*p + 3. Let s be a(5). Sort n, s, d.
