prime number?
False
Let v = 3881 + -2172. Is v a prime number?
True
Let p be (-62)/(-3)*(0 + 1)*-3. Let h = p - -403. Is h composite?
True
Suppose -w - w - 572 = 0. Let y = 485 + w. Let s = -8 + y. Is s prime?
True
Suppose -8*f + 2*h = -5*f - 13, 4*f + 4*h - 44 = 0. Suppose f*m - 125 - 848 = 0. Is m a composite number?
False
Suppose -24*m - 203 = -25*m. Let p = m + -114. Is p a composite number?
False
Suppose -2*a + 19 = 5*i + 2, -a + 5*i = -16. Let g be 2763/(-11) + 2/a. Is (g/2 - 0)*-2 prime?
True
Let x = 3234 + -655. Is x a prime number?
True
Let k be 9/(-2*9/24). Is ((-2886)/k)/(4/8) prime?
False
Is (-1)/(-6)*4 + 556847/249 prime?
True
Let r = -9 - -11. Let z = r - 4. Is z/((6/(-541))/3) a prime number?
True
Suppose 2*k - 7*v = -5*v + 34292, 5*k - 3*v - 85740 = 0. Is k prime?
False
Let r(k) be the first derivative of -45/2*k**2 + 2 - 8*k. Is r(-9) prime?
True
Suppose -276*m - 36753 = -279*m. Is m composite?
False
Let c(s) = s**3 + 3*s**2 - 4*s - 4. Let v be c(-3). Let t be 2*(-30)/v*2. Let k = -8 - t. Is k a composite number?
False
Suppose 0 = 414*u - 409*u - 175855. Is u a composite number?
False
Let l be (-1 + 1)/(-12 - -11). Suppose -6*p + 2154 = -l*p. Is p composite?
False
Suppose -10*k + 14*k - 3148 = 0. Is k prime?
True
Suppose 5*x + 117101 = 4*d, 5*d - 146335 = -113*x + 111*x. Is d prime?
True
Suppose -3*v - 2*q - 1 = 0, v + 5*q + 17 = q. Suppose -v*j = -3*i - i + 1868, 4*i - 1868 = -4*j. Is i composite?
False
Suppose -4*z - 3*x = -8*x - 28728, -5*z = -4*x - 35901. Is z a prime number?
True
Suppose 577*g - 575*g = 526. Is g a prime number?
True
Suppose -o + 11 = -5*j, 4*j + 2 = -3*o - 3. Let m(c) = c**2 - c - 1. Let y(s) = 165*s**2 - 4. Let f(z) = -2*m(z) + y(z). Is f(o) a prime number?
True
Suppose -t = -6*t + 75. Let r = t - -22. Is r a prime number?
True
Let p = 8 + 5. Let q = p - -12. Let d = 76 - q. Is d composite?
True
Let g = -47 + 27. Is (-6)/15 + (-4428)/g a composite number?
True
Suppose 69944 = -9*u + 274559. Is u a composite number?
True
Let m(n) = n**2 - 9*n + 25. Suppose 4*s - 63 = 3*r, 2*r + s + 48 = -r. Is m(r) composite?
False
Let w be -28*(-5)/10 + -1. Let s(j) = j**3 - 13*j**2 + 6*j - 25. Is s(w) prime?
True
Suppose -5*p = -0*y + y - 7685, 0 = -4*p - 2*y + 6142. Let k = -865 + p. Is k a prime number?
True
Let f(t) = 26*t - 1 + 47*t + 6 + 81*t. Let s(c) = 461*c + 14. Let q(x) = 17*f(x) - 6*s(x). Is q(-1) a composite number?
False
Let h(i) = 49*i + 6. Let m(z) = -23*z - 33*z - 7 + 19*z - 13*z. Let d(s) = 7*h(s) + 6*m(s). Is d(1) prime?
True
Let t(y) = 2*y + 2*y - 6 + 2*y + 2*y**2. Let o be t(4). Suppose -o = -2*q + 24. Is q composite?
False
Suppose -5*o + 669 = -p, -4*o - 3*p = -0*p - 520. Suppose 1 = -4*a + 3*l, -2*a - 5*l + 11 + 8 = 0. Is (o - a)*(4 + -3) composite?
False
Let y = 2208 - -14. Suppose 4*f - y = -4*j + 2*f, 3*f = 15. Is j composite?
True
Let a(b) = b**2 - 13*b + 14. Let m be a(12). Let w be 1623/m*18/27. Suppose j = 2*j - o - 537, -j + 3*o = -w. Is j prime?
False
Let r = 39208 - -25039. Is r prime?
False
Let s(o) = 10*o**2 - 185*o - 43. Is s(38) a composite number?
True
Let c = -127 - -232. Suppose n + 1 = 0, -q + 215 = 5*n - c. Suppose q = d + 4*d. Is d prime?
False
Let a be -4*(-5)/(-5) - -3. Is (0 - a/2)*1918 composite?
True
Let i be (-9)/54 - 8798/(-12). Let z = 220 + i. Is z composite?
False
Let t = 26423 + -12062. Is t a prime number?
False
Let q(y) be the third derivative of y**5/60 + y**4/4 - 5*y**3/3 + y**2. Let f be q(7). Suppose -5*d + 168 = 3*o, o + 18 - f = -4*d. Is o a composite number?
True
Let q = -8 - -22. Let h be q/49 - 1872/(-14). Suppose -f = -5*y - 28, 3*y - h = -4*f + y. Is f prime?
False
Suppose 2*j - 3615 = -4*n + 2647, -15623 = -5*j - 2*n. Suppose 154*w - 151*w = j. Is w prime?
False
Suppose 0 = -5*i, 0 = -5*x + 5*i + 800075 - 299430. Is x a prime number?
True
Let z(d) be the third derivative of d**8/6720 + d**7/630 + d**6/72 - 2*d**5/15 + 2*d**2. Let b(t) be the third derivative of z(t). Is b(7) composite?
True
Suppose 5*f + 990 = 5*j, 0*f = 4*j - 5*f - 789. Is j composite?
True
Let s = -2388 + 3431. Is s a prime number?
False
Is (26823*(-14)/105)/(4/(-10)) prime?
True
Let o = 1 + 2. Let c be 4 - (o + -4)*-1. Suppose h = -3*h + 5*q + 217, -156 = -c*h - 3*q. Is h composite?
False
Let u(t) be the first derivative of -3*t**4/4 - 7*t**3/3 + 7*t - 26. Is u(-6) a prime number?
False
Let u = 173 - 92. Let l = -269 + 399. Let w = l + u. Is w a composite number?
False
Let q(a) = -664*a + 211. Is q(-25) a composite number?
False
Let x = 19 - 281. Let j be (-10651)/(-7) + 20/(-35). Let q = x + j. Is q composite?
False
Suppose -37976 = -2*z - 3642. Is z composite?
False
Suppose 2*u + 3 = -21. Is 4/u*2 - (-34765)/15 prime?
False
Suppose -561 = -2*h + 3*z, -2*z + 2 + 8 = 0. Suppose 0 = -4*w + h. Suppose y - 221 = -w. Is y a composite number?
False
Let o be (7 - (4 - 1)) + 1. Suppose -8*u + 1050 = -o*u. Let n = u - 173. Is n composite?
True
Is (-1 + 4)/(0 - (-30)/358310) a prime number?
True
Let a = 31 - 20. Let b(o) = o**3 + 9*o**2 + o + 18. Is b(a) a prime number?
False
Let u(i) be the third derivative of 7*i**6/20 + i**5/60 + i**4/24 - i**3/6 - i**2. Let c = 153 + -152. Is u(c) composite?
False
Suppose 3*l - 23*l = -920. Let w be 466/6 + (-4)/6. Let r = l + w. Is r a composite number?
True
Suppose -3 + 27 = -4*c. Let t(f) = -2 + 10*f**3 + 10*f**2 - 6*f - 23*f**2 - 11*f**3 + 7*f**2. Is t(c) prime?
False
Is (-29853)/(-124) + 14/(-8) prime?
True
Let q = 78 + -43. Suppose -r + 6*r = q. Suppose 1188 = 4*h + 4*j, h - 2*j = -r*j + 313. Is h a prime number?
True
Let z(n) = -5*n**3 + 14*n**2 + 4*n - 35. Is z(-8) a prime number?
True
Suppose -18 - 10 = -4*m. Suppose 6*k + 739 = m*k. Is k a composite number?
False
Let w = -1 + 5. Let m be w/(-26) + 21796/52. Suppose -o + m - 2 = 0. Is o composite?
True
Suppose -391 = -10*q + 4069. Is q a prime number?
False
Let o = -19 + 21. Suppose -4*x + o*c = 6*c - 356, -x = 5*c - 105. Is x prime?
False
Let b be (2 - 5)*12/(-27)*-114. Let n = 603 + b. Is n prime?
False
Let x = 2 - 1. Suppose 2*y - 7 = -x. Suppose -a + 450 = m, -4*m = y*a - 1381 - 414. Is m prime?
False
Suppose 0 = 4*t - 567 - 1649. Let r = -239 + t. Suppose 0 = -2*v + 955 + r. Is v a prime number?
False
Let h(d) = 2*d**2 - d**2 + 0*d - 133*d**3 + 887 + 134*d**3 + d. Is h(0) prime?
True
Let z(u) = -3*u**2 - 9*u - 2. Let w be 2/3*(-5 + 11). Let i(l) = -2*l**2 - 8*l - 2. Let o(x) = w*i(x) - 3*z(x). Is o(9) a composite number?
True
Suppose 4*d - 43749 = g, -4*d + 21877 = -2*d - 3*g. Is d prime?
True
Let d(t) = 2 - 6 + 4492*t - 4488*t + 2 + 81*t**2. Let b be (1/2)/((-1)/(-2)). Is d(b) a prime number?
True
Let x(z) = -4*z - 17. Let c(d) = -16*d + 3. Let l be c(1). Is x(l) prime?
False
Suppose -92*x - 344838 = -118*x. Is x a prime number?
False
Is 49/98 + 39321/2 prime?
True
Let s(m) = 4*m + 10. Let l be s(-2). Suppose a = l*q + 89, -3*q = -a + 45 + 46. Is a a prime number?
False
Let s(r) be the third derivative of 11*r**5/6 + r**4/6 + 11*r**3/6 - 16*r**2. Is s(-3) a composite number?
True
Let n(t) = -678*t**3 - t**2 - 2*t - 2. Let y be n(-1). Suppose -z = k - 738, 0 = z - k - 59 - y. Is z composite?
True
Let j(d) = -d**3 + 8*d**2 + 7*d + 22. Let f be j(9). Suppose -f*i = 3*x - 0*x + 67, -2*x = -i + 41. Is 2958/14 + 6/x a composite number?
False
Is (-805)/(-115) + (-2 - -1) + 94927 a prime number?
True
Let x = -4396 - -6495. Is x composite?
False
Let l be -4 + (-3 - -6) - 66. Let g = -30 - l. Is g prime?
True
Suppose -13*f + 50 = -3*f. Suppose 0 = 4*y - f*n - 5270, 3941 = 3*y + n + n. Is y composite?
True
Let q(t) = -45*t**2 - 2*t - 2. Let z be q(-1). Let m = z - -86. Suppose 6*n - 145 = m. Is n a prime number?
True
Let b = 70 - 112. Let y = -9 - b. Suppose -34*h = -y*h - 745. Is h a prime number?
False
Let g(i) = 472*i + 73. Is g(7) composite?
True
Suppose -100*d + 18*d = -54694. Is d a prime number?
False
Let z(g) = 4*g**2 - 4*g + 11. Suppose 6*p + 3*a = 3*p + 18, -5*a + 15 = 0. Suppose p*c + 3*n = -c - 31, -c = -5*n + 2. Is z(c) a prime number?
False
Suppose -10*k = -5*k. Suppose -5 = -5*d - k. Suppose -4*g = -5*j - 113, g + 2*j - 11 - d = 0. Is g a prime number?
False
Suppose -4*s + 3*o = -795, 395 = 2*s + 4*o - 19. Is s composite?
True
Let m = 4 - 2. Suppose -m*l = -0 - 8. Is -4 + -2 + l - 