2508 = 13*r - 61433. Is r prime?
False
Is (((-27)/(-4))/(-9))/(61867902/6186792 - 10) prime?
True
Is -1*206*(1 - 18867/38) a composite number?
True
Suppose 10 = -k + 9. Let s be (18/12)/(k/(-2)). Suppose 1154 - 203 = s*h. Is h prime?
True
Let m = 191287 - -221324. Is m prime?
False
Let n be 1 - ((-4)/4 - 4). Let o be (n - 4) + (-75)/1. Let y = o + 111. Is y prime?
False
Suppose -4*n = -t - 712681, 5*t - 3*t - 890835 = -5*n. Is n composite?
False
Suppose -407017 + 13246 - 294052 = -z. Is z prime?
True
Let v be 5832/135*(-190)/(-4). Suppose i + 228 + v = m, 3*i = -3*m + 6846. Is m a prime number?
True
Suppose 0 = 7*t + 5*l - 1403074, 4*t = 3*l - 123833 + 925572. Is t prime?
True
Let q = 12375 + 67420. Is q prime?
False
Let p(k) = k**2 + k + 3. Let h be p(-2). Suppose -h*j = -12*j - 1162. Let a = 420 + j. Is a a prime number?
False
Let b(k) = -k**3 + 5*k**2 + 8*k + 6. Let r be b(6). Let g be (12/r)/((-2)/(-33)). Suppose 13*z = g*z + 370. Is z composite?
True
Let t = -142 - -174. Suppose 1657 = -t*n + 33*n. Is n prime?
True
Let w(i) be the third derivative of 47*i**4/6 - i**3/6 - 2*i**2. Suppose -3*n = 2*p - 19 + 8, 2*n + 5*p = 22. Is w(n) prime?
False
Let a(j) = -31*j + 34. Suppose -49*q + 39*q = 70. Is a(q) a prime number?
True
Let k(d) = -6*d**2 - 14. Let o(i) = -2*i**2 - 15 + i**2 - i - 6*i**2. Let z(j) = 2*k(j) - 3*o(j). Is z(-10) composite?
False
Let v = -69 - -72. Suppose -5*k - s = -923, 4*k - v*s = s + 724. Suppose 9*n - 4181 - k = 0. Is n prime?
False
Suppose 10*x - 20 = 6*x. Let b(y) = 2*y**3 - 9*y**2 - 5*y + 3. Let j be b(x). Suppose 0 = -j*t + 746 + 157. Is t a prime number?
False
Suppose 575*d + 6 = 578*d. Let p = -4 + 6. Suppose -p*j = d*j - 3*i - 7901, -4*i = 3*j - 5907. Is j a prime number?
True
Let s(m) = -3*m**2 - 23*m - 14. Let h be s(-7). Suppose 4*f - 4*z - 1316 = -h*f, 2*f = -3*z + 658. Is f a composite number?
True
Suppose -22*l + 23*l - r - 137627 = 0, 0 = 2*l + r - 275272. Is l composite?
False
Suppose 0 = -193*y + 203*y - 93110. Is y a composite number?
False
Suppose -g - 291170 + 25995 = -4*f, 0 = f - g - 66296. Is f a prime number?
True
Let n(l) = 24929*l + 619. Is n(6) a composite number?
False
Let h = 13882 + -7287. Let k = 12374 - h. Is k prime?
True
Let j(s) = -66*s + 4. Let q be j(12). Let p = q - 527. Let x = p + 1992. Is x prime?
True
Suppose -394 = -33*i + 32*i. Suppose i = v - 5*a, 0*v - v = -3*a - 400. Let u = 596 - v. Is u composite?
True
Suppose 2*l - 14 = b, 4*b = 5*l + 2*b - 37. Let f(v) be the second derivative of v**5/20 - v**4/4 + v**3/6 - 4*v**2 + 6*v. Is f(l) a composite number?
False
Let n = -2340 + 3937. Let o = 16592 - n. Is o a prime number?
False
Let s be ((-2)/(-8))/((-14)/(-224)). Suppose l = -s*u + 12600, -3*l - 3894 = -5*u + 11839. Is u composite?
True
Let i(y) = 49*y**2 - 1260*y + 379. Is i(94) a composite number?
False
Let f(v) = 5*v**2 - 6*v - 6 - 6*v**2 - 12 - 3*v. Let y be f(-6). Is (3 - y)*829/3 a composite number?
False
Suppose 171 = -6*y - 21. Let b be (y/(-5))/((-2)/215) - 2. Is -1*(5 + b) - 4/2 composite?
False
Suppose -3*t - 4*w = 2*t - 14370, -t + 2874 = 3*w. Is t*-4*5/(-40) a composite number?
True
Let u = 229265 + 1668062. Is u composite?
False
Suppose 25*q - 27*q + 2 = 0. Is (-18 + 19)/(q/19163) composite?
False
Let r(y) = -2*y - 19. Let u be r(-12). Suppose f - u*m = -2*f - 22, 5*m = 25. Is f/((-11084)/(-3694) + 15/(-5)) composite?
False
Let x = 14 + -15. Let p(n) = -47*n**3 - n - 1. Let i be p(x). Suppose -d + i = -20. Is d composite?
False
Let g(r) = -937*r + 166. Let s(u) = -469*u + 83. Let v(o) = 2*g(o) - 5*s(o). Is v(4) composite?
False
Let z(g) = -9*g**2 + 18*g - 4. Let k be z(2). Is 3208 + (k + 5 - 6) a prime number?
True
Let x = 3643537 + -1942590. Is x a composite number?
True
Is 2814306/3*1*151/302 a prime number?
False
Suppose -294*p - 229*p = -110979031. Is p a composite number?
True
Suppose 7*q - 15 = 10*q. Suppose -13*o - 11883 = -2978. Is (o/(-2))/(5/(q + 15)) prime?
False
Let u(p) = 2472*p**2 + 46*p - 37. Is u(-18) prime?
False
Let n = 2031 + 23704. Is n prime?
False
Let z = 85890 - 17485. Is z a composite number?
True
Let u = -50 + 144. Suppose -5*s - u = -7*s. Is s prime?
True
Let l(n) = -14993*n - 3331. Is l(-10) a prime number?
False
Suppose 229726 = 2*v - y - 270485, -750348 = -3*v - 3*y. Is v prime?
True
Suppose -41881 = -16*p + 142751 - 520. Is p composite?
True
Suppose -y + 2*y = -b - 17, -5*b = -3*y - 67. Let p be (3170 - y) + (1 - 0). Is p/4 + (-3)/6 a prime number?
True
Let a(o) be the first derivative of -17 - o**2 + 52/3*o**3 - 9*o. Is a(-4) a composite number?
True
Let f(o) = -152*o + 883. Is f(-15) a composite number?
False
Suppose -3*h - 19*z + 24*z = 29344, -4*h + 5*z - 39122 = 0. Is (5/(-40)*4)/(1/h) a prime number?
True
Suppose -2*k = 4, 2*l + 3*k + 11 = 9. Is (-1669 + l - 2)/(16 - 17) a prime number?
True
Suppose -23*n + 12 = -22*n. Suppose 13*a - n*a = 3. Suppose 0 = -a*s + 2*u - 6*u + 2925, -2*s + 1957 = 5*u. Is s a prime number?
True
Let k(t) = -t**3 + 12*t**2 + 3*t - 5. Let f be k(12). Let p(m) = -1 - 5 + 4 - 1 + f*m. Is p(2) prime?
True
Let m be ((-418326)/9)/(4/(-6)). Suppose 18*v - m = 56873. Is v prime?
False
Let f = 274168 - 139025. Is f prime?
False
Let y = 221215 - 140136. Is y prime?
False
Let i = -59090 - -118291. Is i a prime number?
False
Let q(d) be the second derivative of 137*d**3 - 5*d**2/2 - 4*d. Suppose 0*u - 3*u - g + 7 = 0, 2*u = -2*g + 6. Is q(u) a composite number?
True
Suppose -3995 = -4*g - 2*o - 3*o, -3*o - 2976 = -3*g. Let l = g + -122. Let r = -428 + l. Is r a composite number?
True
Suppose 2*r - r = -3*d + 101062, 404237 = 4*r + d. Is r a composite number?
True
Let w(m) = m**3 + 2*m + 2149. Suppose 97*y = 99*y - 12. Suppose -y*d = -2*d + 4*d. Is w(d) a prime number?
False
Suppose 4677622 = 275*l - 410703. Is l a composite number?
False
Let b = 791083 + -366700. Is b prime?
False
Suppose -2*j = 5*q + 1717, 3*j - 1 = 4*j. Let n = 1137 + q. Is n prime?
False
Let l = -68 + 70. Suppose 0 = 3*k + 3 + 6, l*x = -5*k + 11713. Is 1 + x/(2 + 0) a prime number?
False
Suppose -648*a = -597*a - 31938189. Is a a composite number?
False
Let a(s) = 460*s - 20. Let z be a(1). Is (5172/(-30))/((-16)/z) a prime number?
False
Suppose n + 273 = 5*l, -4*n + 39 = -4*l + 267. Suppose 4*y - j = l, 64 = 5*y + j - 8. Is (1 - 2)/(y/(-74998)) a composite number?
True
Let m(r) = 6*r**2 + 169*r + 2008. Is m(85) a prime number?
True
Let p(j) = -559*j - 4. Suppose -2*b = 2*n - n + 5, -2*n = -4*b - 6. Let m be p(b). Let v = m - 573. Is v composite?
False
Let l(g) = 6470*g**2 - 2*g - 3. Suppose 1 = -60*m + 59*m. Is l(m) composite?
False
Is 1935459/2*6/27 composite?
False
Let b(y) be the second derivative of -295*y**3/3 + 53*y**2/2 + 2*y - 62. Is b(-6) a composite number?
False
Let f(g) be the first derivative of 33*g**4/4 - g**3/3 + 3*g**2 - 39*g - 2. Is f(5) a composite number?
False
Let j = -20901 + 56320. Is j prime?
True
Is 13977453/444 - 1*(-3)/12 a prime number?
True
Let q(s) = s + 39. Let m be q(-36). Is 9610/m + 2*2/(-12) prime?
True
Suppose 4*v - 1260531 = -5*i, -5*i - 131632 = 3*v - 1077024. Is v a prime number?
False
Let x(b) = b - 7. Let a be x(12). Suppose 2*t + 5*z = 3, -2*t + 4*z = -a*t + 8. Suppose -j + t*j - 393 = 0. Is j a composite number?
False
Let t be 14/63 - (-38)/(-9). Let l(r) be the third derivative of -r**6/6 + r**5/60 + 5*r**4/24 + r**3/6 - 90*r**2 + 1. Is l(t) a composite number?
False
Let d = 8564 + 35267. Is d prime?
False
Let h = -4 - -4. Suppose 16 = 4*s, h = 4*y - 3*s + s - 76. Is 6189/y + 10/35 prime?
False
Suppose -v - 814 = -5*h + 679, 4*v = -2*h + 606. Suppose -7*o + 5794 = h. Is o a composite number?
True
Let c be -10*-1*(-34)/15*3. Let f = c + 74. Suppose f*v + 1882 = 8*v. Is v a composite number?
False
Let a = 4398 - 131. Is a composite?
True
Suppose 0 = -14*g + 21*g + 196. Let d = -23 - g. Suppose -3*r = -5*f + 6*f - 5729, -f = -d*r + 9543. Is r composite?
True
Let p(l) = -4*l - 22. Let b be p(-6). Suppose 3*r = -6*k + 2*k - 15, -5*r = -3*k + 25. Suppose 0 = 5*q + w - 6600, k = b*w - 1 - 9. Is q a prime number?
True
Suppose 60*o = 211*o - 3451737 - 2143568. Is o a composite number?
True
Let v = -562 + 752. Suppose 200*w = v*w + 70690. Is w a composite number?
False
Let b be (-72452)/(-3 + 2) - 1/(-1