Is m a prime number?
False
Let m = 5020 - 251. Suppose 0 = -4*s, 4*x + 3*s - 1557 = -m. Let a = -438 - x. Is a a prime number?
False
Let h be (3 + 209/2)*(-56)/10. Let p(d) = d**3 + 4*d**2 + 3*d - 304. Let r be p(0). Let j = r - h. Is j a composite number?
True
Is ((-12716060)/183 - -17)*(-3)/(2 + -1) a prime number?
True
Suppose 12*f + 8 = 32. Is 1/(1657/(-21542)*26 + f) prime?
True
Let n(q) = -51*q - 14. Let y be n(4). Let j = 1480 + y. Is j - (-2 - -3 - 0) composite?
True
Suppose 0 = 4*m + 4*d - 8, 2*m = d - 2*d + 6. Let v(l) = 3*l - 8. Let x be v(m). Suppose 2085 = 5*z + 5*s, 0*s + 1666 = x*z + 5*s. Is z a prime number?
True
Suppose 100*i - 72*i - 1163764 = 0. Is i prime?
False
Let j(i) = i**3 - 17*i**2 - 16*i - 29. Let l be (3 + -6 + -27)*6/(-10). Let b be j(l). Let w(r) = 12*r**3 - 4*r**2 + 18*r - 7. Is w(b) composite?
True
Let b(k) = -7*k**2 + 4 + 0 + 0 + 1 + 9*k. Let v(h) = h**2 + h. Let f(p) = -b(p) - 6*v(p). Is f(-7) a prime number?
True
Suppose 3*m - 836943 = -2*o, 7*m = 11*m + 3*o - 1115924. Is m prime?
True
Let i(d) = -5*d**3 + 4*d + 4. Let k be 369/33 - 12/66. Suppose -30 = -r + k*r. Is i(r) prime?
True
Suppose 0 = 4*x - 16, x = 3*s - 10 - 19. Let g(p) = 311*p - 49. Let i(l) = 1556*l - 246. Let a(t) = s*g(t) - 2*i(t). Is a(9) prime?
False
Let n(v) = -2393*v**3 + 2*v**2 - 2*v - 3. Suppose 10*s + 2 = -8. Let t be n(s). Let p = t - 1339. Is p a composite number?
True
Let n(i) = 270*i**2 + 138*i + 35. Is n(29) prime?
True
Suppose -4*q + 9*q - 180 = 0. Suppose q*x - 39*x + 11721 = 0. Suppose -i - 3*p = -1019, -4*p - x = -5*i + 1112. Is i a prime number?
False
Let v(h) = 775*h - 3. Let r(a) = 775*a - 4. Let y(i) = 5*r(i) - 6*v(i). Let s be y(-1). Suppose 5*l = 2*w - s, 2*l + 2 + 4 = 0. Is w prime?
True
Suppose -4*y - 3*d + 34302 = 0, 8569 = y + 5*d - d. Suppose -13*c = -3396 - y. Is c composite?
True
Suppose 4*h - 4*a = -48, -3*h + 0 = 3*a + 24. Let k = -5 - h. Suppose 5*x = -4*j + 124, -2*x + x + 155 = k*j. Is j a prime number?
True
Let p(x) = 174*x + 100. Let h(f) = 173*f + 99. Let c(q) = 3*h(q) - 2*p(q). Is c(24) prime?
True
Let l(g) = -g**3 + 15*g**2 + 17*g - 12. Let y be l(16). Suppose -34 = -6*j - y. Suppose -2005 = -j*a + 4090. Is a composite?
True
Is (-2053776)/32*((-26)/(-6) - 5) prime?
True
Let b(y) = -y**3 + 7*y**2 + y + 7. Let g be b(7). Let d = 20 - g. Is (-3568)/(-24) + 2/d prime?
True
Is 78091172/2041 + 3/(-13) composite?
False
Let j(o) = 9*o - 12*o**2 - o**3 - 4*o**2 - 873 + 910. Is j(-22) composite?
True
Let g(p) = p**3 + 13*p**2 - 12*p + 33. Let f = 50 + -64. Let r be g(f). Suppose -r*k - 1026 = -5011. Is k composite?
False
Let s be (-3 + 3)*(-2)/(-2). Suppose 0 = 3*u + 42 - s. Let y(z) = z**3 + 18*z**2 - 10*z - 17. Is y(u) prime?
True
Let r be (4 - (5 - 1))*1. Suppose r*i - i = 4*w - 10879, 4*i + 20 = 0. Suppose -3*q + w = -3*a + 8*a, -a = -5*q + 4535. Is q a prime number?
True
Let n = -42044 + 76255. Is n a prime number?
True
Suppose 2*p - 23 = -3*g - 0*p, -4*p = -16. Suppose 2*y - 36 = -2*t + 3*y, g*t - 2*y - 90 = 0. Is (-1 + 31/(-3))/((-4)/t) prime?
False
Suppose -7205 = -3*d + 12796. Let f = d - 1404. Is f composite?
True
Let n(d) = 33420*d**2 - 20*d + 51. Is n(2) a prime number?
True
Let h = 4789 - -1249. Is h prime?
False
Is (-10)/((-140)/458619)*(16/6)/4 a composite number?
False
Suppose -v + 7931 = b - 4*v, -2*b - 2*v + 15870 = 0. Suppose -1458 = 4*y - b. Is y composite?
False
Let s(j) = 16142*j - 3761. Is s(6) a composite number?
True
Let l be (9203/(-6))/1 - 3/18. Let m = l + 3177. Is m composite?
True
Let z(r) be the third derivative of -30*r**2 - 5/6*r**3 + 1/6*r**4 + 0*r + 1459/60*r**5 + 0. Is z(2) a prime number?
True
Is (-43994*1/(-5))/(1572/74670) prime?
False
Let g = -12 + 17. Suppose 3*k + 17440 = -t + 6*t, g*t = 5*k + 17430. Is t prime?
True
Let o(t) = 10746*t + 12. Let k be o(1). Suppose -23*f = -29*f + k. Is f composite?
True
Let r(q) = 10*q**3 - q. Let b(s) = 61*s**3 - 10*s**2 - 8*s + 1. Let w(j) = -b(j) + 6*r(j). Let d = 8 - 0. Is w(d) prime?
False
Let x(b) = 5*b**3 + 26*b**2 + 31*b + 74. Is x(24) prime?
False
Let y(n) be the third derivative of n**4/12 + 2*n**3 - 6*n**2. Let i be y(-6). Suppose i = 2*x - v - 3286, -2*x - 3*v = -0*v - 3270. Is x a composite number?
True
Suppose 9*s - 45 = -6*s. Suppose -3*m = -4*f + 4 + 7, 0 = -s*m - 2*f + 19. Suppose -4140 = -t - m*t + 4*w, -t = 3*w - 1019. Is t composite?
False
Let w(q) = q + 19. Let f be w(-6). Let l(z) = 2*z**3 - 18*z**2 - 7*z - 32. Is l(f) a prime number?
True
Let n = 2677458 - 1868441. Is n prime?
False
Let n(k) = -496*k - 70. Let j be n(-10). Suppose -27*m = -37*m + j. Is m prime?
False
Let w = -17531 + 19860. Is w a composite number?
True
Suppose u - 8 = 6*r - 2*r, 4*u = 2*r + 18. Is (4971*(-6)/18)/r composite?
False
Let i(h) = 35*h - 29. Let r(q) = 36*q - 29. Let v(f) = 3*i(f) - 4*r(f). Let u = 60 - 72. Is v(u) a composite number?
True
Suppose 26999 = 2*d + 17*d. Let n = d - -758. Is n a prime number?
True
Suppose -r = 5*c - 12, -4*r = -2*r + 3*c - 10. Let j be ((-12)/33)/r + (-35)/(-11). Suppose 7*m + j*m = 2110. Is m prime?
True
Suppose -7*y + 19 + 9 = 0. Suppose 10 = -y*t + 6*t. Suppose 5*k + t*m - 6240 = 0, -4*k = k - m - 6210. Is k prime?
False
Is (40 - -1)*1147 + (4 + -46)/(-7) a composite number?
True
Suppose -261*i - 4*r - 137378 = -263*i, 3*r = -4*i + 274745. Is i prime?
True
Let q = 59 - 54. Suppose -q*h + 15 - 10 = 0. Is 1708 - (h - (-3 + 7)) a prime number?
False
Is 1/((-11)/305789*-1) prime?
True
Suppose 960*h = 965*h - 43615. Suppose 4*d - h = -p + 20397, -3*d + 21829 = -2*p. Is d a prime number?
False
Suppose -3*j + 2*v - 5 = 23, 3*v = -4*j - 43. Is (9897 - -1 - j)*2/8 a prime number?
True
Is (8916791/26)/(((-9)/(-18))/1) composite?
False
Let c(v) = 244*v**2 + 111*v + 6278. Is c(-51) a prime number?
False
Is 8164/(-286) - -28 - (-20832059)/11 prime?
True
Let p = -176 - -163. Is (-8 - p)*2302/10 composite?
False
Let s be (-4 - 10)*(2 + -1). Let x(t) = t**2 + 13*t - 15. Let i be x(s). Is 28*i/(1 - 3) a prime number?
False
Let z(w) = 766*w + 54. Let v be z(12). Let p = -5197 + v. Is p a composite number?
False
Suppose 15*t - 12 = 11*t. Let o be t/(-2)*(-92)/(-69). Is -1693*o*((-3)/6 - -1) prime?
True
Let h = 310 + -306. Suppose -3*o = 2*m - 3317, -4*o = h*m - o - 6631. Is m a composite number?
False
Let i be 1*-4 - (-17 + 7). Let v be (3 - i/10)*485. Suppose 0 = -2*n + 8*n - v. Is n prime?
False
Let q be -1*2*2*(6 - 7). Let c = -12 + 994. Is (-9 + 7)*(-2)/q + c composite?
False
Let r = 10008 + -460. Suppose m + 3186 = a, 0*a - r = -3*a + 5*m. Suppose -a + 1205 = -6*q. Is q composite?
False
Let d = -110 + 200. Is (-9582)/15*(d/(-12) + 5) composite?
False
Let b be -45*-6*(-40)/(-72). Let n = b + 227. Is n a composite number?
True
Let x(f) = 4*f**2 + 3*f - 4. Let s be x(-2). Suppose 2*q - 5*v = 33463, -q - s*v + 3*v = -16726. Is q a prime number?
True
Suppose -4*w + 0*w + 7 = p, -1 = -2*p + 5*w. Suppose 5*s + 4*k - 28206 = k, -4*k - 16941 = -p*s. Let j = -2422 + s. Is j composite?
False
Let o(g) = 6*g**3 - 10*g + 5*g**3 + 4*g**3 - 14*g**3 + 3*g**2 - 43. Is o(13) composite?
False
Let k be (5*(-2)/(-4))/(15/24). Suppose -2*x = 3*g - 1849, 0*x = 2*x - k*g - 1814. Is x prime?
False
Let j(o) be the third derivative of 361*o**5/60 + o**4/6 - 5*o**3/6 - 3*o**2. Let g be j(2). Let r = g + 307. Is r composite?
True
Let s(i) = -369*i**3 + 12*i**2 - 9. Let f(q) = 367*q**3 - 12*q**2 + q + 8. Let n(k) = -4*f(k) - 3*s(k). Is n(-2) prime?
True
Suppose 0 = 3*c - 2555 + 9719. Let x = 6325 + c. Is x a composite number?
True
Let x(s) = -84*s - 64. Let i be x(-10). Suppose 2*b = 10*b - i. Is b a prime number?
True
Suppose -2*q + 112082 = -4*w, 4*w + 60879 + 219302 = 5*q. Is q composite?
True
Let j = 32877 - 7438. Is j a composite number?
False
Let c(r) = -33*r**3 - 5*r**2 + 5*r + 21. Let y be c(-5). Suppose 0 = -2*m + 5*s + y, 5*m = -s - 0*s + 9963. Is m prime?
True
Let w = 57 - 15. Let l be (135/5)/(-3 + w/15). Is (-2 - l/6)*(27 - 5) composite?
True
Let c(j) = -7*j**3 + 24*j**2 - 22*j - 1. Suppose -25*t = 312 - 12. Is c(t) composite?
True
Suppose 10*s + 25*s - 1953724 - 182571 = 0. Is s a composite number?
True
Let j(w) = 230 + 5*w**2 - w - w**3 + 1182 - 525. Is j(0) composite?
False
Let h(l) = -4*l**3 + 8*l**2 + l - 3. Let i = 35 - 41. Let