*h**2 - 10*h - 10. Let n be x(-9). Put 4, n, j in decreasing order.
4, j, n
Suppose 10 = 6*f - f + g, -4*g - 10 = -5*f. Let z = 3.7 - -1.3. Put -0.5, f, z in decreasing order.
z, f, -0.5
Let m(x) = x**2 - 3*x + 1. Let s be m(1). Put -6, -3, s in decreasing order.
s, -3, -6
Let i(d) = -d**2 + 9*d + 13. Let s be i(10). Put s, 1, 5 in ascending order.
1, s, 5
Let c = -0.8 - -0.8. Sort -4, 20, c in descending order.
20, c, -4
Suppose -9 = -4*k + k. Put k, -8, 4 in increasing order.
-8, k, 4
Let j = 0 - 0.06. Let w = j + -0.04. Sort w, -2, -1 in increasing order.
-2, -1, w
Let u = -0.92 + -0.08. Sort 0.3, 4, u.
u, 0.3, 4
Let r be (1*-4)/((-2)/4). Let d be (-1)/((-2)/r) + 0. Suppose -2 = -0*j + 2*j. Sort 0, d, j.
j, 0, d
Let c = -1/141 + -982/705. Let h = -1/37 - -77/111. Sort h, 2, c.
c, h, 2
Suppose 20 = 4*s + 4*f + 4, -5*s - f + 4 = 0. Put -3, 3, s in decreasing order.
3, s, -3
Let l = -69 + 1037/15. Put l, 0.2, 6 in decreasing order.
6, 0.2, l
Let q = 2.69 + 1.2. Let m = q + 0.11. Let v = -7 - -5. Put v, m, 5 in descending order.
5, m, v
Let b = 63 - 58. Suppose 3*i + 1 = -4*u, -2*u - 8*i + 17 = -3*i. Sort b, -0.1, u in decreasing order.
b, -0.1, u
Let u = -106 - -109. Sort -5, 4, u, 0.
-5, 0, u, 4
Let m be 1198/30 + (-8)/(-20). Let j = 40 - m. Sort 1, 2, j in ascending order.
j, 1, 2
Let r = -64 + 64. Let l = 7 - 12. Sort -1, l, r in decreasing order.
r, -1, l
Let j = 59 + -65. Sort j, -3, 1.
j, -3, 1
Let b(h) be the second derivative of h**3/6 + h**2/2 - h. Let w be b(-3). Put w, 2/3, 1 in decreasing order.
1, 2/3, w
Let i = 13.17 - 0.17. Let n = i - 13. Let b = -3 - -2.7. Put b, -5, n in decreasing order.
n, b, -5
Suppose 22*a + 49 = 5. Suppose 0 = -0*g - 5*g - 5. Let y be -2*((-1)/(-2) - g). Put -4, a, y in descending order.
a, y, -4
Let k(u) = -2*u - 9. Let s be k(-3). Put 2/15, s, 2 in descending order.
2, 2/15, s
Let h be (-1 + -4)*(3 - 4). Let r(n) = n**3 - 2*n**2 - n - 2. Let a be r(2). Sort a, h, 2 in ascending order.
a, 2, h
Let g(x) = x**2 + 3*x + 1. Let f be g(-4). Suppose -8 = -f*k - 18. Sort k, -3, 5 in decreasing order.
5, k, -3
Let g be 1*5*(5 + -4). Suppose 0 = -v + 2*v - g. Suppose 3*w - 2 = 3*i + 1, 0 = -3*w + 9. Put i, -2, v in increasing order.
-2, i, v
Let n = -19 + 17. Let k(j) = -j**3 + 2*j**2 + 4*j - 7. Let x be k(3). Put -6, x, n in ascending order.
-6, x, n
Let c = 1.1 - 1.1. Let k = 1.4 - 0.4. Sort 5, c, k in decreasing order.
5, k, c
Let o = -28 - -32. Put -13, o, -5 in ascending order.
-13, -5, o
Suppose 4*n + 8 = -0. Let r be n + (-3*2)/(-2). Suppose -9 = -3*y - 5*j, y = -0*j + 5*j - 17. Put y, r, -3 in descending order.
r, y, -3
Let y = -11 + 14. Let g be (-6 + 4)/((-4)/78). Let i be 1/(2 - g/6). Sort i, y, -0.1.
i, -0.1, y
Let g be ((-26)/65)/((-1)/5). Let q be 0*((2 - 1) + -2). Put q, -4, g in descending order.
g, q, -4
Let g = 1 - 1. Let l(i) = i**3 - 18*i**2 - 17*i + 4. Let c(w) = w**3. Let f(p) = -2*c(p) + l(p). Let v be f(-17). Put 0.2, v, g in ascending order.
g, 0.2, v
Let c = -3.5 - 1.5. Put 1, c, 0.4 in decreasing order.
1, 0.4, c
Let r(m) = -m**3 - 7*m**2 + 9*m + 1. Let o be r(-8). Let t be o/(-4) - (-3)/12. Suppose 3*i + 2 = -1. Sort 4, t, i in descending order.
4, t, i
Suppose 0 = -0*f - 4*f + 16. Let g be (-7)/(-35) - (-8)/10. Sort 0, f, g.
0, g, f
Let c(z) = -3*z + 15. Let r be c(5). Suppose -9*h + 4*h + 20 = r. Put h, -1, 3 in decreasing order.
h, 3, -1
Let g(o) = 1 - 3 + 0*o + 3 - o. Let x be g(5). Suppose 4 = -3*l - l. Sort x, l, -3 in descending order.
l, -3, x
Suppose -5*r - x = -0*x - 4, 0 = r + x. Let l be -1*((-1)/(-5))/((-43)/(-215)). Put l, r, 3 in ascending order.
l, r, 3
Let j = -50 + 52. Put -4, j, -1, 3 in decreasing order.
3, j, -1, -4
Suppose 3*s + 7 = -5. Let h = 15 - 8. Let i be 19/h - 16/(-56). Sort 1, i, s.
s, 1, i
Suppose 3*o - 3 = 15. Suppose -o = -l + 3*l + 4*k, -4*k = -l - 9. Let v = 41 + -37. Sort l, -3, v in decreasing order.
v, -3, l
Let b be (-2)/(-3)*9/(-3). Let f be b/((0 - 0) + -1). Suppose -2*o = -o - 4. Sort o, -1, f in descending order.
o, f, -1
Let o = 43 - 44.7. Let f = 2.2 + o. Suppose -4*p - 2*m - 8 = 0, m - 8 = 3*p - p. Sort f, 5, p in decreasing order.
5, f, p
Let j be -1 - 1*(-3 + -1). Suppose 0*a + 4*z + 8 = 2*a, z + 17 = 2*a. Let v be ((-8)/10)/((-4)/a). Put 1, v, j in decreasing order.
j, v, 1
Let n(s) = -s**2 - 6*s + 3. Let w be n(-7). Sort -3, 4, w in ascending order.
w, -3, 4
Let b = 0.31 - 0.11. Put b, -5, 2/5 in increasing order.
-5, b, 2/5
Let s = -27 + 26. Put 0.1, s, -0.5 in ascending order.
s, -0.5, 0.1
Let i(q) = q**3 - 9*q**2 + 10*q - 11. Let s be i(8). Sort 2, s, -1.
-1, 2, s
Let l = 52 - 52. Put l, 1, 4, 2 in increasing order.
l, 1, 2, 4
Suppose 3*h - 2*h + 12 = 0. Let l = h - -7. Let m be (-4)/l - (-2)/10. Put 2, 3, m in ascending order.
m, 2, 3
Let f be 0/(-2 - 1) + 5. Let v = 2.59 - -1.5. Let r = 0.09 - v. Sort 0, f, r in ascending order.
r, 0, f
Suppose -5*q + 7 = 2. Suppose -3*p + 1 = -4*p. Let i = 1 + 2. Sort q, i, p in decreasing order.
i, q, p
Let a(f) = -2*f**2. Let s be a(-1). Let w = 2 + -2. Sort s, w, 5 in descending order.
5, w, s
Let n(u) = -u**2 - 8*u - 2. Suppose -z = -t + 12, 0 = -0*z - 3*z - 5*t - 4. Let b be n(z). Sort b, -0.3, 0 in ascending order.
b, -0.3, 0
Let v = 3 + 2. Suppose -u = 1 - 6. Let o be -1*2*u/10. Put v, 3, o in increasing order.
o, 3, v
Let z = -1/82 + -155/738. Put z, 2/7, 0 in decreasing order.
2/7, 0, z
Let w = -4.9 - 1.1. Let o = w + 2. Let b = -3.6 + 0.6. Sort b, 3, o.
o, b, 3
Let v be (-4)/6*6/(-4). Suppose 0 = -4*s - 5 + v. Let z(g) = -g**2 - 10*g. Let p be z(-10). Put s, -2, p in decreasing order.
p, s, -2
Suppose -1 = 3*b - 4. Sort -1, -5, b.
-5, -1, b
Let r = 125 - 126. Sort 11, -3, r.
-3, r, 11
Let x(b) = 2 - 1 + 0*b**2 + 2*b + 4*b**2 + b**3. Suppose -3 + 1 = p. Let k be x(p). Put -3, -4, k in increasing order.
-4, -3, k
Let w = 8.5 - 0.5. Let f = w + -7. Sort 3/5, 5, f in descending order.
5, f, 3/5
Suppose 6 + 3 = 3*u. Suppose u*f = 6, -x + f + 1 = -2*x. Sort x, 0, -2/15.
x, -2/15, 0
Suppose 9*p = 4*p - 15. Let t(q) = q**2 + 8*q + 8. Let b be t(-6). Sort 2, p, b.
b, p, 2
Let v = -129/82 - -3/41. Let m = -0.8 + 1.3. Sort v, m, -1/3 in increasing order.
v, -1/3, m
Let j(n) = -4*n + 35. Let g be j(10). Sort -46, g, 0 in decreasing order.
0, g, -46
Suppose 5 = -2*g + 1. Let k(x) = 3*x + 21. Let q be k(-8). Sort q, g, 4 in ascending order.
q, g, 4
Let y(k) = k**3 + 7*k**2 - k - 4. Let r be y(-7). Let m = -12 - -13. Put r, m, 4 in ascending order.
m, r, 4
Let f be 64/24 - 1/(-3). Let i(s) = s**2 + 2. Let w be i(0). Suppose k = d - 5, 5*k + 10 = 4*d - 14. Sort d, w, f.
d, w, f
Suppose z + 0*z + 5*p - 13 = 0, -p + 5 = z. Let y be ((-8)/12)/(1/z). Sort 0.2, y, 3 in ascending order.
y, 0.2, 3
Let d = -0.3 + -0.7. Let v = -144 + 141.01. Let s = v - 0.01. Put s, d, 4 in descending order.
4, d, s
Let r(a) = -a - 20. Let i be r(-17). Suppose d + 0*d = -2. Sort d, i, 3 in descending order.
3, d, i
Let j = 58.141 + -0.061. Let h = 61 - j. Let x = 0.08 + h. Sort 5, x, 1/9 in decreasing order.
5, x, 1/9
Let q = 66 + -70. Let u = 0 + 4. Let d be (u/(-5))/((-10)/25). Sort q, -1, d in decreasing order.
d, -1, q
Suppose 0 = -5*d + 3 - 13. Let m be 6/27 - 4/18. Suppose -5*s + 0*x = -4*x - 5, m = 2*x. Sort d, -5, s.
-5, d, s
Suppose 5*k - 8*k = -3. Sort 0, 5, k in increasing order.
0, k, 5
Suppose -1 + 4 = n. Suppose n*a - 5*z - 4 = -24, 1 = -a - 4*z. Put -1, -4, a in descending order.
-1, -4, a
Let c be (-6)/9 + (-4)/(-6). Suppose 2 + c = 2*f. Put -4, f, 3 in ascending order.
-4, f, 3
Suppose m = -m - b, -12 = 2*m - 5*b. Let q(l) = l**3 - 5*l**2 + 5*l - 2. Let k be q(4). Sort k, m, -5 in increasing order.
-5, m, k
Let l(y) = y**2 - 3*y - 2. Suppose 0 - 12 = -3*h. Let s be l(h). Sort s, 4, -2 in decreasing order.
4, s, -2
Let t be -3 - 2*3/6. Let h(n) = n**3 + 5*n**2 + 6*n + 3. Let f be h(t). Sort -3, 3, f in increasing order.
f, -3, 3
Let b(r) = -2*r. Let t be b(-2). Let q = t - 4. Suppose 0 = -p - q*p. Put -1, p, -2 in ascending order.
-2, -1, p
Let v(x) = -x**2 + 7*x + 2. Let m be v(7). Suppose y - m*y - 5 = -4*a, 3*a = 6. Suppose -y*r + 11 = -1. Sort r, -1, 1 in decreasing order.
r, 1, -1
Let u = -0.19 - 0.31. Sort 5, u, -2/13 in increasing order.
u, -2/13, 5
Let o be 4/20 - 9/20. Suppose -83*x + 3 = -84*x. 