Let p(t) be the third derivative of t**6/120 + 77*t**3/6 - t**2. Is p(0) a prime number?
False
Let m = -6 + 10. Suppose 3*c = c + m. Suppose -2*t + 84 = c*t. Is t composite?
True
Suppose -3*r - 16 = 4*t, r - 5*r - 16 = 4*t. Suppose r = 6*a - a - 1695. Is a a composite number?
True
Is ((-996)/24)/((-2)/4) prime?
True
Suppose 4*y + 460 = 4*i, 55 = -y + 3*i - 62. Is y*(-2 - (-15)/9) prime?
False
Let w(q) = -41*q + 8. Is w(-3) a prime number?
True
Let w(i) = 222*i**2 + 6*i - 11. Is w(5) a prime number?
True
Let p(c) = c**2 + 5*c - 4. Let t be p(-6). Is 6 + 4/t + -1 a composite number?
False
Is 1/1 - (-269 - -1) composite?
False
Let b be (-4)/3*(-72)/32 - -69. Suppose 5*k = k + 148. Let a = b - k. Is a composite?
True
Let g = 296 + -33. Is g prime?
True
Let s(g) = -541*g**2 - 1. Let f be s(-1). Let w = 849 + f. Is w a composite number?
False
Let k(l) = l**3 + 3*l + 1. Let f be k(3). Let o = f - 22. Is o a prime number?
False
Suppose z - 2*h = 54, -3*z + 103 = -h - 49. Let t(u) = u**2 + u - 15. Let p be t(-6). Suppose -p + z = 5*b. Is b a prime number?
True
Suppose 13*r - 2620 = 9*r. Is r prime?
False
Suppose -5*x + 2*n + 21 = 0, 0*x + 4*x = -2*n + 6. Suppose t + 72 = -x*t. Let u = -3 - t. Is u a composite number?
True
Suppose 5 + 20 = 5*d. Let m be (-3)/5 - (-1553)/d. Let x = -119 + m. Is x a composite number?
False
Suppose 138 = -4*s + 6*s. Is s a composite number?
True
Let h(d) = d**2 + 15*d + 5. Is h(-17) a prime number?
False
Let d = 87 + -1. Is d a prime number?
False
Suppose 0 = -f + 51 - 6. Suppose 3*a - f - 132 = 0. Is a a prime number?
True
Suppose s - 5*s + 1200 = 0. Let j be (-2)/4 - (-1516)/8. Let y = s - j. Is y a prime number?
False
Suppose -p + 12 + 57 = 0. Is p prime?
False
Suppose 0 = 136*s - 140*s + 3004. Is s composite?
False
Let f = -264 - -441. Is f a prime number?
False
Let i = -133 - -199. Suppose 3*n + i = 5*n. Is n a prime number?
False
Suppose 17 = 5*k + 5*i - 88, -5*k + 105 = -5*i. Let j = -6 + k. Let r = j + -6. Is r composite?
True
Let m = -332 - -659. Let a = m - 212. Is a a prime number?
False
Let y be 82 + -6 + (0 - 0). Let z be (-3 - -6)/(6/y). Suppose -u = -0*u - z. Is u prime?
False
Suppose 0 = 2*h + 26 - 280. Is h a prime number?
True
Suppose -25 = 2*n - 219. Let w = n - 8. Is w a prime number?
True
Let n(c) = 14*c**3 - c**2 - c + 1. Let b be n(2). Let x = b + -71. Let m = x - 25. Is m a composite number?
False
Let c be (-38)/(-8) - 1/(-4). Suppose 5*v + 30 = 2*v. Is 4/v - (-247)/c a prime number?
False
Let t(c) = 3*c**2 + 13*c + 12. Is t(-5) prime?
False
Let b(q) = -q + 8. Let l be b(4). Suppose 4*y + 1976 = -4*t, -l*y = y + 4*t + 2466. Let h = y - -825. Is h a prime number?
False
Suppose -5*f = -0*f + 15. Let j(w) = -w**3 - w**2 + 3*w - 3. Is j(f) composite?
True
Let b(q) = 2*q**2 - 3*q + 5. Let a(y) = y**2 - 8*y + 3. Let j be a(7). Is b(j) composite?
True
Let x be (1 - 1)*(-2)/(-6). Suppose 3*z - 781 = -4*l, x = -4*l + z - 341 + 1142. Is l a prime number?
True
Let c(h) = -1002*h + 5. Is c(-1) a composite number?
True
Let h(x) = -x**2 - 14. Let t be h(-10). Let w = -163 - t. Is (-6531)/w - (-2)/(-7) a composite number?
True
Let g(x) = 1 + 3*x + 5 - 2. Is g(9) composite?
False
Let g be 4/(-5)*5/(-2). Suppose -g*l = l + 495. Is 2/4 - l/2 a composite number?
False
Let s = 5 + -11. Is 881/3 + 4/s a prime number?
True
Suppose -3*n = n - 12. Suppose -4*r - r = -10. Suppose -f = -b + 46, -r*f = -n - 7. Is b composite?
True
Suppose -2*t + 2454 = t. Is t prime?
False
Suppose -o + 4 = 1. Suppose -y - s - s + 6 = 0, 0 = 3*s + o. Suppose -j = j - y. Is j a composite number?
True
Is ((-80206)/12)/(-7) - (-3)/18 composite?
True
Is (-5 - (0 + -3)) + 189 a composite number?
True
Suppose -h + 4*l = 113, -5*h - 680 = 3*l - 0*l. Let g = h - -63. Is ((-14)/4)/(5/g) a prime number?
False
Let u(q) = 307*q**2 - q - 1. Is u(-1) prime?
True
Let g(v) = -5 + 61*v**3 - 9*v - 65*v**3 - 6*v**2 - 4*v**2. Is g(-6) a prime number?
False
Let c = -1237 + 2078. Suppose -4*m = c - 65. Let i = 381 + m. Is i a prime number?
False
Let o(n) = 2 + 0 - 1 - 2*n**3 - 7*n**2 - 3*n. Let w(u) = -u**2 + 4*u - 5. Let v be w(4). Is o(v) a composite number?
True
Let b = 11 + -8. Let r(p) be the second derivative of 7*p**3 + p**2/2 + 3*p. Is r(b) a prime number?
True
Let g(y) = 3*y - 4. Let p be g(3). Let w(s) = -s**3 - 3*s**2 + 2*s - 5. Let r be w(-4). Suppose 8*l - o = r*l + 177, p*o = -10. Is l composite?
True
Let n be (1 - 0 - 4) + 7. Suppose n*b + s = 2*s + 60, 0 = s + 4. Is b prime?
False
Is (-1 + 0)/((-1)/97) prime?
True
Let q = 7 - 9. Let n = q + 5. Suppose 275 = n*d + 2*d. Is d a prime number?
False
Let k(f) = 7*f - 7. Let d be k(-7). Let m = d - -123. Is m composite?
False
Is (-5 + 3)*(-55)/2 composite?
True
Let h(m) = m**3 + 6*m**2 + m + 4. Let n be 2*6/(-4)*2. Let a be h(n). Is 200/6 - a/(-6) prime?
False
Suppose 0 = -4*a + 6785 + 311. Suppose k = -k + a. Is k composite?
False
Suppose 8339 = 4*h - 5*d, 2069 = h + 4*d - 0*d. Is h a composite number?
False
Suppose 4*j = 2*o + 12, -2*j + 12 = -3*o + 2*j. Suppose 3*n = -2*v - 16, 4*n + 3*v + 10 + 12 = o. Is (-30)/4*(-6 - n) a prime number?
False
Let y = -11 + 15. Suppose 2*g + y + 0 = 0. Is ((-6)/12)/(g/844) a composite number?
False
Suppose -2*f + 5*f = 177. Suppose -211 = -2*p - f. Let k = 165 - p. Is k a composite number?
False
Let x(g) = -9*g - 3. Let d be x(3). Let l = 67 + d. Is l composite?
False
Suppose 0*w + 4550 = 4*w - z, -5*w - 3*z = -5696. Is w composite?
True
Let v(n) = n**3 + 7*n**2 - 8*n - 2. Let w be v(-8). Let a be (-1)/(58/30 + w). Suppose b + 6 = a. Is b a prime number?
False
Let s be (87 + 2)*2 - 2. Suppose -f + s = 27. Suppose -5*x + f + 186 = 0. Is x composite?
False
Let g = 703 - 366. Is g composite?
False
Let p(z) = 3*z**2 + 4*z - 2. Let w = 1 + 2. Is p(w) prime?
True
Suppose -5*t = -0*t - 7085. Let j = 2004 - t. Is j a prime number?
True
Let g = 327 - 92. Suppose 7*m - 2*m - g = 0. Is m a prime number?
True
Let b(y) = y**3 - 7*y**2 + 3. Let w be b(7). Let h be (-2)/3 + 8/w. Suppose 5*r = h*r + 99. Is r a composite number?
True
Let g be (-3)/2 - 9/(-2). Suppose g*y - 245 + 32 = 0. Is y prime?
True
Let m = -2 + 1. Let n be (m/2)/((-1)/10). Suppose 0 = n*z - 785 + 130. Is z a prime number?
True
Suppose 3*n - 3*f + 3981 = 0, 0 = 2*n + 2*n - 2*f + 5302. Is (n/(-6))/(2/3) composite?
False
Let m(l) = l**2 + 4*l - 2. Let b be m(-4). Is 0/((-2)/b) + 53 composite?
False
Let m = -213 - -313. Let f = 27 + m. Is f a prime number?
True
Suppose -333 = f + x, -5*f + x - 1615 = -4*x. Let m = f - -89. Let z = -120 - m. Is z composite?
True
Suppose 3*k - 21 = -6. Let d(o) = 3*o**2 + 5*o - 7. Is d(k) prime?
False
Let s = -18 + 13. Let u(h) = 4*h - 5*h**2 + 2 + 2*h**3 + 11*h**2 + h**3 - 2*h**3. Is u(s) a composite number?
False
Let q = -12831 + 18092. Is q composite?
False
Suppose 4*l = 5*c - 426, 4*c - 3*l = 203 + 137. Is c prime?
False
Let j = 2 - -2. Suppose -j*v + 174 = 42. Suppose 3*p - 36 = v. Is p a prime number?
True
Suppose 2*o - 3*o = 8. Let c = 7 - o. Is c a prime number?
False
Let y = -38 - -104. Let j = 113 - y. Is j prime?
True
Let a(l) = -2*l**2 - 4*l - 4. Let y(h) = h + 2. Let t be y(-5). Let v be a(t). Let r(j) = -24*j + 13. Is r(v) composite?
True
Let d(y) = 3*y**2 + 11*y + 9. Is d(-6) prime?
False
Suppose -q - 3 = -0*p - 2*p, -4*p + 3*q = -11. Let k = p + 3. Suppose -3*x = -k*n + x + 66, -x + 106 = 3*n. Is n a prime number?
False
Suppose 7 + 2 = d. Suppose -3*b + 3 = -0, -268 = -4*x + 4*b. Let c = d + x. Is c a prime number?
False
Let q be (1 - 9)/4 - -54. Let c(p) = p - 2. Let f be c(5). Suppose f*r + r = q. Is r composite?
False
Suppose s = 2*s + 3*r - 3, -5 = -4*s - 5*r. Let m be s - -4*(-3)/(-2). Suppose -x - 25 = -3*f, -f - 3*x - 47 = -m*f. Is f a composite number?
False
Is (459 + 8)/(2/10) a prime number?
False
Let i(o) = -75*o + 1. Let w be i(-1). Suppose w = 4*g - 4*k, -4*k + 0*k - 91 = -5*g. Is g a prime number?
False
Let b(i) = -i - 1. Suppose 0 = 3*v - 4*t - 4, 6*v + 2 = 5*v - 2*t. Let x be b(v). Is 2/x + 6 + 63 composite?
False
Is (-10)/2 - (-5844)/3 composite?
True
Let o be ((-68)/(-6))/(4/6). Suppose -2*s - 4 = 0, -o - 127 = -3*m + 3*s. Is m prime?
False
Let x(v) = 94*v**2 + 6*v + 11. Is x(-3) composite?
False
Is (-3 - -2)*(-126 + -1) prime?
True
Suppose 0 = -z -