t h be c(k). Put -0.2, h, -3 in decreasing order.
h, -0.2, -3
Let l = 3.2 + -3. Sort 0.1, l, -0.5 in descending order.
l, 0.1, -0.5
Let t = 161 - 165.05. Let d = t - -0.05. Put 0.5, d, 0.4 in decreasing order.
0.5, 0.4, d
Let v = -36 - -36. Let y = 125/4 - 32. Sort -4, v, y in ascending order.
-4, y, v
Let n(i) = -23*i**3 + 2*i**2 + i. Suppose 2*x = x - 1. Let u be n(x). Suppose -5*s = -u + 4. Sort s, 0.4, -1 in descending order.
s, 0.4, -1
Suppose -3*y - 7 = 3*k + 8, 0 = -3*y + k - 11. Sort -1, y, 1 in decreasing order.
1, -1, y
Suppose 0 = 5*p - 3*w - 26, p + 1 + 1 = 3*w. Put 3, p, 5 in ascending order.
3, 5, p
Suppose 5*m - 5*r - 40 = 0, 18 = 2*m + 4*r - 8*r. Put m, 1, 0.5, -5 in descending order.
m, 1, 0.5, -5
Let w = 3.6 + -2.3. Let f = w - 6.3. Sort 2/9, f, -0.2 in ascending order.
f, -0.2, 2/9
Let w be 1 - -1*(-2 + 3). Suppose -5*i + 5*l = w*l + 22, -2*l - 27 = 5*i. Put -3, 4, i in ascending order.
i, -3, 4
Let c = 101 - 98. Put -3, c, -0.3 in descending order.
c, -0.3, -3
Let n be (-198)/(-30) - (-6)/(-10). Let p = 2 - n. Let y(t) = -t + 1. Let r be y(-3). Put r, 1, p in decreasing order.
r, 1, p
Suppose 4*r = 2*a - 32, 4*r - 3*r = -4. Let u = a - 7. Let h be u + 0 - (-1 + 0). Sort -4, 1, h.
-4, 1, h
Let w be 10/75 + -3 + (-86)/(-30). Sort 1, -25, w.
-25, w, 1
Suppose 5 = 2*s - 5*t, 0 = -3*s - 5*t - 5 - 0. Sort s, -5, 5 in descending order.
5, s, -5
Suppose -2*h + 3*z + 9 = -5*h, -z - 9 = -2*h. Let l(c) = -c**3 + 3*c**2 + 6*c - 3. Let r = 24 - 20. Let i be l(r). Put i, h, -4 in descending order.
i, h, -4
Let r(s) = s**3 + s**2 - s + 1. Let f be r(0). Let l be (-4)/(-20) + (-67)/385. Let k = l - -9/77. Sort 2, f, k in decreasing order.
2, f, k
Let l = 93/8 + -1969/168. Let t = 8 - 12. Put l, t, -2/5 in descending order.
l, -2/5, t
Suppose 3*d + 6 = 3*y, y - 11 = -4*d + 1. Let g = -1 + 8. Suppose 4*w - 9 = g. Sort d, 3, w.
d, 3, w
Suppose -4*r + 14 = -5*a, 2*a - 2*r - 4 = -8. Let i(q) = q**2 + 5*q - 4. Let n be i(a). Let x = -0.5 + 0.7. Sort n, -1/4, x in decreasing order.
n, x, -1/4
Let h = 15 + -19. Put h, 1, -0.4 in decreasing order.
1, -0.4, h
Let g = 0.1 - 7.1. Let f = 16.5 + g. Let m = f - 9. Sort 5, 2/5, m in descending order.
5, m, 2/5
Let j = 0.4 + 0. Let v = -93 + 88. Put j, 0.5, v in decreasing order.
0.5, j, v
Let g(i) = i - 10. Let h be g(10). Sort -3, h, 5 in decreasing order.
5, h, -3
Let d = 12 + -7. Suppose -3*m = -4*m - 7. Let o be 3 + m/((-28)/(-24)). Sort -5, o, d.
-5, o, d
Let f = -5 + 5. Let q be 32/12*3/(-2). Let c = 2 + -3. Put q, c, f in ascending order.
q, c, f
Let w = 45 - 181/4. Sort -3, 1/5, w.
-3, w, 1/5
Suppose 0 = -19*t + 16*t. Sort t, -1, -2 in ascending order.
-2, -1, t
Let b(h) = -h + 9. Let n be b(11). Let l be -1 + (n + 4)/1. Sort 2, 4, l in increasing order.
l, 2, 4
Let v = 2.4 + -2. Let f = 4 - 3.7. Let c = -5.3 + f. Put v, -2, c in decreasing order.
v, -2, c
Let j be -3 - (0 + 1)*-4. Sort 0, j, -3, -5 in decreasing order.
j, 0, -3, -5
Let t = -2/109 - 196/1199. Put 2, -4, t in decreasing order.
2, t, -4
Suppose 0*s + 2*s = 0. Suppose s = -2*b - g + 7, 2*b = -b + 5*g + 30. Suppose 3*q - 5*h - 13 = 0, -4*q - 4 = -3*h - 3. Sort q, -3, b in increasing order.
q, -3, b
Let j = 0.042 + 0.158. Sort -9, -5, -0.2, j.
-9, -5, -0.2, j
Suppose -12 = 4*k - 4*s, -2*s + 6 = -0*k + 5*k. Let o = -11 + 13. Sort -2, k, o in decreasing order.
o, k, -2
Suppose 3*n + v - 1 = 0, 2*n + 16 = -3*v - v. Sort n, -3, 4.
-3, n, 4
Let p = -2 + 7. Let i be (-1 - 3/(-3))/2. Sort i, p, 13 in ascending order.
i, p, 13
Let c = -596/4043 - 2/311. Let y = 3.2 + -3.3. Sort 0, y, c in ascending order.
c, y, 0
Suppose -3*o + 5 = -2*o. Suppose -8 = 4*t + o*q + 3, 7 = t - 2*q. Suppose v = 3*v + 8. Sort -5, v, t in increasing order.
-5, v, t
Let h = -16 - -11. Let a be 1 - (3 + -2) - -19. Suppose -4*p = 5*k - 32, -k = 6*p - p - a. Sort h, -3, p.
h, -3, p
Let l be 6/(-4)*2/(-3). Let d = l - 5. Sort -2, 1, d.
d, -2, 1
Let u = 28 - 28.1. Sort 2, -4, u in descending order.
2, u, -4
Let u = -5 - -2. Sort -6, u, 5 in increasing order.
-6, u, 5
Let w = -3 - -4. Suppose 0 = q - 2*v - 8, 0 = -q - v + 24 - 1. Suppose f + 9 = -4*t, -3*f + q = -f - 4*t. Sort -2, f, w in ascending order.
-2, w, f
Let x = 26 + -20.4. Let m = -6 + x. Let o = -0.3 + 0.8. Sort m, o, -5 in increasing order.
-5, m, o
Suppose 2*a + 5 = k - 2*a, 5*k - 25 = -a. Sort k, -6, -5 in decreasing order.
k, -5, -6
Suppose 0*c - c = 0. Let l(i) = -i**3 - 2*i**2 - 2*i - 1. Let m = 4 + -6. Let b be l(m). Sort 5, b, c in descending order.
5, b, c
Let v(j) = j**3 - 5*j**2 - 3. Let l be v(5). Let a = -59 + 61. Sort l, a, 3 in descending order.
3, a, l
Let n = 793/526 - 2/263. Let b = -0.5 + 0.4. Sort b, n, 4 in decreasing order.
4, n, b
Let t be -2 + -1 + (1 - -2). Sort t, -4, 1 in ascending order.
-4, t, 1
Suppose -2*x - 2*n - 6 = -n, 2 = n. Sort x, 4, -5 in increasing order.
-5, x, 4
Let n(q) = 4*q + 27. Let m be n(-7). Sort m, -3, 13 in increasing order.
-3, m, 13
Let s(g) = -g**3 + 48*g**2 - 94*g + 88. Let c be s(46). Let u be ((3 - -1)/(-1))/(-2). Sort 2/3, c, u in decreasing order.
u, 2/3, c
Let d be 5/(10/(-2)) + (-10)/(-7). Sort d, 3/2, 5, 5/4 in ascending order.
d, 5/4, 3/2, 5
Let i = -125436 + 1250673/10. Let y = -4873/10 - i. Let r = -119 - y. Sort 2, r, -5 in ascending order.
-5, r, 2
Let p = 17 - 21. Sort p, -2, -3.
p, -3, -2
Let w = 6.99 - -0.01. Let s = -9 + w. Let b be (-2)/5 - 29/(-35). Put s, b, -3 in decreasing order.
b, s, -3
Suppose -5 + 2 = l. Suppose r = -3*r + 20. Suppose -23 = -r*t - 3*b, b = 2*t - t - 3. Put t, l, -5 in descending order.
t, l, -5
Let f be (-1)/3 + (-10)/(-3). Let u be ((-2)/(-9))/((-7)/f). Let w = 3.4 + 0.6. Sort w, u, 0.1 in ascending order.
u, 0.1, w
Let k = -5.12 - -0.12. Let r = k + 7. Sort r, 0, -0.3 in descending order.
r, 0, -0.3
Let m(l) = l**3 - 6*l**2 + l - 3. Let k(z) = z + 2. Let o be k(4). Let c be m(o). Put c, 0.02, 0 in ascending order.
0, 0.02, c
Let s = -17 + 13. Put -0.02, -1, s in descending order.
-0.02, -1, s
Let s = 12.6 + -13. Sort -4, -1, s in descending order.
s, -1, -4
Let k be 2430/(-585) - (-1 - 3). Put -3, -1/3, 8/5, k in descending order.
8/5, k, -1/3, -3
Let z(f) = -f**3 + 7*f**2 - 5*f - 4. Suppose 2*x - x = 6. Let n be z(x). Sort n, 1, -5.
-5, 1, n
Let k(i) = i**2 + 12*i + 14. Let y be k(-12). Suppose 0 = -v - 0*a - 4*a + y, -2 = 5*v + 2*a. Put v, 1, -3 in decreasing order.
1, v, -3
Let b be 1*((-10)/(-2) + -1). Let l be 3/6*b/(-10). Put -5, 1/2, l in descending order.
1/2, l, -5
Suppose -3*u - 4 = 5. Sort 1, 4, -5, u in decreasing order.
4, 1, u, -5
Let t = 0.36 - -15.64. Let u = -15.8 + t. Sort 2/9, u, 2/3 in increasing order.
u, 2/9, 2/3
Let q = -2 - -3. Suppose -r + 2*r - q = 0. Sort 3, r, 0 in increasing order.
0, r, 3
Let w = -3 - -7. Put w, -2, 0.03 in decreasing order.
w, 0.03, -2
Let y = -11 - -17. Let d = -6 + y. Sort d, -1/5, -5 in descending order.
d, -1/5, -5
Let o = 681/8 - 85. Suppose 24 = 2*z - 6*z - 5*h, 0 = 5*z - h + 30. Let g be 10/(-3) + 4/z. Put o, 3/4, g in descending order.
3/4, o, g
Let r = 42 - 42. Let m(j) = -2*j**2 + 2*j + 1. Let a be m(2). Let o be ((a/(-2))/(-1))/2. Put r, o, 4 in ascending order.
o, r, 4
Let c = 140 - 133. Sort c, -0.4, 4 in decreasing order.
c, 4, -0.4
Suppose -8 - 58 = 6*w. Put 1, w, -2 in descending order.
1, -2, w
Suppose k = 4*k. Sort 4, -6, k.
-6, k, 4
Let y = -99 + 95. Put -1, 5, y, 0 in increasing order.
y, -1, 0, 5
Suppose 5*o - 15 = 0, -2*y - o + 11 = -0*y. Put 1, 3, -1, y in ascending order.
-1, 1, 3, y
Let b = -71 + 67. Let w = 0 - 0.2. Sort 0.5, b, w in increasing order.
b, w, 0.5
Suppose o = 2*r - 7, -4*o + 0*r - 19 = -5*r. Let n = 3 - 8. Sort o, 0, n in increasing order.
n, o, 0
Let z = -0.6 - -0.9. Put 0.4, -0.2, z in decreasing order.
0.4, z, -0.2
Let w(g) be the second derivative of -g**5/20 + g**4/3 - g**3/3 - 2*g**2 + 2*g. Let j be w(3). Suppose -5*h - 9 = 11. Put j, h, 1 in ascending order.
h, j, 1
Let v be ((-172)/(-60) - 3)*5. Put v, -2, -3 in descending order.
v, -2, -3
Let a(w) = 4*w - 9. Let m(l) = 2*l - 5. Let r(o) = -4*a(o) + 7*m(o). Let u be r(2). Put -4, u, 4 in increasing order.
-4, u, 4
Let s = -2.6 - -6.6. Put -0.1, -7, s in decreasing order.
s, -0.1, -7
Suppose -4*c + 6 - 2 = 4*f, -5*f = -5*c + 5. Suppose f = -l - 5*d + 30, -2*l + 5 = -