s b a composite number?
True
Let i = -1721 - -3237. Suppose -d + i = -2*s - s, 5*d = -4*s + 7523. Is d a prime number?
False
Let t(k) = 50*k**2 + 4*k + 1. Is t(7) a composite number?
True
Let d = 1063 - 666. Is d composite?
False
Let a(k) = -9*k**3 - 5*k**2 - 3*k + 4. Let f be ((-4)/((-40)/(-6)))/(1/5). Is a(f) a composite number?
False
Let f = 10065 + -1024. Is f composite?
False
Suppose 4*l + 42181 + 4144 = k, 2*l - 6 = 0. Is k composite?
False
Let y(s) = s + 9. Let a be y(-9). Suppose 0 = -a*g - 3*g + 18. Suppose -g*k = -11 - 379. Is k prime?
False
Suppose -2*o + 3*o = 5*h - 181965, 5*o + 36393 = h. Is (-6)/9*h/(-14) prime?
True
Is 4 - (-2912 + (-9 - 2)) composite?
False
Let p(z) = -4*z**2 + 3*z. Let u be p(6). Let v = u - -253. Is v a prime number?
True
Let k(d) = 38*d + 12. Let v be k(-6). Let m = v - -401. Is m prime?
False
Suppose 0 = -5*n + 15 + 5. Suppose 4*a = g + 33, -n*g = -0*a + 5*a - 36. Suppose -a*p = -4*p - 316. Is p a prime number?
True
Suppose -850 = q + q. Let o = q - -660. Let l = o + 16. Is l a prime number?
True
Suppose 0 = -246*v + 271*v - 5975. Is v composite?
False
Let f(o) be the third derivative of -65*o**4/2 - 7*o**3/6 + 37*o**2. Is f(-3) a composite number?
False
Suppose 35 = -5*l + 95. Let r(f) = 5*f**2 - f**3 + 15*f - 3*f**2 - 17 + 5*f**2 + 4*f**2. Is r(l) composite?
False
Suppose 16 = -4*d - 5*v, -v - 2 = 2. Suppose d = 2*n - 3. Suppose 379 = n*z - 51. Is z a composite number?
True
Let h(l) = 205*l - 1127. Is h(24) a prime number?
True
Suppose 2*v = -3*o + 15643, 0*v - 2*o = -4*v + 31262. Is v a composite number?
False
Let s(q) = 19578*q - 43. Is s(1) a prime number?
False
Suppose 5*m = 2*k + 30585, -4*k + 1210 = -4*m + 25666. Is m a prime number?
False
Let f be (1 + -1)*4/(-4) - 0. Suppose k - 1510 - 1081 = f. Is k a composite number?
False
Let z(g) = 21*g + 38. Suppose 0 = 7*i - 167 - 8. Is z(i) a composite number?
False
Suppose 2*t + j = -2*j - 2, 14 = 2*t - j. Suppose 182 = 2*y - 3*f, -126 = -3*y - t*f + 185. Is y a composite number?
False
Let u(p) = 103*p**2 + 6*p - 15. Is u(4) composite?
False
Let t(n) = 4095*n**3 + 19*n**2 - 34*n + 3. Is t(2) a prime number?
True
Let c be -1 - (-40 + (7 + -3)/(-1)). Suppose -c*r - 862 = -45*r. Is r a composite number?
False
Let z = 157 - -498. Suppose 3*y = 3*x + 534, 4*y - 62 = -x + z. Is y composite?
False
Let w(s) = -5331*s**3 + 18*s + 18. Is w(-1) a composite number?
True
Let u(r) = r**2 + 2*r + 1. Let i be u(-1). Let o = 382 + -380. Suppose -o*h + 38 - 8 = i. Is h a composite number?
True
Suppose 5*s + y - 13 = 0, 5*s + 3*y = 5*y + 4. Suppose 1 = -m + 7. Suppose s*v = 5*v - m. Is v composite?
False
Suppose 22*v - 608999 + 199293 = 0. Is v composite?
True
Suppose 1170 = -g - d, -2*d - 4676 = 4*g + 3*d. Let m = -801 - g. Is m a prime number?
True
Let l = 748 + -508. Let g = 643 - l. Is g a prime number?
False
Let j be 20/(-12)*(-54)/15. Let k(r) be the third derivative of 11*r**4/12 - r**3/6 + 3*r**2. Is k(j) prime?
True
Let b(p) = -p + 7. Let t(s) = s - 6. Let q(r) = 5*b(r) + 6*t(r). Let j(w) = -68*w**2 + 4*w - 5. Let m(h) = -j(h) + 6*q(h). Is m(-2) a composite number?
True
Let z(f) = 16*f**2 + 2 + 18*f**2 - 3. Let b(h) = -h**3 - 22*h**2 - 23*h - 41. Let q be b(-21). Is z(q) composite?
True
Is (-6 - -4 - -8544) + 1 + -1 prime?
False
Suppose -3*p = 2*p - 20. Suppose 4*t - p = 8. Is (-2640)/(-7 - -4) - t a composite number?
False
Is 35/14*1466/5*1 composite?
False
Let j(k) be the first derivative of -k**4/4 - 2*k**3 + 7*k**2 + 10*k + 3. Suppose 0 = -4*d - 5*i - 56, 3*d = 3*i - 2 - 13. Is j(d) prime?
True
Is 15/10 + 200156/8 composite?
True
Suppose -x - g - 14822 = 0, 2*x - 3*g = 2*g - 29644. Is 14/56 + x/(-8) prime?
False
Let n(i) = 5*i**2 + 2*i - 2. Let r = 16 + -16. Suppose 0 = -t - 2*w - 1, t - 2*t + 5*w + 20 = r. Is n(t) composite?
True
Is (3 - -139)/((-18)/(-117)) prime?
False
Suppose -2*c = 4*b + c - 31, 4*b - 11 = c. Suppose b*u + g - 16193 = 0, -3*u + 4*g + 14128 = 1969. Is u prime?
True
Let a = -4551 - -7983. Suppose 0 = -y + 5*i + a, -792 - 2650 = -y + 3*i. Is y a composite number?
False
Let d be 0/(-6*4/(-12)). Suppose 3*i = -5*r + 33 + 17, -3*i + 15 = d. Is r a composite number?
False
Let r(d) = d**3 - 6*d + 5. Let v(o) = -o**3 + 18*o**2 - 16*o - 11. Let j be v(17). Is r(j) a composite number?
True
Let k = 5142 - 2988. Suppose 10*m - 4*m - k = 0. Is m a composite number?
False
Let b = 9794 + 417. Is b a prime number?
True
Let z(n) be the first derivative of 18*n**2 + 13*n - 12. Is z(4) prime?
True
Let w(q) = -1231*q - 12. Is w(-5) a composite number?
False
Suppose -2*k = -q + 7, -q - k = 3*k + 11. Let a be (-25070)/(-40) - q/(-4). Suppose 2*i - 5*i + a = 0. Is i prime?
False
Let s(q) = q**3 - 11*q**2 - 12*q - 1. Is s(16) composite?
False
Let s = 71 + -71. Suppose s = 19*g - 24*g + 6005. Is g composite?
False
Let f(b) = -181*b - 6. Is f(-11) a composite number?
True
Let u = 56 - 51. Let w(q) be the second derivative of 3*q**4/4 - q**3/6 + 3*q**2/2 - q. Is w(u) prime?
True
Let p = 42 - 40. Suppose 0*t = p*t - 634. Is t a composite number?
False
Is 48129/(-2)*(-20)/30 a prime number?
False
Let u = 85967 - 41950. Is u composite?
False
Let r = -3796 - -11163. Is r a prime number?
False
Let f be (-333)/27 - (-2)/(-3). Let a = f + 18. Suppose -b = m + m - 147, 0 = -a*b - m + 780. Is b a prime number?
True
Is 4/7 + 28026/126 a composite number?
False
Let y = -2 + -1. Is (185 - (2 + 1)) + y a prime number?
True
Suppose -5*q - 24 = 4*z - 0, 0 = 4*q + 16. Suppose -3*y = -k + 2*y - 235, 5*y = 4*k + 880. Is z + 5 - 8 - k composite?
False
Let v be (-2)/(-7) - 208/(-56). Let q be v + (-3)/3 - 0. Suppose -2*t - 3*y = -4 + 12, 4*y = -q*t - 10. Is t a prime number?
True
Let d(a) = -38*a + 9. Let b be d(-8). Suppose k + 5*x = b, -x = -0*k + 4*k - 1176. Is k a composite number?
False
Let h(n) = -2*n**2 - 9*n + 10. Let g(m) = -m**2 - 4*m + 5. Let k(r) = 11*g(r) - 6*h(r). Is k(-14) prime?
False
Let b(c) be the second derivative of -c**3/6 + c**2/2 - 6*c. Let w be b(-1). Suppose o - 4*n = 211, 4*n - 553 = -w*o - o. Is o a prime number?
True
Suppose -a = -3 - 1. Is 564388/110 + (a/(-5) - -1) a composite number?
True
Is 40/30 - ((-8444)/3 + -3) a prime number?
True
Let g = 17 + 68. Let k(y) = 9*y + 7. Let l be k(-5). Let j = g + l. Is j a composite number?
False
Let j(s) = -25*s**2 + 6*s + 1. Let g = 27 - 34. Let t be j(g). Let f = -635 - t. Is f a composite number?
False
Let l(a) = 2*a + 9*a - a**3 + 0*a + 6 + 3*a**2. Let x be l(-8). Let d = x + -291. Is d a composite number?
False
Suppose -2 = -r - 0. Suppose -r*f = f + 27. Is (3/f)/((-1)/45) a composite number?
True
Suppose -3*y + 12 = 0, -3*b + 6*y = 2*y - 8765. Is b a prime number?
True
Suppose -2*p - 2*s = -s, -2*p - 4*s + 12 = 0. Is (-5013)/(-36) - p/(-8) a prime number?
True
Let f(b) = -3*b**2 - 9*b - 3. Let v = -13 + 14. Let y(d) = d**2 + d - 1. Let j(o) = v*f(o) + 4*y(o). Is j(-6) a composite number?
False
Is ((-75275)/125)/((-2)/10*1) a composite number?
False
Let u(m) = 41*m**2 + 31*m - 19. Is u(12) a composite number?
False
Let g be ((-3)/6)/(2/(1984/(-2))). Let u = 637 - g. Is u prime?
True
Suppose -3*l - 15 = 0, -5*s - l - 265 = -s. Let m = s + 332. Is m a prime number?
False
Let s be ((-4)/(-12))/(1/(-3)). Let c(z) = z**2 + 1. Let i be c(s). Is (-2661)/(-15) - i/5 prime?
False
Let t(o) be the third derivative of -o**5/10 - 13*o**4/24 - o**3 + 6*o**2. Let q(v) be the first derivative of t(v). Is q(-12) prime?
True
Let j = -10 + 17. Let u be 5*(2 - j/5). Suppose u*y - 5*g - 422 = 0, y + 29 = 4*g + 172. Is y a composite number?
False
Suppose 2*h = 4 + 2. Let w be h/7 + 12/(-28). Suppose -2*g - 3*g + 671 = -2*a, g + 2*a - 127 = w. Is g composite?
True
Let o = -22 - -18. Is 955 + 1 + o + 6 a composite number?
True
Let g = -277 - -528. Is g composite?
False
Let d = 14 - -425. Is d prime?
True
Let s be 123/(-2)*(3 + -5). Let t = s + 266. Is t prime?
True
Suppose -m + 4*j = 3*m - 36, 5*j = -20. Suppose -w + m*w = 0. Suppose 3*y = -d + 3*d - 576, 3*d + y - 875 = w. Is d a prime number?
False
Let s(g) = 3*g**2 - 14*g + 26. Let i be s(9). Let b = i + -32. Is b composite?
True
Let z(b) = -6118*b - 201. Is z(-5) prime?
True
Suppose -5*p - y = -5*y - 19, 0 = -3*p - y + 8. Suppose 6 = -p*z + 12. Is 9/(-6) - (-625)/z a prime nu