t p(v) be the third derivative of 11*v**4/4 + 2*v**3 + 6*v**2. Let w be p(9). Let z = w + -259. Is z a composite number?
False
Suppose -9 = m + 2*m, 2*t + m - 3 = 0. Let g(i) = -314*i**2 - i + 408. Let r(o) = -314*o**2 - o + 511. Let s(a) = -5*g(a) + 4*r(a). Is s(t) prime?
True
Suppose -16 - 68 = -4*w. Is 2/14 + 77382/w + 2 composite?
True
Let d = 14770 - 4570. Let t = d + -3679. Is t a prime number?
True
Let r(p) = -p**3 - 3*p**2 - 8*p + 1. Let i(f) = 2*f**2 - 17*f - 25. Let t be i(9). Is r(t) a composite number?
False
Let y be ((-3)/(-1))/(15/40). Suppose 0 = 5*l + 2*z - 6835, 0 = 2*z + 2 + y. Is l a composite number?
True
Suppose 3*r = -5*o + 71010, 0*r - r = 5*o - 71020. Suppose 2*b + o = -3*b. Let w = -1964 - b. Is w a prime number?
True
Let n(q) = 1521*q**2 + 286*q + 3925. Is n(-14) a prime number?
False
Suppose 5*k - 25 = 3*v + 2*v, -3*k - 5*v = 25. Suppose -9*f + 6*f = k. Is (-3 + f - -22)/1 a composite number?
False
Let k = -51 - -78. Suppose 4*a - k = -3. Is 30/a + 412 - -1*2 composite?
False
Let c(l) = -l**3 - 9*l**2 - 13*l - 28. Let f be c(-8). Let m(o) = 709*o - 19. Is m(f) a composite number?
True
Suppose -2475344 = -5*s - 3*k + 532073, 5*s = 3*k + 3007453. Is s prime?
True
Let y(o) = 6*o + 26. Let n be y(-11). Let d be ((-3810)/4 + 0)*n/3. Suppose -4*c + 11184 = -d. Is c a prime number?
False
Let z(p) be the third derivative of p**6/30 - p**5/6 + 67*p**4/24 - 14*p**3/3 + 24*p**2 - 5. Is z(15) a prime number?
True
Let f(a) be the first derivative of 1021*a**2/2 + 21*a - 54. Is f(4) a composite number?
True
Let b be (-3234)/(-10) - (-15)/25. Let c = b - -4537. Is c a composite number?
False
Suppose 53*g - 7753915 = -12*g. Is g a composite number?
False
Let x be (38/57)/(2/(-9)) - -8. Suppose x*p + g - 98577 = 0, 5*g - 90089 + 11219 = -4*p. Is p prime?
False
Let r be 6/(-21) - ((-687)/(-21) - 1). Let b be (2*r)/((-24)/1284). Suppose -m = -b - 457. Is m a prime number?
True
Let p = 737 + -727. Let f(b) = 284*b - 337. Is f(p) prime?
True
Suppose -2*d + 8*t - 22842 = 4*t, -4*t = 3*d + 34223. Let f = d - -19986. Is f composite?
False
Suppose 4*k = -5*i + 6*i + 20, 0 = 4*i. Suppose -k*h + 15*h = 9070. Is h a composite number?
False
Let m = 73 + -69. Suppose m*y = -554 + 1994. Let t = 1073 - y. Is t a prime number?
False
Let a(i) = 2*i**2 - 26*i + 2. Let v be a(13). Suppose -1 = d, 2420 = v*l - 0*d + 2*d. Is l a composite number?
True
Let o(r) = 3315*r**2 - 3653*r + 7. Is o(13) a composite number?
True
Let d(p) = p**3 + p**2 - p - 5. Let c be d(4). Suppose -435 + c = 13*f. Is 710 - 7/(f/12) composite?
True
Let u(z) = -23*z + 28. Let m(o) = -11*o - 21 - 169*o**2 + o**3 - 166*o**2 + 324*o**2. Let a be m(12). Is u(a) a prime number?
False
Is (8995232/(-12))/(-4) - 1 - 80/120 composite?
True
Suppose 2*i = -10, 32 + 8 = -5*o - 2*i. Let h be 3 + (866 - (-3 - o)). Let f = h - -143. Is f prime?
True
Let f(n) = 5*n**2 + 6*n + 11. Is f(-48) a prime number?
True
Suppose -3*k = -4*l - 562147, 0 = -k + 25*l - 21*l + 187385. Is k composite?
True
Suppose 4*n - 7909 = y - 2985, -3*y = -12. Suppose 10*f + 3*m + n = 11*f, 3*m - 2455 = -2*f. Is f a composite number?
False
Let s = 104702 + -45549. Is s a composite number?
True
Let k(v) be the first derivative of -v**5/60 + 211*v**4/24 + 16*v**3/3 - 20. Let g(h) be the third derivative of k(h). Is g(0) a composite number?
False
Is (270320/31 - 32) + (9 - -1) prime?
False
Suppose 5*z = -24*t + 27*t + 137087, 4*t + 54846 = 2*z. Is z a prime number?
False
Let j(a) = -42*a**3 + 8*a**2 - 11*a + 10. Let l(y) = -y**2 + y - 1. Let q(n) = -j(n) - 6*l(n). Let t be 9/(-2)*68/1071*-7. Is q(t) prime?
False
Suppose 5*k = 15, -4*o + 3*o + 5*k = -1383. Let f = o + 1765. Is f a composite number?
False
Suppose -3*g + 66894 = -95283. Is g prime?
True
Let z(b) = 78*b**3 - 42*b**2 - 40*b + 29. Is z(15) prime?
True
Let v = -34912 + 84986. Is v a composite number?
True
Suppose 0 = -82*i + 78*i + 28988. Is i a prime number?
True
Let f(k) = 1704*k - 7. Let q be (8 - (7 - 0))*2. Is f(q) composite?
True
Let h(c) = c**3 - 4*c**2 + 3*c + 1. Let b be (2/5)/((-5)/(-75)). Is h(b) prime?
False
Let p(x) = 3*x**3 + x**2 - 3*x + 29. Let f be p(16). Let d = f + 938. Is d prime?
True
Suppose 8*c + 103 + 425 = 0. Let o = -78 - c. Is (1 + 16/o)/(2/(-1542)) a prime number?
True
Suppose -2*l - 23832 = l. Let t = -3861 - l. Is t composite?
True
Is (257340 - 1) + 0*((-33)/(-6) - 5) a prime number?
True
Let t = 57 + -66. Let v(b) = b**3 + 9*b**2 - b - 6. Let y be v(t). Suppose -4*p = 2*f - y*f - 79, -3*p - 2*f = -51. Is p a composite number?
False
Let a = -1546 - -738. Let h = 825 - a. Is h a composite number?
True
Suppose -v = 3*z - 10, 0*z + 5*z = -5*v + 30. Suppose -s - 634 = -4*n - v*s, 630 = 4*n + s. Is n prime?
True
Suppose -14*i - 5*g - 11 = -13*i, 0 = -3*i + 3*g + 21. Let b(m) = 224*m - 9. Is b(i) a prime number?
True
Let a(y) = -55*y - 21. Let i(d) = d**2 - d - 72. Let c be i(0). Let j = 64 + c. Is a(j) a prime number?
True
Let o(c) = 41*c**2 - 4*c - 4. Let n be o(-5). Suppose -4*z + n = -1463. Let b = 880 - z. Is b composite?
True
Let f = 110 + -57. Suppose 0 = 26*t - f*t + 190647. Is t a composite number?
True
Let m be -3 - -3 - (-8040)/3. Let u = m + -1486. Suppose 198 + 200 = p + 5*j, 3*p + 3*j = u. Is p prime?
False
Suppose -q + 9 = -5*x, 4*x - 4*q + 4 + 16 = 0. Is (x/2)/((-4)/20872) a prime number?
True
Let w(q) = q + 2. Let k be w(-6). Let o be k/3*(-18)/(-12). Is ((-5)/2 - o) + 13615/10 a prime number?
True
Let i be ((-11)/3)/(22/66). Suppose -136 = -3*w + 2*v, 3*w + 4*v = 7*w - 188. Let t = w + i. Is t prime?
True
Suppose 15 = 3*k - 5*y, -7*y + 4*y = 0. Suppose -k*p - 2630 = q - 6227, 2*p + 7218 = 2*q. Is q a prime number?
True
Suppose -121423 = 12*j + 97397. Let u = j - -30626. Is u prime?
True
Suppose -176*b + 4106500 = -1884972 - 6586368. Is b a prime number?
False
Suppose -2*d - 5*x + 30 = 0, -5*d - 3*x + 75 = 2*x. Suppose v = -4*v + d. Suppose 2*g - v*g = -119. Is g composite?
True
Let d(w) be the first derivative of 7*w**3/3 + 4*w**2 + 7*w - 1972. Suppose 0 = 3*t - 3*i - 48, 0 = -3*t - 0*i - 2*i + 28. Is d(t) a prime number?
False
Let n(b) = -7*b**3 + 52*b**2 - 23*b + 56. Let h(s) = 3*s**3 - 27*s**2 + 11*s - 29. Let w(c) = -11*h(c) - 6*n(c). Is w(9) composite?
True
Let n = 1020 + -181. Is n composite?
False
Let s = -163288 - -294826. Suppose 14*d - 36*d = -s. Is d a prime number?
False
Let r(q) = -5*q**3 - 15*q**2 - 21*q + 6. Suppose 5*c + 2*u + 76 + 15 = 0, -u - 88 = 5*c. Is r(c) a prime number?
True
Is ((-26)/(-130))/(6/26711130) prime?
True
Let p(j) = -j**2 + 2*j - 30. Let u be p(0). Let h be (-12)/u + (18/(-5))/(-1). Is -2 + 8/h - -2 - -2477 a prime number?
False
Let t be ((-3)/2)/(-6 - (-19719)/3288). Suppose -6*n + 178 = -t. Is n prime?
False
Let g(u) = 15*u**2 + 0*u - u**3 - 6*u - 22*u**2. Let y be g(-6). Suppose -4*i - 3481 = -6*i + 5*a, y = -3*a - 9. Is i a composite number?
False
Let x be (-378)/14*(-2)/3. Suppose 30 = -6*n - x. Is n/20*1 + (-1584)/(-10) a prime number?
False
Suppose 3*z - 424 = 9*b - 4*b, z = -5*b + 108. Suppose g - p - p = -90, -5*g + p = 405. Let f = z - g. Is f a prime number?
False
Let f(q) = -322*q**3 - 16*q**2 - 22*q - 57. Is f(-7) composite?
True
Suppose 5*j - 12*w + 13*w - 2051919 = 0, -j - 4*w = -410399. Is j composite?
False
Suppose 3626099 = 54*n - 3513201 - 4322146. Is n prime?
False
Suppose 618*d - 487635554 = -68*d. Is d a prime number?
True
Let b(h) = 140*h**2 - 39*h + 1170. Is b(-31) prime?
False
Let x(n) be the first derivative of 1288*n**3/3 + 4*n**2 + 11*n - 86. Is x(-2) a composite number?
False
Let p(n) = n**2 - n + 2. Let l be p(2). Let s = 312 + -163. Suppose -3*g - s = -l*g. Is g composite?
False
Let q(v) = v**3 + 57*v**2 - 26*v + 60. Let z be q(-27). Suppose -12*t + z = -40644. Is t composite?
False
Is (3/10*-266986)/((-2214)/3690) a composite number?
False
Suppose x - 4*a - 69645 = 0, -10*x + 5*x + 348191 = -3*a. Is x a prime number?
False
Let i = 6513 - -4837. Let q = -5571 + i. Is q a prime number?
True
Is (-384)/(-5952) + (-6328431)/(-31) prime?
True
Suppose -6*u - 3211 + 15145 = 0. Suppose -4*r - u = 4*g - 7461, -2*r - 4*g + 2728 = 0. Let d = 4025 - r. Is d a prime number?
False
Suppose -273383 = -5*u + 4*n, 886*u + 218700 = 890*u - 4*n. Is u a composite number?
True