a, 0
Let f = 2/23 - 39/184. Let c = f + 13/8. Put -0.1, c, 2/7 in descending order.
c, 2/7, -0.1
Suppose 0*b + 3*b - 9 = 0. Suppose j = -k + 6, -2*k = 4*j - 0*k - 14. Let o be (j/3)/(2/12). Sort o, b, 1 in descending order.
b, o, 1
Let b = 1.3 + -0.7. Let w = 1.1 - b. Sort w, -1, 1.
-1, w, 1
Let c = 6 + 9. Let k(r) = 2*r + 14. Let a be k(-5). Suppose -7*l = -a*l - c. Sort l, -1, -0.1 in increasing order.
-1, -0.1, l
Let s be ((-6)/8)/(10/(-8)). Let k(w) = w**2 + 6*w - 2. Suppose 0*u + 2*u + 14 = 0. Let j be k(u). Sort s, j, 2/9 in decreasing order.
j, s, 2/9
Let u = 0.508 - 0.008. Put u, 5, -5/3 in descending order.
5, u, -5/3
Let j(g) = g - 1. Let x be j(4). Suppose x*t - 2 = 7. Sort 1, -1, t.
-1, 1, t
Let w = 2233 - 11053/5. Let y = w - 799/35. Let f = 0.1 - 0.1. Put y, -0.5, f in descending order.
f, y, -0.5
Let l = -1 - 1. Let d = 21.5 + -18. Let m = d - 3. Sort l, m, 0 in ascending order.
l, 0, m
Let t(v) = v**3 - 3*v**2 - 3*v + 6. Let f be t(4). Suppose -u - f = -2*u. Suppose 4*b = -u - 2. Put 1, 3, b in descending order.
3, 1, b
Let o = -12 + 17. Suppose -z - 9 = d - 0*z, -22 = 3*d + 2*z. Sort -5, o, d.
-5, d, o
Suppose 2*a = -s + 69, -4*s - 3*a = a - 292. Let c be 2/(-11) + 3/s. Put c, -1/5, 3/5 in descending order.
3/5, c, -1/5
Let o(d) = -d**2 - 7*d - 1. Let k be o(-7). Sort -5, k, 2.
-5, k, 2
Suppose -9 = -5*x + 6. Suppose 0 = -2*d - 1 + x. Put 3, -5, d in decreasing order.
3, d, -5
Let z = -19 - -20. Let j be (0 - -2)*(0 + z). Put 0, 5, j in ascending order.
0, j, 5
Let s(o) = 3*o - 1. Let f be s(2). Let h = -3 + 0. Sort -1, h, f.
h, -1, f
Let b = 92 - 93.54. Let m = 0.06 - b. Let p = m + -2. Sort -1, 2, p.
-1, p, 2
Let s = 18 + -13. Suppose 1 = -4*a + 5. Sort a, s, -2 in descending order.
s, a, -2
Let f = 1507 + -1496.99. Let u = -10 + f. Let n = u - -0.09. Put n, 5, 0.5 in increasing order.
n, 0.5, 5
Let l be ((-10)/(-2))/((-3)/6). Let w = l - -6. Let h = -5 - -7. Put h, w, -3 in decreasing order.
h, -3, w
Let r(q) = -q - 3. Let t be r(0). Let a = 6 - 11. Put t, a, -4 in increasing order.
a, -4, t
Let a be (-2)/4*8/(-28). Let r = -0.5 + 0.6. Sort -0.3, r, a.
-0.3, r, a
Let t = -7.9 + 9. Let z = -0.1 + t. Let s = -129/55 - -28/11. Sort s, z, 5 in decreasing order.
5, z, s
Let m be (-1)/4 - 18/(-8). Suppose -c + 5*c + 24 = 0. Let y(h) = -h**2 - 4*h + 7. Let t be y(c). Sort t, 5, m.
t, m, 5
Let g(t) = -6*t - 21. Let d be g(-4). Sort 5, -5, 1, d in increasing order.
-5, 1, d, 5
Suppose -2*f + 5 = 3*f. Let o(v) = 5*v**3 - v**2 + 2*v - 2. Let k be o(1). Sort 0, k, f.
0, f, k
Let y = 5 + -3. Suppose y*g = g + 5. Sort 0, 3, g.
0, 3, g
Let f be 1*-3 - (8 + -24). Put 0, f, -4 in decreasing order.
f, 0, -4
Let r be (-2)/12 - 1 - -1. Let g be (7/(-63))/(2/4). Sort 0.5, r, g in ascending order.
g, r, 0.5
Let w = 0.06 - -2.94. Let g = -2.5 + w. Suppose o - 8 = -4*u, 2*u + 0*o - 4*o - 22 = 0. Sort -3, g, u in descending order.
u, g, -3
Suppose 11 - 47 = -4*j. Let v = j + -13. Sort -5, v, -2.
-5, v, -2
Let h = -19 - -30. Let m = -16 + h. Let b = m + 3. Sort 3/2, -0.3, b.
b, -0.3, 3/2
Let u be (44/10)/((-5)/25). Suppose 4*f - 4*b = 12, -2*f + 0 + 11 = 3*b. Let z be (-126)/(-330) + f/u. Sort z, 0, 0.1 in ascending order.
0, 0.1, z
Suppose 3 = t, 0*h + 5*h + t = -7. Sort -3, -5, h in increasing order.
-5, -3, h
Let y = -8 - -16. Let o be ((-4)/(-5))/(20/(-50)). Let p be (-3)/(-20) - o/y. Put -2/13, -5, p in decreasing order.
p, -2/13, -5
Let g(z) = 2*z**3 - z**2 + z - 2. Let y be g(2). Suppose 3*b + b = -y. Let f(s) = s + 2. Let p be f(-3). Sort b, p, -2.
b, -2, p
Let h = -0.3 - -1.3. Let s = -905/7 - -129. Let r = -0.3 + 0.2. Sort h, r, s.
s, r, h
Let v be 8/(-2) - -2 - 2. Suppose 5*l - g = 27, 2*g - 7*g = -3*l + 25. Sort -5, l, v in ascending order.
-5, v, l
Let p(z) = z**3 - 3*z**2 + z - 1. Let r be p(2). Sort 2, -2, r.
r, -2, 2
Suppose 0 = 2*y - 4*x + 2, y - 10*x + 9*x = 2. Let t = -3 + 4. Sort 3, y, t in decreasing order.
y, 3, t
Suppose 0 = -5*v + 24 + 1. Suppose 5*y = 2*d - 6*d + 16, 4 = 2*y + d. Suppose -5*h - 15 = -y. Sort h, v, 2.
h, 2, v
Let a = -15 + 22. Let n = -10 + a. Sort n, -4, 5 in descending order.
5, n, -4
Let a be (-4)/63 + 2/7. Sort 4, -2/9, a in decreasing order.
4, a, -2/9
Let u(x) = -2*x + 5. Let y be u(5). Suppose 2*t - k - 2*k + 12 = 0, 2*k - 8 = 4*t. Suppose 3*j + t = 6. Sort y, -1, j in descending order.
j, -1, y
Let d(l) = -l**2 + 6*l + 1. Let t be d(6). Let k be 12/15*45/54. Let u = t - k. Sort 4, -5, u.
-5, u, 4
Let v = -6 - -12. Suppose -t = v - 3. Put 0.4, 0.2, t in decreasing order.
0.4, 0.2, t
Let n = 0.7 + 0.3. Let p = 3 + n. Let s = -66 - -331/5. Sort -1/2, s, p in descending order.
p, s, -1/2
Suppose -3*m + 35 = -5*o, 11 = -m - 0*o - 4*o. Let u = m + -6. Let b be ((-6)/4)/(18/24). Put u, -4, b in decreasing order.
u, b, -4
Let v(n) = n**3 + n + 3. Suppose s = -0*s. Let j be v(s). Let i = 6 + -4. Put -2, j, i in ascending order.
-2, i, j
Suppose 6 = 3*a, j - 2*a = 2*a - 12. Suppose w - 14 = 5*p, -2*w + w - 5*p = 6. Let x be (-2)/(-1) - (w + -6). Put j, -2, x in increasing order.
j, -2, x
Let n = -0.09 - 0. Let f = -0.06 - n. Let a = -0.23 + f. Sort 5, a, -0.4 in increasing order.
-0.4, a, 5
Suppose -2*k = k + 12. Let u be (-3)/(3 + (-15)/4). Put 5, u, k in descending order.
5, u, k
Let y = 37 - 34. Sort y, 2, -2/3, 0 in descending order.
y, 2, 0, -2/3
Let r be (-4)/(-30)*12/(-16). Sort -1/2, r, 2/15, -2/7 in increasing order.
-1/2, -2/7, r, 2/15
Let d = -0.02 - -0.07. Let y = d + -2.05. Sort y, -1/6, 3 in descending order.
3, -1/6, y
Let w = 0.16 - -0.14. Let o = w - 0.4. Let j = 1 - 4. Sort 0.3, j, o in decreasing order.
0.3, o, j
Let j = -6 - -13. Sort j, 5, 0 in decreasing order.
j, 5, 0
Let t(b) = 2*b - 5. Let z be t(3). Let m be (1 - 0) + 1 + 3. Sort z, m, -2 in increasing order.
-2, z, m
Let a = 2.56 - -0.44. Sort 0.5, 4/3, 1, a in descending order.
a, 4/3, 1, 0.5
Let s = 6 - 7. Let j = s - -0.7. Sort 1, 0, j in increasing order.
j, 0, 1
Suppose 2*a - 5*r = 15, 4*r = 2*a - 7*a + 21. Sort a, -2, -3 in increasing order.
-3, -2, a
Let k = -0.03 + 1.03. Put k, 1/5, 3/5 in descending order.
k, 3/5, 1/5
Let x be (-1 - 2 - -2)*-1. Put -3, -1, x in increasing order.
-3, -1, x
Let s = -11 + 10. Sort -6, s, -0.2, -2 in decreasing order.
-0.2, s, -2, -6
Suppose c + 5 = 6*c. Let f(j) = -6*j**2 + 22 - 22 + j**3. Let s be f(6). Sort c, s, -4 in increasing order.
-4, s, c
Let m = 0.7 + -0.2. Let n = -0.2 - -0.1. Let s = -1.9 + n. Sort m, 4, s in increasing order.
s, m, 4
Let x(v) = 2*v - 6. Let h be x(-6). Let y be ((-2)/(-6))/((-3)/h). Sort y, 0.4, 5 in decreasing order.
5, y, 0.4
Let r be 2 - 1/(2/6). Let y = -7 - r. Let p = y - -2. Sort 5, 0, p in decreasing order.
5, 0, p
Let c be (-3)/2 + (-21)/6. Let y(v) = -v - 1. Let u be y(3). Put u, c, 4 in decreasing order.
4, u, c
Let u = -2 - -4.02. Let t = 0.2 + -0.18. Let r = u - t. Sort -3, r, -1.
-3, -1, r
Let r be (-10)/(-3)*12/10. Let s be 1/2 + (-29)/(-2). Suppose -a - 4*f = 4*a + s, 0 = -5*a - 3*f - 15. Sort r, 3, a.
a, 3, r
Suppose -u = 3*u + 4. Let a be 1/2*(-1 + -9). Let v be ((-12)/(-15))/(-2)*a. Sort v, u, 4 in ascending order.
u, v, 4
Suppose 27*b = 23*b - 4. Suppose -t + 2*t = 2*q - 3, 3*q = 4*t + 7. Sort 0, q, b in ascending order.
b, 0, q
Let j = 13 - 8. Put 2, 2/5, j in decreasing order.
j, 2, 2/5
Let r be -2*(-1)/(-2)*-4. Suppose 2*j + a + 6 = 0, 5*j - 3*j - 2 = -5*a. Suppose 4 + 10 = -4*q + 2*i, 4*q - i = -13. Sort r, q, j in descending order.
r, q, j
Suppose -2*l = c + 4 - 12, -l + 4 = 0. Let x(n) = n**3 + 8*n**2 + 9*n + 10. Suppose 2*b + 21 = -b. Let i be x(b). Sort c, i, 1 in increasing order.
i, c, 1
Let c = 1.995 - -0.005. Put c, 0.2, -0.7 in ascending order.
-0.7, 0.2, c
Let d = -5 - -7. Suppose -d*b - 2 = -3*b + c, -14 = 5*b + c. Let y be 10/8*b*2. Sort 5, 0, y in decreasing order.
5, 0, y
Let y = -7.2 - 7.8. Sort y, -0.3, 1/6 in increasing order.
y, -0.3, 1/6
Let o(h) = h**2 + 4*h - 7. Let j be o(-5). Let k be j/10 + (-24)/5. Let p = -3.07 + 0.07. Sort 1/8, k, p in descending order.
1/8, p, k
Suppose -4*s - l - 96 = 3*l, 25 = -5*l. Let z = -10 - s. Let c be (1 - 7)*(-6)/z. Sort -2, c, 2 in increasing order.
-2, 2, c
Suppose 0*d - 5*d - 30 = 5*f, f + 4*d = -18. Put f, 1, -3, 4 in increasing order.
-3, f, 1, 4
Let c = 89.8 + -90. Put c, -3/8, 