 decreasing order.
0.2, c, -0.5
Let g(h) be the third derivative of h**5/60 + h**4/12 - h**3/6 - h**2. Let o be g(-3). Let y = 0.2285 - 0.0285. Put o, y, 2/13 in decreasing order.
o, y, 2/13
Suppose 0 = -8*i + 2*i + 6. Sort i, 5, -1, 2.
-1, i, 2, 5
Let s be (-2 - -3)*13 - -2. Suppose 0*i + 5*i + s = 0. Let c(f) = -2*f + 7. Let n be c(6). Sort i, 2, n.
n, i, 2
Let r be -6 + 5 + (-3)/6*2. Put r, -5, -3, -1 in ascending order.
-5, -3, r, -1
Suppose -2*r + 4 + 0 = 0. Suppose 16 = -r*v - 2*v. Let p = 8 - 6. Sort v, p, -1 in descending order.
p, -1, v
Let d(h) = -h**3 + 11*h**2 + 1. Let j be d(11). Let v be -5*(1/j)/1. Put 2, 0, v in decreasing order.
2, 0, v
Suppose -3*z + 5*z - 8 = 3*l, 5*l = -z + 4. Let k = z + 0. Sort k, -1, -4.
-4, -1, k
Suppose 0 = -9*k + 12*k - 9. Let f be (0 + 0)*(-2)/(-4). Sort f, k, 4 in descending order.
4, k, f
Let m = 83 + -83. Put 3, m, -3 in descending order.
3, m, -3
Let n = 22 + -19. Sort 2/5, n, 5.
2/5, n, 5
Suppose -2*l + 15 = -5*j - 4*l, j = -5*l - 26. Let x(b) = 2*b**2 - 1. Let t be x(-1). Let n(s) = 2*s - 54. Let z be n(26). Sort z, t, j.
z, j, t
Suppose 0 = 3*x + 4*v - 12, 5*x - 4*v - 44 = x. Let d = x + -13. Put -1/5, 1/2, d in ascending order.
d, -1/5, 1/2
Suppose -2*a + 0*a - 6 = 0. Let m(v) = v + 3. Let w be m(-3). Suppose w = x - 0*x - 5. Sort x, a, 3 in decreasing order.
x, 3, a
Let v = -53 + 48. Put 1/8, -3/5, v, -2 in descending order.
1/8, -3/5, -2, v
Let n = -2.6 + 5.6. Sort -0.4, n, 2/17 in decreasing order.
n, 2/17, -0.4
Suppose -7 = -3*o + 14. Sort o, -4, -1 in increasing order.
-4, -1, o
Let u be (2/4)/((-9)/(-2)). Let s = -23/45 + u. Sort s, 0.2, 3/7 in decreasing order.
3/7, 0.2, s
Let n be 2*((-15)/(-9) - 2)*3. Put 4, -1, n, 0 in descending order.
4, 0, -1, n
Suppose 3*h - 8 + 2 = 0. Let t be (-7)/14 + 59/h. Suppose 3*o + 2*u + 7 = 0, -t = -o + 6*o - u. Put -4, -2, o in descending order.
-2, -4, o
Let s(u) = -u**3 + 10*u**2 + 1. Let b(l) = 4*l**3 - 41*l**2 - 4. Let m(f) = 2*b(f) + 9*s(f). Let w be m(8). Put 2, -1, w in increasing order.
-1, w, 2
Let x = -77 + 77.3. Sort -5, 1/6, x, 5 in increasing order.
-5, 1/6, x, 5
Let k = 4 - 6. Put 0.2, k, -5 in descending order.
0.2, k, -5
Let m = -60 + 63. Let j = 42 - 17. Suppose -4*l = l - j. Put l, 1, m in increasing order.
1, m, l
Let q be (-2)/4 - (-259)/14. Suppose -4*t - g = -q, 3*g = -4*t + 2*t + 14. Put -4, 0, t in decreasing order.
t, 0, -4
Suppose -3*p + p = -4*q - 10, q + 1 = 0. Put -3, 4, p, -13 in increasing order.
-13, -3, p, 4
Suppose -6 = 4*y - 2*y - 4*d, y - d = 0. Sort 0.2, 16, y in decreasing order.
16, y, 0.2
Let t = 2 + 3. Let h = 20 - 25. Put h, t, -4 in ascending order.
h, -4, t
Let w(j) = j**2 - 10*j. Let k be w(10). Sort 2, 18, k.
k, 2, 18
Let r be (2 + -1)*(0 - -5). Let i(g) = g + 2. Let d be i(-2). Let u = 4 + d. Sort 0, u, r in ascending order.
0, u, r
Let m be (-2 - (-51)/21)*(-7)/2. Put m, 10, -5, 0.5 in descending order.
10, 0.5, m, -5
Let x = -13 + 8. Let z = -7 - -11. Let f be 1*2/14*-2. Sort f, z, x in increasing order.
x, f, z
Let b = -161/22 - -15/2. Sort 0, -3, b.
-3, 0, b
Let w = 4 + -9. Let i = w + 4.6. Sort i, -1/4, 0.2 in ascending order.
i, -1/4, 0.2
Let k = 409/14 - 59/2. Let q = -0.8 + 1.2. Put q, 3/8, k in decreasing order.
q, 3/8, k
Suppose -2*b - 2*b + 12 = -4*p, 0 = -4*p - 5*b - 3. Let i be -1 + 41/(2 + -1). Suppose -u = -4*k - 14 - 11, -3*k - i = -5*u. Put -4, k, p in decreasing order.
p, -4, k
Let h(v) = -v**2 + 3*v - 1. Let z be h(4). Let c = 2 - 5. Put z, c, -1 in decreasing order.
-1, c, z
Let s = 13 + -10. Let z = -0.46 - -1.46. Sort z, s, 2 in increasing order.
z, 2, s
Let b = 1.89 - -0.41. Let z = b - 2. Sort -1/3, 2/13, z.
-1/3, 2/13, z
Suppose -w - 12 + 3 = 0. Put w, 0, -5 in decreasing order.
0, -5, w
Suppose 3*t + 2*f + 5 = 0, -2*t - 23 - 12 = -5*f. Suppose -12 = -4*i - 3*j, 3*i - 2*j = -0*j + 9. Let n be (2/(-4))/(2/(-4)). Sort i, t, n.
t, n, i
Let z = -71.3 - -71. Put 0.2, 3/13, z, 1 in ascending order.
z, 0.2, 3/13, 1
Let m = 3.6 - 3.7. Sort -0.5, -5, m in increasing order.
-5, -0.5, m
Let l(g) = -2*g + 8. Let t be l(6). Let s = t + -1. Let y = 3 + -2. Put s, y, -1 in increasing order.
s, -1, y
Let k(i) = i**2 - 13*i - 3. Let g be k(13). Sort -5, -8, g.
-8, -5, g
Let y = 78 + -74. Let m = 2 + -5. Put y, m, -5/2 in increasing order.
m, -5/2, y
Let f = 14 + -13.6. Let w = 4.1 - -0.9. Put -2, w, f in descending order.
w, f, -2
Let g = -0.374 - 0.026. Sort 5, -1.9, g.
-1.9, g, 5
Let d = -19 - -17. Put d, 2/5, 3 in increasing order.
d, 2/5, 3
Let l = -4 - -1. Let c be ((-8)/(-6) + 0)*l. Sort c, 4, 2 in descending order.
4, 2, c
Suppose f = -4*f + 30. Suppose f*z = 2*z + 12. Suppose 0*s - s + 4*t + 13 = 0, 5*s + 5*t + 35 = 0. Sort z, s, 1 in ascending order.
s, 1, z
Let a = -2.9 - -1.9. Sort -1/4, a, -39 in increasing order.
-39, a, -1/4
Suppose 2*w + 14 - 4 = 0. Let g(o) = 4*o + 1. Let f be g(6). Suppose 8*i = 3*i + f. Sort w, 2, i in ascending order.
w, 2, i
Let y = -4.4 + 0.4. Sort -3, y, -0.4.
y, -3, -0.4
Let p be (-2)/1 + 0/(-4). Sort -4, 1, p in descending order.
1, p, -4
Let j(h) = -h - 8. Let s be j(-9). Sort 2, s, 0 in descending order.
2, s, 0
Suppose 3*f = -4*b + 14, -4*f = f - 3*b - 4. Sort -1, -12, f, -3 in ascending order.
-12, -3, -1, f
Let m = -7.5 + 7. Let t = -3 + 0. Suppose -4*u + g - 8 = 5*g, -11 = 4*u + 5*g. Sort t, m, u.
t, m, u
Let u = -39 + 155/4. Sort -0.2, -0.3, u in decreasing order.
-0.2, u, -0.3
Let h(f) = -f**3 + 8*f**2 - 6*f - 2. Let i be h(7). Let m = i - 19/4. Let c = 0.1 - -0.1. Put m, 2/21, c in increasing order.
2/21, c, m
Let o = -0.3 + 0.8. Let m be (-36795)/117 - (-2)/(-3). Let w = 315 + m. Sort -5, o, w in increasing order.
-5, w, o
Let v(s) be the third derivative of 1/2*s**4 + 0*s + 0 - 1/60*s**5 + s**2 - 4/3*s**3. Let f be v(11). Sort -5, f, -2 in ascending order.
-5, -2, f
Suppose 1 = -3*n - 8. Suppose 0 = -5*k - i + 25, -5*k + 30 = 3*i - 5. Put k, 0, n in ascending order.
n, 0, k
Let t(d) = -d**2 - 9*d - 8. Let v be t(-8). Suppose v*o = -2*o. Let c be -2 - o - -5 - 2. Sort c, -5, 3 in decreasing order.
3, c, -5
Let i = -0.31 - -0.22. Let b = i + -4.91. Let p be 1/4 - 81/228. Sort p, 0.2, b in increasing order.
b, p, 0.2
Suppose -y + 0*y - 12 = 0. Let f = y - -7. Sort f, 1, -2 in decreasing order.
1, -2, f
Suppose -5*j - 5*v = -3*j - 35, 2*v - 20 = -2*j. Sort 1, j, -3.
-3, 1, j
Let j = 0 + 3. Suppose 8 + 19 = 3*a. Suppose t = 3*y + a, -5*y - t - 7 = 8. Sort 5, y, j.
y, j, 5
Suppose 5*k = 3*o - 25, 5*k = -5*o - 30 + 5. Suppose -6*j + 9 = -3*j. Put j, o, 4 in increasing order.
o, j, 4
Suppose 5*h = 3*h - 6. Suppose 3*w = -201 + 204. Put 4, w, h in descending order.
4, w, h
Let k = 0.1 + 3.9. Let h = 7.3 - -0.7. Let o = 4 - h. Sort k, 0, o in ascending order.
o, 0, k
Suppose 0 = 4*x + o - 27, 2*x + 2*x - 33 = -3*o. Let t be (-2)/x*7122/11. Let k = -216 - t. Put 0.4, k, -1 in ascending order.
-1, k, 0.4
Let l be (2/3)/((-16)/24). Let x = -3 - l. Sort 3, x, -5 in ascending order.
-5, x, 3
Let n(a) = a**2 - 4*a - 1. Let r be n(6). Let s = r - 7. Suppose -d = -s*d + 9. Put -2/5, -5, d in decreasing order.
d, -2/5, -5
Let w = 129 + -131. Put -5, 0.2, w in decreasing order.
0.2, w, -5
Let f = 5 - 10. Suppose -q - 3 = 3*b - 4*q, -3*b = -5*q + 1. Sort 1, b, f in decreasing order.
1, b, f
Let q(g) be the third derivative of g**4/24 + 11*g**3/3 - 4*g**2. Let w be q(-12). Sort w, -3, -2.
-3, -2, w
Suppose -3*q = -2*d - 3, -5*d = 3*q - 13 + 31. Suppose 0 = z - 3 - 2. Suppose z + 1 = 2*s. Put s, d, 5 in increasing order.
d, s, 5
Let u = -2 - -4.5. Let k = 2 - u. Put 2/21, -1/7, k in decreasing order.
2/21, -1/7, k
Let u = 36 - 31. Suppose -2*n - 2*i + 3*i = 2, 12 = -3*i. Suppose 0 = t - 6*t + 5, 0 = -r + 4*t. Put n, r, u in decreasing order.
u, r, n
Let k be ((-9)/12*-55)/((-6)/16). Put 3, -2, k in descending order.
3, -2, k
Suppose 0 = 2*r + 3*r. Let t be (3/(-5))/(-1)*5. Put t, r, 2 in increasing order.
r, 2, t
Let j = 3.98 - 4. Let v = 0.28 - j. Sort -0.3, 0.1, v in increasing order.
-0.3, 0.1, v
Let u(a) = -a**2 + 5*a - 4. Let z be u(4). Let y(i) = -i**3 - 5*i**2 + 6*i - 2. Let o be y(-6). Let k = o + 0. Sort 0.4, z, k.
k, z, 0.4
Suppose -18 = 4*d - 2. Put 4, d, -11 in decreasing order.
4, d, -11
Suppose -3*b + 0*u = -3*u - 9, 19 = 3*b + 2*u. Suppose 0 = b*a -