 Let c = a - q. Is c a prime number?
True
Let w(v) = -v**2 - 18*v - 42. Let z be w(-15). Suppose -z*y = 1 - 19. Suppose 429 = y*n - 105. Is n a composite number?
False
Let g(q) = 10*q - 223 + 15*q**2 + 95 + 96. Is g(9) a prime number?
False
Suppose 5*o = -5*g - 530, -g - 117 = 4*o + 304. Let t = o + 176. Let k = t - 57. Is k a prime number?
False
Let f(w) = w**2 + 14*w - 14. Let a = 82 + -70. Suppose -36 = -a*v + 9*v. Is f(v) a composite number?
True
Is (-2)/13 + (4 - 3117471/(-39)) a prime number?
True
Let i(m) = m**2 + m + 1267. Let f be i(0). Suppose -2 = 2*t, 4*c - 36836 = -5*t + f. Is c composite?
True
Let f be (2 - (-24)/(-14)) + 90387/63. Suppose f = 15*z + 100. Is z a prime number?
True
Let i(p) = 16050*p + 1583. Is i(3) a composite number?
True
Let x be 10 + ((-25)/(-5) - 5). Is 0/2 + (1183 - (6 - x)) a prime number?
True
Suppose -5*k = -k + 5*y - 487402, 5*y = -3*k + 365559. Is k composite?
False
Suppose 14164 = 3*m + m. Suppose 2*s - 2961 - m = 0. Is s composite?
False
Let v(r) = 11*r**3 + 3*r**2 - 8*r + 6. Let m be v(-6). Let b = m + 5377. Is b composite?
False
Let b(p) = p**2 - 4*p + 14. Let j be 4/((12/27)/2). Suppose -j = 14*y - 16*y. Is b(y) composite?
False
Let o = 28313 + -19973. Let i be (-2)/(-5) - (-286570)/(-50). Let a = o + i. Is a a composite number?
False
Suppose -33*s - x + 208959 = -32*s, 5*s = -2*x + 1044801. Is s a prime number?
True
Let g = 545450 - 172911. Is g a prime number?
True
Let x = 241 - 252. Let f(m) = -7*m**3 - 13*m**2 - 6*m + 7. Is f(x) a composite number?
False
Let o be 18/27 - 61/(-3). Let i(p) = -p**3 + 33*p**2 + 47*p + 70. Is i(o) composite?
True
Suppose -i + 88 = -3*i. Let m = -53 - i. Is 6/9 - 273/m a prime number?
True
Let f = 8501 + -1131. Let h = f - -3189. Is h composite?
False
Suppose 3*a = -a + v + 101, -5*a = v - 124. Suppose 6*r + 1 = a. Suppose -1564 = -r*z + 1272. Is z a composite number?
False
Suppose 0*q - 6*q + 18 = 0. Suppose -4*k - 2*s = -766, -k + 379 = k - q*s. Is k composite?
False
Suppose d + 5*s = -811, 5*d + 0*s = 2*s - 4028. Let v = -1405 - d. Let i = v - -1186. Is i a composite number?
False
Let l(v) = 96*v**2 - 10*v - 23. Suppose 0 = -6*w - 19 + 7. Is l(w) a composite number?
True
Suppose 3*k = -4 + 19. Suppose -y + r = -r - 3421, 6845 = 2*y - k*r. Is y composite?
True
Suppose 3*b + 4*x = 6, -x - 2 = -b - 2*x. Suppose -b*t + 2749 = 833. Suppose -3*v + t = -v. Is v a prime number?
True
Let x(w) = -786*w - 155. Suppose -2*y + 10 = 22. Is x(y) prime?
True
Suppose -4*c = -3*f - 100248, -2*c = f + 2*f - 50106. Suppose 0 = -121*s + 118*s + c. Is s a composite number?
False
Let a(j) = 133*j - 54. Let z be a(3). Let w = z + 914. Is w composite?
False
Let l be (2/(-3))/((-96)/18 - -6). Let r(c) = -852*c**3 + c**2 - 3*c - 3. Is r(l) a prime number?
True
Suppose -7*m + 325 = 339. Let a(o) = 3691*o**2 + 4*o + 3. Is a(m) prime?
True
Is (1 + 161/21)*(-19335)/(-10) composite?
True
Suppose 28*u = -3*o + 25*u + 9504, -u + 5 = 0. Is o composite?
False
Let u = -151852 - -412967. Is u composite?
True
Let x = -556 + 572. Suppose -14034 = -x*v + 10*v. Is v a prime number?
True
Suppose -59131 + 23078 = -4*h + 5*v, -5*h + 2*v + 45079 = 0. Is h a prime number?
False
Let x be 7 - (-16)/20*-5. Suppose -3*d + 6*t - 27 = 3*t, -x*d + 2*t - 22 = 0. Is 23418/14 + -4 + d/(-14) a prime number?
True
Let i(b) = -8*b - 227. Let p be i(-29). Suppose -p*k = -2*k + 3*j - 6447, k + 2*j - 2145 = 0. Is k composite?
False
Suppose 2*f + 3*i + 0*i - 175 = 0, 5*i - 91 = -f. Suppose -20 = -j + 33. Let q = f + j. Is q composite?
False
Suppose 0 = 40*z - 27*z - 253803 - 323852. Is z composite?
True
Suppose -2 = -k + 4. Suppose -k*q + 3307 = 613. Is q a composite number?
False
Let d = 68 - 65. Let j(c) = -16*c + 30*c**2 + 29 + 231*c**d - 3*c**2 - 230*c**3. Is j(-21) composite?
False
Suppose 4*f + 179*s = 177*s + 7338, -21 = -3*s. Is f a prime number?
True
Let d = 1122136 + -627467. Is d a composite number?
True
Let q be ((-2)/6)/(19/(-285)). Suppose q*y - 9 = 6. Suppose y*x = -5*h + 738, 0 = 2*x + 2*h + 281 - 777. Is x prime?
True
Let d(n) = -n**3 - 132*n**2 + 296*n - 621. Is d(-146) a composite number?
True
Let y(z) = -40*z**3 + 8*z**2 + 14*z + 2. Let l be y(-4). Let h = l - -5359. Is h prime?
True
Let j = -57074 - -180303. Is j prime?
True
Suppose 70434 = 2*b + 19*b. Suppose -3*l - 2 = 4. Is l/11 - 7/(-22)*b composite?
True
Suppose 0 = -17*y + 250664 + 164085. Let t = y - 2208. Is t composite?
False
Let k(b) = -2*b**3 - 11*b**2 + 3*b - 8. Let g(l) = -3*l**2 + 4*l - 2. Let m be g(2). Let p be k(m). Is 15/p*(-6874)/(-3) a composite number?
True
Is ((-50)/20)/((-4)/8) + 11792 composite?
True
Suppose 131*q - 12015316 = 15745287. Is q a composite number?
True
Let f(y) = -17*y - 8*y**2 - 17 - 13*y**3 + 0*y - 14 - 3*y. Is f(-6) composite?
False
Let c be (18/(-63))/((-2)/14). Suppose y - 9 = -c*y. Suppose -5*t = -3*j + 2249, -3*j = -6*j - y*t + 2217. Is j a composite number?
False
Suppose 2*x = -797*g + 800*g + 489811, 1224533 = 5*x - 2*g. Is x composite?
True
Suppose 0 = 2*q - q - 548. Let p(n) = 50*n**2 + 98*n - 33. Let a be p(-6). Let r = a - q. Is r a prime number?
True
Suppose -3*a + 3945 = -0*a. Let t(w) = w**3 - 2*w**2 + 6*w + 342. Let s be t(0). Let o = a - s. Is o a composite number?
True
Let a = 72726 - 27211. Is a prime?
False
Let f(d) = -d**3 - 12*d**2 + 13*d + 6. Let s be f(-13). Let o(l) be the third derivative of 37*l**5/20 - l**4/24 - l**3/6 + 12*l**2 + 1. Is o(s) prime?
True
Let y(t) = -304*t**3 + 129*t**2 + t + 1. Is y(-5) a prime number?
True
Suppose 15*v = -151460 - 535615. Let s = -32438 - v. Is s a prime number?
True
Let d(m) = -3*m**3 - 6*m**2 - 26*m + 4. Let u be d(-13). Suppose -12*w + 15*w = u. Is w composite?
False
Suppose -6 = -2*y - 0*m + 2*m, y + m = -3. Let f be (-2)/(-3)*3*(y - 1). Is (f - -6) + -13 + 946 a prime number?
True
Suppose -2*g = 6 - 22. Let u(i) = 9*i + 1 + g*i + 2 + 3*i. Is u(5) prime?
True
Suppose -3*d = 6, -2*q + 0*q = -d + 53158. Is q/(-3) - (-2)/(6/3) a composite number?
False
Suppose 5*z = 2*t - 2, -1882*t + 1880*t + 4 = -4*z. Let s = -6 - -8. Suppose -z*k = -7*k + 3*p + 598, -5*p - 243 = -s*k. Is k composite?
True
Let r = 1599413 - 776434. Is r a prime number?
False
Let m(k) be the third derivative of k**7/280 - k**6/45 - k**5/20 - k**4/6 + 5*k**3/3 + 9*k**2. Let w(s) be the first derivative of m(s). Is w(7) a prime number?
False
Let j(r) = 6*r - 33. Let k be j(6). Suppose -t - 11 = 4*t - 4*a, -t - k = -a. Is 0/t - (-20 + -867) prime?
True
Suppose 4*u + 3*n - 15 = 0, 4*u + 4*n + 6 = 22. Suppose -4*y + u*x + 18288 = 7*x, -3*x = -4*y + 18295. Is y prime?
False
Let t(h) = 9*h**3 + 38*h**2 - 13*h - 97. Is t(23) a composite number?
False
Let i(f) = -46*f**2 - f. Let r be i(-1). Let j = r + 46. Let m(w) = 903*w**2 - 2*w. Is m(j) composite?
True
Let k = -35 + 35. Suppose 0*q + q = k. Suppose 0 = -q*v - 6*v + 1974. Is v a composite number?
True
Let b(h) = -8101*h**3 + 7*h**2 + 8*h + 1. Is b(-1) composite?
False
Let t = 242080 - 506456. Is (-2*6/(-8))/((-84)/t) prime?
True
Let l = -13 - -31. Suppose -4*x + 1054 = 5*q, 0 = q - 4*x - 212 - l. Suppose -2*w + q - 72 = 0. Is w a prime number?
True
Suppose 0 = 5*w + 9 + 21. Let s = w - -12. Let l(n) = 10*n - 13. Is l(s) a composite number?
False
Let v(h) = 25*h**2 + 20*h**2 - h**3 + 6*h + 45 - 31*h**2 + 4*h**2. Is v(16) a composite number?
False
Suppose -162*g = -5*r - 166*g + 703533, 4*r = -7*g + 562796. Is r composite?
True
Let h(w) = 1558*w**2 + 35*w - 187. Is h(16) a composite number?
False
Let o = -71274 - -148175. Is o a prime number?
False
Let v = -149 + 555. Is v/(3/9*6) composite?
True
Suppose -71*k + 8 = -67*k. Suppose d - k*v + 6*v = 2395, 0 = -3*d - v + 7185. Is d prime?
False
Let o(x) = 2*x**3 + 11*x**2 - 5*x + 11. Let j(t) = -6*t**3 - 32*t**2 + 15*t - 34. Let g(r) = 6*j(r) + 17*o(r). Is g(-6) prime?
False
Let n(f) = -15*f**3 - f**2 + f + 1. Let g = -25 + 47. Let t = g - 25. Is n(t) a composite number?
True
Let q = -60 - -113. Suppose -5*s + 7 = -5*r - q, -11 = -3*s - 2*r. Suppose -2*b = -5*k + 641, -3*k + s*k + 5*b - 493 = 0. Is k a composite number?
False
Let b = 63 - 71. Let h(y) = -20*y + 31. Is h(b) a prime number?
True
Suppose 55*m - 64*m = 18. Suppose 0 = -3*k + 4*r + 12, 0 = -k + 3*k - r - 8. Is m/(-2 + k) + 34 a prim