ncreasing order.
a, 2/35, n
Let q be (-2)/17 + (-672)/(-1666). Put q, 0, 2 in descending order.
2, q, 0
Suppose -1 = -b - 0*b. Suppose 3*j = 6*j - 51. Suppose -1 + j = -4*u. Sort 4, u, b.
u, b, 4
Let k = -40 + 24. Let w = k - -22. Let q be 21/w - 8/2. Sort 0, q, -4.
-4, q, 0
Let b(h) be the first derivative of h**4/4 + 8*h**3/3 + 3*h - 1. Let m be b(-8). Let r be 4/(-2 + m) - 3. Put -1, -3, r in descending order.
r, -1, -3
Let z be ((-1)/6)/(8/(-18)). Let w be ((-2)/(-3))/((-3)/252). Let h be 2/8 - (-46)/w. Sort 5, h, z in decreasing order.
5, z, h
Suppose 4*a + 1 = 1. Let k = -10 - -8. Let m(r) = -r**3 + 8*r**2 + 2*r - 12. Let q be m(8). Sort k, a, q in decreasing order.
q, a, k
Let a = 1 - 0. Let i be 9 - (15 + (-5 - -3)). Sort i, 5, a in increasing order.
i, a, 5
Suppose -10 = -j - 16. Let r = -6 - j. Put -7, r, 0.5, -0.1 in ascending order.
-7, -0.1, r, 0.5
Let n(c) = -c**2 + c + 10. Suppose 2*v + 3*v = -2*u, 0 = 4*u + 5*v. Let a be n(u). Suppose 0*h - 2*h = -a. Put h, 4, 0 in increasing order.
0, 4, h
Let n = 5.889 + -333.989. Let w = n + 312. Let q = w - -16. Put -2/5, q, 0.3 in decreasing order.
0.3, q, -2/5
Let m = -3.1 + 3. Suppose -596*t - 5 = -591*t. Sort m, t, -12 in descending order.
m, t, -12
Suppose -2*l + 5*l = 2*q - 1, -2 = -3*q + 5*l. Suppose -24*y + 117 + 3 = 0. Sort y, -3, q in decreasing order.
y, q, -3
Suppose -6*c + 32 = -2*c. Suppose 0 = -2*y + 3 + 3. Let s be (9 - y)*(-4)/c. Put s, -4, 1 in descending order.
1, s, -4
Suppose -5*u - 23 = 52. Let s = -12 - u. Put s, -1, 0, 1 in ascending order.
-1, 0, 1, s
Let v be ((-2)/(-4))/(28/(-56)). Let t = -19 - -13. Let w be 3/((-9)/5)*-3. Put t, v, w in descending order.
w, v, t
Let y = -609 + 609. Put -38, 1/2, y in decreasing order.
1/2, y, -38
Let j = 8 + -7.7. Suppose 3*k = 5*n + 7*k - 7, -4*n = k - 10. Let w be ((-2)/12)/(0 - -1). Sort n, w, j in decreasing order.
n, j, w
Suppose 0*p - q = -4*p + 43, -2*q - 50 = -5*p. Suppose p*w = 10*w - 6. Suppose 2*s - 4 = -12. Put -2, s, w in descending order.
-2, w, s
Suppose 3*u + 3*l = 11 + 4, -u + l = -13. Let s = 5 - 8. Let p be (4 + s)*(-4)/(-2). Sort u, p, 0.
0, p, u
Let b(p) = -4*p**2 + 5. Let n be b(2). Sort n, 2, 4.
n, 2, 4
Suppose -4*s = 3*q + 11, 10*s - 14*s = -q - 9. Put q, -14, 7 in descending order.
7, q, -14
Let s = -0.8 - -0.4. Let h = -2.003 + -0.997. Sort -1, s, h.
h, -1, s
Suppose -y - 6 = -10. Let l = 4 - 3.5. Sort 6/5, l, y in decreasing order.
y, 6/5, l
Let l = 70 + -96. Sort 11, l, 4 in increasing order.
l, 4, 11
Suppose 2*z + 12 = 2, 0 = -5*o + 4*z + 35. Sort 4, o, 5, -2.
-2, o, 4, 5
Let w = 0.1 - 2.1. Let a be 10*(3 + -2 + 4/(-8)). Let t(o) = -3*o + 10. Let x be t(a). Put 7, w, x in increasing order.
x, w, 7
Let g = -0.4 + -0.1. Let d = 1334 - 1329. Put d, 24, g in descending order.
24, d, g
Suppose -2*h = -y + 2 - 12, -4*h + y = -18. Suppose 2*d - 3*d = 5*p + 8, -4*p = h*d + 16. Sort 0, p, -2 in ascending order.
-2, p, 0
Let j = -2.96754 - 0.00146. Let m = j - 0.031. Let z = -0.35 - -0.16. Put -1/6, m, z in ascending order.
m, z, -1/6
Let r = -50.047 - -0.047. Let i = 189 + -1697/9. Sort -0.1, 0.4, i, r in descending order.
i, 0.4, -0.1, r
Let i(r) be the second derivative of r**5/20 + 11*r**4/6 + 19*r**3/2 - r**2 + 2*r - 5. Let d be i(-19). Let k = -10 - -6. Put k, d, 2 in increasing order.
k, d, 2
Let j = -4 - 3. Let a = j - -16. Put 4, a, 1 in increasing order.
1, 4, a
Let q = 17 + -19. Let u be 1/(-3 - (q - -4)). Sort 0.2, 4, u in decreasing order.
4, 0.2, u
Let g be ((-5)/(120/(-16)))/((-58)/3). Put g, -0.02, 1 in increasing order.
g, -0.02, 1
Let c = 286 - 285. Suppose 2*l + 22 = 3*n - 0*l, 0 = 4*l + 20. Put n, -2, c, 3 in descending order.
n, 3, c, -2
Let v(x) = -x**3 + 10*x**2 + 20*x - 93. Let c be v(11). Sort -5, c, 0.6 in descending order.
c, 0.6, -5
Let x(v) = -10*v**2 + 1. Let p be x(1). Let m be p/(-12) + (-100)/176. Let s = 15/7 - 99/56. Sort s, m, -0.1.
-0.1, m, s
Let h = 1182.1 + -1182. Let x(n) be the first derivative of n**3/3 + 3*n**2 - 5*n - 1. Let i be x(-6). Sort i, h, 0.4 in decreasing order.
0.4, h, i
Suppose 5*n + 4*p + 8 = 21, 0 = 5*n + 5*p - 10. Suppose 2*b = -3*b + n*z, 18 = -2*b - 4*z. Put b, 12, -2 in ascending order.
b, -2, 12
Let k(t) = -11*t + 69. Let i be k(6). Sort 11, -2, i, 1.
-2, 1, i, 11
Let a be 6/(-15) - 54/(-10). Suppose -3*r = -1 - a. Let m(l) = -l**2 - 18*l - 4. Let u be m(-18). Sort 5, u, r.
u, r, 5
Let d = -683 - -683. Put d, 3/122, -1/4 in ascending order.
-1/4, d, 3/122
Let j = 12 + -14. Let k be 6/(-88) + 1/4. Sort k, j, 3/2 in decreasing order.
3/2, k, j
Let g = 7 - 4. Let f = 6.4 - 6. Let y = -15.9 - -16.2. Sort g, f, y in increasing order.
y, f, g
Let b be (-1 + 39/27)/((-6)/(-9)). Put 4/3, b, 0.4, -0.2 in increasing order.
-0.2, 0.4, b, 4/3
Let g = 0 - -4. Let u be (-4 + (-28)/(-12))*-3. Suppose -3*l + u*v = -19, 4*l + 0*v + 5*v - 2 = 0. Put g, -3, l in decreasing order.
g, l, -3
Let z be 534/(-78) - (7 - 14). Put -0.1, -2, z in decreasing order.
z, -0.1, -2
Let k(q) = -22*q - 89. Let b be k(-8). Sort -2, b, -1 in increasing order.
-2, -1, b
Let x be (2 + -1 + (0 - 2))*13. Let j = -6 - x. Put 3, -1, j, -3 in descending order.
j, 3, -1, -3
Let v = -9.7 - -9. Let s = v - -5.7. Let o = 5.5 - s. Put -0.2, o, 4 in descending order.
4, o, -0.2
Let a(g) = g**2 + 9*g + 12. Let i be a(-10). Let o = -23 + i. Sort 3, o, 2 in increasing order.
o, 2, 3
Let s(w) be the first derivative of -8*w - 7 + 1/2*w**2. Let d be s(5). Sort 3, 0, d.
d, 0, 3
Let y be ((-312)/(-65))/(((-8)/(-5))/4). Sort -2, -4, 4, y in ascending order.
-4, -2, 4, y
Suppose -7*i + 6*i - 5*d = 17, 0 = 4*d + 16. Put -4, -23, i, 5 in increasing order.
-23, -4, i, 5
Let m = -69 + 75. Suppose 4*n + m*g = g + 26, -5*n + 14 = -3*g. Suppose -4*u + u - 6 = 0. Put n, -8, u in increasing order.
-8, u, n
Suppose 0 = g - 6*g. Let v(j) = -1625*j - 42249. Let f be v(-26). Let h = 1 + -3. Sort f, g, h in ascending order.
h, g, f
Let x = 1199 + -1195. Let n be ((-1)/(-3))/((-2)/(-6)). Sort x, n, 7 in descending order.
7, x, n
Let y(n) = -n**2 - 4*n. Let l be y(-2). Let g be ((-25)/(-3))/(-5) + (-22)/(-11). Sort g, l, -2, 1 in increasing order.
-2, g, 1, l
Let l be ((-3)/(-6))/(2/16). Let u(j) be the second derivative of j**4/12 - j**3/3 - 5*j**2/2 + j - 18. Let z be u(l). Put -1, -2, z in ascending order.
-2, -1, z
Let j = 897 + -851. Sort 3, 0.5, j, -4.
-4, 0.5, 3, j
Let o = 108.8 + -109. Let r(z) = -z**2 + 7*z - 1. Let s be r(6). Suppose -s*q = g + 11, 2*q - 3 = -5*g + 6*q. Sort g, o, 0.1 in descending order.
0.1, o, g
Let q = -3.86 + 3. Let b = q - -0.77. Sort 0, -0.1, b, 5 in decreasing order.
5, 0, b, -0.1
Let t(p) = -p**2 - 5*p - 2. Let q be t(-4). Suppose -v = q*v. Let k be -3 - 0/(-1 - v). Sort 1, -2, k in decreasing order.
1, -2, k
Let q = -1.83 - -1.73. Let u be (-6)/(-12) + 306/8. Let i = 39 - u. Put i, q, 3 in increasing order.
q, i, 3
Let r be 4 + 204/(-28) - -3. Let a = -46/255 - -4/85. Sort a, -5, r, 1/8 in ascending order.
-5, r, a, 1/8
Suppose 5*c = -3*f - 23, -5*c + 21 = -4*f + 2. Let b be (14/f + (-6 - -8))*-12. Put 3, b, -4 in ascending order.
-4, 3, b
Let x(l) = l - 1. Let n be x(5). Suppose 2*b = 2, 3*s = -0*b + n*b + 5. Suppose 28 = 4*k - 4*w, 0 = k - s*w - 11. Sort k, 1, 0 in decreasing order.
k, 1, 0
Let g = 11076 + -11081. Let b be (0 + 4/10)/(-4). Sort -0.7, -5/2, g, b in descending order.
b, -0.7, -5/2, g
Suppose 0 = q - 4*g - 3 - 3, -3*g - 47 = -5*q. Suppose -2*b = -2, 0*b = 4*m - 5*b + 9. Sort m, q, -3 in ascending order.
-3, m, q
Let t(h) = -h + 4. Let v be t(5). Let q(o) = o**3 + 13*o**2 + 24*o + 18. Let w be q(-11). Let d(m) = m + 7. Let z be d(-6). Sort v, z, w in decreasing order.
z, v, w
Let t = 0.15 + -0.11. Let d = t - 0.04. Suppose -6*r + 24 - 36 = 0. Put r, d, 3 in descending order.
3, d, r
Let t = 27 + -23. Put -87/4, 0.4, t, -2/9 in increasing order.
-87/4, -2/9, 0.4, t
Let r(g) = -g**2 + 2*g + 9. Let v be r(4). Sort 4, 0, v in descending order.
4, v, 0
Let y(n) = 14*n - 74. Let a be y(5). Suppose -5*q = 2*d + 61, 5*d - d + 45 = -3*q. Sort -5, q, a in ascending order.
q, -5, a
Let u = 0.58 + -3.58. Let w = 39 - 21. Let r = -15 + w. Put r, u, 2/7 in ascending order.
u, 2/7, r
Let p = 16.4 + -16. Let g = -4 - -8. Let m be 2/g - 15/(-10). Sort 4/3, p, m in descending order.
m