. Let y = -1 - k. Put 1, y, 4 in decreasing order.
4, 1, y
Suppose 3*x + 20 = 4*t, 3*t = t + 4*x + 20. Suppose -5*u - 9 - 16 = 0. Let i = 14 - 17. Put i, t, u in decreasing order.
t, i, u
Let x(n) = 11*n**3 + 19*n**2 + 29*n - 29. Let k(u) = -7*u**3 - 13*u**2 - 19*u + 19. Let o(m) = 8*k(m) + 5*x(m). Let t be o(-8). Sort 4, -2, t.
-2, t, 4
Let r = -11 - -15. Let c = 0.04 - 0.14. Sort -3/2, r, c in decreasing order.
r, c, -3/2
Let c(h) = h**2 - 6*h + 5. Let i be c(5). Sort -3, i, 3.
-3, i, 3
Let l = 39 + -42. Sort 5, l, 3, -7 in decreasing order.
5, 3, l, -7
Let l be (8/10)/(4/(-20)). Sort l, 5, -5.
-5, l, 5
Let i = -24 - -28. Put 1, i, -12 in decreasing order.
i, 1, -12
Let d = 42 + -41.9. Sort 3, -0.5, 2/15, d in decreasing order.
3, 2/15, d, -0.5
Let d = 0 - -1. Suppose 0 = 5*w - 0 + 5. Sort w, d, -7 in ascending order.
-7, w, d
Let n be 18/(-28) + 8/16. Suppose 0 = r + 4*o + 3, 0 = 3*r + o + 3 + 6. Put r, 2/5, n in decreasing order.
2/5, n, r
Let z = 1.11 + 0.09. Let w = z + -1. Sort -5, w, -2/15 in decreasing order.
w, -2/15, -5
Let s be (-3)/(-4)*(-17)/(-51). Put s, 2/13, -0.7 in ascending order.
-0.7, 2/13, s
Let z be (1 + -2)/(-2)*0. Let i = -0.03 + -0.27. Let s = i + 0.1. Sort z, -1/9, s in ascending order.
s, -1/9, z
Let w(b) = b**3 - 3*b**2 - 3*b - 2. Let f be w(3). Put -3, 0, f in descending order.
0, -3, f
Suppose 5*g + 12 = -13. Let f be (2 - (3 + -1))/2. Put -4, f, g in descending order.
f, -4, g
Let v = -8 - -5.8. Let o = v - -2.27. Sort o, -0.5, 4 in descending order.
4, o, -0.5
Let q = -4.127 - -0.027. Let t = 0.1 + q. Sort -3, t, 1 in decreasing order.
1, -3, t
Let r = -18.7 - -19. Let h = 38 - 151/4. Sort h, -3, r in descending order.
r, h, -3
Suppose 3*k + 1 = 3*m - 38, 5*m = 3*k + 75. Suppose -i + 0*i = -n + 1, 2*n + m = -2*i. Suppose -4 + 2 = -2*v. Sort i, v, 4.
i, v, 4
Suppose 7*h - 31 = -66. Sort -9, h, 2, 1.
-9, h, 1, 2
Suppose 13*q - 10*q + 12 = 0. Sort -0.3, -5, q, -2/9.
-5, q, -0.3, -2/9
Let z(x) = -x - 9. Let s be z(-9). Suppose s = w + w - 6. Sort -4, w, 0 in decreasing order.
w, 0, -4
Let j(n) = -n**2 + 7*n - 3. Let s be j(6). Let b = 1 - s. Let h be 1/(-3*1/(-3)). Sort b, h, -3 in descending order.
h, b, -3
Suppose -2*s - 9 + 1 = 0. Let q = 6 + s. Let a be (-6)/(-10) + (-4)/(-10). Put a, q, -2 in decreasing order.
q, a, -2
Let a = -3.35 - -3. Let l = 0.05 - a. Put 5/3, -4, l in increasing order.
-4, l, 5/3
Let s = -0.94 + 3.94. Sort -4, s, -0.1, -0.4 in ascending order.
-4, -0.4, -0.1, s
Let o = -12.4 - -8. Let d = o - -4. Let k = d - 0.6. Put 4, 0.1, k in increasing order.
k, 0.1, 4
Suppose 5*s - 9 = 2*s. Let f(n) = -3*n**3 + 2*n + 1. Let l be f(-1). Let j = l - -3. Put -2, j, s in ascending order.
-2, s, j
Let b be ((-78)/(-24) + -3)*-8. Sort b, 1, -4, -3.
-4, -3, b, 1
Let f be (1 - 1)*1 - 4. Let s = 0.7 - 1.2. Sort s, -1, f.
f, -1, s
Let u = -30 + 27. Let s be (-3 - -1)/(2/(-2)). Sort -4, s, u in decreasing order.
s, u, -4
Let w = 3.5 - -1.5. Sort w, 0, 5/6.
0, 5/6, w
Let y be -2*(-6)/6 - -2. Sort y, 0, 2, -5 in ascending order.
-5, 0, 2, y
Let b = -11 + 15. Let c be 1/(5/(-2) + 2). Suppose -3*t - 7 - 2 = 0. Sort t, b, c in descending order.
b, c, t
Let x(n) = n + 6. Let g be x(6). Let j be 28/g*4/14. Put j, -1, 3 in descending order.
3, j, -1
Let i = 1.5 + -1. Let g = -4.3 + 4. Put 0.2, i, g in decreasing order.
i, 0.2, g
Let z = 49 + -49. Sort z, -4, 11 in descending order.
11, z, -4
Let j = -16 + 18. Let i be (12/21*1)/j. Put i, 2/3, 4 in descending order.
4, 2/3, i
Let a(h) = 2*h - 7. Let i be a(5). Suppose 0 = m - i. Let o be (-40)/90 - (-34)/36. Sort 0.2, m, o in descending order.
m, o, 0.2
Let x be (-2)/(-18)*-2*-3. Sort x, -2/5, 2 in decreasing order.
2, x, -2/5
Let j(d) = -d - 7. Let b be j(-7). Let k be b + -2*(-6)/4. Suppose -2*t = -3*t + k*a + 7, -5*a - 25 = t. Sort 0, t, 4.
t, 0, 4
Let h(o) be the third derivative of -o**4/12 - 2*o**3/3 - 2*o**2. Let p be h(-4). Put 5, p, 0 in increasing order.
0, p, 5
Let q = -37 - -33.92. Let i = q - -0.08. Put 3, 1, i in decreasing order.
3, 1, i
Let n = -4 - -3. Sort 0, n, 3 in increasing order.
n, 0, 3
Let r = -106.7 + 115. Let m = r - 8. Let h = 10 - 7. Sort m, h, -4/5 in descending order.
h, m, -4/5
Let m(r) = 8*r**2 - 5*r - 3. Let p(f) = -15*f**2 + 9*f + 5. Let s(j) = 7*m(j) + 4*p(j). Let c be s(1). Suppose -6 = v - 9. Sort v, -0.2, c in decreasing order.
v, -0.2, c
Let i(h) = 1 + h**3 + 2*h**2 + 10*h**2 - 13*h**2. Suppose -u + 4 = -c, -7*u - 20 = -2*u + 3*c. Let s be i(u). Sort -4, 1, s in descending order.
1, s, -4
Let b = -3.3 - 0.7. Let a = 176/5 - 1926/55. Sort a, 2, b.
b, a, 2
Let f be ((-16)/(-276))/(4/6). Let d = f + 19/46. Put 1, -0.5, d in increasing order.
-0.5, d, 1
Let x = -1 + 0. Let j = -5 + 8. Put 1/2, j, x in decreasing order.
j, 1/2, x
Suppose 3*d - 15 = -0. Let c(q) = -q**3 - 9*q**2 - 7*q + 5. Suppose 5*o + 2*i = 5*i - 28, i = -5*o - 44. Let b be c(o). Put b, d, 4 in descending order.
d, 4, b
Let u = -3 - -6. Suppose -o - u = -0*o. Suppose -x + 2 = -3*x. Put o, 3, x in increasing order.
o, x, 3
Let d = -1.68 + -0.12. Put -4, 0.1, -2/15, d in decreasing order.
0.1, -2/15, d, -4
Let j = 2 + 1. Let k be (-4)/(-8) - j/(-2). Let l = k - 1. Put -3, l, -1 in descending order.
l, -1, -3
Suppose 4*f + 16 = 0, -2 = -5*k + 2*f + 26. Let o = 1 - 8. Let x be 1*2 + o + 8. Sort 2, x, k in ascending order.
2, x, k
Suppose 23 = 3*i + 4*f, 5*f = 3*i - 31 - 1. Suppose -d + 0*m = -3*m - i, -2*d = -3*m - 12. Let o = -2.5 - -0.5. Put -0.2, d, o in descending order.
d, -0.2, o
Let l = -32 + 33. Put l, 4, -1 in descending order.
4, l, -1
Let v = 150 - 145. Sort 2, -18, v in ascending order.
-18, 2, v
Let q = -72.9 + 73. Sort -0.5, 4, q in descending order.
4, q, -0.5
Suppose -a - 2 = 3. Let z = -7 - a. Put -3, z, -1 in ascending order.
-3, z, -1
Let t be (3/(-15))/(3/9). Let y = 0.1 - 0. Let r = y + 0.4. Sort t, r, -2/5 in decreasing order.
r, -2/5, t
Let v = -8 - -26. Let b be 5/25 + v/(-190). Put 5, -2/15, b in descending order.
5, b, -2/15
Let y = 36 - 35. Let q = 2 + -7. Let j = -0.02 - 0.08. Sort j, y, q.
q, j, y
Suppose 0 = x, 2 = 2*b - 3*x + 4. Sort -0.4, 3/2, b, -0.5 in decreasing order.
3/2, -0.4, -0.5, b
Let v = -4 - -4.14. Let r = 136.04 - 136. Let k = r - v. Sort 2/19, -2/5, k in decreasing order.
2/19, k, -2/5
Let u be (-9)/5*30/(-9). Suppose u*b = 2*b. Put -3, 1, b in decreasing order.
1, b, -3
Let l = 92 + -95. Suppose 0 = -d - 3*p - 4, 3*d - 45 = 4*p - 5. Suppose 0 = b + b - d. Sort b, 3, l.
l, 3, b
Let z be 2 + 1/((-2)/4). Suppose 4*c - 5*b + 40 = z, 2*b - 3 = -c - 0*b. Suppose 0 = 4*g - 7*g + 9. Sort g, c, -4.
c, -4, g
Let i(n) = n + 8. Let q be i(-7). Let t be 1 - (q + -1 + 0). Sort t, 3, -11.
-11, t, 3
Let y be (6 + -1 - 2) + 8. Suppose f = -y + 57. Let z be ((-88)/f - -1) + 1. Sort -1/2, z, 0.5.
-1/2, z, 0.5
Suppose -r - 20 = -25. Sort 3, r, -2 in descending order.
r, 3, -2
Let f = -78 - -82. Sort 5, -5, f in ascending order.
-5, f, 5
Let f(i) = -2*i**2 - 1. Let a be f(0). Sort 2, a, -4 in decreasing order.
2, a, -4
Let y = -0.01 - -0.01. Sort -1/4, -5, y.
-5, -1/4, y
Suppose -d + 4 = 7. Let a(q) = q**2 + 7*q + 1. Suppose 3*v = 5*z - z + 36, 0 = -5*z - 3*v - 18. Let g be a(z). Sort 4, d, g in decreasing order.
4, d, g
Suppose -4*v - 35 = 3*v. Sort -13, v, -2 in decreasing order.
-2, v, -13
Let l = -5 + 9. Let o = -0.3 - 0.1. Let h = o - -0.6. Sort l, 0.5, h in descending order.
l, 0.5, h
Let h = -0.3 + 1.3. Sort 2, 4, 8, h in ascending order.
h, 2, 4, 8
Let g(s) = s**3 + 11*s**2 + 11*s + 6. Let r be g(-10). Suppose 8*i - 6 = 6*i. Sort r, i, -5.
-5, r, i
Let t be (3 + -3)/2 - -4. Suppose -5*b - 32 = -t*g, 0 = -g - b - 0 - 1. Put g, -6, -4 in increasing order.
-6, -4, g
Let a = 63/2 - 29. Sort 5, -5, a in descending order.
5, a, -5
Suppose 1 = -j + 4*g - 2, -6 = -j + g. Put j, 1, -5 in decreasing order.
j, 1, -5
Let i = -174 - -189. Sort -4, i, -2/13, 0.4.
-4, -2/13, 0.4, i
Let t = 66 + -61. Sort -0.4, t, -2/3.
-2/3, -0.4, t
Let o be (44/(-20) - -1) + 2. Let b = 1 + -1. Suppose b = q + 9 - 4. Sort o, -0.3, q in descending order.
o, -0.3, q
Let l(a) = -a - 6. Let r be l(11). Let x = 12 + r. Put -1, 4, x in decreasing order.
4, -1, x
Let b be (-6)/(-21) + 39/84. Let h(o) = 0*o + 0 - 2*o + 9 - 3. Let d be h(5). Sort 5, b, d in decreasing ord