3 - 3*k**2 + 3*k - 5. Let v be y(3). Let b be v - (-3)/((-6)/4). Is 10/10 + 1097*b a prime number?
False
Let s(y) be the first derivative of -15/2*y**2 - 7*y + y**3 + 7. Is s(15) composite?
False
Suppose -5*w = -4*a + 634924, 0 = -119*a + 117*a - 5*w + 317522. Is a composite?
True
Let l(z) be the third derivative of -1003*z**6/120 + z**5/60 - z**4/24 - z**3/6 - 25*z**2. Let r be l(1). Is (12/(-48))/(1/r) a composite number?
False
Suppose 81 - 11 = 5*x - 2*j, -x - j = -14. Suppose -1820385 = -x*n - 49*n. Is n prime?
False
Let s(o) = 1581*o**2 + 9*o + 41. Is s(-9) a prime number?
True
Suppose -4*k - 4 = 2*z, 4*z - 7 = 4*k - 9*k. Let p be (-1)/3*6*(-12)/z. Is (4/6*-347)/((-2)/p) a composite number?
False
Suppose -224 = 2*m + 6*m. Is 41704/56 - 8/m a composite number?
True
Let a(m) = 4*m**2 - 2*m - 1. Let p be -1 + 1*0/3. Let f be a(p). Suppose -f*z - j + 226 = 0, j + 1 + 3 = 0. Is z prime?
False
Suppose 3*i = 2*w - 3167 - 34689, -3*w - i + 56751 = 0. Is w a prime number?
True
Suppose 12 = x + 2*z + 3, 5*z - 6 = 3*x. Let u = 2064 + -4536. Is x + (8/(-12))/(4/u) a composite number?
True
Let c = -5609 - -10105. Let q = 1575 - c. Let m = q - -5784. Is m a prime number?
False
Suppose h - 5744 = -2*b + 18969, 5*h = -2*b + 123525. Is h a composite number?
True
Let i = 81407 + 638814. Is i a composite number?
False
Let l(x) = 87*x**3 - 30*x**2 + 122*x + 3. Is l(14) a prime number?
False
Let l(c) = -918*c - 443. Is l(-17) composite?
True
Let q(l) = -14*l**3 + 12 - 8*l**3 - 40 + 19*l**3. Is q(-9) prime?
False
Is (27 - -503192)*(0 + 1) prime?
False
Suppose -5*x = 8 - 28. Suppose -6*g = -4*g + x. Let s(l) = -1006*l - 9. Is s(g) a composite number?
False
Let s be (-19751495)/(-527) + (-4)/34 + 2. Suppose 9*r - 5*q + 46840 = 14*r, q = -4*r + s. Is r a prime number?
True
Let h(l) = 310*l + 45. Let u be h(13). Let s = u - -194. Is s composite?
True
Let a = -389 - -399. Is 180/(-300) - (-42376)/a a composite number?
True
Let z = -108227 + 480634. Is z a prime number?
False
Let n(y) = 29*y**3 + 17*y**2 + 32*y - 293. Is n(10) prime?
True
Suppose k = -16 + 140. Let x be 9/(-12)*(-44104)/111. Suppose -2*o + x = -k. Is o prime?
True
Suppose -179*s - 81805 = -a - 175*s, 327175 = 4*a - s. Is a composite?
True
Is ((-3)/3)/(5/(-1052185)) a prime number?
True
Let m = 769 + -764. Let q(k) = 5329*k - 336. Is q(m) a prime number?
True
Let k = 443 - 440. Suppose -5*o = -k*h - 2399, -4*h = -h - 6. Is o composite?
True
Let v = 8991 - 2006. Suppose -81*s + 86*s = v. Is s prime?
False
Suppose 21*h - 59555 - 1352761 - 591945 = 0. Is h a prime number?
True
Let u(x) be the second derivative of 16*x + 0 - 5/3*x**3 + 0*x**4 - 8/5*x**5 - 5/2*x**2. Is u(-5) a composite number?
True
Suppose -19*s + 98*s - 917647 = 50*s. Is s a prime number?
True
Is 15575 + -3 + (-90)/(-10) composite?
False
Let f be (-23097)/((-15)/(-21) - 4/(-14)). Let s = -12040 - f. Is s a prime number?
True
Let y(s) = 372*s**2 - 95*s - 1188. Is y(-59) a prime number?
True
Suppose 5*h = 3*r + 16532381, 1014*h - 1012*h + 4*r = 6612994. Is h a prime number?
True
Let u(l) = -5707*l + 282. Is u(-7) prime?
True
Suppose -2*j - 85014 = -2*r, 0 = 3*r - 344*j + 348*j - 127507. Is r a composite number?
True
Suppose 4*w - 271 = 61. Let v(m) = w*m - 138 + 172*m + 109. Is v(10) a prime number?
True
Let i = -21767 + 36420. Is i composite?
False
Suppose s - 12 = -5*s. Suppose s*y - 520 = 2*w, y - 26 - 230 = 3*w. Is y prime?
False
Let v = 50 - -7. Suppose v = 6*s + 3. Let i(b) = -b**3 + 17*b**2 - 7*b + 2. Is i(s) a composite number?
False
Let v(g) = 62*g**2 + 19. Let j(b) = 125*b**2 + b + 39. Let f(w) = -6*j(w) + 13*v(w). Suppose -3*m = -8*m - l + 20, m - 28 = -5*l. Is f(m) composite?
False
Suppose 0 = -12*f - 39 + 99. Is 6/((-6)/f) - -5202 a composite number?
False
Suppose -1023*i - 5*z + 12725 = -1022*i, -12723 = -i - 4*z. Is i a composite number?
True
Let c(z) = -30*z**2 - 10*z + 4. Let b be c(3). Let a = b - -535. Is a a composite number?
False
Let u(t) = 118*t + 1 + 50*t + 43*t. Let x be u(3). Let j = x + -327. Is j prime?
True
Is (159132/8 + -13)/(-3 + 21/6) composite?
True
Let v(m) = 35*m - 3. Let x be v(-4). Let s = -239 - x. Is ((-53)/6)/(16/s) composite?
False
Let o(n) = 6*n**3 - 68*n**2 - 58*n - 51. Is o(27) composite?
True
Suppose 0 = 23*n - 22*n - 15. Is n/(-35) + 19464/42 composite?
False
Let s be (-5838)/(-4) + 1/2. Suppose 0 = -286*p + 881 + 549. Suppose 9*l - s = p*l. Is l composite?
True
Let f(t) = 345325*t + 1826. Is f(5) a prime number?
True
Suppose 194235 = u + n, -388458 = -2*u + 2*n - 7*n. Is u a composite number?
False
Let g(h) = -3030*h + 1169. Is g(-10) a composite number?
False
Let u = -61119 - -116522. Is u a prime number?
False
Is (-4195928 + 8)/(-10) - (1 + 0/(-1)) composite?
False
Let r be 16/10*10/4. Suppose -i = -5*k + 21, -k = 3*k - 4*i - r. Suppose k*x + 1885 = 10*x. Is x prime?
False
Let t be 8/3*1164/8. Is (t/(-16))/(((-10)/(-712))/(-5)) composite?
True
Let j be -5581 - 7 - (-2 + 2). Let z = 27027 + j. Is z prime?
False
Let z(u) = u**3 + 9*u**2 + 3. Suppose 37*s - 34*s + 27 = 0. Let k be z(s). Suppose 4*x = -k*t + 1345, -2*t = 3*t - 3*x - 2203. Is t prime?
True
Let t = -176947 - -650274. Is t composite?
False
Suppose 2*o + 24 = -2*o. Let p be ((-1032)/(-9))/((-1)/o). Suppose 3155 = 9*v - p. Is v a composite number?
True
Suppose 2*u - w - 15 = -3, 2*u - 12 = 4*w. Is 18561*u/9 + -1 + 0 a composite number?
False
Suppose -4*r = -r + 5*t - 19247, 3*t = 4*r - 25711. Let i = -4240 + r. Let z = i - 1193. Is z prime?
True
Suppose 11*k = 14*k - 10776. Suppose -29*t + 21*t + k = 0. Is t a composite number?
False
Suppose 2*d - 271 = -p, 0 = -2*p + 3*d + d + 542. Let o = p - -100. Is o composite?
True
Let x be (-369)/(-33) - (-8)/(-44). Suppose -55782 = -x*a - 3455. Is a a composite number?
True
Suppose -5*l + 2*c = -4, -5*l + 4*c + 5 = -3. Let u be 1/((-28)/630*((-15)/1916)/5). Suppose -u = -l*z - 10*z. Is z composite?
True
Suppose -4*o - 9 = -2*p - 3*o, -18 = -2*p + 4*o. Suppose 3*r = 2*m - 108894, -p*m - 30579 = 4*r - 193954. Is (-2)/17 + m/17 prime?
True
Let a = -2664 + 61207. Is a composite?
False
Let z = 131356 + 71923. Is z prime?
True
Let u be 0 - 18/81 - (-515)/9. Suppose 64*z - u*z - 76321 = 0. Is z a composite number?
False
Suppose -6*g + 3 - 15 = 0. Let w = 2 + g. Suppose -4*v + 10*v - 3372 = w. Is v prime?
False
Let t(g) = -2939*g + 336. Is t(-13) a composite number?
False
Let u be (-12)/(-102) - (142653/51 + -2). Let l = -1644 - u. Is l composite?
False
Suppose 219*p + 2*a = 222*p - 190439, -32 = -4*a. Is p a prime number?
False
Suppose 2*r + 9*j = 4*j + 2069, 4*r - 5*j - 4183 = 0. Is r prime?
False
Let t = 4 + -1. Suppose t*k = -4*k + 3*k. Suppose k = -4*p - 855 + 5123. Is p prime?
False
Let a(u) = 5*u**3 - 4*u**2 + 3*u + 15. Let d be -12 + 8 - (5 + -2). Let t be a(d). Is -4 - t/(-6)*-2 a composite number?
True
Is -492 + 503 - (-1 + -267037) a composite number?
False
Suppose -4*q + 3 = 15, -4*r + 1025 = -3*q. Let y = 399 - r. Is y a prime number?
False
Suppose 16*t = 10 + 118. Suppose 18581 = -t*p + 76845. Is p a composite number?
False
Let a = -22 - -24. Let l(d) = 9 - d**3 + 3*d - 5*d - 15 + 16*d**a. Is l(5) prime?
False
Suppose 0*y - 4*y + 688606 = -2*i, -516452 = -3*y - i. Is y a prime number?
False
Let t be -12*-293*4 + (-2)/2. Suppose 6*b + 1943 = t. Let k = b + 501. Is k a composite number?
False
Let t(q) = 8*q + 114. Let g be t(-14). Suppose 2*x - 6113 = -v, -18828 = -g*v + 5*x - 6629. Is v composite?
True
Let x = 230 - 227. Suppose 0 = 5*f - 0*z - 4*z - 15765, x*f = -2*z + 9437. Is f a composite number?
True
Let p(i) = 2*i**2 - 24*i - 2. Let z be p(14). Let y be 10/(-12) + 1 + (-25767)/z. Let u = y - -678. Is u prime?
False
Is (1 - (-3826)/(-5))/((84/245)/(-12)) prime?
False
Suppose -3*s = 2*g - 475867, -78*g = -75*g - 6. Is s a prime number?
True
Let k(w) = -w**3 - 19*w**2 - w - 18. Let i(f) = f**3 + 20*f**2 + f + 18. Let g(l) = -6*i(l) - 7*k(l). Let y be g(-13). Suppose 7*o = y*o + 1778. Is o prime?
False
Let c(p) = -2*p**2 - 13*p + 4. Let w(h) = h**2 + 7*h - 2. Let j(q) = 2*c(q) + 5*w(q). Let x be j(4). Is (4913/(-3))/(-1) - x/75 a prime number?
True
Let s = -14836 - -24485. Is s prime?
True
Suppose 21 = -2*c + 5*j, -3*c = 3*j - 22 + 1. Let t(b) = -575 + 3*b + 10*b**2 + 570 + 34*b