13. Let y be k(6). Suppose -4*d - 3*d + y = 0. Put 4, d, f in increasing order.
f, d, 4
Let i = 133/1221 + -2/111. Sort -1, 1/3, i in decreasing order.
1/3, i, -1
Let f = 0.13 - 0.08. Let v = f - 1.05. Let c = 1.5 - 2. Sort 2, v, c in ascending order.
v, c, 2
Let a = -23/6 - -9/2. Put -0.1, 3, a, 2/5 in increasing order.
-0.1, 2/5, a, 3
Suppose 9*o = 4*o + 120. Let r = -29 + o. Sort -4, 2, r in ascending order.
r, -4, 2
Let r(c) = -c**2 - 9*c + 8. Let b be r(-10). Let s = b + 3. Put s, -2, 3 in ascending order.
-2, s, 3
Let p = -5.6 - -0.6. Sort p, -8, 0 in decreasing order.
0, p, -8
Let u = -13.89 - -1.49. Let n = u + 12. Put n, -6, -2 in descending order.
n, -2, -6
Let g = 4.69 + 0.31. Sort 1, g, 0.05, -3.
-3, 0.05, 1, g
Let g = 0.5 - 1. Let j = -0.8 - g. Let a = -4 - -7. Sort 0, j, a in descending order.
a, 0, j
Suppose 0 = h - 2*w, -h - 2*h - 2*w = 8. Suppose 0*t = -4*t + 12. Sort h, t, 4.
h, t, 4
Let y = 106 + -76. Let j be y/21 - (-12)/(-28). Put j, -4, -5 in ascending order.
-5, -4, j
Let s = -1348/9 - -150. Let x = 2 + -1. Sort x, s, -0.8 in ascending order.
-0.8, s, x
Let i = -0.8 + 5.8. Let a = 8 - 13. Sort a, -4, i.
a, -4, i
Let k(s) = 3*s + 43. Let g be k(-16). Sort 3, -4, 1, g.
g, -4, 1, 3
Let y = 5.88 - -0.12. Let x = y + -10. Let b = -2/581 - 1727/4648. Put x, 2/19, b in increasing order.
x, b, 2/19
Let z be 0/(-1)*(2/(-6) + 0). Sort z, 1, 17, 3.
z, 1, 3, 17
Let k(j) = j**2 + 2*j - 2. Let p be k(0). Put p, -23, -1 in increasing order.
-23, p, -1
Let p be 2 + ((-22)/26 - 1). Let m = 3.6 - 3.4. Put p, 1/10, m in ascending order.
1/10, p, m
Suppose -3*i - 48 = o + 17, -3*o - 48 = 2*i. Let r = 108/5 + i. Suppose a - 8 = l, 0*a - 2*l = a + 7. Sort a, r, 2/3 in increasing order.
r, 2/3, a
Let u = -0.15 - -10.15. Let l = u + 2. Let y = -8 + l. Sort 2/21, 0.4, y in decreasing order.
y, 0.4, 2/21
Let f = -23 + 24. Sort f, -9, -2 in decreasing order.
f, -2, -9
Suppose -o + 5*o = -8. Sort 0, o, -4/3.
o, -4/3, 0
Let a = 51 - 102. Let o = 203/4 + a. Put 0.3, 3, o in ascending order.
o, 0.3, 3
Let i = 0.3 + -0.1. Let r = -11.7 + 12.2. Sort i, 0, r.
0, i, r
Let p = -16.1 + 16. Put -0.3, p, -2/5 in descending order.
p, -0.3, -2/5
Suppose -m = -3*x - 3, -x - 2*m + 4*m - 1 = 0. Let y be ((-3)/15)/x*1. Put 3, -3, y in decreasing order.
3, y, -3
Let j be 10*2/2 + -3. Suppose 0 = g - j + 5. Suppose 2*l - 3 = -c, g*c - 7 = 2*l - 1. Put -3, 1, c in descending order.
c, 1, -3
Let t = 0.64 - -0.36. Put -7, 2, t in descending order.
2, t, -7
Let f(n) = n**2 + 7*n + 5. Let w be f(-5). Let i be 0/(1 + (w - -3)). Suppose 5*d + 5*h = -20, 0 = 5*h + 25. Put i, d, -2 in ascending order.
-2, i, d
Let h = -14 + 17. Put 0, h, 2 in increasing order.
0, 2, h
Let v = -3 + 8. Suppose -v*g = 4*h + h - 35, -h - 13 = -4*g. Put 0, -1, g in ascending order.
-1, 0, g
Let y(g) = 3*g**2 - 4*g + 2. Let m(q) = q**2 - q + 1. Let u(t) = -m(t) + y(t). Let c be u(2). Put -1, c, 5 in decreasing order.
5, c, -1
Suppose -j - 2 = -4*j + k, -2*j - 1 = -3*k. Suppose 5*w - x + 4 = 0, -2*w - 3*x - 1 - 4 = 0. Put w, -4, j in decreasing order.
j, w, -4
Let t be (-2)/(-10)*(-5)/(-6). Let c be (-16)/3*(-3)/2. Let z be 0 - 18/c - -2. Put z, t, -5 in decreasing order.
t, z, -5
Suppose -b = -6 - 6. Suppose 5*z + b = 2*z. Put z, -1, 2 in decreasing order.
2, -1, z
Let w = 1241/7 + -177. Sort 1, w, -5, -0.3 in decreasing order.
1, w, -0.3, -5
Let i = 8793/4630 - -2/2315. Let q = i - 12/5. Let z = 2.5 - 2. Sort q, 0.6, z.
q, z, 0.6
Let d = -18 + -16. Let k = d - -37.8. Let u = k - 0.8. Put u, -2, 0 in ascending order.
-2, 0, u
Suppose -2*z - 7 = 3. Let o = 23 - 32. Let i = z - o. Sort -5, 5, i.
-5, i, 5
Let o = 2 - -2. Let p(c) = -2*c**3 - c**2. Let h be p(-1). Let l(k) = 2*k**2. Let w be l(h). Sort -4, w, o.
-4, w, o
Let v = -7 + 9. Let c = -0.1 + -0.1. Put c, 13, v in decreasing order.
13, v, c
Suppose -5*d - 33 = -3*q, 2*q = d + 7*q + 29. Sort d, 4, 1.
d, 1, 4
Suppose b + 3 = 4*b. Let c = 0.2 + -0.19. Let x = c + 1.99. Sort -1, x, b in decreasing order.
x, b, -1
Let w = 189/4 - 47. Suppose -83 + 53 = -5*r. Sort w, 2/7, r in increasing order.
w, 2/7, r
Let j = -0.31 - -0.01. Let f = -0.2 + j. Let y be (12/56)/(3/6). Sort f, y, -2/9 in increasing order.
f, -2/9, y
Let v = -109 - -106. Let g(h) = 4*h. Let i be g(-1). Put v, 7, i in ascending order.
i, v, 7
Suppose 0 = -4*r + 5*w + 12, -2*r + w + 16 = -4*w. Suppose 0 = -2*f + 3*f. Let c be -4*(-1)/38 - f. Sort r, 0.3, c.
r, c, 0.3
Suppose -g - 24 + 73 = 0. Let s be (2/(-10))/(1/247). Let u = g + s. Put u, 1/5, -0.5 in decreasing order.
1/5, u, -0.5
Let d = -27.1 - -49.4. Let a = -22 + d. Sort -2/5, a, 0.2.
-2/5, 0.2, a
Let r(n) = n**3 + 5*n**2 - 5*n + 6. Let k be r(-6). Suppose 0 = -4*z + h, -22 = -z + 3*z + 5*h. Put k, z, -4 in descending order.
k, z, -4
Let l = -12 + 9. Suppose 0 = -i - i. Put l, 4, i in decreasing order.
4, i, l
Suppose 2*d = 2*o - 6, -d + 4*d + 19 = -2*o. Let n be -3*3/(-9) - o. Suppose -5*k - n*g - g = 40, 2*k = g - 3. Sort 3, k, 1 in descending order.
3, 1, k
Let t be -5 + 6/2 + -2. Let c be (-10)/6*(-12)/4. Put t, c, 2 in decreasing order.
c, 2, t
Let g be ((-1)/(-10))/((-10)/12 + 1). Sort g, 2/3, -3 in decreasing order.
2/3, g, -3
Suppose 0 = 5*v + 3*h, -3*h + 7 = 4*v - 2*h. Put 1, 0, v, -4 in ascending order.
-4, 0, 1, v
Let b = -1 - -2. Put 2/7, b, 2/11 in descending order.
b, 2/7, 2/11
Let u = -4 + 3. Let n be -1*(u - (1 - 0)). Let k = -4 + n. Put 5, 1, k in ascending order.
k, 1, 5
Let x be 72/(-16)*6/(-9) + -4. Put x, 0, 4 in descending order.
4, 0, x
Suppose 5*z - 19 = 1. Suppose z*s = -3 - 5. Let h(x) = x. Let d be h(-1). Put s, -3, d in ascending order.
-3, s, d
Let q = 0 - 0.4. Let k be 24/105*25/(-10). Put 0, q, k in descending order.
0, q, k
Let i be -1*(-2 - -5 - 2). Let y(t) = 2*t - 1. Let z be y(1). Sort i, -5, z.
-5, i, z
Let z = -3.8 + 3.6. Put z, -8, -0.3 in descending order.
z, -0.3, -8
Suppose -4 = 2*y, n = -3*n - 3*y + 10. Let v = -5 + n. Sort -3, 4, v in descending order.
4, v, -3
Suppose -14 = -2*m - 2*u, 1 + 5 = 3*u. Put -4, 6, m in decreasing order.
6, m, -4
Let b be 20/6*18/(-15). Suppose 3*m + 21 = -4*j + 2*j, 2*j = 3*m + 9. Sort b, 5, m in descending order.
5, b, m
Let p be (-1)/(((-4)/(-3))/(-4)). Suppose -5*m - 5 = p*k, -6*k = -k - 4*m + 33. Put k, 0, -4 in decreasing order.
0, -4, k
Let v = -2 - 1. Let c = -1.6 + 3.8. Let l = c + -1.8. Sort l, -0.4, v in increasing order.
v, -0.4, l
Let d be (-1)/(-3) + (-24)/18. Put 2, d, 0.3 in increasing order.
d, 0.3, 2
Let i = -45 + 45.49. Let m = -0.01 - i. Sort m, 0.3, 0 in increasing order.
m, 0, 0.3
Let r(p) = p**2 + 9*p + 9. Let s be r(-7). Suppose 4 = 4*i - h, -3*i + 2*h - 10 = -4*i. Sort i, s, -2 in descending order.
i, -2, s
Let i be 3*2/15 + 156/(-165). Let s = -0.4 + -4.6. Sort -0.07, s, i in descending order.
-0.07, i, s
Let d = 71 - 425/6. Put d, 0.1, -4 in descending order.
d, 0.1, -4
Suppose -2*s + 30 = 4*s. Sort 2, -1, s in ascending order.
-1, 2, s
Suppose -9*n + 8*n + 2 = 0. Suppose n*u + 4*x - 10 = 0, 2*u + 2 = -2*x + 6. Put -0.06, 1/6, u in decreasing order.
1/6, -0.06, u
Let a = -0.1 - 0.4. Let j = -0.1 + 0.6. Let g = 5 + -4.6. Sort a, g, j in decreasing order.
j, g, a
Suppose -3 = -2*r - 9. Suppose 1 = -c, z - c - 17 = 4*c. Let t be z/10*(-25)/(-10). Sort t, r, -4 in descending order.
t, r, -4
Let g = 0 - -2. Put -2, -5, g in decreasing order.
g, -2, -5
Let s(d) = d**3 + 7*d**2 - d - 5. Let j be s(-7). Sort j, -6, -2 in descending order.
j, -2, -6
Suppose 5*h - 11 = -3*d + 2*d, -4*d - 2*h - 28 = 0. Let l be (1 + (-2)/4)*4. Let n be ((-3)/l)/(d/24). Put -3, n, 5 in descending order.
5, n, -3
Let w(x) = -x**3 - 5*x**2 - 6*x - 5. Suppose -16 = 5*l - 4*p - 4, l - 5*p = 6. Let s be w(l). Let j be 0*((-21)/(-6) - s). Sort -4, j, 5 in descending order.
5, j, -4
Let c be 4/10 + (-3)/5. Let d = -114 + 116. Sort d, 5, c.
c, d, 5
Let c be (-4671521)/(-1099) + 4/14. Let f = c - 4251. Let n = -638/785 - f. Sort -5, n, 0.4 in increasing order.
-5, n, 0.4
Let v be (-5 - 215/(-45))*-1. Sort -4/9, 8, v, -2 in decreasing order.
8, v, -4/9, -2
Suppose 0*j - 4*w - 20 = 5*j, -w = -2*j + 5. Suppose j = 3*x - 7 - 5. Put 1, -5, x in descending order.
x, 1, -5
Let l(o) = -o**3 + 11*o**2 - 11*o + 7. Let a be l(10). Put 3, a, 2 in decreasing order.
3, 2, a
S