number?
False
Let j be ((-563916)/(-8))/(3/2). Suppose -11760 + j = 11*o. Is o prime?
True
Let q(f) = 113*f**3 - f**2 - 17*f - 32. Is q(7) a composite number?
True
Let k be 66/(-14) - 16/56. Is (k - -6)/((-2)/(-254)) composite?
False
Suppose -u - h = -1, 3*u + 3*h + 1 = u. Let c(d) = 5*d**3 - 3*d**2 - 7*d + 7. Is c(u) a composite number?
False
Suppose -7*l = 1012 - 4645. Is l prime?
False
Suppose 2*g + 4*v = 8370, 5*g - 3*v - 7360 - 13591 = 0. Is g a prime number?
False
Let a = 1844 - -149. Let s = -1254 + a. Is s a prime number?
True
Is 1 - ((-2 - 18355) + 5) prime?
True
Let s be 2/(30/17) - 40/300. Is (3 - 4)*(s - 186) a prime number?
False
Let o = -93 - -95. Is (-5)/10 + (935/o - -2) a composite number?
True
Suppose -23 = v + 3*p, p = -3*p - 20. Let d be (v/(-6))/(10/1935). Suppose c - 4*a - 79 = 0, -2*a - 3*a - d = -3*c. Is c a prime number?
False
Let c = 22590 - 9032. Is c a prime number?
False
Let s = -158 + 155. Is ((1/(-1))/1)/(s/3957) a composite number?
False
Suppose 7*h - 372 = -232. Let f = 111 - 60. Let r = f - h. Is r a composite number?
False
Let k(d) = 2*d. Let n be k(2). Suppose 10 = n*s - 10. Suppose z = 4*q + 123, 5*q - 728 + 163 = -s*z. Is z prime?
False
Let c = 2311 - 914. Is c a prime number?
False
Suppose -w = 7*r - 3*r - 6507, -2*w = -3*r - 13069. Is w a prime number?
False
Let o be 4 + ((-16)/7 - (-16)/56). Is (523/o)/((8/2)/8) composite?
False
Suppose -314*o + 324*o = 305090. Is o prime?
True
Suppose -4*r + 3*r = -4. Suppose h - 24 = -c - r*c, 0 = -5*c + 4*h + 4. Suppose 0 = c*o + z - 6*z - 421, 5*z = 15. Is o prime?
True
Suppose 3340 = 5*g - q, 2*g - 5*q - 1359 = -0*q. Suppose -2*o + 9 = 3*n - g, 0 = 3*o + n - 1021. Is o a composite number?
True
Let r(z) = -9*z**3 - 3*z**2 - 5*z - 11. Let v(s) = -17*s**3 - 7*s**2 - 10*s - 23. Let u(a) = 7*r(a) - 3*v(a). Is u(-3) composite?
False
Let k = 12 - 11. Suppose 0 = 2*p + 1 + k. Is 2 + p + 640 + 0 prime?
True
Let n(c) = 14*c**3 - 12*c**2 + 47*c + 19. Is n(10) prime?
False
Suppose 3*y + 117196 = 340879. Is y composite?
False
Suppose -11 = y - 5*i + 15, -4*i + 23 = -y. Let v(a) = -34*a - 1. Let u be v(y). Is (u - 0)*8/8 a composite number?
False
Let h(c) = c**3 + 6*c**2. Let u be h(-6). Let f(m) = 24*m**2 + u*m - 2 + 11*m**2 + 2*m. Is f(-3) a prime number?
True
Let i(b) = b - 3. Let h be i(4). Suppose w - 1 - h = 0. Suppose 5*l - 489 = w*l. Is l composite?
False
Suppose -6*q + 22462 = -344708. Is q a composite number?
True
Let h be 102*(-69)/6 - (-4)/2. Let c = 3018 + h. Is c composite?
False
Let q(x) = 6*x + 58. Let k be q(-11). Let p(u) = 3*u**2 + 3*u**2 + 9 - 4*u**2 + 11*u. Is p(k) a composite number?
True
Let g(s) be the second derivative of 2*s + 0 + 0*s**3 + 0*s**2 + 83/12*s**4. Is g(-1) prime?
True
Suppose -16*m + 11*m + 75475 = 0. Is 1/(-1)*m/(5 + -10) prime?
True
Let c be 10248 - 3*(-1 - (-6)/9). Suppose -8*z + c = 1361. Is z a prime number?
False
Let a(i) be the third derivative of 0 - 1/8*i**4 + 4*i**2 + 1/3*i**3 + 1/12*i**5 + 0*i. Is a(-5) a prime number?
False
Suppose 2*r = 2*f - 1633 + 585, 2084 = 4*f + 2*r. Suppose -3*t - f = -9*t. Is t a prime number?
False
Is 48444 - (9/1 - 14) composite?
False
Suppose -603 = 9*i - 2331. Let t = i - 105. Is t prime?
False
Suppose u = -255 + 91. Let b = -115 + 204. Let s = b - u. Is s a composite number?
True
Let y(d) = 46*d + 24. Let i be y(10). Let p = 701 - i. Is p a composite number?
True
Suppose w - 51 = 2*f, 3*w - 3*f - 154 = -4. Let r = w + -16. Is r composite?
True
Suppose -3*r + 39371 + 988 = 0. Is r a prime number?
False
Let z(m) = -256*m**3 - 15*m**2 - 86*m + 16. Is z(-7) a composite number?
False
Suppose -12 = 2*x - 6*x, 2*i - 2600 = 2*x. Is i a prime number?
True
Is (-16)/((-112)/8811) - (-4)/14 a prime number?
True
Suppose -3 = a - 12. Suppose a = 4*d - 7. Suppose 4*q - 608 = -4*t, -d*q - 7 = -19. Is t prime?
True
Let g = -24 + -18. Is 9/(-21) - 4764/g prime?
True
Let o(k) = -8*k**3 + 14*k**2 + 7*k - 38. Is o(-11) prime?
True
Let b be 6/(-4) + (-24)/(-16). Suppose -3*z + 11 = -5*c, -4*z + b*z = -4*c - 4. Let f(j) = -2*j**3 - 4*j**2 + 2*j + 3. Is f(c) a prime number?
True
Suppose 185 = 5*g + p - 2*p, 0 = -2*p + 10. Let t be 0 + 0 - -1 - -12. Let u = g - t. Is u prime?
False
Suppose -6*a + 1976 = -970. Suppose -2*r + 0*o = -5*o - a, 2*o - 259 = -r. Is r prime?
False
Let k(y) = -y**2 + 10*y + 16. Let p be k(11). Suppose 887 = -4*q + p*q. Is q prime?
True
Let p(b) = b**3 + 29*b**2 - 148*b - 7. Is p(13) prime?
True
Let u be (-5)/(-2)*(54/(-15))/(-1). Let b(n) = 231*n - 1. Is b(u) composite?
True
Suppose 2*j - 20 = -2*j. Suppose 0 = -5*h - 3*s - 10, -s - j - 1 = 3*h. Is (-516)/(-9) + h/6 a composite number?
True
Let l = 577 - 1335. Is (2 + 2 + l)/(-2) a prime number?
False
Suppose y + 5*a = 629, -3*y + 917 + 981 = 4*a. Let x = y + -215. Is x prime?
True
Let x = -1202 + 1833. Is x composite?
False
Let i = 70 + -68. Suppose c - 2372 = -i*j - c, 0 = 5*j + 4*c - 5933. Is j prime?
False
Let v(j) = -j**3 + 50*j**2 + 49*j + 15. Is v(49) prime?
True
Suppose -2*m = -2*p + 13532, 4*m = p + 7*m - 6778. Is p a composite number?
True
Let d be 8/1 - (-5 - -1). Let y(b) = 3*b**3 - 9*b**2 - 15*b + 2. Let k be y(d). Suppose -3470 = -4*u + k. Is u a prime number?
False
Let z(v) = 22*v**3 - 14*v**2 - 17*v - 10. Is z(13) composite?
False
Suppose -v - 3*a + 2430 = 0, 2*v - 5*a - 5435 = -586. Is v prime?
False
Suppose -k = -5*h + 553, 0*h - 121 = -h - 5*k. Suppose -h = -s + f + f, -4*f + 4 = 0. Is s composite?
False
Let o be (-4)/(-3)*135/60. Is (-4311)/36*(-14 - -2)/o a composite number?
False
Let y = -3178 - -10995. Is y a composite number?
False
Let q be 2/(-6)*3*-4. Suppose 0 = -q*c + c + 24. Is ((-28)/c - -3)*-178 prime?
True
Let o be (-1)/3 - (-98)/6. Suppose -10*k - 804 = -o*k. Is k prime?
False
Let l(y) = -y**2 - 3*y + 6. Let z be l(-5). Let i be ((-3)/(-3))/(-1)*z. Suppose 30 = -2*a + i*a. Is a a composite number?
True
Let f be (-204)/4*1/(-3). Suppose 19*s - f*s = 862. Is s composite?
False
Suppose 0*m - 5*m + 45 = 0. Let q(k) = -k**3 + 11*k**2 - 10*k + 9. Let t be q(m). Is t - (-3 + -2 + 3) composite?
False
Let l = 29433 + -20888. Is l a prime number?
False
Let r be 0 + (1 + -3 - -6). Suppose 12*s + 3883 = 14*s + c, 0 = 3*s - r*c - 5797. Is s a prime number?
False
Let y(l) = 100*l**3 - 5 + 16*l**3 - 3*l**2 + 5*l + 0*l**2. Is y(2) composite?
True
Suppose 0 = -2*s + p + 197, 0 = 2*s - 0*p + p - 191. Let b = 188 - s. Is b composite?
True
Let s(d) = -2*d + 19. Let n be s(8). Suppose -7108 = -c - n*c. Is c composite?
False
Suppose 0 = -3*a - a - 8. Suppose 6*c = 33 - 15. Is (-8)/a + 153/c composite?
True
Let p(z) = z**3 - 5*z**2 - 5*z - 2. Let r be p(6). Suppose -5*q - r = 26. Is (-170)/(q/3 + 0) a composite number?
True
Let o = 3240 + -1061. Is o a composite number?
False
Suppose 8877 = 11*k - 2222. Is k composite?
False
Let k = 31 - 39. Let c(g) be the second derivative of -53*g**3/6 + 25*g**2/2 - 12*g. Is c(k) prime?
True
Suppose -19*o = 804 - 11083. Is o prime?
True
Let y(o) = -106*o + 41. Is y(-8) a prime number?
False
Suppose 5*k + 3 = -5*f + 4*k, 2*f + 9 = -3*k. Suppose f*l - l + 5*m + 1752 = 0, 2*m + 1767 = l. Is l a prime number?
True
Let t = -5 + 8. Suppose t*u - 104 = u. Suppose -w + u = 4*k - 3*w, 25 = 3*k - 5*w. Is k a composite number?
True
Let z = -2763 - -26932. Is z composite?
False
Let j(v) be the third derivative of -v**5/60 + 7*v**4/24 + 2*v**3/3 - v**2. Let y be j(-5). Let h = y - -139. Is h a prime number?
True
Let j(g) = 9677*g**2 - 8*g - 8. Is j(-1) composite?
False
Suppose -26 = -4*j - 5*w, 2*j + j - w = 10. Suppose j*v + 511 = 3*n - 200, 5*n + 4*v - 1217 = 0. Let f = -130 + n. Is f composite?
True
Let r(s) = -413*s + 2 + 1090*s + 0 + 0. Let z(i) = 1016*i + 3. Let g(u) = 8*r(u) - 5*z(u). Is g(2) prime?
True
Let n(g) = -3*g + 5. Let s be n(-6). Suppose -s*l + 3245 = -18*l. Is l a composite number?
True
Let x(y) = 2*y + 4 + 11 + 9*y + y**3 + 0 + 11*y**2. Let u be x(-10). Suppose -4 - 1 = -u*r, -b + 76 = -3*r. Is b a prime number?
True
Suppose -9546 = -2*w + 3152. Is w prime?
False
Let j = 7413 - 1490. Suppose 4*p = -5*t + j, -3*t - 2945 = -0*p - 2*p. Is p a prime number?
False
Suppose -30 = -4*m - 2*x, -3*m + 4*x + 3 = 8. Let i = 1 - -4. Suppose -3*z + m*b - 37 = -6*z, 5*z - i*b - 115 = 0. Is z a composite nu