n descending order.
1/4, k, o
Let b = -75 + 527/7. Put -2, -1.2, b in ascending order.
-2, -1.2, b
Let b(u) = 2*u**2 + 13*u + 6. Let p be b(-6). Sort p, 3, -2 in increasing order.
-2, p, 3
Let m be 14/5 - 1/(-5). Let i be (15/m)/(4 - 3). Sort -4, 1, i in ascending order.
-4, 1, i
Suppose 3*o - 5 = -2*o. Put 5, o, 0 in descending order.
5, o, 0
Let s(b) = 16*b - 7. Let c be s(2). Let g = 23 - c. Sort -20, 5, g.
-20, g, 5
Let i = -17 - -14. Suppose -4*l + z - 8 = 0, 0*l - 2*l = -5*z + 4. Sort l, 4, i in decreasing order.
4, l, i
Suppose 0*z = -z + 4. Let u(x) = -x**3 - 3*x**2 + 3*x + 1. Let s be u(-4). Sort s, -1, z.
-1, z, s
Let h = -233/60 + 15/4. Let l = 1 + 2. Put h, -0.2, l in descending order.
l, h, -0.2
Let p = 2 + -2. Sort 1, -0.2, p in increasing order.
-0.2, p, 1
Let x = 7 - 8. Let o be (x + (-3)/(-4))/(-1). Let r = 151/5 - 30. Sort 0.4, r, o in decreasing order.
0.4, o, r
Let y = -299/35 - -42/5. Sort y, -1/4, 3, -2/3 in decreasing order.
3, y, -1/4, -2/3
Let r be 12/(-16) + 46/8. Let p = 6 - r. Sort -3, p, 2 in descending order.
2, p, -3
Let s = -5 + 9. Let l(a) = -a**3 + 5*a**2 - 3*a - 5. Let r be l(4). Let m = 5 + -4. Sort m, r, s.
r, m, s
Let u = 0.6 - 0.2. Let c be (-3)/6*8/(-34). Sort -1, c, u in ascending order.
-1, c, u
Let l = 0.114 - 0.114. Let a = -6 - -12. Suppose 5*t + a - 21 = 0. Sort l, t, 4 in increasing order.
l, t, 4
Suppose 0 = 2*g, -4*o = -2*o + 4*g + 6. Suppose 6*f + 3*r - 2 = 2*f, 2*r + 12 = 4*f. Suppose 0 = 7*p - 4*p. Sort f, o, p in decreasing order.
f, p, o
Let n be (-159)/(-33) - 4/(-22). Sort -4, -3, n in decreasing order.
n, -3, -4
Let w = 18.03 - 18. Put 1/3, 3/8, w in decreasing order.
3/8, 1/3, w
Let o = 37/2 + -75/4. Sort 2/7, o, 2, -4.
-4, o, 2/7, 2
Let b = 0.9 - 1.9. Let a = -5 - b. Sort 7, -3, a in decreasing order.
7, -3, a
Let u(n) = -n**2 + 3. Let a be u(0). Suppose a*w - 33 = -3*z, -3*z - w = w - 28. Suppose -d + 6 = 3*i, -4*d - z = 2*i - 0*d. Put -4, 1, i in decreasing order.
i, 1, -4
Suppose 0 = 3*d + 3*a - 6, -3*a - 2 = -d + a. Suppose -r = 5*w - 51, -2*r + r + 11 = w. Suppose 0*v = -d*v + w. Sort 2, -2, v in decreasing order.
v, 2, -2
Let b = 8 - 6. Suppose -7 = -7*m + 4*m - 4*y, -y - 22 = -4*m. Let f be 2/3 - 2/(-6). Sort b, m, f in descending order.
m, b, f
Let u = -9 + 14. Let t(y) = -8*y + 30. Let q be t(3). Sort q, 4, u in decreasing order.
q, u, 4
Let s = -26 - -21. Sort 10, 1, s in increasing order.
s, 1, 10
Let b = -8 - -13. Let d = -7 + b. Put d, 3, 0 in decreasing order.
3, 0, d
Let k = -0.79 + 1.29. Put k, 1/4, -1, 0.3 in decreasing order.
k, 0.3, 1/4, -1
Let p = -0.3 + -1.9. Let a = p + 1.8. Sort a, -4, 10 in descending order.
10, a, -4
Let i = 47 + -2. Put 3, i, 4 in descending order.
i, 4, 3
Let d be (-1)/(-3) - 8/24. Put 1, -4, d in ascending order.
-4, d, 1
Let w = -49.23 + 49. Let y = w - -0.13. Put 2, y, -3 in descending order.
2, y, -3
Let a be (-6)/42 - (-86)/(-182). Let h = a + 14/65. Let l be ((-2)/(-4)*-2)/(-7). Sort 3, h, l.
h, l, 3
Let h(q) = -2*q**2 - 2*q + 8. Let j be h(-3). Sort j, 6, 3 in increasing order.
j, 3, 6
Suppose k + 4*t + 17 = 0, k = -k - 3*t - 24. Let h = 10 + k. Sort 3, h, -3.
-3, h, 3
Let t be -2 - (-4 + 4 - 5). Let g be (-3*1)/(3/(-2)). Put -1, g, t in decreasing order.
t, g, -1
Suppose 0*l - t + 3 = l, -5*l - 4*t + 10 = 0. Let o = 59 - 62. Put 0, l, o in increasing order.
o, l, 0
Let g be (-6)/(-5)*5/(-2). Let d be (-5)/(-15)*g/(-2). Let b = -0.1 + -0.9. Sort 3/5, b, d in decreasing order.
3/5, d, b
Let a = -0.6 - -0.4. Let d = 15 + -11. Put 0, d, a in ascending order.
a, 0, d
Let r be (-1)/3 + (-10)/(-3). Suppose 0 = -r*j + 23 - 8. Sort 0, 1, j.
0, 1, j
Let l = 12 - 15. Sort 0.1, -3/2, l in ascending order.
l, -3/2, 0.1
Suppose -9*w - 2*n = -7*w + 18, 5*w = 5*n - 15. Sort -4, w, 5, -2 in descending order.
5, -2, -4, w
Let g = 0.1 - 0.5. Let h = g - 4.6. Sort 2, h, 0.3 in descending order.
2, 0.3, h
Suppose 0 = -5*z + 4 + 6. Put 3, -5, z in descending order.
3, z, -5
Let c = 2.96 + 0.04. Let f be (-1)/5*(-3350)/60. Let u = f - 23/2. Sort u, 3/4, c in descending order.
c, 3/4, u
Let j = 12 - 7. Let t = -54 - -57. Sort 4, j, t in descending order.
j, 4, t
Suppose 2*c + c = -3. Put 2, -2, c, 5 in descending order.
5, 2, c, -2
Let p be (0/(2/1))/(-2). Sort p, 4, 3.
p, 3, 4
Let r = 0.8 - 0.3. Let l = 55 + -15. Let w = l - 362/9. Put w, r, -0.2 in decreasing order.
r, -0.2, w
Let h be 4/(-8)*-4 - -3. Sort 1, h, 3.
1, 3, h
Let p = 0.091 - -0.009. Put -4/5, p, -1.1 in decreasing order.
p, -4/5, -1.1
Let f = 0.3 - 0.1. Let j = -5.6 + f. Let l = j + 5. Put -3, l, -1 in decreasing order.
l, -1, -3
Let j(a) = a**3 - 5*a**2 - 7*a + 9. Let g be j(6). Suppose 1 = 3*f + 16. Sort f, 1, g.
f, 1, g
Suppose 3 = -n + 13. Let u be n/(-7) + (0 - -1). Let l = 6 + -3. Sort u, l, 1 in descending order.
l, 1, u
Let k = -2 - 2. Put -3, k, 9 in descending order.
9, -3, k
Suppose 3*k = 3*h + 25 - 10, -4*k = -2*h - 18. Suppose -k*b = -20, -2*b + 13 = -3*i + 3. Put 2, i, -5 in descending order.
2, i, -5
Suppose -5*f + 0*f - 10 = 0. Suppose 34 = 4*w + 5*d, -2*w + 2 = -0*w - 5*d. Let t = w + f. Put 2, t, 3 in decreasing order.
t, 3, 2
Let m = -5 - -8. Suppose 4*c = -8, -7*s + 5*c + 6 = -5*s. Put s, 1, m in decreasing order.
m, 1, s
Suppose -4*v = -v - 3. Let y(q) = q + 5. Let n be y(-9). Put -5, v, n in decreasing order.
v, n, -5
Suppose -2*c - 27 + 25 = 0. Suppose -4*s - 6 = -2*s. Sort s, -2, c in ascending order.
s, -2, c
Let i be (4*(-6)/(-3))/2. Sort 12, 2, i in increasing order.
2, i, 12
Let k be 4*1/(-4)*-4. Sort k, 9, -1 in increasing order.
-1, k, 9
Suppose 0 = 6*l - 0*l + 18. Sort l, -1, -5.
-5, l, -1
Let t be 12/(-80)*1402/(-27). Let a = t - -17/45. Let z = -943/114 + a. Put z, 0.1, 0.2 in decreasing order.
0.2, 0.1, z
Let q = 1 + -6. Let l be 51/7 + 2/(-7). Let s = 5 - l. Put 1, q, s in descending order.
1, s, q
Let h(z) = z**3 + 5*z**2 + 6*z + 7. Let j be h(-5). Sort -0.3, j, -2/13.
j, -0.3, -2/13
Let k = -1185/13 + 91. Sort 2/3, k, -0.3.
-0.3, k, 2/3
Let o be 2/4 - (-45)/6. Sort -1, 0, o.
-1, 0, o
Let d be (-28)/(-8) + 1/2. Put -1, 3, d in decreasing order.
d, 3, -1
Suppose 3*t = 4 - 1. Sort 0, t, -8 in increasing order.
-8, 0, t
Suppose -4*y = -5*h - 8, 5*h = 4*y - 2*y - 14. Let z be y*3/((-27)/6). Let t = 1 + z. Sort t, -3, 5.
-3, t, 5
Let k = -12 + 7. Let s = 4.5 + k. Let q = -0.1 - -0.3. Put s, q, -1/4 in decreasing order.
q, -1/4, s
Suppose -6 - 27 = 11*c. Put c, 4, 1 in descending order.
4, 1, c
Let n(w) = -2*w + 5. Let k be n(5). Suppose p = 4*i - 3*p + 8, i + 4*p = -22. Sort i, 0, k in decreasing order.
0, k, i
Suppose -5*o - 14 - 1 = 0. Suppose 0 = 5*b - 42 + 17. Sort b, o, 1.
o, 1, b
Suppose 4*m = -3*s + 8, 3*s + 2*s + 45 = 5*m. Put -0.4, m, -2/19 in increasing order.
-0.4, -2/19, m
Let t(f) = f**2 - f + 4. Let x be t(0). Put 2, x, 0 in ascending order.
0, 2, x
Let p = 0 - 1. Let c = -1 - -1.08. Let z = c + -4.08. Put 2/11, p, z in descending order.
2/11, p, z
Let m = -7 + 6.8. Sort 3, -8/3, m in descending order.
3, m, -8/3
Suppose 5 - 2 = 3*k. Sort -2, k, -1.
-2, -1, k
Let g = -49 + 53. Sort g, -1, -2, 1 in decreasing order.
g, 1, -1, -2
Let u(c) = -c**3 - c - 2. Let b be u(-2). Let n = b + -4. Let g = 2 - n. Put 4, g, 0 in ascending order.
g, 0, 4
Let d be (-1 + -3 - 1) + 2. Suppose 0 = -j + i + 6, -18 = -2*j - 2*i + 2. Suppose -j*o = -4*o - 16. Sort d, o, 5 in ascending order.
d, o, 5
Let y = -8 + 6. Let o be 4/(1/(3 + -4)). Let x be 1 + 6*(0 + -1). Put y, x, o in decreasing order.
y, o, x
Let r = -0.34 + 0.3. Let z = r + 3.04. Sort 2, -2/3, z in decreasing order.
z, 2, -2/3
Let s(a) = -a**2 + 6*a - 3. Let v be s(6). Suppose 0*r + r - 3 = 0. Suppose 3 = -3*d - r. Put 0, v, d in decreasing order.
0, d, v
Let x = 9.3 + -10. Let m = 1 + x. Put 3, 1/4, m in descending order.
3, m, 1/4
Let a = 5 + -7. Let v be a/3 + (-40)/(-42). Let k be (2/6)/((-2)/3). Put -4, k, v in increasing order.
-4, k, v
Suppose -3 = 4*u - 11. Sort 24, -4, -1, u in decreasing order.
24, u, -1, -4
Let j be (8 + -4)/((-4)/(-3)). Sort -2, 2, j in increasing order.
-2, 2, j
Let v = -17 + 18. Put 2/9, 5, -0.06, v in decreasing order.
5, v, 2/9, -0.06
Let q be (1/3)/((-8)/6). Let o = -0.41 - 1.69. Let b = o - -2.1. Sort 2/3, b, q in increasing order.
q, b, 2/3
Let m = -77 + 75. Sort m, -