13. Suppose 3*d - f*j - 14 = 6, -5*d + 12 = -3*j. Put 5, d, -2 in descending order.
5, d, -2
Let f = -22 + 19. Let i be 12/16 + 57/(-12). Put f, 3, i in descending order.
3, f, i
Suppose 5*t - 116 + 41 = 0. Let u be ((-4)/6)/(10/t). Suppose -4 = -d + 3*o, 9 = 5*d - 6*o + 2*o. Sort u, d, -2 in decreasing order.
d, u, -2
Let k be (-10)/7 - 48/(-112). Sort 7, -2, k in ascending order.
-2, k, 7
Let o = 8 + -6. Let g be 1*6/9*3. Suppose -o*b = -0*b - g. Put b, 2/9, 0.1 in descending order.
b, 2/9, 0.1
Let h be (-1 - 0) + (-2 - -11). Let i be 6/(-3) - -5 - h. Put i, -3, 2 in decreasing order.
2, -3, i
Suppose 0 = 3*f - 78 + 18. Let u be (3/2)/(6/f). Let l be (-13)/5 + 2/(-5). Put u, 2, l in decreasing order.
u, 2, l
Let d = -0.8 - -0.5. Let b be 3/9 - (-4)/6. Sort d, 1/2, b in decreasing order.
b, 1/2, d
Let h be 106/9 + (-6)/(-27). Suppose -6*w = -2*w + h. Sort 1/8, 4, w in descending order.
4, 1/8, w
Let a(l) = 5*l**2 - 2*l + 3. Let t be a(2). Suppose 5*x - t = -0*z - 2*z, x + 1 = 2*z. Sort 3, -1, z.
-1, z, 3
Let k be (-5)/((-15)/(-6)) + 11. Let j = -8 + k. Sort 2, j, -1.
-1, j, 2
Suppose -6*k + k + 20 = 0. Let p be (-5 + 3 - 0) + 3. Put k, p, -1 in ascending order.
-1, p, k
Let l(n) = -2*n**2 + 2*n**2 - 4 - n + 2*n + n**2. Let w be l(-3). Sort 0, w, 5.
0, w, 5
Let k = -0.7 - -0.4. Let c be (-2*(-4 - 1))/2. Let j = 0.1 - -1.9. Put c, k, j in descending order.
c, j, k
Suppose -5*l + 16 = -l. Let j = 4 - l. Let w = 769/90 - 76/9. Sort 3, j, w in ascending order.
j, w, 3
Let h = -5.2 - 1.8. Let q = 7 + h. Put -4, 0.1, q in descending order.
0.1, q, -4
Let l = 5/49 - -9/49. Let m = -0.01 + -0.09. Let h be (3/(-12))/(1/(-6)). Sort m, l, h in decreasing order.
h, l, m
Let m = 16.7 - 17. Suppose -2*k - 7 = -3*t + 14, -23 = k - 4*t. Put m, -2/7, k in decreasing order.
-2/7, m, k
Let n = -0.48 + 0.48. Let f = 0.3 - 2.3. Put n, 2, f in increasing order.
f, n, 2
Let l(p) = p + 17. Let g be l(-12). Let n = -9 + g. Put 2, -5, n in decreasing order.
2, n, -5
Let w(h) = -h**2 - h + 31. Let r be w(5). Let m be 1/(-4) + (-17)/(-4). Suppose 0 = -4*y, m*b = 2*y - y + 16. Put 0, r, b in decreasing order.
b, r, 0
Suppose 0*l = 4*l - 12. Let o = -4.5 + 3.3. Let d = o - -0.2. Sort l, d, -2/3.
d, -2/3, l
Let p = -2 - -6. Suppose -12 = -4*d, 0*b = -p*b + 3*d - 13. Sort 1/4, b, -0.1.
b, -0.1, 1/4
Let x = -626 - -14396/23. Let p = 1 + -0.8. Put x, p, 5 in descending order.
5, p, x
Suppose 2*r = -r + 36. Suppose 0*k + r = -4*k. Put k, 1, 3 in ascending order.
k, 1, 3
Let l = 1483/15 - 99. Put -5, 2/9, 0.01, l in increasing order.
-5, l, 0.01, 2/9
Let i = -0.443 - 2.547. Let n = -0.01 + i. Let v be ((-6)/20)/((-6)/8). Put v, -4/9, n in decreasing order.
v, -4/9, n
Suppose -5*h = v - 2*h + 10, -5*v + 2*h = -35. Let t be v*(-4)/10*2. Sort 0.3, t, 5.
t, 0.3, 5
Let q = -3 + 4. Suppose -4*a = 4*c - 0*a - 20, 5*c = -2*a + 16. Suppose -4*t - 4 = -3*t. Put t, c, q in decreasing order.
c, q, t
Let r = 9 - 5. Suppose 5*d + 5*i + 15 = 0, 5*d + 4*i + 6 = -6. Suppose -3*m = -d + 3. Sort m, r, -5.
-5, m, r
Suppose -5 + 1 = c. Put c, 5, 11 in descending order.
11, 5, c
Let a(t) = -t**2 + 4*t + 4. Let v be a(4). Sort 3, 8, v, -3 in descending order.
8, v, 3, -3
Suppose 1 - 6 = 5*o. Sort o, 5, 7 in ascending order.
o, 5, 7
Suppose -2*l - 10 = -7*l. Let p = -4 + 9. Suppose 0*c = 2*r - 2*c, 16 = -r - 3*c. Sort l, p, r.
r, l, p
Let k be 0 - ((-3)/(-3) + -22). Let u be 6/9 + (-8)/k. Put u, -1, 1/2 in increasing order.
-1, u, 1/2
Suppose 3 + 1 = m. Suppose -r = r + m. Put r, 0.1, 0.2 in increasing order.
r, 0.1, 0.2
Let x(g) = -3*g**2 + 9*g + 3. Let n be x(3). Suppose 5 + 3 = -4*q. Sort 2, n, q in decreasing order.
n, 2, q
Let b = -91673/28 + 12307/4. Let m = 197 + b. Let j = 37 - 37.3. Put j, 0.3, m in descending order.
0.3, m, j
Let g be (5/15)/((-15)/(-27)). Put -1/9, -2/15, g in decreasing order.
g, -1/9, -2/15
Suppose 0 = -0*j + j + 12. Let b = j + 58/5. Let y = 1.6 + -1.6. Sort b, y, 1/5 in increasing order.
b, y, 1/5
Let v be (0 - 0)*(-3)/3. Let p be 1 + -1 + -3 + -3. Let j be 16/(-6) + 2/p. Put j, v, 3 in descending order.
3, v, j
Let w be (-11)/14 + (-7)/(-14). Suppose -3*q - 12 = -3*o, -o + 4*q = -4 - 0. Put w, 0, o in descending order.
o, 0, w
Let b = -0.1 + 0.1. Let a = 3 - -1. Let r = a + -5. Sort 1/8, r, b.
r, b, 1/8
Suppose -5*a + 4 - 14 = 0. Let v = -4 - a. Let w = -0.18 + 0.48. Put w, v, -0.5 in ascending order.
v, -0.5, w
Let h = 3 - 5. Let i be -1*5*(-4)/8. Put h, i, 0 in descending order.
i, 0, h
Let c = 143/90 + -4/45. Suppose -3*s + 5 = -13. Suppose -3*u + s = 3*y, -u + 6 = -5*y + 22. Sort 0.4, y, c in increasing order.
0.4, c, y
Suppose 4*h + l = h - 5, 0 = -h - 5*l + 3. Put h, 0, -8, 7 in decreasing order.
7, 0, h, -8
Suppose 4*u + 4*w = -36, 0*u - 4*w = -2*u + 6. Let p = 0.04 + 0.06. Sort p, 0.2, u in increasing order.
u, p, 0.2
Let n(a) = 0 + 1 - a - 2 - 3. Let k be n(0). Suppose 4*s = s + 15. Sort s, 1, k.
k, 1, s
Let u = -95.1 - -87. Let h = u + 8. Put -2/9, h, 1/8 in descending order.
1/8, h, -2/9
Let y(z) = z**3 + 4*z**2 + 3*z - 2. Let s be y(-3). Let m be (3/6)/(1/(-2)). Put m, s, 2 in ascending order.
s, m, 2
Let m = 18 - 23. Sort m, 0, 18 in increasing order.
m, 0, 18
Suppose 0 = -4*q + q + 15. Sort q, -2, -3 in decreasing order.
q, -2, -3
Let h be 1/(1 - 0) + 3. Sort 0, h, 1, -2 in decreasing order.
h, 1, 0, -2
Let o(y) = -6*y + 33. Let l be o(5). Suppose -a + 4 = -0*a. Sort a, -2, l in ascending order.
-2, l, a
Let z = -111/4 - -1007/36. Let x = -0.8 + -0.2. Let y be (3 - 1) + 1/(-2). Sort z, x, y in ascending order.
x, z, y
Let q be 2/(-4) + 1 + -1. Let k = 21 - 108/5. Sort q, 0, k in decreasing order.
0, q, k
Let k = -0.2 - -9.6. Let i = 0.6 + k. Let b = 9.8 - i. Put 0.5, -2/11, b in descending order.
0.5, -2/11, b
Let g = -11 + 11.3. Let k = 16 - 16.1. Put 2/11, k, g in descending order.
g, 2/11, k
Let j = 16 - 16. Put -4, j, -1 in ascending order.
-4, -1, j
Suppose 2*r - 1 = 5*j, j - 2*r + 4*r = -5. Suppose 0 = 5*m - 3*m - 2. Let d be 2 - 0 - (-2)/m. Sort d, j, 1 in decreasing order.
d, 1, j
Let p = 5 + 2. Suppose 5*i + 2*f + p + 0 = 0, 3*i + 1 = 2*f. Suppose -14*j = -6*j - 8. Put j, i, 5 in increasing order.
i, j, 5
Suppose 3 = -3*n + 18. Let m(l) = 62*l - 1. Let j be m(-1). Let x be 4/6 - (-6)/j. Sort 0, n, x in decreasing order.
n, x, 0
Suppose 12*n - 3 - 21 = 0. Put 3, n, 15 in descending order.
15, 3, n
Let i(c) = -c**3 + 4*c**2 - 2*c - 7. Let a be i(5). Let t be (-6)/21 + (-18)/a. Sort t, -0.3, 0.03 in ascending order.
-0.3, 0.03, t
Let d = 230/711 - 8/79. Let o = -303 + 302.7. Sort 0.1, d, o in descending order.
d, 0.1, o
Let u(r) = -r**3 - 5*r**2 - 4*r + 7. Let i be u(-3). Sort 5, -1, i, 4.
-1, i, 4, 5
Let m = -2 - 1. Let b = 10 - 2. Let d be b/36 - 40/18. Sort d, -0.3, m in decreasing order.
-0.3, d, m
Suppose 4*b + 2*a = -60, 0 = -6*b + 2*b - 3*a - 60. Sort b, 2, 3, 1 in descending order.
3, 2, 1, b
Suppose -5*o + 7 + 15 = 3*j, -5*o - 4*j + 21 = 0. Let l(u) = -u**2 - 6*u - 2. Let b be l(-5). Put o, -3, b in decreasing order.
o, b, -3
Let z(x) be the second derivative of -x**4/12 - 2*x**3/3 + x**2 - 2*x. Let o be z(-3). Put 4, o, 0 in descending order.
o, 4, 0
Let m(p) be the second derivative of -p**4/12 + p**3/6 - p**2/2 + 2*p. Let b be -6 + 4 - (-4 + 0). Let f be m(b). Sort f, 0, -5 in decreasing order.
0, f, -5
Let w = 3781/154 + -176/7. Let y = w + 1/11. Put y, 0.3, 0.2 in decreasing order.
0.3, 0.2, y
Suppose 2*q + q = 12. Suppose 3*z = -2*v + 2, 0 = -z - 3*z - q*v. Let w = z + -2. Sort w, 3, 2 in increasing order.
w, 2, 3
Let j be (-335)/(-35) + 8/(-14). Put 2, j, -3 in increasing order.
-3, 2, j
Let f = 23 + -26. Sort -0.4, 1/7, f in decreasing order.
1/7, -0.4, f
Let x = -2 + 4. Sort -1, x, -2, 4 in ascending order.
-2, -1, x, 4
Let c = -13 - -5. Let s = -13 - c. Let a = -5 - -7. Put a, 4, s in increasing order.
s, a, 4
Let o = -187 + 566/3. Sort 1, 3/5, -2, o in increasing order.
-2, 3/5, 1, o
Let q be (-3 - 28/(-8)) + -1. Let g be (0 - 4/8)*-2. Put q, g, -3/7 in descending order.
g, -3/7, q
Suppose -6 = -r - q, -3*q + 14 = 4*r - q. Sort 0.3, r, 5/6 in decreasing order.
r, 5/6, 0.3
Let u = -34 + 50. Let r = 18 - u. Put -4, r, -5 in ascending order.
-5, -4, r
Let i = 3 - 5. Suppose -2*y - o - 14 = 0, 3*y - 4*o - 4 = -3. Sort y, 3, i in 