. Sort f, 0, 5 in descending order.
5, 0, f
Suppose -2 - 3 = o. Let d be 5/25 - 4/o. Put d, 2, 5 in increasing order.
d, 2, 5
Let o = -13 + -2. Let j = o - -46/3. Sort 3, j, -2.
-2, j, 3
Let b(i) = -1 + 5*i**2 - 3*i**2 - 1 - 2 - 6*i. Let k be b(4). Suppose 4 = -4*h - 0*h. Sort 3, h, k in descending order.
k, 3, h
Let n be (-16)/(-7) - 6/21. Let m be n + 7/10*-2. Sort -0.4, -2, m in descending order.
m, -0.4, -2
Suppose 0 = -t + 3*c - 9, -3*t = t - 3*c. Put 2, -5, t, 5 in increasing order.
-5, 2, t, 5
Let j = -2752/27 + 27127/108. Let d = j + -150. Sort 0.1, d, 5.
d, 0.1, 5
Suppose -d - 10 = d. Suppose 2*n = -2*l + 6, l = 4*l + 5*n - 7. Let r be (1 - (2 + -2)) + 1. Sort d, r, l in descending order.
l, r, d
Let a be 20/12 + 6/(-9) + 1. Sort a, -7, -5 in descending order.
a, -5, -7
Suppose -2*r - 8 = 0, -4*r - 13 = w - 3. Suppose -d + 12 = -3*j, 6*j = -5*d + 2*j + 3. Put w, d, 2 in decreasing order.
w, d, 2
Let m(w) be the second derivative of -w**5/20 - w**4/2 + w**3 - 5*w**2/2 - 4*w. Let p be m(-7). Suppose 0 = -p*v + 4 + 2. Sort v, -3, 4 in decreasing order.
4, v, -3
Let j = 2.9 - 1.9. Sort -2, 0.4, j in increasing order.
-2, 0.4, j
Let k = 4 - 4.5. Sort k, -0.2, 5 in increasing order.
k, -0.2, 5
Let r = 197 + -195. Suppose 0*i = 3*i + 3, 2*p = 3*i + 5. Sort -5, p, r in increasing order.
-5, p, r
Let q = 21 + -18. Let i be ((-4)/(-6) + 1)*-3. Sort 0.3, q, i in ascending order.
i, 0.3, q
Suppose 2*b = 4*c + c - 2, 3*c + 5 = -5*b. Let u = -11 + 8. Sort 0.4, c, u in descending order.
0.4, c, u
Let o = 33 + -33. Sort 4, -5, o in ascending order.
-5, o, 4
Let r = 3 - 6. Let f be 10/(-2)*2/2. Let k(c) = -c**2 + 6*c - 6. Let t be k(4). Sort f, r, t in decreasing order.
t, r, f
Let z be 20/(-50) + (-1)/10. Sort -7, -0.4, z in decreasing order.
-0.4, z, -7
Let f be (-5)/(-30) - 2/(-132). Sort f, 5, -0.3 in ascending order.
-0.3, f, 5
Let n = -11515.631 + 11511. Let k = 0.069 - n. Let i = k + -0.7. Sort -0.4, 0.2, i in ascending order.
-0.4, 0.2, i
Suppose -60 = w - 4*w. Let v = w + -12. Suppose -5*y = 5*u - 0*y - 40, -4*y + v = -4*u. Sort 4, u, -5.
-5, u, 4
Suppose -3*q + 8*q = 0. Put q, -2, -3 in decreasing order.
q, -2, -3
Suppose m = -0*m. Let y = 8 - 8.3. Put y, 5, m in descending order.
5, m, y
Suppose t = -m - 4*m - 20, 0 = 5*m - 5*t + 20. Let q be (0 + -1)/(2/(-10)). Let l = 1 - 2. Put l, m, q in descending order.
q, l, m
Let b = 2/189 - -356/2079. Let s = -114 + 113.9. Put b, -5, s in decreasing order.
b, s, -5
Let v(c) = c**3 - 27*c**2 - 61*c + 10. Let y be v(29). Sort 3, y, 2 in decreasing order.
3, 2, y
Let q(k) be the second derivative of k**5/20 - k**4/3 - 7*k**3/6 + 7*k**2/2 + 7*k. Let r be q(5). Put r, 6, -1 in decreasing order.
6, -1, r
Let m(x) = x. Let g be m(-1). Let d be -2 - (2 - 4*3). Let c be d/(-32) - 17/(-4). Put g, -2, c in descending order.
c, g, -2
Let v(z) = z**3 - 3*z**2 - 3*z - 1. Let b be v(4). Suppose 0*q - b*q = -3. Sort q, -3, -1 in ascending order.
-3, -1, q
Suppose -2*u - u = -6. Sort -0.4, 5, u in descending order.
5, u, -0.4
Suppose 3*h = 3*s, 3*h + 5*s - 14 = 2. Suppose -5*g + h = -3. Let c(t) = -2*t - 1. Let p be c(2). Sort g, p, -3 in increasing order.
p, -3, g
Let t be (-6)/8*2*(-16)/12. Sort 13, t, 0, 1.
0, 1, t, 13
Let o(c) = -c + 17. Let t be o(12). Suppose -t*w = -0*w. Put w, 5, -2 in increasing order.
-2, w, 5
Let m be (2/6)/((-23)/(-138)). Suppose 5*j + 10 = -10. Sort m, j, -5 in decreasing order.
m, j, -5
Let g be (124/44 - 4) + 1. Put g, -0.5, -4/3 in increasing order.
-4/3, -0.5, g
Let y = 0.7 - 0.7. Let j = 55 - 163/3. Sort j, -3, y.
-3, y, j
Let l = 23 - 24. Sort -3/5, l, -0.5 in decreasing order.
-0.5, -3/5, l
Let d = -317/4 - -79. Put d, -7, 0.2, -0.4 in decreasing order.
0.2, d, -0.4, -7
Let c = 8 + -11. Sort -2, c, 4.
c, -2, 4
Let q = 0.5 + 2.5. Put 1/3, 2, q in descending order.
q, 2, 1/3
Suppose -3*o = -0*o + 4*u + 1, 2*u - 1 = -3*o. Suppose -k + 10 = k. Suppose -4*c + 21 = v, -2*c + k*v + 2 = -3. Sort -4, c, o.
-4, o, c
Suppose 5*x = -4 - 11. Sort 1/11, 5, 6, x.
x, 1/11, 5, 6
Suppose 5*v + 21 = 4*v. Sort v, 0, -1 in ascending order.
v, -1, 0
Let n = -3 + 2.8. Let k = n - 0. Let a = 4 - 7. Sort -3/4, k, a in increasing order.
a, -3/4, k
Suppose -2*r + 2*c = -0*c + 2392, 3*r + 3584 = 2*c. Let u be 0/1 + 1514/r. Let t = -3/149 - u. Put t, 3, 0.5 in ascending order.
0.5, t, 3
Suppose w - c = 5, -3*c + 0*c - 9 = 0. Suppose w*d = -2*d - 12. Suppose h = -v - 7, 2*h + 0 = -4. Put 4, d, v in increasing order.
v, d, 4
Let f = -83/69 + -3/23. Put f, -3/4, -5 in increasing order.
-5, f, -3/4
Let k be 18/(-81) - 43/9. Sort 2, k, -2/15 in decreasing order.
2, -2/15, k
Let u = 1 - 2. Let v = 44 + -482/11. Sort u, 2, v in decreasing order.
2, v, u
Let u(a) = a**2 - 2*a. Let j be u(3). Let s be ((-2)/6)/(2/(-6)). Suppose g - s = -2*b - b, g + b = -3. Sort j, 1, g in ascending order.
g, 1, j
Let w be (-7)/14 - 21/6. Put -1, -5, w in descending order.
-1, w, -5
Let m = 0.01 - -1.99. Let n = -9 - -55/6. Sort n, m, -1.
-1, n, m
Suppose 3*l = 25 - 4. Suppose -13 - l = -5*d. Put -1, d, 1 in increasing order.
-1, 1, d
Let j = -6.6 + 8.6. Sort 2/17, -3, j in descending order.
j, 2/17, -3
Suppose -7*i = 1 - 15. Sort i, 0.5, -2/15 in decreasing order.
i, 0.5, -2/15
Let g = 19.2 - 19. Let v = -33 - -362/11. Put -3/2, v, g in increasing order.
-3/2, v, g
Let r(k) = k**3 + 5*k**2 + 7. Let d be r(-5). Let y(x) = -x**2 + 6*x + 8. Let z be y(d). Let t = -0.06 - -0.26. Put t, z, -3/5 in increasing order.
-3/5, t, z
Let c = 0.04 - 3.04. Let v = c + 6. Let x = v + -4. Sort 3/7, x, 0.5.
x, 3/7, 0.5
Suppose d - 6*a + a - 2 = 0, -3*d + 6 = -3*a. Put d, -4, 4 in descending order.
4, d, -4
Let j = 5 + -4. Put 2, 0.15, j in increasing order.
0.15, j, 2
Let i be (-25)/(-75) + ((-10)/(-6) - 1). Sort i, 4, 3, -5.
-5, i, 3, 4
Suppose 0 = 4*w - w - 6. Let t(b) = 2*b**3 - 4*b**2 + 4*b - 3. Let x be t(w). Let r = -124 + 120. Put x, r, -1 in descending order.
x, -1, r
Let y(s) = -s**2 + 4*s - 1. Let b be y(4). Suppose 2*p - 18 = -2*v, 3*p - v = 3*v - 1. Put p, 1, b in descending order.
p, 1, b
Let m be (-6)/9*7/(70/(-15)). Sort 2, m, -5, -7 in decreasing order.
2, m, -5, -7
Let u = -3/4 + 11/12. Sort 2, 17, u in increasing order.
u, 2, 17
Let d be (32/(-20))/(-1)*(-15)/6. Put d, -3, -1, 4 in descending order.
4, -1, -3, d
Let r be 1/3 + (15/9)/(-5). Sort r, -1, 2.
-1, r, 2
Let u = -13 - -67/5. Put u, -1, 5 in increasing order.
-1, u, 5
Let o = 10 + -7. Let h = -6 + o. Suppose m + 2*m - 6 = 0. Sort 1, h, m.
h, 1, m
Suppose 86*q = 88*q. Let a = -4 + -1. Put 2, a, q in increasing order.
a, q, 2
Let p be (-4)/(-1) - (-1)/1. Let n(h) = -3*h**2 + h + 2. Let a be n(-1). Sort a, -4, p in ascending order.
-4, a, p
Let q(c) = c**3 - 4*c**2 - 5*c + 1. Suppose -d - 2*i + 7 = 0, -2*i = 4*d + 3*i - 25. Let r be q(d). Suppose r = n - 2. Put n, -1/4, 0.4 in increasing order.
-1/4, 0.4, n
Suppose 2*i + 0*i = -10. Let x be 0 - (-1 - i/4). Put 0, -5, x in decreasing order.
0, x, -5
Let x = 100.6 + -101. Sort 5, -0.1, 0.6, x.
x, -0.1, 0.6, 5
Let c = -8 + 6. Let y be 6/(-6 + 3) + c. Sort y, 2, -3 in increasing order.
y, -3, 2
Let x(y) = y - 2. Let h be x(6). Let c = -4 + 0. Let i be 39/12 - (-1)/c. Sort h, i, 5.
i, h, 5
Let n(q) = -q - 1. Let j be n(-4). Suppose -5*w - 9 = 3*a - 2*w, j*a + 5*w = -19. Sort a, -1, -11 in descending order.
a, -1, -11
Let o = -10 - -1. Let a = 9.3 + o. Sort 0.01, a, 4/3 in ascending order.
0.01, a, 4/3
Suppose b = -4*q - 0*b + 12, -9 = -3*q - 5*b. Let l be 3/63*q/1. Put -0.5, -0.3, l in decreasing order.
l, -0.3, -0.5
Let r(n) = -2*n**3 - n + 1. Let i be (-3 + 5)*(-2)/(-4). Let h be r(i). Put -4, 2, h in descending order.
2, h, -4
Let y(j) = 12 - 14*j + 0*j**2 + 6*j + j**2. Let a be y(7). Sort -2, a, 2.
-2, 2, a
Let o be 2/(-5) - 279/(-360). Sort o, 2/9, -5.
-5, 2/9, o
Let k = -274 - -2189/8. Sort -1/4, 5/3, k, 5 in ascending order.
k, -1/4, 5/3, 5
Let i = -2 + 2. Let q = -10 + 6. Sort i, q, -3 in descending order.
i, -3, q
Let m = 7552.05 - 7344. Let r = m - 204. Let h = -0.05 + r. Sort -3/5, 3, h in increasing order.
-3/5, 3, h
Let d be (1/10)/((-2)/5). Let u(y) = -3*y**2 + 18*y + 22. Let w be u(7). Put 0.01, w, d in descending order.
w, 0.01, d
Let q = -3 + 4. Let m be q + -2 + 0 + -2. Sort 3, m, -4.
-4, m, 3
Let p = -471 + 