7/13 + 2392121. Let m = x - 2128. Let r = m - 83/26. Put 0.1, 3, r in ascending order.
r, 0.1, 3
Let f be 2/6 + (-20)/6. Let g = f - -3. Let q = 7 + -9. Sort 5, g, q.
q, g, 5
Let a = -1.6 - -2. Sort -5, 2, a in ascending order.
-5, a, 2
Let l be (-26)/45 - 4/18. Let t = 1 + -1.5. Let o = -0.9 - t. Put l, -1, o in increasing order.
-1, l, o
Let s = 43 - 47. Sort 5, -1/3, s.
s, -1/3, 5
Suppose 0 = -4*j + 37 - 5. Let b = -7 + j. Let x be ((-2)/(-6))/(b/12). Put x, -3, -5 in descending order.
x, -3, -5
Suppose -30*l - 48 = -36*l. Let o = -8 + 13. Sort o, l, -2 in increasing order.
-2, o, l
Let j be 3/(-9) - (-18)/27. Sort 1, j, -0.5 in ascending order.
-0.5, j, 1
Suppose -4*z = 2*f + 12, -4*z = 15 + 5. Suppose 2*x - 4 = f*n, 3*n = -4*x - 1 - 2. Let q = n - -2. Put q, -3, 2 in descending order.
2, q, -3
Suppose 0 = -3*s - 9 - 3. Let f be 0*(-4)/(1*-8). Suppose f = -0*j - 3*j + 15. Sort 0.4, j, s in increasing order.
s, 0.4, j
Let k(d) = -2*d**2 - 14*d - 2. Let n be k(-10). Let p be 4/(-24) + n/(-12). Let m = p + -8. Sort 2, m, 3 in descending order.
3, 2, m
Let u = -3 + 8. Let v = u + -3. Let m = -6 - -3. Put m, 1, v in descending order.
v, 1, m
Let m be -1 - -3 - (-5)/(-2). Suppose -3*a - 5*o - 9 = -7*a, 5 = -o. Sort 1, a, m in increasing order.
a, m, 1
Suppose 2 = 3*t - 10. Suppose 4*o + 29 = 5*i, -4*o - o - 32 = -2*i. Let v = -11 - o. Put t, -2, v in increasing order.
v, -2, t
Let m = 100 - 704/7. Let p = -18 + 18.21. Let b = p + -0.11. Sort b, -4, m in descending order.
b, m, -4
Let f = -61 - -57. Sort -1, 3, f in descending order.
3, -1, f
Suppose 0*x = 3*x, -4*x = -4*o + 12. Sort 2, o, -3 in decreasing order.
o, 2, -3
Let z = 2 + -6. Let u(m) = m**3 + 3*m**2 - 3*m + 1. Let a be u(z). Put 4, -4, a in decreasing order.
4, a, -4
Let x be (2/(-8))/(11/(-22))*10. Sort 1, -4, x, 4.
-4, 1, 4, x
Suppose -5*x = -0*x - 5. Let a = -4 - -1. Let d(u) = -u - 5. Let k be d(-10). Put a, k, x in increasing order.
a, x, k
Let w be (-39)/9 + 1/3. Let l be (-6)/w*(-16)/6. Sort 3, -5, l in decreasing order.
3, l, -5
Let m be 58/(-18) - 22/(-99). Let b be (-1 - m)/((-10)/15). Put -5, b, 5 in increasing order.
-5, b, 5
Let x = 185 + -183. Suppose 2*g + 0*g - 10 = 0. Put -5, g, x in decreasing order.
g, x, -5
Let y = 5 - 7. Let q be (32 + (y - -3))*1. Let p be 2/(-11) - 93/q. Sort -4, 1, p.
-4, p, 1
Let g be 2/(-7) + (-52)/14. Let v(k) = k**2 + 10*k + 8. Let l be v(-9). Sort 2, g, l in descending order.
2, l, g
Let s be (15/(-30))/(2/8). Sort -10, s, 4 in descending order.
4, s, -10
Let c = -19 - -22. Suppose c*t - 6*t = 0. Sort t, -4, 5.
-4, t, 5
Let s = -0.1 + -2.9. Suppose -7 = k + 2*k + r, 3*r - 27 = 3*k. Suppose 3*a = -3*f - 6, 0 = 2*f + 7*a - 6*a + 2. Sort k, s, f in decreasing order.
f, s, k
Suppose 6*d = 2*d + 3*a + 9, -d - 5*a - 15 = 0. Let u be -2 + 3/(3 + d). Sort 4, u, -3 in descending order.
4, u, -3
Let k(o) = o**3 + 12*o**2 + 10*o - 14. Let t be k(-11). Sort -2/5, 1.2, t in decreasing order.
1.2, -2/5, t
Let h = 0 + 3. Let g be ((-30)/(-12)*-2 + 4)/(-3). Sort g, h, 3/8 in decreasing order.
h, 3/8, g
Suppose -3*i - 41 = i - 5*l, -5*l = i - 21. Let r(h) = 6*h**2 + 0*h**3 - h**2 + h**3 + 3*h + 0*h**2. Let y be r(i). Sort -3, -4, y in ascending order.
-4, -3, y
Let z = 0.21 + -0.21. Put -2/5, z, -1/4 in increasing order.
-2/5, -1/4, z
Let u(z) = -z - 1. Let g be u(3). Let b(n) be the first derivative of n**4/4 - n**3 - 2*n**2 - n - 3. Let w be b(4). Sort 1, g, w in ascending order.
g, w, 1
Let r = 40 + 16. Let o be 4/14 + (-2)/r. Let w = 28.3 - 28. Sort o, w, 1/6 in descending order.
w, o, 1/6
Let v(k) = -k**3 + 6*k**2 - 4*k - 7. Let i be v(5). Put -0.4, 0.8, i, 0 in descending order.
0.8, 0, -0.4, i
Let u = -1 + 6. Let h be (-2)/10 - (-144)/(-30). Put u, -4, h in descending order.
u, -4, h
Let m = -15 + 5. Let d = -9.5 - m. Let c be (-1)/(-4)*16/20. Put c, d, 1/4 in increasing order.
c, 1/4, d
Suppose 5*k = -z + 145, -k - 3*z = -5 - 10. Sort 3, -4, k in increasing order.
-4, 3, k
Suppose 2*z + 0 + 8 = m, -2*m - z + 6 = 0. Suppose 5*l = -0*l + 2*h, 2*l + 16 = m*h. Let o be ((1 - l) + -1)/(-7). Put o, 1, 2 in descending order.
2, 1, o
Suppose 0 = w - 3*w - 8. Sort 0, w, 7 in descending order.
7, 0, w
Let t be (3/(-5))/(2/(-10)). Suppose 8*q = t*q - 2*b - 6, -2*b - 6 = 0. Let d be ((-6)/(-4))/((-6)/(-8)). Sort -1, d, q in decreasing order.
d, q, -1
Suppose 2*y - 8 = -z - 3*z, 10 = 5*z. Put -3, -2, y in increasing order.
-3, -2, y
Let f(u) = 2*u + 15. Let r be f(-11). Sort r, -4, 4 in ascending order.
r, -4, 4
Let j(p) = -p**3 - 10*p**2 + 4*p - 8. Let u(h) = -2*h**3 - 21*h**2 + 8*h - 17. Let c(r) = -13*j(r) + 6*u(r). Let x be c(-5). Sort -5, 5, x.
-5, x, 5
Let l(j) = j**2 + 6*j + 6. Let a be l(-4). Let x = a + 4. Suppose -s - 16 = -4*q, -2*s - 17 = -q - x*q. Sort q, 4, -1 in ascending order.
-1, q, 4
Suppose -6 = -4*s + 10. Suppose 2 = 3*q - 4. Sort 3, q, s in decreasing order.
s, 3, q
Let n = -2 + -89. Let c be 2/10 + n/5. Let p be 57/c - (-5 - -2). Sort 4, -1/9, p in descending order.
4, -1/9, p
Let k = -1.38 - -13.78. Let o = -12 + k. Sort -1/3, 0.1, o in descending order.
o, 0.1, -1/3
Let w be (-4)/(-16) + (-1)/2. Let h = 87 + -86.5. Put 3/4, w, h in ascending order.
w, h, 3/4
Let r = -32 - -32. Sort -3/2, r, 4 in descending order.
4, r, -3/2
Let p = 2 - -3. Let v be (1 - (0 + 0))/(-1). Put 3, v, p in increasing order.
v, 3, p
Suppose -n - 3 = 2. Suppose 6*f - 4 = 2*f. Sort f, 3, n.
n, f, 3
Let h = -0.1 + 0.2. Let s = h - -0.1. Let i = -26 + 24. Put 2, s, i in ascending order.
i, s, 2
Let d(v) = -4*v**2 + 5*v + 4. Let j be d(-1). Let w be (-6 - 0)*(-1)/2. Sort 4, j, w.
j, w, 4
Let u be -2 + 1 + (-2)/(-2). Suppose 9 + 1 = -5*h. Sort u, h, -5.
-5, h, u
Let r = 2 - -2. Let g = 40.9 - 41.2. Put -0.1, r, g in descending order.
r, -0.1, g
Suppose 15 = -11*u + 8*u. Let i = 1 - 2. Put u, 0.3, i in ascending order.
u, i, 0.3
Let j = -23 + 20. Put -1, 1, j in descending order.
1, -1, j
Let v(t) = 10*t - 5. Let c be v(0). Let l = 2 + -5. Put c, l, 4 in ascending order.
c, l, 4
Let k be 1 - -1 - 6*-1. Let f be (k/(-10))/((-1)/(-5)). Suppose -2 = -2*r, 4*r + 2 - 3 = j. Sort 2, j, f in decreasing order.
j, 2, f
Let u = 0.4 - 0. Let c = u + 0. Let g = -50 - -49. Sort c, g, -5.
-5, g, c
Let n = -3.4 - -3. Let r = n - 0.1. Let t = -134/85 - -20/17. Sort t, r, 0.3 in increasing order.
r, t, 0.3
Let n(h) = h**3 - 2*h**2 - 2*h - 2. Let t(x) = x**2 - 14*x - 12. Let c be t(15). Let l be n(c). Let w = -2 + 1. Sort l, w, 2 in increasing order.
w, l, 2
Suppose -74*f = -71*f + 6. Sort 23, f, 3.
f, 3, 23
Let r = -9.7 + 6.7. Let w = 10 + -4. Put w, r, -0.2 in descending order.
w, -0.2, r
Let z = -0.1 + 0.1. Let a be -1 + 2 + (-18)/16. Suppose -13 = -4*s + 3. Sort s, a, z in decreasing order.
s, z, a
Suppose -w = w + 4. Let c be (w/4)/(12/(-8)). Let h = -0.3 + -0.1. Sort 0.3, h, c in decreasing order.
c, 0.3, h
Suppose 6*g - g + 20 = 0. Let k = 36.92 + -36. Let v = k + 0.08. Sort v, g, 0 in descending order.
v, 0, g
Let b(r) = r**3 - 8*r**2 - 9*r - 1. Let q be b(9). Sort -19, q, -3 in decreasing order.
q, -3, -19
Let s(d) = d - 4. Let y be s(4). Let b(v) = 1 + 4*v + 0 - 3*v + 3. Let n be b(-3). Put 5, y, n in increasing order.
y, n, 5
Let s = 1.07 + -0.07. Let c = 6 - 4. Sort c, s, -3/5 in decreasing order.
c, s, -3/5
Let d = -3.2 - -3. Let w = 7 - 3. Let m = w - 3.7. Sort -4, m, d in decreasing order.
m, d, -4
Suppose 0*i + 12 = 3*i. Suppose 3*a = -3*x + 3, x - 3*a = -5*a + 6. Sort 5, x, i in decreasing order.
5, i, x
Let k = -4.55 + 13.7. Let i = k + -0.15. Let l = i + -6. Sort 5/3, l, -1 in decreasing order.
l, 5/3, -1
Suppose -3*h + 3*x + 6 = -21, -2*h + 3*x = -23. Suppose 0 = p - 2 + 6. Let o = h + p. Put o, -4, -3 in descending order.
o, -3, -4
Let h = 5 - 8. Let s = -3/5 + -9/10. Put h, 5/4, s in ascending order.
h, s, 5/4
Let n = -38 - -39. Put n, 5/3, -5 in decreasing order.
5/3, n, -5
Suppose 0 = 4*x + 10 + 10. Sort 0, x, -1 in decreasing order.
0, -1, x
Suppose 3 = h - 2. Let i = 0 - h. Sort i, -1, 3.
i, -1, 3
Let h = -6.9 + 7. Let t = 1.1 - h. Sort t, 4, -0.5 in decreasing order.
4, t, -0.5
Let s be 4/(-14) - 198/42. Sort -3, s, -4 in decreasing order.
-3, -4, s
Suppose 5 = 2*v - 5. Let w(f) = -f**2 - 5*f + 4. Let k be w(-6). Sort v, 4, k in increasing order.
k, 4, 