-13. Let r = -2 - -5. Sort r, -2/11, n.
-2/11, n, r
Let v be 6/8 + (-69)/12. Let p be (6/5)/(3/10). Suppose 1 = -u + p. Sort 0, u, v in decreasing order.
u, 0, v
Let m = 9 - 4. Let l = 5 - m. Sort 0.3, 0.4, l in decreasing order.
0.4, 0.3, l
Let x = -60 + 361/6. Sort x, 2/11, 2/5 in increasing order.
x, 2/11, 2/5
Let v = 6.13 - 6.5. Let o = v - -0.07. Let r = 1 + -3. Sort o, r, -4 in decreasing order.
o, r, -4
Suppose 6*r - 4*r - 2 = 0. Let t = -11 + 15. Let h = t - 2. Put h, r, -1/10 in descending order.
h, r, -1/10
Let p = -1 - -1. Let o be (2 - 1) + 39/3. Let i be (1 - 2)/((-7)/o). Put i, 3, p in ascending order.
p, i, 3
Suppose 0 = 4*p - 8, 0 = 3*j + j - 3*p - 2. Let n be (-2)/6*(21 + -12). Sort j, n, -4 in descending order.
j, n, -4
Let n(r) = r**2 + 7*r - 10. Let t be n(-9). Let s = -13 + t. Sort 0.2, s, -3 in increasing order.
s, -3, 0.2
Let x be ((-2)/(-140)*2)/(144/504). Put 0.2, -2/3, x in decreasing order.
0.2, x, -2/3
Let i = -3 - 2. Suppose -x + 0*x = 0. Sort -4, x, i in ascending order.
i, -4, x
Let q = 7 + -4. Let g be ((-3)/(-5))/((-2)/(-10)). Suppose 0*b + 3 = -g*b. Put q, b, 0 in ascending order.
b, 0, q
Let n = -51 + 54. Let q = 2 - 4. Sort n, 0.5, q in increasing order.
q, 0.5, n
Let f = -79 - -313/4. Let n be (-35)/(-30)*(-4)/(-14). Put n, f, -4 in ascending order.
-4, f, n
Let s be ((-2)/(-2))/((-7)/(-35)). Put 2, s, 4 in decreasing order.
s, 4, 2
Suppose -3*n - 11 = -2. Let d = -30 + 29.7. Sort 0.3, n, d.
n, d, 0.3
Let t be (4 + -3)/((-4)/(-20)). Put 3, 1, t in descending order.
t, 3, 1
Let p = -0.3 + 0.1. Let s = -223 + 10. Let m = s + 1919/9. Sort p, m, -1 in descending order.
m, p, -1
Let g = -9 - -8.2. Let y = g - -1.1. Let v = -3.1 - -0.1. Put y, v, 0 in increasing order.
v, 0, y
Let s(i) = i**3 - 11*i**2 - 11*i - 19. Let y be s(12). Sort -4, -2, y.
y, -4, -2
Let y = 2.93 + 0.07. Let r = 6 - y. Let u = r - 3.4. Put -1/6, u, 2/7 in descending order.
2/7, -1/6, u
Let r be 46/10 + -5*16/(-200). Let u = -6/31 + 135/217. Sort r, 0.4, u in decreasing order.
r, u, 0.4
Let j = -2 - -7. Sort 0.2, j, 2.
0.2, 2, j
Suppose -2*i = 2*p + p, 5*i - p = 0. Put i, 5, -4 in ascending order.
-4, i, 5
Suppose 0 = -4*l + 2*z, 0 = 5*l - 4*z + 4 + 2. Let a be (l + -1)/(6/(-24)). Let g(m) = m + 1. Let p be g(-2). Put p, -5, a in ascending order.
-5, a, p
Suppose f + 5 = -4*y, -10*y + 6 = -f - 15*y. Let p = 0 + -4. Sort 4, f, p in decreasing order.
4, f, p
Suppose -4*f = 4*y - 4, 1 = 3*y - 2*y - 3*f. Sort 6, y, 3.
y, 3, 6
Let c be 1/(-2) - 3/(-2). Let b(u) = u**2 - u - 2. Let d be b(0). Let s = 1 + 3. Put d, s, c in decreasing order.
s, c, d
Let i = 0 + 12. Let u be ((-4)/8)/(3/i). Put u, 0, -4 in descending order.
0, u, -4
Suppose 0 = 4*v + 2*x - 10, 4*v - 4*x + 11 = x. Put v, 2, -3, 3 in decreasing order.
3, 2, v, -3
Suppose m + 10 = -4*m. Sort m, -6, -3.
-6, -3, m
Suppose 0 = -g - 5*q - 21, -5*g = -4*q - 0*q - 11. Let b be (g/5)/(0 + 1). Let t = -254 - -1781/7. Put b, 3, t in decreasing order.
3, t, b
Let c(l) = l**2 - l + 2. Let t be c(4). Suppose 0 = g - 3*y + 4*y - t, -5*g + 38 = -3*y. Sort g, -3, -5 in decreasing order.
g, -3, -5
Let f be 2/4*(3 - 161/49). Sort f, 2/5, -7 in descending order.
2/5, f, -7
Let t = -31.5 - -31. Put t, -7, 2/13 in increasing order.
-7, t, 2/13
Suppose -b - 2*k = -3*k + 1, 0 = k + 2. Let a = 9 - 6. Put -2, a, b in ascending order.
b, -2, a
Let g = -461.01 - -465. Let l = -0.01 - g. Put l, -2, 1/5 in descending order.
1/5, -2, l
Let j(f) = f**2 - 7*f - 8. Let b be (-1 - 10/(-6))*12. Let g be j(b). Sort 0.4, g, 0.3 in ascending order.
g, 0.3, 0.4
Suppose 5*n = 37 - 12. Let f be (-376)/(-260) + 2/n. Let d = f + -107/65. Sort d, 2, -2/11.
-2/11, d, 2
Let b be (-3)/(-12) + 14/8. Let t be (0/b)/(2/(-1)). Suppose -1 - 19 = -4*s. Put s, 1, t in decreasing order.
s, 1, t
Let w(p) = p**3 + 3*p**2 - 5*p - 3. Let o be w(-3). Suppose 0*m = 3*m - o. Sort -3, m, 2 in decreasing order.
m, 2, -3
Let q(l) = -l**3 - 4*l**2 + 5*l - 2. Let u(h) = 5 + 2*h + 3*h - 3*h. Let w be u(-5). Let x be q(w). Sort 2, x, 3 in descending order.
3, 2, x
Let v = 0.4 + 0.6. Let h = -38 + 38.1. Sort v, h, 2 in descending order.
2, v, h
Let v = -23 - -22. Let q(t) be the first derivative of 2*t**2 + t + 1. Let w be q(v). Sort -1, -2, w in increasing order.
w, -2, -1
Let c(n) = -2*n**2 + 17*n + 9. Let r be c(9). Put r, -5, 5 in descending order.
5, r, -5
Let r be 1 - (3 + -6 - 1). Put 1, -2, r in decreasing order.
r, 1, -2
Let l(d) = -d + 14. Let u be l(10). Put u, -5, -1 in descending order.
u, -1, -5
Let i = -16.8 - -16.6. Let t = -0.6 - -2.6. Put i, 1/2, t in descending order.
t, 1/2, i
Let d = -0.02 + 0.06. Let m = -6 - -8. Sort 0, d, m in descending order.
m, d, 0
Let u be 10/8*(3 + 21). Let p be (-308)/(-60) + (-4)/u. Put 2, p, 1 in decreasing order.
p, 2, 1
Let w(o) = o**3 - 3*o**2 + 5*o - 2. Let u be w(3). Let j = u + -8. Let v be (-12)/j - (-4)/10. Sort v, -4, -3 in ascending order.
-4, -3, v
Let d = -3 - -1. Let o = d - -7. Suppose -o*c = 2*b + 4 + 10, 4*c = -16. Sort -4, b, 5 in descending order.
5, b, -4
Let x be 2 + (-5 - -2) - -3. Let r be (0/x)/((-1)/1). Let i = -1.3 + 0.3. Sort i, 2, r in ascending order.
i, r, 2
Let b(w) = -w**3 + 25*w**2 - 24*w - 6. Let i be b(24). Sort i, 0, 2, 1 in decreasing order.
2, 1, 0, i
Suppose 0 = 2*z - 8. Let i(a) = -a**3 - 7*a**2 - a - 2. Suppose -5*c + c - 8 = 0, -4*m + 2*c = 24. Let k be i(m). Put z, 3, k in ascending order.
3, z, k
Let p = 282 + -2259/8. Put p, 7, 4 in decreasing order.
7, 4, p
Let f be (3 - 4)/(3 - 2). Let k be f - (-2 + (-2 - -1)). Let c = 8 + -4. Sort 5, k, c in decreasing order.
5, c, k
Let u = 6 - 3. Let l = 0 + u. Suppose -8 = 2*f + m + m, 16 = -4*f - m. Sort 1/2, l, f in decreasing order.
l, 1/2, f
Suppose 3*y + 9*j = 4*j - 2, -10 = -5*j. Let c(u) = -u**3 - 7*u**2 - 8*u - 4. Let g be c(-5). Let a be y/(-14) + 46/g. Sort 3, 2, a in ascending order.
a, 2, 3
Let r = 3.06 - 0.06. Let h = -3.3 + r. Put h, 0.7, 1 in ascending order.
h, 0.7, 1
Let n be -3 - (-2 - (3 - 2)). Let j(r) = -r**3 + 4*r**2 + 4*r + 7. Let v be j(5). Sort v, -1, n in decreasing order.
v, n, -1
Let z = 8 + -9. Let j be 2*(0 + z - -3). Let q = -13 - -8. Put q, 0, j in decreasing order.
j, 0, q
Suppose 2*k - 2 = 3*k + 3*s, 0 = -4*k + 3*s + 52. Let z = -5 + k. Suppose 3*j = -z - 7. Put 0, 0.3, j in ascending order.
j, 0, 0.3
Suppose 4*w + 15 = 11. Let f be -1 + -2 + 3 + 0. Suppose j - 2*g = f, 4*j - g - 6 = g. Sort 0, w, j in increasing order.
w, 0, j
Let y be -10 - (1 + (-2 - -2)). Let v = y - -16. Suppose 2*r = r + 3*q, -3*r + 6 = -3*q. Put -1, r, v in ascending order.
-1, r, v
Let t be (0 + 4/10)*-10. Suppose 19 - 3 = 2*x. Let l = 13 - x. Sort t, l, -3 in ascending order.
t, -3, l
Let g be (4/268)/((-1)/(-2)). Let w = -205/134 + g. Sort -5, w, 0.
-5, w, 0
Let o = -4 - -4.3. Let f = -3.3 - -3.7. Sort o, f, -2/3 in increasing order.
-2/3, o, f
Let i be (-172)/(-12) + (-4)/(-6). Let w be 2/1*(-6)/(-4). Suppose 0*s = w*s + i, -2*m = 2*s. Put 2, 0, m in ascending order.
0, 2, m
Suppose 2*p - 2 = -3*w + 8, 5*w = 5*p. Let k(m) = -m**2 + 7*m + 3. Let z be k(8). Sort z, w, 4.
z, w, 4
Let n = 3 + -1. Let u be n + (-1 - 2) + 36. Let b be (-2)/(-7) + 4/u. Put -2, -5, b in increasing order.
-5, -2, b
Let g = -26.9 - -23. Let b = 4 + g. Put 0.3, -0.06, b in descending order.
0.3, b, -0.06
Let k(p) = -p**2 - 6*p + 8. Let q be -8 + (-1)/(-1) + 0. Let r be k(q). Let s = 148 - 143. Sort -2, s, r in descending order.
s, r, -2
Let i = 1/14 + 9/70. Let b be (-6)/10 + (2 - 4) + 3. Sort 1/4, i, b.
i, 1/4, b
Let l be 26/(-36) + 2/9. Let y be -2*3/2 + (-33)/(-12). Sort y, l, -2/7.
l, -2/7, y
Let m = -1.2 - 3.8. Suppose 7 = -3*n + 3*a - 2, -5*n - 7 = -3*a. Sort m, n, 0 in descending order.
n, 0, m
Let x = -14.96 - -15. Sort 0.4, x, 5.
x, 0.4, 5
Let g = -155 - -161. Put g, 1, -3, 3 in increasing order.
-3, 1, 3, g
Suppose 0 = -0*f - 2*f + 6. Put -4, f, -3 in increasing order.
-4, -3, f
Suppose -10*g = -16*g. Sort 4, g, -5, -3 in decreasing order.
4, g, -3, -5
Suppose -j = 2*j - 6. Sort -9, 5, j.
-9, j, 5
Let c = -0.6 - -0.1. Let v = -34 - -31. Put v, -1, c in decreasing order.
c, -1, v
Let s = -78 - -79. Put 4, s, -1, -5 in decreasing order.
4, s, -1, -5
Let q(l) = -l. Let v be q(-5). Sort v, 0, 3/5 in decreasing order.
v, 3/5, 0
