 13. Sort -3, x, d.
-3, x, d
Suppose -3 + 53 = 10*m. Put 0, 7, m in decreasing order.
7, m, 0
Let i(h) = -h**3 - 4*h**2 + 8*h + 7. Let x be i(-5). Let p be 1*3*(-2)/6. Put x, p, 0 in decreasing order.
0, p, x
Let b be (8/(-12))/(3/(-36)). Let v be 1 + (-3)/((-3)/2). Let p = v - b. Sort p, -4, 1.
p, -4, 1
Let y = 4.09 + -0.09. Let g = -1.9 - 3.1. Sort 5, y, g in ascending order.
g, y, 5
Let w = 1/41 - 169/205. Put -2, 5, w, -0.5 in descending order.
5, -0.5, w, -2
Let d = -8.4 + -0.6. Let l = d - -10.3. Let h = 1 - l. Put 1/3, -3/2, h in decreasing order.
1/3, h, -3/2
Let f = -486 + 9236/19. Let g = 16 - 16.2. Sort g, f, 0 in descending order.
f, 0, g
Let n = 2 - 1.4. Let k = -0.07 + -0.13. Let t = k + n. Put -0.4, t, 4 in descending order.
4, t, -0.4
Let s be (-24)/(-6) - 52/14. Let u = -19 + 13. Let p = u - -8. Sort s, -1/6, p in descending order.
p, s, -1/6
Let f = 1.25 + 3.85. Let d = f + -5. Let t = -26/7 + 111/28. Sort t, -2, d in increasing order.
-2, d, t
Let l = -51.9 - -60. Let k = 8 - l. Let s = -155 - -1707/11. Put 0.3, k, s in ascending order.
k, s, 0.3
Let q = -36/85 + 2/85. Let x(f) = -f**3 - 8*f**2 - 7*f + 1. Let p be x(-7). Sort p, -0.3, q.
q, -0.3, p
Let t be 0 - 28/10 - -2. Let f = 0 + 0.4. Put f, -1, t in ascending order.
-1, t, f
Let v = -10 + 30. Suppose -3*n - v = 5*c, 4*c + 16 = -2*n - 0*c. Suppose k + 2 + n = 0. Sort k, -1, 2.
k, -1, 2
Let z = -0.2 + 4.2. Let r = -0.8 - -0.9. Put z, r, -5 in increasing order.
-5, r, z
Suppose -2*c = f + 13, -f = -2*c + 7*c + 28. Let g = 0 + 0. Suppose r + g = -5. Put 3, f, r in increasing order.
r, f, 3
Let c = 4 + -4.3. Let s = 0.7 - 3.7. Sort -1, c, s.
s, -1, c
Suppose -3*q - 25 = -5*o, -7 = -3*q - 4*o + 13. Sort 7, -0.4, -1, q in increasing order.
-1, -0.4, q, 7
Suppose 1 - 7 = -6*q. Sort q, 0, -5 in decreasing order.
q, 0, -5
Let g(n) = -3*n - 1. Let y be g(-1). Put -2, 0, y in descending order.
y, 0, -2
Let n(a) be the first derivative of a**4/4 - 4*a**3/3 + 5*a**2/2 - 3*a - 1. Let b be n(3). Let z be ((-20)/15)/((-2)/6). Sort z, b, 2 in descending order.
z, b, 2
Let u = 2 - 0. Let h be u/(-75)*(-5)/(-1). Sort h, 1, -5.
-5, h, 1
Suppose 0 = -4*p + 41 + 23. Let h be -1 + 7/(28/p). Put -2, h, -1 in increasing order.
-2, -1, h
Let w = -7 - -6.7. Let r = 247/6 - 41. Sort -4, w, r in decreasing order.
r, w, -4
Let h(q) be the second derivative of q**4/12 + 5*q**3/6 - 3*q**2/2 - 2*q. Let a be h(-5). Put a, 6, 4 in decreasing order.
6, 4, a
Let y = 13.3 - 8.3. Let c = 1 + -1. Sort c, 1, y in decreasing order.
y, 1, c
Suppose -11 = -6*z - 23. Let p = -1 + -1. Let u = 2 + p. Sort -3, u, z in descending order.
u, z, -3
Let g be (-1 - 0)*(0 - 2). Let f(n) = n**2 - n - 2. Let i(x) = x**2 - 2*x - 1. Let t(y) = -2*f(y) + 3*i(y). Let h be t(g). Sort -2, 3, h in ascending order.
h, -2, 3
Let m = 0.75 + -0.65. Sort m, 2, 0.6.
m, 0.6, 2
Suppose 5*z - 12 = 2*d - d, -3 = -d. Put -1, -2, z, -4 in increasing order.
-4, -2, -1, z
Suppose -4*z = -6*z + 48. Let d = z + -20. Suppose -2*c + 1 = -3. Sort 0, d, c in decreasing order.
d, c, 0
Suppose -5*s = -0*s + i + 11, -3*i = -5*s - 27. Sort 5, -5, 2, s.
-5, s, 2, 5
Suppose -5*m - 37 - 8 = 0. Put m, 1, -1 in increasing order.
m, -1, 1
Let o = -0.2 - 0.8. Let k = 0 - -0.3. Let b be (-4)/2*(-1)/24. Put b, o, k in decreasing order.
k, b, o
Let o = -3 + 5. Suppose -5*p - 4*m + 11 = 30, o*p + m + 7 = 0. Sort 3, -5/3, p in descending order.
3, -5/3, p
Let f be (-3)/(-8)*(0 + 1). Suppose 2*h + 2*h = 16. Suppose -5*g + 5*w + 15 = 0, -4*g + 17 = -5*w + 5. Sort h, g, f in descending order.
h, g, f
Let s = -7.6 - -0.6. Sort 0.1, s, -1 in decreasing order.
0.1, -1, s
Let u = -98/55 - -24/11. Sort -1/9, u, 4, -2/3.
-2/3, -1/9, u, 4
Let k = 130.1 - 125. Let a = 5.08 - 0.08. Let m = a - k. Put m, 2/11, -2/11 in increasing order.
-2/11, m, 2/11
Let h = 78/5 - 16. Sort -2/15, -0.3, h.
h, -0.3, -2/15
Suppose o = 2*m - 16, 4*o = -m + o + 1. Sort -2, m, 2 in increasing order.
-2, 2, m
Let m be -8 - -3 - 0*(-2 - -3). Suppose 0 = -v + 6*v. Sort 0.1, m, v in descending order.
0.1, v, m
Let d = -2.5 + 0.5. Let z = 0 - d. Suppose -5*m - 2*f = 19, -4*m + 2*f - 7*f = 5. Sort m, z, 0 in increasing order.
m, 0, z
Let z = 52/3 - 18. Sort 0.2, -3/4, z, -4 in decreasing order.
0.2, z, -3/4, -4
Let q be ((-34)/4 + 6)*(-4)/5. Sort -4, -1, 3, q in increasing order.
-4, -1, q, 3
Let n = -4.1 + -0.9. Suppose 0*i + 4*i = 4*d - 80, 4*d = -3*i + 66. Let a = 340/19 - d. Put a, 2, n in descending order.
2, a, n
Suppose 12 = -3*n + 6*n. Suppose -m = n*m + 25. Let p be -4 - 0 - (-1)/1. Sort m, p, 5 in increasing order.
m, p, 5
Let o(s) = 3*s + 29. Let h be o(-9). Let p be (2/(-6)*0)/(-1). Put h, -2, p in ascending order.
-2, p, h
Let s = 31 + -34. Put s, 0, -4 in decreasing order.
0, s, -4
Suppose -4*f + 3*z = -9, -3*f - 4*z = 11 + 1. Let m = f - 2. Suppose 0*s - 2*p + 8 = 2*s, 4*s = -2*p + 14. Put -5, s, m in ascending order.
-5, m, s
Suppose -4*k + 31 = 5*s - 0*k, 5*k = -s + 23. Sort -0.4, 0.1, s.
-0.4, 0.1, s
Let i(n) = 4*n - 48. Let t be i(11). Put 8, 1, t, 4 in decreasing order.
8, 4, 1, t
Suppose -2*v - 1 = -3*v. Let w(j) = -j**3 - 5*j**2 - 4*j + 5. Let y(x) = -4*x**2 + x + 1. Let s be y(-1). Let z be w(s). Put z, 3, v in increasing order.
v, 3, z
Let r = 0.3 - -3.7. Let l = -11/216 + -2/27. Let u = -0.3 - -0.2. Put u, l, r in descending order.
r, u, l
Suppose 5 = -i + 1. Sort 4, i, 2.
i, 2, 4
Suppose 0 = -u + 3 + 1. Put u, -1, 8 in decreasing order.
8, u, -1
Suppose -3*q + 1 = -2*q. Suppose 2*j - 2*u = -2, 6*j - 3*j = 4*u - q. Sort 1, j, 4 in descending order.
4, 1, j
Let f = 5 + -3. Let n be ((-4)/(-10))/(f/10). Put 0, n, 1 in ascending order.
0, 1, n
Suppose 5 = 10*v - 11*v. Put v, 22, -4 in ascending order.
v, -4, 22
Suppose -14*p - 48 = -17*p. Suppose p = -0*m - 4*m. Let y(f) = -f - 1. Let h be y(-5). Put m, -3, h in ascending order.
m, -3, h
Let j = 1 - 1.2. Sort 5, j, -0.5 in decreasing order.
5, j, -0.5
Let o = 24 + -5. Let q be 2*(18/o - 1). Put -2, q, 3/7 in descending order.
3/7, q, -2
Let o = 1.1 + -3.1. Let j = 0.2 - 0.3. Sort j, 3/8, o in decreasing order.
3/8, j, o
Let y(p) = -2*p**3 + 14*p**2 + p - 2. Let o be y(7). Suppose 0 = -i - 3*i. Put i, -4, o in ascending order.
-4, i, o
Let h be 2*1*10/20. Sort 4, h, -4 in decreasing order.
4, h, -4
Let c = -74588 - -73553.07. Let v = c - -1030. Let m = v + -0.07. Put 1/4, 2, m in descending order.
2, 1/4, m
Let z be (-2)/(-10) + (-6)/(-20). Sort z, 0, 3/7 in descending order.
z, 3/7, 0
Let r be (8/(-10))/(14/(-245)*-7). Put 3, 8, r in descending order.
8, 3, r
Suppose -64 = 4*b - 5*b. Let g = -45 + b. Let k = -39/2 + g. Put -0.4, k, 1/3 in decreasing order.
1/3, -0.4, k
Suppose 9*q - 28 = -1. Sort q, -4, -3 in decreasing order.
q, -3, -4
Let k be 2/6*(3 - -9). Suppose -5*m = -q - 7, -k*m - 5 = -8*m + q. Suppose m*p = -2*u - 8, -4*u + 0*p - p = 7. Put u, 0, -2 in descending order.
0, u, -2
Let t(k) = -4*k. Let u be t(1). Let m(h) = -h**2 - 5*h. Let w be m(-5). Put w, u, -2 in ascending order.
u, -2, w
Let n(u) be the first derivative of -u**4/4 + 2*u**3 - 2*u**2 - u + 4. Let h be n(5). Sort h, -5, -3 in decreasing order.
h, -3, -5
Suppose 25 = -5*t - 3*n, -t - 3*t + n - 20 = 0. Let o be -3 - 0*(-1 + 0). Put t, o, -1 in decreasing order.
-1, o, t
Let f = -0.02 - 1.98. Let n = -0.09 - -4.09. Let h = -3 - -2.8. Sort h, n, f in increasing order.
f, h, n
Let h = 2 + -1.96. Let c = h + -5.04. Let d = -9.8 - -10. Put c, -0.5, d in descending order.
d, -0.5, c
Let f be (-1*3/30)/(-1)*8. Sort -5, -0.2, -1, f in decreasing order.
f, -0.2, -1, -5
Let a = -120/17 - 1205/34. Let u = a + 41. Put 2/3, u, 0.4 in increasing order.
u, 0.4, 2/3
Let k = 8.1 + -8. Sort 1, 2/3, k.
k, 2/3, 1
Suppose 0*c + 12 = c. Let u be c/297 - 4/(-22). Sort 2/7, u, 5 in decreasing order.
5, 2/7, u
Let w be ((-3)/(-42))/(2/(-12)). Let i = -3 - -5. Let p = -2.2 + i. Put p, w, -2 in descending order.
p, w, -2
Let x = 18 - 22. Let i = -1 - 0. Let z = -2 + 5. Sort x, i, z in descending order.
z, i, x
Suppose 5*y + 3 + 2 = 3*l, -5*l - 4*y - 41 = 0. Sort 5, l, 4.
l, 4, 5
Let g = 5.05 - 0.05. Let l = 3.4 - -0.6. Put 0.5, g, l in ascending order.
0.5, l, g
Suppose -n - 22 = -2*n. Let s be 10/15 + n/(-6). Let w(r) = r**2 - 5*r + 3. Let h be w(4). Put s, h, -2 in ascending order.