
True
Let d(b) = -9*b + 69. Let p(l) = -10*l + 68. Let q(f) = -5*d(f) + 4*p(f). Suppose -304 = 118*z - 137*z. Is q(z) prime?
True
Let q = -248 - -479. Let v = 396 - q. Let n = v + -114. Is n a composite number?
True
Let z = 54397 + -31316. Is z composite?
False
Let a = -615 + 336. Is a*(-12)/9 - -5 a composite number?
True
Suppose 0 = -4*g + x + 14, 5*g - x - 4 = 14. Is 631 + g + 2/(1/(-1)) prime?
False
Let w be (-6)/14*1 - 11/7. Let g(i) = -135*i**3 - 2*i + 3. Is g(w) composite?
False
Suppose 2*q - 12 = -4. Suppose q*t = -0*t + 28. Suppose -t*b = 4*b - 49357. Is b a composite number?
True
Let d = -7020 + 34810. Suppose -11*p + p = -d. Is p prime?
False
Let r(g) = 3*g - 45. Let h be r(16). Suppose 5*m - 2302 = h*m. Is m prime?
True
Let w = 11938 - 8351. Is w composite?
True
Let x(n) = 26*n + 5968. Let a(o) = -9*o - 1989. Let z(g) = 11*a(g) + 4*x(g). Let c = 445 - 445. Is z(c) a prime number?
True
Suppose -18199 = -4*f - 6071. Suppose 0 = 6*m - m + 3*z - 7570, 2*z = -2*m + f. Is m composite?
False
Let j = -7940 + 3678. Let g = j + 12091. Is g prime?
True
Let m = 95022 + -32339. Is m prime?
True
Let v(r) = 31*r**3 - 11*r**2 - 12*r + 16. Let n be v(7). Let y be n/(-234) - 2/13. Let o = y + 114. Is o a composite number?
False
Suppose 6*z - 25 + 13 = 0. Suppose 5*a = -4*p + 313, -p - z*a + 156 = p. Is (-6)/14 - (-77572)/p composite?
True
Let u = 1197 + -382. Let f = 1208 - -16. Let d = f - u. Is d a composite number?
False
Suppose -1 = -b, -140947 = -7*h - 3*b + 2174803. Is h a composite number?
False
Suppose -146 = -3*v + 2*v + j, -3*v = -4*j - 442. Let g = v + 1751. Is g a prime number?
False
Suppose -4*k + 208583 = 5*p, -3*p - 104297 = -2*k - 0*k. Is k prime?
True
Let h = -38222 + 152769. Is h prime?
True
Let s = -629 + 631. Suppose -s*y - 60505 = -7*y + 4*w, 4*y = -2*w + 48378. Is y prime?
True
Let n be (31/3)/((-25)/(-8400)). Suppose x = -3*d - 2*d + 1731, -2*x + n = 5*d. Is x a prime number?
True
Let w = -42447 + 107726. Is w a prime number?
False
Suppose 4*c - 113551 = 3*w, 3*c - 85158 = 14*w - 17*w. Is c composite?
False
Suppose 5*l = -a + 5844, 5*a + l - 3573 - 25767 = 0. Let o(w) = -2*w**3 - 24*w**2 - 71*w - 32. Let x be o(-14). Suppose 0 = 5*f - x - a. Is f prime?
True
Let k = 87 + -87. Suppose -5*o + 2697 = 2*x - k*o, 2*o = x - 1371. Is x composite?
False
Suppose -19*p + 959489 + 1561871 = 61*p. Is p composite?
False
Suppose 4*t + 196 - 1245 = -b, -4*b + 2*t + 4178 = 0. Suppose 0 = -5*j - 5*m + b, 4*j - 740 = 2*m + 108. Let d = j + -77. Is d composite?
True
Let k = 1540 + -3556. Let o = 4049 + k. Is o a prime number?
False
Let u(v) = v**3 + 17*v**2 - 18*v - 5. Let g be u(-18). Is 2/(-2) + -11585*6/g a prime number?
True
Suppose -t - 300973 = -3*l - 59310, 5*t = 5*l - 402765. Is l prime?
False
Let x = -125 - -127. Suppose 1021 = -x*r - g, 2*g = 4*r + 1279 + 759. Let l = r + 2899. Is l prime?
True
Suppose 4422 = -5*i + 4*b + 131340, -3*b = -5*i + 126916. Suppose -13*q + i + 71819 = 0. Is q a prime number?
True
Is (44 + -48)*4/(16/(-424565)) a prime number?
False
Let d = 25231 + -46348. Let s = -14408 - d. Is s prime?
True
Suppose -q = 3*o - 4*q - 15, 2*q + 10 = -3*o. Let a = 3 + 0. Suppose a*b + 1104 - 5733 = o. Is b prime?
True
Let o be 41*(-2 + (18 - 13)). Let h = 281 + 33. Let j = h - o. Is j composite?
False
Suppose -542 = u + 840. Let a = u - -6273. Is a a prime number?
False
Let v = 551 - 508. Suppose -24*u - 189373 = -v*u. Is u a composite number?
False
Let j be 2/(-12) - 4*41/24. Let d be -3 + 4 + (j - 1). Let p(a) = -22*a + 13. Is p(d) a composite number?
False
Suppose -8 = -m - 2*y, -3*m + 13 = 5*y - 8. Suppose -4524 - 2174 = -m*w. Is w a prime number?
False
Suppose 5*h - 331695 = 2*r, 4*r - 101775 - 229890 = -5*h. Is h prime?
True
Let u(y) = 2462*y**2 - 72*y - 15. Is u(-7) prime?
False
Let z(a) = 586*a**2 + 60*a + 353. Is z(-6) composite?
False
Let g = 48 - 44. Suppose -2*m - 46 = m + x, g*m = -x - 62. Let f = m + 263. Is f prime?
False
Suppose -2*d + 3*d + 4*q - 2531 = 0, 2*q - 7573 = -3*d. Let i(c) = -c**2 + 7*c - 6. Let k be i(6). Suppose -3*j = -k*j - d. Is j a composite number?
True
Let t = -167168 - -294556. Suppose -55993 = -33*v + t. Is v prime?
True
Suppose 5*w - 3 = 22. Suppose -w*c + 8478 = -13952. Suppose 6*t - 776 = c. Is t a prime number?
True
Let n(i) = 11443*i - 358. Is n(9) prime?
False
Let j(r) = r - 6. Let h be j(10). Suppose 13 = h*t + 5. Suppose s = -0 + t. Is s composite?
False
Let n be 9/21 - 180/28. Let y(c) = -555*c - 59. Is y(n) a prime number?
True
Suppose w + 27 = -3*z - 3*w, -5*w = 2*z + 25. Let r be (-6)/z*(-7)/(21/(-330)). Suppose 0 = j - 5*j + r. Is j prime?
False
Is ((-23727086)/(-95) - 12/15) + -9 a prime number?
True
Let f = -222998 - -428309. Is f a prime number?
False
Suppose 102*s = -168*s + 90*s + 55188180. Is s prime?
False
Let z(k) = -k**3 + 10*k**2 + 27*k - 32. Let u be z(12). Suppose 0 = u*t - 12, 5*t + 21365 = -d + 5*d. Is d a composite number?
True
Suppose 2*i + 2 = -2*g, -5*i - 6 - 3 = 4*g. Suppose -20 = 5*z, 0 = 5*o + z + g. Suppose 0 = m + 5*b - 42, -5*b + o*b = -m + 2. Is m composite?
True
Suppose 4*z + 2 - 10 = 0. Suppose 0 = 5*k - z*k - 798. Let h = k + 25. Is h prime?
False
Suppose 4*w - 36 = -5*w. Suppose 4*k = -4*p + 4, 2 = w*k - 0*k + 5*p. Is k/2*(574/3 - -4) a composite number?
False
Let f(t) = t**2 - t. Let b(d) = -2*d**2 - 8*d + 11. Let g(q) = 3*q**2 + 9*q - 11. Let o(p) = 2*b(p) + 3*g(p). Let h(n) = -6*f(n) + o(n). Is h(15) composite?
False
Suppose 4*y = 2*c - 10034, y - 20068 = -18*c + 14*c. Suppose 5*a - 33572 = -c. Is a a prime number?
True
Let g = -5043 - -8687. Suppose g = -c + 3*c. Is c composite?
True
Suppose 2*a + 301 - 309 = 0. Is 110/6*3/4*a a prime number?
False
Let t be (-2 + 1 - 504/(-54))*-3. Is 30/16*8038 + t/100 a prime number?
False
Is (-10563028)/(-70) + (-3)/2*(-20)/50 a prime number?
True
Let r be (-3)/(-2)*64/(-48). Is (21415/r)/((-3)/6) a prime number?
False
Let z(x) = 5622*x + 3983. Is z(13) prime?
True
Let p(w) = 1712*w + 9. Let y be p(3). Suppose 2*r = y + 979. Is r composite?
True
Let a(d) = 93*d**3 - 6*d**2 - 5*d - 75. Is a(7) composite?
True
Let p(v) = 3951*v**2 - 4*v + 5. Let l be p(2). Suppose -10*w = -l + 2191. Is w a prime number?
True
Suppose 2*z = -4*r + 551584, 69*r - 551566 = 65*r - 5*z. Is r prime?
False
Let j = -138 + -36. Let l = j + 229. Is l a prime number?
False
Let r = 1057813 + -607916. Is r a prime number?
False
Suppose -15 - 17 = -4*b. Suppose g + n = b, 5*n = -4*g - 12 + 48. Suppose 4*q = g, 0*l + 2*l - 521 = -3*q. Is l a composite number?
True
Let n(x) = 118*x + 16. Let z be n(-10). Let o be 3/(-1)*2*z/(-9). Let s = 1459 + o. Is s a composite number?
False
Let u = -7764 + 18029. Let q = u + -6634. Is q prime?
True
Let w be -3 - 315/(-25) - 3/5. Let u(p) = -19*p**2 - 7*p - 13. Let j be u(w). Let c = 2872 + j. Is c composite?
True
Suppose -153*f + 160*f = 148729. Let u = 8 + -4. Suppose 0 = u*o - f + 1307. Is o a prime number?
False
Let s = -25 - -28. Suppose -s*g - 7*j + 1398 = -4*j, 922 = 2*g + 4*j. Is g prime?
False
Let b be 83 - 2 - (-6)/3. Suppose -b*z - 1655 = -88*z. Is z prime?
True
Let j(h) = -h**3 - 7*h**2 - 2*h - 11. Let m be j(-7). Suppose 2*u + 28226 = 4*k, -m*k + 4*u = -13145 - 8032. Suppose 7*l - k = 3522. Is l composite?
False
Let v = -66 + 94. Let o = v - 23. Let j(d) = 2*d**2 + 6*d - 3. Is j(o) composite?
True
Is -3 + 7349 - (-5)/(75/(-45)) a composite number?
True
Suppose 0 = -l + 2*k + 34633, -3*l - 65*k + 103888 = -60*k. Is l composite?
False
Let c be (-40)/(-16) + -3 + 5/2. Suppose -a = c*a + 3. Is ((-268)/4)/(-3 + 3 + a) prime?
True
Let h = 594190 + -331887. Is h a prime number?
True
Let j(s) = 3*s**2 - 12*s + 13. Let k be j(4). Suppose -3*z + 2*z + 5*u - k = 0, z + 10 = 4*u. Suppose -295 = -n + c, 0 = -n + z*c + 3*c + 303. Is n composite?
False
Suppose -j + 16499 = 4*j + f, 0 = j + 2*f - 3307. Is j + -1 + 25/25 a composite number?
False
Let z be (-7796)/(-1) + (6 - (-42)/(-7)). Suppose -18*c + z = -14*c. Is c a prime number?
True
Let g(f) = f**3 - 17 + 28 + 10*f**2 + 23*f + 4*f**2 + 10*f**2. Suppose -2*p = -9 + 49. Is g(p) a composite number?
False
Suppose z = 4*v + 191469, v + 235804 = 4*z - 530147. Is z prime?
False
Let o = -21296 - -68345. Suppose 66*b + o = 5*z + 62*b, 2*b + 28231 = 3*z. Is z 