 = p**3 + 7*p**2 + 4. Let y be r(-7). Put -2, y, i in decreasing order.
y, i, -2
Let t = 1 + -4. Let c = 6 - 5.7. Let o = c + -0.8. Sort o, t, 3.
t, o, 3
Suppose 4*o + 5 = q, q = -o + 3*o + 7. Sort 0, q, 1, -2 in ascending order.
-2, 0, 1, q
Suppose 0 = m + 2*m - 2*v - 13, 2*v = -4*m - 6. Sort -2, m, -1 in increasing order.
-2, -1, m
Let f = -0.1 + -4.9. Let b = -6 + 3. Put 1, b, f in descending order.
1, b, f
Let o(h) be the first derivative of -3*h**2/2 + h - 1. Let z be o(-1). Suppose 1 = -3*p - 5*q - 1, z*p = -5*q - 1. Put 0, -3, p in decreasing order.
p, 0, -3
Let p = -151/891 + -1/81. Put p, 0.5, 0.1 in descending order.
0.5, 0.1, p
Let k = -11 - -45/4. Sort k, 0.5, 41 in ascending order.
k, 0.5, 41
Let z = 0.12 + -5.12. Sort 3/2, 3, z in ascending order.
z, 3/2, 3
Suppose -v + 3*k = 3, -2*v - 52 = -6*v - 4*k. Suppose -3*x + 3 = v. Suppose 11*g = 22*g - 11. Sort 3, g, x in decreasing order.
3, g, x
Let d = 0.1 + -0.08. Let i = -7.98 - d. Let v = i + 3. Sort v, 1, -1/5 in increasing order.
v, -1/5, 1
Suppose -x - y - 8 = -4*x, 0 = 3*x + 5*y + 4. Let h(o) = -2*o**2 - o. Let f be h(-1). Put 5, x, f in descending order.
5, x, f
Let g(s) = -s + 4. Let p be g(3). Sort -3, p, -1, 3 in increasing order.
-3, -1, p, 3
Let f be 5 + -3 - (-7)/(-1). Let z(v) = -v - 3. Let k be z(f). Put 3, k, -2 in descending order.
3, k, -2
Suppose 24*r = 21*r + 39. Let x = r - 12. Suppose 0 = -3*z - 2*s + 6 - 20, -5*z - 18 = -2*s. Sort z, x, -3.
z, -3, x
Let c = -139 + 131. Sort -3, 7, -1, c in increasing order.
c, -3, -1, 7
Let z = 0.17 - 0.37. Sort 4, z, -2/17 in decreasing order.
4, -2/17, z
Let f = 3 + 2. Sort 1, 0.5, f.
0.5, 1, f
Suppose -16*u = -20*u + 12. Suppose 0*a - 6 = -u*a. Suppose 4*i + 5*v + 12 = 0, v - 14 - 30 = 5*i. Put a, i, 5 in ascending order.
i, a, 5
Suppose -m + j - 7 = -4, 8 = 4*j. Let g(i) = -i**3 - 7*i**2 - 7*i + 2. Let s be g(-6). Suppose -4*k = -2*k - s. Put -5, m, k in descending order.
k, m, -5
Let y = 8 - 5. Suppose 0*x + y*x = -15. Sort 0.1, x, 0.3 in descending order.
0.3, 0.1, x
Let t be (-2)/(-8) - 46/(-8). Let w be (-178)/1380 - (-3)/t. Let r = w - -2/69. Put 4, r, -0.1 in decreasing order.
4, r, -0.1
Let n = 2.5 - 3. Let u be 2/4 + (-169)/234. Sort -5, u, n in ascending order.
-5, n, u
Let b = -4.8 - -5. Let c = 0.31 + 0.69. Put c, -2, b in descending order.
c, b, -2
Let p(a) = -a**2 + 6*a - 1. Let w be p(6). Sort 0, 14, w in increasing order.
w, 0, 14
Let i(k) = k**2 + 2*k - 20. Let w be i(-5). Sort -8, w, -1, 1 in ascending order.
-8, w, -1, 1
Let r = 27/7 + -445/119. Sort 1, r, -6, 5 in increasing order.
-6, r, 1, 5
Let s = 224 - 225. Put 2, 28, -3, s in ascending order.
-3, s, 2, 28
Let z(d) = 2*d**2 + 19*d + 13. Let f be z(-9). Let w be (-1)/((-2 + 0)/(-8)). Put -2, f, w in increasing order.
w, -2, f
Let q be 0 - 4 - (12 + -16). Sort -4, 5, q, 4 in descending order.
5, 4, q, -4
Suppose -7*h - 12 = -11*h. Suppose 9 = -h*y + 6*y. Sort y, -5, -1.
-5, -1, y
Let g be (1 - -1) + 26/(-12). Let t = -9/7 + 10/7. Suppose 0 = -10*l + 19*l + 45. Sort t, g, l.
l, g, t
Suppose -142*y + 140*y + 2 = 0. Suppose -2*w - 3*w - 2*c = -5, 5*c = 4*w - 37. Put w, y, -2 in decreasing order.
w, y, -2
Suppose 5 - 21 = 2*i. Let b be 2/(-3)*4/i. Put -0.1, b, 6/11 in ascending order.
-0.1, b, 6/11
Let w = -0.1 - -0.2. Let k = 1902/7 + -272. Sort k, -5, w in descending order.
w, k, -5
Suppose -2*w = -0*w - 4. Suppose -w*l + 4*j - j = 0, 5*l = 5*j. Sort -1, -2, l in ascending order.
-2, -1, l
Suppose -5*f - 30 = 2*v, -3*f + v - 34 = -v. Put -3, f, 1 in descending order.
1, -3, f
Let t(p) = p**2 - 4*p + 1. Let m be t(3). Put -0.13, m, 2 in ascending order.
m, -0.13, 2
Suppose -3*l = -11 + 26. Sort 1, -7, l.
-7, l, 1
Let a(i) = 3*i**3 - 6*i**2 - 6*i - 6. Let v(s) = 7*s**3 - 12*s**2 - 12*s - 13. Let d(k) = -5*a(k) + 2*v(k). Let t be d(7). Sort -2, 3, t in descending order.
3, -2, t
Let z be (1 - (-40)/(-50)) + (-6)/(-45). Let k = -3.07 + 0.07. Sort -2/9, z, k in descending order.
z, -2/9, k
Let f be 0/(1 + (-15)/(-5)). Sort 3, 1, f.
f, 1, 3
Suppose -5*r - 2*r = -r. Sort 3, r, 4, -1 in ascending order.
-1, r, 3, 4
Suppose -2*t = 2*t - 12. Suppose 7*k + 37 = 3*k + 5*i, -5*k - 40 = -5*i. Sort -1, t, k.
k, -1, t
Let w = 0 - -4. Sort -3, w, -5 in decreasing order.
w, -3, -5
Suppose 4*f = f + 5*m + 5, -4*f + 30 = 5*m. Sort -5, -19, f in increasing order.
-19, -5, f
Suppose 7 + 5 = 4*t. Suppose t*z = z + 2. Suppose -5*b = 5*i - 5, -3*b + 25 = 5*i - 8*b. Sort -1, i, z in descending order.
i, z, -1
Let p = -50.425 + 44. Let o = -0.125 - p. Let w = o + -6. Sort 4, -3, w in ascending order.
-3, w, 4
Let k be (-6)/(-35) - (-4)/10. Suppose 5*a + 3*o = 25, 25 = 4*o + o. Let p be 1/a*(-4)/6. Sort p, k, 1/7 in ascending order.
p, 1/7, k
Let y = -21 + 21. Sort y, -4, -3.
-4, -3, y
Suppose 4*b + 0*b + 136 = 0. Let r = -174/5 - b. Let v = r + 2/5. Sort -5, v, 3/5.
-5, v, 3/5
Let u = 23 + -27. Sort 1, -6, u in decreasing order.
1, u, -6
Let l(c) = -c - 10. Let j be l(-7). Let v(o) = -o**2 + 3*o + 2. Let n be v(4). Let w = n - -2. Sort 3, w, j in decreasing order.
3, w, j
Suppose 4*f + 4*d = -12, -7*d + 30 = -4*f - 2*d. Let o(c) = -c - 5. Let b be o(-4). Let m = b + 5. Sort f, m, -2 in ascending order.
f, -2, m
Let c = 1 - 1. Suppose -w = 2*h + 14, -2*h - 5*w - 9 - 21 = c. Put h, 0, -3 in ascending order.
h, -3, 0
Let m be -4*(-11)/(-8)*2. Sort m, 1, 2, -5.
m, -5, 1, 2
Let a be -1*(-4)/(-2 + 0). Let j be a + (-4)/(-1)*1. Put 4, j, -5 in descending order.
4, j, -5
Suppose o - 6*o + 32 = b, -2*o + b + 17 = 0. Let l(u) = u - 12. Let q be l(o). Put 3, q, 0 in increasing order.
q, 0, 3
Let u(f) = 2*f - 9. Let y be u(6). Suppose -4*d = -3*o - 2, 8*d - 2*o + 1 = 3*d. Put 1, y, d in descending order.
y, 1, d
Let v(z) = -z + 1. Let m be v(-2). Suppose 2*i = 4*i + 4. Let w be i/(-4)*-6*1. Sort 1, w, m in descending order.
m, 1, w
Let x(b) = b - 2. Let u be x(6). Let d be 1/(-2)*(-2 - -2). Let j = 0 + 1. Sort u, j, d in descending order.
u, j, d
Let o be (-1)/(1/2) - -7. Suppose -54 = 4*v + 10. Let f = -17 - v. Sort 4, f, o in decreasing order.
o, 4, f
Let c(a) = a**3 - 4*a**2 - 3*a - 11. Let o be c(5). Let x be 3*o*(-1)/(-8). Put 0.1, x, -0.3 in increasing order.
x, -0.3, 0.1
Let j be -2 - 0 - 6*-1. Let v = -4 - -4. Let u be -2 - (v + 2 + -1). Put u, j, 0 in increasing order.
u, 0, j
Let a = 11.5 + -9.34. Let t = -2.1 + a. Put -3/2, t, 0.2 in decreasing order.
0.2, t, -3/2
Let p = -157 - -155. Sort 1, p, 49 in increasing order.
p, 1, 49
Suppose 2*s = 10*s + 8. Sort 2, s, -3 in ascending order.
-3, s, 2
Let k(y) = 2*y**2 - 2*y + 1. Let a be k(3). Let f = a - 5. Suppose -4*h + f*h = 0. Sort -3, h, -2 in ascending order.
-3, -2, h
Suppose 18 = -5*z - 12. Let w be (-2)/(-4) - (-6 - z). Put -1/2, 5/3, w in ascending order.
-1/2, w, 5/3
Let l(s) = s + 5. Let r be l(-7). Suppose 3*w = w + 4. Put w, 4, r in ascending order.
r, w, 4
Suppose -3*r + 2 = -10. Let j be -2 - (-1 + 0) - -3. Put j, r, 3 in descending order.
r, 3, j
Suppose p = -2*p + 6. Suppose -2*m + p = 3*y - 6, 0 = -4*y. Let w = -1 + m. Sort -5, w, -4.
-5, -4, w
Let t = -2.1 - -2.3. Let f be (3/(-15) + 0)*3. Put f, 5, t in decreasing order.
5, t, f
Let b(y) = 2*y - 1. Let n = 9 - 11. Let l be b(n). Sort 1/3, l, -3 in ascending order.
l, -3, 1/3
Let s = 0.41 + -0.5. Let q = -0.19 - s. Sort q, 2, -2.
-2, q, 2
Suppose 9 - 5 = 2*y. Put 3, 4, y in decreasing order.
4, 3, y
Let f = 4517119281/1615 - 2796978. Let z = 1/85 + f. Let s = -2.4 - 0.6. Put s, 2/11, z in descending order.
2/11, z, s
Let n be 90/(-21) + 2/7. Suppose -2*y - 3 = -3*y. Sort -2, y, n.
n, -2, y
Let f(h) be the first derivative of -h**3/3 + 5*h**2/2 - 2*h + 1. Let a be f(2). Put a, 1, 5 in decreasing order.
5, a, 1
Let i(p) = p**3 + 2*p**2 - 3*p + 8. Let g be i(-4). Let y be (-5 - g)*2/14. Sort y, 2, -2 in increasing order.
-2, y, 2
Suppose -3*t = 3*t - 30. Sort t, -5, 1/8 in descending order.
t, 1/8, -5
Let v be 1/2*2*5. Suppose -10 = 5*a, 2*l + 2*l + 26 = -v*a. Sort 0, l, -5.
-5, l, 0
Let g be -1 + ((-2)/(-1) - 0). Suppose 4*q + 4*q - 32 = 0. Sort q, 5, g in decreasing order.
5, q, g
Let p = -4 - -4.12. Let a = p + 0.08. Sort a, -0.5, 0.1 in ascending order.
-0.5, 0.1, a
Let k be 2*(2 + 15/(-6)). Sort -5, 1, k in increasing order.
-5, k, 1
Let u be (-2 - 0) + 36/15.