 + 1 = 2*x - 11, -x = -b. Let c be (-1)/1 + 10/15*-3. Sort x, c, 2.
c, 2, x
Let l be 3/(-6 + 0)*10. Let m = 5 + l. Let p = -3 + m. Sort p, 0, -5.
-5, p, 0
Let y = -1 + 1.2. Let v = -0.5 + y. Let a = -140 - -142. Put v, a, -2 in descending order.
a, v, -2
Suppose v - 3*v + 8 = 0. Let j be (-29)/28 - v/(-14). Suppose 2*r = r - 5. Put r, 2, j in decreasing order.
2, j, r
Let f = -82/3 + 27. Put f, -1, 4/9 in decreasing order.
4/9, f, -1
Let d = -11 - -6. Sort d, -3, -2 in descending order.
-2, -3, d
Let y = 22.3 + -5.8. Let h = y - 11. Let m = 5 - h. Sort 0.4, 2/3, m in decreasing order.
2/3, 0.4, m
Let f = 14/3 - 16/3. Let w be (18/10)/3*1. Sort f, w, 6/5.
f, w, 6/5
Let y be (4/(-2))/(-12) + 364/(-168). Sort 14, -3, -5, y in descending order.
14, y, -3, -5
Let d = 0.18 + -0.68. Sort d, 5, 4 in descending order.
5, 4, d
Let w = 1 + 7. Suppose -9*a = -w*a - 2. Put a, 5, 7 in decreasing order.
7, 5, a
Let s = -8 - -9. Let h = 2.1 - 3.1. Sort s, -4, h in decreasing order.
s, h, -4
Suppose -4*n + 4*o - 8 = 0, n - 2*o - 26 = 5*n. Let t be (8/(-20))/((-1)/n). Sort t, 2, 1.
t, 1, 2
Let s(j) = -j**2 - j. Let l be s(0). Suppose 0 = -l*o - 3*o - 15. Suppose 0*g = -g + 4. Sort -3, g, o.
o, -3, g
Suppose -1 = -j - 0. Suppose -l = -8*b + 4*b + j, 0 = b + 1. Sort l, -3, 2 in decreasing order.
2, -3, l
Let x = 8 + -7.7. Let a = 3.3 + -3. Let h = a - x. Sort 5, h, 1/2.
h, 1/2, 5
Let j = 220 - 1096/5. Sort 0.4, j, 0.5 in descending order.
j, 0.5, 0.4
Let i = 8 - 8. Let t = -1 + i. Let u(o) = -o - 7. Let c be u(-5). Sort 1/4, c, t in ascending order.
c, t, 1/4
Let q(g) = g + 13. Let i be q(-5). Suppose 0 = i*o - 13*o. Sort 4, o, 5 in descending order.
5, 4, o
Suppose 0 = a - 2*u - 4, 3*u - u = -6. Put -3, 1, a, 0 in descending order.
1, 0, a, -3
Let g be (-13)/(-7) + -12 + 10. Put g, -1/3, 2/11 in increasing order.
-1/3, g, 2/11
Let b be (3 - 3)/4 - -9. Put 5, b, 0 in decreasing order.
b, 5, 0
Let s(j) = 4*j**3 - 2*j - 2. Let r be s(-1). Sort 0.3, r, 3 in descending order.
3, 0.3, r
Let l be (-22)/(-26) - 12/(-78). Sort 3, 7, l.
l, 3, 7
Let y(r) = -5*r + 3. Let n be y(1). Put 5, n, 8 in ascending order.
n, 5, 8
Suppose 0 = 3*d + 2*n + 4, 13 = -d - 3*d + 5*n. Sort d, 1, 4 in descending order.
4, 1, d
Let i(k) = -k - 1. Let n be i(-2). Suppose -2*s - 4*g = 0, 0*g = s + 3*g - 2. Sort n, -2, s.
s, -2, n
Let f(j) = -j - 1. Let o be f(-6). Suppose 0 = l - 3, -2*g = -g + o*l - 13. Let d(s) = 2*s + 3. Let x be d(1). Put x, -4, g in decreasing order.
x, g, -4
Let h be 4/(-10)*(0 + 5). Let p be 4/8 + 0/h. Sort p, -0.1, -2/11 in increasing order.
-2/11, -0.1, p
Let n = 13.97 - -0.03. Let o = n + -14.05. Sort 4/5, o, 5 in ascending order.
o, 4/5, 5
Let k = -0.8 - 0.2. Put k, 5, -4/7 in ascending order.
k, -4/7, 5
Let t = -7 - -9. Let z = t + -2. Put -0.3, z, -2 in decreasing order.
z, -0.3, -2
Let n = 29 - 26. Suppose 0*a - 4*a - 12 = 0. Put 2, n, a in increasing order.
a, 2, n
Let f = 3.02 - 3. Let d = f - -2.98. Let n = -3473/13 + 267. Sort n, d, 2 in decreasing order.
d, 2, n
Let h(k) = k - 4. Let z be h(-4). Put 4, z, 0 in decreasing order.
4, 0, z
Let b = -2/135 - 43/135. Let l be (8/48)/(4/(-6)). Let o = -6 + 9. Sort o, l, b.
b, l, o
Let j be (3 - 1)*(-3)/27. Let h = 1.8 - 1.8. Sort 3, j, h in ascending order.
j, h, 3
Let t = -13.4 + 13. Let o = 0.02 + 0.58. Let z = o + t. Put z, -5, -1 in increasing order.
-5, -1, z
Suppose -4*j + 0 = -24. Suppose -5*w + 9 = -j. Suppose -5*k - 20 = v, 0 = 5*k - 3*v - 4 + 44. Put w, -2/3, k in increasing order.
k, -2/3, w
Let d = -6 - -1. Suppose 7 = -4*a + 3. Let v be (-1)/(-2) - (-3)/2. Sort v, a, d in decreasing order.
v, a, d
Suppose -3*y + 2*y + 12 = 0. Put 1, y, -4 in descending order.
y, 1, -4
Let t = 0 - 0. Let y = 10.2 - 10. Put t, -4, y in ascending order.
-4, t, y
Suppose 9 + 0 = -3*p. Let a = 3.2 - 3. Sort a, p, -1/2 in ascending order.
p, -1/2, a
Suppose -2*k = -7*k + 45. Let w = k + -5. Sort 0, w, -2 in increasing order.
-2, 0, w
Let k(a) = -a**3 + a**2 - a - 5. Let z be k(0). Sort z, 0, 3 in descending order.
3, 0, z
Let h be -3*10*3/(-18). Let f = 18 + -18.7. Put f, h, 2/11 in ascending order.
f, 2/11, h
Let k = 5 - 3. Suppose 3*m = -5*b - 54, 0 = 2*m - m - k. Let s be (-2 + (-15)/b)*4. Sort 1, 3, s in ascending order.
s, 1, 3
Let b = 0.1 + -0.1. Suppose -24 = 2*c - 3*c. Let m = c + -121/5. Sort 2/11, m, b in descending order.
2/11, b, m
Let c = 1.3 - -3.7. Suppose 3*r + 1 - 4 = z, 3*z = 2*r - 9. Put -5/2, c, z in decreasing order.
c, -5/2, z
Suppose 2*a - 2*d + 0*d + 6 = 0, -23 = 5*a - d. Suppose -4*h = -0*h - 64. Let u = 18 - h. Sort u, -2, a in ascending order.
a, -2, u
Suppose -7 = 5*d + 23. Sort -4, d, 1 in decreasing order.
1, -4, d
Let m(x) = x**3 + 4*x**2 - x - 5. Let k be m(-4). Sort k, -0.3, 0.
k, -0.3, 0
Let u = -19 + 21. Let i = 7 + -5. Let l = i - u. Put l, -3, 1 in descending order.
1, l, -3
Let z(s) = -s**2 - 11*s - 14. Let x be z(-6). Put 5, 0, -5, x in descending order.
x, 5, 0, -5
Suppose 4*n - u = -16, 5*n + 4*u + 14 + 6 = 0. Suppose -21 + 6 = -3*s. Sort s, n, -6 in ascending order.
-6, n, s
Let i = -4 - -4.4. Sort -4/5, -7, i in descending order.
i, -4/5, -7
Suppose 0 = -9*f + 7*f + 2. Let n be 1/1 - (-1 - -7). Put f, n, 0 in increasing order.
n, 0, f
Let c = 0.003 - -3.997. Sort c, 2/3, -4/3, 0.4.
-4/3, 0.4, 2/3, c
Let n = 0.5 + -0.8. Sort n, -1/3, -2/5 in descending order.
n, -1/3, -2/5
Let a = 2/1441 + -788/1441. Sort a, -4, -0.4 in increasing order.
-4, a, -0.4
Suppose -56 = 3*u - 11*u. Sort -2, -0.1, u.
-2, -0.1, u
Let t be 5/30 + 47/6. Let h be 1 - (3 + 0 + t). Let l be ((-8)/h)/((-2)/(-10)). Sort 0.5, l, 1 in ascending order.
0.5, 1, l
Let x(b) = -2*b. Let k be x(-1). Suppose -v - 9 = k*v. Let s(a) = -a**2 + 3*a. Let u be s(4). Sort -5, v, u in decreasing order.
v, u, -5
Let c(z) = -z**2 - 11*z + 5. Let q be c(-11). Sort 3, q, -3.
-3, 3, q
Let n be (-20)/136*(-3 - -1). Let x = n - 76/85. Put x, -0.1, 3/5 in increasing order.
x, -0.1, 3/5
Let q be (-2)/(-2*6/12). Sort 4, -1, 0, q in descending order.
4, q, 0, -1
Suppose -2*u - 3*u = 20. Suppose -d - 3*x + 8 = 3*d, -6 = -2*d - x. Suppose -3*v - 3 = -d*m, 4*m - 4*v - 4 = m. Sort m, -2, u in descending order.
m, -2, u
Let g be 0/(-2 + -1 + 4). Let j be (g - (-2)/(-4))*8. Let l = 8 + -13. Put l, 3, j in increasing order.
l, j, 3
Let d = 3 - 2.99. Let t = d + 0.29. Put t, 0, -5 in descending order.
t, 0, -5
Let x be 1/(-3) + 292/12. Suppose 0 = a + 4*v - x, -8*a - 5*v = -3*a - 45. Sort a, -5, 3 in ascending order.
-5, 3, a
Suppose 7 = -8*h - 33. Put 0, h, -2 in increasing order.
h, -2, 0
Suppose 5*s + 1 = -2*o, 4*o + 10 = 2*o + 4*s. Let j = -12 + 4. Let r = 7.7 + j. Sort o, r, -2 in decreasing order.
r, -2, o
Let v(y) = y**3 - 13*y**2 - 12*y - 26. Let u be v(14). Put -7, u, -12 in descending order.
u, -7, -12
Let r = -504/13 + 3945/143. Let a = r - -11. Sort a, 2, -2/19 in increasing order.
a, -2/19, 2
Let v be ((-2)/(12/9))/3. Let m = -6 - -6.5. Put v, m, -2/9 in ascending order.
v, -2/9, m
Let h = 17 - 10. Let q = 7.5 - h. Sort 1, q, 2 in increasing order.
q, 1, 2
Let j = 2.4 - 2. Let r(v) = -2*v**2 + 1. Let t be r(-2). Let f = 11 + t. Sort j, f, 1 in ascending order.
j, 1, f
Suppose -12*d = -17*d - 10. Let v(i) = 2*i - 5. Let b be v(4). Put d, b, 2 in descending order.
b, 2, d
Let p = 1 + 3. Let u be -1 + 1 + 4/(-3). Sort p, u, 0.
u, 0, p
Let k = 5 + -1. Suppose -2*s + 6*o = 4*o - 522, 3*s + 3*o = 765. Let j = s - 2318/9. Sort -0.2, j, k in descending order.
k, j, -0.2
Let s be ((-339)/774)/(3/(-2)). Let k = 3/43 - s. Let x = -0.03 - 2.97. Sort x, k, -0.5 in decreasing order.
k, -0.5, x
Let g be (-2)/(-8) + 61/(-4). Let k be -2*3/(-6)*g. Let r = k - -11. Sort 0, 2, r in decreasing order.
2, 0, r
Let b = 0.049 + -0.349. Put b, -2/71, 2 in decreasing order.
2, -2/71, b
Let w = -5 - -5.6. Let t = 0.4 + w. Sort -1/4, 2/17, t in increasing order.
-1/4, 2/17, t
Suppose 2*n = 2 - 0. Let j be (1/n)/(1/3). Suppose -5*a = -j*a - 4. Sort 1, a, 3 in descending order.
3, a, 1
Let j = 187 - 938/5. Let b = -2.8 - -3. Sort b, j, -4 in increasing order.
-4, j, b
Let q = 0.026 + -4.626. Let d = -3 + 8. Let o = q + d. Sort -3/2, 1, o in descending order.
1, o, -3/2
Let v(f) = -f + 2. Let n be v(4). Suppose -2*h - 3*c - 6 + 26 = 0, -2*h - 5*c + 28 = 0. Put h, -3