13. Let u be (t - o)*(2 - 6). Put u, -3/2, 2/5 in decreasing order.
2/5, -3/2, u
Let x = -13 - -17. Let s = x + -2. Suppose s*z = -3*y + 4, 0*z + 4*y = -z + 2. Put -2, z, -4 in decreasing order.
z, -2, -4
Suppose 0 = 80*h - 75*h + 50. Let n be ((-17)/5 + 4)/((-16)/h). Put -0.4, 0.2, n in descending order.
n, 0.2, -0.4
Let g be (-1)/(3/(1*-54)). Suppose -4*z - g = 2*z. Sort 0, -2, z, 5 in descending order.
5, 0, -2, z
Let s = -14.458 + -0.042. Let g = s + 14. Let q = 0.09 - 0.19. Sort g, q, 1 in ascending order.
g, q, 1
Suppose y + 9 = j, -3*y - 22 = -3*j + j. Suppose -i + 5*i - 10 = -2*s, s - 2*i + 11 = 0. Let f be s - (2 + 1 + -3). Put j, f, 4 in decreasing order.
j, 4, f
Let k be (-1)/((-1)/((-10)/2)). Let s(z) = 3*z + 40. Let u(j) = -2*j - 40. Let f(m) = -5*s(m) - 6*u(m). Let l be f(12). Sort k, l, -1.
k, -1, l
Suppose 0 = -14*j - 50 - 20. Sort j, -17, 4.
-17, j, 4
Let g = -98 - -99. Sort -1, g, -5, -1/6 in decreasing order.
g, -1/6, -1, -5
Let u = 3988/69 - 58. Let r = 3/23 - u. Put r, 0.24, -0.1 in descending order.
r, 0.24, -0.1
Let g = 137 - 136. Sort g, -2, 0.5, -3 in increasing order.
-3, -2, 0.5, g
Let y = 87.8 - 88. Put y, 2/5, 5 in decreasing order.
5, 2/5, y
Let k be (-16)/24*12/(-28). Let x be (-3057)/270 + 2/4. Let c = 53/5 + x. Sort 3/2, k, c.
c, k, 3/2
Let u be 2/4*(7 - -1). Let f be (9/(-27) + (-8)/(-6))*23. Let v = -21 + f. Sort u, 0, v in increasing order.
0, v, u
Let h = 4 - 3. Suppose 0 = j - 3*t + 2, -j - 4*j + 2*t = 10. Put -4, 5, h, j in descending order.
5, h, j, -4
Suppose 3*h = 2*v - 2 + 19, 0 = -4*v + 3*h - 19. Suppose 1 = -3*l - 0*y + 2*y, -5*l + 13 = 4*y. Let c = l + -3. Sort c, 5, v.
c, v, 5
Let v(z) = -z**3 + 5*z**2 - 7*z + 3. Let h be v(3). Put h, 5, -1 in decreasing order.
5, h, -1
Let v = 1139 - 1139. Sort 6, v, -1 in ascending order.
-1, v, 6
Let n be (-20)/5 + 1 + 1. Put -3, n, 1, 4 in ascending order.
-3, n, 1, 4
Let b = -217 - -217. Sort -0.3, b, 1.5, -1/3 in decreasing order.
1.5, b, -0.3, -1/3
Suppose -z - 25 = -2*z + 5*r, -3*r - 15 = 3*z. Suppose 0 = -2*t + m - 5*m + 18, z = -4*t - m + 15. Sort 5, -4, t in decreasing order.
5, t, -4
Let z = -3 + 3.01. Let p = 18 + -21. Let g be (p - (-5)/2)/(-1). Put -2, g, z in ascending order.
-2, z, g
Let v = -13.33 + 0.33. Let h = 17 + v. Put -1, 2/9, h in decreasing order.
h, 2/9, -1
Let i(j) = j**3 + 12*j**2 + 14*j + 24. Let l be i(-11). Let x = 5 - 10. Put 3, x, l in ascending order.
l, x, 3
Let t(f) = 8*f + 12. Let q be t(-2). Put 11, 2, q, 1 in increasing order.
q, 1, 2, 11
Let s(h) = 0*h**3 + h**2 - 4 - 2*h**3 - 8*h**2 + h**3. Let k be s(-7). Let f = -112 + 109. Put f, k, -2 in ascending order.
k, f, -2
Let l be 32/105 + 108/1134. Sort l, -0.17, -1 in increasing order.
-1, -0.17, l
Let i(a) = -a. Suppose 0*v - 2*v - 2*n = 6, 0 = -5*v - 4*n - 17. Let m be i(v). Let p = -36 + 36. Put p, -4, m in decreasing order.
m, p, -4
Let c be (-9)/(-30)*(-4)/9. Let s = 1.54 - -45.96. Let t = 47 - s. Sort c, -0.3, t in descending order.
c, -0.3, t
Suppose -1 = -4*l + 15. Suppose 8*o = l*o. Suppose o*m - 2*m - 6 = 0. Sort m, -2, 0 in ascending order.
m, -2, 0
Let h = -8 - -6. Suppose -37 = 7*j - 2. Let r(v) = -v**2 + 5*v - 1. Let f be r(5). Sort f, j, h in descending order.
f, h, j
Let b(z) = z - 10. Let q be b(3). Let f be (((-21)/(-18))/q)/((-18)/(-81)). Let d be (-2)/(-9) + (-47)/9. Sort 2, d, f.
d, f, 2
Let m be (-11)/(-2) - (-1)/2. Let y be (2/4)/(1/m). Suppose -13*n = -26*n - 13. Put n, -2, y in increasing order.
-2, n, y
Let p be (7 - 18) + 1*2. Let r = 4 + p. Put 5, -1, r, -2 in decreasing order.
5, -1, -2, r
Let j(w) = -w**3 - 6*w**2 + 16*w. Let n be 10*(-5)/10 - 3. Let c be j(n). Sort 4, c, 8 in descending order.
8, 4, c
Let o(h) = h**2 + 8*h + 9. Let s be o(-7). Suppose s*q = -4*r + 3*r + 8, 2*q = r. Sort r, 0, 2.
0, 2, r
Let l = -13.39 - -0.39. Sort 0.2, 1, -4, l.
l, -4, 0.2, 1
Suppose -5 - 4 = 3*c - 3*o, -2 = -c - 4*o. Suppose 0 = -2*g + 3 + 1. Put g, c, -3 in decreasing order.
g, c, -3
Let y be 2/(-15) - 408/(-360). Sort 3, -5, y.
-5, y, 3
Let s = -4/773 + 7806/14687. Put s, 1/5, 2/13 in descending order.
s, 1/5, 2/13
Let o be 2 - 2*(2 + -3). Suppose -o*i = -3*i. Let z = 0.6 + 3.4. Put -1, z, i in decreasing order.
z, i, -1
Let b = 29.55 + -30. Let y = b - -0.15. Let a = -1.7 + -1.3. Sort y, a, -0.8 in increasing order.
a, -0.8, y
Let w = -537 - -542. Put 0.09, -0.4, w in decreasing order.
w, 0.09, -0.4
Let z = 8 - 7.9. Suppose -22*u + 24*u = -52. Let k be (-1 + (-24)/u)*-2. Sort -5, z, k in descending order.
k, z, -5
Let z(m) = 27*m - 79. Let x be z(3). Put 0, x, -4, 3 in ascending order.
-4, 0, x, 3
Suppose 16*o + 5 = 21*o. Sort -88, -0.4, o.
-88, -0.4, o
Let x = 12 + -135. Let j = x + 124. Sort -5, 6, j in descending order.
6, j, -5
Let b = 3/4277 - 141486/491855. Let f = b + 2/23. Put 0.3, f, 1/3 in descending order.
1/3, 0.3, f
Let l = 0.07 - -0.05. Let m = l + -5.12. Let x be -10 + 8/1 - 22*(-2)/24. Put x, m, 4 in decreasing order.
4, x, m
Let z = 65.2 - 65.2. Put z, -0.2, 58 in descending order.
58, z, -0.2
Let x = 218/195 + -28/39. Sort x, -0.3, 4/7 in decreasing order.
4/7, x, -0.3
Let d = -760 + 763. Suppose 4*q = 16, -4*q = h - 2*h - 18. Sort -4, h, d.
-4, h, d
Suppose -2*g = -2*z - 14, -4*g - 5 = -3*g + 3*z. Let k = 0 + 7. Let i(j) = -2*j + 16. Let p be i(k). Sort -5, p, g.
-5, p, g
Let m = -6 - -11.5. Let q = 0.5 - m. Let t = -1.2 - -6.2. Sort t, -0.2, q in decreasing order.
t, -0.2, q
Suppose 6*a = 11*a + 35. Put 4, -3, 8, a in ascending order.
a, -3, 4, 8
Let z be 30/(-8) - (-2)/(-8). Let p be (-10)/2 - (2/(-5) - 516/60). Sort z, -1, p, 3.
z, -1, 3, p
Let z = -5.142 - -0.142. Let b be ((-9)/6)/(4 + 2). Sort -0.4, -1/2, z, b in descending order.
b, -0.4, -1/2, z
Let u(p) = p - 1. Let y be u(6). Let c = -45 - -60. Put c, y, -5 in decreasing order.
c, y, -5
Let s = -9 - -7. Let j be 5 - ((-2 - -5) + s). Let v = 0.2 + -0.4. Put v, j, -3 in descending order.
j, v, -3
Let b = -70 - -73. Suppose -14*v = -9*v. Suppose v = l - 0*l - 4. Put b, l, 0 in ascending order.
0, b, l
Let c = 0.3 + 3.7. Sort -2/7, 1/4, c, -0.2 in decreasing order.
c, 1/4, -0.2, -2/7
Let d = -101 - -101.1. Sort -27, 4, d in decreasing order.
4, d, -27
Let a(c) = -3*c + 26. Let w be a(6). Suppose w*n = 9 - 1. Put n, -1, -4 in increasing order.
-4, -1, n
Let n = -112641199061/2660 + 42346316. Let z = -3/380 - n. Sort -0.4, -0.2, z, 2/13 in decreasing order.
2/13, -0.2, -0.4, z
Suppose -2*n - 5*m - 4 = 0, 2*m - 2 = 87*n - 89*n. Let x(s) = -s**2 - 5*s + 1. Let c be x(-4). Sort -1, c, -3, n in decreasing order.
c, n, -1, -3
Let z = 0.13 + 3.87. Let y = 4.1 - 4.2. Put -0.5, z, y, 0 in increasing order.
-0.5, y, 0, z
Let o be 3/9*486/6. Suppose 0 = 3*h - 5*v - o, -3*v - 7 = -h - 2*v. Suppose 25 = 5*w + d, d + 3 + h = 3*w. Sort -2, w, -4.
-4, -2, w
Let k = 58.6 - 59. Let x = -10 + 6. Let z be (-3)/(-5)*15/6. Put k, z, x in ascending order.
x, k, z
Let u = -14/11 - -12/11. Let a be 12/(-30)*(-8)/(-64)*-4. Sort u, 5, a in descending order.
5, a, u
Let q = 0.606 - 0.52. Let f = q - -2.914. Sort 0.4, 16, f in descending order.
16, f, 0.4
Let l = -865 - -865. Sort -2/3, 1/61, l in descending order.
1/61, l, -2/3
Let a(f) = 212*f + 212. Let h be a(-1). Suppose j = 5*j + 52. Let y be 0 + -1 + -2 + 2. Put j, h, y in decreasing order.
h, y, j
Let c = -10 + 10.12. Sort -2, 0.4, c.
-2, c, 0.4
Let j be (-12)/10*18/36. Let o = 145 - 145.2. Put -2, 1/9, o, j in ascending order.
-2, j, o, 1/9
Let s be 0/(0 - -1 - 0). Put s, 0.04, 4 in decreasing order.
4, 0.04, s
Suppose 88*w - 126 = 67*w. Sort 2, 4, -4, w in ascending order.
-4, 2, 4, w
Let x = 1 + 4. Suppose 3*w - 56 = -5*l + 4*w, 0 = l - 4*w + 4. Sort l, x, 1.
1, x, l
Let b = 20 + -33. Let a = b - -12.6. Let j be 2/4 - (-52)/(-72). Sort j, -4, a.
-4, a, j
Let f = -344/9 + 38. Put -3, -2/51, f in ascending order.
-3, f, -2/51
Let l(v) = 2*v**3 - 21*v**2 + 25*v - 147. Let a be l(10). Sort -1, a, 1, -32 in descending order.
a, 1, -1, -32
Let g = -128 + 130. Sort 3, -0.2, g, 0.5 in decreasing order.
3, g, 0.5, -0.2
Let k(m) = m**2 - 5*m + 3. Let w be k(6). Suppose w*x - 4*x = 10. Suppose -4 = -6*u + x. Sort u, 4, -3 in ascending order.
-3, u, 4
Let t = 8.6 + -8. Let x = -0.4 - t. Let a = 16 - 16. Sort -0.1, a, x.
x, -0.1, a
Let c(i) = i**3 + 5*i**2 +