 -282. Suppose 20956 - 1251 = l*f. Is f composite?
True
Let d(k) be the second derivative of -47*k**3/3 + 47*k**2/2 - k - 17. Let r = 17 - 25. Is d(r) composite?
True
Is 28/(-182) + ((-10)/(-13))/(14/1481501) composite?
False
Suppose 0 = g + p - 33518, 0 = -5*g + 3*p + 129354 + 38228. Let a = g + -10098. Is a composite?
True
Is (-244235192)/(-2040) + (-4)/30 a composite number?
False
Let c(b) = 102*b**2 - 898*b - 87. Is c(-121) a prime number?
True
Suppose 5*h + 481357 + 83388 = 5*j, 5*h - 451778 = -4*j. Is j a composite number?
True
Let f(d) = 12*d**2 + 27*d + 11. Suppose 4*a + 39 = -c + 92, 0 = 5*a + 4*c - 80. Is f(a) a composite number?
False
Suppose -2 = -2*c + 2. Suppose -4*s = c*w - 10910, -w = -0*w - 5*s - 5434. Is w prime?
True
Let n = -855 + 1342. Suppose -n + 5495 = -8*h. Let q = -253 - h. Is q prime?
True
Let l = 44510 + -25563. Is l a composite number?
False
Let u = -4941 - -11174. Is u prime?
False
Let i = -6414 + 6603. Let x = -321 + 583. Let b = i + x. Is b a composite number?
True
Let u(w) = -18*w - 70. Let y be u(-4). Suppose 5046 - 1130 = 4*m. Suppose -i = -y*i + m. Is i prime?
False
Suppose 5*z = n - 153534, 0 = -3*n - 2*z + 314039 + 146478. Is n a composite number?
False
Let l(w) = -35*w**2 - 3*w. Let v be l(-1). Let q = -28 - v. Suppose 1193 - 4645 = -q*m. Is m prime?
True
Suppose -4*p - 35 = -5*x + 27, 4*p = -12. Suppose -11*c + 2 = -x*c. Is 293*(c - -1)/(-9)*-3 a prime number?
True
Let y(s) = 31*s**3 + 8*s**2 - 7*s + 1. Let t be y(6). Suppose 5647 + t = 10*l. Is l prime?
True
Let v = -312 + 316. Let k = -28 - -28. Suppose 895 = 3*m - k*m + v*f, -590 = -2*m - f. Is m prime?
True
Suppose -4045263 = -62*w - 34*w + 27*w. Is w composite?
True
Is 25 - -258650 - (2*4)/(-2 + 3) a composite number?
True
Let n = 304 + -292. Is (-5)/(-15) + 33992/n a composite number?
False
Let f be (-2)/11 + (-679)/77. Let a be 95879/14 + 6/4. Is 2/f - (a/(-45) - 5) a composite number?
False
Let l be (-19)/((-2)/1*5/10). Suppose -l*w = w - 59020. Is w composite?
True
Is (-306602)/(-664)*(-8 - 0)*71/(-2) a prime number?
False
Let k(i) = -i**2 - 83*i + 11 + 27*i + 54*i + 26*i. Let r be k(24). Suppose c - 5892 = -r*c. Is c a composite number?
False
Let n(a) = a**3 + 117*a**2 - 288*a + 5. Is n(-69) a composite number?
True
Suppose -27*o + 9*o = -1333616 - 1364206. Is o prime?
False
Let w = -28 + 33. Suppose 4*i = -3*z + 3040, 4100 = 9*z - w*z - 4*i. Suppose -3*m + 2391 + z = 0. Is m prime?
False
Let g(b) = -526*b - 9. Let d(o) = 527*o + 8. Let u(n) = -4*d(n) - 5*g(n). Is u(2) a prime number?
False
Let y(l) = -611*l**2 - 27*l + 7. Let q(r) = 1834*r**2 + 80*r - 20. Let h(b) = 4*q(b) + 11*y(b). Is h(3) prime?
False
Suppose 3179 = 9*r + 8*r. Suppose d = r + 475. Is d a prime number?
False
Suppose 10*l - 2646843 = f, 0 = 5*l - 3*l + 5*f - 529405. Is l a prime number?
False
Let i(d) = 7*d**3 + 29*d**2 - 69*d - 59. Is i(20) a prime number?
True
Suppose 3*t - 776448 = -5*i, 21*t = 22*t - 2*i - 258827. Is t a prime number?
False
Let v be -5 - 40/(-5 + 0) - 10526. Let j = v - -20160. Is j a composite number?
True
Let k(q) = 193*q**2 - 2. Suppose 0 = 2*r + 2*i + 22, 5*r = 2*i - 6 - 42. Let v(y) = y**3 + 12*y**2 + 20*y + 1. Let s be v(r). Is k(s) prime?
True
Let r(v) = -3662*v + 73. Suppose 0 = -52*x + 56*x + 8. Is r(x) composite?
True
Let o(v) = v**2 - 10*v + 3. Let a be o(10). Suppose 3457 = 4*x - a*x. Is x composite?
False
Let i = 268 + -264. Suppose 0 = i*h - 42705 - 22819. Is h a composite number?
False
Let x(s) = 134471*s - 407. Is x(8) composite?
True
Let c(y) = -18*y + 25*y**2 + y**3 + 12*y + 25*y - 6 - 22. Is c(-15) prime?
False
Suppose -p + 7*p = 3*p. Suppose 2*l - 2*r - 3591 = 1229, p = -4*r + 12. Is l composite?
True
Suppose d + 21*u - 185244 = 20*u, 0 = 3*d + 5*u - 555730. Is d composite?
True
Let w(d) = 21*d**2 + 17*d + 173. Let j be w(-7). Let q = -584 + j. Is q composite?
False
Is 2065160 + -20 + 20 + 10/(2/1) composite?
True
Is (((-144216417)/(-74))/69)/(2/4) a composite number?
False
Suppose 0 = -2*h - 231 - 85. Let g be (h/6)/(4/24). Is (3 + 9)*g/(-8) a prime number?
False
Suppose -5*c + 4*z + 3074 + 205 = 0, 0 = 3*c + 5*z - 1960. Let r = 271 - c. Let a = 553 + r. Is a a prime number?
False
Let b(d) be the first derivative of 17*d**4/4 + 2*d**3 - d**2/2 - d + 420. Let k(j) = j**3 + 13*j**2 - 15*j - 12. Let y be k(-14). Is b(y) composite?
False
Let o = -247762 - -459945. Is o a composite number?
False
Suppose 0 = -4*d - l + 46261 - 3518, d + 3*l = 10672. Is d composite?
False
Let x(w) = -513*w + 519. Let b(j) = 1034*j - 1037. Let a(p) = 3*b(p) + 7*x(p). Is a(-49) composite?
True
Is (-42)/(-2331)*37*(-802014)/(-4) a prime number?
True
Let o(r) = -81*r**2 - 9*r - 18*r**2 - 12*r**2 - 61*r**2 - 14. Let n be o(-3). Let m = n - -2434. Is m prime?
False
Let a(k) = 307 - 155 - 3*k**2 + 54*k**3 - 126 + 12*k. Is a(5) composite?
False
Let p = 303 - 303. Suppose -3*z + 6465 - 1116 = p. Is z prime?
True
Suppose 21*n - 7*n - 238 = 0. Let i(h) = -2*h**3 + 34*h**2 + 32*h + 27. Is i(n) a prime number?
True
Suppose 0 = 7*d - 115 + 3. Suppose 11*s + 565 = d*s. Suppose 0 = 17*g - 1286 + s. Is g a prime number?
False
Let k(v) = v**2 - 6*v - 3. Let n be k(7). Suppose n*i - 44 + 6 = -5*s, -12 = 4*i. Suppose -f = 4*d - 10817, s*d - 5*d + f - 13522 = 0. Is d a prime number?
False
Is (-2 - -3)*101078*(-7)/(-14) prime?
True
Suppose 4*w = 2*w + 14. Suppose w*c - 60 = 4*c. Let i = c - 18. Is i a composite number?
False
Let b = 15667 + 2536. Is b composite?
True
Let w be -28*((-54)/(-42) + -1). Let x(u) = 746*u**2 - 20*u - 1. Is x(w) composite?
False
Suppose -2*z + 8*q - 10*q = -329624, 0 = -3*z + 4*q + 494415. Is z prime?
True
Let r = 190884 + 24413. Is r prime?
True
Suppose 5*x + 24*x - 3415128 = 5*x. Is x a prime number?
True
Let u(v) = -1108*v + 19*v - 667*v + 19 - 208*v. Is u(-3) composite?
True
Let c = -1093 - -6602. Is c a composite number?
True
Let l(x) = 4*x**2 + 3*x - 725*x**3 + 12 - 3*x + 6*x + 702*x**3. Is l(-5) composite?
False
Let h(p) = 91267*p**2 - 48*p + 79. Is h(2) a composite number?
True
Suppose -456*l - 427192 = -464*l. Is l a composite number?
True
Let s(c) = 163*c + 13. Let x(o) = -81*o - 7. Let f(m) = 2*s(m) + 5*x(m). Let r be f(11). Let t = r - -1639. Is t a prime number?
True
Let u be (-24)/((40/(-268))/(-5)). Let h = u - -529. Let k = h + 496. Is k prime?
False
Let y(u) = 3318*u**3 - 36*u**2 - 53*u + 12. Is y(7) a prime number?
True
Suppose 3*b = 2*r - 1465, 0 = 6*r - r + 3*b - 3694. Is r - -6 - (-2 + 2) a composite number?
False
Let l(v) = -6656*v - 945. Is l(-14) prime?
False
Let k(x) = 34*x**3 - 6*x**2 - 13*x + 23. Is k(6) prime?
False
Let o be (10 - 89/3)*-9. Let p be -24*1/((-3)/(-10)). Let b = p + o. Is b composite?
False
Suppose n = -b + 8053, -3297 = -3*b + 5*n + 20830. Is b a composite number?
True
Let q(a) = -a**3 - 10*a**2 - 3*a - 19. Let l(k) = -17*k**2 - 6*k - 4. Let z be l(-1). Is q(z) prime?
True
Let z(g) = -5605*g - 24. Let k(m) = m**3 - 8*m**2 + 9*m - 15. Let d be k(7). Is z(d) prime?
True
Let w = 146 + -146. Suppose -3*d + 4*n + 17169 + 2640 = w, -4*d = -n - 26399. Is d prime?
True
Suppose -152*a = -17421056 - 13607160. Is a a prime number?
True
Let b be (4 - 1)*(570/(-18))/(-1). Suppose b*t - 90*t = 0. Is 2480*(t + 1) + -3 prime?
True
Let b(y) = -564*y - 7. Let a be b(-8). Suppose 3*j + 31 = 5*t, -11*t + 9*t + 5*j + 20 = 0. Suppose a = -0*u + t*u. Is u composite?
True
Is -1*323922/(-18)*3 a composite number?
False
Suppose 12 = 5*v + 2. Is 2433 + v + 3 - 3 prime?
False
Let s = -23888 - -76879. Is s a composite number?
True
Is (-49)/(12740/(-312)) + 3657979/5 composite?
False
Suppose 8*v - 253878 = 25*v. Let u = -7747 - v. Is u a prime number?
True
Suppose 31*a - 280251113 + 44809041 = -121*a. Is a a composite number?
False
Let z be (-21)/2*(-6)/21. Suppose z*t - 16929 - 12954 = 0. Is t a composite number?
True
Let m(j) = 17 - 7 + 12 + 10*j**2 + 9*j - 2*j**2. Let b be m(-7). Suppose -276 = -3*r + b. Is r composite?
True
Suppose 4*t - 513 = -133. Suppose n - 291 = 4*q, -2*n + q = -t - 508. Suppose -3*r + 2136 = n. Is r a prime number?
False
Let x(s) = -3*s**3 - 76*s**2 - 6*s + 123. Is x(-48) prime?
False
Let v = -65 - -256. Suppose 3*o - v = 2*o. Is o prime?
True
Suppose -6 = -2*n - 2. Let f(r) = -17 + 91*r**2 + 81*r**2 - 70*r*