 Let m be p(8). Let w(a) = a**2 - a + 1. Let c(h) = 95*h**2 + 6*h - 2. Let t(d) = c(d) + 4*w(d). Is t(m) a composite number?
True
Let p(u) = 12*u**3 + 8*u**2 - 24*u + 32. Let d be p(6). Let s = d - 1453. Is s prime?
False
Let c = -169 + 169. Suppose -137*a + 147*a - 170770 = c. Is a a prime number?
True
Let r = -561 + 557. Let p(h) = -24*h**3 - 5*h**2 - 15*h - 5. Is p(r) prime?
True
Let k(x) = 1659*x**2 + 2*x - 3. Let t be k(2). Let i be (-668670)/(-225) - 4/(-30). Let s = t - i. Is s a prime number?
False
Suppose 17*m - 16*m = 154369. Is m a composite number?
False
Suppose -123 - 27 = 3*i. Let m = -105 - i. Let w = 69 + m. Is w prime?
False
Let k(s) = -s**3 + 7*s**2 - 8*s + 3. Let b be k(6). Let c be 3*3/b*19. Let t(l) = -25*l - 62. Is t(c) a prime number?
False
Suppose 52*z = 48*z + 516. Suppose -3*o - z = 456. Is -3 + (-2 - (o + -1)) prime?
True
Suppose -2*w = -w - 2, 0 = -2*o + 3*w - 10. Is 0/9 + o + 7797 composite?
True
Suppose 204 = 7*x - 230. Let d = -56 + x. Is 6435/d + 4/8 prime?
False
Is ((-2 + (-2722872)/40)*-5)/1 composite?
False
Let v(k) = 12*k. Let c be v(1). Let l(f) = -4*f**2 + 4*f**2 + c - 11 + 13*f**2 + 3*f. Is l(-1) prime?
True
Let i = 343 - 348. Is (4/6)/(i/((-138525)/10)) a composite number?
False
Suppose 70*r + 6160 = 75*r. Suppose 2*j + 1068 = 5*o - 459, 4*o = -j + r. Is o a composite number?
False
Let x = 2556 - -242. Let d = -1755 + x. Is d composite?
True
Suppose -15*j = 19*j - 3179578. Is j prime?
False
Let u(q) = -71*q**3 + 7*q**2 + 24*q + 173. Is u(-10) a prime number?
True
Suppose -2*r + 0*i + 441574 = -4*i, 0 = -r - 3*i + 220762. Suppose 12*y + r = 41*y. Is y composite?
True
Let a be 1778/7*134 - 5/(-1). Suppose -19*k = -22180 - a. Is k a prime number?
False
Let l(b) = 38541*b - 844. Is l(5) prime?
True
Suppose -2*a - 4*f + 45125 = 8569, f - 18272 = -a. Is a a composite number?
True
Let p(y) = 86*y**3 - 2*y**2 - 7*y - 5. Let a be p(7). Suppose 2664 = -3*n + a. Is n/14 - (-11)/((-231)/6) prime?
False
Let t(a) = -15*a**3 - 9*a**2 - 59*a - 80. Is t(-29) a prime number?
True
Let b(w) = 4163*w + 8505. Is b(8) prime?
True
Let y = -24 - -28. Suppose 0 = -u + y*a + 16, 4*u + 3*a - 57 = -u. Suppose -p - 5*v = -1194, 0 = u*p - 7*p + 3*v - 5992. Is p prime?
False
Suppose 157055 = 2*t + z - 60153, 5*z = 4*t - 434458. Is t prime?
False
Suppose -1160 = -3*c - 1145. Suppose g = c*g - 4*l - 3712, -1 = -l. Is g prime?
True
Suppose 5*n - 3*w = -8309, -2*w - 5435 - 2884 = 5*n. Let l = -744 - n. Let t = l + -434. Is t a composite number?
True
Let k(a) = 45940*a**2 - 6*a + 6. Let m be k(1). Suppose 5*v - m = 5*o, -7*v = -11*v - 3*o + 36787. Is v a prime number?
False
Is 696334/10 - 1068/445 a prime number?
False
Let w(t) = -5 + 33*t + 31*t + 26*t**2 + 0 - 67*t. Let h be w(4). Suppose o - h = 538. Is o prime?
True
Suppose -2*q = -5*d - 61, -3*q - q + 4*d + 152 = 0. Suppose -3*f + 2*u + 133 = 0, 4*f - 103 - 97 = -3*u. Suppose -q*w + f*w = 356. Is w a prime number?
True
Suppose 4*h = 1 + 3, 5*g - 15 = 5*h. Suppose 5*u - 20 = -5*p, g*u + 2*p - p - 13 = 0. Suppose b = 80 - u. Is b a composite number?
True
Let r(a) = -14*a**2 - 6*a - 16. Let v(j) = 2*j**3 + j**2 - 2*j. Let t be v(-2). Let n be r(t). Let y = n + 2449. Is y composite?
True
Let d = 26 + -23. Suppose -4*n = -3*l - 11437, 3*n - 8594 = 2*l - d*l. Is n prime?
False
Let u = 92 + -88. Is (2/u)/(5/35270) a prime number?
True
Suppose x - 915867 = -4*k + k, 0 = 3*k - 5*x - 915903. Is k a composite number?
True
Let b = -2452 + 4457. Let t = b + 1662. Is t a composite number?
True
Is ((-14257140)/600)/((-3)/30) a composite number?
False
Is ((-6)/14)/(14/28) - 80234992/(-112) composite?
False
Suppose 4*a - 28 = -4*i, -6*i + 3*i - 3 = -5*a. Let l(g) = 506*g + 29. Is l(i) composite?
False
Suppose -3*c - 3 = -3*g, 0*g - 18 = -3*g - 2*c. Suppose 20182 = -g*m + 9*m - d, 3*m - 12105 = 2*d. Is m a prime number?
False
Suppose -2*c + 4*c + 9204 = 4*s, 3*s - 6913 = 4*c. Suppose -1064 = -3*a + s. Let q = a + -490. Is q a prime number?
True
Suppose 0 = 4*q + 3*q + 14. Let w be (2*q)/1*(-8)/32. Is 8306/2 - (1 - w) a prime number?
True
Suppose 89*u - 91 = -47*u + 45. Let h(v) = -2 + 133*v**3 - 10*v**3 + 4 - v**2 - 3*v. Is h(u) prime?
False
Let m(b) = 406*b**2 - 102*b - 363. Is m(-29) composite?
True
Let y(w) = 2*w**2 + 1. Let k(z) = -254*z**2 + 24*z + 190. Let q(n) = -k(n) - 5*y(n). Is q(-10) composite?
True
Is (28/(-70) - 810774/(-10)) + -2*3 composite?
False
Suppose -2*p = 7*p - 144. Is 232*(p - -4) + 3 prime?
True
Let o = -6112 - -12726. Is o a composite number?
True
Suppose -19 - 3 = 2*f - w, -4*f + w - 40 = 0. Let r be 3/((-1)/((-24)/f + -2)). Is (14/(-28))/(r/(-2648)*-2) a prime number?
True
Let q(g) = 11*g**2 - 111*g + 7649. Is q(69) composite?
False
Let y(j) = 97807*j + 1388. Is y(3) prime?
True
Suppose -70*t + 60*t + 34260 = 0. Suppose 2*c - 5729 = -5*a, t = 3*a - 0*a + 5*c. Is a prime?
False
Suppose 0*n + 81*n - 101174913 = 0. Is n a composite number?
True
Let w be -3 + (372 - (5 + -3)). Let k = -209 + w. Is k composite?
True
Let f(i) = 1418*i - 24. Let s be f(-2). Let d(t) = 278*t + 3. Let n be d(-6). Let u = n - s. Is u a prime number?
False
Let o(t) = -t**2 - 25*t + 41. Suppose -3*u + 101 = -x - 49, 0 = 3*x - 5*u + 442. Let z = x + 120. Is o(z) a composite number?
True
Suppose -10*y + 7*y = -6. Let p(r) = -3*r + r**y + 3*r + 26 + 2*r - 7. Is p(-18) composite?
False
Suppose 4*o - 7076029 = -11*t, 2*o - 1986238 = -4*t + 1551772. Is o a composite number?
True
Let f(a) = 1827*a - 10898. Is f(27) a prime number?
True
Suppose 3*h - 21 = 3*d - 0*d, 3*h - 31 = 5*d. Let n(l) = -l + 10*l**h + 4 + 0 - 1 + 4. Is n(4) prime?
True
Let l(g) = -258*g**3 + 6*g**2 + 21*g - 10. Is l(-3) a prime number?
True
Let f(a) = -32 + 105*a - 22 + 65. Let c be (-2 + 4)/(4/8). Is f(c) a composite number?
False
Let o(v) = -v**2 + 31. Let l be o(5). Suppose 0 = l*t - 13 - 5. Suppose t*w - 4*c = 1535, -4*c - 983 + 3067 = 4*w. Is w composite?
True
Let i = 30749 - 21528. Is i prime?
True
Let w be 36/60 - 6/10. Suppose -5*k + 13150 + 2245 = w. Is k a prime number?
True
Let d(j) = -2*j + 22. Let n be d(8). Suppose 4*x = f - n*f + 14, f - 3 = -x. Suppose -3*q = f*k - 974, 4*q = -3*k + q + 1467. Is k a composite number?
True
Is (((-8)/3)/(-2))/(72/16702794) a prime number?
True
Let i(z) = z**2 - 23*z - 85. Let g be 1/(-4) + (-3540)/240. Is i(g) prime?
False
Let x = -265 + 262. Let t(d) = -331*d + 14. Is t(x) a prime number?
False
Suppose -4 = -4*r + 3*m + 11, -4*r - 2*m + 10 = 0. Suppose -n - r*n = -i + 1485, -5*i - n + 7509 = 0. Is i composite?
True
Let k = 926 + -490. Let l = 2589 - k. Is l a prime number?
True
Suppose 0 = -4*s + 83154 - 57497 + 945051. Is s composite?
False
Suppose 0 = 4*k - 2*i - 30, -5 = -3*k - 3*i + i. Suppose 0 = -k*v + 2*v + 24. Suppose v*z - 534 = 722. Is z composite?
False
Let t be 22 + (-2)/11 + 126/(-33). Let m = t - -6. Is ((-9484)/(-6))/(m/9 + -2) a prime number?
True
Let f be (-15 + 1)/(-3 - -2). Let i = -153 - -8097. Is (-8)/f + i/84 prime?
False
Let d(s) = -s**3 + 5*s**2 - s - 1. Let h be d(-5). Let u be -11 - (-17)/(34/942). Suppose -3*i + i + 4*l + h = 0, 4*i - u = -4*l. Is i prime?
False
Suppose -22*a + 20*a + 572595 = 5*g, 3*g + 858882 = 3*a. Is a composite?
True
Let t(o) = 3*o + 3*o**2 + 2*o**2 - 276*o**3 - 2*o**2. Let q be t(-2). Suppose 19 + q = 7*b. Is b a prime number?
False
Let c(v) = -57*v**2 - 12*v + 27. Let x(p) = -57*p**2 - 11*p + 27. Let q(j) = -3*c(j) + 2*x(j). Is q(4) prime?
True
Let b(a) = 11*a**2 + 15*a + 5847. Let f(g) = 7*g**2 + 10*g + 3898. Let y(j) = -5*b(j) + 8*f(j). Is y(0) a prime number?
True
Suppose 138*l - 65465 = 133*l. Is l a prime number?
True
Let f = 233 - 227. Suppose 4*r = 20, 2*z + 4*r = -0*z + 132. Suppose -5*b - z = -2*m + 701, 2*b + f = 0. Is m a composite number?
True
Let x be 1*(-4)/(16/(-44)). Suppose -6995 = 10*t - x*t. Is t composite?
True
Let s = 430 - 427. Suppose 33877 = 4*r + s*u, -3*r = -3*u + 6*u - 25410. Is r a composite number?
False
Suppose -3*s + 23566 + 29409 = -5*i, -3*s + i = -52991. Suppose 26*w - s - 63897 = 0. Is w a composite number?
False
Let p be ((-6 - -8) + (-6)/4)*0. Suppose -2*h - 4*t + 735 = 2675, p = -4*h - 4*t - 3880. Is 1*h*(-4)/8 a composite number?
True
Let m(z) = 5322*z - 1967. Is m(54) a prime number?
True
Suppose -