 - (-1)/(-3)) prime?
True
Let u = -303 - 2037. Suppose -y + 2*g = 2*y + 10419, -4*y + 5*g - 13892 = 0. Let l = u - y. Is l prime?
False
Suppose -29*k = 63470 - 546929. Is k composite?
True
Suppose 20*f - 12043089 = 7775971. Is f composite?
False
Let w(m) be the third derivative of -23/3*m**3 + 0*m + 0 - 5/24*m**4 - 8*m**2. Is w(-11) a prime number?
False
Suppose -22*d - 194316165 = -265*d. Is d a composite number?
True
Let z(v) = 28*v**2 + 5*v - 25. Let i be z(-11). Suppose 0 = -2*u - 2*u + i. Suppose -2*a = -u + 189. Is a a composite number?
True
Let k = 421184 + -221029. Is k a composite number?
True
Let v be (0 + 10/3)*20322/12. Let n = v + -2646. Is n prime?
True
Let a be 29 - (-2 - (-2 - 4)/3). Suppose -25*x = -a*x + 40612. Suppose x = 3*p - 632. Is p a prime number?
False
Is 478 + 9 - ((-5)/25 + (-93)/(-15)) a prime number?
False
Let n = -218 + 219. Let h(p) = 7322*p**2 - 1. Is h(n) composite?
False
Let s = 52126 - 34824. Suppose 2*r - 5*o - 17329 = 0, 2*r + 6*o - s = 2*o. Is r a prime number?
False
Let t be 20250/(-459) + -3*6/(-153). Is (1 - 39518)*(-11)/t*-4 a composite number?
True
Let x = -15831 - -28344. Let q = -4760 + x. Is q a composite number?
False
Suppose -5*q + 24 - 4 = 0. Let y = 8 - q. Suppose -3*v + 46 = 5*w - 211, 3*w = -y*v + 163. Is w prime?
False
Let p(z) = 295*z**2 - 22*z - 67. Is p(-10) a prime number?
False
Let h be 52285*(-1704)/(-60) - (4 - 2). Suppose -70*f = -h - 3144698. Is f a prime number?
True
Let g(p) = p**3 - 7*p**2 + 6*p - 2. Let s be g(6). Suppose 4*m + 103 = 5*k + 74, 0 = 2*k - 5*m - 32. Is 220 + (s/k + 4 - 1) composite?
True
Let l(t) = t**3 + 4*t**2 + 80*t - 263. Is l(44) composite?
True
Let t = -107 + 111. Suppose -5*c + 18 = -z - 5, -t*c = -3*z - 14. Suppose -c*f = -k - 1510, 2*f - 3*k + 174 - 791 = 0. Is f a prime number?
False
Is (72/(-48))/((-21)/10073924) composite?
True
Let g(s) = 18501*s**2 + 11*s + 9. Let j be g(-1). Suppose -12068 = -3*v + j. Is v a composite number?
True
Let u be 1/(2*1/166). Let p be (70/28 + -1)/(2/(-16)). Let d = u + p. Is d composite?
False
Let p(i) be the third derivative of -147*i**4/4 + 13*i**3/6 - 13*i**2. Is p(-4) a composite number?
False
Suppose -2*s + 8 = 0, 0*n + 3*n - 3*s - 30 = 0. Is 59760/n - 6/(-14) a composite number?
True
Let v = 297616 - -5443. Is v a composite number?
True
Let n(h) be the first derivative of -61*h**2 + 25 - 3 - 19*h - 17*h + 13*h. Is n(-6) a prime number?
True
Let c = 148 + -145. Suppose c*w = 28986 - 9537. Is w prime?
False
Suppose 3*z - 830853 = -294594. Is z a prime number?
True
Is 372/(-434) + (-140027)/(-7) prime?
False
Let d = -426 + 626. Suppose -7*k + d = 39. Is k prime?
True
Suppose 4*k = 3*j + 180262, 4*k - 225091 = -4*j - 44871. Is k a prime number?
True
Let t = 11595 + -4902. Let n = 4816 + t. Is n a composite number?
True
Let c(m) = 123*m**2 - 79*m + 717. Is c(10) a composite number?
False
Let j(v) = -4*v**3 + v**2 + v + 13. Let o be j(5). Let r = o + 1044. Is r a composite number?
False
Suppose -7*g = 4*g - 33. Let d(n) = 17*n - 1 - 3*n + 238*n. Is d(g) composite?
True
Let g(v) = 8703*v + 38. Let q be g(1). Let a = q - 4752. Is a a prime number?
True
Let x = -97 + 488. Let m = x + 1176. Is m a composite number?
False
Let o(k) = -326772*k + 12109. Is o(-6) composite?
False
Let z(f) = -91*f**3 + 7*f**2 + 3. Let h(g) = -g**3 + g**2. Let w(p) = -6*h(p) + z(p). Let m be 12/30 - (-12)/(-5). Is w(m) composite?
True
Suppose 4*r - 5*q = -2*q + 40705, -3*q = 3*r - 30513. Suppose -2*s + 0*s + r = 0. Is s a prime number?
True
Let v = -7805 - -13596. Is v a prime number?
True
Let t(k) = 15*k**3 - 21*k**2 + 142*k - 3. Is t(11) a prime number?
False
Let y(c) = 5*c**2 - c - 9. Let x be y(-2). Let p(d) = 6*d**2 + 8*d - 14. Let q(b) = -7*b**2 - 9*b + 15. Let f(a) = 6*p(a) + 5*q(a). Is f(x) prime?
True
Let c(a) be the first derivative of a**4/4 + a**3/3 + 17*a**2/2 + 25*a + 46. Is c(14) composite?
False
Is (16/2 - 780/90)*5191929/(-6) a prime number?
True
Let l(g) be the third derivative of 2*g**5/15 + g**4/8 + g**3/2 + 2*g**2. Let f = 1168 + -1172. Is l(f) a composite number?
True
Let x be -1 - (-3)/(-9)*(8 - 3989). Suppose 4*d = -y + 1791, 3*d - 5*y - x = -0*y. Is d prime?
False
Let v = -1342 - -4454. Is v/(-20)*(-50)/20 a prime number?
True
Is (-29 - -29) + (-2 - -52749) a composite number?
False
Let p(h) = -20*h**2 - 20*h + 44. Suppose 6*y - 3*y = q - 14, 4*q + 12 = -5*y. Let r(j) = -7*j**2 - 7*j + 15. Let t(u) = q*p(u) - 7*r(u). Is t(5) a prime number?
False
Let q(w) be the second derivative of w**3/3 + 9*w**2 - 24*w. Let f be q(-6). Is 56/1 - (-3)/f*-2 prime?
False
Suppose -7*w + 2*w = 4*s + 396, -5*s = w + 516. Let f = 647 - s. Is f composite?
False
Suppose 10*a = 621 + 139. Let w = a - 69. Suppose -2111 = -w*s + 1466. Is s prime?
False
Is -215944*10/(-40) + 1 a composite number?
False
Suppose 2*p + 16 = 5*a, -30*a + 27*a + 10 = -p. Suppose -a*v + 57670 = -2*c, -v - 6*c + 7*c = -14416. Is v composite?
False
Let q = -120 - -124. Suppose 5*n + 241 = b, q*n = b + 2*b - 690. Is b composite?
True
Let z(i) = -3*i**2 - 4*i - 1. Let v be z(-11). Let d = 3669 - v. Is d a composite number?
False
Suppose 13*l - 71 = -6. Let f(a) = 13*a**2 + 29 - 29*a + l*a**2 - 11*a**2. Is f(-13) prime?
False
Let s(a) = -a**3 - 4*a**2 + 29*a - 49. Let p(i) = -4*i + 121. Let f be p(33). Is s(f) a composite number?
False
Let o = -11 + 16. Suppose 2137 = 4*b + 5*k, -k = -o*b - 3*k + 2667. Suppose -5*n + 3257 = -b. Is n prime?
False
Is (5/45)/((-7)/21)*-167613 composite?
False
Let t = 35028 - 18020. Suppose -4*n = -7*n - s + t, 3*s - 28348 = -5*n. Is n a composite number?
False
Suppose 5*o + 22*j - 33 = 18*j, 0 = -5*j + 10. Suppose 0 = 4*h + o*b - 4186, h - 4*b - 549 = 508. Is h a prime number?
True
Let p(z) = 11*z**3 - 5*z**2 + z - 7. Suppose -3*q - 3*t = -0*t - 21, 5*q - 4*t = 26. Let o be p(q). Let b = o + -952. Is b prime?
False
Let i(o) = -11*o**2 - 5*o**3 - 9 - 16*o - 31*o**2 + 11*o**2 + 0 - 12*o**2. Is i(-22) prime?
True
Let y = 27 + -17. Suppose 0 = -y*a - 0*a + 2630. Is a composite?
False
Suppose -27*w = 32*w + 42*w - 28001947. Is w prime?
True
Let u be 12 + (-7 - 0) - -71556. Suppose 0 = -28*m + 35*m - u. Is m prime?
True
Let x(y) = y**3 + 29*y**2 - 3*y - 14. Let p be x(-17). Suppose 41*g + p = 46*g. Is g a prime number?
True
Let n = 149 - -496. Suppose 9*d = n + 768. Is d prime?
True
Let j(w) = 55*w**2 + 3*w + 3. Let c be j(-3). Suppose -c = 2*u - 1397. Is u composite?
True
Suppose -v + 4*v + h - 12 = 0, -5*h = 5*v - 10. Suppose 26*d - 5502 = v*d. Is d a prime number?
False
Suppose -4*g - 5510 + 1977 = -q, 0 = 4*q - 2*g - 14076. Suppose 0*a - 5*z + q = -2*a, a + 1778 = -4*z. Let l = 3613 + a. Is l composite?
False
Let u = -410 - -406. Let n(v) be the third derivative of 9*v**5/20 - v**4/3 + v**3/2 - 2*v**2. Is n(u) composite?
False
Suppose -322*n = -371*n + 1347941. Is n composite?
False
Let j(m) = -4098*m + 649. Is j(-26) composite?
False
Suppose -3*j - 5*z = -0*z - 93, 5*j = -4*z + 168. Suppose j*n - 8 = 32*n. Suppose -4*x = n*q + 3*q - 2951, -2953 = -4*x - 3*q. Is x prime?
True
Let x be ((-4)/(-18))/((-4)/(-36)). Let f(v) = -4*v + 2. Let y be f(x). Is y/(-14) - (10656/28)/(-1) composite?
True
Suppose 5*y + 486 = -2*c, y - 779 = 4*c + 237. Is (-1422665)/c - 4/22 prime?
True
Let m = -5463 - 2083. Let y = 13184 + m. Suppose l = 3*l - y. Is l prime?
True
Suppose 6 = -17*w + 20*w. Suppose 0 = -w*f + j + 4435, 5*j + 0 = -5. Let o = f + -1298. Is o a prime number?
True
Is (-9739422)/(-182) - (-15)/(975/(-20)) prime?
False
Let n(t) = -t**2 - 23*t - 71. Let c be n(-19). Let k(p) = 26*p + 25. Is k(c) prime?
False
Suppose -12869 = -3*y + 5*v, -3*y = y + 3*v - 17149. Let g = -629 + y. Is g composite?
False
Let z = 27378 - -18295. Is z prime?
True
Suppose 4*x = 3*i + 5 + 12, -4*x = 2*i - 22. Is (0 + i)*(180 + -3) a composite number?
True
Let x(c) = 37*c**2 - 79*c - 523. Is x(-38) prime?
False
Suppose -94*h = -97*h + 488769. Is h a prime number?
False
Suppose 0 = -2*r + s - 18 - 1, 5*s = 15. Let k = 49 - 53. Is (-6*k/r)/(3/(-853)) a composite number?
False
Let o be 6/(-8) + 19/((-532)/(-8477)). Let j be (206/(-6))/((-2)/(-6)). Let n = j + o. Is n a prime number?
True
Let n = 15981 + 23576. Is n composite?
True
Let j(t) = 3*t**2 + 17*t - 4. Let r = -134 - -128. 