-259. Put -5, a, 4/7 in descending order.
4/7, a, -5
Suppose 193*h + 36 = 199*h. Sort h, 3, 1 in increasing order.
1, 3, h
Let w(o) = o**2 + o - 18. Let d be w(-6). Suppose -f = 2*f - d. Put -1, 0.3, f in descending order.
f, 0.3, -1
Let v = -2/859 + -2567/4295. Put 3, v, -519 in descending order.
3, v, -519
Let k = -0.245 - -0.3. Let s = k - -0.445. Put -3/4, 0.2, s in increasing order.
-3/4, 0.2, s
Let f = 946 + -951. Put f, -3, -2, 7 in descending order.
7, -2, -3, f
Let z = 1.2 + -18.2. Let v = -12 - z. Put 1, v, -1 in ascending order.
-1, 1, v
Let q = -0.09 - -4.59. Let d = q - 9. Let j = 0.5 - d. Sort 7/5, -1, j in decreasing order.
j, 7/5, -1
Suppose -5 - 4 = -3*c. Suppose c*i + g - 2 = 0, 0 = 5*i + 2*g - 3 - 1. Sort -2, 1, -5, i in descending order.
1, i, -2, -5
Let y be (-3)/2*(0 + 2)*-1. Let i(p) = 2*p - 37. Let r be i(16). Sort -1, y, 1, r in ascending order.
r, -1, 1, y
Let u = 181 - 254. Sort 2/9, u, -2 in ascending order.
u, -2, 2/9
Let l be (-36)/10 - (-4)/(-10). Suppose -4*s + 3 = -5*i - 8, -4*i + 12 = 2*s. Suppose -3*q + 5*q = 3*c + s, 4*q - 16 = 2*c. Put -5, c, l in ascending order.
-5, l, c
Let q = -1.31 - -0.81. Sort -2/9, -5, q in ascending order.
-5, q, -2/9
Let l = -56 + 55.63. Let x = -0.37 - l. Sort -0.1, -2/15, x, -3/2 in decreasing order.
x, -0.1, -2/15, -3/2
Suppose 190*v - 192*v - 4 = 0. Sort v, 7, 3, -3.
-3, v, 3, 7
Suppose 19*u - 169 + 131 = 0. Suppose 3*x + 5 = 2*x. Sort u, x, 1 in descending order.
u, 1, x
Let n = -0.225 + 0.265. Sort 0.2, -4, n in descending order.
0.2, n, -4
Suppose w + 8 = -s + 14, 3*w + 2*s = 17. Sort w, -8, 0, -2 in decreasing order.
w, 0, -2, -8
Let o = -0.217 + 0.117. Let l = 3.4 + -0.4. Put o, 0, -3, l in ascending order.
-3, o, 0, l
Suppose -2*n + 3*x - 13 = 0, 0 = -18*x + 13*x + 15. Sort n, -5, 5, 8 in decreasing order.
8, 5, n, -5
Let o = -234 + 229. Sort -3, 12, 2, o.
o, -3, 2, 12
Let p = 76/11 + -7. Let f = -602 + 5416/9. Sort 2/11, -1/3, p, f.
-1/3, f, p, 2/11
Suppose -4 = -y - 4*s, -s - 2 = -3*s. Let a be 2/(-11) - ((-336)/22)/7. Suppose -a*o - 5 + 11 = 0. Sort y, -2/9, o in descending order.
o, y, -2/9
Let g = -37.737 + 0.437. Let k = 37 + g. Sort 2, k, -5 in descending order.
2, k, -5
Let l = -3/2 - -1. Let b = 6.4 - 7. Let d = b - -0.7. Sort d, l, -4.
-4, l, d
Suppose 0 = 288*p - 328*p - 200. Let x = -9 + 6. Sort 4, p, -4, x.
p, -4, x, 4
Suppose 0 = -3*q + x - 2*x - 42, 57 = -3*q + 4*x. Let y be 2/(-3) + (-14 - q). Let g = -0.2 - 0. Sort g, y, 2/9 in ascending order.
g, 2/9, y
Let s = -4.1 + 0.1. Put s, 0.2, -5 in increasing order.
-5, s, 0.2
Let o = 83.8 + -84.8. Let y(c) = 2*c + 5. Let f be y(-5). Sort f, o, -3 in ascending order.
f, -3, o
Let d = -18 + 20. Let g = 2.1 - d. Sort 4, g, 28.
g, 4, 28
Let r = -12 - -11.45. Let m = 0.05 + r. Let k = m + -0.2. Sort 0.5, 2, k in descending order.
2, 0.5, k
Let n = -13 - -13.18. Let d = 0.2 - n. Let g be 2/(-4)*((-6)/(-5))/1. Put 0.3, d, g in decreasing order.
0.3, d, g
Let g = -5.25 - -2.25. Put g, 6/11, -2 in descending order.
6/11, -2, g
Suppose -3*w + 15 = 4*h, 4*h - 15 = -h. Let z = -25 + 0. Let r be (-3)/(5/z*-5). Put -2, r, w in increasing order.
r, -2, w
Let w = -112 + 113. Sort -0.3, w, 8/3 in ascending order.
-0.3, w, 8/3
Let y(l) = -l**2 - l + 2. Let c be y(-2). Let a = 19 + -19. Let p be (1 + a)*(3 - 4). Put -3, p, c in ascending order.
-3, p, c
Let b = -1192 - -1192. Sort 10, -44, b in ascending order.
-44, b, 10
Let j(y) = 7*y - 43. Let i be j(6). Let w = -95 - -96. Sort 2, w, -3, i in descending order.
2, w, i, -3
Let d be (1 + -2)*1/10. Suppose -55*i + 4 = -59*i. Suppose -4*b - 2*l = -10, -l + 0*l = b - 5. Sort i, d, b.
i, d, b
Let v = -11 + 8. Suppose -2*p - 10 = 4 + 4. Sort -2, p, v.
p, v, -2
Let s = -449 - -448. Sort 4, 1, -12, s.
-12, s, 1, 4
Let m be ((-2 - 5) + 7)/(-3). Put 2, m, -69, -3 in descending order.
2, m, -3, -69
Let f = 5553 - 5552. Suppose -g + 6*g - u - 20 = 0, -20 = -g - 3*u. Put -2, 3, f, g in descending order.
g, 3, f, -2
Suppose l = -4*y - l + 2, -4*l + 4 = 0. Let p = 7 - 11. Let q(i) = i**3 - 4*i**2 - 5*i + 4. Let j be q(5). Sort j, y, p.
p, y, j
Let u be -2 + (-90)/(0 - -2). Let m = 51 + u. Put m, -1, 0, -4 in decreasing order.
m, 0, -1, -4
Let c = 3.9 + -3.7. Sort 0, 1/24, c in decreasing order.
c, 1/24, 0
Let y = 1/426 - -281/1278. Put 5, y, -1/7 in increasing order.
-1/7, y, 5
Let w = 157 + -157.4. Sort -0.33, w, 4, -4/3.
-4/3, w, -0.33, 4
Let q = 0.4 - 8.4. Let j = 7.5 + q. Sort -6, j, 4/7.
-6, j, 4/7
Let v(s) = -s**2 - 8*s + 5. Let o be v(-5). Suppose -4 = -4*f - o. Let t = -56 - -53. Sort f, 3, t in ascending order.
f, t, 3
Let l = 12/7 + -31/14. Sort -1/5, -2.3, l.
-2.3, l, -1/5
Suppose 47*z - 131 + 319 = 0. Sort -0.1, z, 7, 4.
z, -0.1, 4, 7
Let r be -11 + 9 - (-4 - -2). Let z = -2 - r. Let d be 110/(-25) - z/5. Sort 0, d, -2.
d, -2, 0
Let l(b) = b**2 + 5*b - 6. Let m be l(-6). Suppose m = 2*f - 5*f + 9. Let y(o) = -o**3 - 21*o**2 + 22*o - 8. Let j be y(-22). Sort j, f, 2 in descending order.
f, 2, j
Let p = 602 - 603.4. Put 1/2, p, -0.2 in decreasing order.
1/2, -0.2, p
Let g(t) = -t**3 - 5*t**2 - 4*t + 2. Let c be g(-4). Let u be ((-2)/3)/(2/9). Let i be (2 + -2)*(-2 - u). Sort i, -3, c.
-3, i, c
Let u be -3*(-1)/3*4. Suppose 0 = w - 2*f + 1, 3*w - 3*f + 27 - 18 = 0. Sort 3, w, u, 5 in descending order.
5, u, 3, w
Let t(b) = -3*b + 73. Let v(y) = 2*y - 36. Let x(j) = -3*t(j) - 5*v(j). Let k be x(0). Let m be 45/39 + 6/k. Put m, 2, -3 in descending order.
2, m, -3
Let n = -41647/996 + 16/249. Let k(y) = 41*y. Let j be k(-1). Let g = j - n. Sort g, 6/7, -1 in descending order.
6/7, g, -1
Let i(l) = l**2 - 2*l + 1. Let z be i(3). Suppose -2*a + z*b = -4*a - 22, 0 = 5*b + 15. Let k = -627 - -626.5. Sort -2/5, a, k in descending order.
-2/5, k, a
Let m be 6/8 - 78/168. Let l = 10 + -19. Let z = l - -13. Sort 0, m, z.
0, m, z
Let g be 4/((-72)/40 - 8/(-10)). Sort 4, g, -1, -2.
g, -2, -1, 4
Let r be (6/(-10) - 1)/(4/10). Sort 0.4, -21, r in descending order.
0.4, r, -21
Let s be ((-7)/(49/14))/((-4)/(-6)). Let n = 27 - 32. Put -4, n, s, 5 in descending order.
5, s, -4, n
Let j = -9 - -13. Suppose v - 14 = 3*d, -2*v = 2*v + j*d - 8. Sort v, 1, -3 in increasing order.
-3, 1, v
Suppose v + 0 = -2. Suppose -2*g - 2 = 4*b, -4*b = -5*g + 11 - 44. Sort g, -1, 0, v in increasing order.
g, v, -1, 0
Let j(a) = a**3 + 31*a**2 + 61*a + 85. Let q be j(-29). Put q, 8, 5 in descending order.
8, 5, q
Let z be 1 - ((1 - -1) + -2). Let k be (3 - 1) + z + 0. Suppose -6*m - 2*l = -8*m + 14, -5*l - 33 = -3*m. Put 0, k, m in increasing order.
0, m, k
Suppose 0 = 2*o - 15*o - 39. Suppose -d = -r - 40, -r = 3*r + 12. Sort d, 4, o in descending order.
d, 4, o
Let w(b) = b**2 - 8*b - 6. Let d be w(9). Suppose 0 = -0*f - 3*f + 5*q + 15, 0 = q. Let m be 4 + ((-22)/6 - 3/9). Put d, f, m in descending order.
f, d, m
Suppose 7*l = 5*l - 10. Let f(t) = -t**3 - 8*t**2 - 8*t - 10. Let i be f(-7). Let u(s) = s + 8. Let d be u(i). Sort l, d, 0 in descending order.
d, 0, l
Suppose -4*k + 23 + 2 = -g, 0 = 3*k + 3*g. Let c = 0.09 - 6.09. Let z = 6.3 + c. Sort z, k, -4 in decreasing order.
k, z, -4
Let w be 182/45 + (-152)/3420. Sort -4, 28, w in ascending order.
-4, w, 28
Let d(i) = -31*i - 1. Let n be d(0). Suppose -2*o + 0*o = -4. Put -4, n, 5, o in increasing order.
-4, n, o, 5
Let q be (-1)/14 + (-345)/(-322). Let d be 1/((-1)/2)*2. Suppose -j + 10 = -l, -2*j + 5*j - 34 = 5*l. Sort d, q, j.
d, q, j
Let z = -4.2725 + 0.2725. Let x = 1 + -1.1. Suppose 2 + 4 = -3*s. Put z, s, x in ascending order.
z, s, x
Let h(i) = -4*i**3 - 31*i**2 + 7*i - 7. Let t be h(-8). Let d(f) = -f**2 - 6*f - 6. Let v be d(-4). Sort v, t, 5.
t, v, 5
Let v = -137/12238 - -6/211. Let f = v + -119/174. Let h be (2/(-10))/(8/10). Put f, h, 3 in decreasing order.
3, h, f
Let t = 8 + -8. Let g = -2 - 0. Put t, g, -3/4 in decreasing order.
t, -3/4, g
Let t be 3/(4/(-4 - 0)). Let n = -47 + 51. Sort -5, t, n, 1.
-5, t, 1, n
Let t = 5123 - 5126. Suppose 4 - 3 = -n. Sort t, -2, n in descending order.
n, -2, t
Let m be ((-2)/8)/(90/(-48)). Let u be (-8)/12 - 34/(-42). Put u, 2, m, -6 in decreasing order.
2, u, m, -6
Let c be 37/(-7) + 2 - (-6)/21. Put 5, c, -1 in descending order.
5, -1, c
Suppose 2*b = -3*u - 6, 2*u + 4*b + 14 = 2. Let x = 43 + -47. Sort 1, x