 13 in increasing order.
l, 2, 13
Suppose -3*g = u - 12, 12 = -0*g + 2*g + 2*u. Suppose -k = 2*v - 3 + 7, 0 = -g*k - 12. Sort -1, 1, v in descending order.
1, v, -1
Let j = -14 + 10. Let y = -3.5 - j. Let d = -0.2 + y. Sort d, -0.3, -0.5.
-0.5, -0.3, d
Let z(t) = -t + 4. Let a be z(3). Let u be -2 + 3 - (-3)/(-5). Put u, 4, a in decreasing order.
4, a, u
Let c = 42 - 48. Put c, -4, 0, 5/4 in increasing order.
c, -4, 0, 5/4
Let z = -814/7 + 116. Sort z, 5, -2/3 in ascending order.
-2/3, z, 5
Let b = 4.7 - -1.3. Let y be ((-14)/21)/((-4)/6). Sort b, y, -1 in descending order.
b, y, -1
Let z = 26 + -20. Put 3/8, z, 2 in decreasing order.
z, 2, 3/8
Let z = 0.3 + -1.9. Let d = -0.4 + z. Sort -1, 3/8, d.
d, -1, 3/8
Let t be (-11)/(-3) + 8/(-12). Suppose -9 = u - 5*u + 3*k, 0 = u - 3*k + 9. Sort t, 4, u in descending order.
u, 4, t
Let v = -5.7 + 3.7. Sort v, -0.5, 24 in ascending order.
v, -0.5, 24
Let t = -7 + 11. Let g(y) = y**3 - 4*y**2 - y - 1. Let m be g(t). Let n be (-11 + -1)*(-3)/9. Sort n, 1, m.
m, 1, n
Let y = 2/329 + -345/2632. Sort 3/7, -5, y in descending order.
3/7, y, -5
Let v = -1 - -6. Suppose 4*n + 3*a - 17 = 0, 0*a + v*a - 21 = -3*n. Put -12, n, -1 in decreasing order.
n, -1, -12
Let o = 15.8 + -1.8. Sort o, -4, 4, 5 in descending order.
o, 5, 4, -4
Suppose 3*r + 8 - 29 = 0. Sort 5, r, 2.
2, 5, r
Let y = 41 - 44. Sort 59, -0.2, y in ascending order.
y, -0.2, 59
Let j = 24 - 21.8. Let a = j + -2. Let v = -740/7 - -106. Sort v, 2/3, a in decreasing order.
2/3, v, a
Let n = 4/349 - -614/7329. Put -4, -0.1, 1, n in increasing order.
-4, -0.1, n, 1
Let p = -3.1 - -3.14. Sort p, -5/6, -2/11 in decreasing order.
p, -2/11, -5/6
Suppose 2*j = 3*n - 18, j - 1 = -4*n - 4*j. Suppose 3*a - n = -7. Sort a, -4, 4 in decreasing order.
4, a, -4
Suppose -5*q = -7*q + 12. Let i be (-1 - 5/(-2))/q. Sort -4, i, 1/5.
-4, 1/5, i
Let j = 8.8 - -0.2. Let s = 4 - j. Suppose -q - 3 = 1. Sort s, 0, q in ascending order.
s, q, 0
Let i = -26 + 28. Let z = -4 - -7. Put z, i, 0 in increasing order.
0, i, z
Suppose -2*z - 33 = 9*z. Suppose -5*q - 3 = -4*o + 3, 0 = 2*o - 2*q - 2. Put o, z, -2 in ascending order.
z, -2, o
Let k = -23 - -26. Let w(y) = y**2 - y + 2. Let o be w(2). Sort o, -3, k in descending order.
o, k, -3
Let c be (-272)/64 + 3*1. Sort c, 2, 2/7.
c, 2/7, 2
Let b be (-36)/48 + (-5)/4. Sort b, 1, -3.
-3, b, 1
Let r = -0.31 + -0.69. Sort r, 3/2, 0.3 in decreasing order.
3/2, 0.3, r
Suppose -5*o - 5*l = -35, 3*l = 3*o - l - 7. Suppose -4*s + 3 = -s. Suppose 2*d = -s - 7. Sort -2, d, o in increasing order.
d, -2, o
Let v = 2 + -5. Put 3, 2, v in descending order.
3, 2, v
Let z = 0.09 - 0.19. Let u = -3/845 - 15983/20280. Let p = -1/24 - u. Put 2/9, z, p in increasing order.
z, 2/9, p
Let c(y) = -y**3 + 10*y**2 + 12*y + 11. Let w be c(11). Let n = w - 17. Put n, -8, -2 in increasing order.
-8, -2, n
Let v = -17/10 + 6/5. Let d = -5 - -5.2. Sort d, 0, v in decreasing order.
d, 0, v
Suppose -3*x + 18 = 6*n - n, -n + 5 = 2*x. Suppose 6*w + 0*w - 12 = 0. Put 2/15, n, w in decreasing order.
n, w, 2/15
Let b = -21/296 + -2/37. Let z = -0.2 - -2.2. Let k = z - 0. Put k, b, 3 in decreasing order.
3, k, b
Suppose 2*j - 2 = 4*j. Let d(t) = -5*t**2 + 1. Let i be d(j). Suppose 2*y - 3*y = -4*r - 21, -2*r - 6 = 4*y. Sort 2, i, r in decreasing order.
2, i, r
Suppose -r = w - 6, 5*w - r = r + 37. Let d = w + -3. Sort -5, d, 5 in increasing order.
-5, d, 5
Suppose 0 - 3 = -3*u. Let k = -265 - -265.3. Put -0.5, k, u in decreasing order.
u, k, -0.5
Let j(i) be the first derivative of -i**2/2 - 11*i + 3. Let k be j(-8). Sort k, -4, -5 in descending order.
k, -4, -5
Let t = 143/278 - 2/139. Put 3, 1, 2/7, t in increasing order.
2/7, t, 1, 3
Let l(q) = 18*q**3 - q - 1. Let v be l(-1). Let k be 18/(-81) + (-8)/v. Sort k, -3, 5/3 in increasing order.
-3, k, 5/3
Let s = 123 - 125. Put -5, s, 5 in ascending order.
-5, s, 5
Let f = -0.85 - -0.35. Put f, -1, 2/3 in decreasing order.
2/3, f, -1
Let j be 16/(-40) - (-16)/(-10). Put j, 4, -4 in decreasing order.
4, j, -4
Let h = -1 - -2. Let p = h - 0.5. Suppose l + 2*l - 4*i = 26, 5*l = -5*i - 15. Put 0, l, p in decreasing order.
l, p, 0
Let t = -4 - -8. Let r = 30 - 29.86. Let b = r + -0.34. Put -1/6, t, b in descending order.
t, -1/6, b
Let q be ((-3)/9)/(1/(-3)). Let m be 1 - 1*(q + -2). Suppose m*l = -0*l + 8. Sort -3, l, -5 in increasing order.
-5, -3, l
Let q = -1/11910 + -1746797/35730. Let o = -146/3 - q. Let p = 42 + -42.3. Sort p, 1, o in decreasing order.
1, o, p
Suppose -3*b = -0*b + 3. Sort 38, b, -2, 0.
-2, b, 0, 38
Let f = -2.3 + 8.3. Put 3, 1, f in descending order.
f, 3, 1
Suppose -20 = 5*i + 2*f, -4 = 4*i - 3*i + 5*f. Sort 1, -6, i.
-6, i, 1
Let p(i) = -i**2 - 4*i + 5. Let r be p(-4). Suppose -35*s = -30*s + 15. Sort r, s, -5.
-5, s, r
Let r be 4/14 - 0/1. Let b(i) = i**3 + 30*i**2 + 58*i + 57. Let h be b(-28). Sort r, h, -4 in ascending order.
-4, r, h
Let k(j) = 8*j**2 - 9*j + 2. Let i(d) = -3*d**2 + 4*d - 1. Let u(v) = -9*i(v) - 4*k(v). Let a = 3 + -2. Let n be u(a). Put 2, 4, n in descending order.
4, 2, n
Suppose 2*l + 3 = -1, 5*m + 7 = 4*l. Sort m, 4, -5 in descending order.
4, m, -5
Let q(g) = -g**3 - 6*g**2 + 2. Let x be q(-6). Suppose 0*p = p - 30. Let f be x/30*p/12. Sort f, 0.3, 3.
f, 0.3, 3
Let x = 58.4 - 58. Sort 0, -6, 2, x.
-6, 0, x, 2
Let x be ((3 - 1) + -2)/(-2). Sort -3, x, -5, -6 in ascending order.
-6, -5, -3, x
Let m(l) = -2*l - 7. Let y be m(-6). Suppose 5*a - 10 - 10 = 0. Suppose 8 = 3*r - a. Sort r, 2, y in ascending order.
2, r, y
Let t = -17 - -16. Let a = 0 - -1. Sort t, a, 4 in descending order.
4, a, t
Let i be -5 + (5 - 3 - -1). Put i, 3, -6, -4 in decreasing order.
3, i, -4, -6
Let s = -0.04 + 2.04. Let v = 20 - 21. Sort v, s, 0.1 in ascending order.
v, 0.1, s
Let o = 9 + 1. Let d = o - 10.03. Put 4, d, 1/6 in decreasing order.
4, 1/6, d
Suppose -g + 12 + 13 = 5*z, -79 = -5*g - 2*z. Sort 0, 2, g in ascending order.
0, 2, g
Suppose 2*a + 0*a - 2 = 0. Sort 8, 5, a, -5 in descending order.
8, 5, a, -5
Let z be 1/3 - 35/15. Sort z, -3, 0 in increasing order.
-3, z, 0
Let u(h) = -h**2 - 10*h - 6. Let v be u(-9). Sort -4, v, 4 in ascending order.
-4, v, 4
Let v = 1 + 7. Let t = v - 12. Put t, 3, -5 in decreasing order.
3, t, -5
Let j = -31 - -26. Let q = 0.3 + -0.2. Sort j, 3, q in decreasing order.
3, q, j
Let m(f) = -f**2 + 6*f - 5. Let n be m(4). Let o be 2/n*(-9)/(-15). Put 0.5, -5, o in decreasing order.
0.5, o, -5
Let l = 1.6 - 2.9. Let t = l - -1.4. Sort 0.4, 3, t.
t, 0.4, 3
Let c = 53 - 60. Sort 4, -5, c in decreasing order.
4, -5, c
Let h(o) = o - 3. Let t be h(-2). Sort -1, t, 7 in descending order.
7, -1, t
Suppose -3*w + 3 = -4*w. Let z = -14 + 17. Let m be (4/10)/(2/(-10)). Put z, m, w in increasing order.
w, m, z
Let g = -102 + 103. Sort -3, g, 0.
-3, 0, g
Suppose -4*s + l + 21 = 0, s + 3*l - 7 = 8. Let y be -2 + 0 - (-10)/s. Sort 2/3, y, 5 in increasing order.
y, 2/3, 5
Suppose 16*x = -193 - 111. Sort 0, -4, x, 2.
x, -4, 0, 2
Let z be (-4)/(-3)*6/(-4). Sort 1, z, -13.
-13, z, 1
Suppose -n = 5*c - 5, -15 = -3*n - 2*c - c. Put 2, n, 4 in decreasing order.
n, 4, 2
Let k = -3 + 6. Let y be -5 + 3 - -1*k. Put y, 2/7, -2 in increasing order.
-2, 2/7, y
Let f be ((-2)/8)/(1/(-4)). Suppose -7 = -3*q - f. Put q, -4, 3 in decreasing order.
3, q, -4
Let y be (-3 - (-42)/16)/((-6)/(-4)). Sort y, -1, -4 in descending order.
y, -1, -4
Let p be (1/6)/(55/22). Let c = 41/165 - p. Put 5, 4, c in descending order.
5, 4, c
Let b = -2 + 3. Let g = b - 3. Suppose l - 15 = -2*l. Put l, g, -4 in decreasing order.
l, g, -4
Let m be 2/12*10/2. Let x = 0.4 - 1. Let b = x - -0.2. Sort m, b, -1/3.
b, -1/3, m
Suppose 4*f - 23 + 3 = 0. Let r(w) = -w**2 - 1. Let c(q) = q**3 - 5*q**2 - q + 5. Let z be c(5). Let o be r(z). Sort o, f, 1 in decreasing order.
f, 1, o
Let l be 9/(-2) - 2/(-4). Let x be 2 + -4 + (-1 - -3). Let b be (-1 + x)/(7/14). Put -5, b, l in descending order.
b, l, -5
Let f = 92 + -87. Put f, 10, 1 in decreasing order.
10, f, 1
Let l be (2/5)/((-2)/10). Let t = 0 + -6. Let h be (6/4)/(t/12). Sort 4, l, h in descending order.
4, l, h
Let c be (-1)/(-5) + (-121)/55. Put c, -2/23, -0.2 in ascending order.
c, -0.2, -2/23
Let l = -7 + 11. Let m = 2 - -1. Sort m, l, -3.
-3, m, l
Let h(s) = 