pose 9 = 4*o - t*f, 4*o = -0*f + f - 11. Sort -1, q, o in ascending order.
o, -1, q
Let y = -9 + 19. Let r be ((-1)/(-2))/((-1)/y). Put r, 5, 4 in descending order.
5, 4, r
Let x = -2 - -1. Let n = -112 + 72. Let p be x - -3 - n/(-18). Sort 4, p, 2/17.
p, 2/17, 4
Suppose 3*j - 5*a = -1, 3*j - a + 3*a = 13. Put 1, -1, j, -5 in descending order.
j, 1, -1, -5
Suppose 11*s + 20 = s. Sort s, 1, -1 in decreasing order.
1, -1, s
Suppose -8 = g - 3*g. Let s = -6 + 6. Let l = 2 + s. Put l, 2/5, g in descending order.
g, l, 2/5
Let g(m) = m**3 - 3*m**2 + 2. Let y be 2/(2/(-12)*-4). Let r be g(y). Suppose -b = b + r. Sort 4, b, 5 in decreasing order.
5, 4, b
Suppose 5 = 4*q - 5*l - 0*l, 4*l - 2 = 2*q. Sort 3, 0, q, -3 in descending order.
q, 3, 0, -3
Suppose -3*g - 10 = -g - 2*r, -15 = 4*g + r. Let n be (1 + 5)*(-4)/(-6). Let m = n - 7. Put m, 5, g in descending order.
5, m, g
Suppose 30 = -5*o - z - 46, 4*o = z - 59. Let b be o/(-10) - (-2)/4. Sort b, -4, -3 in ascending order.
-4, -3, b
Suppose -6*q - 15 - 9 = 0. Sort 79, 4, -5, q in descending order.
79, 4, q, -5
Suppose 3*x = x + 2. Put x, 8, -3/4 in descending order.
8, x, -3/4
Let a = -1 + -4. Let y be (-1)/((-1)/3 + 0). Let t = -1 + y. Sort -3, a, t in descending order.
t, -3, a
Suppose 2*i - 2 = -5*m + m, -3*i + 1 = 5*m. Let l = 3 + m. Suppose -3*g - 17 = -5. Sort g, 3, l in ascending order.
g, 3, l
Let y = 0.9 + 0.06. Let d = y - 1. Sort 0.4, d, -1 in increasing order.
-1, d, 0.4
Let s = 24.3 - 32. Let j = 2 + 6. Let r = s + j. Sort 5, r, 1 in ascending order.
r, 1, 5
Let d be ((-11)/(-33))/(2/96). Sort -2, -1, d.
-2, -1, d
Suppose -2*n + 16 = 2*n. Put n, 3, -3 in ascending order.
-3, 3, n
Let q(o) = o - 8. Let j be q(6). Suppose m - 10 = 6*m. Let g be (-15)/6*m/1. Put g, -5, j in ascending order.
-5, j, g
Let c(a) = -a + 2. Let k be c(2). Suppose 3*s = p + 5, 3*s + 2 + 5 = 4*p. Sort -2, k, p in decreasing order.
p, k, -2
Let d = 44 + -47. Put d, 0.1, 5/6, 2/3 in decreasing order.
5/6, 2/3, 0.1, d
Let f = 94 + -96. Sort 5, 0, f, 2.
f, 0, 2, 5
Let l(b) = -b + 1. Let i(x) = x - 3. Let u(d) = i(d) - l(d). Let p be u(6). Let r = -7 + p. Put -1, r, -2 in descending order.
r, -1, -2
Let y = -30 - -34. Put 7, y, -5 in decreasing order.
7, y, -5
Suppose -2*v + 12 = 4*t + t, -3*t - 4*v + 10 = 0. Let j = -2 - 0. Put j, t, -4 in decreasing order.
t, j, -4
Let l = 40 - 38. Sort -3, l, 5 in decreasing order.
5, l, -3
Let g(q) = q**2 + q - 1. Let n be g(-2). Let o be n/(-2) - (-9)/18. Put 4, o, 1 in ascending order.
o, 1, 4
Let k be 106/22 + 3/66*4. Sort 2, -1, k, 0 in descending order.
k, 2, 0, -1
Let u = 0 - -1. Let g be ((-2)/(4/6))/u. Sort -2, 4, g.
g, -2, 4
Suppose 79*s - 80*s - 2 = 0. Sort s, 1, -7 in descending order.
1, s, -7
Suppose 4*l - 1 = -3*d, -3*d - 2*d + 2*l + 45 = 0. Suppose d*i - 5*i = 4. Put i, -1, 1 in descending order.
i, 1, -1
Let l(p) = -p**3 + p**2 + 4*p - 1. Let t be l(-2). Let z(g) = -2*g - 12. Let f be z(-8). Sort -5, t, f in increasing order.
-5, t, f
Let l = 0.12 + -5.12. Let q = 5.1 + l. Sort 4, 0.2, q in increasing order.
q, 0.2, 4
Let p = -10 - -14. Let w be 34 - (-2)/p*-4. Let h be (0 - 2)*4/w. Sort 4, 3, h in ascending order.
h, 3, 4
Suppose -d = 3*d + 12. Sort 9, d, 4 in descending order.
9, 4, d
Let x = 0 - 0.1. Put x, -2/3, -2/13 in decreasing order.
x, -2/13, -2/3
Let f be (1/(-5))/(24/(-30)). Let t be (-3)/(-7)*(-16)/12. Sort t, f, 0.1 in ascending order.
t, 0.1, f
Let s = 25.05 - 25. Sort 0.1, s, 4.
s, 0.1, 4
Let k = 0.027 - -1.473. Put -0.2, k, -2/9 in decreasing order.
k, -0.2, -2/9
Suppose q = 5*q - 72. Let j be 6/q + (-11)/(-3). Sort 5, 3, j.
3, j, 5
Let n = -0.32 + 0.33. Sort 4, -2, n in increasing order.
-2, n, 4
Let y(c) = -c**3 - 9*c**2 + 10. Let u be y(-9). Let l = u - 16. Sort -2, 2, l in increasing order.
l, -2, 2
Let g be 2*-1 - (2 + -9). Suppose 28 = 2*o - 4*l, -3*o + o + 3 = l. Suppose -3*a - 2*x = x + 6, -a = o*x + 8. Put g, 3, a in ascending order.
a, 3, g
Let f = 15 + -14.6. Suppose 1 - 10 = -3*p. Sort p, 0.1, f.
0.1, f, p
Let u(s) = s**3 - 7*s**2 + s - 2. Let d be u(7). Sort -3, d, -1 in decreasing order.
d, -1, -3
Let g = 31 - 26. Put g, 2, -2/15 in decreasing order.
g, 2, -2/15
Let c(i) = -i**3 + 5*i**2 - 3. Let h(n) = -4*n**2 + n + 3. Let d(x) = -2*c(x) - 3*h(x). Let s be d(-2). Put s, -1, 3 in decreasing order.
3, -1, s
Let f(s) = s - 11. Let v be f(6). Put -13, v, -0.2, 0.1 in descending order.
0.1, -0.2, v, -13
Let o = 13 + -7. Suppose 0 = -4*q + 16, 3*z + q = o*z - 5. Sort z, -1, 2 in ascending order.
-1, 2, z
Let g(y) = 0 + 0 + 4*y**2 - 5*y**2. Let t be g(1). Sort 2, 0, t in decreasing order.
2, 0, t
Let j = -126 - -1135/9. Sort 4, 10, j.
j, 4, 10
Let r = 13 + -27/2. Let t = r - -5/6. Let o = 3 - 3. Put 0.3, t, o in descending order.
t, 0.3, o
Let a = -7 + 0. Let j(k) = k**3 + 6*k**2 - 7*k + 4. Let q be j(a). Suppose q*h - 3*r = -2 + 17, -2*h + 15 = -3*r. Sort h, -3, 4 in increasing order.
-3, h, 4
Let y(t) be the first derivative of t**2/2 - t + 2. Let d be y(9). Suppose d = -n - n. Sort 1, n, 0 in increasing order.
n, 0, 1
Suppose -4*d + d = 24. Let m = d - -16. Suppose 0*r = 4*r + m. Put r, -1, 1 in ascending order.
r, -1, 1
Suppose 0 = 3*w + 2 - 5. Put w, -0.5, -1/6 in descending order.
w, -1/6, -0.5
Suppose 1 - 5 = -2*c. Let y(n) = -3*n + 1. Let o be y(c). Sort o, 5, 9 in descending order.
9, 5, o
Let s = 208 + -208. Let v be 3/(-6) - (-3)/(-2). Put v, -3, s in increasing order.
-3, v, s
Suppose 47 = 5*j - 3*d, 3*j - d - 27 + 2 = 0. Let s = 11 - j. Let p = 5 - 2. Sort s, p, 1.
1, p, s
Let v = -10 + 17. Sort -4, -1, v in decreasing order.
v, -1, -4
Let q be 45/((-5)/(-1)) + 2 + -6. Sort q, 0, -2 in descending order.
q, 0, -2
Suppose 0 = -r - 4*r + 5. Suppose -4*h + 5*k + 7 = 0, -2*k - 9 = -5*h + 4. Sort 2, h, r in ascending order.
r, 2, h
Let q be 9/15 - (-7)/(-15). Sort 0, -0.1, q in descending order.
q, 0, -0.1
Suppose 2*l - 2 = 26. Let f be (-3 + l/4)*8. Sort f, 2, -3 in increasing order.
-3, 2, f
Let q be 16/12*(5/2 - 1). Let u be (0 + 2)*(-2)/(-4). Suppose q*h + u = -5. Put 2, -2, h in ascending order.
h, -2, 2
Let y = 0 - 6. Let n be (-9)/y*(-4)/(-3). Let c = 0 + -4. Put c, -0.3, n in increasing order.
c, -0.3, n
Let i = 1.8 + -2. Let v be (2 - 1)/9*-2. Let l = 1627/3600 + -3/400. Sort l, i, v in increasing order.
v, i, l
Suppose s - 19 = -4*y, 4*s = -5*y + 3 + 7. Let n = 4 - y. Let f be (-4)/(-22) + 54/66. Put f, n, 3 in descending order.
3, f, n
Let u be 1 - 0 - (-2 - -1). Suppose u*z = -z - 3. Suppose -3*f - 4*c = 0, f + 2 = 3*f + 2*c. Sort z, f, -3.
-3, z, f
Suppose 0*o - 2*o = -2*v, 3 = 2*v - o. Let h(r) = -r**2 - 7*r - 3. Let y be h(-6). Suppose -v*k = y - 9. Sort -2, 3, k in descending order.
3, k, -2
Let o = 0.15 - 0.03. Let k = o - 0.02. Put -0.5, -3, k in increasing order.
-3, -0.5, k
Let q = 58 + -63. Sort 0, q, 5 in ascending order.
q, 0, 5
Let w = 35 + -37. Let d(t) = -t - 1. Let z be d(0). Put 5, w, z in ascending order.
w, z, 5
Let j = 11 - 6. Suppose 0 = 3*u + 4*x - j, u + 4*x + 1 = -0*u. Put u, -0.5, 2/5 in decreasing order.
u, 2/5, -0.5
Let r(v) = v**2 - 13*v + 5. Let a be r(13). Sort 1, a, -1.
-1, 1, a
Let h be 1*6 - (5 - 3). Suppose 2*v + 4*t = h, 5*v - 10 = -0*t - 5*t. Let f = 29 + -25. Sort v, f, 4/9 in descending order.
f, v, 4/9
Let y = -163 - -162. Sort y, -18/5, -4.
-4, -18/5, y
Suppose s - 18 = -s - 4*w, 3*s - 3*w = 0. Suppose -2*d = 3*h - 6, 5*d - s*h + h = -4. Sort 4, d, -4.
-4, d, 4
Let v = -32 - -32.3. Put -3, v, 0.1 in decreasing order.
v, 0.1, -3
Suppose -5*f - 2*y + 6*y = -9, 2*f + 5*y + 3 = 0. Let s(i) = 4*i**3 + 5 - 2*i**3 + 5*i**2 + i**3 - 4*i**3. Let l be s(5). Put f, l, -4 in increasing order.
-4, f, l
Let y(o) = -3*o - 7. Let h be y(-4). Put h, 4, 0 in descending order.
h, 4, 0
Suppose 2*u + 2*u = 32. Let r be (3/u)/((-30)/(-20)). Put -0.5, r, 0.3 in descending order.
0.3, r, -0.5
Let w(q) = q**3 + 2*q**2 - 7*q - 11. Let b be w(-2). Sort b, -4, 2, 4.
-4, 2, b, 4
Let z be ((-12)/136)/(3/(-6)). Sort 3, z, -4, 2.
-4, z, 2, 3
Suppose g = 288 - 296. Suppose 3*q - 11 = 2*c, 3*q - 19 = -c - c. Put g, c, -4 in decreasing order.
c, -4, g
Suppose -4*n - 20 = n. Let k(f) = -f - 2. Let p be k(-3). Let r = 1 + p. Sort 5, r, n in descending order.
5, r, n
Suppose -42 = 8*s + 6*s. Put s, -5, 4, -8 in incr