0 + 2 = 0. Put x, -0.1, b in increasing order.
x, -0.1, b
Let o = 0.381 - -5.619. Put o, 3, -5, 2/3 in increasing order.
-5, 2/3, 3, o
Suppose 0 = -w - 0*w + 36. Let f be (-4)/3*6/w. Let n = 2 + -5/2. Put 1/5, n, f in decreasing order.
1/5, f, n
Let u(y) be the first derivative of y**4/4 - 7*y**3/3 + 9*y**2/2 - 9*y + 4. Let n be u(6). Suppose 1 = 5*k - n. Sort 0, k, 3 in increasing order.
0, k, 3
Suppose 40 = -46*k + 44*k. Put 1, 6, k, -3 in decreasing order.
6, 1, -3, k
Suppose n = t - 9, 0 = -2*n - 0*n - 8. Suppose -2*u - 11 = -5*r + 2*u, 0 = 2*u + 8. Sort r, t, 3 in decreasing order.
t, 3, r
Let w = -14 - -14.1. Let g = 308806/5 + -61968. Let v = g + 206. Put 6, v, w in descending order.
6, w, v
Let l(k) = 0*k - 3*k**3 - k + 2*k**3 - 6*k**2 - 3. Let n be l(-6). Let z be (-4)/(-60)*(0 - n). Sort 1, z, 4/3.
z, 1, 4/3
Let u be 105/42 + 15/6. Suppose -3*j + 1 = -5*n + 10, -11 = j + n. Let h = 6 + j. Sort -3, u, h in ascending order.
-3, h, u
Suppose 0 = -2*s + l - 36, -s - l - 2*l - 32 = 0. Let n be s/6*9/(-6). Put n, -21, -4 in decreasing order.
n, -4, -21
Let t = -219 + 142. Sort -2, 2, t in ascending order.
t, -2, 2
Suppose -24 = 11*j + 4*g, 2*j - g = -4*g + 7. Sort 58, j, 5 in increasing order.
j, 5, 58
Let l = 207 - 206.7. Put l, -1/32, -3/7 in descending order.
l, -1/32, -3/7
Let p = -17 + -9. Let r be ((-4)/(-6))/(p/(-117)). Let x = 521/2223 + -3/247. Put -1, x, r in ascending order.
-1, x, r
Suppose -2*q + 10 = 3*g, g + 7 - 21 = 2*q. Put g, 3, -5 in ascending order.
-5, 3, g
Let f be 23/(-345)*(-2 + 3 + 2). Sort -0.4, 7, -3/4, f in decreasing order.
7, f, -0.4, -3/4
Suppose 620*g - 160 = 600*g. Put g, -0.9, 5 in descending order.
g, 5, -0.9
Suppose 5 = k, s + 3*s + 3*k - 27 = 0. Suppose -2*r = -5*c + 35, -19 = -s*c + 2*r - 2. Suppose 5*o - 7 = q, 0*o + o = 4*q + c. Sort -4, 2, q.
-4, q, 2
Let b = 269 + -278. Sort b, 0.3, 2 in ascending order.
b, 0.3, 2
Let z = 21 + -15. Suppose -46*x + 42 = -96. Sort x, -2, z in descending order.
z, x, -2
Let j(l) = l**2 + 6*l - 3. Let b be j(-6). Let h be 0 + -1 - (-1 - -2). Let r = h + 3. Put b, r, 4 in decreasing order.
4, r, b
Suppose 0*y + 4*z + 12 = y, -4*y + 5*z + 4 = 0. Let w(o) = -o. Let l be w(-15). Suppose 4*u = -p + l, -4*u - 1 = 5*p - 12. Put 5, y, p in decreasing order.
5, p, y
Let u = 315 + -311. Sort -0.14, u, 5, 0.8 in decreasing order.
5, u, 0.8, -0.14
Suppose 2*n - 2 - 16 = -5*w, -2*w = -4*n + 36. Let h be 4*(-2)/24*9. Sort n, -2, h in decreasing order.
n, -2, h
Let p be (-87)/(-29) + ((-34)/14 - 1). Put p, -0.02, -2/9, 4 in increasing order.
p, -2/9, -0.02, 4
Let l = 322 + -283. Sort 5, l, 3 in ascending order.
3, 5, l
Let t(l) = l**2 - 5*l + 4. Let y be t(4). Suppose 3*u = -w - 3, y = -4*w - 2*u + u - 1. Let c(k) = 5*k + 1. Let h be c(-1). Put h, 3, w in ascending order.
h, w, 3
Let g(v) = -v**2 + v - 3. Let h be g(0). Let l(p) = 2*p**2 + 9*p - 4. Let n be l(0). Sort n, 4, h, 1.
n, h, 1, 4
Suppose -17*y - 281 = -791. Sort 4, y, -4 in ascending order.
-4, 4, y
Let s be ((-8)/(-80))/1*10/4. Let l = 0.44 - 0.04. Sort l, s, 4.
s, l, 4
Let a be ((-8)/(-3))/((2/(-3))/(-1)). Suppose -3*t - 2*d = 0, -4*t - a = d + 3*d. Sort -1, t, 4, 5 in increasing order.
-1, t, 4, 5
Let i = 1170 - 1170.4. Sort i, -2/155, -1, 2 in descending order.
2, -2/155, i, -1
Suppose 3 = n + 6. Suppose -5*h = 1876 - 1851. Sort n, 5, -2, h.
h, n, -2, 5
Let z = 3 - 4. Let p = 6 - 28. Let c = -27 - p. Put z, 0.2, c in decreasing order.
0.2, z, c
Let y = -0.097 - -10.897. Let l = y + -11. Put l, -0.4, -1, 14 in decreasing order.
14, l, -0.4, -1
Let p = -81.22 - -15.32. Let h = p + 66. Put h, -4, -4/7 in decreasing order.
h, -4/7, -4
Let y be 44/(-20) + (-4)/(-20). Let i(k) = 2*k - 26. Let q be i(11). Suppose -5*g - 7 + 42 = 0. Sort g, y, q in ascending order.
q, y, g
Let k(i) = i**2 + 6*i - 9. Let o be k(-7). Let s = o + -2. Sort -6, s, -5 in ascending order.
-6, -5, s
Suppose -2*w = -7*w + 20, 3*h - 123 = 3*w. Suppose -h + 55 = 5*s. Let c be s/(-3) - 66/(-18). Put -5, 8, c in increasing order.
-5, c, 8
Let g = 490 + -490.5. Sort -0.4, 1, g, -0.3.
g, -0.4, -0.3, 1
Let u = 1748 - 1753. Put 65, 0, u in increasing order.
u, 0, 65
Let d(g) = -5*g**2 - 4*g - 5. Let k(b) = b**2 + b. Let f(o) = -d(o) - 6*k(o). Let a be f(0). Sort 17, -2, a in increasing order.
-2, a, 17
Suppose 5*t - 4*t = 4*w - 14, 20 = 4*w + 2*t. Put -6, -2, w in descending order.
w, -2, -6
Let v = -490 - -485. Put -0.22, v, 3 in increasing order.
v, -0.22, 3
Let a = -5 - -3. Suppose 2*i + 6*i = -88. Put i, a, 2 in decreasing order.
2, a, i
Suppose 0 = 3*g + 5*k - 18, g + k = 3 + 1. Let t(r) = -10*r**2 + 2*r + 3*r**3 - g - 2*r**3 - r - 5. Let q be t(10). Put -1, q, 3 in descending order.
q, 3, -1
Suppose -4*z - 2*s + 32 = -7*s, -2*z - 2*s = -34. Put -5, -2, z, -3 in ascending order.
-5, -3, -2, z
Let f = -213 + 208. Sort f, -0.3, -1, 0.11 in descending order.
0.11, -0.3, -1, f
Let q(r) = r**3 - 7*r**2 - 6*r + 31. Let x be q(7). Sort -4, -1, x in descending order.
-1, -4, x
Let p = 10 + -4. Let y = 48 + -34. Let x be ((-16)/24)/(y/p). Put 0.3, x, -3 in decreasing order.
0.3, x, -3
Let f(p) = -p**3 + 5*p**2 - 14. Let a = -33 - -37. Let x be f(a). Put x, -4, 4 in decreasing order.
4, x, -4
Suppose 6 = 3*h - 2*h. Suppose 3*v = h + 3. Suppose -m + 4 = v*m. Put -5, m, 2 in descending order.
2, m, -5
Let r(m) = -4 + 1 + 2*m - 2. Suppose -5*u - 5*f + 10*f + 25 = 0, -5*u + 19 = f. Let h be r(u). Sort 1, 5, h.
1, h, 5
Suppose -5 = -l - 2*o, -5*o = -4*l - 0*l + 20. Sort 4, l, -3, -5.
-5, -3, 4, l
Let m(j) = 6*j**2 + j - 2. Let d be m(-2). Let h be 86/10 + 8/d. Sort h, -4, 4 in decreasing order.
h, 4, -4
Let k be 72/15 - (-1)/5. Put k, -0.25, 2/7, -3/8 in decreasing order.
k, 2/7, -0.25, -3/8
Suppose 2 = -4*i + 5*i. Suppose 2*k - 3*k = i. Let r(a) = 12*a + 11. Let t be r(-1). Sort -3, k, t in descending order.
t, k, -3
Suppose -2*k + 6 = k. Let s be -1*4 - (2 - k). Suppose -2 = -4*o + 6. Sort 3, s, o in descending order.
3, o, s
Let h = -1 + 0.95. Let f = -12.56 + 12.26. Put h, 4, 0.2, f in ascending order.
f, h, 0.2, 4
Let u = 222.9 + -223. Sort -5, u, -0.2, 11 in ascending order.
-5, -0.2, u, 11
Let c(t) = -3*t + 6. Let j be (-2)/5 - (-378)/(-105). Let w be c(j). Let k = -14 + w. Put 2, k, -3 in increasing order.
-3, 2, k
Let l = 47.8 + -46.8. Sort -2/83, l, -2/5 in decreasing order.
l, -2/83, -2/5
Let m(c) = c**2 + 5*c - 3. Let i be m(-5). Let o be -5 - 1/(-2)*0. Let b be (108/(-20) + 6)*5. Sort o, b, i in decreasing order.
b, i, o
Let j = -273.4 + 273. Let z = 46 - 51. Put -2, z, 0.5, j in descending order.
0.5, j, -2, z
Let q = 785 - 784. Put 4, q, 49, -4 in descending order.
49, 4, q, -4
Let w be (-3)/(-4) - (2 - 2). Let r = 20 - 13. Let l(i) = -i**2 - 3*i + 3. Let z be l(0). Sort r, w, z in descending order.
r, z, w
Let h = -0.06 + -1.44. Let x = h + -6.5. Let p = x - -7.7. Sort 4, -5, p in increasing order.
-5, p, 4
Let y = 217 + -217.5. Let w = -1/190 - 1/10. Sort 4, y, w.
y, w, 4
Let a = 2 - 5. Let u = 97 - 98. Put a, 1, u in descending order.
1, u, a
Let d = 213/2 + -1495/14. Put -2, 0.16, d, -0.3 in decreasing order.
0.16, d, -0.3, -2
Let i be (-5)/(-2) - (-90)/(-60). Sort 5, 5/6, i, -3/5 in descending order.
5, i, 5/6, -3/5
Let w = 6 + -8. Let s(k) = 5*k**2 + 6*k - 5. Let o(z) = -4*z**2 - 5*z + 4. Let m(l) = -4*o(l) - 3*s(l). Let y be m(w). Put 0, -5, y in descending order.
0, y, -5
Suppose -3*m = a - 4*m - 14, 3*a = 2*m + 38. Let s(c) = 21*c + 6. Let r be s(a). Let p be (-80)/r*9/(-15). Put -4, 3, p in ascending order.
-4, p, 3
Let t be (-45)/(-120) + (-1)/4. Suppose -11*g - 4 = -4*b - 15*g, -5*g - 13 = -4*b. Sort b, t, 8/7 in ascending order.
t, 8/7, b
Let u = -0.0278 - -0.1278. Let z = -3 - -2.8. Sort z, -0.05, u.
z, -0.05, u
Let r = 252 - 252.1. Put 34, r, -0.5 in decreasing order.
34, r, -0.5
Let x = -775 - -767. Sort -1, x, 4 in increasing order.
x, -1, 4
Suppose -15 = -3*x, 0*k - 3*x = 2*k - 11. Let s be (1 + k - -1) + -1. Suppose -319*u + 5*j + 7 = -317*u, 3*j = -u - 13. Put u, s, 4 in descending order.
4, s, u
Let r = 23 + -18. Suppose 19 = -r*m + 4*m. Let l = 21 + m. Sort 0, l, -0.1.
-0.1, 0, l
Let p(o) = -o**3 - 8*o**2 - 4*o - 37. Let j be p(-8). Put -3, 3, j in increasing order.
j, -3, 3
Suppose 3*q - 42 = -2*a, 0*a = -4*q + 5*a + 33. Let u 