17 - -0.183. Put d, -0.3, k in descending order.
k, -0.3, d
Let t(x) = x + 22. Let k be t(-20). Sort k, 1, 3 in increasing order.
1, k, 3
Suppose 9*j - 4*j + 9 = -2*g, -5*j = -4*g + 27. Sort j, -4, 5.
-4, j, 5
Let y be 1*0*(-3)/12. Let d(t) = t**2 - 3. Let p be d(y). Put 5, 4, p in decreasing order.
5, 4, p
Let s be 1/(-2) + 19/2. Let r = s + -6. Suppose 3*l = -p - 15, 3*p = -2*l - l - 21. Sort -1, r, l in increasing order.
l, -1, r
Let r be (-55)/(-20) + 15/12. Let n be ((-4)/10)/(3/(-60)). Sort n, 3, r.
3, r, n
Let f = 0.9 + -1. Sort 0.2, 14, f in increasing order.
f, 0.2, 14
Let w = -7 + 2. Let r be -2 + w/(-3) - -2. Let j = 0.2 - 0.2. Put j, r, -4 in descending order.
r, j, -4
Let m = -3 + 7. Suppose -5*w = -w. Sort -5, m, w.
-5, w, m
Suppose -2*h + 20 = 3*h - 5*v, h = -5*v - 2. Let u be ((-1)/h)/((-1)/51). Suppose -n = -5*g + 5, 4*n + 3*g = -3 - u. Sort -4, n, -3 in descending order.
-3, -4, n
Let l = 16 + -11. Suppose 0 = 9*x - 4*x + l. Put -2, 3, x in decreasing order.
3, x, -2
Let g = -20 + 33. Let i = -12 + g. Sort i, 3, -5 in descending order.
3, i, -5
Suppose -5*y + 3 = -4*b, 2*b - y - 5 = 4*b. Put b, 1/6, 8/7 in descending order.
8/7, 1/6, b
Let y = 209.14 + -216. Let j = y - 0.14. Let r = 7.4 + j. Put 5, r, 0.1 in ascending order.
0.1, r, 5
Let i be 9/(-12) + 132/112. Let q = -0.21 - -3.21. Sort -0.1, i, q.
-0.1, i, q
Let g(z) = z**3 - 2*z**2 + z - 1. Let q = 5 - 3. Let t be g(q). Put t, -2, -1 in descending order.
t, -1, -2
Let d = -0.13 + 5.13. Let u = -1 + d. Sort -2, u, 0.4.
-2, 0.4, u
Suppose -4*x + 5*p + 0*p + 11 = 0, -5*p = -5*x + 15. Sort -3, 0, -4, x.
-4, -3, 0, x
Let c = 157/4 + -39. Put 2, c, -4 in decreasing order.
2, c, -4
Let k = 7 + -3. Let v = -0.038 - 0.462. Put -0.4, k, v in ascending order.
v, -0.4, k
Let x = 0.033 - -0.157. Sort x, 0.3, 3/2 in increasing order.
x, 0.3, 3/2
Let q = -6 - -9. Sort q, -5, -2.
-5, -2, q
Let p(k) = k + 6. Let f be p(0). Let q(v) be the first derivative of v**3/3 - 7*v**2/2 + 2*v - 3. Let m be q(f). Sort -3, 0, m in decreasing order.
0, -3, m
Let c = -3.7 + 0.7. Let q = 0.2 + -0.1. Let r = -0.6 + q. Sort c, 0.5, r in descending order.
0.5, r, c
Suppose -10*r + 9 - 29 = 0. Sort 5, -3, -7, r.
-7, -3, r, 5
Let x = 20 - 10. Let c = -9.8 + x. Let g = -2.5 + 2. Sort -4/7, c, g.
-4/7, g, c
Let n be 15/12*2/(-15). Let q = -7.66 - -4.66. Put n, -2, q in decreasing order.
n, -2, q
Suppose 0 = -m - m + 14. Let v(a) = -a**2 + 6*a + 2. Let r be v(m). Let n = 9 + -10. Sort r, n, -4 in descending order.
n, -4, r
Let z = 0.33 + -20.33. Let n = z + 15. Let i = 0.1 + -0.2. Put n, i, 3 in increasing order.
n, i, 3
Let f(d) = d**3 + 6*d**2 + 4*d + 7. Suppose -3*k = -2*k + 5. Let h be f(k). Let q = h - 7. Sort -3, q, -2 in descending order.
q, -2, -3
Let f be 0*(2 - 3) - -1. Let d be (-2 + 1)*(2 - f). Let z be 4/6*-12*4/(-8). Put -5, d, z in decreasing order.
z, d, -5
Let i = 0.1 + -0.3. Suppose 28*s - 75 = 3*s. Sort i, s, 0 in decreasing order.
s, 0, i
Let g(b) = b**3 + 12*b**2 - 13*b - 4. Let j be g(-13). Let t be (-1 - -2 - 0)*1. Sort -5, t, j.
-5, j, t
Let y = -2/55 + -4/11. Let c = 0.8 - 0.6. Let t = 78 + -153/2. Sort c, y, t.
y, c, t
Let i = -23 - -25. Let j be (i + 3)*6/10. Let w = -0.7 + 0.2. Put j, w, 2/9 in decreasing order.
j, 2/9, w
Let n = 76 - 76. Sort n, 0.3, 2.
n, 0.3, 2
Let i = -4 - -6. Suppose 2*j = -i*j - 12. Let x be (-4 + 4 - 0)/(1 - 2). Sort 3, j, x in decreasing order.
3, x, j
Suppose 4*p - 88 = -q, -2*q + 16 = 2*q. Sort 2, p, -3, -5.
-5, -3, 2, p
Let m = 0.276 + -0.246. Let b be 2 + 5/((-50)/28). Sort m, b, -0.3 in increasing order.
b, -0.3, m
Let w = 25 - 9. Let p be 12/w*(1 - 5). Suppose -3*i + 3 = -9. Sort i, 2, p in decreasing order.
i, 2, p
Suppose 2*r + 3 = -7. Sort 5, 1, -3, r in descending order.
5, 1, -3, r
Let d = -1.939 + -0.061. Let l = -2 - -6. Sort l, d, 2/13.
d, 2/13, l
Suppose 54 + 6 = 3*l. Suppose 4*f - 13 = p + f, -2*p = -4*f + l. Put 2, 0, p in descending order.
2, 0, p
Let n(j) = -j**2 + 4*j + 2. Let l be n(5). Put 2, -4, l in decreasing order.
2, l, -4
Suppose 3*h + 2*r = -36, -10 + 2 = 2*h - 4*r. Let d be 8/(-12) + h/(-6). Sort -3, 0, d in descending order.
d, 0, -3
Let u be ((-10)/6 + 1)*-3. Suppose 4*s - 3*i = 31, -3*s + 24 = -0*s - 3*i. Let m be ((-1)/2)/(s/(-2)). Put u, m, -5 in decreasing order.
u, m, -5
Suppose 0 = -3*c + 2*x - x + 4, 2*c = 4*x - 4. Sort c, -2, 3 in decreasing order.
3, c, -2
Suppose 5*x = 3*x - 2. Sort -3, x, 2 in descending order.
2, x, -3
Suppose -3*h - 63 - 15 = 0. Let j be (-1)/(-2) + h/36. Let t = -464/1135 - -2/227. Sort j, t, -1/4 in descending order.
j, -1/4, t
Let i = -907.04 + 890. Let j = -13 - i. Let p = 0.04 - j. Sort p, 2/7, 1 in descending order.
1, 2/7, p
Let h(r) = -r**2 - 15*r - 32. Let g be h(-13). Sort -1, -2, -4, g in ascending order.
g, -4, -2, -1
Suppose -2*a = 2*q + 6, 2*a - q + 12 = -2*a. Suppose 0 = -3*n + 2 + 4. Let x be n/3 - (-10)/3. Sort 5, x, a in increasing order.
a, x, 5
Let l = 1.2 + 7.8. Let y = l + -9. Put 1/3, 3, y in ascending order.
y, 1/3, 3
Let b = 2 + -15. Let j = 7 + b. Let q = j - -10. Sort q, 0.1, 3 in decreasing order.
q, 3, 0.1
Let j = -62 - -71. Put j, 3/2, 2, 0.3 in ascending order.
0.3, 3/2, 2, j
Let z = -2 + -1. Let t = -7 + 6. Put t, z, 3 in descending order.
3, t, z
Suppose -5*o - 5 = 3*r, 3*o + 2 = -1. Sort -4, -5, 5, r in increasing order.
-5, -4, r, 5
Let m = 146 + -142. Let u = 0.2 - 0.4. Put u, m, -0.5 in decreasing order.
m, u, -0.5
Let d = 87/485 + 2/97. Sort -0.1, d, -1/3 in decreasing order.
d, -0.1, -1/3
Suppose h = 3 - 18. Sort -2, h, 2 in decreasing order.
2, -2, h
Suppose 2*s = p + 10, s - p - 10 + 4 = 0. Let g = 0 + s. Sort 2/7, -5, g in decreasing order.
g, 2/7, -5
Let a = -5 - -5. Suppose a = 4*s + s. Suppose 3*n + 3 = 0, 2*n - 5 = 4*h + 3*n. Sort h, -4, s in decreasing order.
s, h, -4
Suppose -3*v = -0*v + 6. Put v, 4, 5 in ascending order.
v, 4, 5
Suppose 9 = -j - 2*y + 20, -j = -y - 11. Suppose 2*t - j = -1. Sort t, 0.4, 2/3 in descending order.
t, 2/3, 0.4
Let q = -0.04 - 0.06. Let h = q + 0.1. Let u = 8/15 + 1/15. Put u, 1, h in increasing order.
h, u, 1
Let q = 19 + -15. Let r(p) = -p**2 + 2*p + 5. Let n be r(q). Put -8, n, 1 in decreasing order.
1, n, -8
Let a = -5 + 8. Let p = 5.34 + -5. Let z = p + 0.06. Put z, -0.3, a in ascending order.
-0.3, z, a
Let p be (-1)/((-15)/276*2). Let a = p - 28/3. Let j = -8 - -4. Sort a, j, -1/7 in descending order.
a, -1/7, j
Let p be (-8)/10*(-65)/2. Let g = -53/2 + p. Let y = 0.8 + -1.2. Sort y, g, 0.1 in descending order.
0.1, y, g
Suppose -12 = 2*c + 5*u, 3*c - 5*u = -2*c + 40. Put c, -6, -3 in decreasing order.
c, -3, -6
Let p be (-220)/(-231) + (-4)/6. Sort -5, p, 0.5 in ascending order.
-5, p, 0.5
Let l(d) be the second derivative of d**3/2 + 2*d**2 - 3*d. Let n be l(0). Let f(k) = 6*k - 1. Let c be f(1). Put 2, n, c in decreasing order.
c, n, 2
Let u = 118.6 - 7.9. Let f = -115.69 + u. Let p = f + -0.01. Sort p, 1/9, 2/11 in descending order.
2/11, 1/9, p
Suppose 0 = 3*i + 3*u - 4*u - 12, -3*u - 21 = -4*i. Suppose -5*d + 4*z - 2*z = 10, 2*d - 7 = i*z. Let v = -4 - -3. Put v, 2, d in increasing order.
d, v, 2
Let f = -13 - -18. Suppose f = -5*t - 10. Let n be t/(-9) + (-5)/6. Put 0.1, n, 0 in increasing order.
n, 0, 0.1
Let u = -0.06 - -0.46. Let l = -0.14 + 0.64. Put -0.1, u, l in descending order.
l, u, -0.1
Let s be (-76)/(-18) + (-4)/18. Put 0, s, 5 in decreasing order.
5, s, 0
Let z = -1.74 - -1.7. Let q = -0.14 - z. Let o be ((-3)/(-1))/((-6)/(-8)). Sort o, 2/5, q.
q, 2/5, o
Let s = -4.92 - 0.08. Let i = s + 9. Let d = -1118/7 - -160. Sort 3/5, d, i in descending order.
i, 3/5, d
Let h = 49 - -574. Let q = h + -6847/11. Let t = 68/165 - q. Sort -3, -0.5, t in descending order.
t, -0.5, -3
Let n = 2/231 + -1163/924. Put -2, n, -0.2 in decreasing order.
-0.2, n, -2
Let l be 3 - (-4)/16*0. Let j = -3 + 7. Suppose -2*t - 8 = 2*g, 2*g - j*t - 12 + 2 = 0. Sort -3, l, g.
-3, g, l
Suppose 5 = 2*p - 1. Suppose 5*y + 20 = 0, 2*s - 3*s - y - 9 = 0. Put p, -2, s in decreasing order.
p, -2, s
Suppose g = 13 + 17. Suppose 2*b = 3*u - 0*b - 34, 3*b = 3*u - g. Let d be ((-4)/u)/(30/14). Sort -5, d, -1 in descending order.
d, -1, -5
Suppose -6*v = -f - v - 15, 2*f - 6 = v. Suppose 0*x - 36 = -9*x. Sort f, x, 6 in increasing o