 Is m prime?
False
Let a = 1344 - 866. Let j = a - 47. Is j prime?
True
Is (2 + -1)*(180/18 + 7105) prime?
False
Let z = 1216 - 766. Suppose -2*p + 4*l + 1430 = 0, -4*l = -3*p + 2589 - z. Is p composite?
False
Suppose 6*b - 3*b + j = 0, 0 = -3*b + 5*j. Suppose -4*a + 4*o - 7*o + 3406 = b, -3*a - 3*o = -2553. Is a a composite number?
False
Suppose 0 = 5*j - 0*j - 3*g + 26, 0 = -4*j - 4*g - 8. Let w be 1/1 + j/2. Is w/2*-1*422 composite?
False
Suppose 34 = -k + d, -3*k - 5*d - 181 = k. Let w be (k/(-2))/((-1)/(-10)). Let i = w + -113. Is i prime?
False
Let a(l) = 2*l + 10. Let k be a(-5). Suppose k = 3*d - d. Suppose q - 244 + 45 = d. Is q a prime number?
True
Let m = 127 + -117. Suppose 1173 = 13*r - m*r. Is r prime?
False
Let c(t) be the second derivative of 43*t**4/12 - t**3/6 - 9*t**2/2 + 16*t. Is c(5) prime?
True
Suppose -4*q + 3620 = -4*a - 0*a, 0 = -4*q + 3*a + 3616. Suppose q - 2356 = -5*y. Is y a prime number?
False
Let p = -13418 - -21057. Is p a prime number?
True
Let v = 5 + -8. Let h be 4 + 3 + (102 - v). Suppose 3*q = 349 - h. Is q a prime number?
True
Suppose 0*g - 3 = -g + 2*f, -2*g + 2*f = -6. Suppose -4*d = -32 - 44. Is d + g/(12/8) a prime number?
False
Suppose -3*q + 5*g + 87592 = 0, 0 = 4*q + 2*g + 13378 - 130176. Is q a prime number?
False
Suppose 0 = 3*m + 3*l - 4*l - 21330, 3*m - 3*l - 21324 = 0. Is m composite?
True
Let v be (-10)/(-4)*-2 + -2. Is (-2)/(-7) + (-2091)/v prime?
False
Suppose 5*g - 2429 = -3*m, 0 = 3*m + 3*g - 485 - 1936. Is m a prime number?
False
Is -1016*(5 - ((-735)/(-20))/7) prime?
False
Suppose 3*d - 47639 = -4*w, -3*d = w - 9103 - 38530. Is d composite?
False
Let k be ((-2)/4)/(1/(-86)). Let x = k + -36. Suppose 0 = x*j - 6*j - 511. Is j composite?
True
Let g = 1107 + -2307. Let o = g + 1737. Is o a prime number?
False
Let p = 287 + -191. Suppose -200 = 3*f + l, -5*f - 3*l - 277 - 63 = 0. Let u = p + f. Is u a composite number?
False
Let o = -16283 + 10021. Is (-2)/5 - (o/5 + -1) prime?
False
Let k be -15*(21/(-9))/7. Suppose -25 = k*y + 20. Is 135 + 3*6/y a composite number?
True
Suppose -w - 4 = -9. Suppose -3*t - 3*u = -4*u - 1903, -5*t = -w*u - 3165. Is t a prime number?
False
Let s(r) = -r**2 + 3*r + 45. Let m be s(-6). Is m + 9 + 1*1121 a composite number?
True
Is (-192)/640 - (-366713)/10 a composite number?
False
Let a be 12/((-2)/(-4) + 1). Let u be 6/(10/a - 1). Let p = u - 1. Is p composite?
False
Let v = 3 - 1. Suppose 5 = -v*b - 27. Let u = b + 95. Is u a composite number?
False
Is (-4779 - -6)/3*-1 a prime number?
False
Let t = 19852 + -12626. Is t prime?
False
Let a(t) be the first derivative of 7*t**4/4 - t**3/3 - 3*t**2/2 - 5*t - 1. Let x = -81 + 85. Is a(x) a composite number?
True
Let j(m) = 114*m**3 + m**2 - m - 2. Let x be j(-1). Let v = x + 203. Is v a prime number?
True
Let h(a) = -2721*a - 627. Is h(-10) a prime number?
False
Let w(u) be the third derivative of 0 - u**2 + 7/3*u**3 + 0*u - 97/24*u**4. Is w(-5) a composite number?
False
Suppose 2*r + 2*c = 217998, 5*r = 4*c + c + 545015. Is r a composite number?
False
Is ((-76)/(-12))/(4/3012) composite?
True
Let z(f) = 60*f**3 - 4*f**2 - 17*f - 25. Is z(6) prime?
True
Let v = -3750 - -6619. Is v a prime number?
False
Let a(w) = 212*w**2 - 5*w + 8. Is a(3) a composite number?
False
Suppose 2*u + 3*u - 744453 = -2*t, 5*u + 3*t = 744452. Is u a prime number?
True
Suppose 1 = h - 18. Suppose 5*q - h = 3*z, 4*z = 3*q - 19 - 10. Is ((-74)/z)/((-2)/(-8)) prime?
True
Let l = 40 - 26. Suppose 2*f - 4*x + 26 = -0*x, 3*x = 2*f + 25. Let u = f + l. Is u prime?
True
Let u(l) = 637*l**2 - 31*l + 319. Is u(8) a composite number?
True
Let d be (0 - -4)*(-1 + 2). Is -934*(-1)/(d/2) composite?
False
Suppose -5*o - 7 = 4*l, 4*o + 3*l + 2*l + 2 = 0. Is -1 + -3 + (-645)/o prime?
True
Suppose 0 = -2*a + 5*a + 50412. Is ((-8)/(-6))/(a/5604 - -3) composite?
True
Suppose 5 = -3*y + 17. Suppose y*w - 8*w = -1948. Is w composite?
False
Suppose o - 3*i = -2*o + 4827, o + 3*i = 1629. Suppose -23*s = -21*s - o. Is s composite?
True
Let l(p) = -5*p - p - 7 + 3*p. Let c be l(-4). Is -191*(0 + (-5)/c) a prime number?
True
Suppose 14 = 4*z - 2*z - s, -5*s = -3*z + 35. Suppose 0 = -z*l - 237 + 1232. Is l prime?
True
Let o(z) = z**3 - 2*z**2 - z - 2. Let j be o(6). Suppose -n + 6*m - 2*m = -71, -2*n + 2*m + j = 0. Is n prime?
True
Let q(c) = -c - 64. Let n(t) = -16. Let z(o) = -9*n(o) + 2*q(o). Let i be z(6). Is -34*(i/(-8) - 1) a prime number?
False
Suppose 5*h = 438 + 1177. Suppose 0 = 6*g - 31 - h. Is g prime?
True
Suppose 0 = 49*h - 1672311 + 518165. Is h a composite number?
True
Let w = 122 + -119. Suppose -w*k - a + 2*a = -296, 0 = -3*k - 4*a + 271. Is k composite?
False
Suppose -28 = 4*i - 4*s, 0 = 4*i + s + 6 + 12. Let z(o) = -4 - o**3 + o + o**2 + 0*o**2 - 2*o - 2. Is z(i) a prime number?
True
Suppose -4*d + 5*d - 2 = 0, 0 = 3*n - 5*d - 5045. Suppose -592 = -2*t - 3*f - f, 3*t = -5*f + 889. Suppose 4*o + 3*v = -516 + n, -t = -o + 5*v. Is o composite?
False
Let k = 21 + -15. Let o(c) = -18*c**2 + 2*c - 3. Let f be o(k). Let z = 460 - f. Is z a composite number?
True
Let d = -19 + 14. Let b be d + 3 + 3*205. Suppose 0 = -3*r + b + 44. Is r composite?
True
Suppose 12 = k + 4*u, -6*u + u = -10. Suppose -885 = -k*w + 55. Is w composite?
True
Let j = 16102 - 1799. Is j a prime number?
True
Let i = 10343 - 2704. Is i prime?
True
Let g(m) = -m - 7. Let w be (0 + 2)*(-6 + 0). Let j be g(w). Suppose -2*y + 386 = 4*s, 1 + 4 = j*s. Is y a prime number?
True
Suppose -1038 = -5*f + 2*q, -376 = -3*f - 2*q + 250. Let m be (-4)/(-24)*-2 - (-772)/(-6). Let c = f - m. Is c a prime number?
True
Let b = -17 - -21. Let r be 11/(11/102) + b. Suppose r = d + 4*m, 7*d = 3*d - 5*m + 391. Is d a composite number?
True
Suppose 0 = -3*t + 1 + 5, -5*q + t + 138183 = 0. Is q composite?
True
Let i(b) = b**3 - 16*b**2 + 8*b - 18. Is i(17) a composite number?
True
Let i(g) = -938*g + 19. Let l be i(-4). Suppose 43*k - 34*k - l = 0. Is k composite?
False
Suppose -w - 4*b = -47225, -34*b + 188885 = 4*w - 33*b. Is w composite?
False
Let d(o) = -o**2 + 26*o - 22. Let q be d(25). Suppose -172 + 43 = -q*u. Is u prime?
True
Let f = -190 - -269. Let v(s) = -s - 2. Let z be v(-4). Suppose -o + z*h = -2*h - f, 5*o = -2*h + 285. Is o composite?
False
Suppose -29*l + 20*l + 30501 = 0. Is l a prime number?
True
Let z = 8910 + -5461. Is z a composite number?
False
Suppose 0 = -5*z - 35 - 10. Let a = 4 - z. Let v(n) = -n**3 + 12*n**2 + 20*n - 12. Is v(a) a prime number?
True
Let l(z) be the third derivative of z**5/60 + z**4/3 - 5*z**3/3 + 4*z**2. Let c be l(11). Let w = c + -54. Is w a composite number?
True
Suppose 498 = -3*p + 1893. Let g = 742 - p. Let k = g - 24. Is k composite?
True
Let c = -4827 + 22370. Is c a prime number?
False
Let b be ((-10)/15)/((-4)/30). Let x(z) = -z + 10. Let d be x(b). Suppose -r = -2*g - 49, -4*r + 117 + 79 = -d*g. Is r composite?
True
Let j = 779 + -336. Is j a prime number?
True
Let m(y) = 53*y**2 - 33*y - 199. Is m(-17) composite?
False
Suppose 0 = -52*w + 57*w - 59815. Is w composite?
True
Let r = -49 + 81. Is 6724/r + 1 - 2/16 prime?
True
Suppose 12 = -b + 64. Suppose b*u = 48*u + 2056. Is u a prime number?
False
Let r(n) = n**3 - 5*n**2 + n - 1. Let b(t) = t**2 - 10*t + 12. Let v be b(9). Let w be r(v). Let g = w + 27. Is g a prime number?
True
Let i(o) = 5*o**2 - 4*o - 9. Let d be i(-3). Is (2*d - 1) + 0 prime?
False
Let l(j) = 393*j**2 - 36*j + 2. Is l(-5) prime?
True
Suppose -2*x - 64 = -4*h, 5*x - 80 + 228 = 4*h. Let u be (-288)/x + 2/(-7). Is 434/10 - 4/u prime?
True
Suppose 0 = -49*k + 59*k - 56230. Is k prime?
True
Let q = -59 - -63. Is (10946/6 - 1) + q/(-12) a prime number?
True
Let k(r) = -r**2 - 9*r - 2. Let h be k(-9). Let w be h/(-7) + 11796/21. Is w/4 + (-1)/(-2) composite?
True
Let w be (-6)/(-4)*(4 + 2). Let p(u) = -19*u + u**2 + u**2 + u**3 + 7*u + 4 - 9*u**2. Is p(w) a composite number?
True
Let d(z) = -100*z - 2. Let t be d(-3). Suppose 7*s + 1331 = 3*a + 5*s, -s = a - 452. Let x = a - t. Is x prime?
True
Let x(a) = -a**3 + 5*a**2 + 5*a - 1079. Let w(r) = -r**3 + 6*r**2 + 5*r - 1079. Let g(f) = 6*w(f) - 7*x(f). Is g(0) prime?
False
Let g = -4739 + 8724. Is g prime?
False
Let s(c) = 1251*c - 257. Is s(14) prime?
True
Is -2 - 0 - (1*101238)