
Let t(x) = 4 + 4 + 4*x + x**2 - 2. Let a be t(-2). Suppose 4*s - 396 = -4*b, a*s - 4*b - 269 + 47 = 0. Is s prime?
True
Let m = 208582 + 50163. Is m composite?
True
Suppose 7*n + 1985 = 2*n. Suppose -11*j = 53*j + 42944. Let x = n - j. Is x a composite number?
True
Suppose -15*o = 191439 - 873994 - 1817630. Is o a prime number?
True
Suppose -69631 = -20*u + 209629. Is u a prime number?
True
Suppose -43761 = -4*f + 5*a, 0*f - f - 4*a + 10914 = 0. Suppose -13*w + f = -11*w. Let r = w + -3552. Is r a prime number?
False
Let v(z) = -13989*z - 724. Is v(-5) a composite number?
False
Let s(w) = w**3 + w**2 + 71. Let n be s(-16). Let f = n - -8166. Is f a composite number?
False
Let v(r) be the third derivative of r**8/6720 + r**7/1008 - r**6/48 - 17*r**5/60 + 7*r**2. Let t(i) be the third derivative of v(i). Is t(17) composite?
False
Suppose 4*v = -3*u + 116, u - 4*v = -0 + 28. Is (u + 2)/(1 - (-195)/(-205)) a prime number?
False
Suppose z = 3*p - 11, p + 2*z + 7 = 2*p. Suppose -404 = -p*o + 2452. Suppose -4*h + o = -1012. Is h composite?
False
Suppose 26 = 5*y + 2*l, 0 = 3*y + 5*l - 23 - 4. Is 1195 - (-4 + -4 + 8 + y) composite?
True
Suppose 0 = 3*q - m - 295516, 0 = q - 3*q - 4*m + 197034. Is q a composite number?
False
Suppose 110 = 6*r - r. Let x be ((-3)/((-9)/20))/(r/33). Suppose 5*q + 25 = 0, q + 10270 = x*f - 5*f. Is f composite?
False
Suppose 13*k = 38*k + 75. Is (k + 2)/(4/(-20788)) a prime number?
True
Let a = 367 - 366. Let o(n) = 3388*n**3 + 2*n**2 - 2*n + 1. Is o(a) prime?
True
Suppose v = -40*t + 36*t + 2039, 4*v - 3*t = 8251. Is v a prime number?
False
Suppose -18 = -s - 3. Suppose -5*d = -s*d + 13690. Is d a prime number?
False
Let g(q) = -693*q**2 + 17*q + 20. Let n(k) = 1040*k**2 - 25*k - 30. Let r(v) = 7*g(v) + 5*n(v). Is r(-3) a composite number?
True
Suppose 0 = -2*z + 4*l + 545066, -165*z + 170*z - 4*l = 1362635. Is z a composite number?
True
Suppose -925 = -3*d + 2*u, -u - 338 - 278 = -2*d. Let o = d + -118. Let i = 647 - o. Is i a composite number?
True
Let n = -176167 + 562508. Is n a composite number?
True
Suppose -23*t - 92568 = -11*t. Let c = -5169 - t. Let u = -576 + c. Is u composite?
True
Is (-928780)/(-12)*(-48)/(-80) a prime number?
True
Suppose 0*g + 4*g = 2*j + 124, -3*g + j + 94 = 0. Suppose -i - g = -381. Suppose -2*y + 1667 = i. Is y composite?
False
Let k be -1*6*(-11 + (-279)/(-27)). Suppose 2*q - 10096 = -3*n, -5*q - k*n - 945 + 26171 = 0. Is q composite?
True
Let r = -484 + 484. Suppose 3089 = 3*m - 5*v - 873, 5*v + 5 = r. Is m composite?
False
Suppose 5*f - 5*p = 275355, 0 = -4*f - 2*p + 91677 + 128583. Is f a prime number?
False
Let i = 375 - 373. Suppose 503 = i*d - 6015. Is d prime?
True
Suppose 4*i + 5*d - 34164 = 0, 3*d = i + 5*d - 8544. Let y = -4845 + i. Is y composite?
False
Let q = 1 + 1. Suppose 0*y = q*y - 34. Suppose -c + y = -294. Is c composite?
False
Let j(d) = 57*d**2 + 10*d + 24. Let i = -56 - -47. Let x be j(i). Suppose g + 2*a - 913 = 0, 2*a - x = -5*g + 6*a. Is g prime?
True
Let c be 8 - (-1 - (-3 - 1))*1. Suppose -2*i - 313 = -c*w, -6 = 2*w - 4*w. Let b = 1425 - i. Is b prime?
False
Suppose 2*a = 6*a + 32. Is (4162/(-12)*4)/(a/12) a prime number?
True
Let t(g) = 2*g**3 + 2*g**2 - 2*g - 1. Let b be t(-2). Let a be (1 - 6)/(b + 8/2). Suppose 0 = -6*z + a*z + 3785. Is z composite?
True
Let r(t) = 182*t**2 - 56*t - 335. Is r(-14) a composite number?
True
Let z(k) be the first derivative of 89*k**3 - 5*k**2/2 - 39*k + 23. Is z(-4) composite?
False
Suppose 0 = 2*r - 101 + 69. Suppose -r*q = -2*q - 42602. Is q prime?
False
Let n = -110342 + 476935. Is n prime?
True
Suppose -3*t + 114346 = -2*k - 191141, k - 509171 = -5*t. Is t a prime number?
True
Let y(s) = 234*s - 95. Let m(q) = 5*q - 198. Let i be m(48). Is y(i) a prime number?
True
Let f be -2*8/(-4)*-4. Let t(o) = -223*o + 91. Is t(f) composite?
False
Let j(q) = 23*q + 46. Let m(s) = 22*s + 43. Let v(a) = 2*j(a) - 3*m(a). Is v(-4) composite?
False
Let p be 30/9 - 4/3. Suppose 4*n = 4*m + 3*n - 5476, 0 = -p*m - 3*n + 2738. Is m/2*12/6 prime?
False
Let k(o) = -28*o**3 - 9*o**2 - 17*o - 147. Is k(-9) composite?
True
Let c(r) = -2*r + 0*r + 13 + 4*r + r**2 + 4*r. Let p be 8 - (-5)/(20/(-12)) - 15. Is c(p) prime?
True
Let l be 2184 - 15/((-105)/14). Let v = -825 + l. Is v composite?
False
Suppose -3*k - 60 + 174 = 0. Let c = 40 - k. Suppose 3*j - 5*f = -c*f + 1410, 0 = 2*j - f - 941. Is j a prime number?
False
Suppose 18 = 4*a + 10. Suppose -3*y + 4909 = -4*u - u, -a*u = -4*y + 6536. Suppose y = 5*m - 2522. Is m prime?
False
Is (362/(-12))/(19/(-114)) a prime number?
True
Let c(o) be the second derivative of 6*o**5/5 + o**4/6 + o**3/2 - 2*o**2 + 25*o. Is c(1) a prime number?
False
Suppose 5*u + 2*t - 56404 = 0, 4*t = 7*t + 9. Suppose -5*l - 4*f = -14087, -9*l = -13*l + 3*f + u. Is l composite?
False
Is (-2 - 33/(-22))/((-3847284)/(-3847288) - 1) composite?
False
Let g(h) = -2*h**3 + 18*h**2 + 37*h - 28. Let o = -19 + 29. Is g(o) a prime number?
False
Let f be ((-328)/2)/((-10)/65*-1). Let x be 1 + -1 + (1/(-1) - f). Let n = x - 154. Is n prime?
True
Let m be (6 + (-115)/10)*(-3 - -1). Let s(t) = 3*t + 6. Is s(m) a composite number?
True
Suppose q = -4*m + 75765, -5*q - 75*m + 73*m = -378843. Is q composite?
True
Is (9938513/169)/((-10)/(-130)) composite?
False
Let j = -39 + 43. Suppose -5*t + 3*m + 1640 = 0, -j*m = -4*t + 405 + 907. Let d = t - 233. Is d prime?
False
Let u = -320 - -330. Is 12445 + 65/u + (-5)/2 a prime number?
False
Let r(h) be the third derivative of -47*h**5/40 - 7*h**4/24 + 2*h**3/3 - 32*h**2. Let a(y) be the first derivative of r(y). Is a(-4) prime?
True
Let h be 20/6*(-432)/(-40). Let b be -2 - 9/(h/(-27224)). Is b/5 - 9/(-45) composite?
False
Let g = 4373 - -2014. Is g prime?
False
Suppose 3*n + 2*l = 397233, 3*n - 8*n = -4*l - 662033. Is n a composite number?
False
Let z(w) = -3*w**2 + 21*w - 2. Let s be z(6). Suppose 0 = -4*n + 4*b + 16, 0 = -2*n - 3*n + b + s. Is (1 + -417 + n)*-1 a prime number?
False
Is ((-12)/78)/((-2)/26819) a prime number?
True
Let j(u) = 4 + 1 - 26*u + 18*u + 15*u**2. Is j(4) a prime number?
False
Suppose 3*o - 6118 = 22*o. Let x = 1641 + o. Is x prime?
True
Is (-4302)/(-27)*(-257331)/(-62) a composite number?
True
Suppose 2*d = -4*d + 12. Let a be d - (5 - (-4 + 7)). Suppose 2*k = -5*p + 3489, a*p + 4*p = -2*k + 2790. Is p composite?
True
Suppose -10*x = -1524492 - 411998. Is x composite?
False
Let p = 386 - 395. Let g(w) = 7 - 5*w - 1 + 7. Is g(p) a composite number?
True
Is (1 + -227853)*(-231)/(-539)*(-21)/12 composite?
True
Let d be (44/3)/((-2)/(-3)). Suppose 0 = d*k - 23*k. Suppose -3*p + g + 202 + 42 = k, -2*p = -5*g - 154. Is p prime?
False
Let d(z) = 18371*z - 2089. Is d(16) a composite number?
True
Is 49/(-7) + 3 + (356343/3 - 0) a composite number?
True
Suppose 3*t = 13*s + 611141 - 1613922, -4*s + 2*t = -308548. Is s a prime number?
True
Let a(v) = 533*v**2 - 40*v + 364. Is a(11) a composite number?
True
Let c be ((-4)/(-10) - (-21)/35)*-1. Is (c - 6/(-10))*2466900/(-360) composite?
False
Let q = 8981 - -4987. Suppose -z - 2*f = 3*z - q, -3*z + 10481 = 4*f. Is z a composite number?
False
Let b(r) = -8*r - 158. Let o be b(-20). Is o/(4 - (-78324)/(-19582)) a composite number?
False
Let x be ((-2)/3)/((-8)/(-672)). Let s = -56 - x. Suppose s = i - 7*i + 6234. Is i a prime number?
True
Let q(c) = 2*c**3 - 14*c**2 - 139*c - 27. Is q(30) a prime number?
False
Suppose 0 = -139*z + 12*z + 2148967. Is z a prime number?
True
Suppose 25*f + 17*f = 22302. Suppose -527*n - 35716 = -f*n. Is n composite?
False
Is (576/(-128))/(1/4006*-3) a prime number?
False
Suppose -7*p = 6*p - 3073939 - 2780520. Is p a composite number?
False
Let z(y) = -329*y + 117071. Is z(0) prime?
True
Suppose 344 = -4*u - k, -5*u + u - 356 = -2*k. Let v be 2 + -5 + 155/(0 - -1). Let i = v - u. Is i a composite number?
False
Suppose v + 4*l = 6511 + 5779, -4*v + 4*l + 49140 = 0. Suppose -8*r = -v + 1398. Is r a composite number?
False
Suppose 25 = 5*x, 5*u + 4*x + x = 136095. Suppose -4*q = -15*q + u. Is q composite?
True
Suppose 13*z + 412257 = s + 17*z, 3*z + 15 = 0. Is s a prime number?
True
Suppose 0 = 2*j + 4*j - 66. Suppose -j*a - 6 = -6. Suppose -1255 = -5*x - a*x. Is x a prime number?
True
Let s = -99 + 78.