. Sort 3, -4/7, m in decreasing order.
3, m, -4/7
Let l(o) = -o + 5. Let q be l(6). Sort 5, q, 0, -5 in descending order.
5, 0, q, -5
Let i be 63/15 + (-1)/5. Let h be 408/(-85) + (-1)/5. Put i, h, -6 in increasing order.
-6, h, i
Suppose 0*i + 5*r = -4*i - 3, 4*i + r - 9 = 0. Let h(s) = s + 5. Suppose -5*a = -4*v + 33, 2*a - a + 4*v - 3 = 0. Let j be h(a). Sort j, i, 1.
j, 1, i
Let x = 3 + -3.1. Let v(c) = -c + 1. Let w(i) = i**2 + 6*i - 5. Let q(r) = 5*v(r) - w(r). Let y be q(-12). Sort -2/5, y, x.
y, -2/5, x
Let v = 15 + 1. Suppose 12 = -v*c + 12*c. Sort c, 5, 2.
c, 2, 5
Let l be 1*99/(-3)*4. Let h = 658/5 + l. Sort 0.3, h, -5 in decreasing order.
0.3, h, -5
Suppose -2*r + 3 - 1 = 0. Let z(v) = -2*v - 7. Let y be z(-6). Suppose 3*m - m = -m. Sort y, m, r in ascending order.
m, r, y
Suppose -8*c + 4*c - 32 = 0. Suppose t + 7 = 2. Let v = t - c. Put 5, -0.1, v in ascending order.
-0.1, v, 5
Let b = 6 - 13. Let j(d) be the second derivative of d**5/20 + 7*d**4/12 + d**3/3 + 5*d**2 - d. Let s be j(b). Sort 1, s, 2 in increasing order.
s, 1, 2
Suppose -4*j = -345 - 1167. Suppose 0*g = 3*g + j. Let t be (6/16)/(g/24). Sort t, -5, 3.
-5, t, 3
Let x = -0.8 - 0.2. Let n = -0.2 + -0.8. Let l = x - n. Put -1/4, -0.4, l in descending order.
l, -1/4, -0.4
Let y be 25/(-15)*(-6)/(-4). Let h = -0.2 - -0.5. Let i = 6 - 11. Sort i, y, h in descending order.
h, y, i
Let l be (-10)/(-4)*(4/5)/1. Suppose -2*i + 20 = 2*i. Let v be 17/5 - 2/i. Sort l, v, 0 in decreasing order.
v, l, 0
Let f(r) = r**2 + 5*r + 2. Let u be f(-3). Sort u, 0.1, 5.
u, 0.1, 5
Let z = -8 + 7.2. Let k = -0.77 - z. Let u = -0.33 + k. Put u, -5/2, -4 in decreasing order.
u, -5/2, -4
Let f = 115 + -114.8. Put -2/17, f, 1/6 in ascending order.
-2/17, 1/6, f
Suppose 2 = 3*p + 11. Sort 5, p, 2.
p, 2, 5
Let f be -5 + 4 + (-2 - -7). Put 1/4, f, 1/7, -2 in decreasing order.
f, 1/4, 1/7, -2
Let u = 23 - 22.7. Put 0.07, -0.2, u in decreasing order.
u, 0.07, -0.2
Suppose -12 = -3*p - 0*p. Put 0.5, 3, p in decreasing order.
p, 3, 0.5
Let u = 243 + -1704/7. Let s = -0.1 + -0.3. Put u, s, 1/6 in descending order.
1/6, s, u
Suppose 2*c = 6 - 14. Sort -1, 0.4, c, -2.
c, -2, -1, 0.4
Suppose -4*k + 12 = 0, -11 = 5*i + 5*k - 46. Sort -3, i, -1, 5 in ascending order.
-3, -1, i, 5
Let f(k) = k**3 + 6*k**2 - 3*k - 8. Let w be f(-6). Let s be w/(-8) + 1 - 0. Put 0.4, 1/2, s in descending order.
1/2, 0.4, s
Let l = -78.8 + 79. Sort l, -0.5, 0.3.
-0.5, l, 0.3
Let g = 48 + -23. Sort -3, 0, g in decreasing order.
g, 0, -3
Let c = 0.04 + -2.04. Sort 0.5, c, -0.1 in increasing order.
c, -0.1, 0.5
Let y(q) = -q**2 + 11*q + 2. Let b = -7 - -18. Let m be y(b). Put m, -5, 4 in descending order.
4, m, -5
Let j = -0.12 + 0.04. Let f = -0.12 + j. Put 4, 6/7, f in descending order.
4, 6/7, f
Let a = 13 - 8. Let w = -5 + a. Let q = -0.38 + 0.08. Sort -0.4, q, w in descending order.
w, q, -0.4
Let b = -9 - -4. Let o = -1 + -2. Put -4, o, b in descending order.
o, -4, b
Let n be 7/(-3) + 4/(-6). Let c = -0.27 + 1.57. Let u = c - 1.4. Put n, u, 3 in ascending order.
n, u, 3
Let a be -12 - -9 - 12278/(-3816). Let o = a - -1/212. Sort 1, o, 0.3.
o, 0.3, 1
Let j = -14/27 - -236/351. Let f = 1 + -1.3. Sort -3, f, j in descending order.
j, f, -3
Let v(s) = -3*s**2 - 8*s + 3. Let l(g) = 2*g**2 + 4*g - 1. Let o(z) = 5*l(z) + 3*v(z). Suppose 3*p - 4*p = -3. Let k be o(p). Sort 4, 3, k in descending order.
4, 3, k
Let z(x) = x**3 - 6*x**2 + 5*x + 3. Let u be z(5). Let d(s) = 2*s**2 - s - 2. Let w be d(2). Sort u, 5, w in increasing order.
u, w, 5
Let f = 317/366 - 2/61. Let z = -11/15 + f. Put -3/8, z, -3 in ascending order.
-3, -3/8, z
Let n = -224 + 223.8. Let s = 0.01 - -3.99. Sort 2, n, s in ascending order.
n, 2, s
Let g = -7/4 + 3. Sort -0.1, g, 3 in decreasing order.
3, g, -0.1
Let m = -3.6 - -1.6. Let f = -2 + m. Sort -2/5, -0.2, f.
f, -2/5, -0.2
Suppose 3 + 1 = -x. Let h(o) = -o**2 + 5*o + 4. Let w be h(5). Sort x, 1, w.
x, 1, w
Let m(d) = -d**2 + 1. Suppose 2*b + 0 + 4 = 0. Let j be m(b). Let r be (-2)/(-7) - (-222)/(-42). Sort j, r, -1 in increasing order.
r, j, -1
Suppose 0 = -34*a + 33*a + 2. Sort -1, a, -9.
-9, -1, a
Suppose 0 = -2*q - 0*q - 4*r - 2, -q + 11 = -4*r. Suppose -5*t - 2 = -22. Let u = -8 + t. Sort u, 5, q in descending order.
5, q, u
Suppose -x - 2 = -0*x. Let s(y) = y - 1. Let d = -6 + 2. Let j be s(d). Sort 4, j, x in ascending order.
j, x, 4
Let d = -0.2 + 0.5. Let x be (-2)/9 + 4092/378. Let p = x + -75/7. Sort d, 5, p in increasing order.
p, d, 5
Let u = 18 + -21. Put 1/3, 4, u, -0.4 in decreasing order.
4, 1/3, -0.4, u
Suppose 7*o - 2*o = -25. Sort -1, 1, o in descending order.
1, -1, o
Suppose -2*k + 0 - 2 = 0. Let a = -291.2 + 291. Sort a, -3, k in descending order.
a, k, -3
Suppose 5*f + 100 = -16*j + 11*j, 4*f = -5*j - 104. Put -4, j, -2 in ascending order.
j, -4, -2
Suppose 0 = 5*s + 4*n - 26, 3*n - 6 = 6. Suppose -a = -s + 32. Let g = a + 152/5. Put g, 2, -2/9 in ascending order.
-2/9, g, 2
Let m(u) = u**3 - 2*u**2 - 3*u - 3. Let h be m(3). Let z be 2/9 + 68/18. Let a be (-6)/14 - (-224)/(-49). Sort h, a, z in ascending order.
a, h, z
Let s = 7 + -3. Sort s, 5, -1/5 in decreasing order.
5, s, -1/5
Suppose -3*i = -6*c + c + 17, 4*c + 3*i + 8 = 0. Sort c, 2, -4 in ascending order.
-4, c, 2
Let k = 32 - 31.5. Let r = -0.97 - -1. Put 1/3, r, k in increasing order.
r, 1/3, k
Let d(r) = r + 13. Let y be d(-7). Let w(x) = -7*x + x**2 + 0*x**2 - 4 + 5. Let m be w(y). Put 1, m, 0 in decreasing order.
1, 0, m
Let s = 56 + -59. Let h = -4 - -8. Let l(n) = -n**3 + 4*n**2 - 2. Let b be l(h). Put -1, b, s in increasing order.
s, b, -1
Let k(f) = f**3 - 7*f**2 - 8*f + 1. Let z be k(8). Let r be (0 - 1)/(0 - 1). Let x = -3 + r. Sort z, x, -5 in ascending order.
-5, x, z
Let g = 0.08 - 0.11. Let y = g - 0.07. Let k = -0.9 + 1. Sort y, k, 3.
y, k, 3
Suppose 0 = 7*q + 45 + 11. Put q, 4, 2 in increasing order.
q, 2, 4
Let c = 8 - 4. Suppose -18 = 3*z - 3. Sort c, -2, z in ascending order.
z, -2, c
Let f = 2.1 + -2.4. Sort -2, -5/3, f.
-2, -5/3, f
Let n be (1*2)/(1/2). Let o be -1 + 3*n/30. Sort 0.2, 0.4, o in descending order.
0.4, 0.2, o
Let v = -26 - -25.48. Let y = -0.02 - v. Let f = 4.3 - 4. Sort -2, y, f in increasing order.
-2, f, y
Suppose -5*g = -2 - 13. Suppose -3*z = -g, 0 = 5*h - 2*z + 5*z - 13. Suppose -n + 3*j = 8, 5*j - 8 = 2*n + 7. Sort h, 0, n in ascending order.
n, 0, h
Let a = -7 - -4. Suppose 4*m + m = 10, 3*q + 9 = 3*m. Let j = 1 + -6. Put q, j, a in ascending order.
j, a, q
Suppose -2*n + 4*n - 6*n = 0. Sort -6, n, -1, 2 in decreasing order.
2, n, -1, -6
Let y be (-28)/6 + 6/9. Let d be 8*(10/y + 2). Let v = -46 - -43. Put v, d, 2 in descending order.
2, v, d
Let p = -28 + 28. Let d = -0.053 + 2.353. Let l = -0.7 - d. Sort 5/3, l, p in ascending order.
l, p, 5/3
Let s = 0.35 + 0.05. Let o = -1/34 + 9/17. Sort o, s, 3.
s, o, 3
Let g = 3 - 5. Let x be 12/10*((-75)/4)/(-15). Sort x, g, 3/5 in decreasing order.
x, 3/5, g
Let x = 6 + -21/4. Put 2, x, 0.4 in descending order.
2, x, 0.4
Let v = -33 + 36. Sort 26, -3/8, v, 0 in descending order.
26, v, 0, -3/8
Let z = 103 + -124. Put -3, z, 1, 5 in decreasing order.
5, 1, -3, z
Suppose 0*h = -h. Suppose 3*c - c + 6 = h. Let f be -1*(c + -2 + 0). Put 1/4, f, 3/7 in increasing order.
1/4, 3/7, f
Let d be -2 + 1 + -1 + 72/27. Sort -2, d, -4/7, 2.
-2, -4/7, d, 2
Let t(f) = -9*f**2 + 4*f - 2. Let n be t(2). Let j be (12/(-10))/(n/100). Let x(p) = -p**2 - 2*p + 4. Let m be x(-4). Put -2, m, j in decreasing order.
j, -2, m
Let g = -0.5 + 0.4. Let o = -19/9 - -16/9. Put o, g, -3 in decreasing order.
g, o, -3
Let l = 33 - 38. Let s be (-8)/(-3) - 4/6. Put l, s, 3 in decreasing order.
3, s, l
Let c = -6 - -6.1. Let f = c + -0.5. Sort f, 1, -2.
-2, f, 1
Let b = -86 - -81. Let y(d) = d**3 - 3*d**2 - d. Let j be y(3). Put j, 10, b in increasing order.
b, j, 10
Suppose 17 = 2*d + 2*z - z, -8 = -3*d + 2*z. Suppose 5*y - d = 4. Let h be y/4*(1 + 3). Sort h, 4, -4 in decreasing order.
4, h, -4
Let d = -0.09 - 9.91. Let g = d - -6. Sort 2/3, 4, g in decreasing order.
4, 2/3, g
Let k(f) = f**3 + 3*f**2 - 2. Let v be k(-2). Let x be ((-1 + -1)/6)/((-6)/(-18)). Sort 1, v, x in descending order.
v, 1, x
Let i(u) = -u**3 - 7*u**2 - 5*u + 2. Let s be i(-6). Put -2, -3, s in 