prime number?
False
Let g(f) be the third derivative of -7/24*f**4 + 0*f + f**2 + f**3 + 7/60*f**5 - 1/120*f**6 + 0. Is g(5) composite?
True
Suppose 5*j - 7*i + 10*i = 6814, 2*i + 6799 = 5*j. Is j composite?
False
Let h(t) be the second derivative of t**4/12 + t**3/3 + 2*t**2 - 8*t. Let b be h(-4). Let r(i) = -i**3 + 13*i**2 - 10*i + 15. Is r(b) prime?
False
Suppose -21 + 12 = 3*m. Is 0 - (-1111)/3 - 2/m a composite number?
True
Suppose -2*f + 1413 = -5*f + 3*q, -5*f + 3*q - 2351 = 0. Let b be 0 + -2 + 1 + 909. Let h = b + f. Is h a composite number?
False
Suppose 41757 = -204*m + 207*m. Is m a composite number?
True
Is 25393/4 + (-60)/(-80) a prime number?
False
Let u(q) = -q**2 + 25*q. Let p be u(22). Suppose -5*h - 2 = -27, -2*h - 370 = 4*c. Let d = p - c. Is d composite?
True
Let y(s) be the second derivative of -s**4/12 + 79*s**3/6 + 2*s**2 - 7*s. Let n(d) be the first derivative of y(d). Is n(0) a composite number?
False
Suppose 0 = -220*z + 219*z + 2579. Is z prime?
True
Suppose -2*k - 31 = 153. Let q = -55 - k. Is q prime?
True
Suppose 6*x - 4602 = -2*h + 8*x, 2*x + 9210 = 4*h. Suppose 4*d - 4*m = h, -d - 2*d + 1733 = 2*m. Is d composite?
False
Suppose x - 20 = -16. Suppose -151 - 485 = -x*l. Suppose -4*h + 0*h = -2*b + 110, 3*b = 4*h + l. Is b a composite number?
True
Let o(y) = 32*y**3 - y**2 - 3*y + 5. Let s(a) = -a**2 - 16*a + 2. Let j be s(-16). Is o(j) a composite number?
False
Suppose -26 + 51 = 5*c. Suppose c*b - 4228 = b. Is b a prime number?
False
Let g be (2/6)/(5/(-75)). Suppose -x - 2 = 0, -4*h + 5*x + 10 = 4*x. Is h + (96 - (-4 - g)) a composite number?
False
Let l(n) = -n + 3. Let m be l(0). Suppose 0 = m*u - 3*o, 3*o + o = 16. Suppose -u*w = -w - 66. Is w prime?
False
Is 29405 - (3 + -10 + 1 + 2) prime?
False
Let t be -1*(2 + -6 - 1243). Let r = 383 - t. Is (-2)/11 + r/(-33) prime?
False
Let b = -16 + 7. Let h = -6 - b. Suppose -h*j - 5*z + 216 = 0, 4*j - 98 - 164 = 2*z. Is j a prime number?
True
Suppose -2*b + 795 = 4*v + 3*b, 3*b = -15. Let m = v - -636. Is m composite?
True
Let i = 1042 - -1879. Is i a prime number?
False
Let q(b) be the first derivative of -2*b**3/3 + 6*b**2 - 15*b - 6. Let m be q(11). Let z = m - -252. Is z a prime number?
True
Suppose 2*v - 17 + 5 = 0. Suppose 3*o + v = 0, k - 3*o - 1323 = -0*o. Is k composite?
True
Suppose 99*m - 101*m + 5*g = -150507, -g + 376254 = 5*m. Is m composite?
True
Let w(v) = -59*v + 59*v + v**2 - 16 + 2*v**3. Is w(7) prime?
True
Let x = -133956 - -196519. Is x composite?
False
Let y(b) = -41*b**3 + 2*b**2 - 10*b + 2. Is y(-5) a prime number?
True
Let o(c) = -878*c - 56. Let j be o(-7). Suppose 1300 = -10*z + j. Is z prime?
True
Let t(j) = 81*j**2 + 17*j + 2. Let x be t(-3). Is 3 + (-2 - x/(1 - 2)) a prime number?
False
Suppose 529 + 4691 = 2*k. Suppose 11502 + k = 3*c. Is (-14)/(-77) - c/(-22) composite?
True
Suppose -3*h + 8850 - 927 = 0. Is h composite?
True
Let l be (-1 - (-14)/10) + (-236)/(-10). Is 4629/(-2)*(-16)/l a prime number?
True
Let f(l) be the first derivative of -415*l**2/2 + 2*l - 4. Let d be f(2). Let c = 1239 + d. Is c composite?
True
Suppose -3*w - 5*w + 1096 = 0. Suppose 2*d - w = 285. Is d composite?
False
Let s(n) = -n**3 - 2*n**2 + 2*n - 3. Suppose -y = 0, 0 = 5*p - 2*y - y + 15. Let g be s(p). Suppose g = -4*o - 112 + 2892. Is o a prime number?
False
Suppose -5*y = 8316 - 82636. Let q = y + -7045. Is q composite?
True
Is -2495*(390/(-25))/6 a prime number?
False
Let x(k) = 8*k**2 - 4*k - 38. Is x(-4) a composite number?
True
Let c(f) = f - 3*f**2 + 8*f**2 + 5 + 2*f - 6*f. Let u be (-32)/(-14) - 20/70. Is c(u) composite?
False
Let m be (7/(-21))/((-2)/4722). Suppose -b = 5*q - m, -b = 3*q - 0*q - 787. Is b a prime number?
True
Suppose 5*d + 21 = 2*o, 4*o - 21 = -2*d + 5*d. Suppose -5*h = 5*k - 3280, o*k = 2*h + 471 - 1793. Let i = -371 + h. Is i composite?
True
Let v(j) = -j**3 + j**2 + 2*j**2 - 2*j**2 + 5. Let c(m) = -m**3 + m**2 + m - 5. Let o be c(0). Is v(o) prime?
False
Let a(k) = 163*k**2 + 2*k + 3. Let u be a(5). Suppose -u = -0*f + f. Is 3/(-4) + f/(-32) composite?
False
Let y(t) = t - 8. Let r be y(11). Suppose 7*o - 2320 = r*o. Suppose 0 = -3*f - f + o. Is f prime?
False
Is ((-183802)/(-18) + 2/(-9))*1 composite?
False
Let d(h) = -h + 4. Suppose -7*k = -3*k - 28. Let j be d(k). Is j + 3 - 4 - -335 a prime number?
True
Suppose -4*q + 8367 = 3*c, 4*c = q + 14910 - 3754. Is c a composite number?
False
Suppose 3*a + 2*c - 7378 = 8055, 5*a - 25731 = -c. Is a a prime number?
True
Let i(k) = 2178*k + 7. Is i(3) a composite number?
True
Let h(c) = -5*c**2 + 20*c**2 - 2*c + c - 1 - 4. Let r(z) = 8*z**2 - 3. Let y(d) = 6*h(d) - 11*r(d). Is y(3) composite?
False
Let l = 604 - 352. Let v be ((-1)/(-2))/(1/(-70)). Let o = v + l. Is o composite?
True
Let a(d) = -d**3 + 1705*d - 7*d**2 - 1709*d + 2 + 18*d**2. Is a(6) composite?
True
Let t = -158 - -224. Suppose -3*f + 5*f - t = 0. Is f composite?
True
Let y be 0/(-3 + -1)*-1. Suppose y*n = 5*n - 9005. Is n composite?
False
Let z = 0 + -1. Let o be (-2)/6*18/z. Suppose -4*w = -o*w + 134. Is w a prime number?
True
Let s(t) = 1926*t**3 - 2*t**2 - 27*t + 55. Is s(2) prime?
True
Let v = -13518 - -42031. Is v prime?
True
Let o(t) = -35*t + 7*t - 26*t + 7. Let s be 3/(-1)*(-8 + (16 - 7)). Is o(s) a prime number?
False
Let p(i) = 5*i - 32. Let t be p(8). Is (t/24)/(8393/(-4197) + 2) prime?
True
Suppose -10 = 3*b + 2*b. Is b/(-9) + 4 + (-1951)/(-9) prime?
False
Let l = -2 - -5. Suppose -3*f - 14 - 12 = 2*p, 14 = -l*f + p. Is -7*2*3/f prime?
True
Let c = 26 - 23. Suppose 2*a = 4*b + a - 2450, 4*b - c*a - 2446 = 0. Is b a composite number?
False
Let r(s) = s**3 + 9*s**2 + 7*s + 1. Let k be r(-8). Suppose 5*v + k*z - 253 = 8*z, 10 = -5*z. Is v prime?
False
Let i = 67 + -63. Suppose 2*x - 3152 = -i*r, -4*r - 5*x = -0*x - 3158. Is r prime?
True
Is (-38 + 3 + 7)*2246/(-8) composite?
True
Is (-72870)/(-35)*3*(-2)/(-12) prime?
False
Let f = 78 - 62. Let q(m) = 4*m**2 + 5*m + 11. Is q(f) a prime number?
False
Let x = -21870 - -33313. Is x composite?
False
Let z(y) = 0*y + 2*y + 1 + 117*y**2 + 223*y**2. Is z(-1) a composite number?
True
Suppose -3*b - 4*u - 4 = 0, 5*u = -4*b - 1 - 3. Suppose x + 2*x - 3*a - 4686 = 0, -b*x + 3*a = -6245. Is x composite?
False
Let k be (15 + -13)*(2609/2 - 1). Suppose -k = 52*q - 55*q. Is q composite?
True
Let w be ((-352)/48)/(2/3)*-1. Suppose -5*p + 4*z + 1040 = 0, -3*p + 2*p = -3*z - 197. Let h = p + w. Is h a composite number?
False
Let f be (0/4)/(0 + -1). Suppose -y + 3*n - 1 = f, -n + 4 = 2*y - 1. Is 356/(-16)*(-24)/y composite?
True
Let g = -49 + 98. Let a = 60 - g. Is a a composite number?
False
Let o = -462 + 796. Suppose t - o = -b, b - 248 = 2*t + 95. Is b prime?
True
Let s = -435 - -220. Let g = 33 + s. Let y = 383 + g. Is y a composite number?
True
Suppose 2*o - 2378 = -5*u, -16*u = 4*o - 14*u - 4756. Is o a prime number?
False
Is 36/(-12)*(17902/(-6))/1 a composite number?
False
Suppose 10*n - 2*n = 496. Suppose w - n - 201 = 0. Is w a composite number?
False
Suppose -32*j + 100175 = -7*j. Is j a prime number?
True
Let b be (-4)/(-18) + 5390/126. Is (-4)/(-4)*(b - 0) a prime number?
True
Let c(i) = -1120*i - 71. Is c(-16) a composite number?
True
Let a(i) = -3109*i + 169. Is a(-12) a prime number?
False
Suppose 0 = 4*y - 6 + 2. Let c be 561 + y*(-2)/(-2). Let a = c - 357. Is a a composite number?
True
Suppose -3*m = 34 - 37. Let f(j) = 64*j**3 - 3*j**2 + 3*j - 2. Is f(m) prime?
False
Is 7237*1*45/45 a prime number?
True
Is 483 + 16/12*-3 a prime number?
True
Suppose 1459 = 6*h - 1553. Suppose -p - 2*u = -h, -3*u - 2418 = -4*p - 410. Is p a prime number?
False
Suppose -8*a + 3809 = -82215. Is a a prime number?
True
Suppose 5*l - 3*l - 4*j - 15346 = 0, -l = -3*j - 7670. Is l a composite number?
True
Suppose 0 = -4*m + r + 131944, 3*m + 2*r - 104935 = -5966. Is m prime?
True
Let k(g) be the third derivative of 5*g**4/12 + 3*g**3/2 - 2*g**2. Let m be k(-7). Let z = m - -116. Is z a prime number?
False
Suppose 0 = -11*b + 14*b - 12. Suppose 2*h + h = -5*t + 1978, -2*t = -b*h - 786. Is t a composite number?
True
Let d(v) = 65*v + 6. Let j be (3/1)/((-9)/(-21)). Let w(q) = 32*q + 3. Let c(g) = j*w(g) - 3*d(g). Is c(10) a composite number?
False
Let y be 6*(5 + -3)/4. Suppose 