uppose 3 + 5 = 2*n. Put v, n, -1 in descending order.
n, v, -1
Let f(i) = -i**3 + 5*i**2 + i - 3. Let n be f(5). Put 5, -2, n in descending order.
5, n, -2
Let i(z) = -z**2 + 2 + 14 + 4*z - 3 - 5*z. Let j be i(0). Sort j, -2, -3 in decreasing order.
j, -2, -3
Suppose -4*u + 0 = 16. Put u, 1/5, 5 in decreasing order.
5, 1/5, u
Let y be (-4)/6*(-3)/(-17). Let k be (-13)/(-26)*2/(-4). Put y, k, 2 in decreasing order.
2, y, k
Let o = -608/5 - -122. Let l = 41 + -45. Sort l, -1/5, o.
l, -1/5, o
Let i be (7 + -3)*(-6)/(-8). Suppose -3*t - i*l = -33 + 3, -t = -2*l - 1. Suppose -3*b = -2*u + 22 - t, -3*u = -3*b - 15. Sort b, -2, 2 in descending order.
2, -2, b
Let y = -7 - -10. Suppose i + 5*s - 3 = -16, -3*i - y*s = 15. Sort -0.5, i, 1/4 in descending order.
1/4, -0.5, i
Let r(q) = -q**2 - 11*q + 40. Let a be r(-14). Sort -31, -1, a.
-31, a, -1
Let p = 0.52 - 0.32. Put -4/9, p, 0.01 in increasing order.
-4/9, 0.01, p
Let a = -1.2 + 0.4. Let u = -0.6 - a. Put 2, u, -1/10 in ascending order.
-1/10, u, 2
Let s = 12.9 + -13. Put 4, s, 2 in descending order.
4, 2, s
Let g(b) = 5*b**2 + 4*b + 4. Let s be g(-1). Put 3, 2, s in ascending order.
2, 3, s
Let i = -0.17 + 0.13. Sort -1/3, -0.2, i in increasing order.
-1/3, -0.2, i
Suppose 3*d = 19 - 34. Suppose 0*t + 3*t - 3 = 0. Sort d, 4, t in ascending order.
d, t, 4
Let l be (-40)/(-18) + 6/(-27). Let q be (-2)/1 - 2/l. Sort q, -1, 4 in decreasing order.
4, -1, q
Let a(n) = n**2 - 5*n + 3. Let z be a(3). Let y be (-27)/6*4/(-6). Let v = y - 0. Sort v, 4, z in increasing order.
z, v, 4
Let g = 9.85 - -0.25. Let o = g + -10. Sort 0.5, 2/7, o.
o, 2/7, 0.5
Suppose -3*o = 2 + 16. Let l be 2*((-21)/o - 3). Let h = l + 1. Put 1, h, -5 in descending order.
h, 1, -5
Let j be 0/(-1 + 1 - 1). Let g = 24 + -28. Put -2, g, j in descending order.
j, -2, g
Let g = -38 + 41. Let h = -0.06 - 1.94. Put -3, g, h in ascending order.
-3, h, g
Let z be 6/(-2)*(-24)/36. Sort -5, 3, z in decreasing order.
3, z, -5
Let h = 126 - 45. Let q = h + -159/2. Let f = -2 + 2. Sort 0.1, q, f.
f, 0.1, q
Let q(v) = 3*v - v**2 + 5*v + 2*v**2 + 7 - 1. Let c be q(-8). Suppose -3*n + c + 6 = 0. Sort n, 3, -3 in increasing order.
-3, 3, n
Let x = -0.85 - -0.05. Let r = x - -0.7. Sort -2/15, r, 1 in descending order.
1, r, -2/15
Let g(t) = -8*t**3 + 4*t**2 + 5. Let h(v) = 9*v**3 - 5*v**2 - 6. Let r(s) = 6*g(s) + 5*h(s). Let p be r(1). Sort p, -3, 0 in increasing order.
p, -3, 0
Let u = 3 - -1. Let g be (-37)/7 - (-14)/49. Sort 3, u, g in ascending order.
g, 3, u
Let j = -603/4 - -152. Sort j, -65, 3.
-65, j, 3
Suppose 5*a + h - 20 = -2*h, 5 = h. Sort a, -4, -1 in descending order.
a, -1, -4
Let z be ((-3)/3)/((-2)/2). Let w be -2 + (75/27 - z). Suppose 5*l - 3 = -18. Put w, l, -0.3 in decreasing order.
w, -0.3, l
Let z(s) = 4*s**2 + 1. Let g be z(-1). Let f be g/(5/(-3)) - 2. Put f, -4, 0 in descending order.
0, -4, f
Let g = -1.6 + 2.1. Sort 1, -2/11, g.
-2/11, g, 1
Let o = -7 + 11. Suppose -m = -3*q - 0*m + 6, o*q - 5*m = 8. Let i(u) = -2*u - 29. Let n be i(-12). Put n, q, 1 in decreasing order.
q, 1, n
Let b(o) = o**3 + o**3 - 3*o**3 + 10*o - 3*o + 9 - 3*o**2. Let l be b(-4). Sort 2, -5, l.
-5, l, 2
Let h(m) = -m**3 - 9*m**2 - 5*m - 4. Let o be h(-8). Let g be 12/42 + (-62)/o. Put g, -0.2, -0.3 in decreasing order.
g, -0.2, -0.3
Let h = 349/9 - 39. Sort 4, h, 3 in ascending order.
h, 3, 4
Suppose w + 2 - 7 = 0. Suppose -20 = -w*u, 2*c - 3*c = 2*u - 12. Sort c, -4, -1 in decreasing order.
c, -1, -4
Let c(u) = u**3 + 3*u**2 - u - 3. Let k be c(-2). Sort k, 2, 4, -5 in increasing order.
-5, 2, k, 4
Suppose -3*h - 5*g = -2*h - 35, -2*g - 94 = -5*h. Suppose -2*s + 0*z - h = 3*z, -2*z + 3 = -s. Let i be -2 - (-2 - -2) - s. Sort -4, 4, i in descending order.
i, 4, -4
Let h = 128 + -80. Let u be ((-12)/(-8))/(9/h). Suppose 6 - u = 2*j. Sort j, 4, 3.
j, 3, 4
Let g be ((-4)/(-2) - 3) + 3. Sort 43, -5, g.
-5, g, 43
Let f be ((-3)/4)/((-3)/(-12)). Let b be 29/22 - (-2)/11. Put 0.5, f, b in ascending order.
f, 0.5, b
Let c be (1/(-3)*0)/1. Suppose 2*p - 1 = -5, -p - 10 = 4*s. Sort c, s, -1 in ascending order.
s, -1, c
Let d = 6 - 0. Let i be ((-9)/d)/((-6)/(-8)). Let b = 64 + -125/2. Sort -5, i, b in descending order.
b, i, -5
Let x(u) = -5*u**2. Let f be x(2). Sort -1, f, -3, 3.
f, -3, -1, 3
Let w = 5 - 5. Let i = w - 2. Let p = i + 2.5. Sort p, -2/9, -0.2 in descending order.
p, -0.2, -2/9
Suppose -5*d + 50 = 5*t, 3*d + 5*t = 36 + 4. Let y be (-2)/2*(-8 + 11). Put y, 1, d in descending order.
d, 1, y
Suppose 3 = -0*t - t. Sort t, 2, -4.
-4, t, 2
Suppose 0 = -2*t + 5 + 5. Let q = 5 - 8. Suppose 3 - 4 = z. Put z, t, q in descending order.
t, z, q
Let y(r) = 2*r. Let o be y(-4). Let x be (3/(-4))/(10/o). Let b = 13.1 + -13. Put x, b, 0.4 in decreasing order.
x, 0.4, b
Let o = 1.8 - 17.8. Let l = o - -10. Let a = l - -3. Sort a, 0.3, 2/17.
a, 2/17, 0.3
Let n be (-11)/(-3) + -1 - 4. Sort n, 1/5, -0.2 in decreasing order.
1/5, -0.2, n
Let y be (-1)/3 + 5/(-3). Suppose -2*l - 12 = -5*l. Sort 5, l, y.
y, l, 5
Let k = -0.8 + -0.2. Let g = -2 + 2.8. Let o = g + 4.2. Sort -0.5, k, o in ascending order.
k, -0.5, o
Let n be (75/10 - 6)/(1/2). Sort -0.1, n, 1, -1/3 in ascending order.
-1/3, -0.1, 1, n
Let j(p) = p**3 + 12*p**2 + 11*p + 2. Let x be j(-11). Put x, 4, -2 in decreasing order.
4, x, -2
Suppose l = -l - 4*l. Sort 5, 1, l in increasing order.
l, 1, 5
Let h = -5 - -2. Let c be (-126)/24 + 2/8. Let a = c - h. Sort -4, a, 2 in ascending order.
-4, a, 2
Suppose 0 = -3*y + 2*p + 19, -2*y + p + 8 = -3. Sort y, 1, 0.
0, 1, y
Let g = 19 - 14. Sort g, 4, 1.
1, 4, g
Suppose 3*t = 8*t + 5. Suppose -4 = -4*s - 3*g + 7*g, s + 2*g = 4. Suppose -4 = q - s*q. Put q, t, 0.1 in ascending order.
t, 0.1, q
Let v = -34 - -29. Let m = 0 + -0.5. Sort v, m, -0.4 in decreasing order.
-0.4, m, v
Let y = 37 - 37. Suppose -2*k = -2*p + 4*p + 10, -2*k = 5*p + 16. Put y, 5/2, p in ascending order.
p, y, 5/2
Let s = 3 + -5. Let o = s - -3. Sort -0.3, -2/7, o in ascending order.
-0.3, -2/7, o
Let a = 7 + -10. Suppose 3*y + 12 = 3, 0 = -2*c - 2*y - 10. Sort 8, a, c in ascending order.
a, c, 8
Let b = 66/305 - 1/61. Let d be ((-1)/2)/((-18)/(-24)). Sort d, b, 4 in increasing order.
d, b, 4
Let d = 128.5 + -129. Sort 0, 4, d in increasing order.
d, 0, 4
Let s(t) = -t**3 - 4*t**2 - 4*t - 3. Let r be s(-2). Let u(k) = -k + 3. Let f be u(-4). Let w = 2 - f. Put w, -1, r in ascending order.
w, r, -1
Let x = -0.25 + 0.05. Let t = 0.1 + -0.6. Let u be (10/(-6))/(2/6). Put u, t, x in increasing order.
u, t, x
Let w = 24 + -20. Sort -0.02, -5, w.
-5, -0.02, w
Let a = 3 + -2.8. Sort a, -5, 1 in ascending order.
-5, a, 1
Let u = 10 + -15. Let o be (-2)/8 + (-10)/(-40). Sort u, o, -9 in increasing order.
-9, u, o
Let d be (2/(-4))/(6/(-36)). Suppose 0 = -3*k + 5*g + 14, -2*k - d*g - 2 - 14 = 0. Suppose -v - 5 = -0*v. Put k, v, 3 in increasing order.
v, k, 3
Let p = 62 - 57. Put -1, -2/17, p in ascending order.
-1, -2/17, p
Let r = 2 + -1.86. Let o = r + 0.16. Sort -4/5, -0.3, o.
-4/5, -0.3, o
Let q(l) = 4*l**3 - 2*l**2 + 2*l - 1. Let y be q(1). Suppose -y + 5 = j. Put 3, -1, j in decreasing order.
3, j, -1
Let c(j) = j - 1. Let i be c(6). Let k be (-8 - -13)*(0 - 1). Put k, 0, i in decreasing order.
i, 0, k
Let i = 1 - 0.8. Let r be (-2)/8*(-32)/4. Put r, i, 3 in increasing order.
i, r, 3
Suppose 54*u - 58*u = 20. Suppose 2*z + 3*z = -10. Put 4, u, z in ascending order.
u, z, 4
Let n = -109.1 + 114. Let s = 0.1 + n. Sort s, -0.4, -2 in decreasing order.
s, -0.4, -2
Let v be 4/8*6 - 4. Put 0, 0.1, v in increasing order.
v, 0, 0.1
Let v = -0.22 - 11.78. Let a = v + 6. Let g = a + 11. Sort g, -5, 4/7 in increasing order.
-5, 4/7, g
Suppose -3*v = -3*k - 6, 2*k - 3*k - 4*v + 13 = 0. Sort 3, 4, k in descending order.
4, 3, k
Let v be (-14)/16 + 1 + 0. Let y = -0.03 + 0.03. Put 4, y, v in decreasing order.
4, v, y
Let x = -0.333 - -0.133. Put 5, 0.2, x, 0.012 in ascending order.
x, 0.012, 0.2, 5
Let p = 28 + -28.92. Let s = 0.08 - p. Put 0, s, 2/5 in ascending order.
0, 2/5, s
Let l be (-7)/(-3) - 2/6. Let f(t) be the second derivative of -t**3 + t**2 - 6*t. Let g be f(1). Sort 0, g, l in descending order.
l, 0, g
Suppose 2*q = -3*n - 8, 6*q - 2*q + 16 = -n. Let o = -259 - -260. Sort o, -2, q in ascending o