s - h. Is s a prime number?
True
Let q(b) be the third derivative of -b**5/60 + 5*b**4/12 - 3*b**3/2 + 4*b**2. Let t be q(9). Suppose 2*o + o - 159 = t. Is o a composite number?
False
Let p(y) = -y**3 - 10*y**2 + 10*y - 9. Let x be p(-11). Suppose 3*j + 233 = x*j. Is j/(-5) - 15/25 composite?
True
Suppose 7 + 73 = 5*l. Let i be l/(-24)*3/2. Is 266 + (-4 - i) + -4 a composite number?
True
Let h(v) = -2*v**3 - 17*v**2 + 19*v + 6. Let c be h(-13). Suppose -n - 2223 = -4*p, -923 - c = -4*p + 5*n. Is p composite?
False
Let r(c) = -2*c - 9. Let t be r(-6). Suppose -g = t*u - 4*u + 5, -5*g - 5 = -u. Suppose 0 = 4*h - 20, 4*k - k + 4*h - 113 = g. Is k composite?
False
Is (-2 - -1)*(-600 + 55) a prime number?
False
Suppose m = -0*m + 678. Suppose -s = 2, -5*r - 5*s + 4*s = 1897. Let x = r + m. Is x a composite number?
True
Let b(j) = 15*j**2 - 3*j + 4. Let c be b(3). Let f = -77 + c. Is f prime?
True
Suppose -16*a + 2778 = -68454. Suppose 2*y - a = 2*n, 2*y + 2*n + 3*n - 4487 = 0. Is y prime?
False
Let g(d) = d**2 - d - 1. Let h(z) = -3*z**2 + 11*z - 20. Let v(x) = 5*g(x) - h(x). Is v(10) prime?
False
Suppose -u - 26*u = -8613. Let b = -365 - -941. Let w = b - u. Is w composite?
False
Let k(d) = 36*d - 50. Let o be k(16). Suppose 0 = -9*s - o + 9103. Is s composite?
False
Suppose -14147 = -3*f + 4*o, 3*f - 18900 = -f - 4*o. Is f a composite number?
False
Suppose 0 = 2*g - 2 + 12. Let j be -3 + g/(-1) + 3. Suppose x = -2*w + 27, 2*w = -j*x - 2*w + 111. Is x a composite number?
False
Let u = 1547 + 10944. Is u a prime number?
True
Suppose 2256 = 5*d + 5*j + 516, -d = -4*j - 373. Let r = -90 + d. Is r a prime number?
True
Suppose 4 + 2 = -3*z. Is 2691/(-26)*z/3 prime?
False
Suppose 0 = -21*s + 15*s - 228. Let c = s + 96. Is c a composite number?
True
Let o(f) be the third derivative of -11*f**6/40 - f**5/12 + f**4/6 + 5*f**3/6 + 4*f**2. Let u be o(-5). Suppose -d + u = 4*d. Is d a prime number?
True
Let w be 3/(-9) - 20/(-6). Suppose -w*o + 65 = 2*o. Let t = o + 25. Is t a composite number?
True
Suppose 0 = 4*y + 1 - 9. Let h(c) = 1 + 0 + 4*c**2 + 6*c - 2*c**y. Is h(-6) a composite number?
False
Let d(v) = 13*v**3 + v**2 - 3*v + 2. Let n be d(1). Is 12/(-78) - (-18189)/n a composite number?
False
Let o(a) = 54*a**3 + 3*a**2 - 3*a + 1. Let y be o(1). Is 16/(-8) + y/2*38 a composite number?
True
Suppose 0*j = -6*j. Suppose -614 = -3*l + 2*t + 603, j = 4*l + 2*t - 1632. Is l a prime number?
False
Let f = 15 + -10. Suppose 19 - 75 = -56*v. Suppose w + v = f*q + 29, w - 48 = q. Is w a prime number?
True
Suppose 0 = -q - 60 + 54. Is 499 + 5/(-10)*q prime?
False
Is 1*7*36071/7 prime?
False
Let s = 13 + -20. Is 10 + s + 1*223 a composite number?
True
Let l(a) = 9*a + 51. Let j be l(14). Suppose -t = -884 + j. Is t prime?
False
Let f(g) = 2*g**2 + 4*g + 1. Let c be f(-3). Let p = 162 - c. Is p prime?
False
Let s = 75 - 128. Suppose 6 = 4*g - 2*o + 14, -20 = 3*g + 2*o. Is 7/(g + (-213)/s) composite?
True
Suppose 5*g = 25, -48683 = -2*i - 293*g + 288*g. Is i a composite number?
False
Suppose 0 = s - 1 - 1. Suppose -s*q = 2*q. Suppose 0 = -q*j + 3*j - 699. Is j a prime number?
True
Is (36 - 34) + (2316 - 1) a composite number?
True
Let q(m) = 1 + 2 + 9 - 536*m - 2. Is q(-2) composite?
True
Suppose 391 = 18*f - 23. Is f a composite number?
False
Let b(y) = 652*y**2 - 6*y - 17. Is b(-2) a prime number?
False
Suppose z + 13 = 4*k - 1, 5*z - 6 = k. Suppose u = z, 4*v + 10 = 3*v + 3*u. Is v*2/4 + 189 a prime number?
False
Let h = 814 + -1448. Let s = h - -1368. Is s a prime number?
False
Let g(r) = 10*r**2 - 3 + 2*r - 7 + 2*r**3 + 8*r - r**3 + 1. Let n(m) = -m**3 + 5*m**2 - 3*m + 7. Let p be n(5). Is g(p) a prime number?
False
Suppose 0 = -0*q - 2*q - 3*s + 12175, -s + 30405 = 5*q. Is (-1)/3 + q/24 prime?
False
Let w(m) = m**2 - 9*m + 91. Is w(-14) composite?
True
Let j(t) be the third derivative of t**6/120 - 3*t**5/20 + 5*t**3/3 + t**2. Let l be j(8). Is 7/((-21)/l) + 1 composite?
False
Let t(j) = -j**3 + 12*j**2 - 19*j - 8. Let c be t(10). Suppose 6*s - 7*s - c*r = -10, -2*s = -3*r - 13. Is (-2)/((-5)/(8980/s)) a prime number?
True
Let f(j) = 10*j**3 + 5*j**2 - 2*j - 2. Let k be 12*2/4 - 3. Is f(k) prime?
True
Let s = -868 + 1277. Is s a composite number?
False
Let c = -13021 - -21662. Is c composite?
False
Let m(k) = -2*k**2 + 13*k - 9. Let v be m(5). Let g be 1 + (-4)/(4/(-3)). Suppose g*l = v*l - 62. Is l a composite number?
False
Suppose 0 = 5*u - 25, -2*j - 27 = -u + 6. Is 244910/70 + (-2 - 32/j) prime?
True
Let c = 31829 + -6952. Is c a prime number?
True
Let n be (-7 + 8)*(1 + -1471). Let i = 788 - n. Suppose 3*k + q = -0*q + i, -4*q + 2255 = 3*k. Is k prime?
False
Suppose 7*w - 2*w + 525 = 0. Suppose 0*j + 162 = j - 2*x, -3*j + 486 = -2*x. Let i = w + j. Is i composite?
True
Let y(p) = 2*p**2 - 5*p - 9. Let h be y(4). Suppose -191 = -s + 4*k, s - h*k - 407 = -s. Is s a composite number?
False
Let c = -3 - -7. Suppose -8 = -c*h + 12. Suppose m = 3*l - 335 + 80, h*m = -3*l + 255. Is l a composite number?
True
Let k = -36 + 40. Suppose 7724 = k*r + z, -2*z = 4*r - 5*z - 7724. Is r a prime number?
True
Suppose 438 = y - 149. Is y a prime number?
True
Is 563625/20 - (3 - 11/4) a composite number?
False
Let g = 3234 + -1859. Let m = g - 672. Is m composite?
True
Let l(q) = 203*q**3 - q**2 - q - 2. Let t be l(-2). Let k = t + 2947. Is k composite?
False
Let x = -9415 - -19902. Is x a composite number?
False
Suppose 0 = 3*t + w - 299868, -3*t = 3*w - 91771 - 208103. Is t a composite number?
True
Suppose 14 - 10 = 2*f. Let k(p) = 81*p**3 - 5*p**2 + 4*p - 5. Is k(f) a composite number?
False
Let v = -2260 - -5306. Suppose -m = -3*g + 1673, -2*m - 4*g - 2029 - 1357 = 0. Let w = v + m. Is w composite?
False
Let p(j) be the third derivative of 4*j**4/3 + 11*j**3/6 - j**2. Is p(4) a prime number?
True
Let x = -16480 - -27693. Is x a prime number?
True
Let z = -1063 + 738. Let k = -162 - z. Is k composite?
False
Let h(d) = 1069*d - 348. Is h(13) a composite number?
True
Let u(v) = -4291*v - 16. Is u(-5) a composite number?
True
Suppose 0 = -4*f + 12*f - 9016. Suppose 2*m + m - 5*l - 1099 = 0, 3*m + 2*l = f. Is m composite?
False
Let p(y) = y**2 + 2*y + 7. Let r be ((-1)/2)/((-1)/20). Is p(r) composite?
False
Suppose 14180 + 10119 = 2*i - 5*w, 4*w - 12 = 0. Is i prime?
True
Suppose n - 5*n + 920 = 0. Let p = -327 + n. Let b = -35 - p. Is b composite?
True
Let v(x) = -6*x**3 - 11 + 5*x + 8*x**3 - 3*x**3 - 5*x**2. Is v(-10) a composite number?
False
Let s be 40/10 - 4*(-1 + 2). Suppose s*l + 1201 = g + 3*l, 0 = -5*g - 4*l + 6049. Is g a composite number?
False
Let m(x) = -x**2 + 11*x - 10. Let s be m(8). Suppose 10*w = s*w - 2788. Is w prime?
False
Let p = 3 + 4. Let f(z) = -z**3 - 1. Let o(k) = 4*k**3 + 6*k**2 + 13*k + 9. Let c(r) = 5*f(r) + o(r). Is c(p) a prime number?
False
Let s(y) be the second derivative of y**4/2 - y**3/2 - 5*y**2 - y. Let d be (-6)/(6 - 0) - -8. Is s(d) a prime number?
True
Is (48/16)/((-3)/(-5455)) prime?
False
Suppose 3*t - 1254 = 2*t - v, 5*t + 3*v = 6268. Is t composite?
True
Let s(z) be the third derivative of -z**5/30 + z**4/24 + 530*z**3/3 + z**2. Let g be s(0). Let i = -593 + g. Is i composite?
False
Let u be -6 + 5 - (2 + -3). Suppose -12 = -4*n - u. Suppose -5*j + l + 284 = -l, 0 = -3*j + n*l + 165. Is j composite?
True
Suppose -30*l + 23*l = 5404. Let x = l + 2766. Is x a composite number?
True
Is 144262/51 - -5 - 2/3 composite?
False
Suppose -18*o + 1078 = -4*o. Is o prime?
False
Let k = -70 - -67. Is (k - -2)*(-223 - 0) prime?
True
Suppose -1096 = 301*k - 303*k - 3*p, 4*k + 3*p = 2180. Is k composite?
True
Suppose 78*y - 20694 = 72*y. Is y a prime number?
True
Suppose -y + 4*f - 20 = 0, f = 3*y + 8 - 3. Suppose 655 = -y*s + s. Is s prime?
False
Is 4/18*1 - (-2614277)/153 a composite number?
True
Let g = -121 - -125. Let h(f) = 21*f**3 - 5*f**2 + 4*f - 7. Is h(g) prime?
False
Let g be 2*1*(2 + 10). Suppose 3*n = 0, -g = 7*q - 3*q + 5*n. Is 5946/24 - q/(-8) composite?
True
Suppose 5*c = 6*g - 7*g + 53901, 3*c + g - 32339 = 0. Is c prime?
True
Let q = 1258 - 704. Is q composite?
True
Let v = -5 + 5. Suppose 0 = -v*k - 3*k + 6. Suppose 3*x - 343 = -4*p, 0*x + k*x = 5*p + 267. Is x a prime number?
False
Let t be (21/28)/((-2)/200). Let q = 