 25 = 0. Put 2, r, i in decreasing order.
r, 2, i
Suppose 2 = -u + 4. Suppose -2*f + 8 = 4*y, 4*y - u*f - 3*f = -20. Let t be ((-15)/(-70))/(1/2). Sort t, -1/3, y in descending order.
t, y, -1/3
Let g be -2*1 + (2 - -21). Suppose -4*q = 3*v - q - g, 4*v + 2 = 2*q. Suppose -2*u + v*x - 1 = -3*u, u + 2 = x. Sort 3, u, 2 in ascending order.
u, 2, 3
Let u(l) = l**2 - 2*l + 5. Let t be u(0). Sort 3, 11, t in increasing order.
3, t, 11
Suppose 3*s + 4*d + 29 = 0, -3*d + 0*d = -3*s + 6. Put s, 4, -4 in descending order.
4, s, -4
Let i be (-16)/(-3)*(-9)/(-6). Let b = -6 + i. Suppose 5*g + 5*y - 5 = 0, -2*g - b*y + 4*y - 6 = 0. Sort -0.4, g, -0.1 in decreasing order.
-0.1, -0.4, g
Let c = -826 - -827. Let j = -12 - -8. Put 4, c, j in decreasing order.
4, c, j
Suppose 4*s + 168 = 4*n, -s = -9*n + 4*n + 50. Let r be ((-2)/(-5))/((-36)/s). Let b(q) = q + 4. Let o be b(-4). Put 2/5, r, o in increasing order.
o, 2/5, r
Let s = -3 - -4. Let i = s + -0.9. Let j = -1 - 0. Put j, -1/9, i in descending order.
i, -1/9, j
Let y be 2082/(-21) + -1 - 1. Let h = -85 + -16. Let c = y - h. Sort -0.3, -1/5, c.
-0.3, -1/5, c
Let u = -0.77 + -2.33. Let t = u + 3. Let k = 0.2 + t. Sort 0.4, k, 5 in ascending order.
k, 0.4, 5
Let s = -3 + 5. Suppose -3*u - s*u - 15 = 0. Let n(b) = b**2 + 5*b + 1. Let i be n(-3). Put -2, u, i in decreasing order.
-2, u, i
Let h = -1 - -6. Let x = 3 - h. Let b = x + 7. Sort 0.4, 2, b in increasing order.
0.4, 2, b
Suppose -2*i = -6, -15 = -3*o + 6*i - 5*i. Let z(h) = -h**3 + 7*h**2 - 6*h + 2. Let n be z(o). Sort n, 0, -4.
-4, 0, n
Suppose -n = n. Suppose 6*x - 2*x = 40. Let v = -9 + x. Sort v, 3, n in increasing order.
n, v, 3
Suppose 3*j + 5*h + 10 = -2*j, 3*h + 2 = -5*j. Let f be (-3)/10 - j/(-4). Let o = f + 1/5. Sort 2, o, -2/11.
-2/11, o, 2
Suppose -2 = -12*v + 10. Sort v, 0, -2, 3 in decreasing order.
3, v, 0, -2
Let o(n) = n**2 - 6*n - 4. Let p = -8 - -13. Let y be o(p). Let l = y + 5. Sort 1, l, -2 in descending order.
1, -2, l
Let r = -2.8 - -3. Let o = -0.1 + r. Put o, 2/3, 4/7 in increasing order.
o, 4/7, 2/3
Suppose -11 = -w - 10. Sort 28, 0, w in ascending order.
0, w, 28
Suppose 2 = 2*u - 18. Suppose -u - 5 = 3*v. Sort -2, 1, v in decreasing order.
1, -2, v
Let o = 12.5 - 13. Sort o, -0.1, -5/6 in descending order.
-0.1, o, -5/6
Let g be 0/(2/(-2) + 3). Suppose 0 = -u - 0*t + t, 8 = -4*u + 2*t. Let m be (-2 - u) + 0 + 2. Put m, g, 1 in ascending order.
g, 1, m
Let j = 0.33 - -0.17. Put j, -0.6, -2/7 in decreasing order.
j, -2/7, -0.6
Let k(s) = s + 8. Let u be k(-8). Let h = 7 + u. Suppose -m - 5*n = -3*m - h, n = 2*m - 5. Put m, -2, 3 in decreasing order.
m, 3, -2
Let c(t) = t**3 + 7*t**2. Let n be c(-7). Suppose 2*p - p + 10 = n. Let q be p/(-3)*6/4. Put q, -3, 2 in decreasing order.
q, 2, -3
Let m = -10 + 15. Put m, 2/9, -0.2, -0.5 in ascending order.
-0.5, -0.2, 2/9, m
Let v = -8 - -4. Let z = -13 + 18. Sort -5, v, z in descending order.
z, v, -5
Suppose -3*v = -3*h + 30, -5*v - 6 - 34 = -3*h. Suppose h*z - z - 8 = -2*r, -5*z = -15. Sort 2, r, 5 in descending order.
5, 2, r
Let m = -23 - -24. Put m, 5, 1/5 in descending order.
5, m, 1/5
Let x be 3 - (-6)/(-18)*-3. Sort -12, 5, 2, x.
-12, 2, x, 5
Let p = -0.03 + 0.53. Put 0.04, p, 0.4 in descending order.
p, 0.4, 0.04
Let s = 0 - 1. Let i = 0 + s. Sort -2, 0.5, i.
-2, i, 0.5
Let x = -7.9 + 8. Let c = -1 - -1. Sort -2/7, c, x.
-2/7, c, x
Let l = 20.6 - 28. Let i = l + 8. Let w = -0.1 + i. Put 5, 2/5, w in decreasing order.
5, w, 2/5
Let k = 204 - 2654/13. Put 1/2, k, 3 in ascending order.
k, 1/2, 3
Let u(m) = -m + 8. Let s be u(6). Let l = 3 + -5. Let o be 1/((-1)/((-6)/l)). Sort 1, s, o in decreasing order.
s, 1, o
Suppose 5*z - 3 - 32 = -3*g, 4*z - 16 = 0. Suppose -2*s + g = 13. Sort 1, 2, s in descending order.
2, 1, s
Let n = -73/36 + 16/9. Sort n, -6, 1/3 in descending order.
1/3, n, -6
Let t be 60/24*(-6)/5. Sort t, -5, 0 in increasing order.
-5, t, 0
Let p be (-2)/((-22)/6 - -3). Suppose 6*k - 4*k = -10. Let q(a) = -a - 1. Let g be q(-6). Sort k, g, p in descending order.
g, p, k
Let i(a) = -a**3 + a. Let k be i(0). Let v = -4.6 + 1.1. Let r = -0.5 - v. Sort k, 6/11, r in increasing order.
k, 6/11, r
Let h = -7 + 5. Let b = -4 - h. Sort -2/27, 0.3, b in ascending order.
b, -2/27, 0.3
Let b = -69/7 - -10. Sort 0.2, b, 5.
b, 0.2, 5
Let v be (-5 + -5)*(-4)/10. Let t(w) = -2*w + 2. Let y be t(v). Let u be (-1)/(1/y*-2). Sort -4, u, 3 in ascending order.
-4, u, 3
Let w = 3.21 - 0.21. Put 0.2, w, 0.06 in descending order.
w, 0.2, 0.06
Let p(y) = -18*y + 3. Let r be p(-1). Suppose 2*v + t = -13, -3*t + r = v - 8*t. Let h = 3 - -1. Sort h, 4/7, v in increasing order.
v, 4/7, h
Let m(z) = -10*z**3 + z + 1. Let k be m(-1). Let t be (-42)/(-15) + 2/k. Let n = 4 + -9. Put t, n, 0 in descending order.
t, 0, n
Let l = 0.422 + 4.608. Let s = l - 5. Let q = s + 2.97. Put -5, q, -1/6 in decreasing order.
q, -1/6, -5
Suppose -3 = p + 1. Let j = 101 + -173. Let z be 8/j*3*1. Sort z, p, -3/5 in ascending order.
p, -3/5, z
Let i = -2.4 + 1.4. Let p = -272 - -1083/4. Put 0.1, i, p in decreasing order.
0.1, i, p
Let b = 1 + -6. Suppose o - 7*z - 11 = -2*z, 0 = -2*o - 2*z - 14. Sort 0, o, b.
b, o, 0
Let g be (-2)/3*1 + 20/(-15). Suppose -6 = 2*t, -6*i + 5*t + 15 = -i. Suppose -y + 2*y + 4 = i. Put g, y, 2 in decreasing order.
2, g, y
Let f = 91 + -93. Put -4, 0.02, 1/3, f in increasing order.
-4, f, 0.02, 1/3
Let r = 7 - 15. Let q = r + 4. Put 1/8, -0.2, q in decreasing order.
1/8, -0.2, q
Let d be (-2)/(-5)*(1 - 6). Let q = 33 + -36. Sort d, 5, q in descending order.
5, d, q
Let n = -0.39 - -5.39. Put n, -1, -9 in ascending order.
-9, -1, n
Let t = 76 + -78. Put 5, 2, t in decreasing order.
5, 2, t
Let p = -5/6 + 1/3. Put -4/7, p, -0.06 in decreasing order.
-0.06, p, -4/7
Let w = 16 + -11. Let x = 9 - -4. Suppose 4*a = 3*k - 32, -5*a - 3*k - x = -0*k. Put 0, w, a in increasing order.
a, 0, w
Let r be (-656)/15 + (-16)/24. Let f = r + 44. Sort -1, 5/4, f.
-1, f, 5/4
Let b be 0 - (-3 - (4 - 3)). Let r = -6 - -4. Sort 1/4, r, b.
r, 1/4, b
Let t(c) = -c + 6*c - 5*c + 2*c - 6. Let v be t(4). Sort 1, -3, v in descending order.
v, 1, -3
Suppose 8 = -2*a + k - 4*k, 2 = 3*a + k. Let j(g) = 5*g - 6. Let z be j(a). Sort -2, z, -5 in descending order.
z, -2, -5
Let u = 14 + -9. Let q be (-1)/((-2)/(-2)) + 3. Suppose -2*k = -0 - q. Sort k, u, -1 in ascending order.
-1, k, u
Let f = 41 + -46. Sort f, -4, -3 in ascending order.
f, -4, -3
Let w = 10.19 + -0.19. Let o = -14 + w. Put o, -7, -3 in increasing order.
-7, o, -3
Let s = 81 - 79. Let r = -0.2 + 0.3. Sort 4, s, r.
r, s, 4
Suppose 9 - 26 = -4*p + 5*w, 7 = -p - w. Sort p, 8, 2 in ascending order.
p, 2, 8
Suppose -2*x + 3*h = 3*x + 4, -5*x + h = -2. Let w be (1 - 2) + 0 + 0. Let c be (0 - -2)*5/2. Put c, w, x in descending order.
c, x, w
Let h be (-3)/1*-1*(-6)/(-9). Sort -1, -4, 4, h in decreasing order.
4, h, -1, -4
Suppose -4*a + 7 = 27. Let y = -7 + 4. Put y, 3, a in increasing order.
a, y, 3
Let n = -26 - -31. Let v = 6 - 6. Sort 4, n, v in decreasing order.
n, 4, v
Let q(n) = -n - 24. Let o be q(-14). Let t be (-19)/o + -3 + 1. Sort 0, -1, t in decreasing order.
0, t, -1
Let r = 24.6 - 25. Put 6, r, -4 in decreasing order.
6, r, -4
Let n(w) = -3*w**2 - 2*w + 3. Let a be n(1). Put 5, 2, a, -3 in increasing order.
-3, a, 2, 5
Let g = 3 + 2. Suppose -2*s + o - 4 = 0, -o = g*s - 4*s - 4. Suppose s = 7*d - 2*d + 20. Put 2, d, 5 in decreasing order.
5, 2, d
Let m = -0.5 - -11.5. Let w = m + -16. Put 0.1, w, 2/7 in increasing order.
w, 0.1, 2/7
Let j = 28 - 29. Sort j, 4, 3 in increasing order.
j, 3, 4
Let k = -3 - 1. Let h = 10 + -16. Sort h, k, -1 in descending order.
-1, k, h
Suppose -c + 4*p + 22 = 1, -5*p - 10 = 2*c. Suppose -c*v - 2 = -7. Sort v, -5, 5.
-5, v, 5
Let x = -6 + 10. Let v(w) = 3*w**2 + 2*w + 1. Let l be v(-1). Suppose -r = 3*f + l*r - 3, -4*f + 2*r + 28 = 0. Sort 3, x, f in increasing order.
3, x, f
Let p = 7 + -9. Put -1, p, 41 in increasing order.
p, -1, 41
Let h be (-3)/(-3)*0/(-3). Suppose 0 = -3*u - 11 + 56. Suppose -5 = -5*j + u. Sort h, 2, j in increasing order.
h, 2, j
Let f be 0 - (-2)/(-3)*-3. Let s(o) = o**3 + 8*o**2 + 13*o + 9. Let l be s(-6). Put f, 4, l in descending order.
4, l, f
Let y = -135 + 132. Sort y, -1, 3,