et y(v) = 2*v**2 + 2*v - 1. Let b be y(-2). Sort -1, 0, b in ascending order.
-1, 0, b
Let u = 335/4 - 85. Sort -0.4, -0.02, u in increasing order.
u, -0.4, -0.02
Let y = -0.65 + 4.65. Let d = -8 + 5. Sort y, -1/2, d in ascending order.
d, -1/2, y
Let g(v) = -v**3 + 4*v**2 - 4*v + 2. Let n be g(3). Sort n, -3, -5 in increasing order.
-5, -3, n
Suppose -3 = 4*y - 3*y. Sort 0.1, 0.2, y, 0.4.
y, 0.1, 0.2, 0.4
Let n(g) = g + 7. Let r be n(-8). Sort 1, r, 2 in descending order.
2, 1, r
Let j = 5 - 3. Suppose -4*r - 10 = -j. Sort -0.3, -1, r.
r, -1, -0.3
Let r = -14 - -10. Let a = 1 + r. Sort 0.1, -0.2, a in decreasing order.
0.1, -0.2, a
Let s be (-1)/((-2)/10)*1. Suppose 5*q + 10 = 3*q - 3*i, -4*q - 20 = -5*i. Sort s, -3/7, q in decreasing order.
s, -3/7, q
Let z = -4.4 + 0.4. Let r be (-88)/(-210) - 42/315. Sort r, z, 2/3.
z, r, 2/3
Suppose 0 = -2*k + 11*k - 27. Put 5, -1, k, 1 in increasing order.
-1, 1, k, 5
Let f = 0.26 - 0.29. Let y = -3.03 - f. Sort -0.4, y, -2/19 in ascending order.
y, -0.4, -2/19
Let h be -1*-6*(-5)/(-10). Sort 5, h, -4 in ascending order.
-4, h, 5
Let d(g) = 6*g**3 + 2*g**2 - 1. Let u be d(-1). Let p = -3.2 + 3.5. Put p, u, 2 in increasing order.
u, p, 2
Suppose -7 = x + 5*c, -5*c - 17 = -5*x + 8. Let r = 0 - -3. Let n = x - r. Sort n, 4, 3 in increasing order.
n, 3, 4
Suppose -4*x = 2*n - 24, -2*n = -3*x - x + 32. Let v = 11 - x. Put 5, -5, v in decreasing order.
5, v, -5
Let q be 5/(-10)*8/5. Put q, -2/21, 0 in descending order.
0, -2/21, q
Let r(v) = -v + 2. Let q be r(-3). Let f(x) = -x**3 - x**2 - 2*x - 1. Let o be f(-2). Put o, q, 2 in descending order.
o, q, 2
Let f = 8 - 4. Let c = 7 - f. Suppose -c*u - 8 = 1. Sort 4, 3, u in descending order.
4, 3, u
Suppose 5*p = -u - 6 - 3, -u - 1 = -3*p. Let k = 20 - 40. Let r be (-6)/(-8) + (-5)/k. Put -2, r, u in descending order.
r, -2, u
Let a(x) = x**3 - 10*x**2 + x - 9. Let z be a(10). Sort 0, -6, z in decreasing order.
z, 0, -6
Let t = 6 - 27/5. Suppose -7 = -2*b - 1. Let y be -1*(-10)/b - 2. Put 4, y, t in decreasing order.
4, y, t
Let j = 17.5 - 18. Sort j, 0.4, 0.5 in descending order.
0.5, 0.4, j
Suppose 4*x - n - 1 = 0, -5*n + 20 = -0*x + 5*x. Suppose -5*o = -5 - 0. Suppose -3*t - o = -5*k - 2, t - 4*k - 5 = 0. Sort x, 5, t.
t, x, 5
Let d be (1004 + -1)*(-1)/(-11). Let x = 91 - d. Sort -0.4, -2, x in decreasing order.
x, -0.4, -2
Let a = -13 - -28. Suppose 5*o + 4*t - 45 = 0, -5*o + 5*t = 3*t - a. Sort 0, -5, o in descending order.
o, 0, -5
Let f = -34 - -34. Sort f, 0.2, 3/7, -3/5.
-3/5, f, 0.2, 3/7
Let w = -0.01 + -0.29. Let i = -1 - -1.4. Let v be (-10)/40 + 6/(-40). Sort w, i, v.
v, w, i
Let l(z) = -z**2 - 9*z - 7. Let s be l(-8). Suppose s = 4*a - 7. Let y be (-2)/(-4)*a/(-3). Sort 4, 0.3, y.
y, 0.3, 4
Let c(v) = v**3 + 4*v**2 - v - 3. Let r be c(-4). Let w(l) = l**3 - l**2 + 2*l - 1. Let b be w(r). Let t be (10/6)/((-1)/(-3)). Put b, 3, t in increasing order.
b, 3, t
Suppose 2*w + 0 = -o + 12, -2*o - 11 = -3*w. Let s(c) = 3 + 6*c**2 - c - 3. Let t be s(1). Sort -3, o, t in increasing order.
-3, o, t
Let o = 3 - 0. Let p be 1 + o/(-3)*3. Suppose -3*u - 15 = -5*k + 2*u, 0 = 5*k - u - 23. Sort k, -1, p in decreasing order.
k, -1, p
Let u = -29 - -30. Sort 0.5, -5, u in increasing order.
-5, 0.5, u
Let a = -81 + 85.1. Let l = -0.1 + a. Suppose 0 = -5*j + j. Sort -0.2, j, l in decreasing order.
l, j, -0.2
Let l = 37/84 + -3/28. Sort l, 2, 17 in descending order.
17, 2, l
Let m = 20/51 - 1/17. Suppose 4*d - 2*d + 2*p = 12, 3*d = p + 14. Let o = d + -8. Sort m, o, 3 in increasing order.
o, m, 3
Suppose -4*v + 6 = 2*n, -7 = -v - 3. Let r be 2/7 + 0/(-1 - -10). Sort r, n, 2/5.
n, r, 2/5
Let o = -19.8 + 20. Let p = -2309/6 + 143473/372. Let g = -3/31 + p. Sort g, o, 0 in decreasing order.
g, o, 0
Let v(h) = -h**2 - 5*h + 1. Suppose -30 = 5*w - 5. Let s be v(w). Suppose -5*g + 5 = 15. Sort s, g, 3.
g, s, 3
Suppose 0 = 2*v + 2*v + 12. Suppose -d + 7 = 8. Let j = d + v. Put 1, 3/5, j in increasing order.
j, 3/5, 1
Let h be (5*(-2)/(-55))/(-1). Put h, -1, -3 in descending order.
h, -1, -3
Let u = 19 - 22. Let h be (-9)/(-3)*2/(-3). Put h, -4, u in decreasing order.
h, u, -4
Let p(t) = t**3 + 4*t**2 + 2*t - 1. Suppose 1 = -3*b - 5. Let h be p(b). Put 5, -1, h in decreasing order.
5, h, -1
Suppose -21*v = -14*v - 35. Suppose -p = -u - 4, 2*u + u + 12 = p. Suppose -3*q - 9 = -6*q. Sort q, v, u in decreasing order.
v, q, u
Let v be (-8)/52 + (-84)/(-39). Put -0.2, v, -2 in increasing order.
-2, -0.2, v
Let p = -0.02 - -3.02. Let h = 8 - 11. Sort p, 0.5, h.
h, 0.5, p
Let j = 27.6 + -22.6. Let c be 32/5 + (-2)/5. Sort j, c, 1 in ascending order.
1, j, c
Let o = 125 - 108. Put 5, 2, o in decreasing order.
o, 5, 2
Let z be (0 + 0)/(5/5). Let j be (-2 + 1)*(z - -4). Suppose -1 = -n + 2. Sort n, 4, j in decreasing order.
4, n, j
Let c be ((-14)/(-8))/(1/4). Let m = -8 + c. Put -2, 3, m in decreasing order.
3, m, -2
Let m = -2 - -5. Suppose 2*n - 2*h = -m*h + 10, -2*n = -h - 2. Put n, -3, -5 in ascending order.
-5, -3, n
Let d = 28 + -28. Put 5, 6, d in ascending order.
d, 5, 6
Suppose 30 = 4*v + 22. Put v, 4, 1, 0 in increasing order.
0, 1, v, 4
Let z = -141.2 - -159. Let h = z - 18. Put 0, 2/11, h in decreasing order.
2/11, 0, h
Let g be 2/(-8) + 84/16. Suppose 4*x - 4*t = -x - 8, -g*t = 15. Suppose -l - 3*m = 20 - 6, 4*m = -l - 18. Sort -3, l, x.
x, -3, l
Let p(n) = n**3 + 2*n**2 - 2*n + 1. Let q be p(1). Suppose -2*d + 13 = -y, 0 = q*y + 3*y + 3*d. Let c = 26 + -25.7. Sort -1/3, c, y in ascending order.
y, -1/3, c
Let s be ((-8)/12)/((-6)/(-45)). Put s, -4, -5/3 in decreasing order.
-5/3, -4, s
Let z = 0.45 - 5.45. Let q be (-2)/(-12)*(-9)/2. Sort q, z, -3 in descending order.
q, -3, z
Let l = -22 - -17. Put 4, l, 2 in ascending order.
l, 2, 4
Let q = -3 + 2.8. Sort q, -1, -5.
-5, -1, q
Let y = -35.2 - -35. Put 0, 2, y, -0.4 in increasing order.
-0.4, y, 0, 2
Let l = 264 - 267. Let u = 1 + -1. Sort 3/5, u, l in decreasing order.
3/5, u, l
Let j be 7 - (4 - (-1 - -3)). Let g(o) = o**3 - 6*o**2 + 5*o + 4. Let a be g(j). Let t(n) = -n**3 + 5*n**2 - 2*n - 9. Let w be t(4). Sort a, -4, w.
-4, w, a
Suppose -2*g + 24 = 5*a, -a = g - 7 + 1. Let n(u) be the second derivative of -u**5/20 + u**4/4 + 5*u**3/6 - 3*u**2/2 - 4*u. Let j be n(4). Sort g, 4, j.
j, g, 4
Let l(m) = -m**3 + 5*m**2 + 5*m + 6. Let z be l(6). Sort 14, 5, z in decreasing order.
14, 5, z
Let s = 0.32 + -0.32. Sort s, -4, 0.3 in ascending order.
-4, s, 0.3
Let s = -9 - -11. Put -1/3, -2/7, s in ascending order.
-1/3, -2/7, s
Let g = -37/28 - -11/7. Sort 0.1, 3, g in increasing order.
0.1, g, 3
Let z(w) = w**3 + 11*w**2 + 9*w - 21. Let r be z(-10). Put -4, 3, -2, r in increasing order.
r, -4, -2, 3
Let n = 18 + -13.1. Let b = n - 5. Sort b, -1, -1/5 in decreasing order.
b, -1/5, -1
Let g = 0.11 + -0.3. Let z = -0.01 + g. Put 2, 2/5, z in decreasing order.
2, 2/5, z
Let l = -0.06 - -0.36. Let c = 0.7 - -0.3. Let z = c - -4. Sort 1/5, z, l.
1/5, l, z
Let t = 2153/9 + -239. Let z = -1 + 1. Sort z, t, 1 in descending order.
1, t, z
Let y = -1/175 - -367/2975. Sort y, 0.5, 3 in ascending order.
y, 0.5, 3
Let a be 2/(-12)*2/(-4). Sort 1, -5, a in descending order.
1, a, -5
Let r = 7 - 4. Let w be (1/9)/((-2)/(-6)). Let c = -0.3 - 0.7. Put r, c, w in decreasing order.
r, w, c
Let k = 17 + -23. Sort -0.1, k, -0.2.
k, -0.2, -0.1
Let t = -3.2 - -3.6. Let v = 0.38 + -0.08. Put v, t, 4 in increasing order.
v, t, 4
Suppose -t = -3*g - g + 5, 2*t - 5*g = -7. Let a = t - -2. Let u be (-7 + (3 - a))/1. Put -4, u, 2 in descending order.
2, -4, u
Let k be (-14)/63 - (-86)/(-18). Sort 1, -4, -3/5, k in increasing order.
k, -4, -3/5, 1
Let f = 0.05 + -4.05. Sort 1/4, 3, f in ascending order.
f, 1/4, 3
Suppose -6*s + 22 = 4. Sort -5, s, -1, 5.
-5, -1, s, 5
Let m(f) = f - 2. Let p(r) = -r - 9. Let u be p(-7). Let t be u/12 + (-3)/(-18). Let l be m(t). Sort 0, 4, l.
l, 0, 4
Let u = -61 - -302/5. Sort 1, -2/11, u.
u, -2/11, 1
Let n(x) = x**3 - 4*x**2 - x + 4. Let o be n(4). Let f be (38/(-8) + 1)/(-3). Let t = -3 + 3.3. Sort f, o, t in decreasing order.
f, t, o
Suppose -2*c = -5*c. Let t be (-1)/((-2)/(-6)*1). Sort c, -2, t in descending order.
c, -2, t
Let h = 3 + -1. Suppose -h*a + 56 = 5*l - l, 0 = -2*l + 2*a + 34. Suppose -j - l = 4*j. Pu