a composite number?
False
Let s(f) = -f**3 + 10*f**2 + 12*f + 16. Let k be s(11). Suppose -k*j = -22*j - 2155. Suppose j + 674 = 5*w. Is w a prime number?
False
Suppose 2*l = -5*h + 957219, 3*h - 2390840 - 2274 = -5*l. Is l a prime number?
True
Suppose -2*r - g = -0*r + 6, 0 = 5*r + 4*g + 12. Let s = 4 + r. Suppose 2*l = -2*a + 1286, 0 = 5*l - s - 10. Is a a prime number?
True
Let p(s) = 52*s + 21. Let n = -8 + 13. Let f be p(n). Suppose 3*o + 6 = z - 59, 5*o = 4*z - f. Is z composite?
True
Suppose 0 = 4*l - 16 - 0, -5*v - l - 146 = 0. Let b = v + 11. Let o = 62 + b. Is o a composite number?
False
Suppose 2*x = 5*x - 3765. Let r = -662 + x. Suppose -8541 = -4*g - r. Is g prime?
True
Suppose 4*k + 2*k = 50694. Suppose a + 3*a = 5*p - 6737, -3*p = 5*a + k. Let d = -502 - a. Is d prime?
False
Suppose -194*w = -215*w + 1059261. Is w a prime number?
True
Suppose -36*h = -32*h + 2*f - 278614, 69651 = h - 2*f. Is h a prime number?
True
Let t(j) = 1 - 336*j**3 + j + 9*j + 6*j**2 + 2. Let q be t(-3). Is (2/(-3))/(6/q*-3) a prime number?
True
Let s(f) = f**2 - 2*f + 13. Let m(n) = -n**2 - 7*n - 3. Let j be m(-6). Suppose -c = -4*q + 4, c + 0*c + 4 = -j*q. Is s(q) a composite number?
False
Let i(l) = -l**2 + 45*l - 524. Let w be i(38). Suppose -291 - 80 = r. Let u = w - r. Is u prime?
True
Let b(g) = g**3 + 33*g**2 + 56*g + 265. Is b(-27) a prime number?
False
Let s(m) = -m + 452. Let a be s(0). Let o be (-2 - (-28)/12)*249. Suppose -85*n = -o*n - a. Is n a composite number?
True
Let m(n) = -9*n + 3587. Let v(b) = 6*b - 144. Let t be v(24). Is m(t) composite?
True
Let j = -81 - -84. Suppose -5*y + 2375 = j*g, y - 3*g = 445 + 48. Is y composite?
True
Let s(z) = 403*z - 9 + 5 + 47 + 1126*z - 19. Is s(5) a composite number?
False
Suppose 685*a + 6108372 = 1009*a. Is a a composite number?
True
Suppose 2*d + 3*u = 109892, u + 25095 + 29871 = d. Is d a composite number?
True
Suppose v - 4*p + 1138 - 9480 = 0, 5*v - 3*p - 41727 = 0. Let k = 26173 - v. Is k a composite number?
False
Suppose 5*f - 4*f + 3*i = 5, -4*f + 3 = -5*i. Suppose -3*r + f*r = -6*r. Let s(q) = 3*q + 3221. Is s(r) composite?
False
Suppose 2*s - 296*v + 299*v = 1027795, 3*v + 3 = 0. Is s composite?
False
Let b(z) be the second derivative of 0 + 159/2*z**3 + 38*z + 23*z**2. Is b(13) a prime number?
True
Let a(t) = 5 - 443*t + 63*t + 10 - 427*t. Let g be a(-4). Let y = -1882 + g. Is y a prime number?
True
Let p = 1785 - 1173. Let x = 13 + p. Suppose 2*o - 865 = x. Is o a composite number?
True
Let u(c) = 2*c - 2. Let k be u(2). Suppose k*n = -7*n + 7911. Is n a prime number?
False
Suppose -211782 = 12*r + 20886. Let g = 28916 + r. Is g composite?
True
Let u be (-74 - 16506)*(0 - 16/10). Let r = -8475 + u. Is r composite?
True
Let x = -58 - -62. Suppose 4*m + 5*d = 5, 2*m + d + d = x. Suppose -4*f = -3*q - 2212, 0 = f + 2*f - m*q - 1659. Is f a prime number?
False
Let y(d) = 5*d - 13. Let g be y(3). Suppose -3 = k + 3*f, f + 3 = g. Suppose k = -4*m - m + 13285. Is m composite?
False
Let g(t) = 46*t + 101. Let v be g(-18). Let y = 3648 + v. Is y a prime number?
False
Suppose -4*w + 2*w = -14. Let a = 191 + w. Is a + 4/(-8)*8 prime?
False
Let u(h) = -h**2 + 17*h - 12. Let r be u(16). Suppose -3*z + 231 = -3*k, 5*z = r*k - 0*k + 308. Let i = k + 168. Is i composite?
True
Suppose 291756 - 638001 = -8*k + 1122883. Is k prime?
False
Suppose l = -4*f + 8 + 4, -5*f = -2*l - 28. Let k be 4*(-9)/24 + 54/f. Let q(c) = -c**3 + 26*c**2 + 13*c + 7. Is q(k) a composite number?
False
Let o(b) = 23*b**2 + 10*b - 4. Let u(c) = 23*c**2 + 9*c - 4. Let j(k) = 4*o(k) - 3*u(k). Suppose -252 = -171*n + 213*n. Is j(n) prime?
False
Suppose -3*d + 56701 = 4*m, 37*d = 42*d + 2*m - 94497. Is d a composite number?
False
Let c = -114032 - -341881. Is c prime?
True
Let l(d) = 4 + 190*d - 5*d**2 - 201*d + 4*d**2. Let n be l(-9). Suppose 5*v = -2*h - n + 814, 0 = 4*v + 2*h - 634. Is v a prime number?
False
Let a = -575471 + 829960. Is a prime?
True
Let f = -3 - -10. Let a(p) = p**3 - 7*p**2 - 4*p + 3. Let s be a(f). Let v = s + 708. Is v composite?
False
Let c be (2 - (-20)/8)*(-16)/(-3). Suppose 14*f = 8*f + c. Suppose -5*t - y + 387 = -3*y, -f*t = -2*y - 308. Is t prime?
True
Let r = 12 + -12. Suppose r*a = -4*a - 12, -5*k + 9383 = 4*a. Suppose -5*y - 5*c = -6830, 4*c + k = y + 538. Is y a prime number?
True
Let j = 178610 + 11861. Is j composite?
False
Let c(s) = s + 90. Let r be c(0). Let l(u) = 94*u - 161. Let i be l(-8). Let k = r - i. Is k prime?
False
Let y(w) = 619*w**3 - 227*w**3 - 4*w**2 - 2*w + 34 + 2*w**2 - 31. Suppose -2*c = -3*l + 7, c - 1 = -5*l - c. Is y(l) a prime number?
False
Is (1/2)/(2/25584880*4) a prime number?
False
Let p(x) = 2*x**3 + 5*x**2 - 5*x + 9. Let t be p(-5). Is 2*7/t - (-96241)/13 a composite number?
True
Suppose -6*t - 25869 = -62769. Suppose -3*z - 6155 = -4*i, -4*i = 3*z - 5*z - t. Is i composite?
True
Suppose 5*o = -2*d + 4293 - 800, -4*d + o + 7041 = 0. Suppose -3*l - 22*a + 18*a = -d, 3*l = -5*a + 1763. Is l composite?
True
Suppose -52 = 3*y - 19. Let j(f) = -f**3 + 10*f**2 - 17*f + 16. Let o be j(y). Suppose -o - 1191 = -5*n. Is n composite?
False
Let m(y) be the third derivative of y**8/3360 - y**7/360 - y**6/180 - 2*y**5/15 + y**4/4 - 13*y**2. Let k(j) be the second derivative of m(j). Is k(7) prime?
False
Let m(r) be the second derivative of 8/3*r**3 - 21/2*r**2 + 0 + r. Is m(9) a composite number?
True
Let w be -2 - 1/(1/(6 + -7)). Let j = 28 + -84. Is (w - -5)*(-14826)/j composite?
True
Let m = -1535788 + 2826369. Is m prime?
True
Let k be ((-18)/15)/(9/(-30)). Suppose -4*p = k*p - 8. Suppose -2*w = 2*g - 3508, -9 = 2*g + p. Is w a prime number?
True
Let y = 5 + -5. Suppose g - 3*g = -5*r - 8803, -2*g - 2*r + 8796 = y. Suppose -4*i + g = 3*a, 0*i = a - 2*i - 1453. Is a a composite number?
True
Let d(s) = -2583*s + 1519. Is d(-134) prime?
False
Suppose u - 2 = -z - 1, 3*u - z - 11 = 0. Suppose -n - 3*d = -0*d + 5, -5*d - 3 = u*n. Suppose -4*m - 1932 = -n*w, 1940 = 5*w - w - 2*m. Is w composite?
False
Is (-19)/(456/(-96)) + 577119 prime?
True
Let q(d) = 4*d**2 + 71*d + 58. Suppose 121 = -3*i - 5*o, -45*i + 2*o = -42*i + 149. Is q(i) a prime number?
True
Suppose -i + 1 = 2*t - 7, 2*i - 5*t = -20. Suppose i = 5*y + 300 - 1000. Is ((-7)/(y/(-10316)))/(1/5) a composite number?
False
Let q(p) be the second derivative of 23*p**4/6 - 7*p**3/6 - 4*p**2 - 118*p. Let l = -7 + 4. Is q(l) a composite number?
True
Is 150940/14*126/36 composite?
True
Let s(g) = 5*g + 27. Let v(a) = -5*a - 24. Let p(c) = 6*s(c) + 7*v(c). Suppose 0*y = -2*j - 3*y - 4, -36 = 5*j + y. Is p(j) a prime number?
False
Let k(b) be the first derivative of 593*b**4/4 - 2*b**3/3 + 3*b**2/2 - 3*b - 9. Is k(2) composite?
True
Suppose -5*a + 3530*q = 3529*q - 6407880, 0 = -q + 5. Is a a composite number?
True
Let y = -105 + 107. Suppose -4*g = -x + 503, -569 = -x + y*g - 68. Is x composite?
False
Suppose 4*x - 8*m = -3*m + 1023, -5*m + 287 = x. Let u be 1/(2*3/(-18)) + x. Is u + (-3 - 0) + 1 composite?
False
Suppose -l + 295 = o - 3*o, -20 = 5*o. Let c = l + -81. Suppose 392 = 2*t - c. Is t prime?
False
Let y = -50711 + 99418. Is y prime?
False
Suppose -6*h = -835 + 55. Suppose -2*f + 52 = -l + 3*f, h = -5*l - f. Is (-2450)/(-8) + l/(-36) prime?
True
Let t = 22069 + -18386. Is t prime?
False
Suppose -437*i + 8528046 + 37831973 = 0. Is i a composite number?
False
Let o(i) = -2*i**2 - 9*i + 5. Let q be o(-7). Let l = 311 + q. Let n = -78 + l. Is n a prime number?
False
Let m = 76453 + -36984. Is m prime?
False
Is (63/(-18))/(2/4*(-6)/110202) composite?
True
Let u(x) = -4887*x + 20. Let z be u(-1). Let l = z - 2173. Is l a prime number?
False
Let o(d) = 1818*d**3 + 3*d**2 - 63*d + 313. Is o(8) prime?
True
Is (-8)/336*-7 + ((-504100)/24)/(-5) prime?
True
Let b = 108252 + -71219. Is b a prime number?
False
Let g = -38 + 43. Let j be (0 + 0)/(g/(1 - 6)). Suppose -50*x + 54*x - 516 = j. Is x prime?
False
Suppose -5*x + 2*p = -60057, -13*p + 8*p - 36038 = -3*x. Is x prime?
True
Is (28/(-12))/(133/(-7570227)) composite?
True
Suppose 10*q = 7*q. Suppose q*j + 39455 = 13*j. Is j a prime number?
False
Let x be 7/42 - 305/(-6). Suppose 0 = 5*v - 4*z - x, 5*v + 3*z - 8 = 15. Suppose 2*o + 99 = w + v*o, 2*w + o - 153 = 0. Is w composite?
