, -5, h in descending order.
h, c, -5
Suppose -4*h + 5*k = -18, -h - 4*k = -2*k + 2. Suppose -4*v = v + 5. Sort h, v, 3 in decreasing order.
3, h, v
Let f = -8 - -8.6. Sort 4, -4, f.
-4, f, 4
Suppose -1 = -2*l + 1. Let y be 7 - 0 - (l - -2). Suppose -3*b - 5*k - 15 = -2*b, 2*b = -y*k - 18. Sort -3/5, b, 5 in decreasing order.
5, -3/5, b
Suppose 15 = 14*o - 11*o. Sort 1, o, 3 in ascending order.
1, 3, o
Let v = -1/34 + -15/68. Sort -26, 4, v in descending order.
4, v, -26
Let u be (-9)/(-21) - 9/21. Put u, -2, 5 in decreasing order.
5, u, -2
Suppose 6*d - d = 15. Sort 2, -12, d in increasing order.
-12, 2, d
Suppose s - 4*s + 9 = 0. Suppose s*c - 2*c = 0. Put c, -2, 4 in decreasing order.
4, c, -2
Suppose -3*t + 3*j - 12 = 0, 2*j = 3*t + 16 - 6. Let c = -17 - -20. Suppose 5*m - 2*y - 4 = -12, -4 = m - y. Sort m, c, t.
t, m, c
Let j(a) = -2*a. Let f be j(-2). Let p(q) = -q - f*q - 1 + 0 + 4*q. Let g be p(-2). Sort -2, -1, g in increasing order.
-2, -1, g
Let t(w) = -w**2 - 5*w + 6. Let o be t(-5). Let m be o/(2 + 1) - 0. Let p = -70/341 - -12/31. Put 3, m, p in descending order.
3, m, p
Let w = 1.02 + -0.02. Let r = w - -3. Let q = r - 4.1. Put 2/9, q, 5 in ascending order.
q, 2/9, 5
Let l = -3 - -12. Suppose 5*s - 10 = -3*z + l, -3*s + 19 = -2*z. Let q be 2/(-4) + (-2)/(-4). Put z, -4, q in decreasing order.
q, z, -4
Let u(w) = w**3 - 9*w**2 - 11*w + 12. Let g(l) = -l**2 - 7*l + 10. Let h be g(-7). Let v be u(h). Suppose 2*p = v + 8. Sort 2, 1, p in ascending order.
1, 2, p
Let c be 1/(-2 + 55/30). Sort 6, c, -1 in ascending order.
c, -1, 6
Let j = 9 + -6. Let q = -1 - j. Let o = 3.5 + -3. Sort o, 1/5, q.
q, 1/5, o
Let v be (0 - (-4)/(-66))*3. Let j = -313 - -309. Let d = 0.5 + -1. Sort v, d, j.
j, d, v
Suppose c - 2*d = d + 9, 4*c + 2*d = -20. Put c, 1, -1, -13 in decreasing order.
1, -1, c, -13
Let z be 2/12 - 138/72*-2. Put z, 2, 7 in increasing order.
2, z, 7
Suppose -2*j + 12 - 4 = 0. Sort -1, j, -5 in increasing order.
-5, -1, j
Let l = 197/505 + 1/101. Suppose -8*g = -12*g. Sort g, l, -2 in ascending order.
-2, g, l
Let q be 57/(-18) + (-8)/(-48). Sort 1, 4, q in descending order.
4, 1, q
Let v = -112.92 - -109. Let s = 0.08 - v. Sort s, -0.3, -1/12.
-0.3, -1/12, s
Suppose -3*i + 7 = -11. Let y(m) = m**3 - 6*m**2 + 6*m. Let u be y(5). Sort u, i, 4 in decreasing order.
i, u, 4
Suppose 3*j + r - 1 = -3, 0 = 2*r - 8. Sort j, -4, -3.
-4, -3, j
Let r = 0.01 - -0.05. Let x = r + 4.94. Let y = 3 + -8. Sort y, x, -0.3 in decreasing order.
x, -0.3, y
Let s = 8 + -5. Suppose 6*a = 10*a. Suppose a = -5*f - 4*m - 41, 0 = 5*f - m + 4*m + 37. Sort f, s, -2.
f, -2, s
Let m(h) = -h**2 - 13*h - 3. Let k be m(-12). Let p be 3/(-9) - (-21)/k. Sort p, -4, 6 in decreasing order.
6, p, -4
Suppose -k - 6 = -3. Let s = 0 + 0. Suppose s = 4*a - 0*a. Sort k, a, 4 in decreasing order.
4, a, k
Suppose -5 = 4*a + 3*q - 4*q, -4*q - 12 = 0. Suppose 0 = -4*x - 29 - 3. Put a, x, 1 in descending order.
1, a, x
Suppose 3*y = -2*y + 30. Let j be -2*1 - (-16)/y. Sort -2, 1, j in ascending order.
-2, j, 1
Let z be (1/(-2))/((-2)/16). Sort z, -4, 1.
-4, 1, z
Let y(i) = -2*i + 15. Let k be y(10). Sort 0, -4, k, 5 in decreasing order.
5, 0, -4, k
Let r = 0.21 - 0.71. Put r, -0.3, 0.06 in increasing order.
r, -0.3, 0.06
Let g(o) = -o**3 - 2*o**2 - 1. Let q be g(-2). Let k be ((-25)/(-5))/(q*1). Suppose -3*t = t - 4. Sort t, k, 3 in decreasing order.
3, t, k
Let f be 6/14 + 1/(-1). Let s = 3.5 + -3.5. Sort 3, s, f in ascending order.
f, s, 3
Let i = -8 - -11. Sort -1, 6, i in ascending order.
-1, i, 6
Let u = -2 - -2.02. Let h = u + 0.38. Let p = 2 - 2.2. Sort p, 2/7, h.
p, 2/7, h
Suppose 5*j = 2*o + 2*j - 11, -5*o + 15 = 5*j. Suppose -2*x - a = a + o, 2 = x + 3*a. Sort x, -2, 3 in descending order.
3, -2, x
Let o = -0.088 + -0.412. Put -5, 4, -4, o in increasing order.
-5, -4, o, 4
Let r(x) = -4*x**2 - 1. Let u be r(-1). Sort 5, -1, u in decreasing order.
5, -1, u
Let c = -2/15 - -16/45. Let j = -2 - -1. Put c, 5, j in ascending order.
j, c, 5
Let n be (1 - -2)/((-3)/14). Let d be (-26)/(-6) - 2/6. Let y be 2/(-7) - d/n. Sort 5, y, 2.
y, 2, 5
Let x(h) = -h**2 + 2*h + 1. Let w be x(2). Let u = w + 4. Suppose -14 = -n + u*f + 3, 4 = -f. Sort 2, 0, n in increasing order.
n, 0, 2
Let f = -0.112 - -1.112. Sort f, -3, 4/7.
-3, 4/7, f
Let r(o) = 2*o**3 - 7*o**2 - 7*o + 1. Let n(k) = k**3 - 6*k**2 - 6*k. Let j(y) = 3*n(y) - 2*r(y). Let f be j(-3). Sort 4, f, -7 in descending order.
4, f, -7
Suppose -9 = -3*m, p - 1 + 17 = 5*m. Sort 4, -4, p in ascending order.
-4, p, 4
Let p = 5.4 + -0.4. Let k = 2 + -2.3. Sort k, -1/7, p.
k, -1/7, p
Let g = 5 + -2. Suppose g*m + m = -16. Let i be (0 + -4)*m/24. Sort i, -0.4, -2/3 in descending order.
i, -0.4, -2/3
Let f = -0.1 - 3.9. Let l = 1.8 + -2. Let n = -0.4 - l. Sort f, n, -5 in increasing order.
-5, f, n
Suppose -7 = -2*o + 4*z - 1, 3*o + z - 16 = 0. Sort o, 3, 0 in decreasing order.
o, 3, 0
Let w = -0.2 - -0.3. Let i = 366/7 - 52. Let z = 0.1 - -0.1. Sort z, i, w in descending order.
i, z, w
Let h = -49/78 + -1/26. Sort -0.02, 0.1, h in ascending order.
h, -0.02, 0.1
Let w = 30 - 30.6. Put -0.1, 2/3, w in ascending order.
w, -0.1, 2/3
Let s be -16*(0 + (-1)/(-2)). Let p(d) = -2*d - 4. Let w be p(s). Suppose -4*i = -4*t + w, -2*t + 2 = 4*i - 16. Put 4, -5, t in ascending order.
-5, 4, t
Suppose -15 = 5*t + 15. Suppose -9*x + 5*x = -5*w + 40, -10 = x - 3*w. Let n = t - x. Put 2, -2, n in descending order.
n, 2, -2
Let m = 0.39 + -0.09. Sort m, -0.2, 0.4.
-0.2, m, 0.4
Suppose 4*u - 8*u = -4*b - 20, 3*b = u - 9. Suppose 2*f - 3*f = -3, u*f = -3*x. Suppose 2*a + 6 = l - 3*a, 5*l + 4*a = -28. Sort l, -5, x in increasing order.
-5, l, x
Let q = -29 + 18. Let w = q + 7. Let j be (0 + (-3 - -4))*-2. Sort -0.5, j, w.
w, j, -0.5
Let w(c) = -c - 1. Let d be w(2). Let i = 6 + -1. Suppose 0 = 2*u - i*v + 15, -u = -5*u + 4*v - 12. Put 1, u, d in ascending order.
d, u, 1
Let d = -177.99 + 177. Let b = 1 + d. Let u = 3.99 + b. Put u, -0.5, 1/2 in increasing order.
-0.5, 1/2, u
Let b(y) = y**2 - 3*y + 1. Let u be b(2). Let t be (6 - (-6)/(-2)) + u. Put -5, t, 5 in descending order.
5, t, -5
Let j be (-6)/(-45) + 28/15. Suppose -5 = d - j*d. Sort d, -5, 3 in decreasing order.
d, 3, -5
Let g = 0.13 + -0.83. Let y = g + 1. Put -1, 2/15, y in decreasing order.
y, 2/15, -1
Suppose -4*o = -16, -5*k = -k - 3*o. Put -6, 2/13, k in descending order.
k, 2/13, -6
Suppose -10*z - 2 + 32 = 0. Put -5, z, 4, -2 in increasing order.
-5, -2, z, 4
Suppose 2*y = -2*m + 26, -2*m + 9 + 20 = y. Suppose -m = -3*c - 7*a + 2*a, 0 = -5*a + 25. Let l = -3 - c. Sort 3/5, -4, l.
-4, l, 3/5
Let w = 31 - 26. Put w, -4, -2.4, -0.5 in decreasing order.
w, -0.5, -2.4, -4
Let z = -10 + 6. Let k = z + 2. Suppose -3*a + 5*m = 32, -a - 12 = -2*m - 0*m. Sort 1, a, k in ascending order.
a, k, 1
Let g(c) = 3*c**2 - 4*c + 3. Suppose q + 2 = -2*j, -j - j - 8 = -2*q. Let h(v) = v**2. Let x(k) = q*h(k) - g(k). Let t be x(2). Put 2, -2, t in ascending order.
-2, t, 2
Let l = -87/316 + 2/79. Let d = 2 - 2. Put 5, l, d in descending order.
5, d, l
Suppose -4*n = -6*n - 8. Let o = n - -1. Sort -5, o, -1 in descending order.
-1, o, -5
Let y = -52 + 53. Sort 2, -2/3, 30, y.
-2/3, y, 2, 30
Let r = -12655 - -125789/10. Let v = 76 + r. Let k = 2 + -3. Put k, -0.3, v in descending order.
v, -0.3, k
Let d(v) = v**2 - 7*v + 4. Let l be d(7). Let y = -7 + 11. Suppose -3*i + 4 = y*w - l, -2*w - 5*i + 4 = 0. Sort w, -0.2, -0.3 in descending order.
w, -0.2, -0.3
Let p = 29 - 33. Put -2/21, 0.4, p in descending order.
0.4, -2/21, p
Let b be (-46)/10 + 2 - -2. Let p = 0.79 - 0.99. Put -5, b, p in decreasing order.
p, b, -5
Let f = 13 - 9. Let h = f - 6. Let q = h - -2.1. Sort q, -1/4, 0 in ascending order.
-1/4, 0, q
Let f = 23 - 23. Let r be 3 + (2 - 3) - 5. Sort f, -1, r in descending order.
f, -1, r
Let l = -11 - -6. Suppose 5*c = 4*w - 9, 9*c - 4*c + 37 = -3*w. Sort l, w, -0.1.
l, w, -0.1
Suppose 26 = 4*a - 0*g - 2*g, -4*g - 17 = -a. Suppose 0 = -5*f - 3 - 12. Sort f, -4, a.
-4, f, a
Suppose 8 = v - 2*s, -5*v - s = 2*s + 12. Let q be 13 + (1 - 1/1). Let x = -8 + q. Sort v, -1, x in descending order.
x, v, -1
Let v be (-66)/(-14) - 8/(-28). Sort 2, v, -15, -2.
-15, -2, 2, v
Let j = -0.33 - -0.41. Put j, -1/4, -1/3,