 -4*y + 287644 = 4*r, 0*y + 4*r + 287652 = 4*y. Suppose -y = 7*a - 15*a. Is a prime?
False
Let n be (-54)/36*(-97120)/12. Let z = -6921 + n. Is z prime?
False
Let z = -79863 + 295586. Is z a prime number?
True
Let k = 130 + -101. Let t(b) = -b**3 + 47*b**2 - 21*b - 10. Is t(k) composite?
False
Let u be 1*4 - 1 - 1. Let m be 25*(338/(-65))/(-26). Suppose -765 = -3*n + x, 0 = -n - u*n + m*x + 777. Is n composite?
True
Let w = 1256032 - 753477. Is w a prime number?
False
Let h(c) = 3*c**3 + 14*c**2 - 47*c + 14. Let q be h(-21). Let f = q - -29073. Is f a prime number?
False
Let i(p) = -13*p + 2516. Is i(45) a prime number?
True
Let a(t) = -14*t**3 + 12*t**2 - 3. Let x = 478 - 483. Is a(x) composite?
True
Let l(y) = 9*y - 19*y + y**3 + 11*y**2 - 9 + 38 - 14*y. Is l(11) a prime number?
False
Let q = -1553 + 956. Is (-44)/(-2)*q/(-6) composite?
True
Let g be 2/3 + (-2989)/(-21). Let b(v) = v**3 + 26*v**2 + 72*v + 101. Let d be b(-23). Let i = g - d. Is i composite?
True
Let i(a) = -77*a**3 + 41*a + 55. Is i(-10) a prime number?
False
Let h(q) = q**2 - 16*q - 20. Let r be h(12). Let k = 361 + r. Is k a prime number?
True
Let z(i) = 1977*i**2 + 29*i - 13. Is z(-3) a composite number?
True
Let d(u) be the second derivative of -21/2*u**2 + 2*u + 1/12*u**4 + 0 - 2*u**3. Is d(-12) prime?
False
Let m be ((-14)/3 - 4)/((-4)/126). Suppose 0 = 3*k - m - 381. Is k composite?
True
Suppose 4*y = 4*g - 64740, -5*y = -41*g + 43*g - 32356. Is g a composite number?
False
Let c(d) = 1794*d**2 - 36*d + 175. Is c(-16) a prime number?
False
Let k be 24/10 + 152/(-380). Suppose 5*m - 2*m = k*l + 8457, -2*m - 3*l + 5638 = 0. Is m a composite number?
False
Suppose 0 = -3*s - 2*w + 518, -826 = -4*s + w - 128. Suppose -5*q + 820 = -5*p, -4*q + 3*p = -846 + 191. Let x = s + q. Is x prime?
True
Let n(g) = 3103*g - 136. Let l be n(8). Suppose 21*w = 5*w + l. Is w prime?
True
Suppose 0 = 4*q + 3*o + o - 2520088, -5*q + 3150103 = 6*o. Is q composite?
False
Let x(y) = 13*y - 17. Let t be x(2). Let i(w) = -2*w**2 + 18*w + 5. Let k be i(t). Suppose 188 = 2*v + 5*s, 3*s = k*v - 0*s - 439. Is v a composite number?
False
Is (-1 - -147567)/((-810)/(-405)) a composite number?
False
Let q(m) = -282*m**3 - 7*m**2 - 65*m + 1. Is q(-8) a composite number?
True
Suppose 5*b = -o + 129138, -o - 25824 = b - 2*b. Suppose -b = 2*y - 5*y. Is y a prime number?
True
Let z(o) = -182*o**2 + 104*o - 7. Let d(g) = 61*g**2 - 35*g + 3. Let t(r) = -17*d(r) - 6*z(r). Is t(12) a composite number?
True
Let x be -4 + 14 + -9 - -2. Let w(o) = 6648*o + 119. Is w(x) a composite number?
False
Let j = -39 + 87. Suppose -j = -k + 109. Is k composite?
False
Suppose 4*a - 2183104 + 350173 = -5*n, 5*a = -n + 366603. Is n a prime number?
False
Suppose -10*w = -4*w - 72. Let n(h) = 46*h - 14. Is n(w) a composite number?
True
Is (-199 - -182) + 130201 + -1 a composite number?
False
Suppose -5*m - 21810 = -5*n, -4370 = -n + 5*m - 2*m. Suppose 0 = -26*c + 24*c + n. Is c composite?
False
Let a(o) be the first derivative of 26*o**3/3 - 9*o**2 + 109*o + 15. Is a(13) composite?
True
Suppose 0 = 157*r - 1637870 - 5194613. Is r prime?
False
Suppose -66*r = -71*r + 19165. Suppose 154758 - r = 5*a. Is a composite?
True
Let d(z) = 6573*z + 5270. Is d(76) a prime number?
False
Let s be (-21)/4 + -1 - (-51)/204. Is ((-9610)/s - 2)/((-14)/(-210)) prime?
False
Let m(c) = -128*c**3 - c**2 + 17*c + 147. Is m(-8) a composite number?
True
Suppose 4*w - 2 = -2*q, 3*w = 5*q - 0 - 5. Let m be q/3*7/((-42)/(-16938)). Suppose -5*n = r - m, -5*r - 4*n = -0*n - 4789. Is r prime?
False
Suppose 0 = -28*c + 329162 - 11993 - 33557. Is c a prime number?
False
Suppose 0 = -z + 4*g - 28036, 2*g + 0*g + 28054 = -z. Is z/(-84) - (-4)/42 composite?
True
Let u be (68/102)/(-1 + 4/3). Suppose 7*l - 2*l = u*l. Suppose 1072 = -f + 3*f - 2*z, l = -4*z + 20. Is f a prime number?
True
Suppose -5*w = -26 - 24. Suppose w*y + y = 9*y. Is (1050 - (y + 3)) + 2 a composite number?
False
Let y(d) = -2*d + 4. Let l be y(15). Suppose 4*p - 243 = -3*g, 3*p + 0*g + g - 176 = 0. Let q = p + l. Is q composite?
False
Is (-8)/(-2) + (-17321)/(-5)*15 a prime number?
False
Let j(d) = -1187*d - 2. Let a be j(-2). Suppose 2*n + 5*t + 3180 = 0, -9*n + 13*n + 6344 = -2*t. Let g = n + a. Is g composite?
False
Let u(i) = 4*i - 14. Let x be u(3). Let b be -3*(-1 - (-1 - x)). Suppose -8*d + b*d = -3514. Is d a prime number?
False
Suppose 10*g = 5*c + 5*g - 50, 35 = 4*c - 3*g. Suppose 0 = 9*z - 8*z + 4, z - 273151 = -c*d. Is d a composite number?
False
Let y = 2535 + -2542. Let x(b) = -1 - 206*b - 3 + 1. Is x(y) a composite number?
False
Let u(v) = -16 - v**3 + 17*v**2 + 28 - v + 19*v - 15. Is u(16) a prime number?
True
Suppose 14*b + 243 = 5*b. Let s be 8/(9/(b/(-6))). Let v(j) = j**3 - 2*j**2 - 7*j + 5. Is v(s) prime?
False
Suppose 0 = 13906*g - 13897*g - 17200881. Is g a prime number?
True
Let a(j) = 218*j**3 - 100*j**2 + 33*j + 56. Is a(15) composite?
True
Suppose 265051 = v - z, -3*v + 795155 = 339*z - 343*z. Is v prime?
False
Let d(z) = z**2 - 10*z - 107. Let k be d(0). Let y = 3534 - k. Is y composite?
True
Let g = 69993 - -116104. Is g a prime number?
True
Let i = -769023 + 1100674. Is i prime?
True
Let s(l) = -l**3 + 12*l**2 + 4*l + 28. Suppose -4*c - 5*o = -8, 2 = -0*c + c - 4*o. Let u(y) = 2*y + 5. Let a be u(c). Is s(a) prime?
True
Suppose 8*o + 33 - 73 = 0. Suppose -g - 4*k + 6101 + 652 = 0, 2*g = -o*k + 13494. Is g composite?
False
Let y be (-3 + (-485)/10)/((-7)/(-1526)). Let m = -2564 - y. Is m prime?
True
Let c be (35 - 7101)*(-2)/(-4). Let p = -2484 - c. Is p prime?
True
Suppose -4*c = 5*v - 2573, -5*c + 3*c - 4*v + 1282 = 0. Let i = c + 762. Is i composite?
False
Suppose y - w = 48, 0 = -5*y - 0*y - 2*w + 254. Let a = y - 47. Suppose -2*g + 2158 = a*g - s, 3*s = 5*g - 2164. Is g composite?
False
Let w(z) = -81532*z - 1011. Is w(-5) a composite number?
False
Let w(k) = -12*k**3 + 97*k**2 - 5*k - 12. Let o be w(8). Let y = 14129 - -1005. Is o/(-9) + y/6 a prime number?
True
Is 638836/55*55/44 a prime number?
True
Let l(q) = -19569*q - 536. Is l(-35) composite?
False
Is (-88)/99 + 9167125/45 a composite number?
False
Suppose -3*t - 32 = -4*t + 3*g, 3*t - 4*g = 76. Suppose -2*r - 3*r = -t. Suppose -w - 5*s = -514, -520 = -5*w + r*w + s. Is w composite?
True
Let l(n) = 5202*n**2 + 27*n - 445. Is l(8) prime?
True
Let f(p) = p**2 - 10*p - 69. Let u be f(-5). Is (-33075)/(-18) + (-3)/u prime?
False
Let r = -25075 + 51822. Is r prime?
False
Suppose 4*k + 9 = 1. Let x(t) be the first derivative of -21*t**4 + 2*t**3/3 - 5*t**2/2 - 7*t - 4320. Is x(k) composite?
False
Let u = 3555 - 3543. Let w(r) be the second derivative of 326*r**3/3 - 7*r**2/2 - 2*r. Is w(u) composite?
False
Suppose -3*w - 3705361 = -4*p, 0*p + 3705319 = 4*p + 3*w. Is p a prime number?
False
Let l be 26/12 - (-3)/(-18) - 0. Suppose -l*a - 2*o + 4 = 0, -2*a + 0*a - 4*o = 0. Suppose 0 = -a*y + y + 8283. Is y prime?
False
Let o(z) = -52*z - 519. Is o(-13) a prime number?
True
Let t(q) = 22*q + 29. Let u be t(-5). Let f = -84 - u. Is (f/9)/(1/3)*-467 a composite number?
False
Suppose 51*o = 54*o - 27. Let d(h) = 2*h**3 - 8*h**2 - 16*h + 11. Let z be d(o). Let w = z - 234. Is w a prime number?
True
Let b(l) be the first derivative of l**3/3 + 5*l**2/2 + 7*l + 16. Suppose 0 = -2*z + 6*z - 3*s - 52, 2*z - 28 = 2*s. Is b(z) prime?
True
Suppose -2*f - 1 = -t, 14*t + 3 = -3*f + 16*t. Is (18 - f)*(-25 + 30) composite?
True
Let y = 161 - 104. Suppose 15*q - 13*q - z + 45 = 0, -20 = -4*z. Let v = q + y. Is v a composite number?
False
Let o be (-17 - -21)/(4/21558). Suppose 29*p - o = 23*p. Is p composite?
False
Suppose -2*j + 3*u + 105 = 0, 5*j - 2*u = 99 + 158. Is 928/7 + j/119 composite?
True
Is (943164588/3312)/((-1)/(-12)) prime?
True
Let b = 26 + -33. Let c(x) = 12*x**2 + 15*x - 6. Let r be c(b). Suppose u - 410 = r. Is u prime?
True
Suppose -5*p - 37 = -7*p - i, -i - 89 = -4*p. Let b(q) = q**3 - 20*q**2 - 21*q + 12. Let d be b(p). Suppose -d*g - 982 = -6010. Is g a composite number?
False
Let k(f) = 1768*f + 305. Let j(l) = 2*l. Let d(h) = -3*j(h) - k(h). Is d(-4) prime?
True
Let v = -266804 - -1130191. Is v composite?
True
Let a = 43 - -59. Let k = a + -79. Suppose -948 = -i + k. Is i prime?
True
Suppose -2*z - 5*g