 in descending order.
3, m, s
Let j(f) = f**3 + 8*f**2 + 7*f + 1. Let l be j(-7). Let q = l - -2. Sort 0, q, 5 in descending order.
5, q, 0
Suppose -2*c + 2 = -0*c. Let b = -2 - -4. Sort b, c, 5 in decreasing order.
5, b, c
Let c be (-2)/(0 - 2)*(-14)/(-35). Sort -0.2, 0.3, c in decreasing order.
c, 0.3, -0.2
Let p(u) = u**3 - 4*u**2 + 2*u - 2. Let q be p(3). Sort 0, 1, q.
q, 0, 1
Suppose 2 = -2*g + g. Let d be g/4 - 18/(-52). Sort 0.1, d, -5.
-5, d, 0.1
Let p be 9/2 + 3/6. Let w be p/(-5) + (-5)/(-4). Sort -2, w, -4 in descending order.
w, -2, -4
Suppose l - 4*z + 15 = 0, 4*l + 8 = -z + 4*z. Put l, 5, -5 in descending order.
5, l, -5
Let c = -360 + 355. Let a = 1.98 - -0.02. Put c, 4/5, a in decreasing order.
a, 4/5, c
Let k = -2/53 + -96/265. Sort -2, 10, k in decreasing order.
10, k, -2
Let l(c) = c - 8. Let j be l(9). Let k = j - 1. Let z be (0 + 1)*(4 + 0). Sort z, -5, k in decreasing order.
z, k, -5
Let l = 44.17 - 20.18. Let t = l - 24. Put -0.3, 4, t in decreasing order.
4, t, -0.3
Let y(l) = -l**3 + 5*l**2 - 4*l + 1. Let n be y(4). Sort -1, 4, n in descending order.
4, n, -1
Suppose 5 = -10*y - 5. Sort -2/15, -5/4, -11, y in increasing order.
-11, -5/4, y, -2/15
Let o be ((-5)/(-1) - 2) + 2. Suppose -j = j - b + 1, -j + o*b + 22 = 0. Put 3, j, -5 in increasing order.
-5, j, 3
Let s = -45 + 63. Let t = s - 13. Let z = 4.8 - t. Sort -3/2, 5, z in descending order.
5, z, -3/2
Let z be (-466)/3 - 1/(-3). Let j be (16/(-5))/(63/3060). Let l = j - z. Sort l, 0.5, -4 in ascending order.
-4, l, 0.5
Let q be -10 + 6 + 2*1. Put 0, q, -0.2 in decreasing order.
0, -0.2, q
Let p = -5.98 - 0.02. Sort -1, p, -1/2 in ascending order.
p, -1, -1/2
Let y = -5 + 10. Suppose m + y*d = 10 - 3, -4*m - 5*d - 2 = 0. Suppose 2*u + 2*u = 0. Sort 2, m, u.
m, u, 2
Suppose 4*h + 4*g = -24, -5*h + 5*g = g + 3. Put 0, h, 30 in decreasing order.
30, 0, h
Let m(l) = -2*l**2 - 3*l. Let d be m(-2). Let h be (-2)/9 - 2/(-9). Sort d, h, -4 in increasing order.
-4, d, h
Let d be (-2)/(6/(-3)) + -3. Sort 5, -4, d in increasing order.
-4, d, 5
Let r = 1.12 + -0.8. Let d = 0.02 - r. Sort 0, 4/7, d.
d, 0, 4/7
Let s = -10/383 - -1729/22214. Let w = -23/116 - s. Put -5, w, 5 in decreasing order.
5, w, -5
Let x be (4/(-6))/(65/(-15)). Let u = -0.99 + -0.01. Sort x, 2, u in ascending order.
u, x, 2
Let h(s) = -s**3 + 3*s + 3. Let c be h(-2). Let y = -15 - -23. Suppose c*r - y = -28. Sort -5, r, 3.
-5, r, 3
Suppose 25 = 4*u + u. Suppose 3*i - 4*i + 3*t + 18 = 0, -5*t = -3*i + 34. Put i, -4, u in ascending order.
-4, i, u
Let h(l) = -2*l - 23. Let u be h(-12). Put -1, -4, u in descending order.
u, -1, -4
Let y = 15 - 15. Let q = 1 + -2. Let v be 2/(-8) - 22/8. Sort q, y, v.
v, q, y
Let p = 10 - -6. Let x = 16 - p. Put 1, x, 0.2 in decreasing order.
1, 0.2, x
Suppose -3*p - 19 = -4*n, -n + 31 = -5*p + 5. Sort 5, -4/3, p, 1/2 in descending order.
5, 1/2, -4/3, p
Let w be ((-10)/(-4) - 2)*8. Suppose -5*m - w*t - 12 = 0, -8 = 3*m - t + 6. Put m, 2/3, 0 in descending order.
2/3, 0, m
Let a be (1/2 - -1)*2. Let l be -1 + 3 + (-35)/5. Sort -2, a, l in ascending order.
l, -2, a
Let o = 16 - 10. Let b = -11 + o. Sort b, 4, 1 in descending order.
4, 1, b
Let q = -3 + -1. Let r = 31/286 + 1/22. Sort 2/15, r, q in descending order.
r, 2/15, q
Let g = -60 - 1. Put g, 1, -5 in ascending order.
g, -5, 1
Suppose 4 + 2 = 3*s. Let p be (-4)/(-8) - (-9)/s. Let a = -4 + p. Put a, 0, 4 in increasing order.
0, a, 4
Let d = 3 + -3. Let s = 1 + d. Let m = 0.2 + -0.3. Sort s, m, 5 in descending order.
5, s, m
Let m(c) = c**3 + 17*c**2 - 19*c - 35. Let k be m(-18). Put k, 4, 1, -4 in decreasing order.
4, 1, -4, k
Let l = -4 - 0. Let w be (-12)/(-16)*l/6. Let u be (-1)/3 + (-2)/(-6). Sort u, w, 0.2 in descending order.
0.2, u, w
Let t = 0 - -8. Let f = 4 - t. Sort -1, -2, f.
f, -2, -1
Suppose -5 = -0*j - j. Suppose -3 = m - j. Sort m, 1, 0.
0, 1, m
Suppose -2*z = -3*y + 24 - 5, -4*z = 4*y + 8. Suppose -y = b + 2. Sort -1, 5, b in decreasing order.
5, -1, b
Let z = 12 - 7. Let i(r) be the first derivative of r**4/4 + r**3 + r**2 + r - 3. Let s be i(-2). Put 3, s, z in decreasing order.
z, 3, s
Let i = 1 + 5. Let a be (-19)/i - 3/(-1). Let f = -0.44 + 0.04. Sort 4, f, a in descending order.
4, a, f
Let b = 0 - -1. Let g = 0.06 - 0.16. Put g, b, -5 in descending order.
b, g, -5
Let h be 64/(-28) - 4/(-14). Let s be (-21)/12 - (-2)/1. Put -0.5, h, s in decreasing order.
s, -0.5, h
Let k = -3.03 - -0.03. Let v = 3.5 + k. Let w be (-1 - -2) + 54/(-66). Sort -0.3, w, v in ascending order.
-0.3, w, v
Let r = 4 + -7. Suppose -2*y = 2*c + 8, 2*y - 2*c = -y + 13. Sort y, 2, r in ascending order.
r, y, 2
Suppose -9 = 3*b, 4*j + 5*b - 9 = 4*b. Let o be (14/(-4) - -3)*j. Sort 1/4, o, -0.4.
o, -0.4, 1/4
Let h be ((-6)/(-20))/(2/(-4)). Let v = 1.52 + -5.43. Let k = 0.09 - v. Sort 1, k, h in descending order.
k, 1, h
Suppose -p + 3 = -0. Let n = -2 + 9. Let z = n - 7. Put 2, p, z in decreasing order.
p, 2, z
Let x = 18 - 18. Put 4, x, 1 in descending order.
4, 1, x
Let q = -0.2 - -0.4. Let d = q + -0.3. Let i = -0.6 - d. Sort -3, i, 3 in descending order.
3, i, -3
Let x = 0.8 + 4.2. Sort -10, 2, x in decreasing order.
x, 2, -10
Let y be (0 - (14 + 0)) + 1. Put y, 1/2, 2 in increasing order.
y, 1/2, 2
Let r = 1.8 + -3.4. Let s = 1.2 + r. Let t = -0.8 - -1. Put -3, s, t in ascending order.
-3, s, t
Let v = -1.7 - -0.7. Let h = 0 - -0.6. Let c = h - -2.4. Put v, 5, c in decreasing order.
5, c, v
Let o(d) = -2*d - 4. Let u be o(-3). Put u, -1, 3 in descending order.
3, u, -1
Suppose -3*n = 2*j - 7, 2*n - 1 = 3*n. Put j, -2/11, -2/13 in descending order.
j, -2/13, -2/11
Suppose m = -m + 16. Suppose 2*p = -3*b - b + m, 3*b = 9. Let c(z) = -z - 9. Let t be c(-9). Put t, p, -5 in descending order.
t, p, -5
Let v be 3/(-24) - 3/12. Let t = -11 - -8. Put v, 2/5, t in ascending order.
t, v, 2/5
Let k be 3/(2 + 2/(-4)). Let i(c) = -c**2 + 8*c - 9. Let q be i(6). Sort 1, q, k in decreasing order.
q, k, 1
Let p(m) = -m**2 - 9*m - 2. Let k be p(-6). Suppose -k = -3*x + 2. Let h = x + -5. Sort -4, h, 0 in ascending order.
-4, 0, h
Let n = 53.1 - 48. Let j = n + -5. Put -0.04, j, 1/7 in ascending order.
-0.04, j, 1/7
Let c = 53 + -58. Sort 4, c, -6, -2 in descending order.
4, -2, c, -6
Let f be 6/2 + -12 + 13. Sort f, 0, 6 in descending order.
6, f, 0
Let b(a) = -a**2 - a - 1. Let f be b(-2). Let s be ((-16)/(-12))/(-4)*f. Sort -9, 3, s in increasing order.
-9, s, 3
Let y = 32 + -28. Put -2/3, y, 3 in descending order.
y, 3, -2/3
Suppose -3*o + 0*o - 4*r = -17, -o + 2*r = 11. Put 0, 3, o in descending order.
3, 0, o
Let a = 4 - 2. Suppose 760*x - 766*x = 0. Put -10, x, a in decreasing order.
a, x, -10
Suppose -1 = w + 3. Sort w, -5, -0.1 in descending order.
-0.1, w, -5
Let b = 24 - 22. Put 0.2, -9, b in increasing order.
-9, 0.2, b
Let r(f) = -4*f**3 - f. Let m be r(-1). Sort m, 0, -2 in decreasing order.
m, 0, -2
Suppose s - 4*s = 126. Let m = -128/3 - s. Put -1, m, 0.5 in descending order.
0.5, m, -1
Let n = 0 - -5. Put 3, n, 0 in decreasing order.
n, 3, 0
Let m(j) = 3*j + 25. Let t(b) = b + 8. Let y(r) = 3*m(r) - 8*t(r). Let i be y(-6). Let p = 13 + -13.1. Put 2, i, p in ascending order.
p, 2, i
Let j(c) = 17*c + 88. Let o be j(-6). Put -0.3, -0.2, o, 4 in ascending order.
o, -0.3, -0.2, 4
Let o = 4 + 0. Suppose -3*d = -o*d + 10. Let v = d - 9. Sort v, -3, 2/7 in increasing order.
-3, 2/7, v
Let m = -0.02 - 0.78. Let q = m + -0.2. Let z = 0.29 + -0.09. Put z, q, 2/7 in ascending order.
q, z, 2/7
Let p = -5.02 - -0.02. Sort 1, p, -1 in descending order.
1, -1, p
Let s be 1 - -2 - (-16)/(-6). Put s, -0.3, 1/4, 3 in decreasing order.
3, s, 1/4, -0.3
Suppose -2*m + 6 = 2*f + f, -5*m - 23 = -2*f. Sort 3, -1, f in decreasing order.
f, 3, -1
Let k be 27/4 + -5 + -1. Let v = -6.05 + 0.05. Put k, -4, v in descending order.
k, -4, v
Let t be ((-42)/(-9) - 4)*3. Let a be 1 - -1 - (-6)/(-1). Let s = -7 + 10. Sort t, a, s in decreasing order.
s, t, a
Suppose -3*h = -h + 4*x - 4, 3*h - 2*x + 26 = 0. Sort 5, -1, h in increasing order.
h, -1, 5
Let j = -26 + 28. Sort j, 4, 0.11.
0.11, j, 4
Let h = -12 - -13. Suppose 3*j - 2*c = -24, 6*c - 3*c - 39 = 5*j. Sort j, -3, h in descending order.
h, -3, j
Let z = 3/37 + 53/259. Sort 0.1, z, -1/3, -8.
-8, -1