-1211454 = -2*k - 5*j, 568245 = k - 4*j - 37430. Is k a prime number?
True
Let p(u) = 10*u**3 + 19*u**2 - 5*u - 26. Let f(n) = 9*n**3 + 18*n**2 - 5*n - 25. Let h(c) = 6*f(c) - 5*p(c). Let w be h(-9). Let m = -327 - w. Is m composite?
False
Suppose -m + 896768 = 8*c - 248017, 2*c = -m + 286197. Is c a composite number?
True
Let l be (-2)/(-9) + ((-2925)/81)/(-13). Suppose -f + s = -l*s - 1809, 0 = -4*f + 3*s + 7210. Is f a prime number?
True
Let a = -153254 - -275820. Is a a prime number?
False
Is 50/(-80) - 50932746/(-144) a prime number?
True
Let j(h) = h**2 + h + 27. Let b be j(-7). Suppose b + 42 = 3*m. Is m a prime number?
True
Let r be (6/4 - 1)/((-112)/2688). Let p(a) = 38*a**2 + 17*a + 29. Is p(r) a prime number?
True
Let r(o) = -6*o**3 - 16*o**2 - 3*o + 10. Let c(x) = 7*x**3 + 16*x**2 + 3*x - 11. Let u(b) = -5*c(b) - 6*r(b). Let d be u(8). Let t = d - 1038. Is t composite?
True
Let i = 86719 + -18258. Is i prime?
False
Is 28922/38 + (-220)/2090 a composite number?
False
Let t(z) = -591*z + 186. Let d be t(11). Is -6 - 56/(-7) - d prime?
True
Let v = -30 - -30. Let p be (v + -3 + 4)*(0 + 2). Is (-1)/(8/16*p/(-119)) prime?
False
Let i = -65320 - -214971. Is i a composite number?
True
Let p be (-4)/(-14) - (-19)/7. Suppose k = -b + 2390, -p*b + 0*k + k + 7174 = 0. Suppose 3*c - b = -486. Is c a composite number?
True
Let v = 13370 + -5349. Is v prime?
False
Suppose 1844205 = 39*m + 1556719 - 3303517. Is m a prime number?
True
Let t(c) = 14982*c - 11. Suppose 5*d - 24*d + 19 = 0. Is t(d) a prime number?
False
Let j(k) = 6*k + 18*k + 107 + 17*k**2 - 15*k. Is j(-14) a prime number?
True
Let p = 28379 - -148550. Is p prime?
False
Let l = -137 - -139. Suppose -l*s + 21804 = 2*o, -5*s + 13445 + 41071 = -o. Is s composite?
False
Let j(g) = 1067*g**2 - 125*g - 2011. Is j(-21) prime?
True
Let k = 3665 - 1380. Let r = k + 834. Is r prime?
True
Suppose 26*j = 9*j + 136. Is (13 - (j + -2))*277 a prime number?
False
Let q(v) = 7*v + 29. Let a be q(-4). Is (-159 + 1)*((-60)/8 + a) a composite number?
True
Let i(z) = 53*z + 88. Let k be i(-9). Let q = k - -906. Is q prime?
False
Is -1*1*(-29377 - -50) a composite number?
False
Let a = 391525 - 211154. Is a a prime number?
True
Suppose 3*t + 1 = 4. Let x be (3 + -6 + 46/14)*7. Is x/3 - (t - 670/3) a composite number?
False
Let f(j) = -2*j**2 - 7*j. Let x be f(-4). Let m(z) be the first derivative of z**4/4 + 3*z**3 + 2*z**2 + z + 1. Is m(x) a composite number?
True
Let u be 1*(2 + 1/(2/(-4))). Suppose -b + 867 = 4*g, g + 7 - 2 = u. Is b composite?
False
Suppose 0 = -179*t + 174*t - 2*p + 197363, 0 = t + 2*p - 39471. Is t prime?
False
Suppose 0 = -5*y - 177 - 183. Suppose -5*q = 6*f - 4*f + 316, -298 = 5*q - 4*f. Let k = q - y. Is k a composite number?
True
Let s(d) = 3441*d**3 - 4*d**2 - 40*d + 277. Is s(5) a composite number?
True
Let q(t) = 2741*t**2 - 167*t + 1973. Is q(10) prime?
True
Let q = 83870 + -837. Is q composite?
True
Let g = -257 - -257. Suppose 3*r = -g*r + 8157. Is r a prime number?
True
Is (12306754/981)/((-6)/(-27)) a prime number?
True
Let l be ((-3)/6)/((-1)/10). Suppose -2*x - 21 = l*k, 0 = 4*k + 5*x + 40 - 13. Is k*((-3)/(-3) - (-916)/(-3)) composite?
True
Let f(a) = 1197*a + 358. Let z(t) = -597*t - 179. Let i(m) = 4*f(m) + 7*z(m). Is i(6) a prime number?
True
Suppose 119*q = 123*q - 3509284. Is q composite?
False
Let y = -145 - -149. Suppose 0 = 5*x + n - 1 - 9, 2*n = y*x - 8. Suppose 0 = 2*d - x, -3*m + 0*d = 5*d - 227. Is m a composite number?
True
Suppose 15*g = -11*g + 52. Suppose -3*u - g*b + 3302 = -7*b, -3*u + b = -3298. Is u composite?
True
Let u(h) be the third derivative of h**6/30 + 2*h**5/15 - 7*h**4/24 - h**3/6 - 7*h**2 + 9. Is u(3) composite?
True
Let q(v) = v**3 - 18*v**2 - 20*v + 25. Let x be q(19). Suppose -3*b - 2943 = -x*b. Let d = 74 + b. Is d a composite number?
True
Let j be -1 - 2 - (193 + 20/4). Is (62/(-93))/(2/j) a prime number?
True
Is (1 - -3) + (93 - -492298) composite?
True
Suppose -31090 = -2*p - 2*z, -4 = -9*z + 11*z. Is p composite?
True
Let g = 173605 - 60654. Is g prime?
True
Is ((-2192)/(-5))/((-4)/(-1370)) - 1 composite?
False
Suppose -197*g = -179*g - 3013812. Is g a composite number?
True
Suppose 4*n = 8, 4*n - 11 = -4*f - 3. Suppose f = 5*i + t - 2145, i + 3*t - 290 - 125 = 0. Let j = 477 + i. Is j a prime number?
True
Suppose -2*p + 6 = 5*v, -5*p + 4*v - 12 = -60. Let u be 16/p + (-1 - -104). Suppose -6*n + 1809 + u = 0. Is n prime?
False
Let q(c) = c + 4. Let m be q(2). Suppose -2*t = -4*t + m. Suppose t*g = -5*h + 943, h + 377 = g + 52. Is g a composite number?
True
Suppose -74 + 59 = -5*m. Let n(w) = 8 + 5*w + 2*w - 3 - 12*w**m + 3*w**2. Is n(-3) composite?
True
Suppose 4*j + 1194819 = -4*a + 4226959, a = -5*j + 758059. Is a prime?
True
Let q be 327*8 - (-9 - -7). Suppose 0 = 3*t - q - 205. Is t composite?
False
Let i(b) be the first derivative of 12*b**2 - 5*b + 89. Let r be -1 + 1 - -2*2. Is i(r) prime?
False
Let b = 136592 - -1215. Let w = b - 90030. Is w prime?
True
Let t(z) = 4*z + 1. Let g be t(1). Suppose -59 = -2*f + 5*m, -g*m + 61 = 4*f + 18. Is 1*-1*(-2091)/f prime?
False
Let i(f) = -17*f**3 + 133*f**2 - 131. Is i(-25) a prime number?
False
Let y(v) = v**3 + 23*v**2 - 51*v - 21. Let z be y(-25). Suppose 0 = -3*u + z*u - 4783. Is u prime?
True
Let x(t) = 78*t**2 + 16*t + 3. Let f be x(-7). Let c = -1772 + f. Suppose 4*y - y = c. Is y a prime number?
True
Let g(q) = -5*q**3 - 9*q**2 + 2*q - 12. Let m(w) = 4*w**3 + 8*w**2 - w + 12. Let s(c) = -5*g(c) - 6*m(c). Let h be s(5). Is 2/1*9081/h a composite number?
False
Suppose -114*a + 109*a = -6*c - 1600871, -2*a = -3*c - 640352. Is a composite?
True
Suppose -100*d = 98*d - 206*d + 1106792. Is d prime?
True
Suppose 30*a - 267992 = 5*a + 194933. Is a prime?
True
Suppose -4*s = -2*u + 1019942, 14*u - 5*s - 1529907 = 11*u. Is u a composite number?
False
Let l(f) = -16763*f**2 - 2*f - 3. Let n be l(-1). Is n/(-198)*30/4 prime?
False
Is ((-118)/472)/(2/(-162296)) a composite number?
False
Let x = 167618 + -115165. Is x composite?
False
Suppose 0*z + z - 2*y - 13 = 0, -4*y = 5*z + 5. Let f be z/9 + 2 + (-86514)/(-9). Suppose -f = -2*d - d. Is d a prime number?
False
Let d(y) = -188*y - 21. Suppose 0 = -6*g - 29 - 1. Is d(g) composite?
False
Let x(o) = 4*o**3 + 3*o**2 + 4*o + 2. Let r be x(-1). Is 1847 - (-2 - 18/r) a prime number?
False
Suppose -26*d = 12*d - 929822. Is d a composite number?
False
Let j = -134 - -166. Suppose -j*v - 10*v + 2814 = 0. Is v prime?
True
Let s(j) = j**2 + 13*j - 19. Suppose 3*c + 3*g + 63 = 0, 0 = c + 3*g - 5*g + 24. Is s(c) composite?
False
Let u(y) = 126*y**2 + 5*y + 4. Let w be u(-4). Suppose 0 = c - 603 - w. Is c prime?
False
Let h(o) = -o**3 + 90*o**2 + 6*o - 83. Is h(38) prime?
False
Let x = -267611 - -466077. Is x prime?
False
Suppose t + 2 = -3*g, -6*g + 2*g = 3*t + 6. Suppose 22*d - 25*d + 25059 = g. Is d prime?
True
Suppose -3*c = -488*z + 489*z - 136310, -272599 = -2*z + c. Is z a prime number?
False
Suppose 917*c - 914*c - 279141 = 0. Is c a composite number?
False
Suppose q - 84 = -13*q. Is ((-3327)/12 + 2)*(q + -10) prime?
False
Let k(b) = b**3 + 15*b**2 + 12*b - 23. Let a = -33 - -37. Let i be a/(-6)*77/28*6. Is k(i) prime?
False
Suppose 3*j - 14 = -5*p + 5*j, p = j + 1. Suppose -3*z - 2*o + 9 = -o, 5*z - 32 = p*o. Is 4*((-2910)/(-8) - z) prime?
True
Let r be (-8)/40 - 56076/(-5). Let m = r + -7622. Is m prime?
True
Let r(w) = -32 + 9 + 11 + w + w**2 + 13. Let c(z) = 8461*z**2 - 2*z - 3. Let q(x) = c(x) + 5*r(x). Is q(-1) a prime number?
False
Let l(s) = -7*s - 105. Let y be l(-16). Suppose -118467 = -16*c + y*c. Is c composite?
False
Let p(k) = -k**2 + 10*k - 1. Let s be p(9). Suppose -s*v - 46948 = -12*v. Suppose -9*q = 2*q - v. Is q prime?
False
Let q = 72 - 72. Suppose -45 = -9*h - q*h. Suppose -1378 = -3*t - h*n, -5*n + 2*n + 917 = 2*t. Is t prime?
False
Let w(b) = 82*b**3 - 15*b**2 + 59*b + 14. Let r(i) = -28*i**3 + 5*i**2 - 20*i - 4. Let z(l) = -17*r(l) - 6*w(l). Is z(-5) prime?
True
Is 294604*13*(-5)/(-260) prime?
True
Let g(p) = -2416*p + 24. Let t be g(-19). Let s = t + -24461. Is s a prime number?
True
Suppose -2*d + 140 = 3*d. Suppose -8*j + d - 12 = 0. Suppose -s - 3362 = -2*s - 5*v, -j*v = -3*s + 10137. Is s prime?
False
Suppose