 a prime number?
False
Let f(b) = -b**2 - b + 331. Suppose -3*a - a = 0. Is f(a) a composite number?
False
Suppose 2*d = 5*n + 2547, -n - 3427 = 4*d - 8488. Suppose -7*a = -13*a + d. Is a composite?
False
Let v(y) = -2*y - 2 + 2 + 0*y - 11. Is v(-7) composite?
False
Is ((-7)/14)/(2/(-5444)) prime?
True
Let a(n) = -5 + 15 + n**2 - 2*n**2 + 9*n + 2*n**2. Let z be a(-7). Is ((-628)/8)/(2/z) a composite number?
False
Suppose -2*g = -114278 - 108044. Is g a prime number?
False
Let k = 28 - 17. Let v = 14 - k. Suppose -333 = -v*a - 0*w - 3*w, 0 = -5*a - 2*w + 540. Is a a composite number?
True
Let r(g) be the first derivative of -6*g**2 - 4*g**2 - 2*g + 7*g - 9. Is r(-13) a composite number?
True
Let n = 75 - 68. Suppose -3*k + n*k - 7954 = -2*u, 7957 = 4*k + 3*u. Is k composite?
False
Suppose 0 = -3*p + 75 + 3738. Is p prime?
False
Let z = 68 - 69. Is (0/z - (-1 - -2)) + 1638 a composite number?
False
Let f be (-8)/12 + (84/9)/2. Is 6240/(-14)*-1 - f/(-14) composite?
True
Suppose -2*b - s - 1414 = 0, 2*b = -3*s - 609 - 813. Is (6/5)/((-6)/b) a prime number?
False
Is (-1)/4 + (-10533)/16*-4 a prime number?
True
Suppose -t = 5*k - 5, -2*k + 3*t = 7*t + 16. Suppose 0 = -5*p + 8 + k. Suppose 0 = 5*y + 5*j - 2430, 6*y - 1937 = p*y + 3*j. Is y a prime number?
False
Let k(i) = i**3 - 8*i**2 + 2*i + 11. Let q(x) = -x**3 + 8*x**2 - 2*x - 12. Let b(r) = 2*k(r) + 3*q(r). Is b(7) prime?
False
Let l(z) = 25*z**2 - 5*z - 3. Is l(-7) a composite number?
True
Let u(q) = -q**3 + 21*q**2 + 22*q + 4. Let s be u(22). Suppose 3*v = s*v - 799. Is v prime?
False
Let f = 29 - 32. Let g(p) = -93*p + 8. Is g(f) a prime number?
False
Let g(t) = 35*t**2 + 6*t + 3. Let n be g(6). Suppose v + 230 - n = 0. Is v a composite number?
False
Let l = 22334 - 12589. Is l a composite number?
True
Let t(g) = g**2 + 13*g + 1163. Is t(0) prime?
True
Let p(z) = -z**3 - 9*z**2 + 9*z + 5. Let g(x) = x**2 + 8*x - 12. Let j be g(-8). Is p(j) composite?
True
Let n = -45946 - -67713. Is n composite?
False
Is (2152/12 + 1)*3 a composite number?
False
Let g be 6/(-18)*5*-6. Let z(x) = 3*x**2 - 9. Is z(g) prime?
False
Suppose 0 = 30*w - 142544 - 269986. Is w prime?
True
Suppose -16*y + 51*y - 333095 = 0. Is y prime?
False
Let r be (-44)/28 - (-6)/(-14). Let l be (r + (-44)/(-16))*4. Suppose -l*z + 2 = g - 1, 3*z = -12. Is g a composite number?
True
Let t(m) = 7*m - 21. Let h be t(3). Suppose 11*i - 7107 + 1222 = h. Is i composite?
True
Let o(r) = 1383*r - 10. Let u be o(4). Let w = u - 3765. Is w composite?
True
Let l(h) = -3*h**3 + 17*h**2 - 2*h + 4. Let t be l(-7). Suppose -5*n = -s - t - 2504, 3*n = 2*s + 2629. Is n a composite number?
False
Let q be (-333)/(-54) + 7/(-6) + 1. Suppose -5*t - 2*n + 569 = 0, 0 = -3*n + q*n + 9. Is t composite?
True
Is -4107*(4 - 5) + (-1 - 1) a composite number?
True
Suppose -f - 19 = -138. Let i = 444 - f. Suppose -5*c + 3*y + 939 = -i, 4*c - 989 = -5*y. Is c composite?
False
Let a(p) = 9*p**2 - 2*p + 2. Suppose 4*b = b - 45. Let x = b + 10. Is a(x) a composite number?
True
Is 2*(-1)/(-10) - (-289464)/105 a composite number?
True
Let h be ((-4)/16)/((-5)/40). Suppose h*m - 7*m + 25 = 0. Suppose 4601 = 4*c + 3*w, -5759 = -m*c + 2*w + 2*w. Is c a composite number?
False
Let h(n) = -3*n**3 - 15*n**2 + 86*n - 7. Is h(-17) a composite number?
True
Let w(p) be the third derivative of 17*p**4/12 - 13*p**3/2 + 4*p**2. Is w(16) composite?
True
Let j = 3478 + -2423. Is j prime?
False
Let z = -6404 + 10939. Is z a prime number?
False
Let h = 218 - 103. Is h a composite number?
True
Let d(x) = -x**3 - 8*x**2 + 10*x + 12. Let f be d(-9). Is f/(-15) - (-2172)/10 prime?
False
Suppose 0 = 2*t + 3*x - 2 - 0, -3 = -3*t + 5*x. Is -1 - t - (14 + -881) prime?
False
Let p = 17081 + 4688. Is p prime?
False
Suppose g = 39 + 145. Suppose 0 = z + 4*t - 263, g = 4*z + 3*t - 894. Is z a composite number?
False
Suppose 5*u - 98482 - 10763 = 0. Is u composite?
True
Is 110/(-10 - 1) - -6999 a composite number?
True
Let s(m) = -5*m**3 - 19*m**2 + 12*m - 47. Is s(-12) a prime number?
False
Suppose 3*r - 6156 = -3*y, 12*y + 3*r - 8209 = 8*y. Is y a prime number?
True
Let r(p) be the second derivative of 2*p**5 + 5*p**4/12 + p**3/6 + 9*p**2/2 - 3*p. Is r(4) a prime number?
False
Let u be (0/(-1))/(1 - 0). Let q(n) = -2*n + 209. Let l(g) = g - 1. Let m(b) = 4*l(b) + q(b). Is m(u) prime?
False
Let h be (40/15 + -7)/((-2)/(-6)). Let z(i) be the first derivative of -i**4/4 - 2*i**3 + 9*i**2 + 10*i - 2. Is z(h) a composite number?
True
Suppose -4*u + 11 + 9 = 0. Is -5 - -12 - u - -935 a composite number?
False
Let w(x) = 3 - 1 - 1 - 2 - 118*x. Is w(-6) a prime number?
False
Is (-9)/3*(-191262)/18 a prime number?
False
Let v = 7338 + -2351. Is v prime?
True
Suppose -3894 = -17*f + 14*f. Suppose 3*z - f = 3*k + 4192, 1 = -k. Is z a composite number?
True
Let f(y) = -y - 2. Let h be f(-4). Suppose 1492 = 4*g + 4*q, 5*g + h*q + q - 1865 = 0. Is g a prime number?
True
Let y(u) = -u. Let a(m) = 16*m + 8. Let t(d) = -a(d) - y(d). Let r be (4 - 2)*(-3 - 0). Is t(r) a composite number?
True
Let z = -483 - -483. Suppose -3*u + 4*i = 4, -4*u + 2*i = 3 - 11. Suppose z = g + u*g - 935. Is g a composite number?
True
Let q(c) = -3*c**3 + 2*c**2 + 7*c + 7. Let r(g) be the first derivative of -4*g**3/3 + g**2 + g + 4. Let b be r(-1). Is q(b) composite?
False
Let n be 45 + (3 - 5 - 1). Let o be 4/(-20) - n/(-10). Suppose 0*j + 4*j + 649 = 5*b, 540 = o*b + 2*j. Is b prime?
False
Let p = 73 + -112. Let r = -35 - p. Is -137*1/(r/(-28)) a composite number?
True
Let s(y) = -y**3 - 15*y**2 + 18*y + 34. Let i be s(-16). Suppose -4*j = -i*d - 5448, -4*j + 4536 = 2*d - 920. Is j prime?
False
Let t = -55587 - -100216. Is t composite?
True
Let l = 132 + -20. Suppose 47*s - 45*s + 130 = 0. Let m = l + s. Is m a prime number?
True
Suppose 2*q - 386 = 4*i, 4*q = -i + 6*i + 487. Let g = -39 - i. Suppose -2*t + 34 = p, t = 5*t + 5*p - g. Is t a composite number?
False
Suppose -4*o + 7*m = 2*m - 2529, -4*m - 3159 = -5*o. Is o a composite number?
False
Suppose 0 = w + 4*j - 7405, -27*j = -29*j - 2. Is w a composite number?
True
Suppose 0 = 10*p - 15*p + 35. Suppose -p*l = -12*l + 12355. Is l a prime number?
False
Let g(w) = 67*w**2 + 6*w - 6. Let q be g(3). Let l = 4 - q. Let c = -420 - l. Is c a composite number?
False
Let c be (-7 - (-4 + 2)) + 3 - -210. Let t = c + 111. Is t composite?
True
Let r(u) = -u**2 - 4*u + 5. Let o be r(-4). Suppose -o*f = -11 + 86. Let k = f - -254. Is k a composite number?
False
Let b(v) = v**3 - 8*v**2 - v + 11. Let a be b(8). Suppose 5*u = 0, 5*l = a*u + 1067 + 188. Is l composite?
False
Suppose -4*y + 2*t + 9758 = -0*t, -4*t - 7326 = -3*y. Is y + (0/(-1) - 1) a composite number?
False
Let n = -5954 + 10393. Is n composite?
True
Suppose 2 = p - l, 3 = -l + 7. Suppose 3*w - p = -0*w. Suppose 0 = -5*y + 2*n + 2285, 0 = -3*y - w*n + 1821 - 450. Is y composite?
False
Let i(p) = 238*p**2 - 2*p + 1. Let v(z) = -7*z + 1. Let a be v(-2). Let o = -14 + a. Is i(o) a composite number?
True
Let u = 107 + -108. Is ((-8)/(-8))/(3/(-2991)*u) a prime number?
True
Suppose 6*o + 0*o - 4530 = 0. Let a = -538 + o. Is a a prime number?
False
Let x(t) = -392*t**3 + t**2 + 13*t + 25. Is x(-3) a prime number?
False
Let z = 1781 + 7938. Is z a composite number?
False
Suppose 87*z = 85*z - 5*d + 28052, 42055 = 3*z - 4*d. Is z a prime number?
False
Let m(l) = 64*l + 4. Let a be m(-4). Let i = 689 + a. Suppose 5*w - w - 3*c = 1773, 0 = -w + 2*c + i. Is w a composite number?
True
Let z(a) = -a**3 - a**2 + a + 67. Let j = -11 - -19. Let n = j + -8. Is z(n) a prime number?
True
Suppose 3*x - 24365 = 3*v + 6979, 0 = 3*x - v - 31354. Is x composite?
False
Suppose 2*x + 4*x = 6. Is (-1702)/(-5 + 3)*x a prime number?
False
Let l be (-1 - (-36)/16)*12. Suppose -13*u + l*u = 12. Suppose -b - u = -4*b, 0 = 4*o + 4*b - 540. Is o composite?
True
Suppose c + 803 = 2*w, 70*c - 1603 = -4*w + 73*c. Is w a composite number?
True
Let r be (-80)/(-15) - (10/3 + -3). Suppose 3*t = -r*a + 8140, -1781 = -t - 4*a + 944. Is t composite?
True
Let z(j) = j**3 - 9*j**2 + 96*j + 9. Is z(29) prime?
False
Suppose -4901 = -3*d + 5*b, -5*d + 2*b + 8183 = b. Is d a prime number?
True
Suppose 0 = -2*d + 7*d + 5. Let s = d - 3. Is (-98)/(-8) + (-3)/s a prime numb