Let x(b) = b**2 + 3*b + 4. Let o be x(-3). Let t(g) = -o + 0 - 12 + 407*g + 6. Is t(3) prime?
False
Let w(z) = 28*z**2 + 737*z + 40. Is w(27) a composite number?
False
Let l(r) be the first derivative of -9*r**2/2 + 6*r + 41. Let u be l(1). Is -2*u/(-6) - -2054 a prime number?
True
Let t(b) = -2280*b + 23. Suppose -168 = 15*f + 13*f. Is t(f) composite?
True
Let n = -49461 - -71428. Is n prime?
False
Let u = 111 + -112. Is 1338460/50 + u/5 composite?
True
Let u(j) = -12335*j**3 + 67*j + 143. Is u(-2) a prime number?
True
Suppose 0 = -4*h + 20, -x - 5*h = -2*x - 31. Let c = x - -7. Is ((-358)/4)/(c/(-2)) prime?
True
Suppose 0 = 5*r + 4*j - 1913, -6*r = -2*r + j - 1526. Let n be (-20)/(-25) + r/5. Suppose -18*f = -17*f - n. Is f a composite number?
True
Let l = 463 + -458. Suppose -l*h + 6736 = 3*s, -s - h = 703 - 2945. Is s a prime number?
True
Let y = 270012 + 361601. Is y a composite number?
False
Let f(q) = q**3 - q - 1. Let z(y) = 4*y**3 - 12*y**2 + 13*y + 13. Let a(d) = -6*f(d) - z(d). Is a(-6) composite?
True
Let b be ((-77)/14 - -7)*2. Suppose 0 = 2*d + 5*h - 26111, -b*h = 4*d - 1147 - 51082. Is d prime?
False
Let m(w) = -86*w**2 + 4*w - 66. Let b be m(6). Let t = 5717 + b. Is t prime?
True
Suppose 5*p - 122 = y - 0*p, 346 = -3*y + 5*p. Let k = 116 + y. Suppose -4*s + 609 + 1925 = 2*a, -a - 2519 = -k*s. Is s a prime number?
True
Suppose 16*r - 21*r = 0. Suppose 4*c = -3*n - r*c + 1194, -3*c = 5*n - 1990. Is n a composite number?
True
Suppose 3684 = z - c, -3*z - 2*z + 18423 = -2*c. Suppose -7*a + 16048 + z = 0. Is a a prime number?
True
Let c(j) = -57*j + 24. Let g be c(-7). Suppose 4*l = 4*p + 3152, l = -4*p + 370 + g. Suppose 0 = 5*n - 2*n - l. Is n composite?
False
Suppose -5*t = 8*a - 3*a - 285, 2*t + a - 115 = 0. Suppose 15*j = 11*j - 180. Let b = j + t. Is b a composite number?
False
Let s(n) = n**3 - 8*n**2 - n + 11. Let u be s(8). Suppose 0 = u*m - 105 + 87. Suppose 8456 = 3*k + f, 3*k - 8452 = -11*f + m*f. Is k prime?
True
Let y(s) = -s + 1. Let o be y(0). Suppose 0 = 3*b - 8 - o. Suppose 2*c = -b*a + 2209, -2*c - 2*a = -0*c - 2204. Is c a composite number?
False
Is (2 + (-44)/12)/(6/(-31662)) a prime number?
False
Let l be 5 + -1 + (-81)/(-9). Suppose 3 + l = 3*i + 5*j, -2*j = -4. Suppose 2*o - i*a - 38 = 0, -6*o = -2*o - 2*a - 68. Is o a composite number?
True
Suppose -101243 = -6*l + 9078 + 161077. Is l a prime number?
True
Let i(j) = 3*j**2 + 6*j - 9. Let t be i(-4). Suppose 5*u = -t, 3396 = -4*p - 2*u + 35362. Is p a composite number?
False
Suppose -x = 3*x - 2*q, -4*q + 20 = 2*x. Suppose -4*m + b + 828 = -x*m, -822 = -2*m + 4*b. Is 2/(1255/m + -3) a prime number?
True
Let x(m) = 230*m + 48*m + 65*m + 27. Is x(13) composite?
True
Suppose -5*p + 8*p + 144 = 0. Let c be (p/40)/(6/(-10)). Suppose 4*z - 5624 = -4*k, 4*k - c*z - 6409 + 815 = 0. Is k a composite number?
True
Let g(y) = 9*y**2 + 2*y**2 - 5*y - 50*y**2 + 3 + 8*y**2 + 27*y**2 + 3*y**3. Let c(l) = 4*l - 3. Let p be c(2). Is g(p) a prime number?
False
Suppose 5*y - 14 = -4*z + 1, -3*z + 4*y + 19 = 0. Suppose 0 = 2*u - 2*b - 3542, 226 - 3774 = -2*u + z*b. Is u a composite number?
True
Let z = -3 - 12. Let a = z - -17. Is (5 - a)/((-24)/(-1256)) composite?
False
Suppose -16 = 4*a, 0 = -2*d + 2*a - 7141 + 33069. Suppose -9*s + 3*b = -10*s + 4300, -3*b - d = -3*s. Is s a prime number?
False
Let d = 53515 + -28686. Is d composite?
True
Let i(x) = -35*x**2 + 12*x + 25. Let z be i(14). Let d = -3308 - z. Is d prime?
True
Suppose -85 = 5*m - 390. Suppose -m*w - 1334 = -63*w. Is w composite?
True
Suppose -13*b - 396 = -2658. Is (652/3)/(b/(-18) + 11) prime?
True
Let v = 61 + -51. Suppose -2*a - 5*s = -3099, 3*a + 13*s - 4626 = v*s. Is a composite?
True
Let h = -198229 + 549780. Is h a prime number?
True
Suppose 13*n = 7 + 32. Let j(b) = 3 - 2 + 587*b - 29. Is j(n) a composite number?
False
Let a = -131 + 225. Suppose 0 = -a*v + 89*v + 4105. Is v composite?
False
Let q be (882/(-7))/(-3)*2/4. Suppose q = -4*l + 5. Is (5 - 7)/(l/4330) a composite number?
True
Suppose 3*d = -4*d - 14. Let a be ((-4)/(-10))/((-22)/(-10) + d). Suppose 4*f + a*t - 2762 = 16302, 0 = 4*t - 8. Is f prime?
False
Suppose 24*n - 4484796 = -28*n + 3075536. Is n composite?
False
Let v = 120410 + -63519. Is v a prime number?
True
Let v(o) = -180*o + 37. Let m be 1*(1 + 2 + -4) + -1. Let a be (m - 1) + 1*12/(-4). Is v(a) a composite number?
False
Suppose -a + 22 = 19. Suppose t + 4*y + 1422 = 2*t, -3*t + a*y = -4257. Is t a prime number?
False
Is (-461787*(-18)/(-216))/(4/(-112)) prime?
False
Suppose 5*o = 2*i + 12854, -5*i = 4*o - 0*i - 10303. Let q = 3645 - o. Is q composite?
True
Let w(q) = q**2 - 2*q + 1174. Suppose 23 = -3*f - 4. Let j(h) = 3*h + 27. Let o be j(f). Is w(o) composite?
True
Let x = -68 + 62. Let o(p) = 2*p**2 + 12*p. Let s be o(x). Suppose s = 2*c + 3*c + 4*h - 2977, -2*c + 1195 = 3*h. Is c composite?
False
Let n = 31047 + -17134. Let k = n - 4919. Suppose -12*g = -6*g - k. Is g a prime number?
True
Let m(c) be the third derivative of -1024*c**4/3 + 73*c**3/6 - 278*c**2. Is m(-3) prime?
False
Let b = -1679799 + 2378954. Is b prime?
False
Let q(t) = t**3 + 7*t**2 + 3*t + 2198. Let w be q(0). Suppose 3*v = -2*v + 4715. Let g = w - v. Is g a prime number?
False
Let d = 391 + -253. Suppose -2*t + 619 - 165 = 0. Let u = t - d. Is u composite?
False
Suppose -11*c - 1023129 = 8*c - 5711018. Is c a prime number?
True
Let q = -9070 + 33221. Is q composite?
False
Let j(q) = 5*q**2. Let f be j(1). Let r = -5 + 9. Suppose -f*g + 3*i = r*i - 2046, 4*g - 4*i - 1632 = 0. Is g composite?
False
Is (2/8 - (-1419859)/28*15)/1 composite?
True
Let j = 78213 - 185968. Let m(k) = -3*k - 2. Let i be m(7). Is (1/(1 + 0))/(i/j) a prime number?
False
Let z(f) = 3*f - 36*f + 115*f + 50 + 97*f. Is z(3) prime?
True
Let s be -4*30/(-75)*5/4. Suppose -4*h - 53 = -w, 0*w - 39 = s*h - 3*w. Is 3/h + 1 + (-23805)/(-20) a composite number?
True
Let j = -100 + 104. Suppose 0 = 5*h + 7*n - 2*n - 12535, j*h - 10008 = n. Is h composite?
False
Is (-332133)/9*((-4)/10 + (-689)/265) prime?
True
Let u be 38/14 + 44/154. Suppose 2989 = u*a - 1208. Is a composite?
False
Let g be ((-140)/(-56))/((1*-1)/(-6)). Suppose -6*y - 82 = -64. Is 2373/g*(y + 8) composite?
True
Let v = 198080 - -27549. Is v a composite number?
False
Let q(s) = -6*s**2 + 30*s + 21. Let z be q(-31). Let i = z - -10264. Is i a composite number?
True
Let v(q) = 2*q + 17. Let k be v(-6). Suppose b + 3*b - 8613 = u, k*b = u + 10766. Is b composite?
False
Suppose -4*k + 3*k + 4 = 0, 0 = -m + 2*k - 1927. Let f = -940 - m. Is f prime?
False
Suppose -12*t + 7*t = 30. Let o(w) = -412*w + 25. Is o(t) prime?
False
Let t = 72 - 51. Let p = t - 28. Let d(j) = -68*j + 15. Is d(p) prime?
True
Let g be (-5 + 2 + 1 + 3)/1. Is g/((-1 - 5)/(-15924)) a composite number?
True
Let o = -56 + 59. Let h(q) = -8 - 108*q - o + 3*q. Is h(-4) a composite number?
False
Suppose 10*a - 7*a - 15 = 0. Let u be -4*(a - 13/2). Is ((-18)/(-6))/(u/524) a composite number?
True
Let h(c) = c**2 + 2*c - 6. Let m be h(-5). Let x = 11 - m. Is 992/1 + 2/x a prime number?
False
Suppose 0 = -f - 54 - 42. Let s be (-3)/(-2)*f/72. Is (2282/(-10))/((-28)/(-70))*s a composite number?
True
Let f(m) = -m**3 - 10*m**2 - 9*m + 4. Let v(b) = -b - 2. Let c be v(7). Let i be f(c). Is (0 - (0 - i)) + 27 composite?
False
Let k(m) = 4115*m**2 - 227*m - 17. Is k(-10) prime?
True
Let a(n) = 6*n**3 + n**2. Let o be a(-1). Let b(l) = 127*l**3 - 9 + 4*l**2 + 0*l**2 + 7 - 132*l**3 - l - l. Is b(o) composite?
False
Suppose w + 4*n + n + 7 = 0, -w + 28 = -2*n. Let d be -2 - (-2 - -1 - -2). Is d*3/w*(-1501 - 1) a prime number?
True
Suppose 3*l - l = 5*r - 47, -3*l = -4*r + 39. Suppose -r*x = -3*x - 2874. Is x prime?
True
Let r be -1*(1216 - (-3 - -2)). Let c be 10/45 + r/9. Let y = 74 - c. Is y prime?
False
Let p(r) = -265*r - 933. Is p(-20) composite?
True
Let k = 5511 - -6740. Is k composite?
False
Let b be 2 + -7 - (-18 - 9). Suppose 20*i - b*i + 622 = 0. Let g = 980 - i. Is g a composite number?
True
Suppose 1764 = 3*t - 600. Suppose -o = 2*o - 5*s - 30, s + 28 = 5*o. Suppose o*x - t = 527. Is x a composite number?
False
Let m = 945 + 4126. Suppose 0 = 3*g + 5*y - 15241, -37*g - 3*y - m = -38*g. Is g prime?
True
Let q = -4127