 3*k. Put 5, k, -4 in increasing order.
-4, k, 5
Suppose 0*y - 3*y + 15 = 0. Put 2, 1, 0, y in increasing order.
0, 1, 2, y
Let r = 2.9 - 1.9. Put 0, r, -3 in increasing order.
-3, 0, r
Let r(s) be the second derivative of s**5/20 - 5*s**4/12 + 5*s**3/6 - s**2/2 + s. Let o be r(4). Suppose 2*n = -n. Put 5, n, o in descending order.
5, o, n
Let v(c) = c**2 - 3*c - 5. Let h be v(3). Let g(s) = -s - 2. Let p be g(0). Sort h, p, -1 in descending order.
-1, p, h
Let d = 0 + 0. Let w be 34/9 + (-4)/(-18). Sort d, w, 3 in descending order.
w, 3, d
Let s be -2*(-4)/((-8)/3). Suppose -2*b = 3*b + 30. Let w be -2 + 1 + 0 - b. Sort s, 4, w in ascending order.
s, 4, w
Suppose -4*u - 20 = -4*m, -m + 4*m + 5*u - 7 = 0. Sort 2, -5, m in descending order.
m, 2, -5
Let h = 28/11 + -106/33. Sort h, 4, 1/9 in descending order.
4, 1/9, h
Let l = -30 - -33. Suppose -2 - 13 = -3*b. Sort l, -1, b in ascending order.
-1, l, b
Let p be (-17)/2 - 1/(-2). Let g be 4/(-1)*26/p. Suppose 0 = 2*y + 3*t + g, 0*y + 2*t + 9 = -y. Sort 3, y, 5 in ascending order.
y, 3, 5
Let a = 0.2 - -0.2. Let r be (22014/(-4305))/(-3) + -2. Let p = r + 2/205. Sort a, -3, p.
-3, p, a
Let x(j) = 2*j - 19. Let n be x(9). Sort 2, n, 3 in increasing order.
n, 2, 3
Let v = 122 - 95. Put -1, 5, -0.3, v in ascending order.
-1, -0.3, 5, v
Suppose 5*m + 3*p = -15, 1 + 8 = -3*m - 3*p. Let b be m - (-2 - 1)/1. Let i = 0 + -4. Sort 3, i, b in ascending order.
i, b, 3
Suppose n + 14 = 3*n. Let m be 0/n - (1 + -2). Sort m, -2, -4 in decreasing order.
m, -2, -4
Let d = -15 - -20. Suppose 0*s + d*s = 0. Let i be (-1 + 2)*1*-5. Sort 2, s, i in increasing order.
i, s, 2
Let i(a) = -a**3 + 2*a**2 - 1. Let n be i(2). Sort n, -5, 3 in decreasing order.
3, n, -5
Let i be 16/(-3) - (-3)/9. Put 5, i, -2, 1 in descending order.
5, 1, -2, i
Let d = 12 + -14. Sort 0, 5, d.
d, 0, 5
Let w be (14/(-10) + 1)/2. Let u = -11 - -7. Let z = -0.04 - 0.36. Put u, w, z in descending order.
w, z, u
Let p = -3 - -5. Let x = p + -2. Let d = -0.01 + -0.49. Put d, 1/4, x in decreasing order.
1/4, x, d
Let r be -1 + (2 + -2 + 3 - 6). Suppose 1 = -3*l + 13. Put l, r, 3 in ascending order.
r, 3, l
Suppose 0 = 4*a - 2*b + 3 + 5, -4*a - 5*b = 8. Put a, 3, 1 in ascending order.
a, 1, 3
Let m = -9 - -12. Let q = m + -8. Put q, -1, 1 in ascending order.
q, -1, 1
Let x = 68 - 79.3. Let l = x - -11. Sort 5, 4, l in descending order.
5, 4, l
Let c = 2.3 - 1.3. Sort c, -1/3, -0.07 in increasing order.
-1/3, -0.07, c
Let l = 8 + -8.6. Let o = 1.4 - l. Put 0.1, -0.5, o in increasing order.
-0.5, 0.1, o
Let l = 13 - 22. Let a(n) = n**3 + 9*n**2 + n + 9. Let i be a(l). Put 1, -4, i in descending order.
1, i, -4
Let a(q) = -4*q + 17. Let z be a(4). Put -10, -3, z in ascending order.
-10, -3, z
Let t(l) = l**2 - 3*l - 1. Let u be t(3). Let c be (-5)/(-2)*8/10. Let m be 3/(-6)*6 - (-9 + 1). Sort m, u, c in descending order.
m, c, u
Let p = -2/45 + -76/315. Let m be -3*1/((-51)/2). Sort p, m, -2/3.
-2/3, p, m
Let a = -0.1 + -0.1. Let d = 6.9 + 1.1. Let x = 7.5 - d. Sort a, 0.4, x.
x, a, 0.4
Let m be ((-6)/4)/(2/(-4)). Sort -5, m, 0 in descending order.
m, 0, -5
Let p be 0 - 3/(-6 - 3). Suppose -b - 8 = 3*b. Let j be (3/(-24))/(b/4). Sort p, j, -3.
-3, j, p
Suppose 2*i = 4*z - 14, 2*z - 6*z - 5*i + 7 = 0. Suppose -5*c = -3*f - 6*c - 11, 4*f - z*c = 7. Put f, 0, -4 in decreasing order.
0, f, -4
Suppose -d + 3*d + 5*g = -15, -4*g = -5*d + 12. Sort -0.1, -10, d in increasing order.
-10, -0.1, d
Let q = -0.46 - 0.04. Let c be 1/(-6)*-2*1. Sort 1, c, q in descending order.
1, c, q
Let c = -52.897 + 53. Put c, 0, -4 in decreasing order.
c, 0, -4
Suppose -2*r + 5 - 3 = 0. Suppose 2*y - 2 = 2. Sort -4, y, r in decreasing order.
y, r, -4
Suppose 4*l - 3*l - 4 = 0. Let w(f) = 3*f - 9. Let o be w(6). Suppose -1 + o = -4*a. Put 2, a, l in decreasing order.
l, 2, a
Suppose -13*k = -11*k. Sort -3, 7, k in increasing order.
-3, k, 7
Let h = 0.1 - 0.2. Suppose 6 = -2*x + 2*a, -4*x + 2*a + 2 = 4. Sort x, h, -5 in ascending order.
-5, h, x
Let u be (-2)/11 + 95/(-385). Sort -5, 3/5, u.
-5, u, 3/5
Let b = -1.1 - -0.27. Let r = -0.8 - b. Let w = 1.97 + r. Sort 0.5, 0, w in descending order.
w, 0.5, 0
Let i = 4.4 + -4.7. Let k = -26/5 + 22/5. Put i, 1, k in decreasing order.
1, i, k
Let v = 13 + -12.7. Sort 4, 1, v.
v, 1, 4
Let h = 17 + -20. Let d = -4 + -0.6. Let g = d - -5. Sort g, h, 1 in decreasing order.
1, g, h
Suppose -16 = -4*w + 8*w + 4*j, -5*j = -3*w + 28. Sort 3, 11, w in decreasing order.
11, 3, w
Let g be (-21 - -23) + (-2)/6. Let p = 2299/15 - 254/3. Let a = p - 68. Put a, -2/17, g in descending order.
g, a, -2/17
Suppose -z + 1 = -2. Let k = 4 - z. Sort 3, k, 2.
k, 2, 3
Let f be (4/(-6))/(2/(-9)). Let p(w) = -w**3 + 3*w**2 + w. Let q be p(f). Put q, -1, -4 in increasing order.
-4, -1, q
Let t(s) = -2 - s**2 - 5*s + 3 + 4*s. Suppose 2*v = -2*h - 6, -2*h - 6 = -0*v + 3*v. Let q be t(h). Put q, 1, -1 in descending order.
1, -1, q
Let s = 0.11 + -6.11. Let r = 3 + s. Let z = -28/43 - 2/129. Sort 2/3, z, r.
r, z, 2/3
Let z(g) = g**2 - 4*g + 1. Let b be z(2). Let f be (1 + -2)*3/b. Sort -1/8, f, 3 in decreasing order.
3, f, -1/8
Let s(n) = -n**3 + 15*n**2 - 3*n + 33. Let q be s(15). Sort 0, q, 3.
q, 0, 3
Let s = 12.5 + -12. Put s, 9, -5, -1 in descending order.
9, s, -1, -5
Suppose 0 = 7*h - 2*h + 45. Let f = 10 + h. Put f, -3, 5 in descending order.
5, f, -3
Suppose 0 = 3*c + 4*o + 8, 5 - 1 = 4*o. Sort c, -2/9, -45.
-45, c, -2/9
Let u be 3 - (-5 - -9) - 13. Sort u, -3/4, 1/7, -0.2.
u, -3/4, -0.2, 1/7
Let l be (-6 - 0)*3/(-48). Sort l, 14, -2/7.
-2/7, l, 14
Let c = -250/3 - -83. Let w be 2/(-10) - (1 + -1). Put c, 2/9, w in decreasing order.
2/9, w, c
Let u be 2/(-4 - 4/(-2)). Let k be (20/(-6) + 3)*1. Let f = 9 - 14. Sort f, u, k in decreasing order.
k, u, f
Let l = 91 - 91.5. Sort -3/4, l, -4, 0 in descending order.
0, l, -3/4, -4
Let d = -8.3 - -8. Let x = d - 1.7. Sort 0.5, x, -0.1 in descending order.
0.5, -0.1, x
Let k(m) = -m**3 + 6*m**2 - 5*m + 1. Suppose j + 5 = 2*j. Let x be k(j). Let b = -7 + 12. Sort b, 4, x in descending order.
b, 4, x
Let r = 14 - 13.3. Let m = -1 + 1.2. Let x = m - r. Put -0.2, x, 5 in descending order.
5, -0.2, x
Let c(t) = t**2 + 20*t + 13. Let f be c(-19). Put 3, 1, f in decreasing order.
3, 1, f
Let d = -148 + 1334/9. Let p = 13 + -12.7. Sort 3, d, p.
d, p, 3
Let v = -239/3 + 81. Sort 2/3, -0.2, v in descending order.
v, 2/3, -0.2
Suppose 0 = -3*h - 9 + 6. Put h, 0, 10 in increasing order.
h, 0, 10
Let c = 0.53 - -0.17. Let h = -0.3 - c. Let z(w) = 2*w - 8. Let q be z(6). Put 0.1, h, q in decreasing order.
q, 0.1, h
Let k(l) = l**3 + 4*l**2 - 5*l + 5. Let j be k(-5). Sort 0, 1, j in descending order.
j, 1, 0
Let k(w) = 2*w + 7. Let h be k(-5). Let b = h - -7. Put -4, -5, b in descending order.
b, -4, -5
Let l = -476 + 472. Let m be -1*(-6 + 2 + -1). Sort -3, l, m in ascending order.
l, -3, m
Let d = -1.2 - 1.8. Let q = d + 4. Let n = -209 + 2301/11. Sort q, 1/2, n in descending order.
q, 1/2, n
Let p = -7 + 2. Sort -1, 0, p.
p, -1, 0
Let d = -39 - 5. Let f be d/10 - (-4)/10. Suppose 0 = -5*c - 5*h, 0 = -4*c + c + 3*h. Put 3, f, c in descending order.
3, c, f
Let f be 40/24*(-6)/(-5). Put -4, f, 2/5 in increasing order.
-4, 2/5, f
Let b be 2 - 16 - (2 + 1). Let g = 13 + b. Sort 2, g, 5 in descending order.
5, 2, g
Let m(q) = q**2 - 3*q - 7. Let k be m(3). Sort -2, k, -1 in ascending order.
k, -2, -1
Let i = -1 + 3. Suppose -8 - 6 = -i*q. Suppose -4*y + 24 = 4*l, 3*y = q*y - 4*l. Sort 1/3, 5, y in ascending order.
1/3, y, 5
Let a(p) = p**2 - 2. Let x be a(4). Let n be (-4 - -7) + (-38)/x. Let y = 177/4 + -45. Sort n, -2, y in increasing order.
-2, y, n
Suppose -8*a - 80 + 72 = 0. Let k = -0.1 - -0.3. Let j = -0.1 + k. Put j, 1/8, a in descending order.
1/8, j, a
Suppose 0 = -2*u - 11 + 1. Put 5, 4, u, -9 in ascending order.
-9, u, 4, 5
Let m be (-4)/3 - (-8)/6. Put 2, m, -18 in descending order.
2, m, -18
Let j be ((-6)/(-4))/((-3)/(-1)). Put -1, -0.2, j in decreasing order.
j, -0.2, -1
Suppose m - 12 = x, 4*m - 5*x - 26 - 19 = 0. Let k be (-6)/m + 4/10. Suppose k*v - 1 = v. Put 1, 5, v in ascending order.
v, 1, 5
Let b = 4.5 + -4.5. Sort -5, 4, b, -3/2.
-5, -3/2, b, 4
Suppose -4*g = 5 - 1. Let m = 60 - 55. Let s be -1 - 6*2/(-10