False
Let b = 78 - 100. Let s(l) = 10 - 15 + 28 - 23*l**2 - l**3 - 25*l. Is s(b) composite?
False
Suppose 3 = -f - 5*g + 2, 2*g = 5*f - 76. Suppose -35*z - f*z = -402241. Is z composite?
False
Suppose -24636 = -4*b + 8*z - 6*z, -2*b = -5*z - 12326. Is b composite?
True
Let y(p) = 7734*p**3 - 2*p**2 - 26*p + 49. Is y(2) composite?
False
Suppose 2*d - 3*s - 16 = 7, -2*d + 2*s + 18 = 0. Is (0 - 658/4)/((-2)/d) a prime number?
False
Let o = 823388 + -455311. Is o a prime number?
True
Let p(f) = 249632*f**2 - 6*f + 1. Is p(3) a composite number?
True
Is 11 + -12 + 10 - -94484 prime?
False
Let x(v) = 241*v + 302. Let c(p) = -81*p - 101. Let t(d) = -11*c(d) - 4*x(d). Is t(-6) composite?
True
Let p = 188 + -183. Suppose -4*g = 10*k - 11*k - 4041, -g + p*k + 1034 = 0. Is g composite?
False
Suppose -19*b - 52 = -21*b. Let w = -20 + b. Is 4842/4 - (-3)/w composite?
True
Suppose 0 = -15*p + 24*p - 14*p + 383725. Is p composite?
True
Let h = -85 - -81. Is (h/(-3))/(100/525) composite?
False
Is -86782*(-13)/78*3 a prime number?
True
Let a(j) = j**3 - 8*j**2 + 6*j + 7. Let y be a(7). Let k be (1 + 0)*-3 + (17 - y). Suppose -12*n = -k*n + 2638. Is n composite?
False
Let q be (4 - (0 + 4))/(-4). Suppose q = -3*z - 4*d + 17310, -28867 = -2*z - 3*z - d. Is z a composite number?
True
Let n be -3*2/9 + 21063/(-63). Suppose 2*c = -2*c + 4488. Let v = c + n. Is v composite?
False
Suppose s - 3040 = -7*s. Let z = s - 195. Suppose 0 = 11*b - z - 398. Is b composite?
False
Is 221992/2 + -1 + 28/(-42)*-9 prime?
False
Suppose -1986149 - 4365544 = -51*a. Is a composite?
False
Let k(u) = 3*u**3 - 2*u**2 - 13*u - 121. Is k(13) a prime number?
False
Suppose 5*l = 35, -4*m + 632668 = -84*l + 92*l. Is m a composite number?
True
Let q(y) = 18*y**2 - y - 23. Suppose -w + 8 - 46 = 3*b, 0 = -4*w - 8. Is q(b) prime?
False
Suppose 6 = 2*k + 5*d - 7, -3*k = -2*d - 10. Suppose -8*h = -k*h - 12. Suppose -h*n + 7*n + 2897 = 3*o, 0 = 4*o - 5*n - 3863. Is o a composite number?
False
Suppose 4*g - 171626 - 273388 = -2*d, -9*d + 2002654 = 5*g. Is d a composite number?
True
Let j(p) = 20*p**2 + p. Let d be j(-4). Suppose -d + 6091 = 5*y. Suppose 2*m = o - 635, -m - 740 - y = -3*o. Is o a composite number?
False
Let s be (-174)/(-4)*(832/12 - 8). Suppose 12*w = 8*w + s. Is w a composite number?
True
Let c = 1280 + 1263. Let j = c + 4518. Is j prime?
False
Let h = -10485 - -18539. Let w = h + -4223. Is w composite?
True
Let t be (-20)/(-10)*((-7179)/6 - -3). Let p = t + 5836. Is p composite?
False
Suppose 17*q = 14*q - 24. Let f = q + 3. Let c(h) = -5*h**3 - 3*h**2 + 9. Is c(f) composite?
True
Suppose 48 = -11*k + 17*k. Let l(s) = 60*s + 127*s - k - 118*s. Is l(11) a composite number?
False
Let q(c) = -1141*c + 121. Let b be q(8). Let p = -6285 - b. Is p a prime number?
False
Is 9 + -2 - (-60 + -177130) a prime number?
False
Suppose -5*l + 4 = 2*d, l - 8 = -4*d - l. Is (-2)/(d*-1)*(1053 - 4) composite?
False
Let k(z) be the second derivative of z**5/2 - 7*z**4/4 - 11*z**3/6 + 19*z**2/2 + 2492*z. Suppose 3*x = -x - 3*o + 51, 4*o = 20. Is k(x) prime?
False
Let w(f) be the first derivative of -13*f**4/4 - 2*f**3/3 + f**2/2 - 9*f + 58. Is w(-4) prime?
True
Let j be (-48138)/(-15) - 2/10. Suppose 4*o - 5*s + 4 + 5 = 0, 0 = 2*o - s - 3. Suppose o*u = r - 4*r + 1939, u = -5*r + j. Is r composite?
False
Let z = 712 + -458. Let c = -36 + z. Is c prime?
False
Is (4925802/252)/(1/6) prime?
True
Suppose -175*c + 20079367 = -15559208. Is c composite?
True
Let x(c) = -98*c**3 + 16*c**2 - 5*c + 4. Let t be ((-385)/10)/7 - 4/(-8). Is x(t) prime?
False
Let u = 25297 - -10743. Let v = u + -25463. Is v a prime number?
False
Suppose -30563 = 3*p - 2*t, 4*p - 5*t - 8005 + 48744 = 0. Let k = p + 14290. Is k a composite number?
False
Suppose 2*c + 4*i = i + 1211, -c + 623 = -2*i. Suppose -u + c = -784. Is u a prime number?
False
Let x(z) = -6*z**3 + 0 - 2 - z**2 - 3*z**2 - z. Let t(y) = 44*y + 1493. Let u be t(-34). Is x(u) prime?
True
Let a(z) = -z**3 + 11*z**2 + 8*z + 62. Let b be a(12). Suppose 3*s - 4*s - 4*o = -21541, 5*s = -o + 107667. Suppose -3095 + s = b*n. Is n a composite number?
True
Let s(r) = r**3 + 64*r**2 - 721*r + 3. Is s(-71) composite?
False
Suppose -3*a - 3 = -6. Suppose x = 4*k + 6, 2*x - 3 = a. Is (-851)/k + (1 - 1) a composite number?
True
Let u be 16 - (4 + -3 + 0). Let r be 1449 - u - (0 + -1). Suppose -27*q + 32*q - r = 0. Is q prime?
False
Let t(r) = -331*r**3 + 8*r**2 - 8*r - 6. Let n be t(-7). Suppose -21*l = -46*l + n. Is l a composite number?
True
Let h(y) = 2706*y**2 - 213*y + 1033. Is h(5) prime?
False
Let d(x) = -2*x - 5*x**2 - 29 - 10*x + 21*x**2 - 8*x**2. Is d(12) a prime number?
False
Let k be (11 + -3)*(3 + 1/1). Is (20632/k)/(9/12)*3 prime?
True
Suppose -f - 59760 = -4*i, -5*i + 3*f + 82653 = 7960. Is i composite?
True
Let r = -9031 - -17408. Let k = r - 4988. Is k a prime number?
True
Let t(c) = 14 + 57 + 35 - 64 + 227*c. Is t(11) a composite number?
False
Suppose -2*b = -v + 4, -2*v - b + 5 = v. Let q(y) = 4*y**2 - 46*y + 25. Let s be q(11). Suppose -g - v*g = -s*x - 768, 3*g - 763 = 2*x. Is g prime?
True
Let u = 775090 - 473067. Is u a prime number?
False
Let t(u) = 29*u + 292. Let g be t(-10). Is (-7496 + 12)*g/(-8) a prime number?
True
Suppose 0 = -33*p + 733393 + 1177967. Suppose 45863 = 4*r + 3*j, -4*r + p = -5*j + 12065. Is r composite?
True
Suppose -12*b - 48 = -4*b. Let p(g) = -137*g - 34. Let y be p(b). Suppose 2*r + y = 2994. Is r prime?
True
Let z(t) = -5*t - 10. Let j be z(-3). Suppose -j*w - w = -12. Suppose w*q - 255 = 5*y, 3*y + 65 = q - 65. Is q composite?
True
Let t = -12 - -15. Suppose 3*z + 5*m - 697 = 5627, m + 6306 = t*z. Suppose -3*n + 2103 = -2*u, -u - 2*u = -3*n + z. Is n a composite number?
False
Let w = -15370 - -53833. Is w composite?
True
Let o(r) be the first derivative of r**4/2 - 37*r**3/3 - r**2/2 - 13*r + 15. Is o(22) a composite number?
True
Suppose -5*n = m - 20, 2*n = -2*n + 16. Suppose m = 4*v - d - 3*d - 1196, -2*d - 2 = 0. Is v prime?
False
Suppose v - 5*y - 3 = 0, -v = -4*y + 8*y + 6. Let j(t) = -2002*t**3 - 6*t**2 - 5*t - 5. Is j(v) prime?
False
Suppose -3*t - n - 21473 = -62026, 67593 = 5*t + 4*n. Is t a prime number?
False
Let a(l) = l**2 - 23*l + 25. Let v be a(22). Suppose -v*o - 43 = -577. Suppose 20*b - 22*b = -o. Is b a composite number?
False
Let r = 390265 + -229250. Is r prime?
False
Let q = 881 - 872. Suppose -3*h = -5*n + 11770, -2*n - q*h = -8*h - 4719. Is n a composite number?
False
Suppose -43*z = -18*z - 100. Suppose -4*g + 6*g + 11031 = 5*h, 8836 = z*h + 4*g. Is h a composite number?
False
Suppose -1338921 = -77*n + 144068 + 846800. Is n composite?
True
Let w(h) = -h - 16. Let o be w(-16). Let x(g) = 6*g + 8202. Let j be x(o). Suppose 6*z = -0*z + j. Is z a prime number?
True
Let l be (-1)/(-4)*(10 + -2) - -7. Suppose i - 1227 = 2*j, -4*j - 1227 = -i - l*j. Is i a composite number?
True
Let s = 23 + -11. Let k = s - 6. Is (-3)/(-2) - (-723)/k prime?
False
Suppose -5956164 + 18833972 = 52*u - 3551748. Is u prime?
False
Let n be (-9867)/(-23) - 3*8/(-6). Let v = n - -826. Is v prime?
True
Let h be (-5 + (-150)/(-18))*3. Let l(p) = p**3 + 2*p**2 - 13*p - 1. Is l(h) a prime number?
True
Suppose 0 = 8*b + 11*b - 152. Suppose b*n = 5*n + 20199. Is n prime?
True
Suppose 2*n = 0, 3*u = -4*n + 14567 - 1223. Suppose -8*q = -9*q - 3*h + u, -8869 = -2*q + 3*h. Is q a composite number?
True
Let f = 75 + -8. Let d = -67 + f. Suppose -14*m + 9*m + 3745 = d. Is m composite?
True
Suppose 0 = m + 2*w - 53195, -5*w + 4*w = -4*m + 212789. Is m a prime number?
True
Suppose 0 = 123*b - 119*b - 60. Suppose -b*j + 69756 = -58929. Is j a composite number?
True
Let v = 1835 + 4296. Suppose -g = -5*q - v - 30430, -5*g + 5*q = -182765. Is g composite?
False
Suppose -33*f + 36*f - 12 = 0. Suppose f*o - 2*o - 5*v - 351 = 0, 895 = 5*o + 5*v. Is o a composite number?
True
Suppose -2*s + 4*p + 1456250 = 0, -46*s + 48*s - 1456262 = -2*p. Is s a prime number?
True
Let p(o) = -15 - 6 + 104*o + 0. Let w be p(-14). Let i = -719 - w. Is i a prime number?
False
Let v = 78 + -68. Let t(h) = h**3 + h**2 - 3*h - 9. Let j be t(v). Let i = j - 612. Is i a prime number?
True
Let f(n) = 0 - 3*n**2 + 2191*n**3 + n - 2190*n**3 - 3. Let l be f(3). Suppose l = -31