 13. Let j be o(7). Put 2, -1, j in ascending order.
j, -1, 2
Suppose 0 = 3*k + 2*k + 10. Suppose -49*z + 50*z = 0. Suppose -3*h = -h - 3*m - 3, 3*h + m = -12. Put k, z, h in ascending order.
h, k, z
Let g be 38/(-5) - 6/15. Let m = 6 + g. Let c = 3.7 - 4. Put -3/7, c, m in decreasing order.
c, -3/7, m
Let z be (10/8)/(6/(-24)). Sort -2, z, 0.
z, -2, 0
Let j be 27/6 - 2/4. Suppose -j*m - p = 20, 3*p + 20 = -3*m + p. Let d = 19 + -56/3. Put 0.4, m, d in ascending order.
m, d, 0.4
Suppose t - 2*t = -4*n - 93, 113 = -4*n + 5*t. Sort n, 5, -2, -3 in descending order.
5, -2, -3, n
Let d(y) = -3 + 5 + 2*y - 3*y. Let k be d(7). Let g(i) = -i**2 + i + 4. Let u be g(3). Sort u, 4, k in descending order.
4, u, k
Let a be 152 + ((-8)/4)/2. Let p = a + -607/4. Sort p, -0.1, 6.
p, -0.1, 6
Let r(p) = 2*p + 12. Let l be r(-9). Let u(i) = -i**2 - 5*i + 3. Let z be u(l). Sort 3, z, 2.
z, 2, 3
Suppose 17 = 5*c - 4*i - 5, c = 4*i + 14. Suppose 5*l + 9 - 49 = 5*v, 0 = 4*l + 4*v - 8. Put 4, c, l in descending order.
l, 4, c
Let o(u) = -u - 11. Let s be o(-11). Suppose v + 3 - 5 = 0. Suppose 2*w - 5*d - 8 = s, -v*w + 2*d + 6 = -2*d. Put -2, w, -5 in decreasing order.
w, -2, -5
Let d = 12 + -15. Put 1, d, 2 in descending order.
2, 1, d
Let u = -0.115 + 0.015. Put u, 0.3, 2/13 in decreasing order.
0.3, 2/13, u
Let s(b) = -4*b + 4. Let n be s(4). Let k = n - -12. Let a = -8 + 6. Sort k, a, 1.
a, k, 1
Let r be (-156)/(-82)*(-1)/(-14). Let x = r + 12/41. Sort 0.2, -5, x in descending order.
x, 0.2, -5
Let y = 14 - 11. Let r = -1.2 - -6.2. Let i = r - y. Sort i, 0.1, 0.3 in increasing order.
0.1, 0.3, i
Let h be 5/2*36/15. Suppose 0 = -3*b - 0*b - h. Let m = 6 + -3. Sort b, m, 4.
b, m, 4
Let q(c) = c**2 + c + 2. Let i be q(0). Let n = -2 - -2. Suppose n*t + 4*a + 3 = 3*t, -t - 7 = -4*a. Sort 1, i, t in decreasing order.
t, i, 1
Suppose 2 - 11 = -3*c. Let j be (1 + -4)*5/15. Put -5, j, c in descending order.
c, j, -5
Suppose 6*v = 8*v - 8. Suppose 16 = 4*s - v. Sort 0, 2, s in decreasing order.
s, 2, 0
Let d be (2 - 3)*(-3 + 2)/1. Suppose 4*r - 10 = -r. Put r, d, -3 in decreasing order.
r, d, -3
Let s = 432/7 + -62. Put 1/6, -2, 3/2, s in descending order.
3/2, 1/6, s, -2
Let c be (3 - (9/6 + 2))*-8. Sort 2, c, 0, -3 in descending order.
c, 2, 0, -3
Let j = -23 - -12. Let f = j + 15. Put 1/9, 2/5, f in descending order.
f, 2/5, 1/9
Suppose 4*b + 4 = -4*u, 6*b - 11 = -u + b. Put u, 5, 1 in increasing order.
u, 1, 5
Suppose -o = -3 - 1. Suppose o*m - 20 = -m. Put 5, -1, m in descending order.
5, m, -1
Let d = -7 + 7.4. Let b = -0.2 + d. Sort 0.4, 4, b in ascending order.
b, 0.4, 4
Let x(m) = -m**2 + 9*m - 6. Let q be x(8). Sort -1, 0.4, q in descending order.
q, 0.4, -1
Let i be -1*(1 - 1)*-1. Suppose g + 2 = -i*g. Let h = 4 + -2. Sort -3, g, h in decreasing order.
h, g, -3
Let v = -299/42 + 44/7. Let k = 43.8 - 50. Let m = k - -2.2. Put m, -2, v in increasing order.
m, -2, v
Let w = -41 - -45. Let q = 3 + -5. Let i be (-1)/(-4) + 2/q. Put 0.5, w, i in increasing order.
i, 0.5, w
Let y be (1/(-2))/(-1)*-4. Put y, -3, 3 in increasing order.
-3, y, 3
Let f = -0.1 + -0.1. Sort 4, f, 1/3.
f, 1/3, 4
Suppose 0 = -5*d - 2*x - 16, -2*d - 2*x - 10 = -3*x. Suppose 5 = 3*h - 7. Put h, d, -3 in decreasing order.
h, -3, d
Let l = -21 - -19.2. Let g = -2.2 + l. Sort 7, g, 0.1.
g, 0.1, 7
Let m = 10 + -6. Let j = m - 10. Let h = j + 5.7. Sort h, -1, -1/2 in descending order.
h, -1/2, -1
Let d(c) = -2*c**2 + 14*c + 5. Let y be d(7). Suppose -17 + 2 = -y*q. Let o = -3.5 + 3. Put 0.4, o, q in increasing order.
o, 0.4, q
Let o(x) = x**2 - 13*x + 12. Let g be o(12). Suppose 0 = 2*i - i - 5*y - 3, 0 = 4*i + 5*y - 12. Let z be (i/5)/((-2)/(-10)). Sort z, -1, g in ascending order.
-1, g, z
Let q = -1.6 - 1. Let z = -3.4 + 3.8. Let i = q - z. Sort 2/5, 3, i in increasing order.
i, 2/5, 3
Suppose 3*m + 0 = -18. Let c(i) = i**2 + 7*i + 8. Let q be c(m). Let t be q + 3/(9/6). Put 1, t, -3 in decreasing order.
t, 1, -3
Let f = -29 + 26. Sort 0, 1.5, f in decreasing order.
1.5, 0, f
Let v(r) be the third derivative of r**4/24 - 3*r**2. Let w be v(5). Sort w, 0, 1.
0, 1, w
Let y = -1/15 - 11/60. Sort y, 2, 1/6, -2/3 in ascending order.
-2/3, y, 1/6, 2
Let j(n) = 5 - 1 + 5*n + 3*n**2 - 4*n**2. Let r be j(4). Suppose -6*u = -11*u. Put u, r, 3 in ascending order.
u, 3, r
Let j = -18.4 - -18. Let r = j + -0.1. Let p = -0.1 - -0.5. Sort r, p, 1 in decreasing order.
1, p, r
Let d = 52 - 52.4. Sort 3, 5, d.
d, 3, 5
Let a = 7 - 4. Let y = -8 + a. Put 5, 1, y in increasing order.
y, 1, 5
Let h = 2 + -4. Let m be (-4)/((-16)/(-4)) + 5. Put m, h, 0 in descending order.
m, 0, h
Let o = 137/77 - -92/385. Let k = -20/11 + o. Sort 2, k, 5 in ascending order.
k, 2, 5
Suppose 2*v - 6*v = -12. Suppose -5 = -v*m - 2. Sort 4, -1, m in increasing order.
-1, m, 4
Let c = -3.01 + 0.01. Let v = 0.04 + -2.04. Let h = v - -2.1. Put h, 4, c in descending order.
4, h, c
Let x(h) = -h - 4. Let i be (-18)/4 + (-3)/6. Let q be x(i). Put -1/6, q, 3/2 in descending order.
3/2, q, -1/6
Let g(j) = 2*j**2 - 36*j - 2. Let v be g(18). Suppose -2*s - 1 - 9 = -2*y, s - 2*y = -9. Sort 1, v, s in decreasing order.
1, s, v
Let g = -1 + 1. Suppose g = -u + 3*f - 11, -5*f + 2 - 5 = u. Let m = u - -4. Sort 5, m, 2 in decreasing order.
5, 2, m
Suppose 5*k = -1 + 31. Put k, -4/3, -2 in decreasing order.
k, -4/3, -2
Let a(f) = -f**3 + 8*f**2 - 7*f + 3. Let w be a(7). Sort -1, w, 2, -5.
-5, -1, 2, w
Let h(a) = -a**3 - 7*a**2 - 12*a. Let w be h(-4). Sort 44, w, 1 in ascending order.
w, 1, 44
Let c = 15 + -18. Sort c, 0.4, -0.1 in ascending order.
c, -0.1, 0.4
Let o be 2*1/(-4)*(-20)/45. Let s = -0.01 - -8.01. Let a = s + -3. Put o, a, 0.1 in ascending order.
0.1, o, a
Let v = -13 - -18. Sort -0.4, -1, v, -1/10 in descending order.
v, -1/10, -0.4, -1
Let l = -195 + 197. Put -0.5, l, 3 in decreasing order.
3, l, -0.5
Let k = -3/37 + 83/111. Sort k, 0.1, 2 in decreasing order.
2, k, 0.1
Suppose -4*i + s + 56 = -0*i, 0 = -5*s. Let v be 4/6 + i/(-3). Put 1/2, v, 3 in ascending order.
v, 1/2, 3
Suppose -2*o + 4 = -o. Let a be 17/o - 5/20. Sort a, 0, -3.
-3, 0, a
Let m = -2.05 - -0.05. Let x = m + 2. Let l = 1 - -3. Sort x, l, 1 in descending order.
l, 1, x
Let p = 0.039 - -2.961. Sort -4, 4, p.
-4, p, 4
Let q = 5.5 - 3.56. Let r = q - -0.06. Let w = -2.8 + 3. Sort -1, r, w in ascending order.
-1, w, r
Suppose 3*t - 8*t = -4*l, -t + 5*l = 0. Suppose 2*n + 1 + 1 = t. Let x = 4 - 2. Put n, 3, x in increasing order.
n, x, 3
Let b be (1/(-3))/(2/18). Sort -1, 5, b.
b, -1, 5
Let k(y) = -y**2 + 8*y + 9. Let u be k(9). Suppose 0 = 2*j - u*h - 3*h + 6, -h = 3*j - 13. Let g = 8 - 13. Sort j, -1, g in ascending order.
g, -1, j
Suppose -7 = -c - 5*j, 0 = -0*c + c + 4*j - 6. Put -0.5, c, -5 in descending order.
c, -0.5, -5
Let f = -123 - -125. Put 0, -3, -1, f in decreasing order.
f, 0, -1, -3
Let j(b) = -3*b + 4. Let g be j(3). Let d be 1 - (-378)/(-78) - (-2)/(-13). Put d, g, 3 in decreasing order.
3, d, g
Let k = -4.08 - -0.08. Suppose -2*i = 2*i. Put i, -2, k in ascending order.
k, -2, i
Let x = 16 - 11. Sort -17, -4, -2, x in ascending order.
-17, -4, -2, x
Suppose -6*h = 4*h. Let k = 18 - 13. Let z(w) = -2*w + 6. Let j be z(4). Sort h, j, k in decreasing order.
k, h, j
Let z be (-2 - -1) + -4 - (1 - 1). Put z, -7, 5, 1 in descending order.
5, 1, z, -7
Suppose -4 = -9*u + 11*u. Let c = -3 - -2. Sort u, -0.7, c in descending order.
-0.7, c, u
Let u(n) = n**2 + 8*n - 2. Let g be u(-8). Sort g, 13, 0.
g, 0, 13
Let q be (-2)/9 - (0 + 0). Let g be 75/90 + 4/6. Sort 1, g, q in descending order.
g, 1, q
Let n = -24 - -24. Sort 1, n, 8 in ascending order.
n, 1, 8
Let v = 17 + -16.5. Suppose -3*l + 0*l = -6. Suppose 3*t = 5 + 4, -l*j = -2*t. Sort j, 0, v in increasing order.
0, v, j
Let x = 0 + -13. Let r = x - -12.6. Sort -0.3, 1/8, r in decreasing order.
1/8, -0.3, r
Let k = -2.8 + -0.2. Let m = k - -4. Put -2/11, -0.4, m in increasing order.
-0.4, -2/11, m
Let w = -28 - -24. Sort -4/3, -1/9, w.
w, -4/3, -1/9
Let w = 3 - 3.2. Let n = -35 - -38.2. Let t = 1.2 - n. Sort -1/2, w, t.
t, -1/2, w
Let u = -2 - -4. Let y = -7 - -7.2. Sort u, 0.5, y in descending order.
u, 0.5, y
Let a = -7 - -6. Let z be a + -1*(-10)/2. Put -3, -4, z in ascending order.
-4, -3, z
Let m = -5 + 4