Let f(a) be the first derivative of p(a). Is f(0) a prime number?
True
Suppose -3*t = -5*s - 612, -s = 2*t + 133 - 541. Let q = -54 - -131. Let u = t - q. Is u a prime number?
True
Suppose 0 = 4*w - 11 - 5. Suppose w*d = -0*d + 20. Suppose -d*g - 185 = -3*z - 0*g, z = -4*g + 73. Is z prime?
False
Let y = -38 - -183. Is y a composite number?
True
Let s(q) = 2*q**2 + 3*q + 1. Let h(r) = r**2 - 3*r + 3. Let x be h(3). Suppose 3*z - 3*g + 3 = 0, 0 = x*z - 2*g + 4 + 2. Is s(z) a prime number?
False
Suppose -5*u - 2*z + 2171 = 0, u + 2*z + 3*z = 425. Let k = u + -142. Is k a prime number?
True
Let z be 3*2/(0 - -6). Is (0 - z) + 2*7 a composite number?
False
Let b be ((-6)/(-3))/(-3 + 1). Let f be b/2*0 + 67. Let y = f - 32. Is y a prime number?
False
Suppose 5*l = b + 30, -3*l + 7 = 5*b + 17. Let w = l + -2. Suppose -w*z + 38 = 3*y - 2*y, 8 = z + 5*y. Is z composite?
False
Let w(d) be the first derivative of 2*d**3 - 2*d**2 - d - 6. Is w(-6) prime?
True
Suppose -40 + 10 = -l. Suppose 0*y = 3*y. Suppose f - 1 - l = y. Is f a prime number?
True
Let r(b) = b**3 + 8*b**2 + 5*b + 4. Let o be r(-7). Suppose 3*s + 557 = 5*m, m = 4*s - o + 143. Is m composite?
False
Is (-13812)/(-14)*(-14)/(-4) a prime number?
False
Suppose 4*h - 15807 = h. Is (h/22)/((-2)/(-4)) a composite number?
False
Let k(y) = -2*y**2 - 21*y - 24. Let i(j) = -j**2 - 7*j - 8. Let g(a) = -8*i(a) + 3*k(a). Is g(-7) composite?
False
Let f(o) = o**3 - 3*o**2 - 3*o - 4. Let y be f(4). Suppose 0 = 3*a - y*a - 57. Is a composite?
False
Let n(x) = -x**3 - 3*x**2 + 5*x + 6. Let k be n(-4). Is 42/4 - 1/k a prime number?
False
Let x(i) = -5*i + 2. Let v be x(1). Is ((-502)/4)/(v/6) a composite number?
False
Let f = -84 + 239. Is f a composite number?
True
Suppose 0 = 5*v + 5*z - 25, 5*v + z = 6 - 1. Suppose 4*l - 1167 = k, -4*l + v*l + 1177 = k. Is l a composite number?
False
Suppose 5*h = h - 12. Let v(t) = -31*t - 2. Is v(h) composite?
True
Suppose 0*d + 3*d - 33 = 3*a, -5*d + a + 51 = 0. Suppose d*g - 53 = 9*g. Is g a prime number?
True
Let l = -3 + 7. Suppose -o + 47 = -2*n, 0 = -2*o + 7*o - l*n - 223. Is o composite?
False
Let m = 9 - 7. Is ((-8)/6)/(m/(-39)) composite?
True
Suppose 2 = -i - 3*j - 5, 5*i + 5*j + 5 = 0. Suppose i*n - 30 = 136. Is n prime?
True
Let i(r) = 3*r + 4. Let w be i(-4). Let b(y) be the third derivative of y**6/120 + 2*y**5/15 - y**4/24 - y**3/3 + 4*y**2. Is b(w) composite?
True
Let h(q) = 134*q + 23. Is h(12) prime?
False
Let d(z) be the third derivative of -z**6/60 - z**5/15 - z**4/24 - 2*z**3/3 + z**2. Let f be d(-3). Let k = -10 + f. Is k composite?
False
Let w = -23 - -19. Let z be (2 + -2)/(0 - 1). Is 143 + 2 + w + z prime?
False
Let a be 0/3*1/(-1). Let p(i) = 5 + 8*i**2 - 1 + a*i - i - 2*i**2 + i**3. Is p(-6) composite?
True
Let m = -8 - -8. Suppose -2*b + m*b + 172 = 0. Is b a composite number?
True
Let l(g) = g**2 + 3*g + 27. Is l(13) prime?
False
Suppose -o - p = 458, -5*o - p = 2001 + 305. Let h = 959 + o. Is h a prime number?
False
Let f be 12249/(-21) + (-6)/(-21). Let o = 1500 + f. Is o prime?
False
Suppose 12 = 5*x + 2. Let z(b) = 24*b + 1. Is z(x) composite?
True
Let o be 2/(-6) + (-5)/3. Let l(i) = -30*i - 3. Let p be l(o). Suppose 3*s = -s + g + 193, -2*g = -s + p. Is s a composite number?
False
Suppose -5*s = 0, -5727 = -6*x + 3*x - s. Is x a prime number?
False
Let c = 477 - -224. Is c prime?
True
Is -2 + 1 + (-19668)/(-6) composite?
True
Is 9/((-9)/(-1642)) + -5 prime?
True
Let i = -142 - -1113. Is i prime?
True
Suppose 584 = -3*r + 1703. Is r prime?
True
Let y(r) = r**3 + 10*r**2 + 9*r + 6. Let j be y(-6). Suppose 5*q - 222 = -0*l - 4*l, 2*l - 5*q = j. Is l a composite number?
False
Suppose -2*r = 2*r. Suppose t + 0*t - 281 = -3*c, -4*c + t + 384 = r. Is c a composite number?
True
Let t be (2 - 1) + 210 + -1. Let w(i) = 5*i**2 - 7*i + 5. Let x be w(6). Let n = t - x. Is n composite?
False
Let y be 22/8 - 1/(-4). Let l(t) be the second derivative of 5*t**4/12 - 2*t**3/3 + t**2 + 3*t. Is l(y) composite?
True
Let o(v) = -11*v**2 - 3*v - 3. Let h(w) = 5*w**2 + 2*w + 2. Let t(a) = -5*h(a) - 3*o(a). Let l be t(-1). Let p = l - -61. Is p a composite number?
True
Let q(t) = -t**3 + 10*t**2 - 8*t - 3. Let d be q(9). Suppose 4*f - 3*h = 368, -d*f - 5*h = -2*f - 336. Is f a composite number?
False
Let j = -234 + 560. Suppose h - j = -h. Is h a composite number?
False
Let t = 326 - 211. Is t prime?
False
Let v = 1940 - 1153. Is v a prime number?
True
Suppose 8*x - 32 = 264. Is x a composite number?
False
Let h(o) = 2*o**2 + 7*o + 5. Let w = -13 + 7. Is h(w) composite?
True
Let r = -160 - -1833. Is r composite?
True
Suppose -4*z + 4*r + 9 = -3*z, 5*z = r + 121. Is z composite?
True
Let q(x) = 43*x**2 + x. Let d be q(-1). Let z = d - -11. Is z composite?
False
Let n(v) = v**3 - 9*v**2 + 8*v + 2. Let h be n(8). Is ((-127)/(-3))/(h/6) prime?
True
Let f = 0 - -2. Suppose 3*z = -3*s + 114, 0*s + 3*z + 71 = f*s. Is s prime?
True
Let q = 17 + -12. Suppose c + 31 = q*v + 122, -5*c + 3*v = -543. Is c a composite number?
True
Suppose 0*s + 2*s = 178. Is s a composite number?
False
Let z(i) = -19*i**2 - 3*i - 1. Let c be z(-3). Let m = c + 252. Is m composite?
False
Is 463/2 - 36/(-24) a prime number?
True
Suppose -3*n - 10 = -3*m - 40, 0 = 3*n + 5*m + 10. Suppose 3*i = n*h - 9, -21 = -3*i - 2*h - 3*h. Is -5 + i + 2 + 50 composite?
True
Suppose 4*n - 3*k + 351 = 0, -n + 2*k + 43 = 132. Let q = -40 - n. Is q prime?
True
Suppose -3*g = 2*d - 528, -683 = -3*d + g + 98. Let l = d + -47. Suppose 0 = -4*a - 2*n + l, -4*n = -5*a - 2*n + 263. Is a a prime number?
True
Suppose 0 = 2*y - 8, 3*a - y = -0*y + 1235. Is a prime?
False
Suppose d + 1 = -4*s - 3, 4 = -4*d - 4*s. Suppose -2*r = -6*r + 5*a + 629, d = 5*r - 5*a - 790. Is r prime?
False
Let z = 2 + 0. Let l = -30 - -2. Is (l/(-6))/(z/21) prime?
False
Suppose -4*f + 16 = -0*f. Suppose -2*j - f = -16. Is 6*(-1 - (-57)/j) a composite number?
True
Let q(g) = -g**3 + 7*g**2 + 3*g + 5. Is q(6) composite?
False
Let t(c) = 2*c**3 - 10*c**2 + c + 16. Is t(9) a composite number?
False
Suppose 14*n + 3*n - 26537 = 0. Is n a prime number?
False
Suppose 0 = -3*d + 9 + 6. Let c(v) = 26*v - 3. Is c(d) a composite number?
False
Let y = -5 + 10. Suppose -3*t + 138 = 2*n, 102 + 143 = 3*n - y*t. Suppose -2*d + n = 4*q - 39, d - 54 = -5*q. Is d a prime number?
True
Let p(b) = 2*b**3 - 7*b**2 + 25*b - 7. Is p(12) a prime number?
True
Is 94/(3 - (-4 - -6)) prime?
False
Suppose 0 = -0*k - k + 145. Is k a composite number?
True
Let g = -2 - 14. Let d = g - -38. Is -3*(-2)/(12/d) composite?
False
Let z = -5 - -9. Is 1*(-12)/z + 144 a prime number?
False
Let i(f) = f**2 - 10*f + 3. Let l be i(10). Suppose -4*c + 493 = l*z, 0*z - 4*z + 653 = c. Is z composite?
False
Let p = 16 + -22. Let w = p - -9. Suppose 3*b = -8*v + w*v + 180, 4*b = -v + 19. Is v a prime number?
False
Let w(q) = -8*q**2 - 8*q - 16. Let y(g) = -7*g**2 - 8*g - 15. Let x(t) = -6*w(t) + 7*y(t). Let i be x(-6). Is -83*(6/3 - i) composite?
False
Suppose 4*o - 199 + 43 = 0. Suppose 6*l + 24 = 2*l. Let k = o + l. Is k prime?
False
Let a = 48 + -13. Is a prime?
False
Suppose 3*d - 4*w = 2413, -3*d + 0*d = 4*w - 2381. Is d composite?
True
Suppose -26*w = -24*w - 6130. Is w composite?
True
Let h = 5 + -2. Let l = h - 3. Suppose l = -5*n - 3*p + 33, 3*n - 31 = -2*n - p. Is n composite?
True
Let i be 3 + (-18 + 3)/(-3). Suppose -f + i + 11 = 0. Is f prime?
True
Suppose 0 = 5*y + k - 1536, 0 = -2*y + 5*k - 3*k + 612. Is y composite?
False
Let u = 3 - -2. Let w(c) = 34*c - 1. Let m be w(u). Suppose 2*n = 21 + m. Is n a composite number?
True
Let y = 630 - 334. Suppose 3*a - 13 + 1 = 0, -4*v + y = -4*a. Suppose -134 - v = -4*t. Is t a composite number?
False
Suppose 0 = 4*r - 9*r - 30. Let u be (r/(-4))/((-9)/(-24)). Suppose o - 3 = u. Is o composite?
False
Suppose 3*j + 19 = t - 2*j, 4*t - 5*j - 31 = 0. Is (-249)/(-12) - (-1)/t composite?
True
Let d(p) = p - 5. Let n be d(7). Let b(z) = -13*z**3 + 1. Let a be b(n). Let l = 234 + a. Is l a composite number?
False
Suppose 4*w + 33 - 341 = 0. Is w composite?
True
Let t(d) = 3*d - 12. Let y be t(5). Suppose y*g = 6*g - 267. Is g a prime number?
True
Suppose 5*z - 3*b - 10 = -1, 5*z + 5*b + 15 = 0. Suppose z = -5*j - 25, -5*c + 235 = -3*j - 23