e?
False
Let a(b) = 14*b**2 - 4*b + 19. Let d = 100 - 128. Let i = -19 - d. Is a(i) a prime number?
True
Let b = 12352 - 5711. Is b a prime number?
False
Is (-121)/11 + 16 + (0 + 1)*67514 a prime number?
False
Suppose 0 = -4*p - 4*n + 297425 + 52755, -4*n = 0. Is p prime?
False
Is 2/11*-1 + 415575/275 prime?
True
Let n(a) be the second derivative of -a**5/60 + 5*a**4/8 + 13*a**3/6 + 41*a**2/2 + 43*a. Let c(f) be the first derivative of n(f). Is c(13) prime?
False
Let w(c) = c**3 - 7*c**2 - 17*c - 2. Let b = -1017 + 579. Let u be b/(-30) - (-3)/(-5) - 2. Is w(u) composite?
True
Suppose 0 = 16*p - 33*p + p + 1866608. Is p composite?
False
Let n be (-9)/1 - (2 - 28/4). Is n/(-6)*57033/6 a prime number?
True
Let r(g) = -21*g**3 + g**2 - 7*g + 10. Let l be r(-4). Suppose o + 15 = 4*o. Suppose -n = o*n - l. Is n a prime number?
True
Suppose 23*w + 8040 = 24*w + 5*i, 6*w + 5*i = 48215. Is w a prime number?
False
Let j be ((-16)/10)/(32/(-80)). Suppose j*i = -3*w + 5*w - 160, 9 = 3*i. Let u = w - -323. Is u a composite number?
False
Let m(v) be the third derivative of 24*v**2 + 17/6*v**3 - 21/8*v**4 + 0 + 0*v. Is m(-10) prime?
True
Is (-72)/252 - 949895*3/(-21) a prime number?
False
Is 425622/10*120/48*8/12 a prime number?
True
Let u(s) = 115*s**2 + 164*s + 90. Is u(-19) composite?
True
Is 5653*(162 + ((-90)/5 - -5)) a prime number?
False
Suppose 2*d = -3*d - 2*t, -3*d + 3*t + 21 = 0. Is (-1)/(-2*d/1948) composite?
False
Let q be (1 + (-9)/(-6))*110/25. Suppose -31576 = -q*y + 3*y. Is y prime?
True
Let p(q) = 19*q + 4. Let w be p(5). Is 11/w*6 - (-3794)/6 a prime number?
False
Is 19 + 11871243/36 + (-4)/(16/(-5)) prime?
False
Let l(t) = -t**3 - 14*t**2 - t - 9. Let q be l(-14). Suppose 23*i + 3907 = r + 26*i, -q*r + 19535 = -2*i. Is r a prime number?
True
Suppose 3*y - 24473 = 4*i - 129890, 2*i + 3*y = 52713. Suppose i = r + 14*r. Is r a prime number?
False
Let n(d) = 2276*d + 99. Let m be n(7). Suppose 0 = -3*u + v - 5*v + 24019, 0 = 2*u - v - m. Is u a prime number?
False
Suppose 2*y - 35 = -8*w + 5*w, 4*w + 4*y - 48 = 0. Suppose -5*n + f = -7911, -10*f = -4*n - w*f + 6336. Is n a prime number?
True
Let u be 20/2 + (-2)/2. Let g(f) be the third derivative of f**5/12 - f**4/6 + 5*f**3/3 - 461*f**2. Is g(u) composite?
False
Let q be 2/1*(63/(-2))/(-9). Suppose -6*z = q*z - 1716975. Is ((-1)/(-3))/(25/z) composite?
True
Is 216568 - (-8)/40*-15 a composite number?
True
Suppose -14 = -4*u - 6. Suppose -u*f + p = f, 0 = -f + p + 2. Is 839 + 3 + f*(2 + -2) prime?
False
Let x be 846/63 + -13 - (-92)/14. Suppose -5962 = -x*s + 1745. Is s prime?
False
Let h(j) = 7*j**3 - 43*j**2 + 49*j + 22. Let p(z) = 11*z**3 - 65*z**2 + 74*z + 33. Let x(s) = -8*h(s) + 5*p(s). Let g be x(18). Let k = -14 - g. Is k prime?
False
Let o(k) = 20*k + 44. Let f(n) = -5*n - 11. Let w(l) = -26*f(l) - 6*o(l). Let z be w(-2). Is -1 - (-2405)/z - (-3)/(-6) a prime number?
True
Let h be 16/(-28) + 16/28. Suppose -19*y = -h*y - 90079. Is y a prime number?
False
Let m(x) = x**3 + 9*x**2 - 2*x - 17. Let c be m(-9). Is -853*c*(-4)/12*3 prime?
True
Suppose 2*p - z = 5 + 13, 0 = -p + z + 11. Suppose 6*b - p*b = -3. Is ((b + -1)/2 + -2)*-13 prime?
True
Let x(k) = 3*k**2 - 29*k - 16. Let s be x(11). Is 6/(-21) + ((-96168)/s)/(-2) a composite number?
True
Let r(v) = 4*v - 29. Let p be r(29). Suppose 62*a - 63*a + p = 0. Is a a prime number?
False
Is (-1 + (-4)/(-2))*-4*(-301315)/20 a composite number?
True
Let o(g) = 5169*g - 3418. Is o(11) composite?
False
Is (-53254898)/(-602) + 2/(-56) + 1/(-4) composite?
False
Suppose 19 = 3*b + v, -b - 5*v - 2 = -27. Suppose -5*y - 3*c + 2163 = -1261, 3*y - 2048 = -b*c. Suppose 10*q - y = 1684. Is q a composite number?
True
Suppose -193 = -8*i + 87. Suppose 0 = 34*v - i*v + 10223. Is v prime?
True
Let f(b) be the second derivative of 83*b**4/12 - 9*b**2/2 - 14*b. Is f(4) a composite number?
False
Suppose -214951 = -5*c + 2*f, -12*c + 85972 = -10*c + 2*f. Is c composite?
False
Let q be (-693)/(-42) + (-6)/(-4). Suppose -q = -7*h + h. Suppose -h*u + 5874 = 3*u. Is u a composite number?
True
Suppose -4*c = 8, 10*f - 4*c = 7*f + 20. Suppose f*w - 2*b - 45518 = 0, 0 = -2*b - 0*b - 2. Is w prime?
False
Let d(l) = -9*l**2 + 4*l - 3073. Let v(r) = r**2 - r. Let p(i) = -d(i) - 4*v(i). Let q = -349 + 349. Is p(q) prime?
False
Let y(w) be the second derivative of 2*w**4/3 - w**3/3 + 25*w**2/2 - 32*w. Is y(18) a prime number?
False
Suppose -7*l + 2204 = -344. Let v = 40 - l. Let x = -139 - v. Is x a composite number?
True
Suppose 0 = 7*z - 10*z - 4*b + 95179, 5*z - 158609 = -b. Is z a composite number?
False
Let o = 1337 - -982. Let s = 427 + o. Is -1 + 0 + -2 + s a composite number?
True
Suppose 7*a + 291 = -80. Let m = -59 - a. Let r(i) = -30*i + 5. Is r(m) composite?
True
Suppose c - 9297 = -2*t, 51*c = 46*c - 3*t + 46471. Is c a composite number?
False
Let a(q) = 2505*q**2 - 1. Let g be a(1). Suppose g = 4*r - 5*y, 5*r - 659 = 2*y + 2488. Is r a prime number?
True
Suppose 3*q + 12 = -0, 0 = -5*h + q + 19. Suppose 0 = h*s - f - 7183, s - 2371 = 2*f + 3*f. Suppose y - 1449 = s. Is y composite?
True
Suppose -194454 = 15*f + 66771. Let o = f + 25684. Is o a prime number?
True
Let r(j) = -14 - 26 + 12 - 14 - 30*j. Let l be r(-12). Suppose 6*b = l + 18216. Is b composite?
False
Let y = 2565 + 28178. Suppose -4*h = -y - 81053. Is h a composite number?
True
Let q(c) be the third derivative of -3*c**6/40 + c**5/5 + c**4/2 - 38*c**3/3 - 224*c**2. Is q(-9) prime?
True
Let m = 97163 + -54672. Is m a composite number?
False
Let s(k) = -k**3 + 3*k**2 + 5*k. Let b be s(5). Is (-36760)/b - 12/(-20) a prime number?
True
Is -23 + 48818 + 17 + -13 a composite number?
False
Suppose 3*r = -13*r - 4*r. Suppose r = -2*y - 5*k + 4*k + 23591, 0 = -2*y + 4*k + 23606. Is y composite?
True
Suppose 4*u - 4*x = 489980, -u + 54*x - 52*x = -122495. Is u a composite number?
True
Let z(g) be the second derivative of 7*g**4 + 5*g**3/3 + 65*g**2/2 + 40*g. Is z(-9) composite?
False
Let u(g) = -8*g**2 - 2*g - 5. Let k be u(3). Is 59/(-2)*(37 + k) a prime number?
False
Let r be ((-3)/(-6))/(4/66648). Suppose -r = -5*f + 8494. Is f composite?
True
Suppose -298262 + 114176 = -10*t + 381584. Is t prime?
False
Let i = 35 - 35. Suppose 4*y = -i*y + 16, -5*y = -4*q + 8488. Is q/12 + (-1)/4 a composite number?
True
Let j = 1569 + -425. Suppose -i - 3*z + 25 = -0, i + 2*z = 20. Suppose -i*r - 34 = -j. Is r a prime number?
False
Let n(h) = h**3 + 3*h**2 - 1. Let g be n(-3). Let i be 841/(2 + -4 - g). Let z = i + 1590. Is z a composite number?
True
Suppose -5*u + w + 17 = 0, w + 13 = 5*u + 2*w. Let k be ((u + -45)*3/(-2))/1. Let j = k - -124. Is j a composite number?
True
Suppose 0 = 2*x - 0*x + 2. Let a be 1498*(0 - 1) - x. Let g = -742 - a. Is g a composite number?
True
Suppose 4*f = 5*c + 409, f - 3*c = -f + 207. Let a = 1928 - 1926. Suppose 5*y = -m + f, -2*m - a*m = -2*y - 362. Is m a prime number?
False
Let o(s) = s**2 + 4*s - 130. Let h be o(9). Let p(y) = 12*y**2 - 12*y + 47. Is p(h) composite?
True
Suppose 0 = 4*n - 2*u - 1602734, 4*u - 7*u + 21 = 0. Is n a composite number?
True
Let k(q) be the third derivative of -95*q**4/8 + 59*q**3/6 + 3*q**2 + 26. Is k(-14) a composite number?
False
Let m(l) = -1 + 18 + 116*l - 37*l. Suppose 86*g - 253 - 33 = 230. Is m(g) a composite number?
False
Suppose 3*q + 3*q = 5688. Suppose 5*x + q + 21497 = 5*c, 0 = -2*c - x + 8972. Is c prime?
False
Let l = 62283 - 43204. Is l composite?
False
Suppose -x = i - 2172541, -749*i + 748*i = 4*x - 2172547. Is i prime?
True
Suppose -28573 = -c - 4*b - 6887, -5*c + 108447 = 3*b. Let y = -15493 + c. Is y composite?
False
Suppose 2*c - 1 = 21. Let q(g) = -g**3 - 11*g + 19. Let v be q(c). Is (-3 - (2 - (v - 3)))/(-1) a prime number?
False
Let k = 655727 - 73584. Is k a prime number?
False
Suppose -3*v - 3*y = -69, -4*y - y = 3*v - 73. Let g = 115 - v. Suppose -2*u + 3*i + i + g = 0, i = 3. Is u a composite number?
False
Suppose k + k - 3*c - 3 = 0, -9 = -2*k - 3*c. Let q be (-2)/11 - (k + (-808)/88). Is (0 - 1108/q)*(-36)/8 prime?
False
Let q = -37 - 115. Let z = q - -411. Is z composite?
True
Is 19/(-1)*289832/(-152) a prime number?
True
Let p(m) = 169*m**2 - 5*m + 31. Let k be p(-10). Let w = -11630 + k. Is w composite?
False
Le