a prime number?
True
Let f(n) = n**2 + n. Let z(l) = 95*l**2 + 5*l - 19. Let s(u) = -5*f(u) + z(u). Is s(5) composite?
True
Let y(w) = -6756*w + 9363. Is y(-14) a prime number?
False
Let i(n) be the third derivative of 143*n**5/12 - n**4/24 + 53*n**3/6 - 231*n**2. Is i(-5) prime?
False
Suppose -d = i - 6*i - 322, 4*d - 1256 = 4*i. Suppose -307*h = -d*h + 4385. Is h prime?
True
Let w(v) = 30011*v**3 + 2*v**2 - 17*v + 27. Is w(2) prime?
True
Suppose 59286 = 5*s - 187399. Is s a composite number?
True
Suppose 0 = -4*j - w + 97, -2*j - 5*w = 21 - 92. Let m(g) = -24*g - 8 - j*g - 27 + 7. Is m(-11) composite?
True
Let u = 3 + -3. Suppose -15*s - 17295 = -55155. Suppose -p + 5*p - s = u. Is p prime?
True
Let m(w) = 2*w - 12. Let s = -30 + 37. Let q be m(s). Suppose 2*r - a - a = 170, -q*r = 4*a - 194. Is r a composite number?
False
Let a(p) = -799*p - 48. Let l be a(-17). Suppose 10*v - r = 7*v + l, -2*v - 5*r + 9012 = 0. Is v a prime number?
False
Suppose -37*q + 38132 + 342635 = 0. Is q a prime number?
False
Suppose 775826 = 2*j + h, 23*j + 3*h - 387923 = 22*j. Is j prime?
True
Let k(c) = 96*c**2 + 44*c + 311. Is k(-11) a prime number?
True
Let c = 652 - 649. Suppose -4 = 2*m, c*i + 0*i - 5*m = 13921. Is i a prime number?
True
Suppose 25107520 = 53*z + 10290843 - 11185282. Is z a prime number?
False
Let q be (-1)/2*6 + -7005. Is (-2 + q/(-15))/((-6)/(-15)) composite?
False
Let o(u) = 1117*u + 94. Let i be o(8). Suppose -19*g - i = -108343. Is g composite?
False
Let f = -8004 - -17987. Is f a prime number?
False
Let v(t) = -2*t**3 + 6*t**2 - 3*t - 7. Let n be v(4). Let f = n + 51. Suppose 5*q = 3*l + 152, -l + 3*l - 2 = f. Is q prime?
True
Suppose 160*s = 169*s - 12627. Suppose -s = w - 6232. Is w composite?
True
Let s(c) = 228*c**2 + 9*c + 1964. Is s(49) a prime number?
True
Let p(h) = 14*h**3 - h + 9. Let f be p(5). Suppose -u = -f - 285. Is u a prime number?
True
Let s = -10719 - -436246. Is s composite?
True
Let u(r) = -r**3 - 4*r**2 + 2*r + 5. Let h be u(-4). Let w be 9/(27/6) + h. Is (w - (334 - 4))*-1 composite?
False
Let h(z) = 2807*z - 4427. Is h(42) composite?
False
Let o be (-1468792)/(-390) - ((-28)/15 - -2). Is (0 - 1)*(o + 1)*-5 a composite number?
True
Let s(k) = -k**3 - 16*k**2 + 36*k + 5. Let f be s(-18). Suppose 4*p + f*u - 3589 = 2*u, -3*p + 2670 = -5*u. Is p a composite number?
True
Let v = 206754 - 27803. Is v a prime number?
True
Let p = 48601 - 28242. Is p a composite number?
False
Suppose -m = 7*c - 8*c - 5212, m + c - 5218 = 0. Is (m/10)/((-1)/2)*-1 a prime number?
False
Let g = 86 + -83. Suppose -g*n + 14 = 2. Is (-13 + 641)*5/n a composite number?
True
Suppose 11*k = -40*k + 2814333. Is k a composite number?
True
Let c = 36497 - 5770. Is c prime?
True
Let f(u) = -2596*u + 5773. Is f(-13) prime?
True
Let s(i) = i**3 + 51*i**2 - 39*i + 84. Is s(25) prime?
False
Suppose 24*d = 16*d + 40. Suppose 3 = -g, -d*g + 38 - 6258 = -5*m. Is m prime?
False
Let m = 54 - -45. Is (-1)/(-11) + (-7 - (-216801)/m) prime?
False
Let c(k) = 2*k**3 + k**2 - 2*k + 4. Let p = 126 + -124. Let d be c(p). Is (130/d)/(2/116) a prime number?
False
Let c = 1505 - 2815. Let o = -96 - c. Is o a prime number?
False
Is 7/(19545223/(-1954523) + 10) a composite number?
False
Let f be (1 + 0)/((-23)/(-690)). Suppose -33*p + f*p = -198. Suppose -65*v + p*v - 541 = 0. Is v a prime number?
True
Let p be 0 + (-455056)/(-72) + (-4)/18. Suppose -c + 6*c = -p. Let h = c + 3315. Is h a prime number?
False
Suppose 0 = 2*k - 5 - 111. Suppose -2*i - 4*b + 26 + k = 0, -3*b = i - 44. Let j = i - -173. Is j composite?
False
Let w = 16686 - 7433. Let r = w + -5296. Is r composite?
True
Let q(c) = -c**2 - 5*c + 2. Let g = -31 + 27. Let x be q(g). Is x/9*8466/4 prime?
False
Let a be ((-3)/(1 + 8))/(3/(-54)). Let h be (24/16)/(a/4252). Suppose 3*t - 789 = 2*p, 2*t + p - h = -2*t. Is t a prime number?
False
Suppose -430 = -3*j + z - 3843, 5*z + 5655 = -5*j. Let d be (2 + -27)/(3/(-27)). Let u = d - j. Is u a composite number?
False
Suppose 5*l = -g + 302466, -4*g + 48451 + 72539 = 2*l. Is l a prime number?
True
Let u be (-20)/(-24) - 115/138. Suppose -c = -2*c + 34. Suppose u = -c*d + 28*d + 5478. Is d composite?
True
Let w(s) = -s**3 + 18*s**2 + 3*s - 30. Let t be w(16). Let u = t - 299. Suppose -z + 380 = -u. Is z a composite number?
True
Is (-3527)/2*(-20 + 19)*52/2 composite?
True
Suppose -11*j - 14*j - 146477 = -26*j. Is j a composite number?
False
Let a(o) = 338*o**2 + 3*o + 3. Let r(n) = n + 7 - 12*n - 4*n**2 + 6*n**2. Let m be r(5). Is a(m) a prime number?
True
Let i(f) = -f + 8. Let m be i(8). Let w = -67 - -71. Suppose -w*o + 0*k = k - 2647, m = -2*o + k + 1325. Is o a prime number?
False
Suppose -14*t + 396 = -5*t. Suppose t*v = 45*v - 2942. Is v composite?
True
Suppose -4*f + 3*k = -481252, -2*f = -4*k - 369980 + 129374. Is f a prime number?
True
Suppose -509 = -2*i + 5*r, 2*i - 2*r - 431 = 63. Let j = 597 - i. Is j a prime number?
False
Let a be (-2)/(-8)*4*0/4. Suppose -23*j + 16*j + 65177 = a. Is j prime?
True
Suppose -8 = 3*a - 2*u + 2, a + 25 = 5*u. Let y be (-10 - a)*(2055/(-25) - 5). Let v = 785 + y. Is v a composite number?
False
Let d(v) = 12*v - 14. Let w be d(-5). Let u be w*-1*(-147)/(-6). Let k = 3176 - u. Is k a prime number?
False
Suppose 0 = -r + 5*g + 96064, -2*r + 235473 = 3*g + 43306. Is r prime?
True
Let n be (-1020)/18 + 4/6. Let r = 60 + n. Suppose -r*w + 4213 = -4927. Is w a prime number?
False
Let s(o) = -5803*o - 2769. Is s(-14) a prime number?
False
Let d be 309*(0 - -141) + 3. Is ((-3)/2)/(6*(-3)/d) composite?
False
Is (-3)/6 + ((-2154201)/14)/(-19) a composite number?
True
Suppose z = 2*q + 165359, -4*q - 661452 = -384*z + 380*z. Is z composite?
False
Let l(s) = -5*s - 9. Let t be l(-4). Let j(u) = -3*u + 39. Let x be j(t). Suppose x*r + 842 = 7988. Is r a composite number?
True
Let o(a) = 5*a - 28. Let d be o(6). Is (d/4)/(((-33)/34734)/(-11)) a prime number?
False
Suppose -8*d + 7*d - 18 = s, 5*d + 38 = -s. Let n(w) = 40*w**2 - 39*w - 146. Is n(s) prime?
True
Let m(x) = 5*x. Let h be m(0). Suppose -4*l + h*l - 82071 = -5*k, 4*l - 49217 = -3*k. Is k prime?
True
Let v be ((-34025)/(-50))/(2 - (-6)/(-4)). Suppose -4*o = r - v, -4*o + 1592 = -4*r + 7036. Is r a prime number?
True
Suppose 3995899 = -133*g + 212*g. Is g a composite number?
False
Is (((-42004351)/(-178))/(1/(-2)))/(-1) a prime number?
True
Let w(t) = 92*t**2 + 389*t - 163. Is w(-40) composite?
False
Is (-1319 + 2)*220/(-132) a prime number?
False
Let x(j) be the first derivative of -3725*j**2/2 - 6*j - 8. Is x(-1) a prime number?
True
Let f = -806711 - -1736782. Is f a composite number?
False
Let s(r) = 1645*r + 29. Let x be s(13). Suppose 11*c - x = 27437. Is c a composite number?
False
Suppose -5*a = -4*q - 317, -73 + 4 = -a - 2*q. Suppose a*j - 79 = 64*j. Is j a prime number?
True
Let i = 154 - 228. Let u = -72 - i. Suppose -3*d + 2737 = 5*r, 2*r + 4572 = u*d + 3*d. Is d a prime number?
False
Suppose -3*r + 23841 = 5*j - 9228, -2*r + 19841 = 3*j. Suppose j = -11*s + 33884. Is s prime?
False
Suppose t = -3*d - 0*d + 21, -3*d = 2*t - 27. Let z be ((-18)/15)/(t/(-15)) - 0. Suppose -17 = -z*l + 4. Is l prime?
True
Suppose -48*g + 52*g - 2*l - 54348 = 0, 0 = -g + 4*l + 13573. Is g prime?
False
Let j(t) = 2*t + 21. Suppose -2*l - 18 + 2 = 0. Let k be j(l). Suppose 5*n = n + k*c + 1253, -4*n - 2*c + 1274 = 0. Is n prime?
True
Let j(w) = -w**2 - 1. Let b(o) = -35*o**2 - 7*o - 12. Let s(t) = -b(t) + 3*j(t). Suppose -28*p + 24*p - 8 = 0. Is s(p) composite?
True
Let w(z) = 96055*z - 3426. Is w(5) composite?
False
Suppose -3*m = 2*o - 15, -4*m = 2*o - 24 + 6. Suppose -6*f = -o*f - 24. Suppose -3*w + f*w - 17815 = 0. Is w composite?
True
Suppose 2*b - 104 = 44. Let h = b - 68. Is 2/(h/795) + 2 - 2 composite?
True
Suppose 58 = -33*u + 35*u. Let n = u - 27. Suppose 0 = -h + 2*x + 348 - 23, -n*h + 666 = 4*x. Is h prime?
False
Suppose -r + 2*z + 1735207 = 0, -21*r - z = -26*r + 8676053. Is r composite?
False
Let o(r) = r**2 - 11*r + 8. Let j be o(13). Let s = -31 + j. Suppose g + 3*q + 19 = s*g, -5*g = -4*q - 51. Is g a prime number?
True
Let b = -1199 + 10441. Is b prime?
False
Is (2 - 1)/((78/(-108078))/(-13)) composite?
False
Let g = 754 - 752. Suppose -g*w - 3046 = -6*w - 3*x, 5*w - 