497179 = 414*k - 29441856. Is k prime?
True
Let y(p) = -p**2 + 33*p + 189. Let x be y(38). Is (-1)/x + -26 + 18162 prime?
False
Let b(l) = 8220*l**2 - 4*l + 5. Let x be b(5). Let h be 4/6 + 57/9. Is (-4)/18 + (x/27)/h a prime number?
True
Suppose -35*i - 297285 = -38*i. Is i a prime number?
False
Is 322662/(-4)*240/(-360) a composite number?
False
Let k(g) = 272*g - 129. Let a = 121 - 98. Is k(a) a composite number?
True
Let w(u) = 6*u**2 - 1. Let o be w(1). Suppose 2*m - i - 1241 = -2*i, o*i = m - 648. Is m a prime number?
False
Let f(u) = 16 + 383*u + 3 - 4. Suppose 25 = p + 17. Is f(p) a prime number?
True
Suppose -3*k - 6 = 0, 3*g + 2*k - 19746 = 31799. Is g a composite number?
False
Let m be 2195*10*(-1)/(-4 + 2). Let r = 33226 - m. Is r prime?
False
Suppose 5*x + 3*l = 3*x - 27, 5*l = 5*x + 5. Is x - (4 - 5 - 8326) prime?
False
Suppose 7*c - 21 = 7. Suppose 10270 = c*h - 5358. Is h composite?
False
Let w = 2030 + -1394. Let s = w - 435. Is s prime?
False
Let z(m) = -18*m**3 - 4*m**2 - 44*m - 869. Is z(-25) composite?
False
Let m(x) be the first derivative of 5*x**3 + 13*x**2/2 - 20*x - 1. Let r(t) be the first derivative of m(t). Is r(4) prime?
False
Suppose 3*o + 2*s + 21 - 11 = 0, -3*o + 2*s = 2. Is o/(-4)*1*478 composite?
False
Let m be 10931 + (72/8 - 4). Suppose -18*t + 98 = -m. Is t a prime number?
True
Let u be (-1 - (-5)/3)/(54/234171). Let s = 1392 + u. Is s prime?
True
Let p(c) = -c**3 - 2*c**2. Let a(x) = -3*x**3 - 13*x**2 - 7*x + 27. Let i(z) = a(z) - 5*p(z). Is i(5) a composite number?
False
Suppose -4*v + 3*y + 11316 + 705 = 0, -5*y + 15070 = 5*v. Let n = -1989 + v. Suppose n = m - 881. Is m a composite number?
False
Suppose -3*w = -5*q + 3113 + 7623, 2*w = 5*q - 10739. Is q composite?
True
Suppose 7 = d + 3*f, 4 + 18 = -4*d - 2*f. Is (1 - -55)/d - -4926 a composite number?
False
Suppose -5*x = -k - 1332, 3*k - 794 = -3*x + k. Suppose c - x = 107. Is c composite?
False
Let g = 49 - 49. Suppose g = -2*u - 4*l + 2016, -2*l = -3*u + 2*l + 3004. Suppose 51*v - u = 47*v. Is v prime?
True
Suppose 11*f + 3*f + 31962 = 0. Let h = 8654 - f. Is h a composite number?
False
Let n(s) = -s**3 - 30*s**2 - 23*s - 77. Let l be n(-41). Let h = 28134 - l. Is h prime?
False
Let q = -4876 - 675. Let r = 26996 + q. Is r composite?
True
Let q(i) be the second derivative of -61*i**5/20 - i**4/6 - 7*i**3/6 - i**2/2 - 2*i. Suppose 25*s = -44*s - 138. Is q(s) a composite number?
True
Let a be ((-104)/16)/(2/(-4)). Suppose a*g = 11882 + 1235. Is g a composite number?
False
Let x be (7/28)/(0 - (-5)/(-20)). Is (x/2)/((-1)/8948) prime?
False
Let n(f) = 2*f - 40. Let j be n(20). Suppose 2*i - i - 1525 = j. Let w = -478 + i. Is w composite?
True
Suppose 13*o + a = 10*o + 1551, 5*o - 2578 = -4*a. Let x = o - 223. Is x prime?
False
Suppose -5*v - 17673 + 3907 = -2*b, 5*v = b - 6883. Let o = b - 4424. Is o a composite number?
False
Let i = -317 + 321. Suppose -c + i*m + 9342 = c, 2*m = -3*c + 14045. Is c composite?
False
Is (-210709)/((-8)/176 - (-315)/(-330)) a prime number?
True
Suppose -2*p - 4*n + 2168 = -1738, p + 3*n = 1953. Let a = p + 1550. Is a a prime number?
False
Let h(i) = 47*i**2 + 20*i + 1489. Is h(42) prime?
True
Suppose -770 = -5*m - k + 2*k, m + 3*k = 154. Suppose 0*x - m = -x. Let f = x + 57. Is f composite?
False
Let y be -23 + 31 - (5 - -1). Suppose 6*t - 4471 = 5*t - 5*h, 3*t - 13447 = y*h. Is t a composite number?
False
Let n(f) = -383*f + 31. Suppose -s + 9 = l - 2, -53 = -5*l - 4*s. Let x be 10/(-35)*-7 - (l + 1). Is n(x) a prime number?
False
Suppose 11*i - 4*t = 10*i + 90485, -i + 90489 = -5*t. Is i prime?
True
Suppose -8*p + 86273 = -56919. Suppose m = -6*m + p. Is m prime?
True
Is 4/(-22) - (-14 - (-164190)/(-22)) a composite number?
False
Let g = -29298 + 55447. Is g composite?
True
Let k(g) = 107458*g**3 + 257*g - 256. Is k(1) a prime number?
False
Let w = 124 - 163. Let s(g) = g**3 + 63*g**2 + 39*g + 40. Is s(w) a composite number?
False
Suppose 2*u - 84187 + 7501 = 0. Suppose u = 5*d - 23852. Is d a composite number?
True
Let l(m) = 40*m**2 + 3*m**3 - 95 + 12*m**3 - 17*m**3 + 30*m + m**3. Is l(22) prime?
True
Suppose 2*c = 2*w - 164 + 406, 5*c + 2*w = 605. Let o = c + -75. Is o a composite number?
True
Is 422622567/2091 + 6/(-123) a prime number?
False
Is 15 + 6 + -12 + 92324 composite?
False
Let b(p) = -69*p - 41. Let h be b(-8). Let s = 1332 - h. Is s a prime number?
True
Suppose 5*o - 2*g = 122, 9 = o - 4*g - 19. Suppose 5*s - 17253 = -4*j, 23*s + 5*j + 3439 = o*s. Is s prime?
True
Let g(a) = -a**3 - 38*a**2 - 70*a + 80. Let v be g(-36). Suppose 7361 = v*p - 74343. Is p a composite number?
True
Let q(x) = 2*x**2 + 40*x + 158. Let i be q(-30). Suppose -26*d + i = -24*d. Is d a prime number?
True
Let l(v) = -v**3 + 5*v**2 + 6*v + 10. Let p be l(12). Let z = -535 - p. Is z prime?
False
Suppose 2*w = 3*r - 49, -r + 2*w - 26 = -3*r. Suppose 27643 = -r*a + 26*a. Is a a composite number?
True
Let k = 170 - 165. Suppose 0 = -2*d + 5*d + 15, k*d = -3*n + 5354. Is n a composite number?
True
Suppose 140 + 43 = g. Suppose 3*t = 6*t + g. Let p = t - -158. Is p prime?
True
Suppose -155*a = -160*a - 4*m + 1247406, -3*a - 2*m + 748442 = 0. Is a prime?
False
Suppose i = 10*v + 110007, 5*i - 2*v - 549931 = -4*v. Is i composite?
False
Let d be 44/(-33)*(-3)/(-2) + 2. Suppose d = 5*w - 2*u - 15483, 2*u + u = -4*w + 12391. Is w a composite number?
True
Let s(h) = -30*h - 30*h - 1 - 36*h + 96*h + 390*h**2. Suppose 3 + 2 = -5*v. Is s(v) a prime number?
True
Suppose -89 = -17*d - 4. Suppose -5*k + 3*x + 5349 = 7*x, 5*x = -d*k + 5350. Is k prime?
True
Suppose 4*s + 61 - 9 = 0. Let q = s - -150. Let t = -103 + q. Is t a composite number?
True
Suppose 3*p - 5*x - 12254 = -0*p, -5*p - 4*x + 20411 = 0. Suppose -3*w + 4*r + 6198 = -6095, 0 = w - 5*r - p. Is w a prime number?
False
Let o = 201 - 120. Let f = 77 - o. Is (-16596)/(-27)*2/f*-3 prime?
False
Let z(u) = 43*u**2 - 21*u + 617. Is z(24) composite?
True
Let b = -45256 + 619475. Is b prime?
True
Let q(f) = 86877*f**2 - 46*f - 220. Is q(-5) a prime number?
False
Let i be 20/8*6/(-15). Let g be (925/1 - -4)*i. Let w = -178 - g. Is w prime?
True
Let j(y) = -2*y**2 + 3*y + 8. Suppose 10*g - 4 = 6*g, 2*l + 3*g = -1. Let n be j(l). Is (-11985)/(-10)*(-4)/n a prime number?
False
Is (19 + -20)*(-721914)/6 a prime number?
True
Suppose 4*f - 47134 = -3*d - 0*f, -2*d + 31408 = -f. Is d a prime number?
False
Is 9 - (-7872 - (7 - (-11 + 26))) a prime number?
True
Is ((-29289862)/(-49))/(0 - (-2)/7) composite?
False
Suppose -2772267 = -317*r + 134*r. Is r prime?
True
Let u(t) = -4*t - 5. Let x be u(-2). Let j be 0 + (-8)/(-1) + -2. Suppose -j*c = -x*c - 555. Is c a prime number?
False
Let i(c) = -4*c**2 - 21*c - 3. Let k be i(-5). Suppose 4*f - 24740 = 5*q + 9089, 2*f = -k*q + 16928. Is f a prime number?
True
Let t = -6014 + 50365. Is t a prime number?
True
Suppose -1228884 + 256195 = -5*q + 27066. Is q prime?
False
Let r(b) = -39*b + 935. Let g be r(24). Let t = 1 + 3. Is -6 + t + g + 260 composite?
False
Suppose 3*j - 12*j + 687871 = 148942. Is j a prime number?
False
Suppose -3*n + 24 = -2*n - 2*x, -5*n + 3*x + 120 = 0. Suppose 3646 = -n*d + 26*d. Is d prime?
True
Suppose 0 = -179*w + 47*w + 3679764. Is w a prime number?
False
Suppose -17505766 = 19*d - 197*d. Is d composite?
False
Suppose 25*i = -123*i - 256*i + 28115572. Is i prime?
True
Suppose 0 = -5*v - 4*l + 9910, -3*v + 2*l + 7928 = v. Let n be -3 + 75/21 - v/14. Is n/(-3)*(23 - 6) composite?
True
Is (-1300)/520*-1*749542 composite?
True
Let u(b) = 5*b**3 - 5*b**2 + 5*b - 5. Let t(m) = -4*m**3 + 5*m**2 - 4*m + 6. Let f be ((5 - -2)/(-1))/1 + 3. Let o(j) = f*t(j) - 3*u(j). Is o(8) composite?
False
Let o be (0 + 3)/(3/15*-1). Is (2 + -1)*3/o*-12085 prime?
True
Let g(u) = 7*u**2 - 16*u - 36. Let p be g(-11). Let k = p - -2855. Suppose -k = 6*t - 10364. Is t prime?
True
Let f(h) = 35615*h + 757. Is f(12) composite?
False
Let k = 278 + -278. Suppose -40457 = -a - 2*i, k = 2*a + 32*i - 33*i - 80919. Is a prime?
True
Let n(q) = 34*q**2 + 137*q + 14. Is n(15) prime?
True
Let y(q) = -2*q**3 + 7*q**2 - 11*q + 2. Let l be y(-6). Is (l - 1)/(2 + 4 + -5) composite?
False
Suppose 0 = 3*b + 2*h - 28340, -4*b - h = -0*b - 37780. Suppose 5*y = -3*f + 6*f - b, 3*f