ng order.
r, -4, d
Let w = -24 - -27. Suppose 0 = -5*x + 8*x. Sort w, x, -2 in increasing order.
-2, x, w
Let p be (12 + 0)/((-60)/80). Sort -0.5, -4, p in descending order.
-0.5, -4, p
Let y = -1073/126 + 60/7. Put -4, 3, y, 0.5 in descending order.
3, 0.5, y, -4
Let j = -0.31 + 0.17. Let z = 1.86 - j. Put 0.4, -2/9, z in ascending order.
-2/9, 0.4, z
Let p(g) = g**3 - 4*g**2 - 4*g - 5. Let f be p(5). Put 5, f, -2 in increasing order.
-2, f, 5
Suppose 12 = -5*b - 3*i, 4*i - 8 = -3*b + 6*i. Let o(j) = -j - 1. Let n be o(4). Suppose l - 5 = -2. Sort b, l, n in descending order.
l, b, n
Let d be (-3)/(-6)*36/3. Suppose -3*o + 7 = -2*j + j, -3*j + d = 0. Let m be (0 - -1)/(o/(-3)). Sort 3, 0, m.
m, 0, 3
Let h(i) = -i**2 + 8*i**2 + 2 - i**3 + 3. Let p be h(7). Suppose 4*b - 4 = q, 0 = -3*q + 4*b + 3 + 1. Sort p, q, 3 in ascending order.
3, q, p
Suppose 4*r = 2*r + 20. Suppose 2*m - r = -3*m. Suppose d + 9 = -m*d. Sort 4, 2, d.
d, 2, 4
Let z be (-22)/12 + (-13)/78. Put 0, 5, z in ascending order.
z, 0, 5
Let x = 8 - 4. Let w be (-4)/22 - (1 - 1). Let r be 1/2*4/(-5). Sort r, w, x.
r, w, x
Let z = -20.002 + 0.002. Let r = z + 16. Sort r, -1, 0.5.
r, -1, 0.5
Let o = -5 - 0. Put -4, o, 2 in decreasing order.
2, -4, o
Let p be (-2)/((0 - 3)/6)*1. Put p, 3, -4 in decreasing order.
p, 3, -4
Let u = -16 - -18. Sort -2, u, 0.2 in decreasing order.
u, 0.2, -2
Let f be -4 - (-4 - (-4)/10). Put 1, 2, f in increasing order.
f, 1, 2
Let p = 21/4 + -23/4. Let h = -7/6 - p. Sort h, -6, 0.4 in decreasing order.
0.4, h, -6
Let d(b) = b**2 + 3*b - 1. Let w be d(-4). Let q = 22 - 23. Sort q, w, 5 in ascending order.
q, w, 5
Let z = 96 - 88. Sort -2, z, -3, 3 in ascending order.
-3, -2, 3, z
Let x = -2 - -2.3. Suppose 145 = -2*z + 691. Let c be (-4)/(-26) - 3/z. Put x, c, -4/3 in ascending order.
-4/3, c, x
Let y = -4 - -3.6. Sort y, 0.11, -1/6 in ascending order.
y, -1/6, 0.11
Suppose 6*p + 16 = 46. Sort -3, p, 1.
-3, 1, p
Let c = -0.23 + 0.13. Sort 3, c, -10 in decreasing order.
3, c, -10
Let c = 19 + -19. Let k be c - 3/(-6)*2. Sort k, -5, 5.
-5, k, 5
Let m(f) = 2*f - 2. Let g be m(-3). Let q be 1 + 4 - g/(-4). Sort 4, q, 1 in decreasing order.
4, q, 1
Let m(i) = -2*i**2. Let t be m(-1). Let z be t/(-4)*8/(-6). Let s be -2 + 4 + (-32)/14. Sort z, -0.2, s in descending order.
-0.2, s, z
Let i(q) = -q - 7. Let n be i(-3). Put 6, n, -1 in increasing order.
n, -1, 6
Suppose 4*d - 2*d + 6 = 0. Put 0, d, -2 in increasing order.
d, -2, 0
Suppose -1 + 19 = 6*c. Put 1, c, 0 in decreasing order.
c, 1, 0
Let b = -478/5 - -96. Let d be ((-10)/66)/(2/(-6)). Let m = -40/33 - d. Sort -3, b, m in descending order.
b, m, -3
Let m(v) = -v - 5. Let b be m(-7). Let u be b + 2/(-1) + 0. Suppose u*x + 4*k - 6 = x, -3*k = -4*x - 11. Sort 2, -3, x.
-3, x, 2
Let b = 9 - 9.4. Put b, -3, 0.5 in increasing order.
-3, b, 0.5
Let c = -1 + 3. Sort 0, 4, c, -5.
-5, 0, c, 4
Let w = -17 + 19.5. Let i = -2.4 + w. Put -1, i, -2 in increasing order.
-2, -1, i
Let d = -2 - -1. Let t = -119605/41 - -2917. Let v = t - -234/779. Put 0.2, d, v in decreasing order.
0.2, v, d
Let b be 1 - 0/(0 - -3). Sort b, 3, 5 in decreasing order.
5, 3, b
Suppose 4*d = -3*h + 32, 0 = d - 0*d - 5*h + 15. Suppose 3*s + s + 16 = 0. Let m be (-2)/(-4)*(-2 - s). Put -5, m, d in increasing order.
-5, m, d
Let s = -218473 - -1968343/9. Let m = 232 - s. Suppose -8 = 2*l - 0*a + 4*a, 5*a + 15 = 0. Sort l, -2, m in ascending order.
-2, m, l
Let h = 10 + -4. Suppose 0 = -3*u + 2*u + 3*g + 10, 0 = -3*g - 6. Put u, h, 0 in descending order.
h, u, 0
Suppose d = -2 + 10. Suppose -5*x + 13 = d. Put x, 0.4, 2 in descending order.
2, x, 0.4
Suppose 5*s + 11 = 4*a, a - 5 = 3*s - s. Let m be (-1 - 8/s)*3. Suppose -m = -6*k + k. Put k, -1, -2 in increasing order.
-2, -1, k
Let f be (4/56)/((-2)/(-2012)). Let b = f - 72. Sort -3, 0.5, b.
-3, b, 0.5
Let c = -0.032 + -0.568. Sort -0.1, -3, c, 2.
-3, c, -0.1, 2
Let d(c) = c**3 - 13*c**2 - 15*c - 8. Let s be d(14). Let b = s + 21. Put -4, 4, b in decreasing order.
4, b, -4
Suppose 2*c - 9 = -c. Suppose c*o - 10 = 8. Suppose 0*u + 4*u - 16 = 0. Put u, o, -5 in descending order.
o, u, -5
Let x = 0.1 + 0.3. Let y = 0.36 + 0.04. Let d = y + -0.3. Sort 0.5, d, x in decreasing order.
0.5, x, d
Let v(c) = -2*c**2 + 12*c + 16. Let t be v(7). Put -12, 3, t in decreasing order.
3, t, -12
Let n be ((-12)/(-84))/((-4)/(-7)). Sort -5, n, -4/5 in decreasing order.
n, -4/5, -5
Let n = 1.08 - 0.98. Put n, 2/3, 4 in decreasing order.
4, 2/3, n
Let f = -5/33 - -124/165. Sort -0.29, f, -3.
-3, -0.29, f
Suppose n - 14 = 3*n. Let j be (n - -5)*(-2)/1. Suppose p = j - 0. Put -1, p, -3 in increasing order.
-3, -1, p
Suppose -3*j = -4*p - 19, 3*j = -0*j - 5*p + 10. Suppose 5*w = 4*i - 7*i + 6, -5*w = j*i. Suppose -2*c + 1 - 7 = 0. Put w, c, 2 in descending order.
w, 2, c
Let x = 2 + 5. Let y be (-2)/(x/((-21)/6)). Let l be (1/3)/(8/18). Put y, -2, l in decreasing order.
y, l, -2
Suppose 0*g - 5*s = -4*g + 76, -16 = 4*s. Suppose -4*a + 3*b + g = -2*a, -4*a + 3*b + 16 = 0. Let y be (50/(-15))/((-6)/9). Put y, a, 0 in ascending order.
0, a, y
Let t be -3 + (140/12)/5. Sort 0.2, t, -1 in descending order.
0.2, t, -1
Suppose -z - 12 = 2*z. Let t(q) = -q**2 + 15*q - 12. Let u be t(14). Let x(m) = m**2 + 7*m + 7. Let h be x(-6). Sort u, z, h in decreasing order.
u, h, z
Let v = -6 - -15. Suppose 0 = -2*n + 3*c - 7, 2*c - v + 1 = -2*n. Let d(b) = b**2 + 3*b + 1. Let u be d(-4). Sort u, -2, n in decreasing order.
u, n, -2
Let i = 9 - 14. Let q = i - -1. Sort q, 4, -2/7.
q, -2/7, 4
Let l = -16 + 20. Sort 3, 5, l in descending order.
5, l, 3
Let q = 5 + -4.9. Put 3, 4/7, q in ascending order.
q, 4/7, 3
Let v be -1*(-2)/((-4)/2). Sort 1, -2, v in increasing order.
-2, v, 1
Suppose 23*y + 55 = 12*y. Sort y, 4, -8 in decreasing order.
4, y, -8
Let p(d) = d**3 + 13*d**2 + 11*d - 9. Let g be p(-12). Let w be (-1)/(3 - 4) - g. Let n be (-26)/5 - 3/(-15). Put 5, w, n in descending order.
5, w, n
Let z(k) = k**2 + 8*k + 9. Let u be z(-4). Let a be 1/2*2*3. Let b be (a + (0 - 1))/u. Sort -3, 5, b in descending order.
5, b, -3
Let q(u) = -u - 14. Let k be q(-11). Sort 0, k, 2 in descending order.
2, 0, k
Let f = 3 - 3. Suppose f*q - 5*q + 5*w = 5, 3*q - w + 3 = 0. Let i(j) = j**3 + 7*j**2 - 8*j + 1. Let n be i(-8). Put q, n, -5 in ascending order.
-5, q, n
Let u = 98 - 95. Put -2, u, -4 in decreasing order.
u, -2, -4
Let g(q) = 2*q**2 - q - 7. Let n(u) = -3*u**2 + 2*u + 11. Let c(l) = 8*g(l) + 5*n(l). Let z be c(-3). Put 1, z, 3 in descending order.
3, z, 1
Let r = 4 - 5. Put r, 4, -12 in decreasing order.
4, r, -12
Suppose -37 = 5*z - 4*x + 3, z - 5*x + 29 = 0. Suppose -a - 4*a + 10 = 0. Put -5, z, a in increasing order.
-5, z, a
Let f be 5/(10/8) - 1. Suppose -5*s + 35 = -4*u, 9 = -3*s + s - f*u. Let q(z) = -z**3 + 2*z**2 + 5*z - 2. Let l be q(s). Sort -3, l, -2/3.
-3, -2/3, l
Suppose -o + 6 = 8. Sort o, -3, 3.
-3, o, 3
Let d = 42 - 41. Sort d, -3, 3 in decreasing order.
3, d, -3
Suppose 0*v - 2 = -2*v. Suppose 10 = -5*n + 85. Let y = n - 11. Sort y, v, -5 in decreasing order.
y, v, -5
Let d = -1.8 + -1.7. Let x = 4 + d. Let n = x - 0.7. Put n, 0.2, -5/2 in descending order.
0.2, n, -5/2
Let o = -8 - -3. Sort -4, o, 1 in increasing order.
o, -4, 1
Let c(q) = -q**3 - 7*q**2 - q - 3. Let g be c(-7). Let t = g + -2. Sort -5, -6, t in descending order.
t, -5, -6
Let a = -10 - -5.6. Let u = a + 3. Let f = u + 0.4. Sort -2/5, 1, f in decreasing order.
1, -2/5, f
Suppose 0 = -9*s + 4*s. Suppose 0 = -s*v - 3*v + 6. Let f be v/(16/(-10)) + 2. Put f, 2/15, 0.1 in increasing order.
0.1, 2/15, f
Let r = -33.2 + 33. Put 0.2, r, 0.3 in ascending order.
r, 0.2, 0.3
Let a = -7 + 6. Let o = a + 2. Sort -0.5, 4, o.
-0.5, o, 4
Let l(f) = -f - 7. Let b(x) = x + 7. Let y(s) = -3*b(s) - 2*l(s). Let r be y(-7). Sort r, -5, -2 in descending order.
r, -2, -5
Suppose 4*r = 4 + 8. Sort r, 5, -2.
-2, r, 5
Let o = -7.14 - -7. Put -0.3, -3, o in descending order.
o, -0.3, -3
Suppose t - 5*t = 5*d - 8, -4*t + 8 = -5*d. Suppose -2*k = 2*k. Suppose 2*a = -3*h - 5 - 4, a - 3*h = k. Sort d, a, 3 in increasing order.
a, d, 3
Suppose -15 - 21 = -2*i. Let c = i + -22. Sort -5, -2, c.
-5, c, -2
Let l be (12 - 0)/(48/(-32)). Sort l, 5, 4.
l, 4, 5
Let f = -50 + 54. Let s = 3