pose 0 = 4*n - g*n - 5*y - 22, -4*n + 4 = 4*y. Put 1, n, -3 in descending order.
n, 1, -3
Let h = 6 - 5. Let i = 0 + h. Put i, -0.1, -1/2 in ascending order.
-1/2, -0.1, i
Let t = 59 + -57. Put -3, t, 7 in descending order.
7, t, -3
Let l = 2/197 - -384/985. Let x = -156 - -154. Put l, 0, x in increasing order.
x, 0, l
Let u = 96 + -482/5. Suppose -2*z = -5*o - 0*o - 84, 2*o = -2*z - 28. Let q be (o/(-36))/((-4)/6). Sort u, 2, q in ascending order.
q, u, 2
Let s be (-15)/(-5) + (-9)/2. Put -2, s, -1 in decreasing order.
-1, s, -2
Let k = -100.47 - -101. Let u = -0.03 + k. Put -3, u, 2/19 in ascending order.
-3, 2/19, u
Suppose 0 = -c + 1. Suppose 0 = x - 3*x - 5*o - 12, -4 = 2*o. Put x, 5, c in decreasing order.
5, c, x
Let j = -1.98 - 0.02. Let f = -1/16 - -5/16. Sort f, 3, j in descending order.
3, f, j
Let w be (3/9)/((-1)/21). Put 4, w, 5 in ascending order.
w, 4, 5
Let x be 4/(-6)*(-8 + 5). Sort x, -2, 1 in ascending order.
-2, 1, x
Suppose -3*u - 16 = i + 3*i, i = -3*u - 4. Sort -7, i, 2.
-7, i, 2
Let u = -2.5 + 11.9. Let z = u + -9. Sort z, -5, -1/2 in decreasing order.
z, -1/2, -5
Let z = -69 + 1033/15. Put z, -3/4, 0.3 in decreasing order.
0.3, z, -3/4
Let m(k) = -6*k - 38. Let t be m(-6). Let c = 0 + 5. Let p(a) = a**2 + 3*a + 4. Let o be p(-3). Put c, t, o in descending order.
c, o, t
Let o be -1*1 - (-12)/6. Let p be (16 - 7)*2/(-12)*-2. Sort o, 2, p in increasing order.
o, 2, p
Let o(m) = -m**3 + 3*m**2 + 4*m + 5. Let t be o(4). Suppose t*i + 16 = i, 5*w = -i - 24. Let y = 3 + w. Sort y, -2, 4 in ascending order.
-2, y, 4
Let y(r) = -r**2 - 10*r + 8. Let k be y(-11). Sort 5, 2, -2, k in ascending order.
k, -2, 2, 5
Let x(m) = -m**3 - 16*m**2 + m + 20. Let f be x(-16). Put -1, 3, 1, f in decreasing order.
f, 3, 1, -1
Let n = -193/18 - -98/9. Put 3, n, -4, 2 in decreasing order.
3, 2, n, -4
Let a = 21 + -32. Sort a, 2, 0 in ascending order.
a, 0, 2
Suppose -2*q + 1 + 9 = 0, 0 = v - 4*q + 17. Suppose -v = 2*i + 1. Let t be (i - -1)/1 - -6. Sort -3, 1, t in decreasing order.
t, 1, -3
Let g be (4/8)/(1/2). Put 3, -2, g, 5 in descending order.
5, 3, g, -2
Let n = 0.3 + -0.2. Let b = -36 - -33. Sort b, 3, n.
b, n, 3
Suppose 0 = p - 2*g + 7, 2*p = -3*g + 5*g - 4. Let s(c) be the second derivative of c**3/6 + c**2 + c. Let y be s(-5). Put p, y, 0 in decreasing order.
p, 0, y
Let f be (3/(-2))/((-1)/(-2)). Let x be 0*(-3 + 1 + 3). Let t be (40/(-4))/(x - 2). Sort 2, t, f in increasing order.
f, 2, t
Let f be 9*(2 + 15/(-9)). Suppose -69 = -2*w - 11. Suppose -4 + w = -5*a. Sort f, a, 5.
a, f, 5
Let j be (1 - 0)*(-8)/8. Suppose 4*m = -0*m. Sort m, j, 1 in increasing order.
j, m, 1
Let i = -0.05 + 0.25. Let y = -0.6 + i. Let s = -7 + 7.3. Put s, 0.1, y in descending order.
s, 0.1, y
Let r be 52/494 + (-194)/38. Put 0, r, 4, -41 in descending order.
4, 0, r, -41
Let r = -7.3 + 7. Put r, -4, 0.3 in increasing order.
-4, r, 0.3
Let d(j) = -4*j**2 - 6*j - 6. Let i be d(-1). Let q = 4 + 0. Put i, -1, q in decreasing order.
q, -1, i
Let y = -28 + 16. Sort 2, 0, y.
y, 0, 2
Let o = -113 + 563/5. Let l = -8.4 + 3.4. Put l, 2/9, o in decreasing order.
2/9, o, l
Let h = -38 + 68. Suppose -h + 10 = -4*b, b = -2*x + 5. Let g = 0 - x. Sort g, -4, 4 in decreasing order.
4, g, -4
Let t be (-2)/(-10) + 12/(-20). Let w = 0.05 + 0.25. Sort t, w, -0.3 in decreasing order.
w, -0.3, t
Suppose 23 = -2*x - x + 4*d, 18 = -2*x + 4*d. Sort 1, -17, x.
-17, x, 1
Let m = 7 - 2. Let n = 4.8 - m. Sort 1, n, -2/5.
-2/5, n, 1
Suppose 61 = 5*b + c, 5*b - 2*c + 32 = 105. Suppose 5*l = 12 + b. Put l, -4, 3 in descending order.
l, 3, -4
Let l = -15 + 18. Sort -4, l, -1.
-4, -1, l
Let t = -69 + 69. Sort -5/6, 0.4, t, 3 in descending order.
3, 0.4, t, -5/6
Suppose 0 = -s - 1 - 9. Let g be s/(-3) + 4/6. Let v be (-4)/(-14) + (-12)/(-105). Put 2, g, v in increasing order.
v, 2, g
Let c be 5*(24/(-5))/4. Let p = c + 9. Let s be 6/p - 4/3. Sort 0.1, s, 5 in descending order.
5, s, 0.1
Let z = 0.84 - -0.26. Let g = z - 0.8. Let w be (-4)/5 - (-1)/1. Sort g, 2/19, w in descending order.
g, w, 2/19
Suppose 0 = 4*f - 19 + 203. Put -4, -0.5, f in decreasing order.
-0.5, -4, f
Let h = -0.18 - -0.08. Sort -4, h, 5/4.
-4, h, 5/4
Let t = -25.5 + 26. Put t, 3, -0.2, 1 in decreasing order.
3, 1, t, -0.2
Let l(j) = j**3 - 3*j**2 - 8*j + 6. Let d be l(5). Suppose -d*u - 25 = -11*u. Put u, 4, -4 in descending order.
4, -4, u
Let l = -3 - -5. Let c = -1 - 2. Let k = c - -2. Put 5, k, l in decreasing order.
5, l, k
Let l = 56 - 81. Let x be ((-10)/l)/((-1)/(-5)). Let d(j) = 4*j + 28. Let h be d(-7). Put 3, x, h in ascending order.
h, x, 3
Suppose -2*f - 3*b + 7 = 0, 0 = 3*f + 4*b - 8 - 2. Put f, -1, -32 in ascending order.
-32, -1, f
Suppose 3*w = w - 10, -4*z + 2*w = -22. Let n be (1/8)/(z/6). Suppose -8*b = -4*b + 12. Sort b, n, -0.1 in ascending order.
b, -0.1, n
Suppose -2*g + 3*v + 12 = 8*v, 0 = -5*v + 20. Suppose 2*w + w = 0. Suppose -2*x = -x, w = t - x. Sort 5, t, g in descending order.
5, t, g
Let f = -0.4 + 0.6. Suppose 18 = 4*v + 2. Suppose -v*l + 0*l = -16. Sort 2, l, f.
f, 2, l
Suppose r - 10 = -0*r. Suppose 5*c = 5*u + r, -u = u + c - 11. Let j = 0.44 + -0.04. Put -1/4, u, j in descending order.
u, j, -1/4
Let a = 48938023/13530 + -79583/22. Let q = -1/123 - a. Let b be 6/(-8)*(-8)/(-14). Put b, -0.2, q in ascending order.
b, -0.2, q
Let b = 1.07 - 0.07. Let r = 1 + 1. Put -4, b, r in descending order.
r, b, -4
Suppose -4*f + 7*f + 3 = 0. Let l(h) = -3*h**2 - h. Let z be l(-1). Sort 2, f, z.
z, f, 2
Suppose 5*j - 20 = 0, 7 = 3*g - 4*j + 26. Suppose 0*c - 5*c = -5. Let i be (c + -2 + -4)/1. Sort i, 4, g.
i, g, 4
Suppose -11*p + 13*p = -50. Put 1, -2, p in descending order.
1, -2, p
Suppose -12 = -2*r - r. Suppose 0 = -v + r - 3. Put v, -5, 4 in increasing order.
-5, v, 4
Let b = -52 - -30.7. Let f = b - -21. Let k(q) = -q**3 - 5*q**2 - 5*q - 2. Let j be k(-3). Sort j, f, -0.2.
j, f, -0.2
Let l be 2/7 + (-30)/56. Let o = -3 + 3. Suppose o = 3*d - 9, 0 = -4*t - 2*d - 0*d + 2. Put l, t, -1/6 in descending order.
-1/6, l, t
Let l = -2.1 + 1.6. Sort l, -2/3, 3 in descending order.
3, l, -2/3
Let n = -356/21 - -128/7. Put -2/7, n, 2/7 in ascending order.
-2/7, 2/7, n
Let c = 4.014 + -0.014. Put -1, 0, c, 5/3 in decreasing order.
c, 5/3, 0, -1
Let n be -2 - -2*5/5. Put -3, -5, n in descending order.
n, -3, -5
Let h(b) = b**3 + 4*b**2 - 5*b - 2. Let f be h(-5). Let y(w) = 3*w - 2. Let n be y(2). Let l = n + f. Sort -2, -5, l.
-5, -2, l
Suppose 5*w = -4*w + 36. Sort w, 5, 3 in decreasing order.
5, w, 3
Let u = 0.377 + 0.023. Let g = 4.87 - -0.13. Sort u, 0.5, g in increasing order.
u, 0.5, g
Let f = 0.83 - 0.03. Let w = 0.6 + 0.3. Let x = f - w. Sort 1/3, x, -3/7.
-3/7, x, 1/3
Let p = 1051 + -1056. Let u = 12 - 8. Suppose -5 - 4 = 5*d + u*x, x = -3*d - 4. Sort 1, p, d in ascending order.
p, d, 1
Let y be ((-15)/(-10))/((-6)/8). Put 4, -1, y in increasing order.
y, -1, 4
Let y be 2/(-6)*18/(-39). Sort y, -3, -3/5.
-3, -3/5, y
Let p(z) = 3*z**2 + z. Let d be p(-1). Let s(a) = a**3 + 6*a**2 + 4*a - 2. Let f be s(-5). Let r(q) = -q**2 + 7*q + 4. Let g be r(8). Sort g, f, d.
g, d, f
Suppose 4*f + 12 = -4. Let y = 0.4 + 2.6. Sort f, -1/5, y in increasing order.
f, -1/5, y
Suppose -3*u = c - 4 - 11, -5*u + 3*c = -39. Suppose 14 = 3*i - f, -4*i - f = -1 - u. Sort -1, -4, i.
-4, -1, i
Let u be (2/(-1))/(2 + 0). Let o be (-1)/((-1)/8*2). Sort o, u, 5 in increasing order.
u, o, 5
Let a = 1.94 + -0.94. Sort -1/8, 9, a.
-1/8, a, 9
Suppose -7 = -5*a - 2. Let b be 8 - (4 - (2 + -1)). Put 0, b, a in descending order.
b, a, 0
Let z = 39 + -39. Sort z, -3, -4, -5.
-5, -4, -3, z
Let a(p) = -p. Let u(i) = -i**3 - 3*i**2 - 2*i - 1. Let y(d) = a(d) - u(d). Let z = -7 + 5. Let x be y(z). Put 1, x, 4 in descending order.
4, x, 1
Let b = 3.8 + -4. Put -1/3, -5, b, 2 in decreasing order.
2, b, -1/3, -5
Let l = -11 + 15. Suppose n + 0 - l = 0. Suppose 0 = 4*j + n - 0. Sort 1, -3, j in increasing order.
-3, j, 1
Let y = 104/165 + 2/55. Put y, 5, -5, 14 in decreasing order.
14, 5, y, -5
Let v = -8/45 + -1/45. Put 4, 3, v in decreasing order.
4, 3, v
Let g be 87/18 + (-4)/(-24). Sort g, -5, 3 in descending order.
g, 3, -5
Let j = 0.1 + -0.1. Let s = 4 + j. Let u be (-2)/20 - (-2)/(-5). Put u, s, -2/11 in descending order.
