, g = -x - g - 5. Sort 4, 1, x.
x, 1, 4
Suppose 2 = 2*f - 2. Let d = 5 - 2. Let i = d + 0. Put -4, i, f in decreasing order.
i, f, -4
Let t = 0.5 + -0.3. Let n = t - 0.1. Let r = -0.3 + -0.7. Put -0.4, n, r in ascending order.
r, -0.4, n
Let t be ((5 + 0)/1)/1. Let r(f) = -f - 5. Let v be r(-10). Suppose 0 = -s + v*s. Put t, s, 4 in descending order.
t, 4, s
Suppose 2*t - 5*t = -60. Suppose 0 = 5*c - 0*l - 3*l + 5, 4*l + t = 0. Suppose -2*y - 7 = -1. Sort c, 1, y in decreasing order.
1, y, c
Let y = -0.616 + 0.116. Sort -3, y, 0.4, 3/2.
-3, y, 0.4, 3/2
Let y = 5 + -9. Let q = y - -6. Sort 4, q, -0.5.
-0.5, q, 4
Let y(c) = c**2 + 2*c + 3. Suppose 2*u + 5*n + 0*n - 11 = 0, -9 = 3*u - n. Let k be y(u). Sort k, 1, -1.
-1, 1, k
Let j(s) = -s**3 + 2*s**2 + 5*s - 4. Let p be j(3). Suppose 3*m = -3*b + 21, -1 = p*m - 5. Let z = 1 - -1. Sort b, z, 0 in decreasing order.
b, z, 0
Suppose 2*n - 2 = -2*w, -9*n = -7*n - 3*w - 22. Let p = -1 - -1. Sort 2, p, n.
p, 2, n
Let j(c) = c**2 + 4*c - 5. Let b be j(-4). Let y(i) = -i + 1. Let r be y(3). Put r, 4, b in descending order.
4, r, b
Let a = -11 + 15. Sort -2, 1, a.
-2, 1, a
Let x = -11/24 - -1/8. Let f = 244 + -243.8. Let j = 0.2 + -0.1. Put f, x, j in increasing order.
x, j, f
Suppose -5*s = -0*s + 15. Let v = 11 + s. Let h be (9/6)/((-6)/v). Put -1, h, -4 in descending order.
-1, h, -4
Let h be (7/21)/((-1)/15). Sort 0.3, 0, h in descending order.
0.3, 0, h
Let i be -6 + 3 - (-1 - -3). Sort 1, i, 0.5.
i, 0.5, 1
Let v = 12 - 16. Put v, 3, -3 in descending order.
3, -3, v
Let o(q) = -5*q**3 - q. Let v be o(-1). Suppose j - 9 - 6 = 0. Let c = j + -17. Put -4, v, c in increasing order.
-4, c, v
Suppose -3*c + 5 + 25 = 0. Suppose -5*b + v = c, 5*v = -4*b + 2*v - 27. Sort b, -4, -5 in decreasing order.
b, -4, -5
Let v = -27 + 22. Sort 17, 1, v in ascending order.
v, 1, 17
Let d = -101 + 100.9. Put d, 0.03, -5, -0.2 in increasing order.
-5, -0.2, d, 0.03
Let i be 5/(-5)*14/2. Let t = 5 + i. Let q be ((-4)/6)/t + 0. Sort 0.1, 1, q in increasing order.
0.1, q, 1
Let w = -174 + 176. Sort w, -1, 1 in decreasing order.
w, 1, -1
Let c = -1 - -0.9. Suppose 1 = -5*a - 4*r, -2*r - 3 = 3*a + 2*a. Let k be 2*a - (-3 + -3). Put -2, k, c in descending order.
k, c, -2
Let q(a) = 3*a**2 - 5*a + 7. Let x be q(4). Suppose 3*n - 6*n + 5*y - x = 0, 0 = 3*n + 3*y + 3. Put 1, n, 5 in increasing order.
n, 1, 5
Let n = -0.1 - 0.4. Put n, -2, 3, 0.03 in increasing order.
-2, n, 0.03, 3
Let m = 40.8 + -37. Let u = m + 0.2. Let b be ((-6)/8)/(18/(-4)). Put b, 2, u in increasing order.
b, 2, u
Let r = -31 + 32. Let m = 25/4 - 221/36. Sort m, r, 2/19 in increasing order.
2/19, m, r
Suppose 3*w - 9 = -0*w. Suppose -5*k + 2*k = -t + 14, -2 = w*t + 2*k. Sort 0, 3, t.
0, t, 3
Let p(l) = l**2 - 5*l. Let j be p(5). Suppose -i + 2 = -3*i. Sort -2, j, i.
-2, i, j
Let u(r) = 55*r - 389. Let j be u(7). Suppose -i - 1 + 0 = 0. Put j, 1, i in decreasing order.
1, i, j
Let k(n) = -n**2 - 6*n + 7. Let v be k(-6). Put v, 0, -4, -3 in ascending order.
-4, -3, 0, v
Let f = -10 + 8. Let z(b) = -b**2 + 2. Let k be z(f). Sort k, -0.01, 3/7.
k, -0.01, 3/7
Suppose -2*v + 10 = -4*v. Suppose 10*l - 14 = 26. Let u = l + v. Sort u, 4, 0.
u, 0, 4
Let x = -28.838 - 0.062. Let t = x + 32. Let w = 3 - t. Sort -1/3, w, 4 in decreasing order.
4, w, -1/3
Suppose 4*h = -3*c - 7, -2*h = 5*c - 5*h - 27. Let u = 605 - 610. Put 2, c, u in decreasing order.
c, 2, u
Let x(g) = -g**3 + 5*g**2 - 1. Let o(j) = -4*j**3 + j**2 - j - 1. Let n be o(-1). Let s be x(n). Sort s, 0, -5 in increasing order.
-5, s, 0
Suppose 0 = -0*a - 2*a + 18. Let p = a - 5. Put 5, 3, p in decreasing order.
5, p, 3
Let u = 56 - 59. Suppose -x + 3 = -1. Sort -0.1, x, u in decreasing order.
x, -0.1, u
Let c = -3.11 + 0.11. Let g = -19.7 + 22. Let j = g + -2. Sort j, 4, c.
c, j, 4
Let y = -5 - -5. Suppose y = -2*t + 4*t. Sort t, -1, 3.
-1, t, 3
Let k = 1 + 1. Suppose 4 = -k*l - 0*l. Sort l, 0, 5.
l, 0, 5
Let i(f) = f**2 - 10*f + 21. Let z be i(6). Sort -2/7, -2, z, -1 in ascending order.
z, -2, -1, -2/7
Let d be ((-4 - -4) + 1)*-2. Let t be 0/(0/1 - 2). Sort t, d, -1.
d, -1, t
Let n = -212/3 - -70. Sort n, -1, -0.1, 4 in ascending order.
-1, n, -0.1, 4
Let z = -3 - 1. Let v = z + 9. Let n = -0.7 + 0.4. Sort v, 3, n.
n, 3, v
Let z be -1 - 1 - 0 - (-7 + 8). Let t be (1 + -1)*1/2. Put z, t, 3 in decreasing order.
3, t, z
Let j be (-10)/(-4) + 4/8. Suppose 8*t - 25 = j*t. Suppose -4*g = g - 5*h + 15, 0 = 4*g + 2*h + 12. Sort 1, g, t.
g, 1, t
Let x = -4/875 + -40989/29750. Let o = x + -2/17. Suppose 0*m = 4*m. Sort o, 1, m in decreasing order.
1, m, o
Let w = -4 + 0. Put 4, 10, w in ascending order.
w, 4, 10
Let b = 0.5 + -0.2. Let j be 0 - 4/(1*-28). Sort j, b, -1 in increasing order.
-1, j, b
Suppose 0 = -3*v + 3*u + 9, -3*v + 10 + 27 = 4*u. Suppose 25 = -v*c - 3. Put -0.5, c, 0.4 in ascending order.
c, -0.5, 0.4
Let d(y) = 10*y - 1. Let f(u) = 7*u - 1. Let c(i) = 5*d(i) - 7*f(i). Let g = 2 + 0. Let p be c(g). Sort -1, p, 0 in descending order.
p, 0, -1
Let p = 28 + -50. Put 1, -1, p in descending order.
1, -1, p
Suppose 20 = -8*p + 3*p + 2*u, -3*p + 4 = 2*u. Let q = -7.21 - -7.51. Sort 3/7, p, q in ascending order.
p, q, 3/7
Let x = 10/9 - 49/36. Let n = -0.4 - 0.1. Put 0.2, n, x in increasing order.
n, x, 0.2
Let m = 19 + -15. Put -33, m, -1/6, -4 in descending order.
m, -1/6, -4, -33
Let p = 45 - 40. Let s be 4 - (1 + -1 + 2). Sort -5, s, p.
-5, s, p
Let b = 4 + -3. Suppose 2 = -o - b. Sort o, -1/4, 4 in descending order.
4, -1/4, o
Let n(z) = z**3 - 7*z**2 + 1. Let q be n(7). Sort -1, 2, q in descending order.
2, q, -1
Suppose -2*a = 7*a - 18. Sort a, -0.3, -0.4 in decreasing order.
a, -0.3, -0.4
Let f(r) = -r**2 + 4*r + 3. Let t be f(5). Sort -1, t, 5.
t, -1, 5
Suppose 2*k - 10 = 0, -4*k + 40 = 4*v - 0*k. Suppose 20 = v*l - 3*u - 2*u, 3*l + u = 0. Suppose -5*i - g = -34 + 8, -2*g = -2. Sort -4, i, l in ascending order.
-4, l, i
Let o = -6 - -1. Sort 3, o, 7 in descending order.
7, 3, o
Let m(c) = c**2 + 2*c - 8. Let h be m(-4). Suppose -s + 3*s = 4. Sort s, h, -3 in decreasing order.
s, h, -3
Let i = 84399 - 21774973/258. Let z = -848 - -36466/43. Let h = i - z. Sort -1/5, h, -3.
-3, -1/5, h
Let m be 18/(-44) + (-1)/(-2). Let y = 5 + -3. Let d = y + 1. Sort d, m, 1/3 in descending order.
d, 1/3, m
Let x be ((-2)/5)/(24/(-30)). Put 0.06, x, -1/7 in increasing order.
-1/7, 0.06, x
Let k = 15 - 10. Let w = 5.2 - k. Sort w, -0.1, 1/9.
-0.1, 1/9, w
Let r = 5.92 - 6. Let p = 0.42 - r. Let a = 3 - 2.6. Sort p, 1, a in ascending order.
a, p, 1
Let a = -3.2 - -3. Let b = 11 + -15. Let q = -2 - b. Put q, -0.06, a in decreasing order.
q, -0.06, a
Let m = 5 - 4.97. Let d = m - -2.97. Let v = -3 + 3.5. Sort v, d, 0.2 in ascending order.
0.2, v, d
Let v = 6 + -8. Let g = -31 - -51. Suppose 0*y - 4*y - c = -g, -2*y + c + 4 = 0. Put y, -1, v in descending order.
y, -1, v
Suppose 3*q = q. Suppose -2*c + 12 = 2*c. Suppose 2*r + k = 5*k - 22, 3 = 3*r + c*k. Sort r, q, 3 in decreasing order.
3, q, r
Suppose 4*c = -3*c - 14. Sort -1/8, c, -16, -1.
-16, c, -1, -1/8
Let l = 3.4 - 4. Let m = -0.2 - l. Sort -2/9, m, -1/4.
-1/4, -2/9, m
Let u(w) = w - 3. Let n be u(8). Sort -3, n, 4 in decreasing order.
n, 4, -3
Let q = -7 - -14. Let n = -10.6 + -0.4. Let l = n + q. Sort -2/17, 4, l in decreasing order.
4, -2/17, l
Suppose o - 1 = 4*c, 3*c + 5*o + 15 = o. Put c, 3, -3 in decreasing order.
3, c, -3
Let u = -70 - -70.4. Put -4, -2, u in decreasing order.
u, -2, -4
Let z = -81/28 + 11/4. Let g = 0.07 - 0.57. Put 0.4, g, z in ascending order.
g, z, 0.4
Let d = -12 - -21. Let q = 4 - d. Let o = -0.3 - -0.1. Sort 0, o, q in descending order.
0, o, q
Let a(q) = q**3 - q**2 - 2. Let v be a(2). Let r be (6/45)/(v/(-6)). Let k be 1/(-2 - (-18)/8). Put r, k, -0.5 in decreasing order.
k, r, -0.5
Let b = 0.19 - -0.11. Sort 4/5, -6, b in increasing order.
-6, b, 4/5
Let t(a) = a**3 - 6*a**2 + 6*a - 3. Let l be t(5). Sort 5, -1, l in ascending order.
-1, l, 5
Let f = 7 + -4. Suppose -5 = -2*j + 2*w - 15, 4*w + 1 = -f*j. Let p be 12/8*40/15. Put 5, p, j in ascending order.
j, p, 5
Let w = 1.011 - 0.111. Put w, 0, 0.5 in descending order.
w, 0.5, 0
Let t = -17 - -16.5. Put 1/23, t, -2, 0.2 in increasing order.
-2, t, 1/23, 0.2
Let p = 83730967