1, b, 4, -4 in ascending order.
-4, b, -1, 4
Let v = 65.94 + -59. Let t = 7 - v. Let k = t + 3.94. Put 1, k, 2/15 in decreasing order.
k, 1, 2/15
Let j(f) = -3*f - 9. Let d be j(-4). Put d, 5, 2 in increasing order.
2, d, 5
Suppose 4*u - 4 = -16. Suppose 5 = k - 1. Let z be 4/6*k/(-4). Sort z, u, 0 in ascending order.
u, z, 0
Let b be 4/(-6) - 60/(-9). Let f be (-2)/b - (-20)/15. Sort 4, f, -3.
-3, f, 4
Let c = -12871 - -89101/7. Let u = 142 + c. Put 4, -1, u in ascending order.
-1, u, 4
Suppose 6 = 7*k - 8. Suppose -3*r + 5 = -8*r. Put r, k, -7 in ascending order.
-7, r, k
Let q be (-21 - -17) + (-46)/(-12). Sort -0.4, q, -1/4, -4/3 in descending order.
q, -1/4, -0.4, -4/3
Suppose 5*d - 29 = -4*g - 0, 3*g - 3*d = -12. Let f be 0/2 + g - 5. Let u(x) = -x - 1. Let q be u(f). Sort -3, q, 2.
-3, 2, q
Suppose 4*b - 4 = 8. Suppose -b*p = -p - 4. Let s = p + 0. Put 0, -4, s in descending order.
s, 0, -4
Suppose 0 = -4*j + 5*m + 41 + 4, j - 5*m - 30 = 0. Put j, 2, 4 in decreasing order.
j, 4, 2
Let d(h) = -h. Let i be d(7). Let p(u) = -u**2 - 6*u + 6. Let b be p(i). Let z(c) = c**2 - c. Let g be z(2). Put b, g, 3 in increasing order.
b, g, 3
Suppose 0*s = 3*s - 3*b, 4*s - b = -9. Let v be (-1)/s*3/(-4). Let l(f) = f**3 - 8*f**2 - 8*f - 9. Let z be l(9). Put z, v, 2/5 in decreasing order.
2/5, z, v
Let q(c) = -c**3 + c**2 + c - 3. Let f be q(0). Let y = -2 + 0. Put 2, y, f in decreasing order.
2, y, f
Let t = 3.7 - 1.7. Put 3/8, 6, t in ascending order.
3/8, t, 6
Let w(k) = k + 5. Let v be w(0). Let h = -6 - -6.4. Let o = -0.2 + h. Put o, v, -0.1 in descending order.
v, o, -0.1
Let u be ((-6)/2)/(-5 - -10). Let s = -0.03 - 1.97. Sort s, -0.3, u in ascending order.
s, u, -0.3
Let a be (-2)/4 + 33/42. Let p be 10/(-6)*(-6)/45. Let g = 5/22 + -1/22. Put a, g, p in descending order.
a, p, g
Suppose 0 = -v, -4*y + v + 8 = -0*v. Put -3, y, 6 in ascending order.
-3, y, 6
Let r(k) = 2*k**2 - k - 1. Let w = -7 + 6. Let f be r(w). Let u be -2 + f*3/2. Sort u, -5, -4.
-5, -4, u
Suppose -2*a - 4 = -0*x + 2*x, -4*x - 17 = -5*a. Let c(q) = -q**3 - 9*q**2 + 9*q - 11. Let t be c(-10). Sort -2, x, t.
x, -2, t
Let j = -4 - -3.1. Let u = j - -0.9. Let l = u + -1. Put 1/4, 5, l in ascending order.
l, 1/4, 5
Let p = 1/564 + -4/47. Suppose -k + 6 = 3. Suppose 2*m - 7 - k = 0. Sort 4, m, p in decreasing order.
m, 4, p
Let y = 55/6 - 19/2. Let m(x) = -2*x - 8. Let q be m(-6). Sort q, y, 0.1.
y, 0.1, q
Let p = 0.6 - 0.57. Let h = -0.13 + p. Let m = -4.3 + -0.7. Sort 4/3, m, h.
m, h, 4/3
Let v = 3.1 - 3. Let a = 0.2 + 0.1. Put a, v, -4/5 in decreasing order.
a, v, -4/5
Let x be (1 - 0) + 4/(-6). Let r = 2.8 - -8.2. Let g = 16 - r. Sort 4, x, g in descending order.
g, 4, x
Let g = -0.3 - 0.1. Let l = 0.2 + 0. Let a = l + g. Sort a, -3/2, 3 in ascending order.
-3/2, a, 3
Let d = -0.79 + 0.49. Sort d, -2, 3, 1.
-2, d, 1, 3
Suppose 0 = 2*q + 4 - 12. Suppose -5*d - 3*j + 23 = 0, 9*j - q*j = 5. Put 0, 1, d in increasing order.
0, 1, d
Let v(g) = -g**3 + 3*g**2 + 3*g + 1. Let a be v(4). Let d be (-2)/a*-3 - 0. Put 2/9, d, -0.2 in increasing order.
d, -0.2, 2/9
Let m = 2 + -1. Put 2, 5, m in descending order.
5, 2, m
Suppose -18*i = -20*i - 8. Sort -3, i, -2 in decreasing order.
-2, -3, i
Let m = 23.6 + -24. Let q be (-2460)/(-46)*(-2)/(-1345). Let a = 2/269 + q. Sort 1, m, a in descending order.
1, a, m
Let q = -65 - -62. Sort -2/9, q, 0.3, 5 in increasing order.
q, -2/9, 0.3, 5
Suppose 5*t = 13 + 2. Sort t, -0.4, -2.
-2, -0.4, t
Suppose 4*n + 4*b + 16 = 40, 5*n = 5*b. Let d = -41 + 45. Sort n, -5, d in descending order.
d, n, -5
Suppose n = -2*w - 0*w - 115, -2*n = -5*w - 310. Let z be 16/w*(-15)/(-6). Sort 1/5, 3, z in increasing order.
z, 1/5, 3
Suppose -2*m = -3*m + 5. Suppose 2*v + m + 1 = 0. Put v, 2, -5 in increasing order.
-5, v, 2
Suppose -2 = 5*h + 3*z, -3*h - 6*z + z + 2 = 0. Put -4, h, -0.3, 0.1 in descending order.
0.1, -0.3, h, -4
Suppose 2*j + 2 = 2*q - 0*q, 0 = 5*q + 15. Sort j, 1/5, -2/9.
j, -2/9, 1/5
Let g = -1.65 + 1.2. Let x = 0.05 + g. Let m = 0.9 - -0.1. Sort -2/7, x, m in ascending order.
x, -2/7, m
Let h be ((-72789)/418)/((-6)/8). Let n be 2/(((-1)/116)/(-1)). Let j = n - h. Put 2/5, 4, j in descending order.
4, 2/5, j
Suppose -3*n = 3*f + 27, -2*f - 7 = -4*n - 25. Suppose o - 7 + 4 = 0. Sort 4, o, n.
n, o, 4
Suppose -8 = -v - 3*v. Let l be (2 - v)/(-1 - 0). Suppose l*z = -4*z - 20. Sort -3, 3, z in ascending order.
z, -3, 3
Suppose 3 = o - 0*o. Let v = o + -3. Sort 2, v, 4.
v, 2, 4
Let v = 1.9 + -1.6. Sort v, 1/2, -2/21, 0.4 in decreasing order.
1/2, 0.4, v, -2/21
Suppose -2*s = -3*n + 3 + 14, 4*s = -4. Suppose 2 = -n*i + 22. Let g be 43/9 - i/(-18). Sort g, -3, 1 in ascending order.
-3, 1, g
Let c(f) = f**2 - 21*f - 46. Let a be c(23). Sort a, -5, -3 in descending order.
a, -3, -5
Let g = -21 - -10. Let a = 6 + g. Put a, 3, 2 in decreasing order.
3, 2, a
Let o be 1/5 - 234/(-30). Suppose -2*w - o = -0*w. Let v = 2 + w. Put 4, v, 1 in descending order.
4, 1, v
Let c = -32 - -29. Put 1, 0.4, c, -0.5 in ascending order.
c, -0.5, 0.4, 1
Let x(r) = -r + 13. Let o be x(8). Put 1, 0, o in decreasing order.
o, 1, 0
Let r be 1/(6/9 - 1). Suppose -11 = -4*y + 3*c, 0 = -0*y - 3*y - 5*c + 1. Suppose -y*z - 20 = 2*z. Put 4, r, z in ascending order.
z, r, 4
Let v be 3/9*102*1. Let g be 3 + (-4)/v + -3. Sort -0.2, -5, g in decreasing order.
g, -0.2, -5
Let c be -2 - (-6)/(-3)*-2. Suppose 0 = -2*v - v + c*d, 3*v + 3*d = 15. Sort -3, v, -2.
-3, -2, v
Let h = 5 - 5.8. Let d = 42 + -43. Let u = d - h. Sort 1, u, -0.4 in increasing order.
-0.4, u, 1
Let c = -15 - -11. Sort c, 3, -5 in increasing order.
-5, c, 3
Let v(j) = j**2 - 14*j + 14. Let f be v(13). Suppose -2*i + 5*k - 4 + 23 = 0, -2*i - 3*k = 21. Let o be 2/(f*i/6). Put 3, o, 0 in ascending order.
o, 0, 3
Let x = 8 + -3. Suppose -23 = 18*j + 49. Sort j, x, -5 in descending order.
x, j, -5
Suppose 4*t + 0*t = 24. Let v = -7 + t. Put -2, v, -3 in decreasing order.
v, -2, -3
Let h be 3 + (-1 + 1)/3. Let c = -0.15 + -0.25. Sort -1, h, c.
-1, c, h
Let j be 2/(-4)*(3 - -1). Sort j, 13, 1 in decreasing order.
13, 1, j
Let p = 0.66 + 0.34. Put p, -3/2, 2 in decreasing order.
2, p, -3/2
Let s = 5 - 2. Let b = -1 - -3. Put s, -1, b in descending order.
s, b, -1
Let b be ((-4)/(-5))/(-1 + -1). Sort 3, b, 0.4 in increasing order.
b, 0.4, 3
Suppose 5*m = -4*b - 36, 6 - 2 = 4*b - 5*m. Sort b, -2, -1, 0 in descending order.
0, -1, -2, b
Suppose -4*q + 20 + 0 = 0. Let u be (-3)/2*(-40)/(-30). Put 0, q, u in increasing order.
u, 0, q
Let b(y) = -y**3 - 7*y**2 + 8*y + 5. Let a be b(-8). Let o(j) = -j**3 + 5*j**2 + j - 6. Let l be o(a). Suppose -2*r = -4*r + r. Sort l, 5, r.
l, r, 5
Suppose -3*d = 4*h + 32, 2*d + 14 = -4*h - 14. Let x(l) = -l**3 - 2*l**2 + 3*l - 3. Let m be x(-3). Let f be 1*(7 + -1 + -1). Put d, m, f in descending order.
f, m, d
Let v = -7 - -2. Sort 2, 3, v, 4.
v, 2, 3, 4
Let y be -2 + (6/(-4) - -1). Let q = 10 - 39/4. Sort 3/11, y, q in increasing order.
y, q, 3/11
Let a(j) = 2*j - 10. Let m be a(5). Put m, -3, 5 in increasing order.
-3, m, 5
Suppose 3*t + 0*q = q + 47, 4*q = -2*t + 36. Let g be 2/8 + (-4)/t. Put 2, g, -2 in ascending order.
-2, g, 2
Let w = -24 - -25. Let y be -1 - (3/(-1) + 2). Suppose y = -x - 4 + 3. Put x, 4, w in ascending order.
x, w, 4
Let x = -3 - 0. Let t be (-1012)/20 - 4/10. Let q be (-2)/(-6) + 11/t. Sort x, -0.1, q.
x, -0.1, q
Let g = -641/8 + 80. Put -1, 55, g in increasing order.
-1, g, 55
Let p be (14/(-6) - -2)*(-5 + -4). Let c be 14/(-6) + 1/3. Let o be c/(-8) + 3/(-4). Sort p, -2/9, o.
o, -2/9, p
Let l = -6 - -10. Let f be 0/1 + -2 + 1. Sort f, l, -2 in increasing order.
-2, f, l
Let v = 3.99 - -0.01. Let u be 14/138*(-2)/(-7). Let h = u - -65/138. Put h, -2, v in decreasing order.
v, h, -2
Suppose -5*n + 2*v - 6 = 0, -3*n + 2*n - 9 = -3*v. Let c = n + 1. Suppose -2*z - 3 = c. Sort -3, z, -5 in descending order.
z, -3, -5
Let b = -48 - -45. Put b, 3, 1/7 in decreasing order.
3, 1/7, b
Let j = -7 + 3. Let k be 12 + -8 + (0 - 0). Put -1/7, k, j in descending order.
k, -1/7, j
Let h = -7 - -9. Let j = -18 - -13. Sort j, 0, h.
j, 0, h
Let q be ((-8)/(-10))/(2/(-10)). Let v(u) = -u - 5. Let x be v(-3). Sort x, q, 4 in decreasing order.
4, x, q
Let t(p) = -p**3 + 9*p**2 + 9*p + 6. Le