 10 + a. Let n(w) = 100*w**2 + 6*w + 7. Is n(l) composite?
True
Let s(b) = -4*b**3 + b**2 + 33*b + 27. Let k be s(-13). Let m = 13234 - k. Is m a prime number?
True
Suppose 0 = 41*t - 11480998 - 6096645. Is t composite?
True
Suppose 10*z - 3910291 = -336199 + 700978. Is z a prime number?
False
Suppose 138352 = 3*w + 38215. Is w a composite number?
True
Let v(q) = 59 + 13*q**2 - 28*q**2 - 35*q + 16*q**2. Is v(39) composite?
True
Let z(w) = -w**3 + 29*w**2 - 5*w - 31. Let d be (60/(-50))/(2/(-20)). Is z(d) a prime number?
True
Suppose 70*t = -40*t + 65020450. Is t prime?
False
Suppose -3*f - u = -6*u + 9433, 0 = 2*u + 2. Let z = f + 7417. Is z a prime number?
True
Suppose -73*q = -75*q - 2*i + 656320, 3*q - 984486 = -5*i. Let o = q + -187530. Is o composite?
False
Is (-25 + -1)*(-1601766)/292 - 4 composite?
False
Let u = -42306 + 63155. Is u composite?
False
Suppose 0 = -2*l + 10, -n = 4*n + l - 30415. Suppose -n = -4*o - 0*o + 5*c, -3*o = -5*c - 4559. Is o composite?
False
Suppose 3*m + 4*c - 255721 = 0, 5*m - 211401 = 2*c + 214766. Is m a prime number?
False
Is (-15214)/(72/39 + (12 - 14)) prime?
False
Let c = 133627 + -62100. Is c a prime number?
True
Let t = 373059 + -217406. Is t a composite number?
False
Let p(o) = 1475*o**2 - o + 3. Let h = 36 - 38. Let j be p(h). Suppose -4724 = -4*d + g, 2*g + 3*g = -5*d + j. Is d prime?
True
Let o(c) = -9*c - 23. Suppose 4*p = 3*n - p - 52, 4*p = -3*n + 7. Let s be o(n). Let l = s - -309. Is l a composite number?
True
Is 2282826/147 + 3/(-7) a composite number?
True
Suppose -2*d + 5*l + 95778 = 0, -5*d + 239507 = -6*l + 9*l. Is d a prime number?
False
Is 25790/(-9)*657/(-146) composite?
True
Suppose 54 - 36 = -2*y. Is 1553*((-1)/(-2))/(y/(-18)) a composite number?
False
Let x = 9174 + -2377. Let g = 35190 - x. Is g a composite number?
False
Let g be (10/4)/((-6)/(-2532)). Suppose l - g = -4*l. Is l prime?
True
Let w(y) be the first derivative of y**4/4 - 2*y**3 + y**2/2 + 3*y + 16. Let o be w(6). Suppose 0 = -o*a + 7263 + 3006. Is a a composite number?
True
Let o(r) be the first derivative of -14*r**2 - r - 285. Is o(-21) a composite number?
False
Suppose 0 = 4*y + 4*n - 44, -4*y - 10*n = -12*n - 38. Is y/(-4)*(-10984)/10 + -3 a composite number?
True
Is (15339 - 11/11)*(12/8 + -1) a composite number?
False
Let x(o) = 133*o**3 - 2*o + 7. Let f be x(2). Is f/((-5)/(4 + -9)) a prime number?
False
Let o = 26491 + 106662. Is o prime?
True
Suppose 115553 = -56*w + 348009. Is w a prime number?
False
Let g = -123 - -123. Suppose -5*d - 47306 + 123531 = g. Is d a prime number?
False
Let w(k) = 3*k**2 + 21*k - 11. Let v(c) = 10*c**2 + 63*c - 32. Let t(x) = -2*v(x) + 7*w(x). Let u be t(-22). Is 3/u*291 + -2 prime?
False
Let c(m) = 210*m**2 - 100*m - 211. Is c(-17) prime?
False
Let z(x) = -917*x + 67. Let r be z(-5). Let o = 9079 - r. Is o composite?
True
Let p(t) = -t + t**2 + 2*t - 4 + 2. Let d be p(-3). Suppose q - 448 = -q + 2*a, -2*q + 450 = -d*a. Is q prime?
True
Let g be -7 + 4 + (-2 - 2). Let j(z) = -2 - 3*z - 3 + 1 + 12*z**2 + 12*z. Is j(g) prime?
True
Let o(g) = 5893*g - 2039. Is o(10) a composite number?
False
Let x(d) = 214*d**2 - 81*d + 55. Is x(-14) a composite number?
False
Let i = 82 - -428. Is ((-628)/10)/((-12)/i) a prime number?
False
Let f(g) be the third derivative of -17*g**5/60 + g**4/6 - 41*g**3/6 + 5*g**2. Let i be f(-13). Let h = -1501 - i. Is h a composite number?
True
Is (-11)/11*25059/(-3) composite?
False
Is (-25576492)/(-232) - (2 + 6/8*-2) prime?
False
Is 2680110/(-90)*(0 - -1 - 2) a prime number?
False
Let q = 450 - 1335. Let b = 2056 + q. Is b a prime number?
True
Suppose -1687331 - 2914906 = -57*y. Is y composite?
True
Suppose 41*g - 17865020 = 8*g - 1835897. Is g a composite number?
False
Suppose f - 5*d + 31507 = 0, -7*d - 94557 = 3*f - 4*d. Let l = -20182 - f. Is l a prime number?
False
Let w be 1543062/54 + (-20)/90. Suppose 19*f + w - 128344 = 0. Is f a composite number?
True
Let z(f) = 25300*f**3 + 25*f**2 - 34*f + 10. Is z(1) a composite number?
False
Let b(u) be the second derivative of -12373*u**5/20 + u**4/6 + u**3/3 + 6*u - 11. Is b(-1) prime?
True
Let v be -8 + -32 - (-1 - 0 - 4). Is (-163484)/(-14) + (-1)/(v/(-15)) a prime number?
True
Let j(w) = -56*w + 172. Let p be j(3). Suppose a = p*y + 3231, 0*y = -3*a + 3*y + 9729. Is a a composite number?
True
Let k be 27/(-36) - (-19822)/8. Let f = k + -1696. Is f composite?
True
Suppose c + 5*w - 23192 + 2475 = 0, 0 = -4*c + 2*w + 82824. Is c a composite number?
False
Let c(x) = 449*x**2 - 176*x + 7. Is c(-8) a prime number?
False
Suppose -2*l - t = -20, -5*t + t - 76 = -5*l. Is (-140877)/(-54) - (-2)/l a composite number?
False
Let m = 89113 - 139563. Let g = -31195 - m. Is g composite?
True
Let u(h) = h**3 + 6*h**2 + h - 24. Let k be u(-6). Is 3*((-25805)/k - (-5)/(-10)) a prime number?
True
Suppose 32*y - 1146621 = 2727289 + 4919722. Is y prime?
False
Is 648/288 - (-184806)/8 - 4 composite?
False
Suppose 2*d = -6, 31*d + 12088345 = 10*n + 26*d. Is n composite?
False
Let h(x) be the third derivative of -173*x**4/24 + 35*x**3/6 + 11*x**2. Is h(-26) prime?
False
Is 240621 + 270 + 2*1 composite?
False
Let x(q) = -91*q + 4. Let n be x(1). Let u = n - -97. Suppose -b - 14373 = -u*b. Is b composite?
False
Suppose y = 2*f + 66 - 23, 54 = -3*f + 5*y. Let l(m) = -319*m - 175. Is l(f) a prime number?
False
Suppose -4168802 = 267*b - 289*b. Is b a composite number?
False
Let k = -2154 - -5798. Suppose n - 48 = -3*r + 8*r, -3*n + 2*r + 79 = 0. Suppose -k = 19*p - n*p. Is p composite?
False
Let b(p) = 4*p**3 + 6*p**2 - 8*p + 1. Let s(x) = 2*x**2 + 7*x - 8. Let f be s(-5). Let o be b(f). Is (-12 - -2)*o/(-18) a composite number?
True
Let p = 0 - -5. Suppose 2*w - p*x - 56 = 0, w - x - 28 = 2*x. Suppose 0 = -3*d + 2*a + 2*a + w, 2*a = -8. Is d composite?
True
Let d = 226028 - 152355. Is d composite?
False
Let d(n) = 43*n - 4. Let m(r) = 2. Let u(b) = -d(b) + 5*m(b). Let f(y) = -1. Let o(t) = 5*f(t) + u(t). Is o(-14) a prime number?
False
Suppose -34*p - 7730 = -39*p. Let d = 3675 - p. Let f = d - 768. Is f a composite number?
False
Let g be -1 - (0 + -2) - -14. Suppose -3*p + 7000 = 2*p. Suppose -s - g = -p. Is s prime?
False
Let q = 56 + -49. Let c(d) be the first derivative of 3*d**2 - 7*d + 2. Is c(q) a composite number?
True
Let w = 42260 + 312153. Is w composite?
True
Let j = -22 - -26. Suppose -j*d - 2 = 6. Is (2 - -3352)/3 - d/2 prime?
False
Let s = -4434 + 17096. Let o = 19131 - s. Is o composite?
False
Let d(j) = -6*j + 13. Let i be d(-3). Suppose 4*u = -5*f + 2*f + 29, 5*u = -2*f + i. Suppose 8611 + 7407 = u*x - s, -3218 = -x + 5*s. Is x prime?
True
Is ((-3)/(-15) - (-2 - -3)) + (-2216036)/(-20) prime?
False
Suppose 39980 = -41*q + 36*q. Let u = q + 12323. Is u prime?
True
Suppose 5*f = -4*s + 31 - 1, 2*f + 16 = 4*s. Let c(u) = -u + 10. Let d be c(s). Suppose 2851 = d*p - 3444. Is p composite?
False
Let a be (-134212)/(-3) - (-275)/165. Suppose -117*d - a = -126*d. Is d a prime number?
False
Let s(d) be the first derivative of d**4/4 - 2*d**3/3 + 3*d**2/2 + 4*d + 40. Let f be s(-1). Is 4742*(f + 6)/(-8)*-1 composite?
False
Let i(p) = 29*p**3 + 841*p**2 - 1690*p**2 + 841*p**2 + 17 - p. Is i(6) composite?
False
Suppose 0 = -259*y + 16134254 + 60555905. Is y composite?
True
Suppose -2*o + 0*o + 10 = 0. Suppose -o*r - 2*i + 92989 = -268264, -2*i + 144500 = 2*r. Is r a composite number?
False
Suppose 2*a + 4630833 = 5*r, -422*r + 419*r = -2*a - 2778503. Is r a composite number?
True
Suppose -57*m - 137430 + 194390 = -549463. Is m a prime number?
True
Suppose 3*i - 6 = 0, 5*i - 10 = t - 5*t. Suppose t = 35*o - 17*o - 15786. Is o a prime number?
True
Let c(l) = 2*l + 1867. Let g(q) = q**3 + 8*q**2 - 8*q + 9. Let h be g(-9). Is c(h) a prime number?
True
Suppose -6*l + 849364 = -116125 - 421525. Is l a composite number?
False
Let x(g) = 2788*g - 91. Let b be x(10). Suppose b = 13*y - 46454. Is y composite?
False
Suppose 28*z = 30*z - 10. Suppose -2*c + 0*c = -3*h + 5314, 0 = -3*h - z*c + 5342. Is h composite?
True
Suppose t + 3*o - 50 = o, -2*o + 146 = 3*t. Is (-1)/((-5)/1327) + t/(-120) prime?
False
Let n(g) = 1882*g + 171. Let y(d) = -7*d + 247. Let f be y(35). Is n(f) prime?
False
Is 6 - (-76755 + 3 + (1 - -4)) prime?
True
Sup