 1 + 1. Let n(x) be the second derivative of 11*x**5/20 - x**4/12 - x**3/2 + x**2/2 - x. Is n(d) prime?
True
Let b(x) = -10*x**3 + 3*x**2 + 4*x + 2. Let h be b(-2). Let r = -8 + h. Suppose o + 5*v - r = 0, 5*o - 174 = 2*o - 3*v. Is o prime?
True
Let t(x) = 15*x - 2. Let c be t(5). Suppose -102 = -5*j + c. Is j a composite number?
True
Let p(b) = -6*b**2 - b**3 - 7*b**2 + 14 + 14*b**2. Suppose -6 = -2*u - 3*l, l + 4*l = u + 10. Is p(u) prime?
False
Suppose c - j = -175 + 36, -5*j = -2*c - 263. Let l = c + 263. Is l a composite number?
True
Is ((-2)/((-8)/(-1402)))/(10/(-20)) a composite number?
False
Let d(y) = 90*y**2 + 1. Let k be d(1). Suppose -k = -4*z + 5*p, 2*z + p - 45 = 4*p. Let h = -13 + z. Is h a prime number?
True
Let u = 1384 - -669. Is u composite?
False
Let z(g) = -g**2 + 15*g + 12. Let i be z(13). Suppose -4*m + 59 = 5*k, m - 2*k = -3*m + i. Is m prime?
True
Let b(x) = 278*x + 53. Is b(10) a composite number?
False
Let q = 698 - 1246. Let l = q - -877. Is l prime?
False
Suppose -5*r + 4*m = -3*r - 996, 1480 = 3*r + m. Suppose -4*t + w - 41 = 6*w, 0 = 2*w + 10. Is r/14 + t/14 prime?
False
Let q be 1/4 + 141/12. Let i(f) = f**2 - 9 + 16 + 15 - f + q. Is i(0) a composite number?
True
Let f = 506 + 332. Is f composite?
True
Let b = -13 - 9. Let p = -181 + 124. Let c = b - p. Is c prime?
False
Let o(x) = 7*x**2 - x - 8. Let l(d) = 13*d**2 - 3*d - 16. Let n(b) = -6*l(b) + 11*o(b). Let v be n(8). Suppose k = -v*k + 133. Is k a prime number?
False
Let a(j) = -j**3 + 9*j**2 - 6*j - 2. Let i be a(6). Suppose -2*g = 6 + 4. Let p = g + i. Is p prime?
False
Let b be ((-14)/4 - -3)*-2. Let u be -4 + 1/b + 53. Suppose u = 4*v - 2. Is v prime?
True
Suppose 5*r = 2*p + 892, 4*r - p = 4*p + 717. Is r prime?
False
Let x = -12 - 21. Let i be (1 - -1)*x/(-6). Suppose -3*a + 54 = 3*s, 3*a + 11 = s - i. Is s a composite number?
False
Let k be 1*(2 - (0 - -2)). Suppose -2*v = -k*v - 742. Is v prime?
False
Let g = -39 + 92. Is g composite?
False
Suppose 4*l - 5*s = 3 + 7, 3*l - 3*s - 6 = 0. Suppose l = -5*a + 10, -3*a + 8*a = q - 789. Is q a composite number?
True
Let w = 0 - -1. Suppose c - 2*h - 1 = w, -2*c - 3*h + 4 = 0. Is 182*(0 + c/4) prime?
False
Is 159 + 3*2/(-3) composite?
False
Let q = 35 + 47. Is q a prime number?
False
Let w(j) = -3*j**3 + j**2 - 1. Let z be w(-1). Suppose u - 7 + z = 0. Suppose m + 30 = u*m. Is m a composite number?
True
Let b(l) be the second derivative of 21*l**3 - 5*l**2/2 + 9*l. Is b(2) prime?
False
Let c be -15*(5/3 + -2). Let t be 5/(10/8) - 0. Suppose 0*p - p = c*w - 1, -8 = t*w. Is p composite?
False
Let u(k) = k - 7. Let c = -15 + 21. Let l be u(c). Is l/(1/(-59) + 0) a prime number?
True
Let g(a) = 2*a**2 + a**2 - 2*a - 4*a**2 - 2 - 6*a. Is g(-5) prime?
True
Suppose 0 = 8*c - 5*c - 9. Suppose -u + 215 = -c*x - x, x - 1117 = -5*u. Is u prime?
True
Suppose -765 = -17*w + 2*w. Is w prime?
False
Let f(j) be the first derivative of -1/2*j**2 + 2*j + 3. Is f(-5) composite?
False
Let f(y) = -4 - 3*y**2 + y**3 + 10*y**2 + y**3. Let j be f(-6). Is (-2)/9 + j/(-18) a composite number?
True
Let f be (-2)/((-24)/9)*12. Let d = f - 17. Is (3 - (-30)/d)*-92 prime?
False
Suppose 7*p = 9*p - 8. Suppose -p*d + v = -452, 5*v - 1 + 227 = 2*d. Is d a prime number?
True
Let z(v) = 7*v**2 - 21*v + 3. Is z(14) a prime number?
False
Suppose -17*n + 12*n = -11225. Is n a composite number?
True
Suppose -2*l = -4 - 6. Suppose 4*q = l*q - 131. Is q a composite number?
False
Is (-32 - 3)*-42 - -1 a prime number?
True
Let o be (2/(-4))/((-3)/(-84)). Let y = o - -36. Is y composite?
True
Suppose -586 = 3*a - 5*a. Is a composite?
False
Let o(y) = y**2 - 3*y - 4. Let q be o(4). Suppose q = 4*v - 2 - 2. Is 226*(-3)/(-6)*v composite?
False
Let u(y) = -y**2 - y + 23. Let g be u(0). Let j = 90 - g. Is j composite?
False
Suppose 4*d + 3*i = 1751, 3*d - 5*i = 328 + 978. Is d a composite number?
True
Let f = -42 - -25. Let g(o) = o**3 + 4*o**2 - 4*o - 1. Let q be g(3). Let v = f + q. Is v composite?
True
Let m be (-4)/(-8 - 0)*1016. Suppose -4*q = -8*q + m. Is q a prime number?
True
Let i = 132 - -53. Is i a prime number?
False
Let m(n) = 130*n + 3 - 4 - 2. Let s be m(5). Suppose 0*d - 4*d = 4*a - 648, -4*d - 5*a = -s. Is d composite?
False
Suppose -74*k = -69*k - 14485. Is k a composite number?
False
Let w(f) = 8*f**3 - 3*f**2 + 2*f - 1. Let o = 3 + -1. Is w(o) a prime number?
False
Let r = 1838 + -237. Is r a composite number?
False
Suppose -s + 3*i + 55 = 0, -3*s - 5*i = -2*s - 87. Is s composite?
False
Suppose 4*p - 10 = 6. Suppose -a + h - 10 = 0, p*h = a - 3 - 2. Let c = a + 104. Is c composite?
False
Is (7/14)/(1/2086) composite?
True
Suppose j - 5 = 23. Let i = 58 - j. Suppose -i = -5*d + 75. Is d prime?
False
Suppose 3*t = -21 - 0. Let x = 7 + t. Is ((-1)/2 + x)*-12 prime?
False
Suppose -o - 4*u = -257 - 20, -o = -5*u - 250. Is o a prime number?
False
Let z(v) = -17*v - 4. Is z(-3) a composite number?
False
Let b be 0/((-3)/1)*1. Suppose 45 = -b*i + 3*i. Is i a composite number?
True
Let w = 110 - 95. Is w composite?
True
Let v(y) be the first derivative of y**5/30 - y**4/12 + y**3 + 1. Let h(q) be the third derivative of v(q). Is h(9) prime?
False
Let b(r) = 9*r + 2. Let j(w) = 19*w + 3. Let v(n) = -5*b(n) + 3*j(n). Is v(1) a prime number?
True
Let m = -125 + 212. Is m composite?
True
Let d(j) = 221*j**2 + 4*j + 4. Is d(-1) composite?
True
Let b(m) = -m**2 - 7*m - 2. Let x(f) = -f**2 - 8*f - 6. Let v be x(-6). Let g be b(v). Let z = g + 145. Is z a prime number?
False
Is 0 + -2 + -2 + 3486 composite?
True
Let p be (-1 - 3/(-6))*-218. Let t = p - 54. Is t prime?
False
Let d(a) = 11*a**2 - 3*a + 1. Let k be d(3). Suppose 3*h = 15, -4*n + 7*n = 5*h - k. Is n/(1 - 2) + -1 prime?
False
Suppose h = s + 7, -5*s = 4*h - 3*h + 17. Let q(p) = -24*p**2 + 21*p**2 - 4*p - 3 + 4 - h*p**3. Is q(-4) a prime number?
False
Let i = -7 + 8. Is i*(-6)/3 - -129 prime?
True
Suppose 0 = 4*k - 601 - 907. Is k prime?
False
Let r(a) be the third derivative of a**6/120 + a**5/10 + a**4/12 - a**3/3 + 9*a**2. Is r(-4) a prime number?
False
Suppose -m + 3 - 11 = 0. Let v(o) = -3*o + 1. Let x be v(-2). Let s = x - m. Is s composite?
True
Let i(l) = -l**2 - 11*l - 11. Let u(q) = -q + 1. Let o(p) = i(p) + 3*u(p). Suppose -4*t = -4*b + 40, -3*t - b = -t + 17. Is o(t) composite?
False
Suppose 3*t + 5*z = 1571, -5*t - 4*z + 2637 = -5*z. Is t composite?
True
Is (5/5)/(2/106) prime?
True
Let a(r) = 1 - 5 - 2*r**2 - r**2 + r - 3*r**3. Let d be a(-3). Let y = d - 10. Is y a prime number?
True
Let k = 207 - 80. Is k prime?
True
Suppose 2*c = 7*c - 1020. Suppose 24 = 2*p + 5*x, -x - 4 = 2*p - 3*x. Suppose -c = -p*b - 22. Is b a prime number?
False
Is 30556/(-6)*(-51)/34 composite?
False
Let m(j) = -7*j - 1. Is m(-1) prime?
False
Is (1/1)/((-3)/(-165)) a prime number?
False
Let x = -1287 - -4048. Is x a prime number?
False
Let q = 93 + 46. Is q a prime number?
True
Let c be -3 - (3/3 + -4). Is (-2 - c)/((-2)/485) a prime number?
False
Let i = -2 - -6. Suppose o - 61 = i*d, -3*o = o - 5*d - 288. Is o composite?
True
Let t(u) = u - 2*u + 24 - 22 - 24*u. Is t(-5) prime?
True
Let y = 445 - 83. Is y a composite number?
True
Let z = 1058 - 541. Is z a composite number?
True
Let j = 847 - 187. Let m = j - 440. Suppose -4*f + m - 72 = 0. Is f a prime number?
True
Let g(m) = -2*m**2 + 2 - 1 - 2*m**3 + m**3. Let p be g(-1). Suppose p = 3*x - 128 + 26. Is x a prime number?
False
Suppose -6*t = -3*t + 189. Let g = t - -178. Is g a prime number?
False
Suppose -4*j + 3*j = -4*v + 15, -v - 4*j + 8 = 0. Suppose 5*d = -f - 1, f - 4*d + 8 = v*f. Suppose -5*h + 153 = -f*w, -h - w + 2*w = -30. Is h composite?
True
Suppose 2*z - 5 = z. Let n = 8 - z. Is n composite?
False
Let a(f) = -193*f**3 + f**2 + 4*f + 3. Is a(-2) a prime number?
True
Let y(m) = 13*m - 5. Let i(l) = 5*l**3 - 2*l**2 + 1. Let o be i(1). Let k be y(o). Suppose 0 = -2*j + 3*h + k, 0*h = 3*j - 3*h - 78. Is j composite?
False
Suppose -3*l = l - 300. Suppose -p = 3*f - 57, -p + 3*f + 12 + l = 0. Suppose -87 = -2*n + 6*h - h, -2*h - p = -2*n. Is n a prime number?
True
Let d be 340/(-9) - (-12)/(-54). Let w = d + 73. Is w prime?
False
Suppose -3*r - 2*r = -25. Suppose 5*n + 2*b - 155 = 0, 3*n - r*n - 4*b = -62. Is n a prime number?
True
Sup