f in decreasing order.
0.5, f, -197
Let t = -58.8 + -17.2. Let p = 75.53 + t. Let a = -0.17 - p. Sort a, 3, -0.3.
-0.3, a, 3
Let v = -0.11 + -0.01. Let t = -0.12 - v. Put 6, t, 5 in increasing order.
t, 5, 6
Let k(o) = -o**3 - 6*o**2 + 6*o - 8. Let g be k(-7). Let j = 0 + 4. Suppose 3*v = -9, -10 = 2*w + j*v + 6. Sort w, -4, g in ascending order.
-4, w, g
Let r = -8 + 9. Let v = -0.417 - 0.083. Let j = 155 - 1707/11. Sort j, v, r.
v, j, r
Let r = 4 - 5. Let c(y) = y**3 + 8*y**2 - 6. Let l be c(-5). Let s = -66 + l. Put 12, r, s in decreasing order.
12, s, r
Let j = -0.71 - -2.71. Put -3, -9, j, -5 in ascending order.
-9, -5, -3, j
Let b(d) = 6*d - 3. Let g be b(-2). Let c be g/(-18) - (-6)/36. Suppose 5*z = 2*z - 2*h + 6, 0 = -5*h + 15. Put -3, z, c in decreasing order.
c, z, -3
Let h = 2013 + -2016. Let i = -3 + 4. Put 0.3, i, h, 4 in ascending order.
h, 0.3, i, 4
Let b(i) be the second derivative of -i**4/12 - 7*i**3/6 - 7*i**2/2 + 11*i. Let q be b(-7). Sort 5, q, -3 in ascending order.
q, -3, 5
Let m = -24 + 44. Let a = -20 + m. Sort 0.01, a, -0.2 in increasing order.
-0.2, a, 0.01
Let n = -24 + 14. Let l = n - -20. Suppose 14*w - 7*w = 7. Sort w, l, 0.4 in decreasing order.
l, w, 0.4
Suppose -4*r - j = 3, r - 2 - 1 = j. Suppose r = -q + 13 - 9. Put -27, 1, q, -2 in descending order.
q, 1, -2, -27
Let m = 246.8 + -241.8. Sort m, 0.5, 4, -8/23 in decreasing order.
m, 4, 0.5, -8/23
Let d = 3.21 + 0.19. Let m = d + -5. Let w = 0.6 + m. Sort 1, -2, w in decreasing order.
1, w, -2
Let y = -1 - 0. Suppose 0 = 8*o - 6 + 22. Put -4, y, o in ascending order.
-4, o, y
Let u be (1/1 - 0) + -2. Let x be 0*(-1 - u - -1). Suppose -12*h + 159 - 207 = 0. Put h, 5, x in decreasing order.
5, x, h
Let h be ((-33)/396)/(2 - 26/12). Let b = -1 + 0.6. Put -0.07, h, b in increasing order.
b, -0.07, h
Let j be 609/294 + (-8)/14. Sort -13, 0.2, j in decreasing order.
j, 0.2, -13
Let d = -559 - -559.2. Put -1, d, 0.014 in decreasing order.
d, 0.014, -1
Let k be (1 + 0/3)*-10. Let d be 38/k - (-3)/(-15). Let n be 2 + (-1 - (-15)/7)*-2. Put 4/3, d, n in descending order.
4/3, n, d
Let j(g) = g**2 + 4. Let r be j(0). Suppose 3 = r*k - 17. Let i = 530 + -527. Put i, k, -3 in descending order.
k, i, -3
Let p = -4 + 3. Let z(y) = -2*y**3 - y**2 - y - 1. Let g be z(p). Let b be 0/(4/(-8)*2). Sort g, b, -2/7 in decreasing order.
g, b, -2/7
Let t = 136 - 48. Let a = -87.7 + t. Let z = -1.2 + 1. Put a, 3, z in descending order.
3, a, z
Let k(u) = u**3 - 6*u**2 + 6*u - 4. Let x be k(5). Let q be (-4)/(-7)*21/6. Suppose -3*i + 6 = 3*r - 3, 2*i = q*r + 14. Put x, r, -3 in ascending order.
-3, r, x
Let x be (24/(-20) + 2)/(24/(-60)). Sort -105, -4, x.
-105, -4, x
Let l = 73 - 44. Let k = l + -34. Sort 0.2, k, -0.3 in descending order.
0.2, -0.3, k
Suppose 2*c + 9 = -3*z - 2, -2*c = 8. Let g be (z/(-2))/(2/(-8)). Let a be 10/(-4) + 0 - g. Sort 11, a, 0 in increasing order.
a, 0, 11
Let y(o) = -o**2 + 39*o - 68. Let z be y(37). Sort 1, 0, z in increasing order.
0, 1, z
Let y be -7 - -7 - -3 - 7. Let d = 8 - 6. Put d, y, -13 in decreasing order.
d, y, -13
Suppose -3*j = -7*j + 2*v + 16, 3*j = -2*v - 2. Let l(r) = r**3 - 13*r**2 + 2 - r - 4*r + 12*r**2. Let o be l(3). Sort j, 3, o in decreasing order.
o, 3, j
Let w = -412/11 + 2265/22. Let n = 64 - w. Put n, -4, 0.2, 1 in decreasing order.
1, 0.2, n, -4
Let z(c) = -c**2 - 8*c - 5. Let d be z(-7). Let p = 84 - 19. Let t = 64 - p. Put d, t, 3 in decreasing order.
3, d, t
Suppose 3*f = -61 + 76. Sort f, 17, 0.1 in descending order.
17, f, 0.1
Let h be 1 + (-26)/2 - 0. Let l be (h/10)/((-21)/70). Let n be (1 + 2)*l/30. Put n, 3, -0.1 in ascending order.
-0.1, n, 3
Let p = 0.0917 - -0.1083. Sort -0.2, p, 1/3 in descending order.
1/3, p, -0.2
Let c = 38 + -43. Let t be 6/4*10/3. Put t, 0, c in increasing order.
c, 0, t
Suppose -4*z + 2*n = -0*z - 12, -3*n = 0. Suppose -z*a + 5*a - 4*l + 4 = 0, -l + 3 = -a. Sort a, -1, 1.
a, -1, 1
Let c be (-18)/4*(-3)/(-9). Let i = -187 - -188. Let x = -26 - -33. Sort i, c, x in ascending order.
c, i, x
Let k = -3.95 - -4. Suppose -2*r + 5*n - 30 = 0, n = -4*r - 13 - 3. Sort r, k, 0 in increasing order.
r, 0, k
Let s = 403 - 408. Put 2/5, s, -3/14 in decreasing order.
2/5, -3/14, s
Let h = -187 + 190. Put h, -1/4, 0.2, 3/2 in descending order.
h, 3/2, 0.2, -1/4
Let o be 6/4*8/3. Let p be ((-14)/8)/((-1)/48). Let s = 87 - p. Sort -3, o, s.
-3, s, o
Let o be (2/(-7))/((-3)/(-7)). Let q = -65 - -65.21. Let d = -0.11 + q. Put -1, d, o in decreasing order.
d, o, -1
Let s be 226/(-10) + (-10)/25. Let r = s + 23. Sort 5, -5, r, 1 in ascending order.
-5, r, 1, 5
Let u be 15/20 - (-21)/4. Let z(t) = 6*t - 33. Let x be z(u). Sort x, -2/25, 2/3.
-2/25, 2/3, x
Suppose -r + h - 7 = 0, 20 = h + 4*h. Suppose -20 = 36*q - 32*q + 2*j, 4*q + 14 = j. Sort -1, r, q.
q, r, -1
Suppose -3*m = -5*m + 2*j - 342, -3*m - 527 = 4*j. Sort -1/5, 3, m in descending order.
3, -1/5, m
Let k = 1.75 + 68.25. Let j = 68 - k. Sort j, 0.5, 2 in descending order.
2, 0.5, j
Let o be -3 - (-4 - (-1 - 0))*1. Put -4, 8, o, 1 in ascending order.
-4, o, 1, 8
Suppose 4*m - 2*x - 14 = 0, -3*m - 2*x + 7 + 14 = 0. Suppose 0 = -s + 3*l + 19, m*s + 2*l - 15 = -5. Let z = 5 - 2. Put 6, s, z in descending order.
6, s, z
Let c = -0.4 + -3. Let t = 0.4 + c. Let g = -1 + t. Sort 4, 2/7, g in ascending order.
g, 2/7, 4
Let x = 12.4 + 1.6. Let v = x + -16. Suppose -a + y = 3, y = 2*a + 6*y - 29. Sort v, a, 1/6 in descending order.
a, 1/6, v
Let p(t) = 15*t + 45. Let g be p(-3). Let b be (-2 + 39/12)*4. Sort g, 1, b, 2 in decreasing order.
b, 2, 1, g
Let c(t) = -2*t - 23. Let j(r) = 2*r**2 + 40*r - 13. Let f be j(-20). Let y be c(f). Sort 1, -3, y in descending order.
y, 1, -3
Let o = 6 - 10. Let b be o/(-14) + (-2)/7. Let w be (-81)/(-36)*4 - 13. Put 5, b, w in increasing order.
w, b, 5
Let b = -4 - -6. Suppose -5*y = m - 2, y - 7*m + 3*m = -8. Suppose -192 = -122*q + 174. Put b, q, y in descending order.
q, b, y
Suppose -5*n + 9 = 3*s, 22*n - 4*s + 12 = 25*n. Sort n, 14, 8 in ascending order.
n, 8, 14
Let c be (1 + 0 + -3)/(-1). Let u = 3195 - 3202. Sort u, 0, c in decreasing order.
c, 0, u
Let c be 16/3 + 3/(-9). Let n = 206 - 206. Let u be 2/(-8) - (-22)/(-8). Sort c, n, u.
u, n, c
Let m = 1221 + -1226. Sort -2/3, 2/31, 0.8, m in decreasing order.
0.8, 2/31, -2/3, m
Let b = 21 + -11. Let c be 23/2 - (15/(-10) - -2). Suppose -5*r = -4*k - 13 + 45, k = 2*r + c. Sort k, 0, b in descending order.
b, k, 0
Suppose 5*v + 5 = -q - 3*q, 3*q = 3*v + 3. Sort v, 0, 51 in decreasing order.
51, 0, v
Let t(f) = -f**2 - f - 10. Let d be t(0). Let m = -17 - d. Put 1, 4, m in ascending order.
m, 1, 4
Suppose -11*w - 79 + 101 = 0. Let f = -8 + 3. Sort f, -0.4, w.
f, -0.4, w
Suppose 4*o - 3*o + 20 = 4*q, o = -q. Sort q, -12, -5, 6 in decreasing order.
6, q, -5, -12
Suppose -4*l = 7*l - 22. Suppose 4*y + 9 + 0 = b, 1 = l*y + 5*b. Let r = -2 + 2. Sort y, -0.06, r.
y, -0.06, r
Let s = -2963/7 + 423. Put 61, -2, s in decreasing order.
61, s, -2
Suppose 5*h = 5 + 15. Suppose h*z = -12, 51 = 4*o - 3*z - 6. Let k = -11 + o. Put 0, k, 3 in decreasing order.
3, k, 0
Let h = -2.5 + 102.5. Let s = -99.59 + h. Sort -0.4, s, -0.3 in increasing order.
-0.4, -0.3, s
Let s = 0.755 + -0.055. Let m = 6.6 + -7. Sort -1/6, m, s in ascending order.
m, -1/6, s
Let p be ((-560)/15)/7 - (-4)/(-6). Let t be p/21 + (-25)/(-210). Sort 0.4, 3/2, t.
t, 0.4, 3/2
Suppose 0*c - 4*m - 14 = 2*c, 0 = -2*c + 3*m. Let k = -37 + 36.88. Let g = k - -0.22. Sort c, g, 4/7 in decreasing order.
4/7, g, c
Suppose -5*l + 3*l = -5*i - 17, -5*l = 2*i + 1. Suppose -4 = -v - 2. Suppose -g + r = v, -5*g = -2*r - 2 - 3. Sort -2, g, i in increasing order.
i, -2, g
Let t = 21 + -22. Let i(v) = -v**3 + 9*v**2 + v - 8. Let p be i(9). Sort p, 2, t in descending order.
2, p, t
Let p(q) = -q + 2. Let y be p(5). Let l = 69.8 + -13.8. Let g = l - 55.7. Sort 0.07, y, g.
y, 0.07, g
Suppose 2*r = -3*u - r + 27, 0 = -r. Sort 2, u, -3, -9.
-9, -3, 2, u
Suppose 0*z - 3*z + 5*l + 47 = 0, 2*z + l - 14 = 0. Sort 23, -3, z in ascending order.
-3, z, 23
Let m = -0.657 + -0.043. Sort -8, -0.1, m, -2 in descending order.
-0.1, m, -2, -8
Let h = -5661 - -5669. Let p be (-11)/(-18) - 2/4. Put 3/5, 0.2, h, p in increasing order.
p, 0.2, 3/5, h
Let b