*x**2 + 3*x + 5*x + 4*x**2. Let a be c(l). Put -5, a, 2 in decreasing order.
2, a, -5
Let k = 1803/7 - 258. Put -0.4, 2/7, k in descending order.
2/7, -0.4, k
Suppose -3*v + 19 = 2*f, -32 = -5*f + f - 4*v. Suppose 0 = -f*o + 5*s + 5, -12 - 4 = -4*o - 2*s. Sort 2, o, -3.
-3, 2, o
Let j = -6 + 4. Let k be (-1 + j)*1 - 1. Sort -5, -3, k.
-5, k, -3
Let v be (3/6)/((-1)/(-10)). Sort 2, -1, v.
-1, 2, v
Let u(q) = q**2 + q + 3. Let i be u(0). Suppose 0 = 3*m - 2*h - 0*h, -i*m + 12 = 2*h. Sort -3, m, 0 in increasing order.
-3, 0, m
Let w = -57/2 - -117/4. Let v = -72 + 72.4. Sort -1/3, v, w in decreasing order.
w, v, -1/3
Let t(u) be the first derivative of u**2/2 + 6*u + 1. Let l be t(-3). Let a = l - 7. Put -2, a, 3 in decreasing order.
3, -2, a
Let j = 11 + -7. Suppose -p + j = -0*p. Let m = -4 + p. Put 2, -4, m in decreasing order.
2, m, -4
Let h(l) = -l. Let n be h(-6). Let a = n - 2. Put -5, -1, a in decreasing order.
a, -1, -5
Suppose -l - l + 10 = 0. Suppose 4*f + l*k - 94 = 0, 2*k - 7*k = -4*f + 74. Suppose 2*y = -3*t + 2, 2*y + 5 + f = 4*t. Sort t, 1, 3 in ascending order.
1, 3, t
Let i(c) = c**2 - 3*c + 2. Let a be i(2). Suppose a = 5*u - 4*f + 3, -5*u + f + 3 = 0. Suppose 0 = -5*b - 14 - u. Put b, 5, -5 in decreasing order.
5, b, -5
Let q = 2 - 12. Let v be 2/(-8)*q*2. Put v, -1/4, 4 in increasing order.
-1/4, 4, v
Suppose 0*h + 2 = 2*h. Let i be 15/6*(2 - 0). Let y(c) = c**3 - c**2 - 5. Let t be y(0). Sort h, i, t in descending order.
i, h, t
Suppose -4*o = -5*i - 5*o - 16, 12 = -2*i + o. Sort i, 8, -0.3 in decreasing order.
8, -0.3, i
Let o be (-234)/(-65) + (-3)/5. Suppose 0 = -2*y + 3*y - 5. Suppose 4 = 4*n - 3*n. Sort y, o, n.
o, n, y
Let c = -0.3 + 0. Let p = -0.4 - c. Let r = -3 + 3. Sort -1/4, r, p in ascending order.
-1/4, p, r
Let k = -0.94 - 0.06. Let g be (8/26)/(2*1). Put k, g, 5 in descending order.
5, g, k
Let o(p) = -2*p**2 + 23*p - 9. Let g be o(11). Suppose -t + 4*a = -3, 5*t - 3*a + 2*a + 4 = 0. Let f be (t/(-1) + 3)*-1. Put f, 1, g in descending order.
g, 1, f
Suppose 7 = -3*q + 31. Suppose -2*l + 0*l = -c + q, -5*l + 2*c - 19 = 0. Let o be (-1 - 8/l) + -1. Sort -1/4, o, -3 in decreasing order.
o, -1/4, -3
Suppose g + 2*g + 5*s = 34, -g - 5*s + 28 = 0. Sort g, 1, -2/7 in decreasing order.
g, 1, -2/7
Let k = 53 + -25. Suppose 2*j - k = 5*u, 1 = -2*j - 5*u - 11. Put 3, j, 2 in ascending order.
2, 3, j
Suppose 4*d - 82 = -70. Sort d, -2, 4, -1 in ascending order.
-2, -1, d, 4
Let f = -15 - -12. Let i be ((-24)/(-16))/(f/8). Sort -1, i, 5 in descending order.
5, -1, i
Let m = 7 - 9. Let q = 0.1 - -0.1. Sort q, -1, m in descending order.
q, -1, m
Suppose -2*g = 6, -v + 2*g + 3 = -5. Let c(u) = u**3 - 2*u**2 + u + 2. Let r be c(v). Let w = -13.4 - -9.4. Put w, r, 2/7 in descending order.
r, 2/7, w
Let p(q) = -2*q**2 - 14*q - 6. Let z(n) = n**2 + 7*n + 3. Let v(l) = 2*p(l) + 5*z(l). Let d be v(-7). Let a = 0 - 0. Sort a, d, -4 in increasing order.
-4, a, d
Let y be (-65)/(-9) + 6/(-27). Suppose -4*a - 15 = -y*a. Sort a, -1, -4.
-4, -1, a
Suppose -5 = -2*y + 5*a, 0 = y + 2*y + a + 1. Sort 0.1, -5, y in ascending order.
-5, y, 0.1
Let g = -7 + 3. Let s = 0.4 - 0.43. Let o = -0.17 + s. Put 1, g, o in decreasing order.
1, o, g
Let y be 20/12*(-44)/30. Let i = 16/9 + y. Let f = -4.8 + 5. Put f, i, 0.1 in descending order.
f, 0.1, i
Let a be -3 + (-14)/(-2) + 1. Sort -6, -2, a in increasing order.
-6, -2, a
Let b be (-16*1)/(-4) - 1. Put -5, 7, b, 1 in increasing order.
-5, 1, b, 7
Let c be (-1)/4 - 26/(-8). Let j(a) = a**3 + 13*a**2 + 18*a - 6. Let g(f) = -f. Let k(i) = -3*g(i) + j(i). Let m be k(-11). Sort 1, m, c in decreasing order.
m, c, 1
Suppose i - 2*j + 3 + 5 = 0, j = -2*i - 1. Let v = 3 - 3. Suppose 15 = -v*b - 3*b. Put 4, b, i in decreasing order.
4, i, b
Let p = 16 - 5. Sort 1/2, -2/7, p.
-2/7, 1/2, p
Suppose -3*y + 8 - 23 = 0. Put 2, -1, 4, y in descending order.
4, 2, -1, y
Let n be (-2)/(-7) - 5/(-7). Let k = 47 + -49. Let m = k - n. Put m, -0.3, 3 in increasing order.
m, -0.3, 3
Let i = 17 - 12. Suppose 6 = -5*z + 2*z. Suppose b + n - 4 = 0, -6*n + 11 = 2*b - n. Sort z, b, i in descending order.
i, b, z
Let z(c) = -c**2 + 5*c. Let p be z(5). Suppose p = -8*t + 6*t + 8. Sort 2, t, -1/7 in ascending order.
-1/7, 2, t
Suppose -r = 2*r. Let c = 9 - 7. Put -3, c, r in increasing order.
-3, r, c
Let h = 21 - 16. Sort -3, h, -0.4 in decreasing order.
h, -0.4, -3
Let r = -5.3 + 2.3. Sort r, 1/17, -0.3 in descending order.
1/17, -0.3, r
Let i = -27 - -27. Let l(v) = v**2 + 5*v + 3. Let x be l(-4). Put i, x, 4 in decreasing order.
4, i, x
Suppose -4*r = 3*l - 0*l + 9, 4*l + r - 1 = 0. Put -3, l, -4 in increasing order.
-4, -3, l
Let o = 1.13 - 0.53. Sort o, -0.2, 0.2 in ascending order.
-0.2, 0.2, o
Let w = 689 - 1413/2. Let d = -18 - w. Sort -0.3, -5, d in ascending order.
-5, d, -0.3
Let f be ((-1)/(12/15))/(2/(-8)). Sort 2/11, -1/8, f in descending order.
f, 2/11, -1/8
Suppose 5*o + 5 = -5. Let d(a) = -a**3 + 13*a**2 - 21*a - 9. Let h be d(11). Sort o, h, -3.
-3, o, h
Let r = -148 - -145.89. Let h = r - -0.11. Sort h, -1/10, -0.05 in decreasing order.
-0.05, -1/10, h
Let f = 17/64 - 1/64. Suppose 0 = 2*x - 7 + 13. Put f, -0.1, x in ascending order.
x, -0.1, f
Let u = 75 + -76. Sort -1/3, -0.4, 7, u in decreasing order.
7, -1/3, -0.4, u
Let v = -25/21 - -13/7. Sort v, -4/5, -7 in increasing order.
-7, -4/5, v
Let h(o) = 0*o**2 - 2*o + 4*o - o**2 + 2. Let a be h(3). Let d = -6 - -3. Sort a, 0, d in descending order.
0, a, d
Suppose 0 = -i - 0 - 1. Put -6, -2, i in decreasing order.
i, -2, -6
Suppose -2*d = g - 5, -5*d = -4*d + 3*g. Let b(k) = k + 9*k + 5*k**3 - 11*k**2 - k**3 - d*k**3 - 4. Let m be b(10). Put m, 2, 5 in descending order.
5, 2, m
Let x = 62 + -60. Suppose 5*c - 3*c = h - 8, 4*c + 18 = h. Sort -3, h, x.
-3, h, x
Let b(u) = -2*u**2 - 17*u - 8. Let c be b(-8). Put 4, c, 10 in increasing order.
c, 4, 10
Let f = -2 - -2.5. Let m = 23.3 + -22. Let h = -1.7 - m. Sort f, -2, h in decreasing order.
f, -2, h
Let v = -0.1 - -0.8. Let c = 1.2 - v. Sort -5, c, -5/2 in increasing order.
-5, -5/2, c
Suppose 0 = -4*u + 5*u + 3. Let m(z) = -z**2 - z + 4. Let r be m(u). Let t = 1 - r. Put 1, t, -4 in descending order.
t, 1, -4
Let y be 3/12 - 186/(-24). Sort y, 2, -2 in descending order.
y, 2, -2
Suppose 6*u - 2*u = 4*j - 12, 0 = 2*j + 2. Suppose -4*y - 20 = -2*m + 4, 3*m + 4*y = -14. Put u, m, 0 in ascending order.
u, 0, m
Let s = 23 + -20. Suppose q + q = 2. Put -3, q, s in increasing order.
-3, q, s
Let h = 0.85 + 0.15. Sort 0.2, -0.5, h in descending order.
h, 0.2, -0.5
Let i(j) = -j**2 + 4*j. Let v be i(4). Suppose v = -m + 2 - 0. Put 1/4, 0.5, m in descending order.
m, 0.5, 1/4
Let z be (2 + -3)*(-2 - -1). Let l be -2 + (-32)/(-10) - z. Suppose -2*f + 2*d = 4, -f - 3*d + 8*d = 2. Put l, f, -0.3 in increasing order.
f, -0.3, l
Suppose u - 4*u + 15 = 0. Let h be 1/4 + 36/(-16). Let t be h/(-6) + 8/3. Put -4, t, u in ascending order.
-4, t, u
Let h be 8/(-28) - 264/21. Let m = 1696/133 + h. Sort 0.3, -0.2, m.
-0.2, m, 0.3
Let b(l) = -l**2 - 8*l. Let r be b(-6). Let d = r - 10. Sort 1, d, -2 in decreasing order.
d, 1, -2
Suppose -5 = 5*f + 35. Let v = 6 + f. Let h = -7 - v. Sort -4, h, -3 in descending order.
-3, -4, h
Let x = -1.73 - 0.27. Let z = -2.3 - -2. Let v = -0.2 - z. Sort -3, x, v.
-3, x, v
Let l be (-357)/28 - 3/(-4). Let q(m) = m**2 + 13*m + 15. Let r be q(l). Put -0.1, r, 1 in decreasing order.
r, 1, -0.1
Let t = 107 + -104. Put 2/11, 2, t in ascending order.
2/11, 2, t
Let g be (-301)/7*1/(-21). Let i = g + -12/7. Put 1, -0.1, i in ascending order.
-0.1, i, 1
Let y = 20/21 + -26/21. Sort 3.7, 3, y in decreasing order.
3.7, 3, y
Let m = -1 - -1. Let i(z) = z**3 + 1. Let b be i(0). Sort b, 3, m.
m, b, 3
Suppose -3*n + 7*n + 4*m - 32 = 0, 0 = -2*n + 2*m + 4. Suppose 0 = 3*c + 2*c - 235. Let u = -189/4 + c. Sort 0.4, u, n in descending order.
n, 0.4, u
Let i = 47 - 43. Put i, -2, 5, 1 in decreasing order.
5, i, 1, -2
Suppose b + 30 = 4*b. Suppose 2 = 2*l + b. Sort -5, l, -1 in descending order.
-1, l, -5
Let n(f) = -f**3 + f**2 + f + 1. Let z be n(-1). Let t be (4/16*z)/(-4). Sort t, -2/3, -0.2 in decreasing order.
t, -0.2, -2/3
Let b = 2.2 - 2. Let n = b + 0.8. Suppose 4*s = 5*s. Sort n, 4, s in decreasing ord