 Let v(a) = 4 - 17*a**2 - a**3 - 6 + 2*a**3 + 1. Let f be v(17). Is l(f) a composite number?
True
Suppose -367085 = -56*g + 453707. Is g a composite number?
False
Let y = -2183 - 485. Let l = y + 6377. Is l composite?
False
Let s(t) = 122*t**2 - 3*t + 2. Let l be s(2). Let o be (-20)/14*(-12915)/90. Let u = l + o. Is u composite?
True
Let h(n) be the first derivative of 317*n**3/3 - 5*n**2/2 + 8*n + 40. Is h(3) prime?
False
Suppose -w = -37*w - 6*w. Suppose z + 3*z - 804 = 0. Suppose u + w*u = z. Is u prime?
False
Suppose -10*w + 1271538 = -6*w - 2*k, -5*w + 4*k + 1589421 = 0. Is w prime?
False
Suppose -5*x = -3*o + 6056 + 3765, o + x - 3279 = 0. Is o composite?
True
Let s(f) = 7*f**2 + 41*f + 981. Is s(119) composite?
False
Let y be ((-375)/225)/(2/6378). Let b = -2824 - y. Is b composite?
True
Suppose 4*v = 4 + 32. Suppose v*w - w - 40 = 0. Suppose 2*y + w*u = 2*u + 3802, -3802 = -2*y + 3*u. Is y prime?
True
Let m(r) = 4*r**2 + 17*r + 28. Suppose 13*f - 12*f = 108. Let l be f/(-8) + -2 + (-2)/(-4). Is m(l) composite?
False
Suppose -z + 4*z + 27 = 3*d, -d = -5*z - 21. Suppose o + d*o = 70. Let l = o + -3. Is l prime?
True
Let s(v) = 977*v - 14. Let z be s(3). Suppose z = 2*m + 5*p, -5*m - 25*p + 23*p = -7345. Is m a composite number?
False
Let g = 13228 - 4419. Is g a composite number?
True
Suppose 12*m = -32764 - 151184. Let y = m - -22288. Is y composite?
False
Suppose 221*b = 217*b. Let t be (-4 - -3) + 2 + 42. Suppose 41*q - t*q + 6530 = b. Is q a composite number?
True
Suppose 102*t - 24940 = 143084 + 621150. Is t composite?
True
Let t = -35858 - -40561. Is t a composite number?
False
Suppose -40*z = 2*o - 35*z - 351172, 0 = 5*z + 30. Is o prime?
True
Suppose 64*c = 68*c - 2*q - 322250, c = -q + 80576. Is c prime?
True
Let j = 129586 + -50813. Is j composite?
True
Is (-28)/(-24)*-6 - -57158 a composite number?
True
Let y be ((-24)/10)/(2/(-2995)). Let x = y - 237. Suppose -x = -5*f + 2*s, 3*s - 4*s = -2*f + 1342. Is f prime?
True
Suppose -3*i - c = -8*i - 330, -3*c - 180 = 3*i. Let z = 70 + i. Suppose 5*d - 3*p - 1727 = 1502, 0 = z*d + 3*p - 3241. Is d composite?
False
Suppose -4*l - 3532 = -6*l - 2*w, 0 = 5*l - w - 8800. Is l prime?
False
Let u = -695 - -705. Suppose 3*q - 4*r - 1155 = 0, -5*q + 12*r = u*r - 1939. Is q a composite number?
False
Suppose -32*x = -27*x - 2*u - 100606, 0 = x + 4*u - 20130. Is x a composite number?
True
Suppose -4 = -7*w + 3. Let i be (-1 + 4)*-44*w. Let v = 67 - i. Is v a prime number?
True
Let n(p) = -2*p + 3 + 2*p + 0*p + 2*p + 15*p**2 + 2. Is n(16) a prime number?
True
Let c = -11381 - -182118. Is c a prime number?
False
Is (-12)/18*-2676 - 5 a composite number?
True
Suppose -3*i = 4*w - 7796 - 21054, w - 7217 = -3*i. Suppose -4*p - 5*j = w, 4*p + 767 = -3*j - 6446. Is (p/2 - -4)/(-2)*1 a composite number?
False
Suppose 29590 = 61*p - 60*p - 3*t, -3*p + 88782 = 3*t. Is p a prime number?
False
Let j = -182786 - -81158. Is j/(-81)*6/4 a prime number?
False
Let c(y) = 11*y - 6. Let k(d) = 2*d**3 - d**2 - d - 3. Let f be k(2). Let b be c(f). Is (2*b)/(0 + 2) prime?
True
Suppose 0 = -2*t - 2*t - 16, 0 = 4*y + 3*t - 8624. Is y*(-3 - -2)*-1 composite?
True
Let w = 5492 + 42665. Is w a composite number?
False
Let l(k) = -k**3 + 15*k**2 + 19*k - 46. Let f be l(16). Suppose -i + 757 + 1020 = -f*m, -4*i - 3*m = -7108. Is i composite?
False
Let d be ((1 - 5) + 1)/((-10)/60). Let z(i) = 29*i**2 + 5*i + 19. Let m be z(d). Suppose 53*o - 58*o + m = 0. Is o a prime number?
True
Let u be (-1121)/(-38)*(-2 + -36). Let p = 3206 - u. Is p a prime number?
True
Suppose -492*h - 896917 + 6273782 = -427*h. Is h composite?
False
Suppose 17479 + 1010 = 3*p. Suppose -3*b + p = -2*b. Is b a composite number?
False
Let b be (2/6)/((-18)/(-12744)). Is ((-14)/(-4))/(2/b) a prime number?
False
Let v = 20216 + -16725. Is v prime?
True
Suppose -490*i = -494*i + 12. Is (-16)/48 + 6160/i a prime number?
True
Suppose -15 = 10*g - 55. Suppose 3*h + 5*l = 6460 + 9529, g*h - 4*l = 21276. Is h a composite number?
False
Let y = -10999 + 28010. Is y composite?
False
Is (246/18 - 14) + (10386352/(-12))/(-4) prime?
False
Suppose -14*g + 330126 = -11*g - 3*a, -g = 4*a - 110042. Is g a prime number?
False
Suppose -t - 4*t = 5*l + 25, 3*t - 5*l = 9. Let a(s) be the third derivative of 263*s**5/60 + s**4/8 + s**3/2 - 179*s**2. Is a(t) composite?
False
Suppose -3904 = -4*u + 116. Let x be (-4 + -8)/(-3) + u. Let i = 3186 - x. Is i a prime number?
False
Let t be (6 - 12)*(-1)/(-2)*2. Let n(k) = -k**2 - 4*k + 12. Let o be n(t). Is 78/4*2 - o prime?
False
Let q(o) = -16086*o**3 + 67*o**2 + 257*o + 15. Is q(-4) a composite number?
False
Let c(d) = d**3 + 8*d**2 - 15*d + 54. Let k be c(-10). Is 7284 - k*(6 + 57/(-12)) prime?
False
Suppose 1875270 = 21*n + 9376 - 1933363. Is n prime?
False
Let m be (1960/21)/8 - (-2)/6. Suppose -7*a - 12 = -z - 4*a, -3*a = -4*z + m. Suppose z*v + 361 = v. Is v prime?
False
Let k(b) = b**2 + 6*b - 24. Let m be k(-10). Is (-2112 - -1)*(-4)/m*4 a composite number?
False
Let j(b) = 516*b + 7. Let n be j(22). Let c = n + -4476. Is c composite?
False
Let v = 111 - 109. Suppose -3*l = -v*c + 4663, -3*c - 5*l = -5*c + 4669. Is c prime?
False
Let z = 594997 + -111564. Is z composite?
False
Let j(q) = -q**2 - q + 1. Let p(z) = 7*z**2 + 30*z - 53. Let h(v) = 6*j(v) + p(v). Let f be h(-26). Suppose -5*i = f*i - 4310. Is i a prime number?
True
Let z(q) = 8*q + 72. Let r be z(-9). Suppose r = -9*c - 7*c + 64. Suppose -o = c*o - 28685. Is o prime?
True
Suppose 4*g - 7*g = -z - 149125, 4*g - 4*z - 198828 = 0. Is g composite?
True
Let o(b) = -2044*b + 203. Let l be o(-13). Suppose 4*m - l = 45949. Is m composite?
False
Suppose 56 - 14 = 6*r. Let s be (-8510)/(-5 + r + -4). Suppose -4*p - v + 4347 = 943, -5*v + s = 5*p. Is p prime?
False
Suppose z - 18 = -2*z. Suppose -12*d + 7530 + 20394 = 0. Suppose 2*v - d = -3*i, -4*v - z*i = -i - 4651. Is v a prime number?
False
Let j = -464 + 482. Is 23252 + (j/(-36) - 2/4) a composite number?
False
Let v(w) = -78451*w + 354. Is v(-1) a prime number?
False
Let c(o) = -o**2 + 1. Let z(r) = 185*r**2 + 3*r - 3. Suppose 5*a = -2*h - 6 - 2, 0 = -3*h - a + 1. Let y(x) = h*z(x) + 2*c(x). Is y(2) a prime number?
False
Let s(q) = 15906*q**2 - 184*q + 55. Is s(8) prime?
True
Suppose 101*q - 2489851 = 10*q. Is q a prime number?
True
Let t = 23647 + -15938. Let i = t + 1469. Suppose -5*g - 4*w = -22987, -2*g + i = -0*g - 4*w. Is g a composite number?
True
Let a be 2/8 - 25234/(-88). Suppose -38*h + 31*h = a. Let p = 90 + h. Is p composite?
True
Suppose -2232 = 4*v - 4*g, -10*g = -11*g + 5. Let w = 78 - v. Is w prime?
True
Suppose -1374*v + 1376*v - 772166 = 0. Is v a composite number?
False
Let w(s) = 11*s**3 + 13*s**2 + 63*s - 1201. Is w(20) prime?
False
Suppose -83*o + 50*o + 454551 = -30*o. Is o prime?
True
Suppose 0 = -b + 2*f + 271361, 4*b + f - 310537 - 774853 = 0. Is b a prime number?
False
Let w(q) = 56 + 1601 - 5*q + 2*q. Let l be 12/54 - (-14)/(-63). Is w(l) composite?
False
Let a be 2*6/(-30) + 127/5. Suppose 4*t - 759 = a. Let s = t + -65. Is s prime?
True
Let o = 467341 - 294186. Is o composite?
True
Suppose 35*c + 89*c - 10001155 = -91*c. Is c a composite number?
True
Let a = 196 - 1718. Let b = 2089 - a. Is b a composite number?
True
Let w = 110260 + -26087. Is w a prime number?
False
Is (10 + (-520)/60)/((-3)/(15778449/(-12))) a composite number?
False
Let t = 11 + -6. Let p = 35 - 30. Suppose t*z - p*l - 5963 = -l, -z - 2*l + 1201 = 0. Is z a composite number?
True
Suppose 0 = -144262*p + 144264*p - 1309754. Is p a composite number?
False
Suppose 0 = -3*h + 685 + 1631. Let s = -455 + h. Is s a prime number?
True
Let q be ((-517377)/(-347))/(0 + 1 - 0). Suppose 3215 = -5*x - 525. Let n = q + x. Is n prime?
True
Suppose -9*t = -30 - 42. Suppose 7*l + 48 = -t. Is 2 - 5178/l - (-5)/(-20) composite?
True
Suppose 27*z - 5*j + 140992 = 29*z, 10 = 5*j. Is z prime?
False
Let j = -105897 + 970966. Is j prime?
True
Let q = 8760 - 2747. Is q a composite number?
True
Let i(y) = -11*y - 112. Let m be i(-55). Suppose -2*p - p - 841 = u, 589 = -2*p + 5*u. Let r = m + p. Is r prime?
True
Suppose 0 = -21*p + 682104 + 827510 - 410495. Is p a prime number?
False
Suppose 114*o = 10*o - 45*o + 10238833. Is o a compo