+ 4*o = -4 - 15, 0 = 4*h + 2*o - 18. Suppose 0*u + 20 = -h*u. Sort u, 4, -8 in increasing order.
-8, u, 4
Let b = -260/3 - -2866/33. Put 2, -0.3, b, 0.4 in increasing order.
-0.3, b, 0.4, 2
Let k = -1.5 - -9.5. Let p = 8.3 - k. Sort p, -0.3, -1 in ascending order.
-1, -0.3, p
Let b = -0.03 - 0.97. Sort -5, 1, b.
-5, b, 1
Let x be 1 - (1 - 15*1). Suppose -5*m - x = -2*r - 0, -5*m - 15 = 0. Suppose 0 = 2*f + 4*j + 5 - 19, -14 = f - 5*j. Sort -5, f, r in increasing order.
-5, r, f
Let w = -0.88 + 0.68. Let y = -22.4 + 26. Let z = y + -4. Sort z, -4, w in descending order.
w, z, -4
Let k(y) = -y**2 - 2*y - 2. Let j be k(-2). Let f be (-12)/(-7) + (-4)/(-14). Let l = -4 + 9. Sort l, j, f in ascending order.
j, f, l
Let p = 1.5 + -2. Let i = p - 0.5. Let c = -1.3 + 1.2. Put -1/2, c, i in increasing order.
i, -1/2, c
Let j = -36 + 38. Sort 0.5, 12, j, 3 in descending order.
12, 3, j, 0.5
Suppose -1 - 2 = 3*i. Suppose -17 = 2*r - 11. Let h = -98 - -883/9. Put r, i, h in increasing order.
r, i, h
Let o = -27/173 + -3401/2595. Let m = 4/5 + o. Sort 0.4, 1, m in descending order.
1, 0.4, m
Let o = -10/21 - -1/7. Put o, -7, 2 in ascending order.
-7, o, 2
Let s = 9 + -8.94. Let y = -0.34 - s. Sort -7, 0.1, y in descending order.
0.1, y, -7
Suppose -a + 3*b = 10, 0 = -2*a + a - 2*b + 5. Let p = -1 + 6. Let u be (-6)/10 - (-2 - -1). Put p, a, u in ascending order.
a, u, p
Let r = 0.13 + -5.13. Let t = r - -4.5. Sort t, -4, 1 in increasing order.
-4, t, 1
Let d = 10 - 9.5. Sort -2/7, d, -0.1 in ascending order.
-2/7, -0.1, d
Let z = 0.1 - -0.3. Let m = -0.2 + z. Let h = -31/4 - -15/2. Put m, -3, h in decreasing order.
m, h, -3
Suppose 0 = -d + 3*d. Sort 5, d, 2 in decreasing order.
5, 2, d
Let y(a) = -a**2 - 6*a - 2. Let i be y(-4). Let s(u) = -u + 5. Let o be s(i). Sort 4, o, 5.
o, 4, 5
Suppose -a + 0*a = 0. Suppose 0 = 2*m, -2*m - 45 = -5*p - 0. Let u = -8 + p. Put 3, u, a in increasing order.
a, u, 3
Let p be 2/(-3)*6 + 4. Let y = 2.68 + -0.28. Let v = 0.4 - y. Sort 1, v, p.
v, p, 1
Suppose -5*c + 30 = 4*v, -c = 5*v - 2*c - 52. Sort v, 1, -3 in decreasing order.
v, 1, -3
Let y = -5 - 4. Sort y, -5, 0 in ascending order.
y, -5, 0
Let n = 8 + -8. Sort n, 3, 5.
n, 3, 5
Let f = -7.9 - -8. Let u be (-1)/(-10)*(-45)/(-12). Let m = 7 + -4. Sort m, f, u.
f, u, m
Let s(m) = m**2 + 10*m + 5. Let b be s(-9). Let r be (1/2)/((-3)/(-18)). Sort b, 4, r in ascending order.
b, r, 4
Let q = 1.93 - -0.07. Put 2/11, q, -8 in increasing order.
-8, 2/11, q
Let i = -2.8 + 2.9. Sort -0.4, -3/4, i in increasing order.
-3/4, -0.4, i
Let j be 2/(-8) - (-21)/(-28). Let w = j - -3. Suppose -5*f - 2 = -k, 2*f - 4*f + 2*k - 4 = 0. Sort w, 5, f in increasing order.
f, w, 5
Let m = -0.2 + 0.1. Let v = -0.2 - m. Let w = 11 + -7. Sort v, w, -2 in increasing order.
-2, v, w
Suppose o - 5*h = 14, 0 = 6*o - 5*o - h - 14. Suppose -4*k = -m + o + 1, 5*k = m - 20. Put 0, -1, m in ascending order.
m, -1, 0
Let b = -7 - -9. Sort b, -4, 3 in ascending order.
-4, b, 3
Let l(a) = a**3 - 8*a**2 + a - 2. Let u be l(8). Suppose -2*n + 2 = 3*i, -5*i = 3*n + n - u. Let j = 3/2 + i. Sort 5, 1, j in descending order.
5, 1, j
Suppose 2*y = 3*y - 15. Let j be (2/5)/((-39)/y). Let g = -0.6 - -1. Sort g, j, -5.
-5, j, g
Let s be 12/(-42) + (-48)/(-21). Suppose 0 = s*p - 5 + 13. Let k = 0 - 0.2. Sort p, k, -2.
p, -2, k
Let m be (-14)/(-35) + 87/(-5). Let q = -18 - m. Sort 0.1, 2, q in decreasing order.
2, 0.1, q
Suppose -12 = 5*r - c, r + 4*c - 1 = 5. Put r, 4, 2 in ascending order.
r, 2, 4
Let u = -1.9 - -1.77. Let b = 0.77 - u. Let m = b - 0.4. Sort -2, 2/5, m in ascending order.
-2, 2/5, m
Suppose -4*g + 0*v - 2*v - 46 = 0, -4*v + 40 = -3*g. Let a be (g/10)/(6/(-4)). Sort a, 1, 3 in descending order.
3, 1, a
Let g = 4 - -1. Let h = -17 + 15. Sort h, g, -1.
h, -1, g
Let q = -0.124 - -18.124. Sort 1, -1/3, q in decreasing order.
q, 1, -1/3
Suppose 0 = -5*u + 32 - 2. Let i = 4 - u. Let j(g) = 3*g**3. Let b be j(1). Put -1, b, i in decreasing order.
b, -1, i
Suppose -3*g - 38 = -2*s, -3*g = -g - 4*s + 20. Let k = -27/2 - g. Suppose 0 = 14*x - 23*x + 27. Sort -0.3, k, x in increasing order.
-0.3, k, x
Let z = -14 - -17. Put -7, z, 2/3 in descending order.
z, 2/3, -7
Let k(p) = 2*p - 3. Let x be k(4). Suppose -x*c = -3*l + 2, -5*l = -7*c + 2*c - 10. Let h(o) = 2*o - 3. Let m be h(l). Put m, 3, -1 in increasing order.
-1, 3, m
Let q(d) = -2*d**2 + 11*d - 8. Let x be q(4). Sort 3, x, -2.
-2, 3, x
Let d be 3 - (0/(-2) - -1). Let t be 6/(-4)*(-4 + d). Suppose 6*j - 8 = 4*j - 5*y, -t*y = -3*j + 12. Sort 5, j, 2 in ascending order.
2, j, 5
Suppose 0 = 12*h - 4*h. Sort h, 3, 5.
h, 3, 5
Suppose -25 = -4*a - a. Let x(j) = 0 - 2*j + 0*j**2 - 2 - 2 + j**2. Let s be x(4). Sort 0, s, a in descending order.
a, s, 0
Suppose 2*v - 7*v = -3*b - 12, 5*v + 4*b = 19. Sort v, -0.2, -0.4, 5.
-0.4, -0.2, v, 5
Let u = 36 - 51. Let c = u + 17. Sort c, -3/2, -3/4 in descending order.
c, -3/4, -3/2
Let u = 0.2 + -0.4. Let g = -29 + 146/5. Sort u, g, -0.5 in decreasing order.
g, u, -0.5
Let x = 10/71 + 32/781. Sort -0.3, 0, x in decreasing order.
x, 0, -0.3
Suppose 5*k - 15 = 0, 13*c - 11*c = 4*k - 2. Suppose 3*w - 4*b - 10 = 0, -4*w - 5*b = -4*b + 12. Put 2, w, c in descending order.
c, 2, w
Suppose s - 10 = -5*g, 0 = 3*s - 2*g - 2*g - 11. Let b = -0.1 + 0.1. Let l = 0.1 + b. Put s, -1/2, l in descending order.
s, l, -1/2
Let r = 20 - 20. Let k(p) = p**3 + 5*p**2 + 5*p + 2. Let g be k(-3). Put r, 2, g in descending order.
g, 2, r
Let s = -0.1 - -0.6. Let u = -0.2 + s. Let q = -291/5 + 58. Put q, -1, u in ascending order.
-1, q, u
Suppose 2*a + 1 = -s, -2*s + 6*s = -2*a - 10. Let q be ((-2)/3)/((-2)/s). Sort -2, q, -3 in increasing order.
-3, -2, q
Suppose -10*i + 8 = -6*i. Let v(l) = l**2 + 3*l**i + 5*l - 3 - 5*l**2. Let p be v(5). Put -1, p, -5 in descending order.
-1, p, -5
Let b = -4/35 + 2/5. Sort b, -2, -3 in increasing order.
-3, -2, b
Suppose 43 = 4*t + a, -3*t - 2*a = -6*a - 18. Sort 5, -5, t in increasing order.
-5, 5, t
Let x = 3 + -8. Let o = -23/7 + 3. Sort 3, x, o in ascending order.
x, o, 3
Let u = -1 + 6. Suppose 0*x - 4*s = 5*x - 10, 0 = -s + u. Sort 3, -1, x.
x, -1, 3
Suppose 6 + 19 = 5*j, -2*j = -4*y - 18. Sort y, 5, 1 in decreasing order.
5, 1, y
Let x(d) = -d**2 - 10*d - 29. Let o be x(-6). Sort -3, -3/16, o in decreasing order.
-3/16, -3, o
Let n = -7 + 12. Put n, -4/5, -0.5 in ascending order.
-4/5, -0.5, n
Let h be -12 - -14 - (5 + -1 + 2). Put h, -5, 5, 3 in decreasing order.
5, 3, h, -5
Let s be (1 - 8/(-2))/(-1). Let k = 7 - 5. Sort s, k, 1.
s, 1, k
Let y(z) = 4*z + 2. Let r be y(-3). Let j be (-46)/10 + 4/r. Suppose -28 + 22 = -3*m. Put m, j, 1 in descending order.
m, 1, j
Let m be (2/(-3))/(6/(-54)). Let l = 7 - m. Sort l, -4, -1 in decreasing order.
l, -1, -4
Suppose -4*x = -8, 5*z + 3*x + 2 - 33 = 0. Let d = 4.1 - 4. Sort -1/5, d, z in increasing order.
-1/5, d, z
Suppose -3*s - 14 + 5 = 0. Let d(l) = -l - 9. Let x be d(-4). Put x, s, 4 in decreasing order.
4, s, x
Let o = 1.3 - -17.7. Let y = 16 - o. Let h = 0.2 - 0.6. Sort y, -5/3, h in decreasing order.
h, -5/3, y
Let h = -4.7 + 0.7. Sort h, -2/5, 2/9 in descending order.
2/9, -2/5, h
Let j(a) = a**2 + 5*a - 5. Let z be j(-5). Let v = -18.8 - -19. Put z, v, -1/4 in descending order.
v, -1/4, z
Let r(d) = d**2 - 30*d - 69. Let a be r(32). Let v = 2.04 + -2. Let h = -0.34 + v. Put 0.1, a, h in decreasing order.
0.1, h, a
Let f = -6.8 - -7. Let k = 0.2 - f. Let t = 0.06 + -3.06. Sort k, t, 4 in decreasing order.
4, k, t
Let a = 37 + -113/3. Let h be 2/(-5) + (-3)/5. Sort 1, a, h in ascending order.
h, a, 1
Suppose 9*z + 20 = 4*z. Sort 1, z, -0.1.
z, -0.1, 1
Suppose -h = -16 + 17. Put 3, h, 2 in decreasing order.
3, 2, h
Let n = -19/11 + 2. Put -2/13, -5, n in descending order.
n, -2/13, -5
Let q(j) = -j - 1. Let f be q(-4). Let c be -3*4/16 + (-1)/4. Sort c, -3, f in descending order.
f, c, -3
Suppose 3*n + 6 = 21. Let m(i) = -i - 4. Let o be m(-8). Let h(w) = w**3 - 5*w**2 - 4*w - 11. Let z be h(6). Sort n, z, o.
z, o, n
Let y be 10/(-2 - (0 - 0)). Sort 2, y, -1 in decreasing order.
2, -1, y
Suppose -4*v = -4*m + 16, -2*m + 20 = 3*m - v. Let k = 1 + -1. Suppose 2*c + c - 3*j + 9 = 0, 3*j + 6 = k. Sort -4, c, m.
c, -4, m
Let c = -3 - -7. Let q = -1 + c. Put