 p(y) prime?
True
Suppose -129*c = -136*c + 2567047. Is c a prime number?
True
Let i(o) = 576*o**2 + 51*o + 256. Let m = 998 + -1003. Is i(m) composite?
False
Let q be ((-16)/(-6))/(14/21). Suppose r = -q*r. Suppose r*f = -3*i + 3*f + 1227, i - 2*f = 409. Is i composite?
False
Suppose 0 = 14*q - 2*q - 228. Suppose q = 3*f - 5. Suppose 0 = -5*c + f*c - 345. Is c a composite number?
True
Suppose -15*h = -46372 + 9487. Is h composite?
False
Suppose -12*s + s - 2453 = 0. Let a = s - -676. Is a prime?
False
Let h(w) = w**3 - 51*w**2 + 68*w - 1277. Is h(96) a composite number?
True
Suppose -53205 - 72228 = -9*o. Let m be (o/(-22))/(1/(-2)). Suppose -453 = 2*g - m. Is g prime?
False
Suppose -2*i + 4*k = -97 + 21503, -4*k - 10685 = i. Let d = i - -15558. Is d a composite number?
False
Suppose -1734 = 4*x - 222. Let p(k) = -k**2 - 54*k - 18. Let g be p(-23). Let i = x + g. Is i a composite number?
False
Let w = -89723 - -203686. Is w a prime number?
True
Suppose -738591 - 1163330 = -7*l. Is l prime?
True
Let i be (-6)/3 + (1 - 4 - -5). Suppose -4*s + 8 + 0 = i. Suppose s*r = d - 907, 2*r = -2*d - 2*d + 3588. Is d a prime number?
False
Suppose -16*h + 15*h = -1265. Let y be (-4 + 1552)*3/(-6). Let b = h + y. Is b a prime number?
True
Is (101681/(-24))/(25/(-100))*2*3 composite?
False
Let y(j) = j**2 - 10*j - 22. Let f be y(12). Suppose -f*c - 8 = -10*c. Is c*((-3124)/(-14) + 1/(-7)) composite?
False
Let b(o) = -8*o - 2 - 20 - 26*o**2 + 27*o**2. Let m be b(10). Is (5 + m - 2)*-1*-1283 prime?
True
Is (-271)/(3 - 4220/1405) - (-12 - -16) prime?
True
Let w = -11 + 17. Suppose 949 = w*i - 215. Let g = 132 + i. Is g composite?
True
Suppose 139*d - 380*d = -6810901. Is d prime?
False
Let b(g) = 4*g**2 - 2*g**2 - 127*g**3 - 165*g**3 + 2 + 3*g. Suppose 0 = 6*n + 31 - 25. Is b(n) composite?
False
Let w(a) = -4*a - 58 + 374*a + 189*a + 140*a. Is w(15) a composite number?
False
Let l(o) = 468*o**2 - 156*o + 2069. Is l(12) a prime number?
True
Let r(o) = -2*o**3 + 6*o**2 - o + 7. Let p be r(3). Suppose -j + 6 = -p*j. Is -2*(-2459)/j*(5 - 6) a composite number?
False
Let d = 2259432 + -1157995. Is d a composite number?
True
Let z = 25 + -25. Let w(v) = 592*v + 194*v + 1 - 8 + z. Is w(3) a prime number?
True
Suppose -2*h - 3*m + 4 = 0, 8 = -h + 5*m + 23. Suppose 2*a - h*l - 1048 = -0*a, -2*l + 1048 = 2*a. Suppose 3*i - 7*i + a = 0. Is i a prime number?
True
Suppose -2*k + k - 4*r = -23, 2*k - 38 = -4*r. Suppose -k*o + 4*o + 12661 = 0. Is o a prime number?
True
Suppose 0 = -x + 4*h + 13, 5*x - 8*h - 1 = -4*h. Let p be (2 + -3 + 0)/(x/42123). Suppose -9*f + p = 2476. Is f a composite number?
True
Suppose -4*i = -133125 + 47341. Is i prime?
False
Let k(y) = -83*y - 35. Suppose -27*s + 5 = -32*s. Let v be ((7 + 1)/(-8))/(s/(-6)). Is k(v) composite?
False
Is ((-84)/(-8))/(-7)*640898/(-3) a prime number?
True
Let o be (-1 + 4/(-8))/(6/24). Is (-14)/o - (-1857740)/174 composite?
True
Let b(x) = -10*x**3 - 3*x**2 - 13*x + 2. Let a be b(9). Let q = 11013 + a. Is 1*q/10*2 composite?
False
Let b(s) = 2005*s - 11. Let w be -3 - (-1)/(-5*2/(-70)). Is b(w) a prime number?
True
Let y be (3 - 6/3)/((-5)/(-2605)). Let w be (-10)/(-2) + -2 + y. Suppose -i = 3*d - 6*d + 393, -4*d + 4*i + w = 0. Is d prime?
True
Suppose -10*h + 9*h = 14. Let d be 32/6 - h/(-42). Suppose s - d*y - 2198 = -691, 0 = 2*s - 4*y - 3014. Is s prime?
False
Suppose 84 = -25*k + 13*k. Is (-832)/k - 26/(-182) a composite number?
True
Let a(v) = -v**2 - v + 1. Let i(c) = -c**2 + 34*c - 19. Let t(z) = 2*a(z) + i(z). Let x be t(9). Is (11652/(-16))/((-7)/x) a composite number?
True
Let f be (-2)/(-7) - (-3 + 66551/7). Let y = f + 13489. Is y a composite number?
True
Let m(k) = -k + 5. Let h be m(9). Let f(p) = -640*p - 55. Let l(g) = -58*g - 5. Let z(o) = h*f(o) + 45*l(o). Is z(-3) a composite number?
True
Suppose -113*b - 173*b + 57*b + 36765721 = 0. Is b a prime number?
False
Let u(o) = -o**3 - 9*o**2 - 11*o - 22. Let g be u(-8). Suppose 0 = 4*m + m + 25, -g*l - 3*m = 5. Is l - (-6)/(-9)*3 - -188 composite?
False
Let w(m) = 200*m + 67. Suppose 185 = -3*i + 8*i + 4*k, -4*k - 61 = -i. Is w(i) prime?
False
Is 10 + -1117936*(5 + -18 + 12) a prime number?
False
Let x(u) = 213*u + 19. Let c be x(13). Suppose -5*b - 16 = 5*d - 56, -d = -2*b + 1. Suppose -g - d*m = -1424, 4*g + 2*m = 6*g - c. Is g composite?
False
Suppose -5*m + 5*q + 5444640 = 0, 0 = -90*m + 85*m - q + 5444670. Is m a prime number?
True
Let h = 5489 + 30125. Is h a composite number?
True
Let n be ((-12275)/20)/(((-15)/(-132))/(-5)). Suppose -23*t = 2464 - n. Is t prime?
False
Suppose 0 = -5*g + 2*v + 6122 + 797455, -3*g - 3*v = -482142. Is g a composite number?
True
Suppose 0*o + 9*o = 252. Suppose o*j + 6*j - 196010 = 0. Is j prime?
False
Suppose 0*a - 25*a = 177200. Let s = a - -13571. Is s composite?
True
Let o be (-30)/96*4 + (-5226)/(-8). Suppose 0 = -2*q + o + 3274. Is q composite?
True
Let q be 13/143 - (-108)/22. Suppose -5*t = -20, 0 = -y + 6*y - 4*t - 319. Is q*(y + 3 + -3) a composite number?
True
Let s be 14*(-5839)/46 - 8/(-92). Let g = s - -6644. Is g composite?
True
Let x(u) = 752*u**2 + 337*u + 10. Is x(11) composite?
False
Is (-8)/(-10) + ((-88)/176 - 1314127/(-10)) a prime number?
True
Let d(s) = 237*s**3 + 3*s**2 - 11*s + 18. Is d(5) a prime number?
True
Suppose n = 4*n. Let j be 1/(1 - 100/302*3). Suppose -m + j + 166 = n. Is m a composite number?
False
Suppose 3*w + 10 = w - 2*h, 5 = -3*w + 2*h. Let c be 7/3 - 3 - 17/w. Suppose -5365 = c*u - 10*u. Is u composite?
True
Suppose x = 3*a - 1132766, 222*x - 1132768 = -3*a + 221*x. Is a a prime number?
False
Is (-260)/(-26) - (-2306)/4*2 composite?
False
Let m = 299224 + -120443. Is m prime?
True
Suppose 5*p = c + 403424, 6960 - 249024 = -3*p - c. Is p prime?
False
Let f be (-500)/(-275) + 20/(-11) + 2. Suppose 5*p - 49157 + 19173 = f*c, 2*c + 5992 = p. Is p prime?
False
Let k(d) = 191*d - 6. Let y be k(-6). Suppose -5*i + 11*i - 9786 = 0. Let p = y + i. Is p a composite number?
False
Suppose 5*n - 3*b - 244 = 0, 4*n - 3*b + 256 = 9*n. Suppose 2*c - n = 896. Is c a composite number?
True
Suppose 0 = 5*a + 3*i - 31417, -i = a - 3*a + 12558. Suppose 4*f - 54466 + a = 3*q, 0 = 5*f - 3*q - 60232. Is f prime?
False
Suppose 313 + 391 = 32*m. Let q(v) be the third derivative of 71*v**4/24 + 5*v**3/6 + 7*v**2. Is q(m) a prime number?
True
Let s be 3/2 + 22*(-4)/(-16). Suppose -5 = -5*b + 3*x, 5*x = 3*b + 20 - s. Suppose -1197 = -b*a + 1615. Is a a prime number?
False
Suppose 2*v + 102 = 3*h, -4*v - 141 - 91 = h. Let k = v - -23. Is (1258/(-5))/(k/85) composite?
True
Let i(w) = 9351*w**2 - 196*w - 12. Is i(-5) prime?
True
Let y(p) = -2*p + 195 - 201 - p. Let v be y(-2). Suppose v*n - n = -379. Is n prime?
True
Let y(i) = i**3 + 31*i**2 - i - 28. Let w be y(-31). Suppose -5*g + 777 = w*n, n - 5*g - 218 = 21. Is n prime?
False
Let p be 2/(((-6)/(-4))/3). Let q = 14477 - 10173. Suppose p*s + 36 = q. Is s prime?
False
Suppose 70*l + 5*h = 69*l + 1380656, -4*l = h - 5522757. Is l prime?
False
Suppose 0 = 12*d + 133224 - 1498140. Is d a composite number?
True
Let h = -188 - -191. Suppose -5*l + 691 + 1384 = 5*g, 1253 = h*g + l. Is g a prime number?
True
Let b = -13 + 19. Let x(o) = o**3 - 5*o**2 - 7*o + 8. Let y be x(b). Suppose -5275 = -y*h - 3*h. Is h a prime number?
False
Let c(g) = -177 + 7*g**2 + 7*g + 4*g - 4*g**2 - 2*g**2 + 8*g**2. Is c(25) a prime number?
False
Let i = 135992 + -76173. Is i a prime number?
False
Suppose -9031 = -2*o + o. Let w = o + -6108. Is w a prime number?
False
Suppose 0 = j - i + 6, i - 2 - 8 = 2*j. Let s = -24 - -32. Is j/s*-4 - -4719 a composite number?
False
Let m be (-3 - (-1 - 1))/(10/(-40)). Suppose 3*f = 4*q + 21966, 0 = -0*f - 2*f + m. Is 2/(-11) - q/66 a composite number?
False
Let y = -37052 - -77182. Suppose -3754 = 8*z - y. Is z prime?
True
Suppose -175*s + 6135643 + 1476682 = 0. Is s a composite number?
False
Let f(d) = 2*d**2 - 21*d - 8. Let t be f(11). Suppose 0 = t*h + 3*o - 6, -3*o + 0 = h - 6. Is 797 - (h + 6/2) composite?
True
Let u(y) = -4538*y + 1693. Is u(-41) composite?
False
Suppose -q + 30 - 7 = 0. Let l(f) = -40*f - 18*f - 44*f + q*f. Is l(-7) prime?
False
Let k(y) = 102110*y - 507. Is k(2) a prime number?
True
Let j(i) = -i + 2 + 5*i**2 - 5*i -