. Put x, -0.3, f in descending order.
f, -0.3, x
Suppose 73*q + 16 = 77*q. Sort -4, q, 13, -5 in increasing order.
-5, -4, q, 13
Let c = 44 + -44. Sort -5, 3, c, 4 in descending order.
4, 3, c, -5
Let b(r) = r**3 - 7*r**2 + 6*r - 3. Let k be b(6). Let t = 13 + -10. Suppose 0 = -t*j + 3*v + 3 + 15, -5*v = 2*j + 2. Sort -1, k, j in decreasing order.
j, -1, k
Suppose -45 + 48 = -s. Sort -27, 5, s in ascending order.
-27, s, 5
Let y be -1 + 1*(-11 - -2). Let q be (-1)/((2/y)/(-1)). Let a = q - -10. Sort -1, 4, a in descending order.
a, 4, -1
Suppose -2*j - s = 4, 5*s - 3*s + 8 = 0. Put -1, 5, 3, j in descending order.
5, 3, j, -1
Let z = -9 - -5. Sort z, 0, 3.
z, 0, 3
Suppose -x - 11 - 17 = 0. Let d be x/8 - 2/(-4). Sort 2/9, d, 1 in descending order.
1, 2/9, d
Suppose 3 + 7 = 2*l. Sort -1, l, 0, -2 in decreasing order.
l, 0, -1, -2
Suppose -3*g + 7 = 1. Suppose 0 = -4*q + 4*l - 8, 0*q - 5*l = g*q + 11. Suppose -20 = 4*m + s, 0 = -6*m + m - 5*s - 40. Sort q, m, 1.
m, q, 1
Let s = 221.2 - 221. Let t = 724/11 + -66. Sort s, t, -8.
-8, t, s
Suppose 5 = -3*j - 7. Sort 2, 7, j in increasing order.
j, 2, 7
Let c = 6 + -8. Let s = -0.6 + 0.4. Put c, s, 0.4 in descending order.
0.4, s, c
Suppose 4*r = -5*o - 10, -5*o + 35 = -4*r + 5. Suppose -8 = -o*n - 2. Suppose -s + 9 = 5*j, -11 = -0*j - n*j + 5*s. Sort j, 3, -5 in increasing order.
-5, j, 3
Let r(q) = -q**3 + 10*q**2 - q + 8. Let y be r(10). Put 3, -6, y, 1 in ascending order.
-6, y, 1, 3
Let c = 60 - 67.3. Let k = c - -7. Put -2/7, k, -2 in descending order.
-2/7, k, -2
Let z = -3.56 - -4.6. Let i = 2.96 + -3. Let a = i + z. Sort -1, 3, a.
-1, a, 3
Let l = 10.498 - 0.098. Let t = -10 + l. Put 3/5, t, 2 in descending order.
2, 3/5, t
Suppose 2*t - 4 = 6*t. Let g = t - -4. Suppose 0 + g = s + k, -5*s + 35 = -5*k. Put 4, 3, s in ascending order.
3, 4, s
Suppose 0 = -5*v - 25 - 15. Let l be -6 - -3 - 22/v. Put l, -1, -7 in ascending order.
-7, -1, l
Let k(l) = l**3 + l**2 + l - 5. Let w be k(0). Suppose -8 = -3*a - 2*m, 4*a - 5 = 3*m + 17. Suppose 5*r + 4 = a*r. Put w, r, 2 in decreasing order.
2, r, w
Let g = 12 - 14. Sort g, 0, 18 in descending order.
18, 0, g
Let h = -15 + 31. Suppose -3*s = -32 - h. Suppose s = -5*t + t. Sort t, -1, 5 in descending order.
5, -1, t
Let s be 1 - (-1 - 0/(-2)). Let h = -16.6 + 17. Sort h, s, 0 in increasing order.
0, h, s
Let z = 74.7 + -75. Sort -0.4, z, -4, 5.
-4, -0.4, z, 5
Let b be (-15)/(-6)*(-8)/(-10). Suppose -14 = -2*q - 2*f, 3*q + 5*f - b - 23 = 0. Put q, 2, 4 in decreasing order.
q, 4, 2
Suppose d - 4*d = -5*s + 22, -3*s + 5*d + 10 = 0. Sort -3, s, 4.
-3, 4, s
Let h = 0 - 2. Sort h, 5, 3 in increasing order.
h, 3, 5
Suppose -5*l - 20 = 5. Sort -3, l, -2 in ascending order.
l, -3, -2
Let c be (-1*3)/(1*-2). Let v = -253/26 - -120/13. Put c, v, -6 in ascending order.
-6, v, c
Let x be 1*3*(-1)/3. Put 2, -3, x, -2 in decreasing order.
2, x, -2, -3
Let u = -4 - 0. Suppose 0 = 4*k - 16, -3*k - 5 = -s - 4*k. Sort 4, s, u in ascending order.
u, s, 4
Let a be 2/7 + 66/14. Sort 0, 1, a in decreasing order.
a, 1, 0
Let y = -7.9 - -8. Let z = 0.1 - 0.1. Let u = z + y. Sort -2/3, u, 0.2 in increasing order.
-2/3, u, 0.2
Let j be ((-92)/(-6))/((-6)/(-9)). Suppose -3*g + g + 5*h - j = 0, -2*g = -4*h + 18. Suppose 0 = -0*a + 3*a - 12. Sort g, 0, a in ascending order.
0, g, a
Let k = -2 - -4. Let g(b) = -b**3 + 3*b**2 - b - 1. Let c be g(k). Let r = 1 + c. Put -2, r, -5 in increasing order.
-5, -2, r
Let o(w) = w**3 - 7*w**2 - 8*w + 12. Let h be o(8). Let a be 1/2*(h + -10). Let q be (-4)/10 - (-39)/(-15). Put q, a, 5 in descending order.
5, a, q
Let p = 15 - 17.2. Let w = -3 - p. Let r = -0.3 - w. Put -1, 0.3, r in decreasing order.
r, 0.3, -1
Let x be 3 - 2/1 - 2. Suppose 0 = -3*s + 3*g + 15, -2*g + 4 = -0*s + 5*s. Let o be (5/s)/(2/4). Sort x, o, -0.3.
x, -0.3, o
Let c(x) = -5 + x - 6 + 2. Let f be c(7). Put f, 0, -4 in increasing order.
-4, f, 0
Suppose 10 = -l + 2*s + 3*s, -2 = -3*l - s. Let n(h) = -h + 1 + 2*h + 5. Let x be n(-7). Sort -5, l, x in increasing order.
-5, x, l
Let n be 17/(-3) - (-2)/(-6). Let t be n/(-2) - (-4)/(-1). Sort 2, t, 1 in increasing order.
t, 1, 2
Let k be 2/(-8) - 34/(-40). Suppose 4*g + 2*l = -0*l + 52, 0 = -2*l - 4. Let f = -14 + g. Sort k, -3, f in descending order.
k, f, -3
Suppose 0*a + 16 = -4*a. Suppose -2*s + s = 3. Put 1, s, a in increasing order.
a, s, 1
Suppose 0 = 2*a + s + 1, 0 = -0*a + 3*a + s. Let o = 4 + a. Sort o, 4, 2 in descending order.
o, 4, 2
Suppose j + 0*j + 3*d = -16, -26 = j + 5*d. Put 0, j, 2 in ascending order.
j, 0, 2
Let y = -18 - -18.2. Sort 5, y, 1/6 in descending order.
5, y, 1/6
Let k be -12*3/(-6) + -2. Sort 2, 2/11, k in decreasing order.
k, 2, 2/11
Let j = 0.85 + 0.05. Let q = 1 - j. Let k = 4.9 + q. Put -4, k, -3/4 in decreasing order.
k, -3/4, -4
Suppose -11 = 2*n - 33. Let p be 2/n - (-10)/(-55). Put -5, p, 4 in descending order.
4, p, -5
Let h = 0.1 - -0.4. Let v(p) = 2*p - 2. Let b be (-24)/(-9) - 2/(-6). Let x be v(b). Sort x, 0, h.
0, h, x
Let c = -1.6 + 2. Let y = -307 - -307.3. Put c, y, 0 in decreasing order.
c, y, 0
Let k(p) = p**2. Let t = -3 + 4. Let w be k(t). Put 5, 6, w in decreasing order.
6, 5, w
Let g = -63 + 68. Suppose 2 - 6 = 2*v. Sort v, g, -5 in descending order.
g, v, -5
Suppose -3 = -5*l + 3*q, -2*l = -5*l + 3*q + 3. Suppose -3*w + 6 = -l*w. Let x(p) = -p**3 - 7*p**2 + p + 4. Let s be x(-7). Put w, s, -5 in increasing order.
-5, s, w
Let u be 1*((1 - 1) + -1). Suppose 2*a = a. Sort a, u, -3.
-3, u, a
Suppose 32 - 6 = 2*c. Suppose -4*t - 3 + 35 = -4*n, -c = -5*t - 4*n. Let g(k) = -k**2 + 3*k + 1. Let l be g(3). Sort l, -5, t.
-5, l, t
Suppose 5*q - 10 = 5*t, -2*t = -3*q - q. Suppose 23 = 3*j + 5*x, 4 - 1 = -5*j + 2*x. Put q, j, 3 in descending order.
3, j, q
Let o = 10 - 8. Sort -4, 5, o in increasing order.
-4, o, 5
Let j = 0.2 - -1.9. Let h = 2 - j. Put h, 3/4, 6 in increasing order.
h, 3/4, 6
Suppose 4*k + 3*c = -16, k - 5*c = -0*k + 19. Let a = -5 - -8. Let x = -1.2 + -2.8. Put a, k, x in descending order.
a, k, x
Let z = 6.03 + -6. Let h = z - -0.97. Put 5, -0.1, h in descending order.
5, h, -0.1
Let k = 8 - 4. Let x be ((-1)/2)/((-2)/k). Put -1, x, 0 in descending order.
x, 0, -1
Let p be (-12)/5 + (-4)/(-10). Let u be 8/6*75/50. Put 1, p, u in descending order.
u, 1, p
Suppose 6*r + 27 = 15*r. Suppose 9 = -2*y + 1. Sort y, r, 1.
y, 1, r
Let c be (-20)/30 - (-2)/30. Put 10, c, -2/3 in descending order.
10, c, -2/3
Let t = -0.05 + -0.35. Let i = t + -0.6. Let m = -1.1 - 2.9. Put m, -0.1, i in decreasing order.
-0.1, i, m
Let l = -9.1 - -9. Sort -1/2, 4/5, l in decreasing order.
4/5, l, -1/2
Let t = -42/5 + 41/5. Suppose 2*l = -6, -6*l - 7 = -4*r - 5*l. Let a = 16.2 + -16. Sort t, r, a.
t, a, r
Let f be (-39)/(-54) - 6/27. Let m = 0.142 - 14.542. Let w = -14 - m. Put f, 1/4, w in ascending order.
1/4, w, f
Let u = 0.3 - -0.1. Let a = -2/207 - 65/414. Put -2, u, a in descending order.
u, a, -2
Suppose -4*o = -10*o + 12. Sort 10, -1, o, 4 in decreasing order.
10, 4, o, -1
Let f = -10 + 9. Let h = f - 1. Sort 0.4, 3, h in decreasing order.
3, 0.4, h
Let x = 21.86 - 21. Let p = -0.14 - x. Put -0.4, 4, p in descending order.
4, -0.4, p
Let f = -5 + 7. Suppose 0 = -5*i - 5*j - 40, 0 = 2*j - 3 + 11. Let l = -1 - 2. Put l, f, i in descending order.
f, l, i
Let l = -6 - -7. Put -1, -2, l, 5 in ascending order.
-2, -1, l, 5
Let p = -4.05 - -0.05. Sort p, -2, 0.6 in descending order.
0.6, -2, p
Let g = -3 - 17. Let r be (-8)/(-30)*g/(-8). Sort -1/5, 4, r in decreasing order.
4, r, -1/5
Let i = -71187/5 - -14330. Let l(b) = 19*b + 2. Let c be l(-5). Let a = i + c. Put -1, 0.2, a in decreasing order.
0.2, a, -1
Let k(h) = -h**2 + 7*h + 7. Let m be k(8). Let a(v) = 2*v**2 - 29*v + 40. Let l be a(13). Let w be ((-10)/(-8))/(2/(-8)). Sort w, l, m in ascending order.
w, m, l
Let b = 4 + 1. Put 1, b, -3 in decreasing order.
b, 1, -3
Let d = -0.04 + 14.04. Let j = 13 - d. Let g be 10/(-18)*(-4)/(-10). Sort g, 1, j in descending order.
1, g, j
Let u(p) = -3*p + 17. Let v be u(6). Sort -9, -2, v.
-9, -2, v
Suppose -2*k + 3*d = -d - 14, d + 5 = 0. Put 1, 5, k in increasing order.
k, 1, 5
Let k = -8 + 10. Let m be (-4)/1*1/6. Put 2/5, m, k in ascending order.
m, 2/5, k
Let k(y) = y**2 - 9*y - 12.