?
False
Let j(p) = -22901*p**3 - 16*p - 16. Is j(-1) a prime number?
True
Let j be 1 + (0 - 2) + -1 - -10. Is j/36 - (-6825)/27 a prime number?
False
Suppose -4*k + k + 15 = 0, 2*n + 1 = k. Is n/(-5) - 4387/(-5) prime?
True
Suppose -2*p + 2 = -6. Suppose p*v = -3*t + 1197, -5*t + v = 4*v - 2006. Is t composite?
True
Let x(c) be the second derivative of -409*c**5/4 + c**4/6 + 7*c**3/6 + 5*c**2/2 - 15*c. Is x(-1) composite?
True
Is -2 - (9921/(-13) - 24/(-156)) composite?
False
Let j = 59366 - 35052. Is j a prime number?
False
Let d(u) = -u**3 - 14*u**2 - 12*u - 34. Let b be d(-15). Suppose -3*w + 2*s + 1116 = -3*s, 0 = w - 2*s - b. Is w composite?
True
Let t(o) = o**3 + 29*o**2 + 29*o + 2. Is t(-25) a prime number?
True
Let d = -5 + 14. Let b be ((-6)/(-8))/(d/72). Suppose b*z = z + n + 328, -3*n = 2*z - 121. Is z a composite number?
True
Suppose 228 = 4*u - 160. Suppose w - 63 - u = 3*l, -5*w + 4*l = -811. Is w prime?
True
Let v be 3 + 287 + (1 - -1). Suppose 2*k - l + 295 = 3*k, k + 4*l = v. Suppose 2*r - k = -4*s, -2*s - 14 = -5*r - 162. Is s prime?
False
Is 1/(8 - (-463452)/(-57932)) composite?
True
Let d(c) = 2*c**2 - 33*c - 49. Is d(-53) composite?
True
Is (3 - 5)/(7 - 98154/14021) a composite number?
True
Let w = 14606 - -2573. Is w a prime number?
False
Is (-3)/12 - 13643/(-28) a prime number?
True
Let u(p) = 15*p**2 - 34*p - 320. Is u(-9) prime?
True
Suppose -3*o + 3 = -6. Suppose 5*b - 12 - o = 0. Suppose b*z + 232 = 901. Is z composite?
False
Suppose 0 = -3*m + 3*f + 2*f + 991, 5*m = 3*f + 1657. Suppose -983 = -5*s + m. Suppose v - s = -0*v. Is v prime?
True
Let p = 56 + 23. Is p prime?
True
Suppose -17 = -w - 0*w - 4*s, 2*s - 31 = -5*w. Suppose -m + y = 3*y - 229, w*y - 238 = -m. Is m prime?
True
Suppose -5*r + 2*h + 35841 = 0, 12*h - 9*h = 5*r - 35839. Is r prime?
False
Let o = 3860 + -2209. Is o composite?
True
Suppose 0 = -2*l - 0*l. Suppose -2*j - 15 + 2561 = l. Is j prime?
False
Let r = -26 + 38. Let v = -10 + r. Is -1 - -14*4 - v a composite number?
False
Let q(v) = 4*v**3 - 9*v**2 + 7*v + 1. Let h(d) = 5*d**3 - 8*d**2 + 6*d. Let w(u) = 3*h(u) - 4*q(u). Is w(11) a prime number?
True
Let h(f) = -105*f**3 + 31*f**2 - 21*f - 16. Let r(c) = -21*c**3 + 6*c**2 - 4*c - 3. Let j(a) = -2*h(a) + 11*r(a). Is j(-2) a prime number?
False
Let i be (-64454)/18 - (-32)/(-144). Let d = i - -6160. Is d prime?
True
Let o(b) be the first derivative of b**4/4 - 3*b**3 - 9*b + 7. Let w be o(8). Is -1 - (w*8)/4 prime?
False
Let c(y) = -310*y - 1. Let v be c(-10). Is v/7 - (-32)/112 composite?
False
Let u = -12 - 32. Let x = 301 + u. Is x a prime number?
True
Let r(n) = -1095*n - 53. Is r(-4) a composite number?
False
Let k be 46 + 1/1*0. Let a = k + -140. Let n = a + 161. Is n prime?
True
Suppose 5*y - 36020 = 5*m, -2*m - y + 4*y - 14407 = 0. Is m/(-44) + (-3)/4 composite?
False
Suppose -3*o + 5*o - 4*o = 0. Let k be 2*1/(-4)*-6. Suppose o = k*h - x - 1963, 0 = 5*h - 3*x - 2812 - 465. Is h a composite number?
False
Is 9510 - (7 + 1)*13/104 a composite number?
True
Let v(n) = 2*n**2 - 8*n - n**2 + 7 - n**3 - 6*n**2. Suppose -4*b - 8 - 20 = 0. Is v(b) prime?
False
Let j = 495 + 548. Is (1 - j)*(-3)/6*1 prime?
True
Suppose -b = -5*k - 5*b + 30, 2*b = 3*k + 4. Let h(p) = -42*p**2 + 3*p - 4. Let g(s) = s**2 + s - 1. Let v(n) = 3*g(n) - h(n). Is v(k) prime?
True
Suppose 9*d = 12*d - 5*u - 241467, u = d - 80489. Is d a prime number?
True
Suppose 3*k + 5*a - 20 = 0, 11 + 5 = 5*k + 4*a. Suppose -69 = -3*l - k*l. Is l composite?
False
Suppose 48 = -3*z - 4*l + 604, 0 = 5*z - 2*l - 970. Let k = z + -125. Is k prime?
True
Let x = -1 + 13. Let z(k) = -k + 27. Let p be z(x). Suppose 0 = 5*d + p, m = -0*m + 3*d + 395. Is m a prime number?
False
Suppose 0 = -10*z + 4*z + 18. Suppose -2*n + 4001 = z*l, -4*l = 3*n - 2116 - 3217. Is l composite?
True
Let q(g) = 748*g - 291. Is q(16) composite?
False
Let l(t) = 5*t**2 - 2*t + 12. Let n(g) = -8*g - 3. Let k be n(-4). Let j = 34 - k. Is l(j) prime?
True
Suppose -5*r + 128 = -552. Suppose -5*o = -7*o + r. Suppose 522 = 2*l - o. Is l a prime number?
False
Is (-26)/182 + -2 + 23710/7 composite?
True
Suppose -5*a - 6 = -d, -21 = 4*d - 2*a - 3*a. Let f be (-7 - d)/((-1)/(-2)). Is f + (-310 + 0)/(-1) a prime number?
False
Is -41198*(0 - -5)/(-10) - 6 a prime number?
True
Suppose g = 1569 - 382. Is g a prime number?
True
Let j(b) = 9 - 1 + 4 - b - 7. Let m be j(0). Suppose 2*g = -4*s + 142, -m*s + 12 = 2. Is g a prime number?
True
Let i be -1*1 + 4/2. Let k be i*2 + 15/3. Suppose -155 = -k*r + 6*r. Is r a composite number?
True
Let q be -6 + 7 + -3 + 2. Let r be q - (-3)/3 - -1240. Suppose 8*t = 1807 + r. Is t composite?
True
Suppose 4*o + 5*k - 79773 = 0, -2*o - 5*k + 99710 = 3*o. Is o composite?
False
Let b(u) = 10*u**2 - 6*u + 31. Is b(8) a prime number?
False
Suppose -f - 4*z - 18 + 161 = 0, f = -2*z + 145. Suppose 577 = l - f. Let g = l - 473. Is g a composite number?
False
Let p(d) = 6*d**2 + 7*d + 4. Suppose -2*a - 4 = 0, -2*x - 6*a + 3*a - 14 = 0. Let r be p(x). Suppose -148 = -4*y + r. Is y composite?
True
Let g = 109166 - 77635. Is g a prime number?
True
Let a(u) be the second derivative of u**4/2 + 11*u**3/6 + 9*u**2/2 - 10*u. Is a(10) a prime number?
True
Suppose -3*s + 1833 = -39654. Is s a composite number?
False
Suppose 35*u - 5*u - 72870 = 0. Is u composite?
True
Suppose -4*t = -6*t + 186. Let k = t - 10. Is k - -3 - (-3 + 6) composite?
False
Let u be (-1 - 0)/(7/42). Is (-110943)/(-81) - (-4)/u a prime number?
False
Let j be (-12 + -3)*392/(-20). Suppose 0 = 5*k - 3*w + j - 3906, 2*k + 5*w - 1451 = 0. Is k prime?
False
Suppose 21280 = 2*v + u, 0 = v + 4*u - 8379 - 2268. Is v a composite number?
False
Let s(w) = 122*w**3 + 9*w**2 - 12*w + 5. Is s(2) a prime number?
False
Let q(p) = 373*p**2 + 8*p + 5. Is q(-2) prime?
True
Let k be (4 - -2)*2892/(-9). Let o = k + 3351. Is o a composite number?
False
Let h = 909 + -115. Is h a composite number?
True
Is (-2)/4*((-1013664)/(-12))/(-4) a prime number?
True
Is -6 + -2 + 4 + 3911 a prime number?
True
Suppose 0*c + 2*c - 6 = 0. Suppose -c*l + 5752 = 5*l. Is l a prime number?
True
Let x(b) = -b**3 - 5*b**2 + 13*b + 9. Suppose 8*f - 3*f + 45 = -3*g, 4*g = -5*f - 55. Is x(g) prime?
True
Let y = -82 + 124. Suppose -3*f - y = -303. Is f prime?
False
Let y(w) = 3*w**2 - 8*w + 2. Let l be y(3). Suppose -8*p = -3*p - 5*b - 25, l*p - b - 25 = 0. Suppose p*j = 7*j - 1306. Is j a prime number?
True
Let u = -208 + 621. Is u prime?
False
Let s(x) = 6*x**2 - 7*x - 10. Let z be (-2)/4*2 - 8. Let g = 16 + z. Is s(g) a prime number?
False
Suppose -29*b + 10*b = -8987. Is b composite?
True
Suppose -109*x - 21133 = -110*x. Is x composite?
True
Let u(c) be the second derivative of 7*c**5/20 + 3*c**4/4 + 5*c**3/6 + 5*c**2 - 26*c + 1. Is u(7) a prime number?
True
Let t(g) = -4*g - 7*g**2 - 2*g**3 + 5*g + 10 + 3*g**3 - 10*g. Let q be t(8). Is (59/q)/(2/4) prime?
True
Suppose 3*k + 503 = 4*k. Let f = -320 + k. Is f a composite number?
True
Suppose -3 = d, 4*j = 2*d + 2*d + 26488. Is j prime?
True
Let u(j) = 2*j. Let s be u(2). Suppose -s = -3*w + 4*w. Is ((-86)/(-4))/((-2)/w) a prime number?
True
Let y(a) = 5*a**2 + 17*a + 1. Let i(k) = 10*k**2 + 35*k + 3. Let r(m) = -6*i(m) + 13*y(m). Is r(-9) a composite number?
True
Let o = 79 - -96. Let t = o - 26. Is t a prime number?
True
Suppose 10*a - 19023 - 667 = 0. Is a a prime number?
False
Let v = -158 - -48. Suppose 0 = k + k - 450. Let u = k + v. Is u composite?
True
Suppose 5*q = 5*t - 15, 11 = -4*q - 9. Let h be (-3 - -157) + -3 + t. Is 1*-2*h/(-2) prime?
True
Let i = 16 - 10. Suppose -h = -i*h. Suppose 0 = q - d - 76 - 77, 5*q + 3*d - 733 = h. Is q a prime number?
True
Let q be (-48)/12*(-2)/4. Suppose -4*a + v = -259 - 100, q*a - 2*v = 184. Is a composite?
False
Suppose -t = -0*t - 2. Let p be t + (0/(-2) - 0). Suppose j + 5*k - 46 = 2*k, 4*j - 194 = -p*k. Is j composite?
True
Suppose -25 - 7 = -2*g. Suppose -g*r = -18*r + 1270. Is r a prime number?
False
Let j(h) be the third derivative of 5*h**4/12 + 7*h**3/3 - 13*h**2. Let d be j(-4). Let z = d + 29. Is z a composite number?
False
Let g be 28/(-21)*(2 - (-1)/(-2)). Is (-26)/117 - (9310/(-18) - g) a prime number?
False
Let o = -2096 + 3674. Suppose -5*x + o = -1192. Is x composite?
Tr