q + 3562 + (-5)/(-10)*2 a prime number?
False
Let c(i) = 3*i**2 + 28*i - 18. Let k be c(-18). Suppose 5*g + k = 3*a, a - g = 2*a - 142. Is a a prime number?
False
Suppose 8 + 2 = -2*o, -4*r + 3*o + 2959 = 0. Suppose 0*w + 4*w = r. Let k = -57 + w. Is k prime?
True
Let a = 319329 + -205792. Is a a composite number?
False
Is (-3 - (-9575)/3)/((-32)/(-48)) prime?
True
Let c(p) = p**2 - 6*p. Let l be c(-3). Is 15255/l - 0/(-1) a composite number?
True
Suppose 0 = -55*f + 15*f + 126520. Is f prime?
True
Let j(k) = 22*k**2 + 23*k + 60. Is j(-25) a prime number?
False
Suppose -2*o + 0*o + c + 31 = 0, 4*o = c + 57. Let n be (-2)/o - (-10846)/26. Suppose 8 = -2*a, 3*a + 1500 + n = 3*x. Is x a composite number?
True
Let d(b) be the third derivative of 13/30*b**6 + 0*b**5 - 1/24*b**4 + 0 + 1/3*b**3 + 0*b + 5*b**2. Is d(1) prime?
True
Let z = 251 + 65. Let b = 4325 - z. Is b composite?
True
Let c(t) = -25*t**2 - 10*t - 19. Let a(v) = -25*v**2 - 11*v - 19. Let x(k) = 3*a(k) - 4*c(k). Is x(5) composite?
True
Let t(o) = -15*o - 2 + 0 + 3. Let g be t(-1). Suppose 105 = c - g. Is c composite?
True
Suppose -2*h + 0*i - 172 = 3*i, 0 = 4*i - 16. Let r = 185 + h. Is r a prime number?
False
Let w(o) = -4*o - 65. Let t be w(-17). Suppose -t*u = 3*v - 7*u - 10733, 5*u = 3*v - 10738. Is v composite?
False
Let q(g) = 574*g + 135. Is q(7) prime?
True
Let g be (-2)/((-5)/2 + 2). Let b(l) = 3*l**3 - 2*l**2 + 5*l - 1. Let s be b(g). Suppose 0 = -o + 3*f + s, -f + 3*f + 947 = 5*o. Is o a prime number?
True
Let v(q) = 85*q**2 + 5*q + 7. Suppose -w - t - 2*t + 12 = 0, -3*w = 5*t - 16. Is v(w) a prime number?
True
Let o = 79020 + -54781. Is o composite?
False
Is (-3 - 1058/8)/((-25)/100) prime?
True
Is (11338/6)/(6/18) a prime number?
True
Is (-20017)/(-6 - (-5)/1) a prime number?
False
Suppose 761 = 4*w + 3*a - 2422, 0 = 2*w - a - 1579. Suppose 0 = -0*h + h. Is (-2)/2 + (w - h) a prime number?
False
Let j = 38 + -36. Is (-1465)/j*(-2)/1 a prime number?
False
Let v(q) = -9*q + q**2 - 8*q**2 - 23 - 7*q**2 + 3*q**2 - q**3. Is v(-14) a prime number?
True
Let k = 685 - 198. Is k composite?
False
Is -4*(-4)/(32/10) + 10574 prime?
False
Suppose 4*h + 6131 = 5*c, 2456 = 2*c - 0*c + 2*h. Suppose 4*d - c = d. Is d a prime number?
True
Let d(s) = -6*s**3 + 2*s**2 + s + 2. Suppose 25 = 2*l - 7*l. Is d(l) prime?
True
Let t = 29 + -25. Suppose -579 = l - t*l. Let v = l - 96. Is v prime?
True
Let o = -2144 - -6895. Is o composite?
False
Let l(x) = 1239*x**3 + 2*x**2 + 2*x - 20. Is l(3) prime?
True
Let m(c) = -c**2 + 14*c - 30. Let g be m(11). Suppose 0*z + 4915 = 3*z + 2*y, z + g*y - 1636 = 0. Is z a prime number?
False
Let k(a) = 38*a**2 - a + 2. Let r be k(2). Let o(c) = 48*c + 12. Let m be o(6). Suppose 2*y + 3*t - 7*t = r, -m = -4*y + 4*t. Is y a composite number?
True
Suppose -f - 13 = -19. Is (f/4 + -3)*-254 composite?
True
Suppose 0 = -0*z + 3*z + 12. Let m(d) = d**2 + 3*d - 2. Let f be m(z). Suppose f*h - 96 = 506. Is h prime?
False
Suppose -5*z + 2227 = -5*m + 7652, -4324 = -4*m - 4*z. Suppose -11827 = -11*k + 6081. Let o = k - m. Is o a composite number?
True
Let n = -64 - -69. Suppose n*g - 127 = 828. Is g a composite number?
False
Suppose 2*a - 6 = -0. Suppose k - 4*k + 9 = 0. Suppose k*l - 12 = 0, -3*d + a*l = -2*l - 217. Is d composite?
False
Let m = -21128 - -30789. Is m composite?
False
Let j = 47 + -164. Let y = j + 49. Let u = y - -121. Is u prime?
True
Let y = -37 - -37. Suppose y*x = x, -5*z + 2225 = -4*x. Is z a prime number?
False
Suppose -b + 23404 = 3*q, -68*q = -67*q - 2*b - 7799. Is q a composite number?
True
Suppose 5*f - 275 = 50. Suppose -d - f = -6*d - 3*j, 3*j = -d + 1. Is 20*4/(d/13) composite?
True
Suppose -50036 = -15*o + 58759. Is o composite?
False
Suppose 20*b - 193 = -4*m + 17*b, 0 = m - b - 50. Is m prime?
False
Suppose -2*h - 3*j - 2 = 10, -2*j = 5*h + 8. Suppose h = 5*k - 14 - 6. Let g(o) = o**3 + 3*o**2 - 5*o - 3. Is g(k) prime?
True
Let q = 942 - 578. Suppose z = -3*z + q. Is z a prime number?
False
Let b(c) = c - 8. Let u be b(6). Is (-1 + u)/((-1)/5) composite?
True
Suppose 0 = 36*p - 29*p - 173747. Is p prime?
True
Suppose 0 = -c + 2*c + 5*w - 15, 3*w + 4 = 2*c. Suppose 2*f + c*l - 547 = 0, -f + 0*l + 2*l + 287 = 0. Let a = f + -32. Is a a prime number?
False
Let u be 2*9/12*6. Let g(i) = -u*i - i**2 + 1 + 1 + 1. Is g(-9) prime?
True
Let s(o) = 118*o**2 - 3*o - 19. Is s(-6) prime?
False
Let z(r) = -2*r**2 + 10*r + 4. Let y be z(5). Is ((-1)/y + 84/16)*211 prime?
False
Suppose 9*g - 22*g = -62101. Is g prime?
False
Let d(i) = -50 - 195*i - 463*i - 533*i. Is d(-7) a composite number?
False
Suppose -4*f + 11308 + 5120 = -2*h, -2*f + 2*h + 8210 = 0. Is f composite?
True
Let v = -260 - -499. Is v composite?
False
Let u(s) = -3*s**3 + 8*s**2 - 2*s + 17 + 8*s**2 - 7*s**2 + 9*s. Is u(-7) a composite number?
True
Let h = -17 + 16. Let k = 115 + -61. Let m = k + h. Is m prime?
True
Let a = -93 - -152. Is a a composite number?
False
Suppose m - 7*x + 4*x - 3544 = 0, 2*m - 7091 = 3*x. Is m prime?
True
Suppose 0 = 34*n - 32*n - 21370. Is n composite?
True
Let p(o) = 29*o**2 + 4*o - 2. Let i be -8 - (-3 + 4/(-4)). Let d be p(i). Suppose -5*j + 2250 = -r - 4*r, -j = 3*r - d. Is j a composite number?
False
Let z be 23 - (3 - (3 - -2)). Suppose 0 = 2*b - i - z, 0 = -6*i + 3*i - 3. Suppose -g + 5*t + 131 + b = 0, -334 = -2*g - 2*t. Is g a prime number?
True
Let m be (666/(-185))/(((-4)/(-85))/(-2)). Let w = -233 + 387. Let g = w + m. Is g prime?
True
Let c(s) = 170*s - 575. Is c(54) a prime number?
False
Let y be 0*((-21)/(-9) + -2). Let r(o) = -o + 557. Is r(y) a composite number?
False
Suppose -i + 7453 = 1893. Suppose 7*b + i = 9*b. Suppose 27*q - 31*q = -b. Is q prime?
False
Suppose -5*m + 632 = -m + 3*t, -m + 2*t + 169 = 0. Suppose -3*y + 779 = 2*a, y = -2*a + 608 + m. Suppose 2*v = 3*j + a, -4*v + 482 = j - 282. Is v composite?
False
Let n be (-8)/(-2)*(-4 + 35/10). Is 5 + (-9 - n) - -961 composite?
True
Is ((-1162714)/(-424))/(1/4) a composite number?
True
Suppose -5*g + 2*w + 194693 = 0, -194694 = -5*g - 452*w + 453*w. Is g a composite number?
True
Let a(d) = 121*d**2 + 10*d + 110. Is a(29) prime?
True
Let l = -52 - -201. Suppose 2*g = g + l. Is g a prime number?
True
Suppose -5*l + 3133 + 7771 = 4*r, 2*l - 4364 = -r. Suppose -3*c + 15 = 0, -w = -4*w - 3*c + l. Is w composite?
True
Suppose v - 12 = -v. Suppose v*o - o + r = 1, 0 = r - 1. Suppose o = -h + 40 + 231. Is h prime?
True
Suppose -4*r = -11587 - 27649. Is r composite?
True
Suppose -10 = -5*y + 5. Suppose y*l - 218 = 265. Is l a prime number?
False
Is (197 - 0)*(11 + -4) prime?
False
Let q(m) be the third derivative of 17*m**4/12 - 5*m**3/3 - 49*m**2. Is q(8) composite?
True
Let v = -11 + 14. Suppose -v*m + 6 = 24. Is (m/(-4))/((-13)/(-806)) composite?
True
Suppose 13*q = 15*q + 5*c - 35018, 0 = q - c - 17523. Is q a prime number?
True
Is -4 + (-1)/((-1)/4605*3) composite?
False
Is 18/(-12)*(-15134)/21 composite?
True
Let n(b) = -2046*b**2 + b + 1. Let m be n(-1). Let c = 4113 + m. Let j = 3968 - c. Is j a composite number?
False
Suppose -3*m - 2*u = 15, 2*m - 5*u = -8 - 2. Suppose -5*z + 94 = -2*d + 494, 0 = -5*z + 20. Is d/25*m/(-2) composite?
True
Let y(z) = 70*z**2 + 5. Is y(3) a prime number?
False
Let p(n) be the first derivative of n**3/3 - n**2 + 919*n + 39. Is p(0) composite?
False
Suppose w = -4*w + 18925. Is w a prime number?
False
Let o = 1963 - 3361. Let q = o + 2615. Is q a prime number?
True
Let s = 77744 - 48027. Is s composite?
False
Let w(v) = -v**3 + 9*v**2 - 6*v - 11. Let k be w(8). Suppose -5*m - k = -4*t, -2*t = 2*t - 3*m - 3. Is 255 + (1 - (t + -1)) a prime number?
True
Suppose -274600 = -20*c - 20*c. Is c composite?
True
Suppose 0 = s - 3 - 0. Suppose -3*y + 318 = -s*t, 2*t - 76 - 124 = -2*y. Is y composite?
False
Is 6/30 - 288522/(-15) composite?
True
Let i = 12 - 9. Suppose -5*k - 10 = i*q, -4*q - 2 = k - 0. Suppose q*t = -5*t + 1285. Is t prime?
True
Let u be 12534/33 + (-6)/(-33). Suppose 6*a - u = -26. Is a a composite number?
False
Suppose -114*s = -1058540 - 286774. Is s a prime number?
True
Let i(a) = -4*a + 0*a**3 + 4 + a**2 + 9*a + 3*a**2 - a**3. Let w be i(5). Suppose 2*p - w*p + 38 = 0. Is p prime?
True
Let d(h) = 91*h - 6. Suppose 0 = 4*b + 5*f - 38, 0*b =