ng order.
z, 2, o
Suppose -3*o - 11 = -5*j, -4 = 5*j - 24. Suppose 4 = v - o. Suppose 0 = -v*n + 3*n + 4. Put 2, n, -1 in decreasing order.
2, n, -1
Let x(h) = -h + 2. Let t be x(11). Suppose 4*u + 0*i - 2*i = 18, 0 = 3*u + 4*i - 30. Let w = u + t. Put 2, -5, w in decreasing order.
2, w, -5
Let d = 2 + -3. Let q be d/(-2)*(-2 - 2). Put q, -0.4, 0 in descending order.
0, -0.4, q
Let d(g) = -g**3 - 6*g**2 + g + 4. Let f be d(-6). Let a = f + 4. Suppose 0*l = -4*l - 5*j + 8, 26 = -a*l + 5*j. Put l, 0, -4 in decreasing order.
0, l, -4
Let d(f) = -4*f - 2. Let m be d(-1). Sort 1, 5, m.
1, m, 5
Suppose -4*m - 3*w - 3 = 0, -w - 4*w = 5. Let o be m - 0/(-1 - -3). Let n(x) = -x + 1. Let y be n(4). Put y, 4, o in ascending order.
y, o, 4
Let z(j) = -1. Let l(b) = -b + 6. Let i(y) = 2*l(y) + 18*z(y). Let q be i(-4). Put 1, q, 0 in decreasing order.
q, 1, 0
Let k(t) = -t**3 - 3*t**2 - t. Let c be k(-3). Sort c, -5, 2 in decreasing order.
c, 2, -5
Let t = -9 + 24. Suppose -4*x + 10 = -2*r, -2*x = -x + 3*r + t. Put -4, x, -2 in descending order.
x, -2, -4
Let m(o) = o**3 + 10*o**2 - 12*o - 6. Let r be m(-11). Suppose -2*t - 4 = -2*n, -2*t + 0*t + 11 = 3*n. Sort 6, t, r in descending order.
6, r, t
Suppose -r = 2 - 0. Suppose -4*m + b = -14, 5 = -5*m + 3*b + 26. Put r, -1, m in decreasing order.
m, -1, r
Let t = -5 + 4.7. Let c = t - 0. Let k = c + 3.3. Sort 0.4, 2, k in decreasing order.
k, 2, 0.4
Let a = 1 + 4. Let w(k) = 5*k**3 - a*k**3 - k + 2*k**3. Let y be w(-1). Sort y, 1, 0.
y, 0, 1
Let n = -5 + 4.96. Let k = 5.04 + n. Sort 0.2, k, -5 in ascending order.
-5, 0.2, k
Let q(i) = i**2 + 6*i - 5. Let z be q(-7). Sort 0, -5, z in descending order.
z, 0, -5
Let g = -5.3 - -5. Let u be (-7)/(5/2 + -2). Let t be (-2 - -4)/(2 - u). Put t, -1/3, g in increasing order.
-1/3, g, t
Let x = -11 + 12. Sort 3, x, -5 in decreasing order.
3, x, -5
Let b = -0.51 + 0.01. Let a = -1.94 + -0.06. Let g = 1.6 + a. Sort g, 2, b in descending order.
2, g, b
Let m(i) = -i - 10. Let a be m(-10). Suppose -2*w - 3*w - 5 = a. Suppose 0 = -0*y - y - 3. Put 4, y, w in decreasing order.
4, w, y
Suppose 20 = -3*m - m. Suppose 3*u + 0 = -5*j + 30, -5*j = u - 20. Suppose 13 = 4*w - 3*i + 4*i, i = 2*w - 5. Sort m, u, w.
m, w, u
Let d = -15 + 10. Sort d, 0.1, 5 in increasing order.
d, 0.1, 5
Let l(o) = o**3 - o**2 - o + 1. Let w be l(0). Let a = 14 + -11. Sort 0, a, w in descending order.
a, w, 0
Suppose m - 2 = 2*w - 5, -3 = m + w. Suppose 9 = -o - 5*j, 0*o = -o - 2*j - 3. Let q = m + o. Sort -3, -5, q.
-5, -3, q
Suppose 6 = -2*k - 20. Let r be (-1)/4 + k/(-4). Sort -4, -3, r in increasing order.
-4, -3, r
Suppose 0*y = 2*y + 5*t + 24, 2*t = -3*y - 14. Let r be y - 1/((-18)/39). Let b = 3 - 1. Put b, -3, r in descending order.
b, r, -3
Suppose -179*l = -175*l - 20. Put l, -12, 2 in descending order.
l, 2, -12
Let r be 3/6 - 28/8. Let b = 1/165 + -58/495. Sort b, 2/17, r.
r, b, 2/17
Suppose o - 3*n - 7 = 10, 4*o = 2*n + 38. Let v be o/(-3)*(-18)/(-12). Let f be (-2)/2 - (1 - 3). Put f, v, -2 in descending order.
f, -2, v
Let w = 1 + -1. Let d(h) = h**3 + h**2 - 2*h - 3. Let g(n) = n**3 + n**2 - n. Let r(l) = d(l) + g(l). Let p be r(-2). Put w, p, 3 in decreasing order.
3, w, p
Let x be (3 - 2 - -5)/(-2). Put -2, -4, x in decreasing order.
-2, x, -4
Let i = -1.5 - -1.44. Let s = -3.94 + i. Sort -5, -0.5, s in increasing order.
-5, s, -0.5
Let o = 10/19 - 92/247. Let r = 35/132 - 1/66. Sort r, 1/8, o in ascending order.
1/8, o, r
Let v be (-2)/(-4)*6/5. Let t = -2/5 + v. Sort -0.5, -0.2, t in ascending order.
-0.5, -0.2, t
Let v = 4 - 10. Let m = -6.3 - v. Let u be 2 - 1 - (-10)/(-14). Sort -2, m, u in increasing order.
-2, m, u
Let o(n) = -n**3 + 9*n**2 - 8*n + 5. Let c be o(8). Sort c, 4, 3, -2 in decreasing order.
c, 4, 3, -2
Let s = -1 + 8. Let p = s + -9. Put 3, p, -1 in ascending order.
p, -1, 3
Let r be (2 - (-6)/(-1))*9/(-12). Let b(c) = c**3 - 7*c**2 + 6*c. Let w be b(6). Let u be -1 - (-1 - (w - 2)). Put -4, r, u in decreasing order.
r, u, -4
Suppose 2*k + 31 = 5*y, 5*y + 6 = -4*k + 19. Let d be 4/(-12) + 28/30. Let f = -0.6 - 1.4. Sort d, f, k.
k, f, d
Let c = 0.6 - 3.6. Let r = -0.06 - -4.06. Let s = 0.8 - 1. Sort s, r, c in increasing order.
c, s, r
Suppose u - 4*u + 26 = 5*i, -3*u + 2 = -i. Suppose -5 - i = 3*r. Let w be 6/(-130) + 12/(-78). Put r, w, 2 in ascending order.
r, w, 2
Let z(j) = -j + 5. Let m be z(6). Suppose 4*g - 9 = 3. Suppose -2*u = -5*n - 11, 10 - 1 = g*u - 5*n. Put m, u, 2 in increasing order.
u, m, 2
Let c be (4/12)/(6/45). Sort -3/4, c, -4 in descending order.
c, -3/4, -4
Let z = 0.1 + -0.1. Let t = z + -4.5. Let r = t + 5. Put -3/2, r, -5 in increasing order.
-5, -3/2, r
Let i(y) = y + 3. Let r = 1 + -1. Let n be i(r). Suppose -3*b - 4*o = 16, 0 = -4*b + n*b + 3*o - 1. Sort b, -2, 0 in decreasing order.
0, -2, b
Suppose 3*k - 7 + 0 = 2*g, 2*k = -g - 7. Let b = 2.5 + -2.26. Let w = 0.74 - b. Sort k, w, -5 in descending order.
w, k, -5
Let j(l) = -l**2 + 14*l - 44. Let v be j(8). Put -5, -25, v in ascending order.
-25, -5, v
Let i(d) = -d**2 + 5. Let w be i(4). Let g be 0 + 3 + (w - -2). Let m be ((-9)/(-16))/(g/(-4)). Put 2/7, m, 1/6 in decreasing order.
m, 2/7, 1/6
Let u(s) = 15*s**2 - s - 1. Let o be u(-1). Let c = -5 + o. Suppose 4*a + 3*q = c, -3*a + 2*a - 5 = -3*q. Sort -1, a, -3 in ascending order.
-3, -1, a
Let u(l) = -l**2 - 9*l - 10. Let v be u(-8). Let y = 1172/15 + -78. Sort y, -0.4, v in ascending order.
v, -0.4, y
Let q = -2 + 5. Let x = 17 + -20. Let b = -6 - x. Put q, 0.1, b in decreasing order.
q, 0.1, b
Let z be 25/(-10)*-2 - -4. Put 3, 4, z in decreasing order.
z, 4, 3
Let i = -5 + -3. Let k = 9 + i. Sort 4/11, k, -4 in descending order.
k, 4/11, -4
Let p = 21 - 21.1. Sort 0, -2, -1/3, p.
-2, -1/3, p, 0
Let j(r) = r - 16. Let g be j(17). Put -2, g, 10, 0 in descending order.
10, g, 0, -2
Let j = -21 + 21.3. Sort -3, -13, 3, j in increasing order.
-13, -3, j, 3
Suppose 0 = 2*p - 0*p - 2. Let j be (-1)/(-4) - (-36)/(-16). Let q(v) = -v. Let b be q(j). Sort b, p, -4 in increasing order.
-4, p, b
Let x be (-4)/(-6) + (-10)/6. Let v(p) = p. Let i be v(-5). Sort x, i, -2/7 in ascending order.
i, x, -2/7
Let k = 16 - 21. Sort 1, -4/5, k.
k, -4/5, 1
Suppose 2*o = -4*v + v + 14, -2*v + 4 = 0. Sort 21, -4, o, 2 in ascending order.
-4, 2, o, 21
Let f be ((-27)/14 - -2)*2. Let j = -3 - -3.5. Let g = 0.5 - j. Sort f, -4, g.
-4, g, f
Let w = 13 - 10. Suppose 37 = 2*r - 2*m - w*m, -4*r - 2*m = -14. Let z be 261/198 + r/(-4). Sort z, -1/3, -1 in descending order.
z, -1/3, -1
Suppose 4*r - 6 = -3*v, 10*v - r - 10 = 5*v. Let d = 240 + -244. Sort 1/4, d, v in ascending order.
d, 1/4, v
Let r = 14 + -6. Let v = 8 - r. Suppose -w + 6*w - 20 = v. Sort w, -1, -4 in increasing order.
-4, -1, w
Let r = -6 - -8. Suppose -y - o + 45 = 0, r*y - o = 7*y - 233. Let u = y - 232/5. Put 2, u, -3 in ascending order.
-3, u, 2
Suppose 8 - 3 = -5*z. Sort 5, z, 0.
z, 0, 5
Let c = -0.01 - 0.09. Let p = c - -0.4. Put -4, 2/9, p in descending order.
p, 2/9, -4
Let t = 79 + -552/7. Let w = 0.14 + 14.86. Let m = w + -19. Put 0.2, t, m in ascending order.
m, t, 0.2
Suppose -b - 4*b - 10 = -5*y, 20 = -4*y - 3*b. Put y, -5, -16 in increasing order.
-16, -5, y
Suppose -3*n - n - 4 = 0. Let k = -1 - n. Suppose j + j - 4 = k. Put -1, 1, j in descending order.
j, 1, -1
Let l = -30.7 + 31. Put 0.1, 5, l, -2/9 in ascending order.
-2/9, 0.1, l, 5
Let i be (-1 - 2/(-6))/((-32)/16). Let v = -8.3 - -8. Let r = 0.8 - 0.3. Sort v, i, r in decreasing order.
r, i, v
Let r be 0/2 + 2 + -7. Let s(y) = y + 10. Let k be s(-6). Sort 5, k, r in ascending order.
r, k, 5
Let b = 0.1 + 0.3. Let o = -5.2 - -2.2. Sort b, o, 2 in ascending order.
o, b, 2
Let r = 3 + -4. Suppose v - 5 + 2 = 0. Put 1, v, r in ascending order.
r, 1, v
Let i = 1 - -2. Let t = 473 + -981/2. Let y = 17 + t. Put y, 0, i in increasing order.
y, 0, i
Suppose 3*r - 15 = -3*w, 4*w - r = r - 10. Suppose k + 5 = -0*k. Sort 2, w, k in decreasing order.
2, w, k
Let x be (1/(-2))/((-45)/(-30)). Put 0.4, -0.05, x, 4 in decreasing order.
4, 0.4, -0.05, x
Let b(z) = -z**2 - 5*z - 6. Let u be b(-4). Put 4, 0, 10, u in descending order.
10, 4, 0, u
Let d = 0.058 - -0.042. Put -1/3, 0.3, 3/5, d in increasing order.
-1/3, d, 0.3, 3/5
Suppose 4*