 p + 92 = -16*n + 19*n, 2*p = -n + 19. Let m(x) be the second derivative of 7*x**4/12 + 17*x**3/6 + 9*x**2/2 + 4*x. Is m(n) a prime number?
True
Let y be 3 + 41/(-4)*(-16 + 4). Suppose 5*c + 273 = 2*x, 4*x - c + y = 5*x. Is -2*(-1 - -2) + x prime?
True
Suppose -494*d = -109*d - 291094420 + 100520575. Is d composite?
True
Let i be (28/14)/(4/7738). Let n = i + -2614. Is n composite?
True
Let n(l) = 735*l**3 + 9*l**2 + 31*l - 147. Is n(4) a composite number?
False
Let u be ((-3)/5)/((-2)/70). Let w be (4/(-28) - 32/u)*-210. Suppose -w = -5*l + 35. Is l prime?
False
Let c(n) = -6*n - 36. Let r be c(5). Let m = -72 - r. Let x(s) = 12*s**2 + 10*s + 7. Is x(m) prime?
True
Suppose 4*o - p = 17964, -3*o + 4*p + 17952 = o. Suppose -224*r + 228*r - o = 0. Is r composite?
False
Suppose -43*o + 78322142 = o - 6*o. Is o prime?
True
Let b = -118 - -121. Let a be (-1 + b + -4)*-1. Suppose -2*p = a*v - 516, 2*p + 1318 = 5*v - 0*p. Is v a composite number?
True
Let o = -158733 - -239384. Is o a prime number?
True
Suppose -82411 = 6*s - 10*s + 447225. Is s a composite number?
False
Is ((-12)/8)/(170/238 - 9755133/13657098) a composite number?
True
Is (110020/(-12) - -1)/((-16)/24) prime?
True
Is (369/27 - 13) + (-57392)/(-6) prime?
False
Let i(o) = 6*o**2 - 13*o - 65. Let z be i(-7). Let v = z - 66. Is v composite?
True
Let f = -183238 - -744647. Is f composite?
False
Is (-3)/2*110091294/(-621) prime?
True
Let r be (5*1 - 1)*541. Let p(f) = 838*f**2 - 63*f + 5. Let v be p(2). Let w = v - r. Is w prime?
False
Suppose -5*k + 17739 + 17501 = 0. Suppose -k - 24632 = -10*g. Suppose 5*z = -5*j + g - 873, 4*j = -3*z + 1373. Is z composite?
False
Let q = -16141 - -34223. Is q a prime number?
False
Let n = 159490 + -86253. Is n a prime number?
True
Suppose 4*i = -2*j + 3956, -5*j - 2*i + 11067 - 1161 = 0. Let v = 5169 + j. Is v a composite number?
False
Let v(d) = 2*d**2 - 6*d + 2. Let y be v(4). Is (35428/y)/(70/175) a prime number?
False
Let n(a) = 3*a**2 - 25*a - 2. Let u be n(8). Let f(l) = 2*l**2 - 3*l + 21. Is f(u) a composite number?
False
Suppose -136355 = -25*o + 89470. Is o a composite number?
True
Suppose -8*d + 6*d - 9319 = s, 0 = 5*d + 4*s + 23302. Is d/411*1/((-2)/447) prime?
False
Let j = 169490 - 118419. Is j prime?
True
Let c be -2*(-6)/3 + -23 + 12. Is (-28)/196 - ((-249176)/c)/(-4) prime?
False
Let l(y) = 3606*y - 2159. Is l(72) a prime number?
True
Let k(v) = 95*v + 331. Suppose -3*q - 7*q = -300. Is k(q) a prime number?
True
Let o = 14085 - 4241. Suppose o = 22*b - 18*b. Is b a composite number?
True
Let s = 30859 + -30020. Is s prime?
True
Suppose 40 - 55 = 5*i. Is ((-14)/i)/7*38406/4 a composite number?
True
Let u(o) be the first derivative of -49*o**2/2 + 17*o + 9. Suppose -4*p = 32 - 0. Is u(p) a composite number?
False
Let n(r) = 18*r - 6 - 14*r - 5 - 2. Let q be n(4). Suppose 426 = 3*o + q*z, 4*o - 450 = o + 5*z. Is o a composite number?
True
Let r(b) = 4*b + 21. Let m(c) = -c**2 - 14*c + 11. Let v be m(-15). Let p be r(v). Suppose -2*k - 2*k - 3139 = -5*h, -5*k - 3135 = -p*h. Is h prime?
True
Let v(w) = 10*w + 4. Let k be v(0). Suppose 1 - 4 = 3*l. Is (1 + l*142)/(-5 + k) a composite number?
True
Let z = -8 + 9. Suppose -3*s + 5*n = -4*s + 4, 4*n + 22 = -5*s. Is (1 - (-420 - z))*(-3)/s a composite number?
False
Let p(u) = 12202*u**3 + u**2 + 2*u + 6. Let v(a) = a**3 + a**2 + 2*a. Let l(c) = p(c) - 3*v(c). Is l(1) composite?
True
Let m(t) = -1912*t - 605. Is m(-9) a composite number?
False
Let y(p) = 11*p**2 - 38*p - 24. Let l be y(21). Suppose -5693 = -2*z + l. Is z a prime number?
True
Let u be (-7)/(-7)*1 + -1091. Let j = 3397 + u. Is j composite?
True
Let f(o) = -10575*o + 6. Let h be f(-1). Suppose 3*j - h = 7812. Suppose -3*q + j = 4*g, -5*g + q = -0*q - 7640. Is g a prime number?
False
Let u(k) = -6*k**3 - 11*k**2 + 8*k + 26. Let j be u(-8). Suppose 5*s = 3*s + j. Is s composite?
True
Suppose -q - q + 20 = -4*r, -24 = 3*r + 3*q. Is -3*((131684/r)/7 - -5) a prime number?
True
Let w be ((-4)/(-3))/(-1*8/4752). Let q = w + 1465. Is q a composite number?
False
Is 38/(-34) - -1 - 19082910/(-2618) a composite number?
True
Let k(f) = 16*f**2 - 12*f + 9. Let r(d) be the third derivative of 31*d**5/60 - 25*d**4/24 + 3*d**3 - 14*d**2. Let o(w) = 7*k(w) - 3*r(w). Is o(7) prime?
True
Suppose -10595 = 26*l - 44083. Suppose -321 = 4*q + 4*v - 5*v, q - 2*v + 75 = 0. Is (l/(-6))/(-1) - 27/q a composite number?
True
Suppose 4 = 2*t, -4*a + 380137 = -4*t - 238475. Is a a composite number?
True
Is 28/(-6)*(-3)/2 - 1362480/(-24) composite?
True
Suppose 5*v - 20 = -5*f, 4*f - 2*f - 7 = -3*v. Suppose -4*m - 3*k = 9, k = m - 2 - 1. Suppose s + 5*n - 5001 = -3*s, m = s + f*n - 1254. Is s composite?
False
Suppose z = -2*z - 2*p + 11, p = 5*z - 27. Suppose z*w = -4*x + 4737, -w - 2308 - 1259 = -3*x. Let b = x - 269. Is b a prime number?
True
Let j(a) = -2929*a**3 - 18*a**2 - 17*a - 1. Is j(-1) composite?
False
Suppose -1978 = -3*x - 220. Let f = -5 + x. Is f prime?
False
Let b(y) = 225*y + 21. Suppose 0 = -13*q - 146 + 510. Suppose 2*k + q = 3*v, -v + 8*k = 4*k - 26. Is b(v) prime?
False
Let m = 16033 + -11498. Is m prime?
False
Let s = -2757 - -1243. Let k = 3178 + s. Suppose k = 4*n + 3*x, 0*n + 2*n + 5*x = 818. Is n composite?
False
Suppose -21*f + 991586 = -2641234 + 743913. Is f composite?
False
Let f(q) = 4*q**3 + 8*q**2 - 16*q + 35. Let o be f(14). Suppose -37*h = -42*h + o. Is h a prime number?
False
Suppose 0 = -78*z + 103*z - 2154025. Is z prime?
True
Let j(y) = 2*y**2 + 4*y + 7. Let g be j(0). Suppose -l + 2*t = -230, 3*l - 2*t = 338 + 344. Suppose g*x - l = 551. Is x composite?
True
Suppose -204 = 3*u - 15*u. Suppose -u*n = n - 6228. Is n a prime number?
False
Suppose 0 = -2*i + f + 609572, 2*f = -2*i + 662675 - 53085. Is i a prime number?
True
Suppose 2*k + 5*f - 189354 = 0, -6*k + 851165 - 283055 = 3*f. Is k a composite number?
False
Suppose 0 = 5*m - w + 166, 3*m = -2*m + 2*w - 162. Let i = 665 + m. Is i a composite number?
False
Suppose 0 = 4*z - 6856 + 1008. Let f = -272 + z. Let w = f + 209. Is w prime?
True
Is 24/144 - (-248657)/6 prime?
True
Let u = 297559 + -206628. Is u a composite number?
False
Let k = 59 - 50. Suppose -3*p + k = 0, -s - 5*p + 5 = -3*s. Suppose 3*h - 36 = 4*u + 6, 5*u - 35 = -s*h. Is h a prime number?
False
Suppose 4*h + 4 = 3*f, 12*h - 9*h - 23 = -f. Let i = -1 + 9. Is i - f - (398/(-2))/1 prime?
True
Let r(g) = g**2 - 70*g**3 - 176*g**3 - 32*g + 28*g - 7. Is r(-2) prime?
True
Let a(d) = d**3 + 42*d**2 - 32*d - 341. Is a(48) a prime number?
True
Let r(g) be the first derivative of 2*g**3 - 23*g**2 + 151*g + 12. Is r(35) a composite number?
True
Let r be ((-3)/2)/(42/(-112)). Suppose 3*y - 7703 = -9*u + r*u, -4*y + 3070 = 2*u. Is u prime?
True
Suppose -60*v + 58*v = -4. Suppose -w + 6867 = v*d, 3*w + 37 = 40. Is d a composite number?
False
Suppose 583748 = -7*z + 1403833. Is z a prime number?
False
Let g(u) = 560*u**2 - 100*u + 917. Is g(8) a prime number?
False
Suppose 4*h + 4*n = 7*h - 547, 0 = 4*h - 5*n - 731. Let m be 2/(-2) + -25*3. Let y = m + h. Is y prime?
True
Let w(k) be the third derivative of 3*k**4 - 7*k**3/2 - 454*k**2 - 1. Suppose 4*v + m - 20 = 0, m + 16 = 5*m. Is w(v) a prime number?
False
Let b = 43959 - 24374. Is b prime?
False
Let f = 515657 + -258985. Is f/156 - (-1 - (-1)/3) a prime number?
False
Let m = 297779 - 153196. Is m composite?
False
Let d(c) = 6*c - 25. Let m(i) = -7*i + 3 + 34 - 11. Let s(v) = 6*d(v) + 7*m(v). Is s(-13) composite?
True
Let k(g) = -71*g**3 + 4*g**2 + 18*g + 17. Is k(-4) a prime number?
False
Let a(n) = -359*n**3 + n**2 - n - 3. Is a(-4) composite?
False
Let y = 199964 + -141921. Is y prime?
True
Let q be 3/(-6)*0 + (-5 - -5). Suppose q = 2*n - 4*c - 362, 4*c + c = 2*n - 367. Let v = n - 68. Is v a composite number?
False
Let c(n) = 4525*n**2 - 69*n - 407. Is c(-4) a composite number?
False
Let l(c) = c**3 - 13*c**2 + 11*c + 15. Let k be l(12). Let v(r) be the first derivative of 67*r**4/4 + 5*r**3/3 - r**2/2 - 4*r + 53. Is v(k) composite?
False
Let n(o) = -13*o**2 + 25*o + 56. Let s be n(-8). Is (-4)/(-12) + 0 - s/6 composite?
False
Let k(m) = -2*m**2 + 44*m - 37. Let w be k(21). Let l(j) = 6*j**3 - 16*j**2 + 7*j - 12. Is l(w) composite?
False
Let k(h) = 2187*h + 120. L