, 4/5, -0.1
Suppose 0 = -5*o + 4*i + 2, -i + 6*i = -3*o + 16. Put -3, o, -1, -2 in decreasing order.
o, -1, -2, -3
Let u = -7 + 6. Let n = u + 0.9. Sort n, 0.3, -0.4 in increasing order.
-0.4, n, 0.3
Let t(o) = o + 3. Let y be t(-4). Let v(x) = x**3 + 5*x**2 + 6*x + 3. Let k be v(-4). Put -4, k, y in descending order.
y, -4, k
Suppose 4*t + 2 = -b + 7, -4*t - 2*b = -2. Suppose -5*h + c - 20 = -t, 0 = -c - 2. Let z = 49/330 + 1/30. Sort h, z, -3.
h, -3, z
Let q be ((-35)/28)/((-2)/8). Sort 1, q, -1 in decreasing order.
q, 1, -1
Suppose 3*v - p - 4 = 0, 2*p = 2*v - 5*v - 8. Put v, -6, 3, 4 in increasing order.
-6, v, 3, 4
Let i = -0.17 + -4.33. Let f = -4 - i. Sort -3, f, 2/19 in increasing order.
-3, 2/19, f
Let c = 12 - 9.8. Let b = 0.2 - c. Let z = -0.07 + 0.37. Sort -0.3, b, z in ascending order.
b, -0.3, z
Suppose 0 = 3*z - a - 12, -3*a = 6*z - z - 20. Sort 5, z, 0 in decreasing order.
5, z, 0
Let h be (0 - -3 - 3)*1. Suppose -5*l - 10 = y + 3*y, 5*y - 2*l - 4 = h. Sort y, 6, 5 in ascending order.
y, 5, 6
Let q be (-12)/(-15)*(6 + -1). Suppose -q*i = -p - 4*p - 7, -5*p = -3*i + 4. Put p, 5, 7 in descending order.
7, 5, p
Suppose -5*j = -4*i - 10, 2*i = 5*i + 4*j + 23. Let c = i + 8. Sort -5, -1, c.
-5, -1, c
Let z be (2/(-14))/((-1)/(-2)). Suppose 0 = 2*n + 4, -n - 3*n - 20 = -3*h. Sort h, z, 5 in decreasing order.
5, h, z
Let n(p) = -p - 9. Let f be n(-8). Suppose -t = -3 - 4. Let h = t + -2. Sort h, -3, f in increasing order.
-3, f, h
Suppose -3 = -2*z + 5. Let n(q) = 2 + 5*q**2 + q**3 - z + 0*q**3. Let i be n(-5). Put 3, 5, i in descending order.
5, 3, i
Let u = 16 - 11. Put 1, u, -2 in descending order.
u, 1, -2
Suppose -u = q + 1, -2*q - u = 2*u + 7. Suppose -3 + 11 = -q*x. Sort x, 2, -4 in decreasing order.
2, x, -4
Suppose 0 = -3*y + 35 - 11. Sort -5, y, -1, 1.
-5, -1, 1, y
Suppose 4*t + d + 18 = 0, d + 4 = -d. Put t, -5, 0.5 in decreasing order.
0.5, t, -5
Let j be (6/(-10))/(4/5). Let q = 16.9 + -2.9. Let p = q - 9. Put p, j, 0.1 in increasing order.
j, 0.1, p
Suppose -20 = -7*s + 3*s. Sort -2, 0, s in decreasing order.
s, 0, -2
Let d = 0.4 + -0.2. Let a = 59 + -54. Put a, d, 0 in decreasing order.
a, d, 0
Suppose -4*i + 6 = -2*i. Suppose 3*z = i*w + 189, 303 = -5*w - z + 2*z. Let r be w/52 + 2/13. Sort r, 5, -3.
-3, r, 5
Let y be (8/6)/2*-6. Put y, -2, 2 in descending order.
2, -2, y
Suppose -2*i - i + 3 = 0. Let r = 1 + i. Put 3, 4, r in decreasing order.
4, 3, r
Let h be -7 - -2*5/5. Let z = -17/3 + 6. Sort h, z, -1.
h, -1, z
Let f = -0.1 + 0.1. Let d = -2.2 - -2.5. Put -2/11, f, d in increasing order.
-2/11, f, d
Let n(q) = -q**3 + 8*q**2 - 10*q - 14. Let w be n(6). Put 1/2, 0.3, w in increasing order.
w, 0.3, 1/2
Let c be 1*(460/9 - 1). Let q = -50 + c. Sort 5, q, 3.
q, 3, 5
Let n = 25 + -37. Let v = -17 - n. Put 1, 0.5, v in increasing order.
v, 0.5, 1
Let v(o) = -o**3 + o**2 - 2. Let u be v(0). Sort 4, -1, u in ascending order.
u, -1, 4
Let h = -0.66 + -0.33. Let l = -5 - -5.01. Let k = l - h. Sort 3, -0.2, k.
-0.2, k, 3
Let f be 12/(-18)*(-3)/(-19). Let i = f + -53/38. Put i, -4, 2/9 in descending order.
2/9, i, -4
Let b = -49 + 48. Let h = -2 - -6. Put h, -3, b in decreasing order.
h, b, -3
Let w = -2.7 + 2. Let k = -0.4 - w. Let j = 0 + k. Sort -1/5, -3/5, j in decreasing order.
j, -1/5, -3/5
Let z(b) = b + 2. Let r(n) = -1. Let u(i) = 2*r(i) - z(i). Suppose -5*t + 0*w - 26 = 3*w, 4*t + 18 = -w. Let a be u(t). Sort 5, a, -4 in decreasing order.
5, a, -4
Let c = 56 + -51. Let f = -0.1 - -0.1. Let l = -2 + -2. Put c, l, f in descending order.
c, f, l
Let r(i) = i**3 + 5*i**2 - 6. Let m be r(-5). Let j be 125/3 - 2/m. Let s be ((-92)/j + 2)*-3. Sort 2/13, -1/5, s in decreasing order.
s, 2/13, -1/5
Let r(z) = -z - 1. Let p be r(-3). Let o(u) = -u**2 - 10*u - 12. Let g be o(-8). Put -1, p, g in decreasing order.
g, p, -1
Let l be (80/35 - 2) + 2/(-7). Sort l, -4, 2, 3 in descending order.
3, 2, l, -4
Let s = -79 + 551/7. Sort -5/6, -0.2, s.
-5/6, s, -0.2
Let d = 5 + -3. Suppose 3*k - 2 = d*k. Suppose 3*m + f - 11 = 6*m, -k*m + 3*f + 2 = 0. Sort m, 0, -4 in increasing order.
m, -4, 0
Suppose d + 2*g + 2*g = 9, -5*g + 34 = 3*d. Suppose 5*b + 6 = -2*p - d, 8 = -p - 2*b. Let n = p - 0. Sort n, 4, 3.
n, 3, 4
Let y be 2/(2 + (-16)/7). Let o = -13 - y. Let p be 10/35 + 26/7. Put 0, p, o in increasing order.
o, 0, p
Let k = -0.08 + 0.08. Let l = k + 3. Let d = l + -2.6. Sort -0.5, -1/5, d in descending order.
d, -1/5, -0.5
Let x = -0.14 + -0.36. Sort 1/8, -5, x, -0.3.
-5, x, -0.3, 1/8
Let j be (-2 - -2)/((-7)/(-7)). Let s = j - -1. Sort s, -4, 0 in ascending order.
-4, 0, s
Let m = -6 + 1. Let l(i) = -i**2 - 3*i + 3. Let b be l(-4). Let w be ((-4)/b - 1) + -2. Sort m, 5, w in decreasing order.
5, w, m
Let m = -8 - -7. Let p = -1 - m. Sort p, 3/7, -2 in ascending order.
-2, p, 3/7
Suppose -t + 60 = -0*t. Suppose 2*z + 6*r - 3*r + t = 0, 0 = z - r + 25. Let q be (6/z*-3)/(-4). Put 3, q, -2 in decreasing order.
3, q, -2
Suppose 4*d - 27 = 5*i, -3*i - 21 = i - 3*d. Suppose 6*r = 3*r + 6. Put 4, i, r in decreasing order.
4, r, i
Let z(q) = q - 1. Let g be z(-5). Let j = g - -7. Sort j, 0, -3 in descending order.
j, 0, -3
Let i(k) = -2*k**2 - 13*k - 4. Let d be i(-6). Sort d, 0, 1 in descending order.
d, 1, 0
Let j = -22 + 31. Suppose o + 4 = j. Let n(v) = v**2 + 6*v - 3. Let y be n(-6). Sort y, 4, o in decreasing order.
o, 4, y
Let j = 0.1 - 0.1. Suppose -2*w - 583 = -51. Let m = 1866/7 + w. Sort -3, j, m.
-3, j, m
Let s be (-1 - -1)/(5 + 3 + -6). Put -2, -23, s in ascending order.
-23, -2, s
Let t = 1 - 1.5. Let r = 10.12 - 0.12. Let v = r - 10.1. Sort 2, v, t in decreasing order.
2, v, t
Let m be ((-6)/(-16))/(108/(-48)). Let f = 1.94 + 0.06. Sort m, -0.4, f in ascending order.
-0.4, m, f
Suppose -2*d = -6*d. Put 1, 4, d in descending order.
4, 1, d
Let s be ((0 - -1)*1)/1. Let b be (2 - 2) + s + -1. Let t = 1 + b. Sort 4, -3, t in descending order.
4, t, -3
Let j = 0.99 + 2.01. Sort -0.14, -5/3, -1/4, j in descending order.
j, -0.14, -1/4, -5/3
Let a(l) = l**2 - 7*l + 6. Let u be a(5). Let s be (u/42)/((-2)/(-6)). Let b = -3.94 + -0.06. Put 0.4, b, s in increasing order.
b, s, 0.4
Let n(v) = v**3 - 14*v**2 + 12*v + 19. Let k be n(13). Put k, 0, 1 in descending order.
k, 1, 0
Let x(m) = -m - 4. Let z(j) = 2*j + 7. Let o(n) = 11*x(n) + 6*z(n). Let c be o(4). Sort 3, -2, c in descending order.
3, c, -2
Let q(f) = 5*f**3 + 11*f**2 + 7*f - 3. Let b(k) = 2*k**3 + 5*k**2 + 3*k - 1. Let t(s) = -7*b(s) + 3*q(s). Let x be t(2). Put 3, 4, x in ascending order.
x, 3, 4
Let y = 817/4 + -203. Let n(i) = i**2. Let z be n(2). Let k be 4/6 + z/3. Sort y, k, 5 in descending order.
5, k, y
Suppose 0 = 5*g - 2*v + 16, 3*g - 3*v + 4 = -11. Suppose -o = -2*x - 0 - 5, 3*x + 12 = 0. Put o, g, -5 in descending order.
g, o, -5
Suppose 2*j - o + 4*o = 21, -24 = -3*j + 3*o. Suppose -j + 2 = i - 3*l, -4*l + 12 = -2*i. Let v be (2 - (4 + -3))*-1. Sort i, v, 2 in decreasing order.
2, v, i
Let f(n) = -n**2 - 5*n - 4. Let s be f(-3). Let g = s + 0. Suppose q - 10 = -q. Put g, 4, q in descending order.
q, 4, g
Let c = -0.05 + 0.55. Let t = 17 + -152/9. Sort c, t, -1/4 in decreasing order.
c, t, -1/4
Let y = 15 + -16. Let o(x) = -11*x**3 - 2*x**2 + 2*x - 1. Let c be o(1). Let h be 6/(-21) - c/91. Sort y, h, 0.1 in ascending order.
y, h, 0.1
Let x = -4 + 7. Let k(p) = p**2 - 6*p + 5. Let n be k(6). Suppose 0 = 2*j + 3*t + 7, -n*t + 3 = -2*t. Put j, 5, x in ascending order.
j, x, 5
Suppose 5*h - 30 = 5*d, -37 = -2*h - 2*d - 5. Suppose -11 = -5*t - a, -9 = 5*a + h. Suppose -2*i - 11 = -1. Put t, i, 4 in ascending order.
i, t, 4
Let i = -18 - -17. Let y be ((-3)/(-6))/i*2. Put -6, y, -4 in ascending order.
-6, -4, y
Let d = -10 + 14. Suppose -2*o = 2*x - 0*o - 2, -x - d = -4*o. Put x, 2/17, 2/11 in decreasing order.
2/11, 2/17, x
Let l = -2 + -5. Let i = 5 + l. Let s = -1 + i. Put -4, -2, s in increasing order.
-4, s, -2
Let b = 30.6 - 31. Sort -2/3, b, 1 in increasing order.
-2/3, b, 1
Let r = 14 - 18. Let s(g) = -g**3 - 3*g**2 + 4*g + 3. Let h be s(r). Let o = 2.6 - 3. Put h, o, 0.1 in ascending order.
o, 0.1, h
Let h(x) = -5*x - 11. Let b be h(-3). Let d = -4 - -3. Let o = d - 0. Sort o, b, -3 in decreasing order.
b, o, -3
Let l = 8 + -6. Suppose 0 = 2*d + 6 - 0. Put