Let n = 1442 - w. Is n composite?
True
Let s be (52 + -56)*(-2 - (0 - 1)). Suppose 735 = 2*w - g, s*g = 3*w - 8*w + 1831. Is w a prime number?
True
Let h = 14752 - 10124. Let m = 2505 + h. Is m a composite number?
True
Let b = -117535 + 210792. Is b a composite number?
False
Is (-30084 - 5)*1*-1 a prime number?
True
Let q(l) = 1 + 1189*l**2 - 3343*l + 3347*l + 1231*l**2. Is q(-1) a composite number?
False
Let w(k) = -3*k**3 - 4*k**2 + 11*k - 49. Let v(q) = -q**3 - 2*q**2 + 5*q - 25. Let x(h) = 5*v(h) - 2*w(h). Is x(8) a composite number?
True
Let d(a) = 116065*a + 649. Is d(4) a prime number?
True
Let g = -3527 + 6715. Suppose 0 = -4*n + i + 10832, -5*n + g = 4*i - 10331. Is n prime?
True
Let q = 166531 + -90710. Is q a prime number?
True
Let r be 4/18 + 1000/36 + 0. Let o(x) = 9*x + r*x + 126*x + 29 - x. Is o(5) prime?
True
Let j = -61335 + 449354. Is j prime?
False
Let x = 2493 + 1496. Is x prime?
True
Suppose -3*t + 4 = 7*r - 2*r, -5*t + 13 = 2*r. Suppose -5*j = 3*f + f - 33939, -t*f - 33967 = -5*j. Is j prime?
True
Let w = -11 + 18. Let n(p) = p**3 - 11*p**3 - 7*p - 8*p - 11 + 4*p**2 + 11*p**3 + 20. Is n(w) a prime number?
True
Suppose 7469 + 62153 = 7*n. Let k = 14143 - n. Is k composite?
True
Let p = -14103 - -45539. Suppose 20*r + 3576 - p = 0. Is r composite?
True
Let t(p) = -5*p**3 + 30*p**2 - 18*p - 12. Is t(-17) a composite number?
False
Let c = 791 + 192. Suppose -k - 4*w + 137 = 0, -5*k - 47 + 768 = 2*w. Let z = c - k. Is z prime?
False
Let s(i) be the third derivative of -i**4/24 - 19*i**3/6 + 13*i**2. Let n be s(-6). Is 26/n*557/(-2) a composite number?
False
Let q = 44714 - 21261. Is q a prime number?
False
Let j(w) = -w**2 - 43*w + 43391. Is j(0) a prime number?
True
Suppose -15*v = -140409 - 62781. Let l = v - 2817. Is l a composite number?
False
Let j(b) = 2*b + 26. Let q be j(-11). Suppose -q*k + 8*k = -5*k. Suppose k = 2*u - 17 - 213. Is u a composite number?
True
Suppose -7*l + 9*l = 100530. Let p be l*(-2)/(-24)*4. Suppose -15*b = -12*b - p. Is b composite?
True
Suppose 13*o + 12*o = 41*o - 876048. Is o composite?
True
Let p(k) = 255*k**3 - 17*k**2 - 20*k + 55. Is p(8) a prime number?
False
Let q = 44664 - 23641. Is q a prime number?
True
Let i(x) = -5063*x**3 + 13*x**2 + 95*x + 81. Is i(-8) a prime number?
True
Let c be 8 + (4 - (4 - -2)). Suppose -c*w = -4*w. Suppose -2*j + w*j + 410 = 0. Is j composite?
True
Let z be 15 + -13 + (-3)/((-6)/8878). Suppose -p = -r + z, 4*r - p = r + 13323. Is r a composite number?
False
Is (21/(35/5) + -5)/(2/(-194191)) a prime number?
False
Let n(t) = 1079*t - 20. Let k be n(6). Let c = -3778 + k. Is (2/3)/((64/c)/8) a composite number?
False
Suppose 5*d + 3*k - 6*k = -48372, 3*k = -d - 9660. Let f = 14653 + d. Is f composite?
True
Let a = -554726 - -813393. Is a prime?
False
Let r = 0 - -5. Suppose -n = r*q - 133, -3*n + 450 = -0*n - 2*q. Suppose 38 = 6*v - n. Is v a prime number?
True
Is 40/4 - 851305/(-28 + 15) composite?
True
Let a(y) = -855*y + 2. Suppose -6 = -3*s - 9. Let h be a(s). Let c = h + -348. Is c prime?
True
Let w(x) = -8*x + 157. Let k be w(20). Is (k + 7 - 5)*-19841 composite?
False
Let g = -23 + 25. Let n be (890/(-3 + 4))/(g + 0). Suppose -n = -3*f - s, 5*f = -s - s + 741. Is f a prime number?
True
Let p = 2023 - 1162. Let h be ((-252)/(-24))/((-3)/40). Let f = p + h. Is f composite?
True
Let x(q) = 138494*q**2 + 22*q + 55. Is x(4) a composite number?
False
Suppose 3*l = v - 3307, 2*v + 12 = 5*v. Let m = l - -1622. Is m a prime number?
True
Let y(x) = 804*x - 4117. Is y(112) a composite number?
False
Let r = 62 + -61. Let x be (2 + -2 + 1)/(r/(-4853)). Let i = -3460 - x. Is i prime?
False
Suppose 7*v + 0*v - 21 = 0. Suppose -v*c = 1655 + 778. Let h = 1952 + c. Is h a prime number?
False
Let x(o) = 1 + 3*o - 520*o**2 - 14 + 565*o**2. Is x(-17) composite?
False
Let b(w) = w**3 + 2*w**2 - 2*w - 9. Let x be b(-4). Let o be x/11*(-4)/3. Suppose -895 = -o*j - 3*c - 172, -j = 3*c - 174. Is j a prime number?
False
Suppose 0 = -2*q + 3*w - 15, -5*q = 4*w + 83 - 11. Let n be q/(-10)*40/16. Suppose 0 = n*l - 5*d - 1247, 5*d - d - 1211 = -3*l. Is l prime?
True
Let u(h) = 5476*h - 40. Let t be u(4). Suppose -12*o + t = -11124. Is o a prime number?
True
Let b(q) = -1 + 10*q - 11 + 0 - 80*q. Let a be b(3). Let o = 311 + a. Is o a prime number?
True
Let b(n) be the first derivative of 33*n**4/2 + 8*n**3 - 13*n**2 + 7*n - 49. Is b(6) a prime number?
False
Is (19924 - 61)*236/36 composite?
True
Suppose -4*c + 446980 + 468189 = -3*f, -f = 4*c - 915173. Is c a composite number?
False
Let i = -58285 - -86282. Is i prime?
True
Let u(t) = 44 + 4*t**3 - 2*t**2 + 8*t**3 + 5*t - 48. Is u(7) a prime number?
True
Suppose 29*z - 28*z = -3, -5*f + 3159 = 2*z. Is f a composite number?
True
Let u(c) = 29*c + 5 + 68*c - 24. Suppose -2*l = -2*r + 4, -7*l + 8*l - 4 = 0. Is u(r) prime?
True
Let z be -901*((-2)/2)/2*-4. Let r = z + 759. Let v = 2010 + r. Is v a composite number?
False
Is (-407)/814*(-864867 + 1) a composite number?
False
Suppose 490*h - 534*h + 5729196 = 0. Is h a composite number?
True
Is 1/((-2 - (-28)/16)*(-48)/637692) a composite number?
True
Let i(v) = 213*v**3 - 5*v**2 - 7*v + 19. Let r be i(4). Suppose -5*p - 13531 = -5*n - 7*p, -4*p - r = -5*n. Is n composite?
False
Suppose 256*r = 22435139 + 8748577 - 821348. Is r prime?
True
Suppose -5*b + 53 = a, -2*a + 0*b + 66 = 2*b. Suppose -a*h = -30*h + 4. Is (1151/(-2))/(h/(-4)) a prime number?
True
Let f(z) = -2*z**2 - 2*z + 25. Let o = 11 - 11. Let i be f(o). Suppose i*q = 21*q + 4172. Is q composite?
True
Let r = -9514 + 1390. Let w = -3403 - r. Is w prime?
True
Let n(v) be the first derivative of v**3/3 + 17*v**2/2 + 23*v - 7. Let s be n(-16). Is (-12036)/(-15) - (s/5 - 2) a composite number?
True
Suppose 22*n + 6*n - 3333393 = -552517. Is n prime?
True
Suppose -389 - 111 = -10*i. Is 6/(-10) - (2 + (-131680)/i) a composite number?
True
Let o = -1152 + 1952. Let l = 3061 - o. Is 6/(-10) + (-2 - l/(-35)) a composite number?
True
Suppose -5*g + 165 = -7*q + 2*q, 2*g + 45 = -q. Let n = q - -70. Let h = 190 + n. Is h a prime number?
True
Suppose -2*p + 513 = 5*b - p, b - 3*p - 93 = 0. Let q be (b - (0 + 0))/((-45)/1230). Let g = q - -4889. Is g prime?
False
Suppose -1158029 = -y + 5*v, 30*y - 31*y + v = -1158053. Is y a prime number?
False
Suppose -460*o = -450*o - 60. Suppose 2*c - o*c + 4706 = 2*s, -4714 = -2*s - 2*c. Is s a composite number?
True
Suppose -74*u + 67*u = -166061. Is u a composite number?
True
Let m(n) = -5*n + 20. Let c be m(4). Suppose -4*y + 5*s + 7382 = 0, -4*s + c = 8. Is y composite?
True
Suppose -3*k + 577 + 8207 = 0. Let z(h) = 2*h**2 + 99*h + 1017. Let o be z(-35). Suppose -3*w + 15 = 0, -5*m + o*w = k - 8753. Is m a prime number?
False
Let n(a) = 7*a**2 - 3*a + 13. Let j be (-8)/(-12)*(-3 + 0) - -98. Let u be j/(-40)*((-4)/(-2) - -3). Is n(u) prime?
False
Let k = -70320 - -112237. Is k a composite number?
True
Let y(m) = 4*m**3 - 3*m**2 + 11*m - 1. Let q = -201 - -205. Is y(q) a composite number?
False
Let c(h) = -4 - 3*h**2 - 11 + 12*h - 1. Let y(o) = -4*o**2 + 12*o - 17. Let k(n) = 3*c(n) - 2*y(n). Is k(5) prime?
False
Let u(a) = 103780*a - 889. Is u(2) a prime number?
False
Is ((-12013520)/(-200))/((9/(-15))/(6/(-4))) prime?
True
Suppose 0 = 69*c - 76*c - 55692. Let z = 6151 - c. Is z composite?
False
Let l be (-48)/84 - 11780/(-35). Let y = 8599 - l. Is y a composite number?
False
Let r = 33 + -31. Suppose r*n + 1742 = 4*a, -2*n - 2 = -8. Is a a composite number?
True
Let g(k) = -2*k + 3. Let q be g(0). Suppose -n - 4*w = -402, q*w + 1513 = 3*n + n. Let m = n + -261. Is m composite?
True
Let k(z) = z**3 + 20*z**2 + 8*z - 15. Let u be k(-16). Suppose -3*q + 3202 = -u. Is q composite?
False
Suppose 94*j - 1706485 = 2635845. Is j composite?
True
Suppose 174375 + 467993 = 4*f. Suppose f + 113612 = 28*g. Is g prime?
False
Suppose -3*y - 479 = -0*y - t, 484 = -3*y + 2*t. Let l = y + 43537. Is l a prime number?
False
Let i be 0/4 - -3 - 4. Let k(m) = -m**2 + 1. Let d be k(i). Suppose -n - 4*n - 716 = -t, 5*n - 15 = d. Is t a composite number?
True
Is (-6 + 4)*((-1)/(-1) + 945097/(-86)) a composite number?
False
Suppose 432*d - 434*d + 359566 = 2*v, 5*d = 2*v - 359538. Is v prime?
True
Let k be -6 + 0 + 2 + 11