d(-7). Put 5, 3, b, -13 in increasing order.
-13, b, 3, 5
Let f(t) = -t - 4. Let c be f(-3). Let x be 1*(c + 14/18). Sort -25, -5, x in ascending order.
-25, -5, x
Let y = 728 + -727.9. Sort 4, 2, y, 1.7.
y, 1.7, 2, 4
Suppose 5*q - 3 = 2*v + 12, -4*v + 2*q - 6 = 0. Let k(m) = m**3 + 5*m**2 - 5*m + 2. Let b be k(-6). Put b, v, 3, 4 in descending order.
4, 3, v, b
Suppose -9 = -4*l + l. Let p(k) = 14*k. Let r be p(-1). Sort 2, l, r in descending order.
l, 2, r
Let u(r) be the second derivative of r**4/12 + 3*r**3/2 + 19*r**2/2 + 3*r. Let v be u(-6). Let h = -5 - -9. Put h, -4, v in descending order.
h, v, -4
Let z = -5 + 5.5. Let i = z - 0. Let o = 29.57 + -29.97. Put o, 0, i in decreasing order.
i, 0, o
Let w(s) = s**3 - 8*s**2 + 42*s - 250. Let k be w(7). Let n be -1 - 7 - (1 - 3). Put k, n, -4 in decreasing order.
-4, k, n
Let x = -1153/5 - -231. Sort -3, x, -1/2, 1.8 in descending order.
1.8, x, -1/2, -3
Suppose 4*o - 2*g - 14 = 0, 2*o - 3*g = -0*g + 5. Let w = 7 + o. Sort 0, w, -1 in decreasing order.
w, 0, -1
Let m = -3.567 + 2.167. Put -1/4, m, 5, 4 in descending order.
5, 4, -1/4, m
Let p be 28/63 + (-164)/(-36). Suppose 8 = 3*a - 16. Suppose -b - 2 = 2*m - a, -2*b + 4*m = 28. Sort b, p, 0 in increasing order.
b, 0, p
Let q = 1.758 + 48.242. Sort -4, -3/7, q.
-4, -3/7, q
Suppose d = -d - 4. Let i(h) = -2*h**3 - 56*h**2 - 56*h - 52. Let y be i(-27). Sort -4, y, d in descending order.
y, d, -4
Let i = -381 - -386. Sort 1, -49, 3, i in descending order.
i, 3, 1, -49
Let s(b) = 5*b + 8. Let i be s(3). Suppose -21*d + i*d = 10. Sort -2, d, 1, 3 in descending order.
d, 3, 1, -2
Suppose -23 = -2*b - 5*x, -4*x + 24 = 3*b - 7*b. Let c be (-522)/129 + 5 + b. Sort c, 2/5, 5, -1.
-1, c, 2/5, 5
Let x be (2 - 8)/(-2 + -2). Let m = -0.367 + 0.067. Sort x, -2/7, m in decreasing order.
x, -2/7, m
Let r(h) = -16*h - 3. Let v be r(-5). Suppose 0 = -5*k - 212 - 83. Let w be k/(-22) + (-14)/v. Sort -1, w, 0.1 in descending order.
w, 0.1, -1
Let h be ((-6)/(-4))/(25/150). Suppose 4*f - 42 + h = -5*b, 2*f = 5*b - 21. Put -5, f, 1, 5 in descending order.
5, f, 1, -5
Let m = 18 + -17.84. Let z = 0.36 - m. Let x = -4 - 1. Sort x, z, 4 in descending order.
4, z, x
Let v be (4 + 32/20)/((-4)/(-10)). Sort -2/19, 2/9, v in descending order.
v, 2/9, -2/19
Let i be -5*6/210*21. Sort 3, 96, i in ascending order.
i, 3, 96
Let k be 18/12*24/9. Suppose -z - k = 1. Suppose -4*x = -0*x - 3*y - 6, 5*y = 4*x - 2. Sort z, -4, x in descending order.
x, -4, z
Suppose 4*t = k - 6 + 2, 3*k + 3*t = -3. Suppose 0 = -12*b + 8 - 32. Put 38, k, b, 3 in descending order.
38, 3, k, b
Let g = -416 - -412. Sort -3, g, -14, -0.4 in increasing order.
-14, g, -3, -0.4
Let d be -1 + ((-3)/32)/(63/(-168)). Let v = 1 - 4. Let b = 0.07 - 0.13. Sort d, v, b in descending order.
b, d, v
Let i = 32 - 31. Suppose -z = i - 4. Put -2, 6, z in ascending order.
-2, z, 6
Let v be 3*(0 - (-35)/21). Sort v, -20, 1 in descending order.
v, 1, -20
Suppose -k - 65 = -5*v, -v + 5*k + 6 = -31. Let h be ((9/(-4))/(-3))/(3/v). Put 1, 14, h, -4 in decreasing order.
14, h, 1, -4
Let h = -6 - -11. Suppose 5*g + 2*c + 2 = -2*c, 0 = 5*g - 2*c - 16. Suppose -4*j + 8 = -p, -j + 9 = -0*j - g*p. Sort j, h, -4 in descending order.
h, j, -4
Let x = -0.3 - 1.5. Let g = 3.8 + x. Let p = -2 + -3. Put g, -3/4, p in increasing order.
p, -3/4, g
Let u = 59940 + 2141. Let h = u + -810968/13. Let p = h + 301. Sort p, -3/7, 0 in ascending order.
-3/7, p, 0
Let s(b) = b**3 + 6*b**2 + 5*b + 5. Let l be s(-5). Let z(y) = y**3 - 9*y**2 + 13*y + 4. Let x be z(7). Let q be 52/195*x/2. Sort 0.5, l, q.
q, 0.5, l
Suppose -28*y - 18 = -22*y. Sort 2/7, -0.116, y, 0.5 in decreasing order.
0.5, 2/7, -0.116, y
Suppose 0 = -2*o - 2*o + 12. Suppose -5*r = 3*g + 12, g - 15*r + 10*r = -4. Put o, 9, g in descending order.
9, o, g
Let u = 96 - 771/8. Sort 0.1, -2, u, -2.2.
-2.2, -2, u, 0.1
Let u = -5 - -9. Let v be 4/(-24)*-5*6. Suppose 0 = -v*y + 3*k - 59, -2*y + 3*k - 20 = -0*y. Sort u, y, -3.
y, -3, u
Let z(q) = 3*q**3 - 12*q**2 + 3*q - 10. Let b be z(4). Sort -1, 3, -2, b.
-2, -1, b, 3
Let n = 1.06 + 86.94. Let i = n + -90. Sort i, -0.5, 0.2, 4 in descending order.
4, 0.2, -0.5, i
Let n(d) = -d - 1. Let u be n(-3). Suppose 0 = -x + 2*x - u*a - 1, 10 = -5*x - 5*a. Put -4, x, -12 in ascending order.
-12, -4, x
Let p = -0.32 + 0.22. Let w = -116 + 115.8. Let b(h) = h**2 - 3*h - 2. Let i be b(4). Sort i, p, w in decreasing order.
i, p, w
Let t be (-2)/3*(1 + 2). Let o be (5/180*-6)/(4/(-6)). Sort 5, t, o in descending order.
5, o, t
Suppose 2*q = 11 - 21. Sort -2, 2, 4, q in ascending order.
q, -2, 2, 4
Let h = -363 - -360. Put h, -2, 4, -10 in descending order.
4, -2, h, -10
Let o = 65 - 61. Suppose -4*x - 2 = s - 5*x, 4*s - 3*x + o = 0. Sort 5, -12, s in increasing order.
-12, s, 5
Suppose 0 = -5*g + 3*s - 10, -s + 30 = -3*g - 4*s. Put 0.4, -0.2, g, -9 in ascending order.
-9, g, -0.2, 0.4
Suppose -27 + 9 = -2*v. Suppose k + v = 5. Let m be -1*(-2)/k*0. Sort 5, -3, m.
-3, m, 5
Suppose 17 = -a + 3*y, 20 = 22*y - 17*y. Put a, 69, -1 in increasing order.
a, -1, 69
Let v = -55 - -26. Let b = -31 - v. Suppose -15 = -3*o, 1 - 28 = -3*u - 3*o. Put 1, u, b in descending order.
u, 1, b
Let p = -1648 - -1647.5. Sort 2, p, -2/31, 0 in increasing order.
p, -2/31, 0, 2
Let n = 227 - 229. Sort 3, 1, n, -4.
-4, n, 1, 3
Let i = -5 - -7. Let d = -93 + 95.8. Let h = d + -2.6. Put i, -0.06, h in descending order.
i, h, -0.06
Let z = 18 - 13. Let g be -3 + 1*(0 + 6 + -7). Put z, g, -3 in decreasing order.
z, -3, g
Let p be (4 + 312/(-65))/(4/10). Put 5, p, -6, 0 in ascending order.
-6, p, 0, 5
Let p = 13 - 13.9. Let c = p - -0.2. Let y = c - -0.7. Sort y, 0.4, -1.
-1, y, 0.4
Let g(b) = -72*b + 276. Let i be g(4). Put 2, 11, i in ascending order.
i, 2, 11
Let t = 1.13 - -0.87. Let x = -12.9 - -13. Sort t, -4, x.
-4, x, t
Suppose -43*o + 414 = 3*o. Sort o, -5, 3.
-5, 3, o
Let b = 39 - 6. Let n = 35 - b. Put n, 0.5, -1/9, -2/7 in decreasing order.
n, 0.5, -1/9, -2/7
Let h be (-1)/(-2) + (-11)/2. Let y(d) = -d**2 - 8*d - 9. Suppose 0 = -5*j + 4*b - 47, -5*j - 34 = -b + 4. Let v be y(j). Sort v, h, 1 in descending order.
1, v, h
Let h = 23 + -28. Let o = h - -7. Let p(b) = -b**3 + 4*b**2 - 2*b - 2. Let n be p(o). Sort n, -1, -2 in decreasing order.
n, -1, -2
Let n = 1549 + -1545. Put -74, -3, n in descending order.
n, -3, -74
Let z = -1 + -4. Let f = 0.086 + 44.414. Let v = -45 + f. Sort z, 0, v in descending order.
0, v, z
Let o be ((-2)/2)/(13/13). Let n = 31 + -43. Put n, o, -4 in decreasing order.
o, -4, n
Let g = 0.02 - 2.02. Let w = -0.0712 - 0.4288. Put 0.4, w, g, 0.6 in descending order.
0.6, 0.4, w, g
Let x be (-345)/(-414)*8/(-10). Put 46, x, -2 in ascending order.
-2, x, 46
Let d = -711 + 698. Let b = 0.328 + -13.428. Let a = b - d. Sort 6, a, -3 in descending order.
6, a, -3
Let u(z) be the first derivative of -z**2/2 + 7*z + 2. Let v be u(10). Let o = -33 + 38. Sort 1, o, v.
v, 1, o
Let b(k) be the second derivative of k**4/12 - k**3 + k**2 - k. Let c be b(6). Suppose -3*o = -2*l + 5, 7*l + 3*o = c*l - 19. Put -4, 5, l in decreasing order.
5, l, -4
Let a = 720 + -720. Sort a, 1, -15, 2.
-15, a, 1, 2
Let l = -20 + 23. Sort -43, l, 1 in ascending order.
-43, 1, l
Let g(a) = -a**2. Let t be g(-1). Let u be t/3 + (-20)/(-6). Let n(q) = -5*q + 68. Let j be n(14). Sort 5, u, j in decreasing order.
5, u, j
Suppose 3*w - 3*l - 66 = 0, 4*w - 43 = 3*l + 49. Let f = 25 - w. Sort 1, f, -21 in descending order.
1, f, -21
Let m(w) = -w**2 + 21*w + 17. Let j be m(22). Let o = -3 + 1. Sort j, 0, 2, o in descending order.
2, 0, o, j
Suppose 0 = -3*x + 5*q + 2 + 4, q = -2*x + 4. Let y(z) = 1. Let o(j) = -j - 10. Let a(c) = o(c) + 3*y(c). Let s be a(-10). Put 4, x, s in descending order.
4, s, x
Let p be 3 + -4 + (-33)/(-24). Let b = -3.028 - -0.028. Let x be -3*(-2)/6 + -6. Sort p, b, x.
x, b, p
Suppose 66*g + 8 = 68*g. Suppose 6*w - g*w = 0. Put 3, w, 5, -3 in descending order.
5, 3, w, -3
Let s = -127 - -122.98. Let d = -0.02 - s. Let k = 19 + -14. Put d, 0, k in descending order.
k, d, 0
Let u = -0.09 + -0.91. Let d(w) = -w**2 - 7*w + 12. Let j be d(-10). Sort 4, u, j in increasing order.
j, u, 4
Suppose 4*d + 36 - 14 = -b, -d = -2*b - 8. Let m(t) = t**3 + 6*t**2 - 5*t - 25. 