c = 4.07 + -0.07. Let m = 166/3 + -56. Sort c, m, 5 in decreasing order.
5, c, m
Suppose 3*k - 20 = -g, -6*g + g = -5*k. Suppose -3*t + 4*p = -p + 40, 2*t + 2*p = 0. Sort 0, t, g in descending order.
g, 0, t
Suppose -2*t = 1 + 5. Let v(p) = 3*p - 3 + 4 - p + 1. Let q be v(-3). Put t, q, 2 in increasing order.
q, t, 2
Let k = 0.24 - 0.34. Sort -1/2, k, -8 in ascending order.
-8, -1/2, k
Let c = -6.1 - -1.1. Sort -2, -0.2, c, 5.
c, -2, -0.2, 5
Let j = 11 + -7. Suppose j = -4*x - 0. Sort -4, 2, x in increasing order.
-4, x, 2
Let l = 4 + 1. Suppose 4*n + 13 = l*z, 4*z - z + 5 = -4*n. Put n, -0.5, 2/7 in ascending order.
n, -0.5, 2/7
Suppose 0 = -3*p + 2*u + 14, -p = 3*p + 4*u + 8. Suppose -s + 5 = p. Let m = -3 + 7. Sort s, 5, m.
s, m, 5
Let m = 0.1 + 0.4. Let b = m + -0.1. Let p = 46 + -181/4. Sort p, -4, b in descending order.
p, b, -4
Suppose 5*z = 3*c + 14, -z - 3*z = 5*c + 11. Let w = c + 5. Let r = 0.4 - 0.3. Sort w, r, 4 in decreasing order.
4, w, r
Suppose 7 = -5*d - 18. Let j(x) = x**2 + x + 5. Let w be -3 - (3 + 6*-1). Let n be j(w). Sort d, 3, n in ascending order.
d, 3, n
Let w be 5 - 9 - (-126)/33. Let y = 0.23 + 0.07. Let h = y - 0.3. Sort h, 4, w in descending order.
4, h, w
Let u be (7 - 11) + (-1 - -4). Sort -4/5, -1/2, u.
u, -4/5, -1/2
Let d = -1416 - -32556/23. Let f = 10/69 - d. Put 3/4, -2/7, f in increasing order.
-2/7, f, 3/4
Suppose -3 = -2*a - 5. Let t be 19 + 2/(0 - 2). Suppose -t = -5*r + 7. Sort -5, a, r in increasing order.
-5, a, r
Suppose 0 = -3*b + 3*s - 3, 5*b + 2*s - 7 - 2 = 0. Suppose -2*l - 5*c - 18 = 0, -3*l + 0*c - 1 = c. Let p be l*3 - (6 + 2). Put p, 0, b in increasing order.
p, 0, b
Let c = -7 + 11. Let t = 55 - 57. Let x = -1 + 4. Sort c, t, x in ascending order.
t, x, c
Let r(m) = 5*m**3 + m**2 - m - 1. Let y be r(-1). Let t(p) = -p**3 - 8*p**2 - 7*p - 1. Let i be t(-7). Put i, 3, y in ascending order.
y, i, 3
Suppose -2*z = z + 3. Sort z, -10, 0 in ascending order.
-10, z, 0
Suppose -2*a = 4*l + 12, 2 = -4*a - 3*l + 6*l. Let d = -46 + 42. Put 1, a, d in descending order.
1, a, d
Let u(p) = -p**2 + 4*p - 1. Let g be u(3). Suppose 3*f - f = g. Put -5, f, 2 in ascending order.
-5, f, 2
Suppose 2*q = -3*q + 15. Let y = 7 + -12. Sort q, 0, y in decreasing order.
q, 0, y
Let k be 20 - (-2 - (-6 - 0)). Put 2, k, -4 in decreasing order.
k, 2, -4
Let s be (-9)/5 - (8 + -9). Sort 0, s, -0.5, 1/5.
s, -0.5, 0, 1/5
Let q = 12 - 11.8. Put 5, q, -0.4 in decreasing order.
5, q, -0.4
Let d be 10*(9/(-6) - -1). Let y = 2.7 + 0.3. Put 1, y, d in increasing order.
d, 1, y
Suppose i = -z + 1, -4*z - 3 = -3*z - i. Let c(g) = g**2 - 4*g - 4. Let a be c(5). Sort z, -4, a.
-4, z, a
Suppose 0 = x - 22 + 22. Suppose 0*y - 3 = -y. Sort x, 4, y in ascending order.
x, y, 4
Let v be (6/(-9))/((-5)/(-30)). Let d = -4/79 + 253/316. Let k be ((-8)/(-6) - 1)/(-3). Put k, d, v in decreasing order.
d, k, v
Let v = 1.863 + 0.137. Let q = 19/2 - 99/10. Let u be (-6)/(-75)*(-5)/3. Sort v, u, q in increasing order.
q, u, v
Let d(o) = o**2 - 6*o + 2. Let z be d(5). Let f(m) = -2*m**3 - 3*m**2 + 4*m. Let h be f(-3). Suppose w = -2*w - h. Sort -2, w, z.
w, z, -2
Let p = 63.5 + -64. Let b = -6/7 - -4/21. Sort 3/7, b, p in decreasing order.
3/7, p, b
Suppose 4*m + 1 + 7 = 0. Let b be (-64)/78 + m/(-3). Put 1/5, b, 1 in decreasing order.
1, 1/5, b
Suppose -22 = 3*d - 7. Suppose 0 = c - 2 - 1. Sort -1, c, d in increasing order.
d, -1, c
Let c = 0.8 + -1.3. Let w = 1.6 - 4.2. Let k = w + 0.6. Sort 0, c, k in descending order.
0, c, k
Suppose 0 = -0*a - a. Let z be (a + 0)*5/10. Suppose z*n = -n - 2*w + 9, n = -5*w + 24. Sort n, 0, -3 in decreasing order.
0, n, -3
Let i = -2.52 + 2.1. Let w = i + 0.02. Sort -2/7, w, -3/5 in decreasing order.
-2/7, w, -3/5
Let n be (-60)/(-14) - (-2)/(-7). Suppose -n*x + 15 = x, -19 = 2*g - 5*x. Let p be (-150)/39 - 4/26. Put g, p, -1 in ascending order.
p, g, -1
Suppose 5*k = 6*k + 3. Sort 4, -1, k in increasing order.
k, -1, 4
Suppose -2*d - 6 = 5*u, -2*d - 2 - 4 = -4*u. Let s = 8.4 - 8. Sort -3, u, s in decreasing order.
s, u, -3
Let p = 0.2 - 2.2. Let q = -3/185 - 549/370. Sort 3, p, q in decreasing order.
3, q, p
Let n = 0.3 - 0.1. Let m = 0.18 - n. Let j = -0.52 - m. Sort j, 0.5, 0.4.
j, 0.4, 0.5
Suppose 0 = 11*x - 2 - 9. Sort x, 11, -3 in descending order.
11, x, -3
Let u(l) = l**2 - 7*l + 5. Let r be u(5). Suppose -2*p = -4*q - 6, 6 = 4*p - q - q. Let k be (-1)/2 - 6/4. Put r, p, k in descending order.
p, k, r
Let w be 4*(0 + (-2)/(-20)). Sort -0.3, w, 4/9, -4/7.
-4/7, -0.3, w, 4/9
Let j be (2 + (1 - 2))*-3. Let u(g) = g**3 - 13*g**2 + 3. Let n be u(13). Sort n, -1, j in decreasing order.
n, -1, j
Let u = 5.4 + -5.5. Sort 2/11, 22, -3, u in decreasing order.
22, 2/11, u, -3
Let f = -0.2 + 0. Let k = -49 - -45. Let o = 0 - -5. Sort f, k, o in decreasing order.
o, f, k
Let c = 0.8 - 0.86. Let d = 0.24 - c. Let g = -1.1 + 1. Sort g, -2, d in descending order.
d, g, -2
Suppose 4*q = q + 9. Let z = q + -5. Put -4, z, 4 in ascending order.
-4, z, 4
Suppose 0 = -2*a + 8 - 4. Suppose 5*x = -5, 0 = 2*t - 0*t + 2*x. Let p = t - -2. Put -2, a, p in increasing order.
-2, a, p
Let m = 43 - 39. Sort -7, m, -5 in increasing order.
-7, -5, m
Suppose 0 = -5*g + 2*i - 9, 0 = -5*g - 2*i - i - 24. Sort g, 1, 0 in descending order.
1, 0, g
Let o = -215.2 - -215. Sort o, -0.1, -2/9 in descending order.
-0.1, o, -2/9
Let i = 2 + 1. Let j(o) = -6*o**2 + 6*o**2 + o**3 - 8*o**2 - 1. Let d be j(8). Put 2, i, d in ascending order.
d, 2, i
Let q = 0 + 3. Suppose 8 = q*a + 20. Let s(d) = d + 7. Let g be s(-5). Put -5, a, g in decreasing order.
g, a, -5
Let c = -0.08 + 0.03. Let a = c - 0.15. Sort -2/3, -0.1, a.
-2/3, a, -0.1
Let a(o) = 2*o + 1. Let c be a(2). Let r = 25 - 24. Sort -3, r, c in increasing order.
-3, r, c
Let q = -2 - 0. Let y = 21/4 - 19/4. Put q, 2, y in descending order.
2, y, q
Let f = 3 + -2.2. Let t = 0.3 - f. Let c = 25 + -25.2. Sort c, t, 0 in descending order.
0, c, t
Let b(n) = -n**3 + 6*n**2 - 4*n - 4. Suppose -j + 4*r + 1 + 20 = 0, 40 = 4*j - 5*r. Let x be b(j). Sort x, 5, 0 in decreasing order.
5, x, 0
Let v(m) = -m**2 + 5*m - 1. Let c be v(2). Put c, 0, 1, 3 in descending order.
c, 3, 1, 0
Suppose -24 + 4 = 5*t. Let i(f) = -f**2 - 4*f - 4. Let h be i(t). Sort 0, h, -1 in descending order.
0, -1, h
Suppose 7 = 3*h - 14. Let i be 2 - h/(63/20). Sort 5, 0.2, i in increasing order.
i, 0.2, 5
Let a = -8393/30 - -1397/5. Let b = 7/10 + a. Sort b, -1, -5/2.
-5/2, -1, b
Let q be 6/(0 + -2) + -29. Let y be 8/q + (-7)/(-44). Sort 2/3, y, 2 in increasing order.
y, 2/3, 2
Let r be 72/(-14) + (-1)/(-7). Let b be -1 + r*3/(-3). Put b, 5, 3 in decreasing order.
5, b, 3
Let y(u) = -u + 1. Let o be y(-2). Suppose -7 = o*v - 22. Sort -2, v, -4.
-4, -2, v
Let g(u) = -u + 4. Let s be g(4). Let i = -367/4 + 92. Sort i, -0.2, s in increasing order.
-0.2, s, i
Let a = 0.87 - 0.97. Sort a, 2, -0.5, -2/7 in ascending order.
-0.5, -2/7, a, 2
Let j = 5.6 - 6. Let c = 8/13 - -2/39. Let p = c + -11/12. Sort 1/9, j, p.
j, p, 1/9
Let v(m) be the third derivative of -m**6/120 + m**5/30 + m**4/24 + m**3/6 - 4*m**2. Let k be v(2). Let d be -2*(-1)/(2*-1). Sort 1, k, d in decreasing order.
k, 1, d
Let u be (-18 + -2)/(1 + -2). Suppose 0 = 2*x + 2*z - u, x = -z - z + 15. Let b = 2 - 1.5. Put b, x, -2 in ascending order.
-2, b, x
Let f be 8 + 732/(-90) + (-26)/30. Let t(l) = -l**3 - 4*l**2 + 6*l + 6. Let q be t(-5). Sort f, 4, q in descending order.
4, q, f
Let i = -3 + 7. Suppose -2 = -x, -i*b = -4*x - 0*x. Let c be (b + (-15)/6)*-2. Sort 3, -3, c in increasing order.
-3, c, 3
Let a = -78 + 79. Sort 6, 3, a, 3/4 in decreasing order.
6, 3, a, 3/4
Suppose -16 = -4*w + 8*w. Let d = -8 + 3. Let o = -1 - d. Sort w, -3/4, o in increasing order.
w, -3/4, o
Let i(r) = r**3 + 11*r**2 - 13*r - 8. Let f be i(-12). Let s = -0.05 + -0.05. Sort f, s, 0.5 in decreasing order.
f, 0.5, s
Let t(l) = l - 2. Let c be t(2). Sort 3, -4, c, 4 in descending order.
4, 3, c, -4
Suppose 5*a - 6*a + 5*a = 0. Sort 2, a, 4 in decreasing order.
4, 2, a
Let h = 5 - 10. Let m be 18/8 - (-1)/(-4). Let u be (6/1 - m) + 0. Put h, u, 2 in decreasing order.
u, 2, h
Suppose l - 18*l - 51 = 0. Let f(p) = -p**3 - 3*p**2 + p - 1. Let o be f(-3). Sort o, l, 1 in descending order.
1, l, 