rder.
0.3, 0, w
Let x = 16 + -17. Sort 4, x, -8 in increasing order.
-8, x, 4
Let l = -29233/66 - -5071/12. Let z = -81/4 - l. Put -4, -0.3, z in decreasing order.
z, -0.3, -4
Suppose 0*x - 3*x = 0. Suppose s + 1 + x = 0. Sort -3, 1, s in descending order.
1, s, -3
Let z(u) = -u**2 - 2*u + 2. Let d be z(-3). Let j(o) = o**2 + o. Let v be j(d). Let f = 0 + v. Sort -1, 2, f.
-1, f, 2
Let w = -18 + 23. Sort -3/4, 4, w in descending order.
w, 4, -3/4
Let g be 18/3*3/(-18)*-2. Put 0, 3, g, -7 in ascending order.
-7, 0, g, 3
Let j(c) = -c**3 - 3*c**2 - c + 1. Let x be j(-2). Let i be (-1)/2 - 2*x. Let a = 17 + -17.1. Sort -3/5, i, a.
-3/5, a, i
Let h = -2.16 - -2. Let a = h + -0.34. Put 0, a, 5 in increasing order.
a, 0, 5
Let u = -24.6 - -25. Let m = -5.2 + 0.2. Sort u, 0.5, m in decreasing order.
0.5, u, m
Let g be (0 - -1)*(4 + -3). Let s be ((-1)/(-3))/((-8)/48). Suppose j + 6 = 4*j. Sort j, g, s in decreasing order.
j, g, s
Let p = 1.1 - -0.1. Let y = p + -0.8. Sort -1/3, -3/7, y in decreasing order.
y, -1/3, -3/7
Let l be (4/(-2))/2*-5. Let b(n) = 2*n + 10. Let r be b(-7). Let k be 1/(((-10)/r)/l). Sort -2, 3, k in ascending order.
-2, k, 3
Let w = 67 + -67. Sort -4, -3, w, -8.
-8, -4, -3, w
Suppose 4*u = -u + 5*z, 2*z - 10 = 4*u. Put u, 2, -1 in descending order.
2, -1, u
Suppose 15 = -2*o - o. Let q = 0.9 + 0.1. Let g be (-8)/9*(-3)/(-2). Sort q, o, g in increasing order.
o, g, q
Let k = 0.4 + 0. Let s = 0.2 - k. Let a = s + 0.4. Sort -5, -3, a.
-5, -3, a
Let c(d) = 4*d**3 + 9*d**2 - 7. Let v(h) = -2*h**3 - 4*h**2 + 3. Let s = 3 - -6. Let i(b) = s*v(b) + 4*c(b). Let z be i(1). Sort z, -5, -4 in increasing order.
-5, -4, z
Let d = -15/19 - 863/38. Let n = d + 23. Put -4, 1/3, n in descending order.
1/3, n, -4
Let i be 4 + -19 + 1 - -1. Sort -2, -5, i in decreasing order.
-2, -5, i
Let g(z) = -5*z - 2. Let x be g(-3). Let u be 5/3*(x - 10). Sort -4, 0, u in increasing order.
-4, 0, u
Let d(r) = 2*r + 2. Let t be d(-3). Suppose -2*l = -l + 2. Let u = 4 + -3. Put t, l, u in decreasing order.
u, l, t
Let t = 8.7 - 9. Let u = t + 0.3. Put 1/3, u, 5 in increasing order.
u, 1/3, 5
Let h(m) = m - 3. Let l be h(5). Suppose 2*r - x + 12 = 0, -l*x = 4*r + 2*x + 12. Sort r, -0.4, 2.
r, -0.4, 2
Let u = 6 - 0. Let w = 1 - u. Let g = 17/52 - 1/13. Sort 4, g, w.
w, g, 4
Let w(r) = -r**3 + r**2 + r + 6. Let p be w(0). Suppose p*m - 7*m = 0. Sort -3, m, -4.
-4, -3, m
Let k = 0.5 - 0.55. Put 3, k, -1 in descending order.
3, k, -1
Let p = 231 + -230. Let z = 129/8 + -16. Put z, p, -4 in increasing order.
-4, z, p
Let c = 97 - 94. Put 0, 9, c in descending order.
9, c, 0
Let o = -151 - -107. Let c be 6/15 - o/(-10). Sort -0.4, 0, c in descending order.
0, -0.4, c
Let f(u) = 5*u**2 - u. Let v be f(1). Sort -4, 6, v in descending order.
6, v, -4
Let o be (-2)/(-9) + (-1668)/54. Let w = o + 31. Let x be 4/9 - 2/6. Put w, 0.3, x in ascending order.
x, 0.3, w
Let r be 90/(-120) - (-234)/(-8). Put r, 5, 0 in increasing order.
r, 0, 5
Suppose -5*o = -10, 0 = 3*m + o + o - 13. Suppose -5*h = -3*h + 4. Sort h, 2, m in decreasing order.
m, 2, h
Let z be (-11)/9 + 4 + -5 - -2. Sort -1/5, 0.2, z.
z, -1/5, 0.2
Let i = 19 - 22. Put i, 2, 4 in decreasing order.
4, 2, i
Suppose -m + 15 = h - 5*h, 5*h - 4*m = -27. Put 7, h, 5 in ascending order.
h, 5, 7
Let c(k) = -k**3 + 10*k**2 - 10*k + 13. Let w be c(9). Let b(t) = -t + 8. Let g be b(7). Let i be 2/g + 3/3. Sort i, w, -3/8 in descending order.
w, i, -3/8
Let n(h) = -4*h + 72. Let i be n(17). Let o = -3 - -3. Let v = o + 5. Sort 2, v, i in decreasing order.
v, i, 2
Let m = 8 + -5. Let o be (2 - m)/(-1)*-89. Let x = o + 263/3. Sort 5, 4, x in increasing order.
x, 4, 5
Let q(p) = -4*p + 22. Let m be q(6). Put 0, m, 3 in descending order.
3, 0, m
Let c = 4 + -3.6. Let z = -5 - -5.7. Let l = z + -1.7. Put -2, l, c in decreasing order.
c, l, -2
Let l be ((-1)/(-1) + 1)/2. Let z = -5 + 4. Put 5, l, z in descending order.
5, l, z
Suppose -8*k + 4*k - 12 = 0. Put k, 6, -4 in increasing order.
-4, k, 6
Let z = -7 + 12. Let v be 44/(-10) - (1 + -5). Sort z, v, 0.1 in increasing order.
v, 0.1, z
Let y = 4 - 5. Let u = -0.9 - y. Sort u, 3, -2 in decreasing order.
3, u, -2
Let q = 1 + -3. Suppose -4*c + 25 = c. Sort 4, q, c in increasing order.
q, 4, c
Let u = 0.128 + 1.872. Put -0.5, 2/9, u, 4/7 in descending order.
u, 4/7, 2/9, -0.5
Let r(l) = -2*l**2 + 42*l - 5. Let a be r(21). Sort 8, a, -1 in descending order.
8, -1, a
Suppose -w - 3 = y + 6, 5*y + 5 = 5*w. Sort 3, w, 5 in decreasing order.
5, 3, w
Suppose 0 = -6*s - 2*s - 8. Let d(a) = -a**2 - 5*a + 3. Let o be d(-5). Suppose 0 = -o*r + 4*r + 5. Sort s, r, 0.
r, s, 0
Let f(o) = o**2 - 2*o - 36. Let w be f(6). Put w, -3/5, 0 in increasing order.
w, -3/5, 0
Suppose 0 = 2*y + 2*y. Suppose 5*c - 2*c + 4*j + 34 = 0, 0 = 4*c - 3*j + 12. Let b = c - -1. Sort y, 4, b in ascending order.
b, y, 4
Let n = -2.9 + 3. Let t = 3 + -4. Let x be (-15)/10*(-2)/7. Sort n, x, t in descending order.
x, n, t
Suppose 5*l - 3*z = 10, -2*l + 6*l = 3*z + 5. Let k(y) = -y**3 + 7*y**2 - 7*y + 3. Let r be k(6). Sort r, -5, l.
-5, r, l
Let p be (-7)/((-70)/(-4)) + (-4)/(-10). Sort -16, p, -3 in decreasing order.
p, -3, -16
Let c = 1 - 1.1. Let o be (4/20)/((-4)/5). Let y = -225 - -225. Sort c, o, y in increasing order.
o, c, y
Let l = -329819/6204 - 9/2068. Let o = l + 53. Put o, -2, -3/4 in descending order.
o, -3/4, -2
Let m be 32/42*12/16. Sort 2/17, 1, m in descending order.
1, m, 2/17
Suppose -5*l + 10 = -0. Suppose -l*r - 4 = -r. Suppose -3*n + 4*n = 2*d - 13, 3*n = 2*d - 23. Sort d, r, -2 in descending order.
d, -2, r
Let t be ((-4)/6)/((-4)/18). Suppose 2*f - 5*w = -t*f - 20, 6 = f + w. Let m = 3 + -6. Put f, -0.2, m in descending order.
f, -0.2, m
Let j = -0.41 + -0.09. Sort 0.2, 3, 5, j.
j, 0.2, 3, 5
Let n be 129/216 + (-2)/9. Let x = -4 + 5. Let a = -1.2 + x. Put n, -4, a in ascending order.
-4, a, n
Suppose 5*p + 10 = 3*u, -p + 2*p + 2 = -2*u. Suppose 3*b + u*b - g = 17, 4*b - 3*g - 26 = 0. Put b, -2, -1 in descending order.
b, -1, -2
Let p = -0.2 - 0. Sort 2/7, p, 0.08.
p, 0.08, 2/7
Let p = -12 - -9. Suppose 2*u - 8 = 4*u - 5*x, -12 = -2*u - 5*x. Sort u, p, -2 in descending order.
u, -2, p
Let o = -1.9 + 13.9. Let l = -7 + o. Put 3, 1, l in ascending order.
1, 3, l
Let k(g) = -2*g**2 + 11*g + 2. Let d be k(5). Sort 0.2, d, 1/2.
0.2, 1/2, d
Suppose 0 = -8*j + 6*j - 4. Let s be (1*j)/(-9 - -11). Put s, 0, -2 in ascending order.
-2, s, 0
Let c = 17 - 14. Suppose -3*d = -2*a - c, -2*a - 2*d + 3 = d. Sort 2, -5, a in ascending order.
-5, a, 2
Let h = 5 + 10. Suppose 4*y - 35 = 5. Let p be (1*-2)/(y/h). Sort p, -4, 1.
-4, p, 1
Let o = -122/45 + 13/5. Sort -0.3, o, -0.4, 0.1.
-0.4, -0.3, o, 0.1
Let t be 1*4 - 7/(105/40). Let s = 1 - 0.8. Put t, 3, s in descending order.
3, t, s
Let i(t) = -t**2 - 2*t. Let s be i(-2). Suppose 2*a = -4*h + 14, -a = -2*h + h + 5. Sort s, -2, a in increasing order.
-2, a, s
Let z = -9.4 + 9.4. Put z, -0.5, 0.15, 4 in descending order.
4, 0.15, z, -0.5
Let d(k) = -k**3 + 4*k**2 + 2. Let c be d(4). Suppose -3*v - c*v = 0, -5*z = v + 10. Put z, 4, -4 in decreasing order.
4, z, -4
Let c(a) = a**2 + 5*a - 4. Let o be c(-6). Let m(s) = -s**3 + 5*s**2 - 2*s - 2. Let g be m(4). Let f be -2 + 16*1/g. Put 1, o, f in increasing order.
f, 1, o
Let g(r) = r**2. Let c be g(-2). Let q = 4.3 - 3.3. Sort -3, q, c in increasing order.
-3, q, c
Suppose 0 = 2*s + 3*a - 4, -s + 4*s - 3*a = -9. Sort 0, -2, s in ascending order.
-2, s, 0
Let z be (-2)/(-1) - 2 - 8. Let f = -31 + 44. Let t = f + z. Sort t, -4, 1 in decreasing order.
t, 1, -4
Suppose -x - s - 13 = 4*s, -4*x - 70 = 2*s. Let o be ((-2)/6)/(3/x). Put -2, o, 4 in increasing order.
-2, o, 4
Let f = 4 + -85. Sort 3, -3, f in ascending order.
f, -3, 3
Let o be (-14)/(-21)*30/4. Suppose 0 = -5*i + 12 + 3. Suppose -4*u = i*c - 1 - 6, -5*u + o*c = 0. Sort u, 2, -2 in ascending order.
-2, u, 2
Suppose 4*p - 4*g = 0, 0*p - 3 = p - 2*g. Put p, -1, -4 in increasing order.
-4, -1, p
Suppose c - 14 - 6 = 0. Let k = -21 + c. Put -5, k, 3 in descending order.
3, k, -5
Let j = 0.3 - 0.1. Let g = -0.6 + 0.1. Let i(p) = -p**2 + 3*p - 1. Let b be i(2). Put b, g, j in increasing order.
g, j, b
Suppose -4 = -10*t - 14. Put t, 4, 0 in descending order.
4, 