True
Let c(q) = 126*q**2 + q. Suppose -4*k = 2*p - 2*k - 6, 4*p = -2*k + 20. Let z = 8 - p. Is c(z) prime?
True
Suppose -12 = -11*i + 7*i. Suppose -i*x = 7*x - 25210. Is x composite?
False
Let m = -24 - -29. Is 956 - m/10*-6 prime?
False
Suppose -8*h = -9*h + 65. Suppose h = -o + 4*o + q, -o = -4*q. Let z = 43 - o. Is z prime?
True
Suppose 0 = -2*j + 3*i - i + 5628, -3*j + 8440 = -2*i. Suppose 6*m = 866 + j. Is m a prime number?
True
Let p(j) = -2716*j + 471. Is p(-13) composite?
True
Suppose c = r + r + 2589, 5*c + 4*r - 12903 = 0. Let w = 5686 - c. Is w a prime number?
False
Let n(z) be the third derivative of -2*z**6/15 - z**5/15 - 5*z**4/24 + z**3/3 + 24*z**2. Is n(-4) prime?
False
Let u = -5434 - -7652. Is u a composite number?
True
Let v = -7 - -13. Let x be (4/(-12))/((-2)/v). Is 339*x*1/3 prime?
True
Let f = 30832 - 14583. Is f a composite number?
False
Let y(k) be the third derivative of 67*k**5/30 - k**4/24 + k**3/6 - 4*k**2. Is y(1) a prime number?
False
Suppose 0 = -u - b + 1426 + 2200, b = 3. Is u a composite number?
False
Let b(y) = 2577*y + 2. Is b(1) prime?
True
Is (36 - -2)*(-35)/(-70) a prime number?
True
Let j be (-6)/(-14) + (-30)/70. Is 1 + -3 - j - (-691 + 0) a prime number?
False
Suppose 0*r + 2*r - 2*n = -2, 0 = 4*r - 5*n + 7. Suppose r*q = 295 + 3. Is q a composite number?
False
Let m(k) = 11*k + 4. Let c(z) = -z**2 + 6*z - 5. Suppose 3*w - 4*h + 24 = 5*w, 2*h = -5*w + 28. Let s be c(w). Is m(s) prime?
True
Suppose 19*h - 64248 - 35863 = 0. Is h a composite number?
True
Suppose -4*m - 2 = -5*m. Suppose m*w = 4*x + 352, -3*x = -5*w + 2*x + 855. Is w - (27/3)/3 composite?
False
Let x(m) = -m**2 + 5*m - 1. Let r be x(4). Suppose 2*s + r*q = 3*s - 1, 3*s = 3*q + 15. Is (132 - s) + 1*2 prime?
True
Let c(l) = -l**3 - 10*l**2 - 13*l + 3. Let b = 5 - 14. Is c(b) a prime number?
False
Suppose 20 = 5*p + 5*h, -5*p + 9*p = 4*h. Suppose -3*s - 631 = -t, -p*s - 14 = 5*t - 3169. Is t a composite number?
False
Suppose 2*m + 10 = -32. Let c = m - -81. Suppose c + 225 = 5*d. Is d a composite number?
True
Is 51975 + (-24)/21*35/10 a prime number?
True
Is ((-656)/40)/(12/(-13470)) a prime number?
False
Let c = -1338 + 4925. Let l = c + -2052. Is l a prime number?
False
Let g = 448 - 225. Let w(d) = d**3 - d**2 - d + 1. Let u be w(-1). Suppose u*j - j = -g. Is j a prime number?
True
Let k(m) = 14*m + 3. Let i be k(-2). Is (333 - -1)*i/(-10) prime?
False
Let f(p) = p**3 + 7*p**2 + 4*p - 8. Let g be f(-6). Suppose -2*n + 356 = -g*s, 4*n - n + 5*s - 534 = 0. Let d = -123 + n. Is d a prime number?
False
Let u(q) = -380*q**3 + 4*q**2 - 2*q - 1. Let m be u(-2). Suppose v - m = -630. Is v a prime number?
False
Let y be (2*46)/((-28)/(-574)). Let u = 2163 + y. Is u a composite number?
False
Let i(w) = -10*w**3 - 2*w**2 + 3*w - 9. Let j(f) = f**2 + 8*f + 11. Let o be j(-3). Is i(o) prime?
True
Let s(p) = -276*p**3 + 6*p**2 + 13*p + 10. Is s(-3) a composite number?
False
Let f = 815 - 490. Suppose 4*t = -0*t + 480. Let z = f + t. Is z prime?
False
Let z(k) = 187*k - 13. Let q(s) = 374*s - 25. Let i(m) = -2*q(m) + 5*z(m). Is i(4) composite?
False
Suppose -4*p + 7796 - 396 = 3*u, 3*u = -5*p + 9253. Is p a prime number?
False
Suppose 0 = -5*o + 16273 + 14987. Let u be 8/(-44) + o/22. Let y = u + -135. Is y composite?
False
Suppose -348 = -10*n + 7*n. Let k = n + 96. Let i = k - 99. Is i prime?
True
Let t(f) = f**3 + 9*f**2 - 8*f + 13. Let d be t(-10). Let x(j) = 2*j + 6. Let q be x(d). Is 231/12 + 2/q a composite number?
False
Suppose 4*x - 5082 = -2*z, -x + 991 = 5*z - 284. Suppose 8*t = 13*t - x. Is t a prime number?
False
Let t(v) = 2*v**3 - 9*v**2 + 8*v - 10. Let r(s) = s**3 + s**2 - s - 1. Let g(j) = 3*r(j) - t(j). Is g(-12) prime?
True
Let m = -20 + 26. Let n(x) = -4 + 4*x - x**3 + 8*x**2 + 11 - 2*x**2. Is n(m) composite?
False
Let n = 41 - 59. Suppose -3*i = -r + 1069, -12*r + 1795 = -5*i - 7*r. Let f = n - i. Is f prime?
True
Suppose 95 = 3*m + 83. Suppose -7051 = -7*d - m*d. Is d a prime number?
True
Let t(d) = -2643*d + 14. Is t(-5) composite?
False
Let v = 11 + -3. Let j be 3/(12/v)*1. Suppose 40 + 364 = j*d. Is d a prime number?
False
Let r(i) = -2*i**3 - 38*i**2 + 30*i - 23. Is r(-21) a composite number?
True
Let y = -424 - -573. Is y a prime number?
True
Let s(x) = 115*x**3 - 29*x**3 - 2 + 3*x**2 - 6*x**2. Is s(3) composite?
False
Let u = -2011 - -7446. Is u a prime number?
False
Is (49/196)/(1/7892) prime?
True
Let s(r) = 60*r + 11. Suppose -3*a = -z + 12, 2*z - z - 18 = 5*a. Is s(z) a composite number?
False
Let r be (-1 + 0)*(-12 - -4 - -4). Suppose -4*a = 4*o - 348, -93 = -o - 0*a - r*a. Is o a composite number?
True
Let y be -5 + 30/6 + (7 - 2). Suppose -2*j + 579 = -y*w, -4*j - 2*w - w + 1145 = 0. Is j composite?
True
Let h be 3*743 - (-1 + 5). Suppose 0 = 4*r - n - h, 6*n - n + 1656 = 3*r. Is r a prime number?
True
Let k(b) be the first derivative of -b**4/4 + 11*b**3/3 - 2*b**2 + 4*b + 4. Let r be k(6). Let w = 103 + r. Is w prime?
True
Suppose -118383 = -7*j - 9624. Is j prime?
False
Let t be (-10)/(-8) - 9/36. Let g be (t + 0)/((-9)/(-18)). Suppose 3*k = g*k + 479. Is k composite?
False
Let b(l) = 2072*l**3 - 10*l + 7. Is b(3) a composite number?
False
Let v(q) = q**3 + 10*q**2 + 8. Let s(l) = 5*l + 10. Let j be s(-4). Let a be v(j). Suppose -11*y = -a*y - 111. Is y composite?
False
Let z(y) = y**2 - 2*y + 3. Let p be (-12)/((-12)/3) + -1. Let x be z(p). Suppose d + 5*b = 302, 4*b - 579 = -x*d + 294. Is d a composite number?
True
Suppose t - 1355 = 6168. Is t prime?
True
Is 20/(-15)*(-132735)/20 a composite number?
False
Suppose -1629 = -n + 4*n. Is n/(-18)*2*9 a composite number?
True
Let n be -2*(-4 - -2) - -1103. Suppose s + 5*c - n = 0, -5*s + c = 5*c - 5577. Is s prime?
True
Suppose 0 = -21*k + 28*k - 35. Suppose -g - 3*o + 379 = g, 0 = k*o + 5. Is g prime?
True
Suppose 2*u + 21 - 25 = 0. Is (u - 6/4)*3386 a prime number?
True
Let t(i) = -i**2 - 4*i + 2. Let c be t(-4). Suppose 2*l = 2*y - 268, 0 = -3*y + c*l - l + 412. Is y a prime number?
True
Let f(g) = g**3 + 842 - 833 - g + 2*g. Is f(4) composite?
True
Let b = 2901 + -38. Is b a composite number?
True
Let v = -7350 - -12595. Is v composite?
True
Let i = 135223 + -85536. Is i a prime number?
False
Suppose 5 + 1 = -2*w, 2*n - 40604 = 2*w. Is n a composite number?
True
Let h(o) = o**3 - 6*o**2 - 3*o + 2. Let t(i) = 3*i**3 - 11*i**2 - 5*i + 3. Let l(y) = -7*h(y) + 4*t(y). Let z be l(2). Is (3 - z)*3/(-1) prime?
False
Let s(j) = 678*j - 73. Is s(9) a prime number?
True
Suppose 7*m - 61260 = 3539. Is m composite?
False
Is 3*-2 - 20176/(-16) a composite number?
True
Let j(y) = 42*y**3 - 5*y**2 + 6*y + 19. Is j(4) prime?
False
Let a be 0/(-3 + 0 - -2). Suppose c = -a*c - 3. Is (59/c)/(2/(-6)) composite?
False
Let b(j) = -6*j**3 - 7*j**2 + 5*j - 8. Let r be b(-6). Let p = -1697 + r. Let s = p - -1008. Is s a prime number?
True
Let b(j) = -j**3 + 9*j**2 - 12*j - 10. Let n be b(7). Suppose n*l + 0*l + s - 5883 = 0, -l + s = -1472. Is l composite?
False
Let y be (-2)/4 + 1266/4. Let m = 215 - y. Let w = m - -152. Is w prime?
False
Suppose -30*v + 25*v - 168 = -3*x, -2*x + 111 = -3*v. Is x prime?
False
Let f be (-4)/22 + (-172)/22. Let y = f + 12. Suppose 5*d + 897 = 4*h, -2*d = -y*h + 2*d + 896. Is h prime?
True
Suppose -1074 = 7*b - 9*b + 2*p, 5*b + 5*p = 2645. Is b a composite number?
True
Suppose -4*n = 4*n - 11488. Suppose n = 4*y + 2*w, 2*y - w - 356 = y. Is y prime?
False
Let u(q) = q**3 + 12*q**2 + 10*q - 15. Let d be u(-11). Is (1678 - 2) + (-7 - d) a prime number?
False
Suppose -5*p + 3*q + 7 = 0, -3*q = -0*p - p - 1. Suppose p*m + 3*m = 1705. Let v = 668 - m. Is v a composite number?
True
Let l be (-4 + 4)/2 + 100. Let d = l + 343. Is d a prime number?
True
Is (3/(-15)*8209)/((-86)/430) composite?
False
Suppose m = -4*m - 4*v - 7183, 4*v - 2862 = 2*m. Let n be ((-8)/10)/(14/m). Suppose n = -3*i + 313. Is i a prime number?
False
Suppose -31*f + 27*f = -4. Is 9724/51 + f/3 a prime number?
True
Let q(x) = 2 - 10*x**3 + 29*x**3 - 5*x - 4*x**2 + 2. Let j(d) = 5*d**3 - d**2 - d + 1. Let w(i) = 9*j(i) - 2*q(i). Is w(2) a prime number?
False
Suppose 4*n + 80 = 8*n. Let z(m) = -m**3 - 6*m**2 + 6*m - 11. Let d be z(-8). Let t = d + n. Is t a prime number?
True
Suppose 0 = 7*