= 2*n - 14902. Is n a prime number?
True
Is 117580203/130 + (-2)/20 a prime number?
False
Suppose 3*k - 11 = 2*k. Let o(h) = h**3 - 12*h**2 + 15*h - 38. Let y be o(k). Suppose 0 = -4*b - m + y*m + 809, -1003 = -5*b - 2*m. Is b a prime number?
False
Let t(l) = l**2 + 11*l + 23. Let f be t(-8). Let d(k) = -827*k + 4. Is d(f) composite?
True
Suppose -5*v = -5*n + 20, -4*n = -v - 1 + 3. Let h = -15502 + 7156. Is ((-3)/v)/((-3)/h) a composite number?
True
Suppose -6 = -9*j + 6*j. Suppose -j*p + 334 = -196. Is p a prime number?
False
Suppose 647 = -4*d + a, 3*a = -2 - 13. Let w(g) = -g**3 - 6*g**2 + 27*g + 16. Let q be w(-11). Let c = d + q. Is c a prime number?
False
Is 4/18 - (-182791951)/6327 a composite number?
True
Let h(f) = 2603*f + 170. Let o be h(4). Suppose -7*m + o + 6645 = 0. Is m prime?
False
Let s be (81/36*106)/(1/6). Let h(c) = 1420*c**2 - c. Let q be h(-1). Suppose 0 = -2*m + o - 2*o + q, o = 2*m - s. Is m prime?
False
Suppose 81*b = 102*b - 210147. Is b composite?
False
Suppose 183 = -3*w + 4*w + 4*y, -5*w + 915 = -5*y. Suppose -4*r = -4*m + 224, 3*r + 0*m + w = -2*m. Let z = r + 118. Is z a prime number?
True
Let c(m) = 8*m - 77. Let i be c(10). Suppose 0*b - 6 = -i*b, 5*o + b - 1107 = 0. Is o a prime number?
False
Let f(o) = -187*o + 215. Is f(-36) composite?
False
Suppose -742503 = -3*a - 2*f, -1727*a + 495044 = -1725*a + 6*f. Is a prime?
False
Let o(c) = -8*c**3 + 9*c**2 + 85*c - 15. Is o(-14) a composite number?
False
Let m(f) = 3484*f**2 - 65*f - 391. Is m(-6) a composite number?
False
Let g = -12 + 199. Let p = 267 - g. Let a = 345 - p. Is a prime?
False
Is (9/(378/(-658)))/(2/(-167802)) composite?
True
Suppose 42*t = 1909348 + 337778. Is t prime?
True
Let n(b) = 2*b**2 - 70*b + 172. Let w be n(33). Is (-3)/15 + -32288*(-36)/w a prime number?
True
Suppose 0 = -2*x - y + 81, 2*x = -2*y + 82 + 4. Suppose 2*i - 26 = -3*w, 2*w - 5*w - 5*i + x = 0. Is w composite?
True
Let r(l) = -l + 5. Let h be r(3). Suppose -3 = -h*u - 5. Is (-14)/63 - 2396/(-9) - u a prime number?
False
Let j(o) be the first derivative of 78*o**2 + 97*o + 272. Is j(12) prime?
False
Is (-97)/194 + (-48555)/(-2) a composite number?
True
Let k be -7*(144/(-7))/8. Let u(z) = 8*z**2 - 15*z - 5. Is u(k) a prime number?
False
Let y(b) = 80*b**2 + 73*b + 2422. Is y(75) composite?
True
Let u be (-248)/93*(-1 + 1/(-2)). Suppose u*j - 8304 = 3*f, -j - 243 = -3*f - 2328. Is j a prime number?
False
Suppose -b - 3 = 0, 2*b + 3*b = 4*q - 31. Suppose 0 = q*o - 232 - 648. Suppose 175 + o = 5*u. Is u a composite number?
False
Suppose -225458 = 2*l - 793656. Is l composite?
True
Let k(b) be the second derivative of b**5/20 - 3*b**4/2 + 11*b**3/6 + 49*b**2/2 + 2*b - 58. Is k(20) a composite number?
False
Suppose -96*f + 524870 = -293620 - 581478. Is f composite?
True
Let b(g) = 559*g + 4 - 49 + 302*g. Let s be b(10). Suppose h + 14*h - s = 0. Is h a prime number?
True
Let q = 30 - 26. Is 8*249 - (-2)/(q/4) composite?
True
Let q(k) = -7*k**2 - 5*k - 9. Let l be q(15). Let u = l - -2356. Let b = 2526 - u. Is b a prime number?
False
Let f be 1*(3 - 0 - (-3 - -6)). Suppose -3*p + 2467 + 5747 = 3*s, p + 5 = f. Is s composite?
True
Let n(l) = -2*l**2 + 52*l - 52. Let s be n(25). Let f(h) = 120*h**2 - 4*h - 9. Is f(s) prime?
True
Let k(v) be the second derivative of v**4/4 + v**3/2 + 1733*v**2/2 + 4*v. Suppose c = -48 + 48. Is k(c) composite?
False
Suppose 20*q - 5*q - 270 = 0. Suppose -q*m = -15*m - 15. Suppose -3*b + 0*b = 3*v - 1188, 3*v = -m*b + 1198. Is v a prime number?
False
Suppose 0 = -132*r + 267*r - 117*r - 1053666. Is r a prime number?
True
Suppose 0 = -5*t + 220*g - 216*g + 109321, 2*t - 3*g = 43720. Is t prime?
False
Let z = 145 + -74. Let s be (11 - -1)/((-10)/(-360)*-6). Let v = z - s. Is v a prime number?
False
Let h = -25694 + 1493601. Is h a prime number?
False
Let f(t) = -t**3 - 63*t**2 - 267*t - 168. Is f(-73) a prime number?
True
Suppose 9*z + 3 = 10*z. Suppose -2*w = z*w + 5*s + 2630, 4*w + 2086 = 2*s. Is 1 - (1 + 2 + w) a composite number?
False
Suppose 56657 = 2*s - 3*c, 14925 = 4*s - 2*c - 98369. Is s composite?
True
Suppose -586*r = -582*r - 131596. Is r a composite number?
True
Suppose 28*v - 24003723 - 10539215 + 10108150 = 0. Is v prime?
True
Let k(a) = 64901*a + 1932. Is k(5) a prime number?
True
Let a(v) = 3*v - 12. Let p be a(-6). Let d = -28 - p. Suppose 0 = -3*g + 5*w + 36 + 53, d*g - w = 50. Is g composite?
False
Let f be 48/9 - (-4)/(-3). Let x be 300/135 - 5/(90/f). Suppose 0*v + x*p + 5589 = 3*v, 0 = -p - 3. Is v composite?
False
Let c be -1*(-2 + 3)*-17989. Let t = c - 10668. Is t a composite number?
False
Suppose 0 = -2*v - 4*j + 662676, 1656697 = 5*v - 8*j + 11*j. Suppose -17*b = -37*b + v. Is b a prime number?
True
Let a = -829 - -1667. Let y = 4625 - a. Is y a prime number?
False
Let w = 2 - 12. Let y(t) = -3*t**3 - 4*t**2 - 6*t - 15. Let b be y(w). Suppose 3*x - b = -2*x. Is x prime?
False
Let a(b) = -2766*b + 45. Let u be a(-3). Suppose -403 = 10*q - u. Is q a composite number?
True
Let w be 0/(-5) - 26*-283*4. Suppose 8187 = -7*l + w. Is l a prime number?
False
Suppose -5*d - 3 = -13. Suppose -d*l + 8 = -16. Is (-1266)/(-4)*8/l composite?
False
Let p(n) be the second derivative of n**4/4 + 8*n**3/3 + 15*n**2/2 - 10*n. Let x be p(-14). Let g = x + 742. Is g composite?
True
Let m(t) = -t**3 + 11*t**2 - 20*t + 18. Let i be m(9). Suppose i = h + 1816 + 2214. Let q = 6423 + h. Is q a composite number?
False
Suppose 13*y = 12*y + 40. Let n = -101 + y. Let d = n - -128. Is d a prime number?
True
Let o = -2916 - -4238. Is o a composite number?
True
Let w(r) = r**2 - 7*r - 17. Let i be w(9). Let f(z) = 17*z**3 + 3*z**2 - 2*z. Let n be f(i). Suppose -22*k + n*k = -4652. Is k prime?
True
Let o(m) = -12*m + 77. Let l be o(6). Suppose 508 + 422 = l*v. Suppose -3079 = 185*d - v*d. Is d composite?
False
Suppose 8*b = 33*b + 33675. Is (1 + b)*-12 - -1 composite?
True
Is ((-80)/(-120))/(4/1092222) a composite number?
True
Let l(x) be the first derivative of 15*x**3 + x**2 + 18*x + 79. Is l(7) composite?
False
Let y = 9579 + 9152. Is y composite?
False
Suppose -24*m = -699 + 171. Let r(t) = 3*t**2 - 5*t + 67. Is r(m) composite?
False
Let b be (-68)/(-17) + -386*32. Let r = -6239 - b. Is r a composite number?
True
Suppose -3*w + 12*w = 522. Suppose -3*l = g - 1974 - w, g = 3*l - 2042. Is l composite?
True
Let m(v) be the second derivative of 7*v**4/12 - 13*v**3/6 - 17*v**2/2 - 55*v. Is m(-9) a prime number?
False
Suppose 0 = 4*d + 4*g - 32, g + 3*g = 20. Let q = 73 - 69. Suppose -d*p = -5*k - 3206, -2*p + q*k - 2174 = -4*p. Is p a composite number?
True
Let y = 123227 - 21168. Is y composite?
False
Suppose 3*h - 82863 = j, 23*j + 18 = 26*j. Is h composite?
True
Suppose -5*x + 3*l + 105 = -2*l, 2*x + 2*l - 26 = 0. Let z(n) = 19*n**2 + 7*n + 13. Is z(x) a composite number?
False
Suppose 5*n + 245 = 4*u, -4*n - 2*u - 195 = -5*u. Let r = n + 50. Suppose 0 = r*x - 935 - 1550. Is x a prime number?
False
Let n = -16 - -15. Is 789981/92 - n/4 a prime number?
False
Suppose 7*g - 3*g + 3*n = 1558622, -7*n + 389693 = g. Is g prime?
True
Suppose n + 200 = 205, j - 2*n = 208719. Is j prime?
True
Let b be (-21)/(-6)*2/7*2. Suppose -1205 = -b*c - 307. Is c prime?
True
Let z = 561274 + -7863. Is z a prime number?
True
Let f be 2146/((-5)/((-475)/(-5))). Let k be (3 - (-34)/(-10)) + f/(-10). Suppose 2*j + g - k = 0, j + g = 1760 + 278. Is j prime?
True
Suppose 0 = -2*m - 5*g + 1097196 + 747996, -4*m = 5*g - 3690394. Is m prime?
True
Let l(u) = 8*u**2 + 34*u + 11. Suppose -17 = -3*d - 14. Suppose -5*a - 60 = 5*q, 0 = q + 5*a + 27 + d. Is l(q) composite?
False
Suppose 3*n = -x + 655 + 980, 2*n - 3262 = -2*x. Let k = x + -501. Suppose 6*j = -2*j + k. Is j composite?
True
Suppose 8*w - 4*w - 1188 = 0. Let m = 1240 + w. Suppose -8*x = -m - 87. Is x a prime number?
False
Let t(a) = 38*a**2 - 71*a + 1368. Is t(53) a composite number?
False
Suppose 5*t + 22 + 23 = 0. Let l be 15/10*(-1 - (-1569)/t). Let c = l - -636. Is c composite?
False
Let x(j) = -275*j**3 - 83*j + 273*j**3 + 1 + 92*j**2 - 23. Is x(45) a prime number?
True
Let h be (-528)/(-10) + 1/((-10)/(-2)). Let d = -53 + h. Is 2 - (-3 + 4) - (d + -1740) a prime number?
True
Suppose 0 = 4*a - 5*h - 322987, 3*a + 3*h - 4*