 + 3 + 3*r**2 - r**2. Let j be u(2). Put 1, j, -2 in increasing order.
-2, 1, j
Let a = 8 - 9. Suppose -2*v = 3*v - 10. Sort 5, a, v in decreasing order.
5, v, a
Suppose 10 = -2*t - 0*i + 2*i, -5*i = -4*t - 20. Suppose -54 + 2 = 4*k. Let b(u) = -u**2 - 13*u - 3. Let s be b(k). Sort 0, s, t.
t, s, 0
Suppose 0 = 3*z - 2 - 10, -2*d - 5*z + 20 = 0. Let s = -3 - -6. Suppose 4*k - 2 - 6 = o, -2*k + 5*o = -4. Sort s, k, d.
d, k, s
Suppose 4*o = l + 3*o + 3, l - 2*o = -5. Put l, 5, -3 in decreasing order.
5, l, -3
Let a = -5 + 7. Let n be 3 - a*1/(-2). Sort -2, n, -4 in increasing order.
-4, -2, n
Let m = 0.03 + 0.27. Let u = 83 - 82. Sort -2/3, m, u.
-2/3, m, u
Let d = -11 + 23. Suppose 5*z - d = z. Let i be 0/2 - (0 - -2). Sort i, 5, z in descending order.
5, z, i
Let k be (-2 + -2)/(-2) - 0. Let p = 4 + -3.7. Let x be 4/(-30)*3/2. Put p, k, x in decreasing order.
k, p, x
Suppose -3*o - 2*n + 20 = 0, -7*o + 4*o = -5*n + 8. Put 18, -1, 5, o in ascending order.
-1, o, 5, 18
Suppose -3*r = -15, -3*k + 31 = -2*r + 7*r. Suppose m - 2*m = 4. Let b(n) = -n - 6. Let z be b(-3). Put m, z, k in descending order.
k, z, m
Let q(a) = a**2 - 11*a - 2. Let y be q(11). Let o be y/3 - (-12)/9. Sort -4/3, 2, o.
-4/3, o, 2
Suppose -5*y + 2 = -4*y. Suppose -3*h = y*h. Let u(n) = -n**2 + 2*n - 1. Let x be u(2). Sort 1, x, h in decreasing order.
1, h, x
Suppose x - 2*x + 5 = 0. Suppose 4*n - n = 3*k, -x*k = -5. Let p be ((-3)/(-6))/(n/10). Sort -2, -4, p in descending order.
p, -2, -4
Let o = 1 - -4. Suppose -g + 6*g = 30. Let y = g + -6. Sort y, -4, o.
-4, y, o
Let t = -7/30 + -4/15. Let l = -1.9 + -3.1. Put t, 2, l in decreasing order.
2, t, l
Let a = -26 + 11. Let i = 14.5 + a. Sort -0.3, 0.2, i in descending order.
0.2, -0.3, i
Suppose -7*n + 25 = -2*n. Suppose 4*j = 8, n*j + 6 = -5*q - 4. Sort q, -2, 5 in increasing order.
q, -2, 5
Suppose 4*w = -w + 15. Suppose -5*a - 1 = t - 0*t, 3 = -w*t. Sort 4, 1, a in ascending order.
a, 1, 4
Let s be 3/(-12) + (-45)/(-4). Let n = s - 8. Let m be (-6)/(-3 - -1) - n. Sort -5, m, -2 in descending order.
m, -2, -5
Let k = -4.66 - -0.66. Put k, -5/6, 2, 0.1 in decreasing order.
2, 0.1, -5/6, k
Let f be (1 + 0)*0/7. Let w be ((-2)/4)/(1/(-10)). Sort w, f, -1 in increasing order.
-1, f, w
Let v(l) = -l**3 + 14*l**2 - 23*l - 9. Let y be v(12). Put -7, y, 2, -5 in decreasing order.
y, 2, -5, -7
Suppose 0*w + 5 = w - n, -3*w + 3 = n. Put -10, w, 3 in increasing order.
-10, w, 3
Let x(h) = h**3 + 7*h**2 - 3*h. Let f be x(-6). Suppose -4*i + 2*l = f, 2*l = -2*i - 8 - 4. Let g be ((-6)/9)/(i/(-9)). Put 0.4, g, 2 in ascending order.
g, 0.4, 2
Suppose -4*m - 9 - 7 = 0. Suppose -2*w + 5*s = -17, 0*s - 5*s - 16 = -w. Let l(j) = -j**3 + 6*j**2 - 5*j - 3. Let x be l(5). Put m, w, x in decreasing order.
w, x, m
Let w(r) = -r - 2. Let d be w(-6). Let s be (-4)/(-16) + 19/4. Suppose 0 = 5*z + 2*k - k, s*z + 5*k = 0. Put d, 3, z in decreasing order.
d, 3, z
Let n be (-459)/(-189) + 1/(14/(-6)). Let j = -2 + -1. Sort n, j, -2 in decreasing order.
n, -2, j
Let d = 3.1 - 21.1. Let w = d + 17.93. Let m = -0.37 - w. Put -1, m, -3 in descending order.
m, -1, -3
Suppose 0 = -k - 3*k - m - 10, -4*k - 5*m - 18 = 0. Let p(y) = -y**3 - y**2 - y - 4. Let s be p(0). Let f = -4 - s. Sort 1, f, k.
k, f, 1
Let d = 0 - -3. Suppose -w = -2 - d. Put 0, w, 3 in decreasing order.
w, 3, 0
Let y be 2 + 4 - 4 - 1. Let m = -0.2 + -0.3. Sort y, 0.2, m in decreasing order.
y, 0.2, m
Suppose 11 = -z + 4*u, -4*z = -8*u + 4*u + 8. Let v(c) = -c - 4. Let s be v(-4). Let j = 9 - 7. Sort s, z, j in decreasing order.
j, z, s
Let a = -0.9 - -0.94. Put -2, 5, a in descending order.
5, a, -2
Let o = 9 + -17. Let z = 11 + o. Sort z, 5, -5 in decreasing order.
5, z, -5
Let j(s) = -s**2 + 8*s - 3. Let y be j(8). Let f be -2 + (-3 - -3) - -5. Suppose f*v + 10 = v. Put v, y, 0 in increasing order.
v, y, 0
Let u = 0.6 - 1.3. Let b = u - -0.5. Let i = -32/45 + 10/9. Put 0.1, b, i in decreasing order.
i, 0.1, b
Suppose 2*i = 3*x - 8 + 33, -3*x - 40 = -5*i. Let p be 13/5 + 4/10. Put x, 4, p in ascending order.
x, p, 4
Let g be (-2)/8 - (-9)/4. Suppose 0 = -g*i - 0*i + 4*n - 4, -3*i = -5*n + 4. Put -2, i, 4 in increasing order.
-2, i, 4
Let c be -2 + -3*1 + 2. Let w(t) = -t + 13. Let v be w(9). Suppose -h - v*n - n = 5, -5*h + 33 = -4*n. Put c, 0.1, h in increasing order.
c, 0.1, h
Let b = -70.1 - -70. Let a = 5 + -5.3. Let o = a - 0.1. Put b, 4, o in descending order.
4, b, o
Suppose 0 = 5*o - o - 48. Suppose 5*g = -o + 2. Let c be 7/5 - (3 - 2). Sort c, -1, g.
g, -1, c
Let q = -7 - -12. Suppose q*i - c = -3*c - 10, c + 5 = 3*i. Let z be 3*((-3)/9 - i). Sort 2, -4, z in descending order.
2, z, -4
Let i = 0 + 2. Let b be (1 + 12/(-20))/(1/(-15)). Let v = b + i. Sort -1/4, v, -2/9 in descending order.
-2/9, -1/4, v
Let b = -0.13 + 2.13. Put b, 0.5, -0.6 in increasing order.
-0.6, 0.5, b
Suppose -6*o - 6 = -3*o. Let p be -2 + -1 + (o - -1). Let d = -4 + 6. Sort -5, d, p in decreasing order.
d, p, -5
Let o = 105/4 + -513/20. Sort 2/5, 3, o.
2/5, o, 3
Let t = 0.8 - -0.2. Let h = 0 + t. Let f = h + -0.9. Sort f, -4, 0.5.
-4, f, 0.5
Suppose 6 = 3*t - t + 4*v, 3 = -3*v. Suppose -t*y = 5 - 0. Sort 5, 3, y in ascending order.
y, 3, 5
Let m(n) = -n**2 + 12*n - 11. Suppose 0 = -5*b + 2*h + 58, 4*h + 49 - 3 = 3*b. Let j be m(b). Let u = j - 9. Put -2, 1, u in descending order.
1, u, -2
Let d(h) = h**3 + 4*h**2 + h - 1. Let l be d(-3). Suppose -3*n + 4 = 5*c - 6, l*n = -2*c - 15. Put -0.3, c, 3 in decreasing order.
c, 3, -0.3
Let y = 3.6 - 4. Put -2/7, y, 0.5 in decreasing order.
0.5, -2/7, y
Suppose 0 = 3*q + 2*a + 4, -5*q + 6*a = a - 10. Let n be 1/(q - 1/4). Let l(g) = g + 12. Let r be l(-9). Put n, r, -2 in descending order.
r, -2, n
Let t be -6*-1*4/12. Suppose t + 2 = 2*i. Put 2/21, 5/3, i in descending order.
i, 5/3, 2/21
Let v = 0.69 - 0.18. Let i = v - 0.01. Put 1/4, -0.1, i in decreasing order.
i, 1/4, -0.1
Let u(w) = -w**3 - 3*w**2 + 2*w - 3. Let l be u(-4). Suppose -4 + 0 = -j. Let d = -26 + 29. Sort d, j, l in increasing order.
d, j, l
Let z = 0.9 - -16.1. Let b = 14 - z. Sort b, 1, -0.4 in ascending order.
b, -0.4, 1
Let u be (-2)/6*(0 - 5). Sort u, 3, -0.2 in descending order.
3, u, -0.2
Let s = 0.02 + -0.17. Let j = -0.25 + s. Let t = -1 - 1. Sort 0, t, j in increasing order.
t, j, 0
Suppose -6 = -w - 0*w. Let b(a) = -a**2 + 5*a + 10. Let h be b(w). Put 0, h, 1 in descending order.
h, 1, 0
Let i be (20/25 - 29/30)*-2. Sort -4, i, -9/7 in decreasing order.
i, -9/7, -4
Let j = -348025/1026088 + -2/18323. Let i = -3/14 - j. Let v = -77 - -151/2. Put i, -3, v in decreasing order.
i, v, -3
Let m = -0.1 - 0. Let t = 1.2 + 6.8. Let v = 6 - t. Sort -1, v, m in decreasing order.
m, -1, v
Let a = -105 - -103. Suppose 0 = -3*b + b + 10. Put a, b, -3 in decreasing order.
b, a, -3
Let f = 14 - 50. Let m be (f/10 - -3)*-5. Sort -0.1, 3/7, m.
-0.1, 3/7, m
Let p = 54 + -808/15. Put 0.2, 2/13, p in decreasing order.
0.2, 2/13, p
Let g = -0.5 + 0.8. Let f be (-12)/4 + 2 + (-15)/(-3). Sort f, -0.2, g in descending order.
f, g, -0.2
Let x(t) = 17*t**2 - 2*t + 1. Let v be x(1). Suppose 0 = -5*n - v - 4. Let m be -3 + n/(-2) + -3. Put 4, m, 1 in descending order.
4, 1, m
Let k = -2.15 + 0.15. Let w = k + 2.2. Let q = -2 - -4. Sort q, w, -2 in descending order.
q, w, -2
Let v = 11 + -9.4. Let z = v + 0.4. Let r = z + -2.4. Sort r, 2, -6/7 in descending order.
2, r, -6/7
Let j = -6 - -2. Let h = 4.4 + j. Let o = 4 - 4. Put o, h, 2 in descending order.
2, h, o
Suppose 0 = 4*v - 28 + 8. Suppose 0 = 4*g + g. Suppose -6*w + 8*w + 8 = g. Put 4, v, w in increasing order.
w, 4, v
Let s be ((-18)/36)/(5/2). Let p = 1.6 + -1. Let j = p + -2.6. Put j, -1/7, s in increasing order.
j, s, -1/7
Let x = -6 + 8. Suppose -2*g - 12 = x*g. Sort -5, -1, g.
-5, g, -1
Let m be (1*6)/(0 + 1). Suppose m*j - 3*j = -3. Let f = 102 + -106. Sort 1, j, f.
f, j, 1
Suppose 0 = -x + 2*y, x - 8 = -y - 5. Let o be (3/x)/((-1)/2). Let b be (-1 - -1)/(9/3). Sort -2, o, b in ascending order.
o, -2, b
Suppose 4*b - 52 = -4*o, -3*o = -0*o - 5*b - 7. Suppose -4*u + 71 + o = 0. Suppose -6*p - u = -2*p. Put -1, p, -3 in ascending order.
p, -3, -1
Let d = 0.47 - -0.03. Put d, -1, -1/4, -1/5 in descending order.
d, -1/5, -1/4, -1
Let z(c) = -c**2 + c + 