 -34 in descending order.
b, -5, -34
Let x(v) = -v**3 - v**2 + 8. Let k be x(2). Sort k, 1, 0, 2 in increasing order.
k, 0, 1, 2
Let l be (-144)/10 - 4/(-10). Let u(m) = m**3 + m**2 - 4*m + 4. Let n be u(1). Sort -4, n, l in increasing order.
l, -4, n
Suppose -4 + 36 = 16*k. Put 7, k, 0 in ascending order.
0, k, 7
Let m = 3 - 2.97. Let u = -22 - -14. Let y be 2/(-42) + u/(-24). Sort -5, y, m in descending order.
y, m, -5
Let h = -29.5 + 26.5. Put h, 4, -2.4, 1 in decreasing order.
4, 1, -2.4, h
Let r be ((-9)/(-21))/(36/336). Let j be (39/(-2))/(2/(-4)). Let m be j/(-9) - 2/(-6). Sort -3, m, r in decreasing order.
r, -3, m
Suppose 4*y = 5*m + 17, 5*m + 4*y - 5 = 2. Put -2, -4, 3, m in descending order.
3, m, -2, -4
Suppose 30 = -4*c + 5*k, -c - 2*k - 3*k = 20. Let j = c + 67/7. Put -2, -3, j in descending order.
j, -2, -3
Suppose 5*z + 3 = 3*c + 22, -c - 3 = 0. Suppose -6 - 6 = -4*m. Let j(f) = -f**2 - f + 1. Let v be j(0). Put v, z, m in decreasing order.
m, z, v
Let g = 0.313 + -0.032. Let k = g + 0.019. Sort -5, -0.5, k in increasing order.
-5, -0.5, k
Let q(m) = -m**2 - 15*m + 37. Let u be q(-17). Let o = 45 + -45. Sort o, u, -4 in descending order.
u, o, -4
Let p be 40/(-5) - 21/(-3). Put 1, -70, p, 3 in decreasing order.
3, 1, p, -70
Let l = -0.274 - -0.074. Sort l, -4, 0, 7.
-4, l, 0, 7
Let y(k) = k**3 + 19*k**2 + 17*k + 26. Let j be y(-18). Let o be (-66)/j + (-29)/(-14). Sort 2, o, -2/15.
-2/15, o, 2
Let j = -0.703 + -0.127. Let i = j - -0.86. Sort 1, -0.1, 0.1, i in increasing order.
-0.1, i, 0.1, 1
Suppose 8*v + 47 = 7. Sort -2/3, v, 1, -26/9.
v, -26/9, -2/3, 1
Let x = 358 - 357. Sort -0.4, x, 1/2 in ascending order.
-0.4, 1/2, x
Suppose -2*u - 3*l + 21 = 2*u, -3*u = -4*l - 47. Suppose -u = 5*f + 11. Sort f, -2, -0.4, 10 in decreasing order.
10, -0.4, -2, f
Let c be -3 - ((-54)/90 + 66/10). Let a be 6/(2*(-2 + 3)). Put -2, c, a, 5 in increasing order.
c, -2, a, 5
Let b = -122 - -126. Sort -5, b, -40 in ascending order.
-40, -5, b
Let b be (-3 + (-264)/(-87))/((-3)/(-33)). Let r = b + -173/609. Let i = -3 - -2. Sort r, i, 2/7 in increasing order.
i, r, 2/7
Let x = -7 + -4. Let a(f) = f**2 - 24*f + 105. Let p be a(6). Sort x, -4, p.
x, -4, p
Let o = -2276/119 - -330/17. Sort 6, 1/11, 4, o in ascending order.
1/11, o, 4, 6
Let n = -43 + 47. Sort 1, 41, n, 0 in descending order.
41, n, 1, 0
Let x be 32/(-144) + 0 + (-32)/18. Let k = 2 + -5. Sort x, k, -17.
-17, k, x
Let u = -20 + 26. Let y = 5 - u. Sort -0.3, y, -0.21 in decreasing order.
-0.21, -0.3, y
Suppose -3*k = 2*d - 11, 4*k - d - 16 = -5*d. Suppose -f - 20 = 4*f, 2*s + f + 6 = 0. Sort s, k, -5, -4 in decreasing order.
k, s, -4, -5
Let f(t) = 4*t. Let c be f(-1). Let n be ((-54)/(-162))/(1/9). Let i be (-2)/(-7) - 16/7. Sort n, c, i.
c, i, n
Let i = 6 + -5. Let l be (-1)/2*(-9 + i). Suppose 4*h + 28 = -l*w, 5*h + 4*w = 2*w - 23. Sort -2, h, -7 in descending order.
-2, h, -7
Let n = 7 + -11. Let z(t) = 4*t**2 + t - 2. Let k be z(2). Suppose -5*c + 3*x - k = 0, 0*c - c = -3*x - 4. Put n, -2, c in ascending order.
c, n, -2
Let s(w) = -3*w**2 + 24*w - 14. Let o be s(8). Put o, -6, 3, -5 in decreasing order.
3, -5, -6, o
Suppose -k + 0*k = 0. Suppose k = -5*d - c + 2, -3*c + 4 + 2 = -d. Suppose -a + 19 - 15 = 0. Put d, a, -2 in descending order.
a, d, -2
Let t = 0.57 + -0.07. Let q = 18.5 + t. Let u = q - 17. Sort -0.1, 6, u.
-0.1, u, 6
Let d = 60 - 56. Suppose 6 = 4*r + 38. Let n = -9 - r. Put d, n, -1/5 in decreasing order.
d, -1/5, n
Let p = 0.003 + 5.197. Let c = 5.6 - p. Sort c, 0.5, -2 in increasing order.
-2, c, 0.5
Let g(j) = 2*j**2 + 35*j + 17. Let d be g(-17). Put d, 4, 72 in descending order.
72, 4, d
Suppose 2*d - 11 = 3*r - 3*d, -4*r + 4*d = 4. Let l be 6/10 + (-37)/((-370)/(-16)). Sort l, r, 1 in descending order.
r, 1, l
Suppose -60*j + 62*j = -322. Let g = 1125/7 + j. Sort 0, g, -2.
-2, g, 0
Let b(y) = -3*y + 21. Let h be b(5). Let p(x) be the third derivative of x**4/12 + 7*x**3/6 - x**2. Let f be p(-6). Sort -4, f, h in descending order.
h, -4, f
Let x = -128/63 - -17/9. Sort x, -1/2, -1, 2 in ascending order.
-1, -1/2, x, 2
Let g = 486 - 485.8. Sort -18, -0.1, g.
-18, -0.1, g
Let o = 588 + -601. Put -3, o, 6 in ascending order.
o, -3, 6
Let u = 0.41 - 0.01. Let o be (8/10)/(4/(-2 - 2)). Let i be -4*(-3)/6*1. Sort u, i, o in ascending order.
o, u, i
Let r = 2 - 1. Let v = -1635 + 1630. Sort 4, r, v in descending order.
4, r, v
Let p = -15/2 + 7. Suppose 4*n + 6 = n. Let r = 100 - 105. Put r, p, n in decreasing order.
p, n, r
Let i = -382 - -381.7. Sort 7/2, -5, i in increasing order.
-5, i, 7/2
Let c(h) = -3*h + 102. Let d be c(34). Put 2, d, 21 in decreasing order.
21, 2, d
Let t(h) = -h**3 - 5*h**2 + h + 5. Let s be t(-5). Let n = -15 - -18. Let w be (1/n - s)*-6. Put w, 0, 1 in descending order.
1, 0, w
Let k be (-2)/13 - (-122)/624. Let v be 1*(4 + -5 - (-4 - -1)). Sort 3, v, k in descending order.
3, v, k
Suppose 45 - 25 = 10*z. Put -1/7, 3, z in decreasing order.
3, z, -1/7
Let m(c) = -c**2 + 23*c + 81. Let v be m(26). Put v, 5, 1, -2 in increasing order.
-2, 1, v, 5
Let u(c) = -17*c + 2. Let h(w) = -2*w - 1. Let r(v) = -3*h(v) + u(v). Let a be r(1). Put a, 2, -4 in descending order.
2, -4, a
Let c = 1807 - 1806.94. Sort -5, -0.4, c, 0 in decreasing order.
c, 0, -0.4, -5
Suppose 9*w - 6 = 7*w. Put w, 133, 2 in decreasing order.
133, w, 2
Let k = 12.9 + -13. Let j = -3 + 3.4. Sort -1, j, k.
-1, k, j
Let r = -89 + 91. Let l(c) = c + 0*c**3 - 3*c + c + c**3 - 2. Let j be l(r). Sort -1/4, j, -0.1 in descending order.
j, -0.1, -1/4
Let m = -0.007 + -0.203. Let g = -0.24873 + 0.04873. Put 0.1, g, m in descending order.
0.1, g, m
Suppose 0 = 446*c - 445*c + 1. Sort -3, -253, c, 4 in decreasing order.
4, c, -3, -253
Let u(a) = -13*a**2 + 4*a - 3. Let b be u(1). Let f(d) = d**2 + 10*d - 27. Let w be f(b). Put w, 2, -4 in decreasing order.
2, w, -4
Let j = 559 + -555. Sort j, -3, -3/7, -19 in decreasing order.
j, -3/7, -3, -19
Suppose -13*v = 2*v - 120. Sort -1, 2, v, 1 in increasing order.
-1, 1, 2, v
Let q be (-2)/20*2*-1. Let g = 1038.6 + -1039. Put q, g, 0 in descending order.
q, 0, g
Suppose q + p - 20 = -4*p, -p = -2*q + 7. Sort q, -11, 6, -3 in descending order.
6, q, -3, -11
Let c = -506 - -501. Sort -3, 0, c in decreasing order.
0, -3, c
Let t(f) = -5*f + 13. Let w be t(-7). Suppose 0 = 4*s - 8*s + w. Suppose s = 4*a + a - 3*l, 3 = 3*l. Put -1, a, 5 in decreasing order.
5, a, -1
Suppose -3*f + 4*b = -0*f + 54, -4*f - 62 = -2*b. Sort 2, f, 5.
f, 2, 5
Suppose g + 0*g - 1496 = 0. Let k be 4/(-7) + g/2275. Let w = -6/25 + k. Put -0.9, w, 4 in decreasing order.
4, w, -0.9
Let b = -10 + 6. Let n(j) = 2*j + 16. Let x be n(6). Let a = -24 + x. Sort -3, b, a in decreasing order.
a, -3, b
Let r = -15 - -25. Suppose r*s - 8*s = 2. Sort 2, -5, 4, s.
-5, s, 2, 4
Suppose 11 = -2*q + 3*q + 4*z, 4 = 2*z. Suppose 5*s - 12 = -q*h - 38, 2*h = -s - 8. Put h, -5, 11 in decreasing order.
11, h, -5
Let k = -87 + 86.8. Put -10, -2/11, k in ascending order.
-10, k, -2/11
Let z = -284 + 288. Put -2, z, -0.3, -12 in descending order.
z, -0.3, -2, -12
Let v be 66/10 + (-203)/29. Sort 3/7, -1, v, 4.
-1, v, 3/7, 4
Suppose -4*b = -22 + 10, -4*a = -4*b. Put -4, -5, -9, a in ascending order.
-9, -5, -4, a
Let x = 58 + -57.999. Let c = x - -0.199. Put 2/17, -2, c in ascending order.
-2, 2/17, c
Let j be 1 + 4/2 + -1 - 3. Let d(i) = -i**2 - 8*i. Let t be d(-6). Suppose q + 0*k + 15 = -5*k, 4*k + t = q. Put -4, q, j in decreasing order.
q, j, -4
Let j(f) = f + 3. Let g be j(3). Suppose g*q + 33 = -5*t + 2*q, -4*q + 2 = -2*t. Sort -1, t, 11.
t, -1, 11
Let g = 66.2 + -56. Let a = -10.5 + g. Let x = 0.42 - 0.02. Sort a, x, 4/9.
a, x, 4/9
Let x = 14 + -19. Let d be -2*(-3 + 1*(-5)/(-2)). Put 5, x, d, -2 in decreasing order.
5, d, -2, x
Suppose 103*i = 149 - 46. Sort -4, i, -1.016, 0.1 in decreasing order.
i, 0.1, -1.016, -4
Let m = 117.9 + -123. Let y = 5 + m. Sort -2, 4, y in descending order.
4, y, -2
Let g = 0.1004 + 19.8996. Sort -2/3, 0.5, -1, g in increasing order.
-1, -2/3, 0.5, g
Let d be (-1 - 2/(-8))/(9/(-24)). Sort d, 1/4, 6, -1 in decreasing order.
6, d, 1/4, -1
Suppose -4*m + 8*m - 8 = 0. Suppose -3*o - m = -2*o. Sort -5, 0, o, 1 in descending order.
1, 0, o, -5
Let l = -1.8 - -1. Le