der.
-2, b, s
Let z(s) = 15*s**2 + 190*s + 280. Let v be z(-11). Put 0, -3, 1, 38, v in increasing order.
-3, 0, 1, v, 38
Suppose 2*o - 8*o - 234 = 0. Let h be 95/(-57) + ((35/3)/7 - 1). Sort h, o, -3 in ascending order.
o, -3, h
Suppose 0*u - 4*u = 7*g - 33, 3 = -3*g. Let k = 2.4 - 0.4. Sort -5, u, k in increasing order.
-5, k, u
Let v(l) = -l**3 - 30*l**2 + 4*l + 64. Let x(b) = -b**3 - 30*b**2 + 5*b + 64. Let z(m) = 3*v(m) - 2*x(m). Let d be z(-30). Sort 0, d, 89 in decreasing order.
89, d, 0
Suppose t - 5*t = -3*c + 192, 2*c - t - 133 = 0. Suppose -2*x - 2*x = c. Let z = 6882 - 6877. Sort z, 4, x.
x, 4, z
Let j(b) = b**2 - 6*b. Let r be j(5). Suppose 5*f + 744 = -v + 755, v - 1 = 0. Sort 23, f, r in decreasing order.
23, f, r
Let j = 12 + -93. Let t = j - -77. Sort 7, t, -5, -0.2 in ascending order.
-5, t, -0.2, 7
Let i be 9/(-5)*((-1425)/45)/(-19). Put i, 0, -33, 1 in ascending order.
-33, i, 0, 1
Let z = 482 + -481.8. Let v be 3/(-21)*(-12)/(8 - 5). Put 1.6, v, z in increasing order.
z, v, 1.6
Let z = 23226 + -23224. Put 5, z, -5, 4, 0 in increasing order.
-5, 0, z, 4, 5
Let a = 4.97 - 0.07. Let b = -12.9 + a. Let l = b + 7. Sort 2/7, l, -4.
-4, l, 2/7
Let q = 4214 + -4218. Sort -290, 0, q, -3, -5 in descending order.
0, -3, q, -5, -290
Let h = 37.77 + -37.7. Let j = -139 + 134. Sort -0.1, h, -2, j in increasing order.
j, -2, -0.1, h
Let a = -116.1 + -97. Let c = a + 213. Sort 6, -11, c.
-11, c, 6
Let z = 480 + -484.52. Let o = z + 4.5. Put 1/19, 0, o in decreasing order.
1/19, 0, o
Suppose 69*b - 5*t + 45 = 64*b, 27 = -b + 4*t. Put -62, 2, 0, b, 4 in ascending order.
-62, b, 0, 2, 4
Let m(j) = -38*j**2 - 2. Let z be m(-1). Let x = z - -36. Let d = 935 - 941. Sort d, -2, x in decreasing order.
-2, x, d
Let d = -0.3399 + 0.0399. Let n = -1 + 11. Let t = n + -9.6. Sort d, t, 2 in descending order.
2, t, d
Suppose 15*k - 12*k + 27 = 0. Let x(y) = 12*y + 18. Let o be x(k). Let b be (-2)/o - (-14)/(-63). Sort b, 0.07, -4 in increasing order.
-4, b, 0.07
Let l = -87.22 + -0.78. Let n = 126 + l. Let p = -38.1 + n. Sort -2/3, 3, p in decreasing order.
3, p, -2/3
Let u(s) = s + 7. Let p be u(-7). Let f(k) = 15*k - 13. Let w be f(-6). Let m = 106 + w. Sort p, 7, m in decreasing order.
7, m, p
Suppose 0 = b - 10 + 9. Suppose -m + 15 = -112*u + 107*u, -5*m = 4*u + 12. Put b, u, 7 in decreasing order.
7, b, u
Suppose -112*y = -101*y - 88. Suppose -y + 38 = 5*d. Sort 5, d, -3, -2 in descending order.
d, 5, -2, -3
Let k = 3 - 8. Suppose -r + 291 = -2*f + 7*f, 5*r = 4*f + 1571. Let b = 316 - r. Put b, 0.4, k in decreasing order.
b, 0.4, k
Let y = -14639 - -14646. Sort 1, y, 4/3 in ascending order.
1, 4/3, y
Let w = 2926 - 2996. Sort -5, 4, w, 2, 0 in ascending order.
w, -5, 0, 2, 4
Let x = 4 + -6.2. Let l = 2.1 + x. Let v = -281/56 - -39/8. Put l, v, -2 in ascending order.
-2, v, l
Let t = 568 + -204. Let z = 369 - t. Sort 1/14, z, -3 in ascending order.
-3, 1/14, z
Suppose 4 = -y + 2*v, y + v - 2 + 3 = 0. Let p = -216 - -239. Let r(l) = -3*l + 71. Let q be r(p). Put q, -16, y in ascending order.
-16, y, q
Suppose -4*b + h + 0*h - 13 = 0, -b + 11 = -5*h. Sort b, 5, 3, 20, 2.
b, 2, 3, 5, 20
Let d(q) = -q**2 - 44*q + 419. Let w be d(-52). Sort 2, w, 204 in ascending order.
2, w, 204
Let c = -15 - -13. Let b = 11.478 + -11.3. Let u = b + 0.022. Sort -3, c, 0, u in increasing order.
-3, c, 0, u
Let j = 1.1 + -0.556. Let g = j + -0.944. Let n = 23 + -32. Put 0.1, g, n in increasing order.
n, g, 0.1
Suppose -z + 0*z = -5. Suppose -12*b - 2*c - 12 = -17*b, b + 24 = -4*c. Sort z, b, -2, 1.
-2, b, 1, z
Suppose -90 = 49*y - 133*y + 78. Put y, -178, 0 in decreasing order.
y, 0, -178
Let d(t) = 265*t - 6097. Let n be d(23). Let i be (-20)/(-72)*14/10. Let v = 1/9 + i. Put v, -5, n in decreasing order.
v, n, -5
Let j be 0/(-2) + 4/(-6). Let x = 279.78 + -279.79. Let m = -16 + 11. Sort j, x, m, 1/2.
m, j, x, 1/2
Let y = 8897 + -8898. Put y, 4, 2342, -5 in increasing order.
-5, y, 4, 2342
Let a = -1/43 - -51/344. Suppose 22*p = -6*p. Let h be (-5 - p) + 226/46. Sort a, 5, 3, h.
h, a, 3, 5
Suppose 102 = 3*z - 5*k, -100 = -4*z + 4*k + 28. Suppose 5*m + 8 = -7. Sort 1, m, z in decreasing order.
z, 1, m
Let r = -31 + 23.9. Let q = 7.067 + r. Let g = q - 0.167. Sort 14, 2, g in descending order.
14, 2, g
Let a(d) = d**2 - d - 2. Let s be a(3). Let x = 6464 - 6468. Put x, -1, 5, s in descending order.
5, s, -1, x
Let t = -23 - 589. Let z = t - -614. Put 8, -2, z, 4 in decreasing order.
8, 4, z, -2
Let r(d) = -1. Let n(b) = 11*b - 13. Let i(v) = n(v) - 5*r(v). Let j be i(1). Suppose -5*k - j*o = -16, 2*k + 3*o = -2 + 3. Sort k, 1/4, -5, 3.
-5, 1/4, 3, k
Suppose 0 = 48*p - 37*p + 49*p. Sort 19, p, -19, -3 in descending order.
19, p, -3, -19
Let o be (-50 - (2 - (0 - -2))) + -2. Let h = -51 - o. Let f be (-16)/(-4) - h - 3. Sort 2, f, 10 in decreasing order.
10, 2, f
Let m(j) be the first derivative of j**2 + 30*j + 10. Let n be m(-14). Suppose -2*r + 5*r = 2*t + 23, -n*t + 2 = 2*r. Sort -5, 3, r in increasing order.
-5, 3, r
Let a(y) = -12*y**2 - 493*y - 43. Let i be a(-41). Let s be -3 + 3 + (-6)/(-3). Sort 1, -19, i, s in decreasing order.
s, 1, i, -19
Suppose -3*g - 103 = 200. Let z = g + 105. Let t = -26 + 33. Sort -5, z, t.
-5, z, t
Suppose -5*r + 25 - 37 = 4*f, 5*f - 2*r = -15. Sort f, 159, 20 in increasing order.
f, 20, 159
Let i be ((-195)/1430)/((-6)/(-8)). Sort 2, 0, 39, i in decreasing order.
39, 2, 0, i
Suppose 5*r + 20 = a - 0*a, -12 = 3*r + 3*a. Let y be ((-5 - r) + 3)/(7 - 6). Sort -15/8, y, 4.
-15/8, y, 4
Let p = -353 - -297. Let g = p + 48. Sort -0.06, 2/7, g in increasing order.
g, -0.06, 2/7
Let i be 13298/(-16) - 131/(-1048). Put i, -5, -2 in decreasing order.
-2, -5, i
Let m = 5.9453 + -0.9453. Sort 0.09, m, -17.
-17, 0.09, m
Let o be (-1 + (-3)/(-1))*(-12 + (-445)/(-37)). Put o, -8, -1/5, 0.5 in descending order.
0.5, o, -1/5, -8
Suppose 61*c - 57 = -2*c + 6. Suppose -4*t + t + 42 = 0. Sort c, t, -5 in decreasing order.
t, c, -5
Suppose -b - b - 4 = 0, -5*c - b + 68 = 0. Suppose 4*p = -3*o - 19, -17*o + 26 = -22*o - p. Sort c, o, 1, 0 in ascending order.
o, 0, 1, c
Let j = 4404 - 4402. Sort 3, 6, 1, -5, j in ascending order.
-5, 1, j, 3, 6
Let h = 0.4 - 0.3. Let g = -0.442 + -54.358. Let n = g - -55. Sort n, -10, h in descending order.
n, h, -10
Let q be (-12 - (-1825)/150)*(-2)/3. Put 0.3, -0.3, 0, q in descending order.
0.3, 0, q, -0.3
Let w = -0.08 - -0.38. Let r = 3.5945 + -7.5945. Sort r, w, -3/5 in increasing order.
r, -3/5, w
Let b(i) = -2*i**2 - 36*i - 63. Let n be b(-2). Sort n, -9, -10, 2 in descending order.
2, n, -9, -10
Let l(t) = -10*t - 20. Let g be l(-4). Suppose 81*j = 85*j + g. Let r = 82 - 80. Put r, 0, j in descending order.
r, 0, j
Let z(c) = -c**3 - 11*c**2 + 7*c + 33. Let o be z(-9). Let f = o + 187. Sort 5, 4, f, -26 in ascending order.
-26, f, 4, 5
Let a = 12 - 7. Let v be (-2)/(-11) + (-532211)/(-9933) + -54. Put a, v, -2/19 in descending order.
a, -2/19, v
Let a = 72.31 - -1.69. Let g = -3505 + 3579. Let c = a - g. Sort c, 13, -2/11 in descending order.
13, c, -2/11
Let r be (-136)/(-32) + 2/(-8). Suppose -2*s - r*j - 12 = 0, 2*s + j + 4 = s. Let g be 0/(3 + -1) - (-8)/s. Put -5, g, 2, -2 in descending order.
2, -2, g, -5
Let p = -0.37 - -4.57. Let f = -23.1 - -22.1. Sort -3, f, 1/3, p in ascending order.
-3, f, 1/3, p
Suppose 0 = -3*j + 4*j + 4*b + 5, -5*j = 2*b + 25. Let c = -0.97 + -0.03. Sort c, 0.5, j, -0.2 in ascending order.
j, c, -0.2, 0.5
Let o(v) = v**3 - 5*v**2 + 5*v - 8. Let y be o(4). Let g(x) = -x**2 - 3*x + 44. Let f be g(5). Suppose 22 = -q + 3*t - f*t, 2*t = 5*q + 117. Sort 5, y, q.
q, y, 5
Let d = 28368 - 28363. Suppose g - 12 = -2*g. Suppose x = -g*x - 20. Put 1, d, x in increasing order.
x, 1, d
Let v be 12/(-5) + 3 + -1. Let h = 35.828 + -35.328. Put 2/9, 1, h, v in increasing order.
v, 2/9, h, 1
Let f(o) = 2*o + 1. Let w be f(1). Suppose 9*s - 31 - 14 = -0. Suppose -2*q + 2 = 0, -3*n - 11 = 3*q - 2. Sort w, s, n, -1 in increasing order.
n, -1, w, s
Suppose -4*c + 19 = 3*j, 5*c - 4*j - 5 = 11. Let g = 52 - 79. Let y be g/(-15) - 1 - (-3)/15. Put -2, y, c in decreasing order.
c, y, -2
Let x = -6745 - -6744. Sort 2, x, -3, -27 in ascending order.
-27, -3, x, 2
Suppose 5*b - 33 = 2*c, -66*b = -63*b - 2*c -