 = 6*j. Let x be v(2). Let q be 54/x*4/6. Put -3, -1, q in descending order.
q, -1, -3
Let c = 5 + -3. Let n be -1 + 3 + (-6)/2 - 2. Put -0.8, n, c in increasing order.
n, -0.8, c
Suppose -r - 6 = -4*r. Suppose w + 3 = r*w. Sort w, 2, 0.
0, 2, w
Suppose -4*r + 0 = 8. Let b be -2 - -2 - r/(-6). Sort -1/2, 0.3, b.
-1/2, b, 0.3
Suppose 0*v - v = 2*m - 5, 4*v = m + 2. Suppose -3*j + 4*l + 2 = m*l, 0 = -2*j - 5*l + 33. Let g be -1*2 - (0 - 1). Sort j, 1, g.
g, 1, j
Let n = -0.1 - -0.2. Let s = 0.21 + -0.51. Let v = s + n. Sort v, -0.5, 0.5.
-0.5, v, 0.5
Let k be 4 + 0/(8/(-4) - -3). Put -1, -3, -4, k in descending order.
k, -1, -3, -4
Let l = 2 - 2. Suppose 0 = -5*j - l*j + 25. Put j, 2/5, 1 in decreasing order.
j, 1, 2/5
Let q(k) = -k**2 - 4*k - 1. Let h be q(-3). Suppose -u + 0 = -2. Suppose r = h + u. Put 3, r, 1 in descending order.
r, 3, 1
Let k(v) = v + 16. Let n be k(-18). Suppose -5*j - t - 2*t + 19 = 0, -3*t + 15 = 3*j. Sort -3, n, j.
-3, n, j
Suppose 4*t - 2*t = 0, -s + 5*t = 356. Let d be s/(-22)*13/2. Let n = d + -105. Put -5, n, -2/9 in ascending order.
-5, -2/9, n
Suppose -8 = -5*x - 3. Let z = -4 + 4. Sort z, 2, x in ascending order.
z, x, 2
Let r = -1144/9 - -127. Let l = 0.4 + -2.4. Let x be (14/(-35))/(6/(-5)). Put x, l, r in increasing order.
l, r, x
Suppose -3 + 7 = v. Sort 5, -2, v.
-2, v, 5
Let b = -198 + 197. Let h be (-2)/(1/(-1 - 0)). Suppose -2*u = h*u. Put b, 4, u in descending order.
4, u, b
Let i be -5*(-1)/(1 + -2). Suppose 3*r = 2*r + 1, r = -4*p + 17. Suppose 3*q = 5*x + 3, -3*x = -x + 4*q - p. Sort x, i, 4/3 in increasing order.
i, x, 4/3
Let a = -14 + 13. Let v(d) = -d**3 + 7*d**2 - 6*d + 5. Let f be v(6). Put a, f, 3 in decreasing order.
f, 3, a
Let b(m) = -m**2 - 10*m - 16. Let k be b(-11). Let u = -191/7 - k. Sort u, -2, 1/3 in descending order.
1/3, u, -2
Suppose 12 = h + 2*b, -5*h - 2*b - 2*b = -30. Suppose -h*i + 6 + 12 = 0. Let n = i + -4. Sort 0, -2, n in descending order.
n, 0, -2
Suppose 5*s + m = -0 + 45, -m = 0. Sort s, -5, -2 in descending order.
s, -2, -5
Let a = 0.4 + -6.4. Let y = -10 - a. Sort -0.3, 4/5, y in ascending order.
y, -0.3, 4/5
Let h = 13 - 16. Put h, 4, -5 in decreasing order.
4, h, -5
Let u(n) = 2*n + 14. Let w be u(-8). Sort 7, 5, w in decreasing order.
7, 5, w
Let w(u) = -2*u - 17. Let n be w(-8). Put n, 4, -3 in descending order.
4, n, -3
Suppose 4*f - 3*y + 1 - 2 = 0, -3*f + 7 = -y. Let t(o) = o + 3. Let b be t(5). Suppose 0 = 3*s - 7*s - b. Sort s, f, 3 in descending order.
f, 3, s
Suppose -l - 20 = -6*l. Let p = -24 - -29. Sort p, -1, l in ascending order.
-1, l, p
Let s = 9 - 4. Suppose -h - 38 = -39. Sort h, s, -5 in decreasing order.
s, h, -5
Suppose 0 = -s - 13 + 17. Let x(y) = y**3 + 2*y**2 - 2*y + 1. Let v be x(1). Suppose 5*u = v*u - 4*h - 3, 0 = -3*u + 3*h - 24. Put s, 0, u in decreasing order.
s, 0, u
Let v = -0.029 + -0.471. Put -0.2, -5, v in ascending order.
-5, v, -0.2
Suppose 2 + 4 = -2*j + g, -5*j + 2*g = 14. Suppose 15 = p + 4*p + 3*l, -2*p = 3*l - 15. Suppose y = -p*y + 1. Sort j, -5, y.
-5, j, y
Suppose 0*m + 5*m = 2*p - 11, 0 = -3*m + 2*p - 5. Put 2, 17, m in ascending order.
m, 2, 17
Let n = -13 - -18. Suppose -3*x - 11 = n*r - 4*x, -3*x - 3 = 3*r. Let o(p) = -p - 3. Let y be o(-2). Put r, 2, y in decreasing order.
2, y, r
Suppose -4*l = -2*a + 16, 4*l + 4*a + 17 = -11. Sort -3, l, 1, 3 in decreasing order.
3, 1, -3, l
Let n = -11 + 15. Let h(t) = t**3 + 2*t**2 + t + 1. Let j be h(-2). Let q be j + 2 + 0 + -5. Put n, 0, q in ascending order.
q, 0, n
Suppose 3 = -4*b - 5*p, 2*b + 0 = p - 5. Let c(o) = o**2 + 4*o. Let h be c(b). Sort h, 0, -3 in descending order.
0, -3, h
Suppose 0 = -2*a - 3 + 23. Sort 2, -3, 4, a in ascending order.
-3, 2, 4, a
Let s be (-7 + 1)/(3/(-2)). Let r(k) = -k**3 - 3*k**2 - 3*k - 4. Let y be r(-3). Suppose -3 = c - y. Put c, 3, s in ascending order.
c, 3, s
Let y = -2 - 0. Let m = y - -4. Sort m, -5, 5 in increasing order.
-5, m, 5
Let a = -0.11 + -3.89. Put 2/7, 0.2, a in decreasing order.
2/7, 0.2, a
Suppose 0 = 2*m - 9 - 11. Sort -1, m, 5.
-1, 5, m
Let f = 4 - 3.6. Suppose -3*r = 6, -4*s - 4 = 2*r - 6*r. Put 4, s, f in increasing order.
s, f, 4
Let z(a) = -a**2 + 5*a - 6. Let g be z(4). Let v = 0 - g. Let d be -1 + -2 + v + 4. Sort -5, d, -1 in ascending order.
-5, -1, d
Let p = 18 + -19. Sort 4, p, 0 in descending order.
4, 0, p
Suppose -3*k - k - 12 = 0. Let g be 1/((-5)/4)*-10. Let h = g + -13. Put 4, k, h in increasing order.
h, k, 4
Let j = 0.2 - 1.3. Let s = j - -5.1. Sort 0, 2, s.
0, 2, s
Suppose -26 = 4*d + 2*b, 4*d + 3*b + 13 = -12. Sort d, -1, 0.
d, -1, 0
Suppose 5*g - 272 = g. Let v be (-6)/(-8) - 43/g. Let q be (-2*2/(-4))/1. Put q, 4/7, v in descending order.
q, 4/7, v
Let r(w) = 2*w**2 + 3*w + 1. Let t be r(-2). Sort t, -6, -1.
-6, -1, t
Let y be (-1 + 1)*(-2)/4. Let p = -141 - -145. Put y, p, 5 in descending order.
5, p, y
Suppose -2*z + 5*d = 2*d + 8, -4*z = 4*d + 36. Let w = z - -6. Let i be (1 - (-10)/(-6))/w. Sort i, -0.2, 1/4 in ascending order.
-0.2, 1/4, i
Let i = 10.9 - 11. Sort i, -1/4, -5.
-5, -1/4, i
Let r(v) be the second derivative of -v**5/20 - v**4/2 + v**3 - 9*v**2/2 - v. Let p be r(-7). Sort 0.01, p, -4/5.
p, -4/5, 0.01
Let m(i) = -i**2 - 11*i + 1. Let u be m(-11). Sort u, -3, -4 in descending order.
u, -3, -4
Let r be 0 + 5/6 + -1. Sort -1, -5, -4, r.
-5, -4, -1, r
Let y = 34 + -34.03. Sort -1/8, 4, y in ascending order.
-1/8, y, 4
Let r be 2/20 - 39/(-60). Put 5, -2/7, -4, r in decreasing order.
5, r, -2/7, -4
Let w(u) = u**3 + 3*u**2 - 5*u. Let f be w(-4). Suppose 5*n - f - 6 = 0. Put 4, 3, n in descending order.
4, 3, n
Let b = -18 + 13. Put b, 4, -3/7 in decreasing order.
4, -3/7, b
Let l = -3.8 + 4.3. Sort l, 1, -0.1.
-0.1, l, 1
Let b(n) = n**2 + n - 1. Let p be b(-4). Let i be (-3 + p)*2/4. Sort i, -7, -1.
-7, -1, i
Let d = -7 - -23. Let q = d + -16. Sort q, -0.3, -1/4 in decreasing order.
q, -1/4, -0.3
Let x = 382 + -13372/35. Let c = x - -23/35. Let y be (-22)/24 - (-2)/3. Sort y, 0, c in descending order.
c, 0, y
Let h = -8/13 - 23/26. Let q = 1 - 1.5. Let g = q + 0.3. Sort h, g, 0.2 in descending order.
0.2, g, h
Let t be (-18)/2*3/(-36). Put 0.14, t, 5, 0.4 in descending order.
5, t, 0.4, 0.14
Suppose -2*d = -4 - 4. Suppose -k = k + 10. Sort d, k, 5 in ascending order.
k, d, 5
Let n = -7 - -6.86. Let t = n + 0.64. Sort -4/5, t, 4.
-4/5, t, 4
Let s(w) = 6*w + 10*w - w**2 + 16 - 5*w - 1. Let j be s(12). Suppose 2*b = -0*f - 4*f - 4, 4*b + 4*f = -4. Put -3, b, j in descending order.
j, b, -3
Let o(d) = d**3 - 6*d**2 + 2*d - 14. Let u be o(6). Put u, -3, -4 in decreasing order.
u, -3, -4
Let b = 10 + -9.3. Let l = 4.7 - b. Put -2, l, -2/19 in increasing order.
-2, -2/19, l
Let d(n) = -n**3 + 3*n**2 - n + 1. Let y be d(2). Suppose 3*k = -2*i - k - 12, 3*i - 18 = y*k. Let g be -1*(-2)/4*0. Sort i, g, -3 in descending order.
i, g, -3
Let a = 744.03 + -740. Let g = -4 + a. Let l = 0.07 + g. Put l, 5, -1/2 in descending order.
5, l, -1/2
Let g = -0.37 + 0.07. Let l = 3/68 - 797/340. Let h = 14/5 + l. Sort -0.5, h, g in decreasing order.
h, g, -0.5
Let b(g) = -3*g. Let v(u) = -3*u. Let a(d) = -3*b(d) + 4*v(d). Let t be a(1). Put t, 2/19, 0.2 in decreasing order.
0.2, 2/19, t
Let r = 40 + -36. Let q = 142 + -996/7. Sort r, -2/5, q in decreasing order.
r, q, -2/5
Let c = -3.8 + 4. Let z = -1 + 3.2. Let s = z + 0.8. Put -2, c, s in ascending order.
-2, c, s
Suppose -6*g = -13 - 53. Put 1, g, 3, 0 in descending order.
g, 3, 1, 0
Let n be 4/(-22) + (-432)/(-198). Let v = 4 + -9. Put n, v, 4 in descending order.
4, n, v
Suppose 4*q + q + 5 = 0. Let a = -5 + 7. Suppose 20 = a*t + 5*l, 3*t = l + 2 + 11. Put 1, q, t in increasing order.
q, 1, t
Let k = 36 + -38. Put k, -4, 4 in decreasing order.
4, k, -4
Let w = -26 + 30. Put w, -0.5, 13 in decreasing order.
13, w, -0.5
Let q be (-4*2)/(-2) - 29. Sort -2, q, -5 in descending order.
-2, -5, q
Let h = 8 - 12. Let g be 100/36 - 2/(-9). Suppose -f + 1 - g = 0. Put h, 1, f in ascending order.
h, f, 1
Let a = 15 - 18. Let n be 0 + (1 + -4 - -2). Let g be (n - -5)*1/2. Put 1, g, a in ascending order.
a, 1, g
Let f = 58 + -56. Put 8, f, 4 in descending order.
8, 4, f
Let m = 18 - 22. Sort -3, m, 0.
m, -3, 0
Let s(g) = 3*g**2 - 1 - 4*g**2 + 0*g**2 - g**3 + 4*g.