13. Let f(u) = -u**2 + 6*u + 9. Let p be f(b). Is (-12)/p - 3781/(-3) composite?
False
Suppose -17*i - 5*i = -32978. Is i a prime number?
True
Let k be 4/(3 - 7) + 189. Let b = 143 + k. Is b composite?
False
Let p(o) = -o**2 - 11*o - 21. Let x be p(-8). Suppose -5*j - x*n + 333 + 2341 = 0, 2*n = -j + 539. Is j a composite number?
True
Let r(k) = 3*k**3 - 2*k**2 - 4*k + 5. Suppose 5 = -2*x + 3. Let w be 0/11 - (-5 - x). Is r(w) composite?
False
Let a(t) = 40*t**2 - t - 97. Is a(-11) composite?
True
Let v(j) = j**3 + 7*j**2 - 9*j - 5. Let q be v(-8). Suppose -3*u = q*z + z - 1921, 2*z = 2*u - 1262. Is u prime?
False
Let z(c) = c**2 + c - 3. Let t be z(2). Is t/(-12) + 30/(-8) - -703 composite?
True
Let r(i) = -i**3 - 9*i**2 - 8*i + 4. Let a be r(-8). Suppose -h - 13 = 5*k - a*h, -4*k + h = 9. Is (k + 1050)/4 + 1 prime?
True
Suppose 0 = 7*p - 2*p - 15. Suppose p*n = 3*d - 3135, 4*n + 1578 = -4*d + 5742. Is d prime?
False
Let r(x) be the third derivative of 3*x**5/10 + 3*x**4/8 - x**3/2 - 31*x**2. Is r(4) a prime number?
False
Let k(u) be the first derivative of 11*u**3/3 - 3*u**2/2 - 25*u - 20. Is k(6) composite?
False
Let c(a) = 13*a**2 + 6*a - 46. Is c(-15) a prime number?
True
Suppose -3092 + 18677 = 15*o. Is o composite?
False
Let n = 4119 - 898. Is n a composite number?
False
Let s = -65 + 34. Let y = s - -47. Is (-16)/(y/4) + 126 a composite number?
True
Suppose 5*j = -4*j + 6678. Suppose 846 + j = 2*q. Is q a composite number?
True
Is ((-288294)/(-8))/1 - 26/(-104) a composite number?
False
Suppose -15*c + 13*c = 672. Let u = -133 - c. Is u prime?
False
Let o(m) be the first derivative of -101*m**2 + 2*m + 2. Let y be o(2). Let u = y + 799. Is u a composite number?
False
Let l be 1*(-7 + 6)/((-2)/(-82)). Is (2 - 3)*(l - (1 + 1)) a composite number?
False
Let a = -16 - -24. Suppose 4*v = 5*v + f - 4, -2*v + a = 5*f. Suppose -v*r + 59 = i, 4*i = 3*r + 2*r + 215. Is i a composite number?
True
Let i = -14 - -16. Suppose 0 = -3*l + 5*z + 235, -i*z + 5*z + 155 = 2*l. Suppose -2*w + 5*k = -264, 4*k - 49 = -w + l. Is w a composite number?
False
Let z = 19 + -16. Suppose -2*d = -5*k + 26, -3*k - 4*d = d + z. Suppose k*l - 3*l = 235. Is l a composite number?
True
Suppose 2 = -2*o - s - 3, -2*o + 10 = -2*s. Suppose o*d + 3 = d. Suppose -4*z = d*v - 727, -4*v + 2*z + 71 + 935 = 0. Is v a composite number?
True
Suppose 0 = 4*p + 3*l - 382721, -230*l + 234*l - 478401 = -5*p. Is p composite?
True
Suppose -m + 639 + 530 = 0. Let b = -154 + m. Suppose -480 = -4*o - 4*v + 528, 4*o - 3*v - b = 0. Is o prime?
False
Suppose 14500 = 4*p - 2*y, -2*y - 5873 - 1381 = -2*p. Is p prime?
True
Let s = 16156 - 4787. Is s composite?
False
Suppose -5 - 191 = 7*c. Is 2 - 225/(-4) - 21/c a prime number?
True
Suppose -6*i = i - 85960. Is 9/27 + i/6 + -2 composite?
True
Let q = 1006 + 85. Suppose 3*p - 3142 = q. Is p a composite number?
True
Suppose -2*v = -c - 540, 2160 = -2*c - 2*c - 2*v. Let w = 943 + c. Is w a composite number?
True
Suppose -3*g = -359 - 4. Let c = 76 - g. Is 6/c + 13821/45 a prime number?
True
Suppose 3*f - 2275 = 6287. Let d = -1643 + f. Is d a prime number?
False
Suppose -2*y - 2*o + 2686 = 0, -5*y - 2*o + o = -6727. Let g = y + -379. Is g a prime number?
True
Suppose 4115 = y - 25318. Is y prime?
False
Let d be (-1)/(6/(-4) + 1). Suppose 4*c - 5*m - 1390 = 0, 3*c - d*m + 686 = 5*c. Let w = c + -204. Is w prime?
False
Let z = 20343 + -9162. Is z composite?
True
Let x(b) = 36*b**2 - 2*b - 2. Let v(s) = s**2 - s - 1. Let h = 10 - 15. Let d(r) = h*v(r) + x(r). Is d(3) composite?
True
Suppose -8 - 2 = -5*g - 5*v, 2*v = 2*g - 20. Suppose i + g = -i. Is i - -3 - 7*-23 a prime number?
False
Let g = -154 + 249. Is 63897/g + (-2)/(-5) composite?
False
Suppose -53*p - 383739 = -2050642. Is p a composite number?
True
Let x(r) = -r**2 + 5*r - 7. Let b be x(4). Is 7034*(-1)/(-6) - (-4)/b composite?
False
Suppose -4*y - 2*q = -50336, 5*y - q = 3*y + 25164. Is y composite?
False
Suppose 74306 = 4*b + 20590. Is b prime?
False
Let c = -23 + 27. Suppose 3*q - c*q - 2 = 0. Is 6*q/(-3) + 303 a composite number?
False
Let t(q) = 133*q**2 - 7*q - 3. Let c(v) = -2*v**2 - 6*v + 4. Let g be c(-4). Is t(g) composite?
False
Suppose -179*d - 16976 = -187*d. Is d a composite number?
True
Let x(k) = -k**3 - 4*k**2 + 3*k - 7. Let c be x(-5). Suppose c*m - 6*m + 4107 = 0. Is m prime?
False
Let m be 5 + -8 + 5 + 951. Suppose -17*f = -16*f - m. Is f prime?
True
Suppose 4*y + 770 + 38 = 0. Let r = y + 425. Is r a composite number?
False
Let m(f) = 11*f**2 + 11*f + 7. Let s = 0 - -6. Let z be (-40)/6 + (-2)/s. Is m(z) a composite number?
True
Suppose 0*c + 5*c = -2*i - 198, -3*c + 12 = 0. Let l = 320 + i. Is l a prime number?
True
Suppose 0 = 2*d - 4*g - 1022 - 724, -5*g - 3480 = -4*d. Suppose 0 = -5*b + 610 + d. Is b prime?
False
Suppose 63 = 3*p + 3*j, 0 = -p - 5*j + 3 + 26. Suppose 0 = 3*s - 15, -4*y - 4*s + p = -1. Suppose -4*c = -y*c - 376. Is c a composite number?
True
Let q = -43 - -33. Let w be q/40 + 246/(-8). Let z = -24 - w. Is z composite?
False
Suppose 0 = -i - 0*i + 221. Is i a prime number?
False
Suppose -2*p = -6 + 10. Let l(k) = -33*k**3 + 2*k + 3. Is l(p) a composite number?
False
Suppose -9663 = -14*s + 27171. Is s a composite number?
True
Let m = -2767 + 15989. Is m/34 + (-10)/(-85) composite?
False
Suppose 5 - 1 = 2*u. Suppose 0 = 3*p + 3*b - 2100, -u*p = p + 5*b - 2106. Is p a prime number?
False
Let z be (-4)/(-10) + (1365/25 - 3). Suppose 2*d - z = -22. Is d a composite number?
True
Let q(x) = 16797*x**3 - 2*x**2 - 4*x + 4. Is q(1) prime?
False
Let c(q) = -3*q - 49. Let z be c(-15). Is 1430/6 - (z + 50/15) composite?
False
Let p = 18497 + -12451. Is p prime?
False
Let g = -3 + -8. Let j(w) = -w**3 - 12*w**2 - 12*w + 5. Let v be j(g). Is 537 + -3*v/(-12) a prime number?
True
Suppose 0 = -l + 4*k + 12, -49 = -3*l + 2*k - 3*k. Suppose 0 = -2*a - 2*d, -2*a + 3*d = d - l. Suppose a*y = 2*y + 406. Is y composite?
True
Let y be (12/6)/(2/1). Suppose y = -2*d + 3. Is 59/(d*(-3)/(-9)) composite?
True
Suppose 41*p = 1639183 - 348954. Is p prime?
True
Let f(i) = -108*i - 5. Let m be f(5). Let d be (m/(-4))/(1/4). Is (-1 - -3)*d/10 composite?
False
Let y = 670 + -317. Let m = y + 69. Is m a prime number?
False
Suppose 10445 = 5*p - 2*b, 0 = p - 3*p - 2*b + 4164. Let d = -1205 + p. Suppose 4*h - d = 794. Is h a prime number?
True
Is (-62476)/(-8)*2 + 2 + -2 composite?
False
Suppose -1396*h = -1384*h - 6204. Is h composite?
True
Let g(p) = p + 12. Let x be g(-9). Suppose -x*k + 105 + 39 = 0. Let m = 23 + k. Is m a prime number?
True
Let r = 4680 + -1793. Is r a prime number?
True
Let b = 1 + -5. Let u be -1 + -3 + b + 8. Is 4/(-16)*u + 287 a composite number?
True
Let s = 155 + -47. Suppose 4*f - 240 = s. Is f a composite number?
True
Suppose 2*p - 10682 = 5*d, -5*d - 21392 = -4*p - 2*d. Is p composite?
False
Let j(b) = -3 + 2 + b + 6*b**2 + 6. Let g be 6/(-9)*(0 - -6). Is j(g) prime?
True
Let n = 46238 - 17793. Is n a composite number?
True
Let t = -87 + 87. Is (-446)/(-6)*(3 - t) prime?
True
Let k(q) = -4116*q - 53. Is k(-2) prime?
True
Is (0 + 11829/(-9))*(-5 - -2) a composite number?
False
Let l(k) = -k**2 + k - 12. Let q be l(-8). Let o be (-2488)/(-14) - 24/q. Let z = o + -99. Is z a prime number?
True
Let t be 4 + 2 + -1 + 22. Let l(k) = -20*k**2 - 6*k - 11 - 4*k + t*k**2. Is l(-6) a prime number?
False
Let k(j) be the third derivative of 2*j**5/15 + 5*j**4/12 - 5*j**3/3 - 319*j**2. Suppose -3*s - 39 = -3*w, 5*s + 0*w + 20 = -4*w. Is k(s) a composite number?
True
Let k be (2391/2)/(((-12)/8)/(-3)). Let z = -1690 + k. Is z prime?
True
Let a = 6725 - 4788. Is a a composite number?
True
Suppose 3*s + s = -3*u + 17837, -u = 2*s - 5949. Is u composite?
False
Suppose 0 = -4*z + z + 5*t + 343, -3*z + 4*t + 347 = 0. Let i = z + -44. Is i composite?
True
Let n = 121 + 20. Suppose 8*s = 228 + 172. Let u = s + n. Is u composite?
False
Let x(f) = -f**3 + f**2 + f. Let i(w) = -9*w**3 + 13*w**2 + 2*w - 1. Let z(c) = -i(c) + 6*x(c). Suppose -3*j = -3*a - 18, j - 2*a = 4 + 4. Is z(j) prime?
True
Let f be (-20)/30*1/((-6)/45). Suppose 3*x - 1112 = -z, f*x - 2885 = -3*z + 463. Is z a composite number?
True
Let k(m) = -7*m - 36. Let c be k(-15). Is 46/c*(-201)/(-2) a prime number?
Tr