. Suppose 0 = 3*a - 6 - 9. Suppose 3 = i + a. Let n be h(i). Sort 4, n, -4 in increasing order.
-4, n, 4
Suppose -7*m = -3*m. Sort m, -9, 2 in ascending order.
-9, m, 2
Let i = -0.14 - 7.86. Let l = 8.5 + i. Let j = -0.6 + 0.1. Sort 0.2, l, j in descending order.
l, 0.2, j
Suppose 2*w + 5 = -b - 3, -2*w - 8 = 0. Sort -2, 5, b in descending order.
5, b, -2
Let u be 4 - 4 - (4 + -2). Suppose -5*q + 0*q - 3*m - 6 = 0, 5*m = -4*q - 10. Sort 4, u, q in descending order.
4, q, u
Suppose -20*c - 4 = -24*c. Sort 0, c, 2, 11 in descending order.
11, 2, c, 0
Suppose 0 = 2*a - 3*k - 1, 0 = -2*a - 2*a + 4*k + 4. Sort -3, 0, 2/5, a.
-3, 0, 2/5, a
Let q be 35/20 - (-1)/4. Sort 1, q, 0 in increasing order.
0, 1, q
Suppose n = 0, 3*n + 5 = -5*w - 2*n. Let y be w*(2/(-2))/(-1). Suppose -4*c = 3*s - 3, 2*c - c - 2*s + 13 = 0. Sort c, 3, y.
c, y, 3
Let n be 1/(-7) + (-169)/3570. Let d = 1/102 - n. Sort d, -1/2, 0 in ascending order.
-1/2, 0, d
Let z be (-14)/6 - 7/(-21). Put -5, -4, z, 4 in ascending order.
-5, -4, z, 4
Let f = 95 - 96. Sort f, -4, 14.
-4, f, 14
Suppose 5*l - 8 = -2*j, j + 4*l = -0 + 7. Sort j, 0, 12, -3 in increasing order.
-3, j, 0, 12
Let q = 2 - 12/7. Put q, -28, -3, 6/7 in decreasing order.
6/7, q, -3, -28
Suppose -5*q - 26 = -1. Sort -1, 2, q in increasing order.
q, -1, 2
Suppose -4 = -2*i + m, 5*i - 4*m + m = 10. Sort -5/4, i, 0.4, -1/7 in increasing order.
-5/4, -1/7, 0.4, i
Let l = -84 + 174. Suppose l = -2*g + 28. Let v = -63/2 - g. Put 0.2, v, -3/8 in increasing order.
v, -3/8, 0.2
Let w = -5 - 5. Sort w, 3, -2 in descending order.
3, -2, w
Let v = 0 - 0. Sort -5, 1, v in decreasing order.
1, v, -5
Let b(a) = -a**3 + 2*a - 1. Let k be b(1). Let d = 0 - k. Put -2/13, d, -3 in descending order.
d, -2/13, -3
Suppose -x = 1 - 5. Sort -1, x, -2 in decreasing order.
x, -1, -2
Suppose y - 9 = -2*y. Let i = 2 + -4. Let r = y + i. Put r, -1, 4 in increasing order.
-1, r, 4
Let g = -18 - -14. Sort g, -3, 5 in increasing order.
g, -3, 5
Let d be 62/(-8) - 9/(-12). Let r be 6*(d/(-3) - 3). Put -7, r, -2 in descending order.
-2, r, -7
Let p = -3 - -7. Put p, -4, -1 in decreasing order.
p, -1, -4
Suppose 4*k = -4*v + 20, 0 = k - 2*v - 2*v + 20. Put -2, k, 1 in decreasing order.
1, k, -2
Let a = -34.87 - -35. Sort a, 1, -2 in decreasing order.
1, a, -2
Suppose 0*c + 3*i + 10 = -5*c, 0 = -5*c + 3*i - 10. Let j(g) = -2*g. Let y be j(2). Sort c, 5, y in ascending order.
y, c, 5
Suppose -s + 2 = -1. Let t(b) = 2*b - 10. Let u(y) = y - 10. Let l(z) = -2*t(z) + 3*u(z). Let v be l(-8). Sort v, 4, s in decreasing order.
4, s, v
Let q = -0.1 - -0.2. Let p = q + -1.1. Let d = -2.6 - -4.6. Sort -1/3, d, p in increasing order.
p, -1/3, d
Suppose 0 = -4*c + 5*a + 17, 2*c + 4*a - 2 = 0. Suppose -b - c*m = 2*b + 15, 5*m - 3 = 2*b. Let u = -0.1 + -0.4. Sort u, 5, b in decreasing order.
5, u, b
Let s = -0.9 - 0.1. Put 0.5, s, 5, -4 in decreasing order.
5, 0.5, s, -4
Let g = 41 - 41.2. Put 0.5, g, -1/3, 0.2 in ascending order.
-1/3, g, 0.2, 0.5
Suppose 0 = 2*d + 2 - 22. Suppose -d = -2*c - 12. Sort 3/5, -5, c.
-5, c, 3/5
Suppose -4*x - 4 = -2*x. Let n be x + 4 - (1 + 4). Sort 1, n, 0 in ascending order.
n, 0, 1
Let u be ((-20)/16)/(106/8). Let x = u - 51/583. Let h(k) = -k - 10. Let f be h(-6). Put -2, f, x in ascending order.
f, -2, x
Let g be 20/24 + (-1)/2. Put -1/2, g, 0 in descending order.
g, 0, -1/2
Let o = -100 - -100.1. Sort o, 1/4, -4, -1/2.
-4, -1/2, o, 1/4
Let q be -4*2/(-3 - 41). Sort 2, -2/13, q in descending order.
2, q, -2/13
Let o = 16.8 + -9.1. Let j = o - 7. Put -2/3, -0.5, j in descending order.
j, -0.5, -2/3
Suppose -3*c + 0*c = 4*g + 25, -3*g - 2*c - 18 = 0. Put -1/2, 0.2, g in descending order.
0.2, -1/2, g
Let x = -80.3 - -80. Sort x, -1, -2/9, -0.03 in descending order.
-0.03, -2/9, x, -1
Let y(r) = r**3 - 3*r**2 + 2*r. Let f be y(2). Suppose f = -2*q - 8 + 2. Suppose 15 = -5*h, 5*h = 3*j + 2*j - 10. Sort 2, q, j in ascending order.
q, j, 2
Let a = 0.07 + 0.33. Sort 13, a, 2/9 in ascending order.
2/9, a, 13
Let q(c) = -c**3 - 7*c**2 - 5*c + 3. Let t be q(-6). Let y be (1 - -1) + (2 - 1). Sort y, t, -1.
t, -1, y
Let u = -1/27 + -22/135. Let j = 22/5 + -203/45. Sort j, -1, u.
-1, u, j
Suppose 0 = -0*q - 4*q - 24. Let o = q + 14. Suppose -o = -z - 4. Sort 0, z, 2 in ascending order.
0, 2, z
Suppose -4*d + 6 = -2*d. Sort d, -1, 2 in decreasing order.
d, 2, -1
Let c = 0.019 - 3.019. Sort -1/2, c, -2/45 in descending order.
-2/45, -1/2, c
Let i = -9 - -4. Let s = -3 - i. Suppose 0 = -n - 3 - s. Sort n, -1, -2 in increasing order.
n, -2, -1
Let v = -0.4 + 0.7. Let a be (-4)/20 + (-16)/20. Sort v, -5, a in ascending order.
-5, a, v
Let v(i) = 20*i - 12. Let x(b) = 7*b - 4. Let z(p) = 6*v(p) - 17*x(p). Let c be z(8). Let q = 4 - 1. Sort q, -1, c in descending order.
c, q, -1
Let q = -3 + 0. Let p(r) = r**2 - 4*r - 7. Let d be p(6). Sort q, d, 0.3 in descending order.
d, 0.3, q
Let s = -4 + 8. Suppose 0 = s*i + i. Let g = 2 + -3. Sort g, i, -2/15.
g, -2/15, i
Let t be (2/(-5))/(105/(-75)). Sort 0.2, 4/5, t.
0.2, t, 4/5
Let t = -15.3 + 15.4. Sort t, 5, -3, -0.055 in descending order.
5, t, -0.055, -3
Let m(h) = h - 1. Let d be m(-1). Suppose -3*y = 2*y. Let b = 6 - 2. Put b, d, y in increasing order.
d, y, b
Suppose 7 - 19 = 2*j. Let n be -2*(-2)/12 + (-245)/525. Sort n, 0, j.
j, n, 0
Let n be (-2)/7 + 48/462. Sort 0.2, 4, n.
n, 0.2, 4
Let b(p) = -2*p**2 + 9*p + 14. Let k(y) = -y**2 + 1. Let g(n) = b(n) - k(n). Let l be g(10). Let m be (-2 - -1) + 0 + -2. Put l, m, 2 in increasing order.
m, 2, l
Let z = 47.96 + -48. Sort -0.5, z, 1/4.
-0.5, z, 1/4
Let a = -3 + 4. Let k(f) = -4*f. Let d be k(a). Let c(j) = j**3 - 2*j**2 + j. Let z be c(2). Put d, 4, z in decreasing order.
4, z, d
Let x = 709/6 + -118. Let o(m) = 4*m + 1. Let t be o(-1). Let u be (-2)/t + 32/(-42). Put -2, x, u in descending order.
x, u, -2
Let a = -117/2 - -60. Let t be (-1 + 8 + -2)*5. Let u be (-45)/t + 2/1. Sort a, -1, u in descending order.
a, u, -1
Let p(n) = -n**2 + 13*n + 4. Let y be p(13). Suppose 0 = -2*d + 8 - 2. Suppose -10 = -o - 2*x - 2*x, 3*x - 15 = d*o. Sort y, -5, o in descending order.
y, o, -5
Let q = -0.1 + 0.1. Let i = q + -0.2. Let w = -0.2 + 0.1. Put w, i, 0.1 in descending order.
0.1, w, i
Suppose 0 = -u + 2*u - 8. Let p be (3/10)/((-6)/u). Let s = 64/5 + -586/45. Sort s, -1, p.
-1, p, s
Suppose 3 = -2*d - 7. Let t be (-72)/(-30) + 2/d. Let g = -0.5 + 1. Put t, g, -1/4 in increasing order.
-1/4, g, t
Let x(h) = 6*h**2 - h**3 - 2*h + 6*h - 3*h**2 - 2. Let n be x(4). Suppose -5*w = -2*p - 19, 5*w - 11 = -5*p + 3*p. Sort n, -4, w.
-4, n, w
Let w(b) = -2*b + 16. Let z be w(7). Let v be -3 - -8 - (-1)/(-1). Sort 5, z, v in decreasing order.
5, v, z
Suppose 0 = -5*c + 3*o, -3*c - 4*o + 28 = -1. Suppose 0 = a + 2*m + 9, 0*a - 5*a + 5*m = 0. Sort 2, a, c in descending order.
c, 2, a
Suppose 0*b = -5*b + 20. Let w = 3 - b. Suppose -2*q + 9 = -5*q. Sort 2, q, w in descending order.
2, w, q
Let i be (2 - 1)*(3 - 14). Let m = -5 - i. Suppose 0*c - m = -2*c. Sort c, -1, 0.4 in ascending order.
-1, 0.4, c
Suppose -4 - 11 = -3*r. Let w(d) = d - 6. Let l be w(r). Put -3, -2, l in ascending order.
-3, -2, l
Let a(w) = -w**2 + 5*w - 3. Let t(x) = x**2 + 4*x + 2. Let h be t(-4). Let u be a(h). Put u, 5, -3 in decreasing order.
5, u, -3
Let g = 31 + -27.8. Let n = 3 - g. Let t be (0 - -1)/((-7)/2). Sort t, n, 5 in descending order.
5, n, t
Let s = 0.5 + 3.5. Let h = 1 + s. Sort -0.4, 0.3, h in ascending order.
-0.4, 0.3, h
Suppose -w = -4*c + 8*c - 1, 3 = -4*c + 3*w. Sort c, -5, 2, -3 in ascending order.
-5, -3, c, 2
Let a = 21 + -21. Suppose p + 0*p = a. Put -1, -5, p in descending order.
p, -1, -5
Let m = -10.8 - 1.2. Let a = 34/7 - 313/63. Put a, -2, m in increasing order.
m, -2, a
Let o = 38 + -19. Let b = -39/2 + o. Let t = 2 + -6. Sort b, 3, t in ascending order.
t, b, 3
Let z = -0.05 + -2.95. Let c = -18 - -17.6. Put -1/5, z, c in ascending order.
z, c, -1/5
Let t = 2 + -3. Let b = 0 + 0.2. Let q = 0.7 - b. Sort -0.5, q, t.
t, -0.5, q
Let y be 4 + (4 - (4 - -4)). Suppose 4*u = -y*u + 8. Put u, 0.3, 0.5 in decreasing order.
u, 0.5, 0.3
Let q = -15 - -15. Suppose -3*o - 2 + 11 = q. Sort 0, -3, o in descending order.
o, 0, -3
Suppose 3*i + 0 = -2*o + 15, 5*o = 0. Put i, 1, -2