omposite number?
True
Let i = -9358 + 21207. Suppose -2*r - i = -3*q, r - 6089 = -2*q + 1801. Is q prime?
True
Let b = 461767 - 234276. Is b a prime number?
False
Let y(v) = 133*v - 276. Let q(s) = -132*s + 276. Let i(t) = 6*q(t) + 5*y(t). Is i(-5) a prime number?
True
Let w be 2433/11 + (-136)/748. Is (-4)/(-26) - (-86377)/w composite?
True
Let a be (-7 + 264)/((-1)/(-2)). Let g = a - 179. Is g prime?
False
Suppose -5*g = j - 347529, -4*g = 3*j - 179723 - 98309. Is g composite?
True
Let p be (-1)/(-2)*(-1 + -1). Let h be 38/(p - -3)*-23. Let j = 620 + h. Is j a prime number?
False
Suppose 379 = -5*b + 13854. Let a = b - 1736. Is a a prime number?
False
Let y be (12/2 - 1)*1007073/(-135). Is 16/28 - (-2 + y/7) a prime number?
False
Let v(f) = f**2 - f + 139. Suppose -511 = 11*a + 314. Let h = a - -75. Is v(h) prime?
True
Suppose 5*z - 547287 = -3*w + 1044137, 3*w - 3*z = 1591416. Is w a prime number?
False
Let b(w) = -w**2 + 6*w + 323. Let h be b(-15). Let v be 620/(-22) + 14/77. Is (((-1266)/h)/1)/(7/v) a composite number?
True
Let u be 72*(-35)/30*8. Let y = -86 - u. Is y a composite number?
True
Suppose -3*y = l, -3*y + 4*y = -4*l. Suppose 8*o + 40 = -y. Let s(n) = -6*n**3 - 6*n**2 + 23. Is s(o) composite?
True
Let j be 9/((-9)/(-4)) - 0/(-1). Suppose 25*g - 29*g = -j*b + 57532, -5*g + 57568 = 4*b. Is b composite?
False
Let u(k) = 284*k + 19. Let h = 93 + -90. Is u(h) a composite number?
True
Let f be 12640/15 - (40/15)/4. Let o = 1037 + -523. Suppose -o = -4*v + f. Is v a composite number?
True
Let x(d) be the first derivative of -917*d**2/2 + 53*d + 2. Let j be x(-7). Let z = j - 3263. Is z a prime number?
True
Let d(c) = c + 18. Let v be d(-10). Suppose 5*k = 4*h + 14497 - 458, -3*k + 8421 = -3*h. Suppose k = -v*j + 11*j. Is j a composite number?
False
Let t(y) = 12*y**3 + 13*y**2 - 342*y - 15. Is t(16) a composite number?
False
Suppose 2*i - 838298 = -11*d, 0 = -39*i + 42*i - 2*d - 1257521. Is i a composite number?
False
Suppose 61*q - 4002937 = 2558040. Is q composite?
True
Let w(z) = -z**2 - 6*z + 18. Let i be w(-8). Suppose -t = 2*u - 9, -4*t - 4 = u + i. Suppose o = 2*m - 2539, u*m + 4*o - 5048 = 2*m. Is m prime?
False
Let q(k) = 94*k**2 + 16*k + 35. Let o(i) = -31*i**2 - 5*i - 12. Let t(u) = -17*o(u) - 6*q(u). Let v be t(-5). Let b = 295 - v. Is b composite?
False
Suppose -14*k = 161*k - 15598625. Is k a prime number?
False
Let v = 257 - 255. Suppose -5*i = -v*l + 2019, -l + i - 3*i + 1005 = 0. Is l a prime number?
False
Suppose -4*n + 2885848 = 4*j, 2*n - 4*j - 818593 - 624373 = 0. Is n composite?
True
Let r = 217 + -211. Suppose -r*z + 9996 = 4*d - 2*z, d - z - 2507 = 0. Is d prime?
True
Suppose -4*l = 3*n - 428421, 12*n - 8*n + 3*l = 571214. Is n a prime number?
True
Let o be (1 - 0) + -5 + 9. Suppose 0 = -5*n - 3*y + 14320, -n - 4*y + y + 2876 = 0. Suppose -o*k + n = -4*k. Is k composite?
False
Let h be (-6 + -3)/(-3) - -3. Suppose h*j - 1867 - 19499 = 0. Is j a prime number?
False
Let a = -54 + 60. Let x = a - 44. Let i = x + 169. Is i prime?
True
Let q(z) = z**3 + 13*z**2 - z + 2. Suppose -2*j + 50 = -5*w, -5*j = 2*w + 20 + 29. Let o be q(w). Is -2*o/(-4) + -2 composite?
True
Suppose 170447 = 4*d - 33*a + 32*a, -2*d + 3*a + 85231 = 0. Is d a prime number?
True
Suppose -56 = -3*l - 3*x + 2*x, -l + x + 16 = 0. Suppose 272142 = -0*i + l*i. Is i prime?
False
Suppose 10*w - 4920876 = -6*w - 20*w. Is w composite?
False
Let h be ((-1)/4)/1 - 2310/(-440). Is h/(1 + 15862/(-15869)) composite?
True
Suppose -17*g - 193627 = -2349890. Is g a composite number?
False
Let s(y) = 4021*y**2 + 5*y - 417. Is s(-13) a prime number?
True
Let g = -6906 - -16535. Is g a composite number?
False
Suppose 4*p = -4*v - 18208, 5*v - 3*v + 18216 = -4*p. Let j = 7945 + p. Is j composite?
False
Let s = -3956 - -19469. Suppose s = 24*t - 75615. Is t a composite number?
False
Suppose -4*c - 2 = -p, -2*c + 10 = p + 20. Is ((-10)/(-15))/(p/(-83493)) prime?
True
Let q(i) = 90*i**2 - 9*i + 10. Let l(d) = 450*d**2 - 46*d + 51. Let p(b) = 2*l(b) - 11*q(b). Let w(h) be the first derivative of p(h). Is w(-5) composite?
False
Suppose -10*o = -20 - 180. Suppose 26*n - o*n - 3552 = 0. Is -3 - (n*-1 - -2) composite?
False
Suppose 2*q = 5*q - 171. Let t(i) = -i**3 - i**2 - 2*i - 22. Let b be t(-3). Suppose j - q = -b*j. Is j prime?
True
Let n = -88 - -93. Suppose 1653 = 2*l + n*b, 3*b - 4179 = -5*l + 6*b. Suppose -4*o = -2*h + 3*h - l, -o + 213 = -2*h. Is o a prime number?
False
Let l(z) = 31692*z + 3703. Is l(14) a prime number?
False
Let g(x) be the first derivative of x**3 + 18 - 17/2*x**2 - 19*x. Is g(-14) composite?
True
Let m = 48 - 50. Let k be (457/3)/((2/(-3))/m). Suppose -k = -z - 122. Is z composite?
True
Let a = -581041 + 1161072. Is a prime?
True
Let j(t) = -9*t - 27. Let w be j(-4). Let v(h) = 389*h**2 - 20*h + 26. Is v(w) a prime number?
False
Let k = -50 + 55. Let r(f) = 181*f**2 + f + 1. Let p be r(k). Suppose 0 = -18*c + 7511 + p. Is c prime?
False
Let m(o) = -55*o**3 - o**2 + 10*o + 12. Let w(x) = -126*x + 3 - 2 - x**2 - x**3 + 127*x. Let l(z) = m(z) - 5*w(z). Is l(-4) prime?
True
Let v(k) = -130*k + 211. Let d be ((-60)/21)/(2/7). Is v(d) a prime number?
True
Suppose 2*k - 69*k + 21176098 + 9509299 = 0. Is k prime?
False
Let j(s) be the first derivative of 7*s**4/12 + s**3/6 - 25*s**2/2 - 17*s - 7. Let d(o) be the first derivative of j(o). Is d(14) a prime number?
True
Is (-2291170)/(-20) - 21/14 a prime number?
False
Suppose 5*a - 12*s - 302 = -10*s, 112 = 2*a - 3*s. Suppose 5*b - 15 = -0*b. Is a*8 + b + 3 a composite number?
True
Let b(n) = 11*n**2 + 193*n - 17. Is b(-46) prime?
False
Suppose -a = 5*s - 2205, -2*s + 0*s - 3*a + 869 = 0. Let n = s + 145. Is n prime?
True
Let l(o) be the third derivative of -1/3*o**3 - 121*o**4 + 0 - 18*o**2 + 0*o. Is l(-1) a prime number?
False
Let t(z) = 16*z + 5. Let k(v) = v. Let i be k(9). Let m be t(i). Suppose m = 2*g - 765. Is g a composite number?
False
Let w = 5 - 3. Let d(s) = 5*s**2 + 46*s + 26. Let n be d(-20). Suppose 2*b + 5*h + 0*h - 1101 = 0, -w*b + n = 4*h. Is b a composite number?
False
Let a = -109451 + 155914. Is a prime?
False
Let t = -4924 - -8530. Let g = 13337 - t. Is g prime?
False
Let c(y) = -446*y**3 - 10*y**2 - 47*y - 2. Is c(-3) a prime number?
False
Let z(v) be the first derivative of -15*v**2 + 5*v - 2. Let f = 233 + -243. Is z(f) a composite number?
True
Let r(u) = 127*u**2 + 108*u - 102. Is r(-33) prime?
False
Let a(j) = -j**3 - 2*j + 7. Let n be a(0). Let v(u) = 702*u + 103. Is v(n) prime?
False
Suppose 3*l - 6 = -0*l. Suppose -l*p + 6*p + 16 = 0. Is p/1 - -1 - -61 a prime number?
False
Let g = -18 - -45. Suppose -j = -2*b + g, 3*b - 8 = -2*j + 15. Is (17975/(-20))/(b/4 + -3) a prime number?
False
Let x = 234687 + -163568. Is x a composite number?
False
Suppose -2*r + 0*r = -t + 6, 0 = 2*t + 3*r - 12. Suppose t*v = 3*v + 21711. Is v a prime number?
True
Let r(h) = 3*h**2 - 58*h + 690. Is r(109) composite?
False
Suppose 3 + 15 = 6*y. Suppose 0 = -y*v - 2*v - 175. Is 56/14 - 11*v composite?
False
Let u = 40330 + -23036. Is u a prime number?
False
Let i = -38 - -68. Let u = -61 + i. Let z = 466 - u. Is z a prime number?
False
Suppose -4*w + 215223 = 3*x, -25*x - 143482 = -27*x - 2*w. Is x a composite number?
False
Let o(y) = -y**2 + 17*y - 42. Let f be o(3). Suppose 10*k - 26062 + 252 = f. Is k a prime number?
False
Let o be 1 + (-140)/(-34) + (-56)/476. Suppose -8307 - 13598 = -o*b. Is b prime?
False
Suppose 0 = 2*z - 111 - 91. Suppose z*t - 87*t - 180586 = 0. Is t composite?
False
Suppose s - 10 + 6 = 0. Suppose -2*d - 2542 = -s*r, -3*d + 653 = r - 0*d. Suppose -2*p + 5*x = x - r, 3*x - 1002 = -3*p. Is p prime?
False
Let m = 82539 - 41000. Is m a composite number?
False
Let f(x) be the first derivative of 23*x**2/2 + 24*x - 7. Is f(7) prime?
False
Suppose 1552263 = 4*g - 5*r, -126*g - 3*r = -130*g + 1552249. Is g prime?
True
Let h(f) = 4020*f + 11. Let o(u) = -u**3 - 11*u**2 - 20*u - 15. Let i be o(-9). Is h(i) a prime number?
True
Suppose -2674762 + 12218092 = 82*y + 8*y. Is y a prime number?
False
Let x be (16/(-6) + 2)*(-36)/(-4). Is (-1 - (x - 1)) + (-32 - -20309) composite?
True
Let j = -365684 + 693237. Is j composite?
False
Let d = 218020 + 206293. Is d composite?
False
Let