in descending order.
4, a, -3
Suppose -5*j = -4*i - 3 - 22, -2*i - j = -5. Put i, 12, -0.2 in decreasing order.
12, i, -0.2
Let n be ((-3)/(-2))/(3/(-4)). Put -1, 10, n in ascending order.
n, -1, 10
Suppose 47 = 6*k + 71. Let j be (-2)/(-4) - 14/(-4). Sort j, k, 5 in ascending order.
k, j, 5
Let d(b) = -b**3 + 13*b**2 + 28*b + 22. Let w be d(15). Put 3, 1, -4, w in descending order.
3, 1, -4, w
Let u = -69/2 - -36. Put u, 2/3, 0, 1 in ascending order.
0, 2/3, 1, u
Let o(m) = -3*m + 5. Let r be o(3). Sort -2, r, 1 in decreasing order.
1, -2, r
Let v be (-3)/(2 + -3*1). Let s = -6 + v. Let g be (-6)/27 + (-68)/18. Sort 1, s, g.
g, s, 1
Suppose 0 = g + g + 8. Suppose 0*i + 1 = i. Put i, -5, g in decreasing order.
i, g, -5
Suppose -4*m + 3*b - 4 = 1, 15 = -m - 2*b. Put m, -8, -2, 1 in ascending order.
-8, m, -2, 1
Let t = 42 - 43. Put 13, -3, t in ascending order.
-3, t, 13
Let k be (-2)/(-9) + (-352)/(-198). Sort -2, k, 1.
-2, 1, k
Suppose -2*r + 1 = -11. Let k be (6/5)/(r/(-20)). Sort 8, 2, k in ascending order.
k, 2, 8
Suppose -m - 1 = -4. Put 2, m, 5 in decreasing order.
5, m, 2
Let a be 3/((-3)/2*20/(-30)). Suppose -4*d - 4*w + 4 = 0, -3*w - 1 - 6 = d. Sort -3, a, d in ascending order.
-3, a, d
Suppose 3*o + 2*o = -25, 4*w - 13 = 5*o. Sort 5, -4, w, -5.
-5, -4, w, 5
Suppose -4*y + 2*y + 8 = 4*s, -20 = -5*y + 5*s. Put 0, y, 5 in ascending order.
0, y, 5
Let c(g) = g**2 - 2. Let f = -13 + 11. Let o be c(f). Sort o, 1, 4 in descending order.
4, o, 1
Suppose 2*b - 2*g = 8 - 0, -3*b + 16 = -4*g. Suppose 0 = 4*v + 19 - 7. Let s be b + 4 + v + 2. Sort -2, 5, s in decreasing order.
5, s, -2
Let i = 14.26 - 126.22. Let z = i - -109. Let l = 0.04 - z. Sort 2, -2, l in descending order.
l, 2, -2
Let r = -335.94 + 319. Let b = -17 - r. Put 4, b, -0.3 in ascending order.
-0.3, b, 4
Let t be (-75)/(-7) - (-2)/7. Suppose 5*w - 9 = t. Let p = w - 2. Put p, -3, -1 in increasing order.
-3, -1, p
Let n = 0.29 - -0.71. Sort n, 0.3, 36 in decreasing order.
36, n, 0.3
Let c = -28 - -38.5. Let s = c - 11. Sort s, -2, 5 in increasing order.
-2, s, 5
Let h(l) = l**2 + 6*l + 1. Let y be h(-5). Let o = -20.9 - -22. Let s = 0.1 - o. Sort s, y, 1/7.
y, s, 1/7
Let p be -3 + 11 - (6 + -3). Put -2, p, 0 in ascending order.
-2, 0, p
Let u(s) = -s**3 + 5*s**2 + 8*s - 5. Let h be u(5). Suppose 3*x = -2*x + p - h, -16 = x - 2*p. Let i = 4 + x. Sort i, -1/5, 2 in descending order.
2, -1/5, i
Let m(l) = -9 + 2*l**3 + 8*l**2 - 5*l - 3*l**3 + 0*l**3. Let y be m(7). Let r(a) = -a**3 - 5*a**2 + 5*a - 6. Let i be r(-6). Put y, i, -1 in increasing order.
-1, i, y
Let d = -13.9 + 10.9. Put 0, 25, d in ascending order.
d, 0, 25
Let p = -1.2 + 1. Let n(i) = 0*i - 2 - 4*i - 5 + i. Let w be n(-4). Sort w, -1/3, p in descending order.
w, p, -1/3
Let z = -1 - -2. Let y be 5 - (z + 2) - 7. Put -3, y, -0.05 in decreasing order.
-0.05, -3, y
Let i be (6 - 2)*1/2. Suppose 3*r - 2*r + 2*h = 0, i*r + 5*h = 2. Let w = -0.7 - -0.4. Sort w, -2, r.
r, -2, w
Let z be 3*3/4 + -2. Let v = 43/3 + -14. Put v, 0.1, z in increasing order.
0.1, z, v
Let c(o) = -o**3 - 6*o**2 - 6*o - 5. Let d be c(-5). Let y(j) = j**3 - j**2 - j. Let s be y(2). Suppose s*l + 2 = -0. Sort l, -2, d in increasing order.
-2, l, d
Let t(h) = h - 1. Let w(z) = -z + 9. Let j(x) = 2*t(x) + w(x). Let v be j(-5). Suppose v*r = -3*r. Sort 4, r, 3 in ascending order.
r, 3, 4
Let i be (-20 + -5 + 10)*1/(-3). Put 1, i, -1 in decreasing order.
i, 1, -1
Let y(k) = -k**3 + 3*k**2 - 2*k - 1. Let u be y(2). Let x(o) = -6*o**3 + 2*o + 1. Let c be x(u). Sort 2, 1, c in decreasing order.
c, 2, 1
Let x = -5.3 - -5. Let r = -14 + 14.7. Let p = r - x. Sort 4, p, -5.
-5, p, 4
Suppose -6*o = -4*o - 8. Sort -5, -6, o in decreasing order.
o, -5, -6
Let r = -21 - -21.2. Let b be 3 + 26*1/(-10). Put -2, r, b in increasing order.
-2, r, b
Let b = -0.06 + 0.36. Let a = -14 + 13. Let l = -1 - -1. Put b, l, a in ascending order.
a, l, b
Let n = 10 + -7. Suppose n*r + 14 = 5. Let c be 3/(12/1)*r. Put c, 1/11, -1/5 in ascending order.
c, -1/5, 1/11
Let m be (-8)/(-12) + (-4)/9. Sort -3/4, 0, m, -1 in increasing order.
-1, -3/4, 0, m
Let k = 77 + -78. Put 4, -2, k in descending order.
4, k, -2
Let y be (3/(-6))/(3/(-6)). Sort 3, 4/5, y in ascending order.
4/5, y, 3
Let r = -0.03 + 2.03. Sort -2/3, 11/6, r in descending order.
r, 11/6, -2/3
Suppose t = 5*t - 16. Suppose -2*c - 2*c + t = 0. Put c, 0, 5 in descending order.
5, c, 0
Let f = -13 - -8. Let k = -9 + 5. Put k, f, -2 in ascending order.
f, k, -2
Let c = -0.3 - -0.29. Let d = 1.99 - c. Sort d, 4/7, 0.1 in increasing order.
0.1, 4/7, d
Let d = -2/11 - -15/22. Sort -5, 5, -1/3, d.
-5, -1/3, d, 5
Let s = 18 - 4. Suppose -f = 2*u - 1, -5*f = -5*u + 11 + s. Sort -0.2, -0.4, f.
f, -0.4, -0.2
Let t = 19 + -17. Suppose 0*i = 5*i + 10. Sort i, t, 0 in ascending order.
i, 0, t
Let j(o) = o**2 + 2*o - 11. Let r be j(-5). Let m = r - 9. Let y = -11 + 7. Sort -1, y, m in decreasing order.
-1, y, m
Let z = -345 - -356. Let a be (1 + -11)/((-6)/3). Sort z, 2, a in decreasing order.
z, a, 2
Let n(g) = -g**2 - 7*g - 4. Let a be n(-6). Suppose 2*r + 2*r = 0. Put -1, r, a in ascending order.
-1, r, a
Let a = -16/3 + 5. Sort 0.04, a, -3.
-3, a, 0.04
Let a = -0.8 - -1.3. Let j = -0.08 + -0.52. Let i = a + j. Sort 4/5, i, -1/4 in increasing order.
-1/4, i, 4/5
Let o = -7 - -3. Let p = o - -1. Sort p, -0.5, -2/3 in increasing order.
p, -2/3, -0.5
Suppose -24*a = -8*a - 18*a. Suppose 0 = -3*t - 3*i - 12, -4*t + 2*t + 3*i = 3. Put t, -1, a in ascending order.
t, -1, a
Let u = 2 - 6. Suppose 0*q - f = -q + 4, 0 = -2*q - 4*f - 16. Put -2/3, q, u in decreasing order.
q, -2/3, u
Let w = 0.2 - 0. Let u = -0.7 + w. Let t = 0.5 + 4.5. Put -4, u, t in increasing order.
-4, u, t
Let z be (-10)/8 + 9/(-36). Let k = 67/3 + -22. Let l = 1 + -1. Sort k, z, l.
z, l, k
Suppose 3 = 2*t + t. Suppose z - t = -2. Sort 1, -0.4, z in descending order.
1, -0.4, z
Suppose -13*m = -11*m - 8. Suppose 3 - 5 = -r. Suppose -m*s + 2 = -r*d, 2*s + 3 = -3*d - s. Put 5, d, -3 in descending order.
5, d, -3
Let y be (30/12)/((-1)/(-2)). Suppose 4*x - 3 = y. Let f = -4 + x. Sort f, 0, 1.
f, 0, 1
Suppose 2*a - 5*a + 0*a = 0. Sort -6, a, 2, 4.
-6, a, 2, 4
Let t = -75 + 70. Sort t, 2, -0.04 in decreasing order.
2, -0.04, t
Let b be (4/6)/((-28)/294) + 2. Suppose -2*x = -4*a + 22, -a + 21 = 2*a - 3*x. Suppose -3 = 3*k - a*k. Put k, 5, b in decreasing order.
5, k, b
Suppose 4 + 11 = 5*p. Let d = -4.9 + -0.1. Sort 5, d, p in decreasing order.
5, p, d
Let p = -793/7 - -113. Sort -0.3, p, 2 in decreasing order.
2, p, -0.3
Let m(f) = -4*f + 14. Let g be 2 + 0 - (14 + -16). Let u be m(g). Put -4, u, -1 in ascending order.
-4, u, -1
Let i = -1.2 + 0.2. Let g = 5 + 5. Suppose -6 = 4*n + g. Sort i, n, -2/5 in decreasing order.
-2/5, i, n
Let z(i) = i**3 + 7*i**2 - i - 5. Let g be z(-7). Put 5, 0.3, g in decreasing order.
5, g, 0.3
Let g = 173.1 + -173. Put -17, 0.2, g, 1/3 in descending order.
1/3, 0.2, g, -17
Let t = -0.36 + 0.06. Sort t, 2, -0.1 in decreasing order.
2, -0.1, t
Let j(h) = h**2 + 12*h + 23. Let f be j(-10). Let l(b) = b + 8. Let n be l(-7). Sort f, 2, n in descending order.
f, 2, n
Let h = -3 + 1. Suppose 0*s + s - 5*m = -24, -3*s + m = 16. Sort s, 4, h in decreasing order.
4, h, s
Let l(b) = -b**3 + 5*b**2 + 5*b + 5. Let v be l(6). Let g = -2 - v. Sort g, -4, 4 in decreasing order.
4, g, -4
Suppose 4*i + 9 = 4*y - 15, -5*i = -2*y + 27. Suppose -l = 2*l + 6. Let m be (l - -1)*(3 + 0). Sort y, 2, m in ascending order.
m, y, 2
Let y be 1/(-1) + (-36)/(-28). Let p(z) = z - 1. Let u be p(0). Put -5, u, y in descending order.
y, u, -5
Suppose -2*m + 22 - 1 = 5*l, -21 = -3*m - 4*l. Let k(f) = 2*f + 0*f - m*f. Let x be k(1). Put 4, 3, x in ascending order.
x, 3, 4
Suppose 4*g + 6 = -2. Suppose 4*b - 5*r = -0*r - 7, -5 = 5*r. Put g, b, 1 in ascending order.
b, g, 1
Suppose 7 = -9*l + 2*l. Let h = 0 + 0.2. Put l, h, 5 in descending order.
5, h, l
Let v = 1223/13 + -94. Let h = 397/1908 + 3/212. Sort v, -1, h.
-1, v, h
Let c(u) = -8*u + 6. Let z(o) = -7*o + 7. Let d(k) = -5*c(k) + 6*z(k). Let w be d(8). Put 1, w, -3 in descending order.
1, -3, w
Let w be 17/5 + -3 + 0. Sort -0.06, w, -0.3 in ascending order.
-0.3, -0.06, w
Suppose -2*l = -0*l - 10. Suppose 3*y = -3*k 