site number?
False
Let s = -3 - -6. Is ((-263)/s)/(9/(-27)) composite?
False
Let a be 4/6 + (-14)/3. Is 292 + (-1)/(3 + a) composite?
False
Let m = 17 - 23. Let d(u) = u**2 - 14. Is d(m) prime?
False
Suppose 7*c - 2178 = 1301. Suppose -2*x = c - 1291. Is x prime?
True
Let v be 3/15 + 52/(-10). Let o(n) = -2*n**2 + 2*n - 1. Let j be o(v). Is 7/14 - j/2 composite?
False
Let s be (-16)/(-6) + 8/(-12). Suppose 4*n - s*m - 1622 = 0, -4*m - m - 392 = -n. Is n prime?
False
Let u be 2*((-139)/(-2) - 4). Let z = 242 - u. Is z composite?
True
Let h(z) = -z**2 - 7*z - 5. Let r be h(-6). Let g = -5 - r. Is 148/g*18/(-12) prime?
True
Let t(k) = -k**2 + 5*k. Let h be t(5). Let n = -16 + h. Let o = 87 + n. Is o a prime number?
True
Suppose -4*l - 6698 = -5*q, 3*l + 6 = -0*l. Is (-3)/15 - q/(-15) prime?
True
Let t = 3643 - 2400. Is t composite?
True
Let x = 10 - -42. Suppose 3*q = -q + x. Is q prime?
True
Suppose -614 = -6*j - 68. Is j a prime number?
False
Let g(n) = -57*n + 6. Is g(-9) a composite number?
True
Let s be (8/10)/((-20)/(-150)). Let k(q) = 50*q + 29. Let y(z) = 17*z + 10. Let j(m) = 3*k(m) - 8*y(m). Is j(s) composite?
True
Suppose -28 = 4*b + 4*h, -5*b - 37 = h + 2*h. Is ((-83)/3)/(b/24) prime?
True
Let a(p) = 10 - 8*p + 22*p - 3*p - 9*p + 3*p**2. Is a(-7) a prime number?
False
Let q(g) = g**3 - 3*g**2 - g + 2. Let f(o) = o**3 - 2*o**2 - o - 4. Let y be f(3). Let x be y*(-3)/6 + 6. Is q(x) a composite number?
False
Let t(c) = -c + 18. Let g be (-2)/4 + (-2)/(-4). Let q be t(g). Suppose -q + 44 = 2*x. Is x a composite number?
False
Suppose 2*b = 2*o - 5*o + 62, 31 = b - 4*o. Is b composite?
False
Let z(r) be the second derivative of -r**5/20 - r**4 + 19*r**3/6 + r**2/2 - 8*r. Is z(-14) prime?
True
Suppose -940 = -2*h + h. Suppose -h + 255 = -5*s. Suppose 64 + s = 3*z. Is z a composite number?
False
Suppose -5*c + 0*c = 4*u - 23, -13 = -5*c + u. Suppose -8*a + 50 = -c*a. Is a a composite number?
True
Let p(u) = -45*u + 14. Let b = -28 + 17. Is p(b) a prime number?
True
Let v = 12 - 8. Suppose 4*j = -2*u + 302, 0 = -v*j - u + 2*u + 311. Is j a composite number?
True
Is (-63)/(-105) + 21764/10 a composite number?
True
Suppose 0 = 2*u - 322 - 508. Is u a composite number?
True
Let o(y) = -2*y**3 - 3*y**2 + 2*y - 2. Let l be o(-5). Suppose -d + 2*u = 2, 0 = 3*u - 9 + 3. Suppose -4*v + l = j, 2*v = -3*j - d*v + 489. Is j prime?
True
Let u(i) = 24*i + 9. Is u(7) prime?
False
Let q = 3 - 9. Let b be ((-3)/q)/((-1)/(-12)). Suppose -2*z = -b*z + 100. Is z a prime number?
False
Let m(a) be the first derivative of 64*a**3 - a + 2. Is m(-1) a composite number?
False
Is 9/1*(-1910)/(-30) composite?
True
Suppose -7*r - 157 = -2474. Is r prime?
True
Suppose -6*y + 2281 = 775. Is y composite?
False
Let q(z) = -z**2 - 9*z - 10. Let k be q(-7). Suppose 0 = -k*v + 2*u + 302, -2*v + 3*u = -3*v + 86. Is v composite?
True
Let w = -370 - -557. Is w a composite number?
True
Let a be 2*4/(-16)*-6. Suppose u = a*u - 170. Is u a composite number?
True
Let a = -8 - -13. Suppose -1 - a = -2*q. Suppose -q*k = -56 - 43. Is k composite?
True
Let v(c) = -c**3 + 7*c**2 + 7*c - 1. Let f = -7 - -13. Is v(f) a composite number?
True
Suppose 15*t = 14906 + 16759. Is t a prime number?
True
Let p = 55 - 238. Let z = p - -374. Is z composite?
False
Let d = -4 + 8. Suppose -3*s = -5*y + 94, 2*s = -d*y + 5*s + 74. Is (-6)/3 + 3 + y prime?
False
Suppose 2*q + 204 = 5*q. Let c = q + 6. Is c prime?
False
Suppose 3*d - 30 = 27. Is d prime?
True
Suppose -2*p = p + 9, 3*p = 3*x + 183. Is 6 - (-3 - -6) - x composite?
False
Suppose -f + 719 = -5*b - 447, -3*f = -b - 3456. Is f composite?
False
Suppose 0 = 4*l - 9 - 3. Let n(j) = 5*j. Is n(l) prime?
False
Suppose 5*s + z + 0*z - 515 = 0, -4*s + 412 = 4*z. Is s a prime number?
True
Suppose -5*y = -y - 364. Is y composite?
True
Let q be (-4)/(24/(-45))*-2. Let u be 16/(-10) - (-6)/q. Is (1 + 0)/(u/(-66)) composite?
True
Let x = -21 + 16. Let d(i) = -4 + 1 + 0*i - 8*i. Is d(x) composite?
False
Let s(m) = m**3 - 3*m**2 - 5*m - 1. Let g be (1 + 3)*(1 + 1). Let j = g - 2. Is s(j) a prime number?
False
Let i = -1855 - -4098. Is i a prime number?
True
Let s be 0 - 2 - (-8)/2. Suppose -x = -s - 3. Suppose -r + x*z = -3*r + 25, 4*z + 6 = r. Is r composite?
True
Suppose 24*k - 14656 - 160760 = 0. Is k a prime number?
True
Let i(v) = 2*v - 11. Let q(t) = -9*t + 3. Let k be q(4). Let a be (0 - -2)/((-6)/k). Is i(a) a prime number?
True
Is (-2*(3 + -7372))/2 prime?
True
Let k(h) = h**3 - 8*h**2 + 12*h - 7. Suppose 4*c - 2*c = 16. Is k(c) a prime number?
True
Let c(q) = 5*q**2 + 10*q + 8. Is c(-7) a composite number?
True
Let s = 80 + -48. Suppose -z = -3 + 4. Let y = s + z. Is y prime?
True
Let d(y) = y**2 - 10*y + 5. Let q be d(5). Is 1/4 - 1775/q prime?
True
Let a = -3 - -36. Is a prime?
False
Let h = 1268 + -886. Is h composite?
True
Suppose -4*k - 1 = b, -2*b + 4*k + 11 = -k. Suppose 561 - 18 = b*g. Let w = -20 + g. Is w a composite number?
True
Let v(k) be the first derivative of -1 + 2*k - 2*k + k + 5*k**2. Is v(3) a prime number?
True
Suppose 0*z + 2*a = 4*z - 1322, -2*z + 663 = a. Is z a prime number?
True
Suppose 2*i - 1 = -5*y, -8*i + 5*y + 20 = -3*i. Suppose a - i*a - 76 = 0. Let l = a + 63. Is l a prime number?
False
Let w(b) = b**3 - b**2 + b - 1. Let d be w(1). Is 1 + (d - 480)/(-3) composite?
True
Is 2*-1 - (4 + -163) a composite number?
False
Suppose -4*c = -66 - 46. Suppose -4*g - 43 - 29 = 0. Let v = c + g. Is v prime?
False
Let s(v) = v**2 - 2. Let c be s(-2). Let y(g) = 101*g - 1. Let l be y(c). Suppose -5*t + l = 16. Is t composite?
False
Let g(v) = 37*v**2 - v + 1. Let p(h) be the first derivative of -h**3/3 - 4*h**2 + h - 1. Let f be p(-8). Is g(f) a prime number?
True
Let v(y) = -2*y**3 - 14*y**2 + 18*y - 31. Is v(-14) prime?
False
Let t be 156/10 - 4/(-10). Suppose 4*n = -2*l + 298 + t, -3*l - 2*n + 455 = 0. Is l composite?
False
Let i be 19/(-3) + 3/9. Is (-867)/i + 2/4 composite?
True
Let y = 8 + -2. Suppose y*m - 2*m - 4 = 0. Let q = m - -6. Is q a composite number?
False
Suppose -8*r + 20*r - 3492 = 0. Is r a composite number?
True
Let a be (2 - 1)*(0 - 0). Suppose a*j - 2704 = -4*j. Suppose j = 4*w - 0*w. Is w a prime number?
False
Let f(z) = -z**3 + 2*z**2 - 2*z - 4. Let a be f(3). Let u(d) = d**2 - 8*d - 3. Let l be u(6). Is (a/3)/(5/l) a prime number?
True
Let g = -15 - -19. Suppose -g*p - 3*t - 2*t + 253 = 0, -5*p = -3*t - 344. Is p a composite number?
False
Suppose 6*o - 92 = 4*o. Suppose 0 = -5*a + 3*s + o, -16 = -5*a + s + 26. Is ((-34)/a)/(6/(-48)) a prime number?
False
Suppose 2*m - 159 = -5*b, 2*b - m = -5*m + 54. Is b a prime number?
False
Let u(l) = l**3 + l**2 + 2*l + 2. Let i be u(-5). Let c = -41 - i. Is c a prime number?
True
Suppose -5*q + 55 = -y + 2*y, y = -3*q + 55. Is y a composite number?
True
Let s = -560 - -1027. Suppose y = -0*y + s. Is y a prime number?
True
Let k(d) = -6*d**2 + 2*d**3 - 4*d + 6 - 3*d - d**3. Suppose 4*r - 7 = 3*r. Is k(r) prime?
False
Let i(o) = 4*o**2 + 2*o + 1. Let g be i(-1). Suppose -2*a = -g*j + 39 - 150, -15 = 5*a. Let d = 65 + j. Is d a prime number?
False
Let s be 28/10 - 19/(-95). Suppose s*h - 2*k - 1667 = 2*k, -2*k = -3*h + 1669. Is h prime?
True
Let t = 3 - -2. Is (-3)/5 - (-78)/t composite?
True
Is ((-3)/9)/((-4)/20508) a composite number?
False
Let z = 67 - -144. Is z a prime number?
True
Let s(k) = -k**2 - 6*k - 3. Let u be s(-4). Suppose 0 = -u*y + 589 + 1306. Is y a prime number?
True
Suppose -13*h + 12*h = -6. Is h composite?
True
Let l = 161 - -100. Suppose 5*i + l = 5*v - v, 0 = 4*v - 4*i - 256. Is v composite?
False
Let r = -242 + 143. Let x = r + 188. Is x a prime number?
True
Let m be -5*9*6/5. Let d = 213 + m. Is d composite?
True
Suppose 0*f - f = 0. Is 8/(-4) - (-41 + f) a prime number?
False
Suppose 0 = 4*v + 890 - 4134. Is v prime?
True
Let i = 117 - -120. Is i composite?
True
Suppose 2*i + 159 - 1241 = 0. Is i prime?
True
Let q(p) = -p**3 + 5*p**2 + 5*p + 5. Is q(-8) prime?
True
Let l(y) = -59*y - 1. Let t be l(-4). Let s = t + -86. Is s composite?
False
Suppose 5*y - 24 = -0*y + 3*v, -21 = -5*y + 2*v. Let p be ((-4)/6)/(1/y). Is (-326)/(-6) + p/(-3) composite?
True
Let c(j) be the third derivative of 23*j**4/8 + 2*j**3/3 - 3*j**2. Is c(3) composite?
Fals