5. Suppose -2897 = -2*a + 4*t + 189, -5*a = -z*t - 7715. Is a prime?
True
Let l be (-606)/15 + (-16)/(-40). Let f = 38 + l. Is (-832)/f + 1 + -4 composite?
True
Let j = -81599 - -226906. Is j a prime number?
True
Let k(y) be the first derivative of y**4/4 - y**3 + 4*y**2 - 35*y + 11. Let z be k(10). Is (-1 - -5) + -7 + (z - -1) a composite number?
False
Let y = 2830826 - -1038417. Is y composite?
True
Suppose -4*k = -k - 2*i - 38963, -25977 = -2*k + i. Is k prime?
False
Is -375*292/(-12) + (10 - 2) a prime number?
True
Let n be (3290 + 1)/((-7)/(-336)*8). Let t = 30115 - n. Is t prime?
True
Suppose 0 = -2*k + 5*k - 27. Suppose -k*n = -3*n - 11556. Suppose -5*i + 3*g + 3226 = 0, -i + 5*g = 2*i - n. Is i composite?
False
Let m(t) = -497*t**3 + 3*t**2 + 13*t + 5. Let u be m(-2). Suppose -29*f + u + 760 = 0. Is f a composite number?
False
Let m = -239 - -206. Is (-65577)/m - (-2)/(-11) a composite number?
False
Let n(v) = v**2 + 4*v - 3. Let i be n(-5). Suppose -50 = -i*s - 116. Is (2 - s/(-15)) + 56430/25 prime?
False
Let f = -28 + 30. Suppose 3*m = 7*m, -f*x + 2198 = -4*m. Is x a composite number?
True
Suppose 14*f + 5*z - 392248 = 10*f, 2*z + 392220 = 4*f. Is f a prime number?
True
Suppose 0 = 11*d + 45326 + 11214. Let l = d - -7593. Is l composite?
True
Suppose -16*b + 545 = 113. Suppose -b*a + 29075 = -22*a. Is a prime?
False
Let f = 902 + -551. Suppose 0 = -10*t - 69 - f. Is t*(18/4)/(-9) composite?
True
Let h(g) = 4175*g**2 - 52*g + 348. Is h(7) prime?
False
Suppose 3*i - 26*i + 69 = 0. Suppose -2*r + i*v + 19 = -46, -4*r + 160 = 4*v. Is r a prime number?
True
Let w(c) = 2150*c**2 + 23*c + 280. Is w(13) a composite number?
True
Let d(b) = b**3 + 18*b**2 - 17*b + 31. Let y be d(-19). Is (-12721)/y + 64/(-224) a prime number?
False
Let s be (1 - 16)*(-2)/10. Suppose -5*h = n + 15, -h - s*n = -3*h - 23. Let j(x) = -14*x**3 + 7*x**2 - 5*x + 3. Is j(h) a composite number?
False
Let z = -3 + 5. Let d(f) = f**3 + 0*f**2 + 10 + 5*f + 26 - 15*f**z - 2*f**3. Is d(-17) a prime number?
False
Suppose -3*c - 3*b + 5*b = 6777, -c - 2259 = -b. Let h = -968 - c. Is h prime?
True
Suppose 0 = -5*o - 4*y - 10, -10*o + 19 = -8*o - 3*y. Is o*((-1)/4)/((-2)/10436) a composite number?
False
Let x(n) be the second derivative of 77*n**4/4 - 2*n**3/3 + 30*n**2 + 17*n + 2. Is x(7) a composite number?
False
Is 76/(-798) - (-16)/21 - (-382909)/3 a composite number?
False
Let s(i) = -98550*i + 77. Is s(-7) a composite number?
True
Suppose 2*q + 168 = 16*q. Is 0 + (q/(-18) - (-5183)/3) a composite number?
True
Let u = -3236 - -7850. Is (-6)/39 - 4/((-312)/u) a composite number?
False
Let g(a) = a + 3. Let r be g(-1). Suppose -3*x - 3301 = -5*z, 5*x - 3*x + r*z = -2174. Let o = x + 2243. Is o a composite number?
False
Suppose -10 = -5*z, -h + 5*z + 175340 = -18223. Is h prime?
True
Let m be (1/(-2) - 9930/(-100))*5. Suppose 4*r + 247 = -3*z + 4*z, -2*z - 3*r = -m. Is z a composite number?
True
Let m be (2/4)/((-7)/(-2702)). Suppose 0 = a - 433 - m. Is a a composite number?
True
Let c be (-1164)/(-194) + 0 + 11 + 0. Is 28412/8*(c - 11) a composite number?
True
Let u(q) = 10*q**2 - 12*q + 8. Let b be u(-9). Suppose -15*i = -10*i - 20, 2*p - 4*i = b. Is p a prime number?
False
Suppose 5*n = -3*h - 2*h - 25, 5*n - h + 1 = 0. Let p be n - (-2)/(0 - -2). Suppose p = -6*c + 3*c + 2*d + 2157, c = -4*d + 719. Is c composite?
False
Suppose 7*h - 152 + 509 = 0. Is 4/34 - 78789/h - 2 a composite number?
False
Let x = -71 - -76. Let b = -24 - -24. Suppose 2*p + 5*q = 141 + 74, -x*p - q + 572 = b. Is p composite?
True
Is ((3 - 6) + 1)*(-4027159)/122 prime?
False
Let w = -172 + 174. Let x(s) = 390*s - 9. Is x(w) a composite number?
True
Let r = -8 + 7. Let v be 5022/(-12) + 3/6 + r. Is v*10/(2 - 4) composite?
True
Suppose 2442 = -175*y + 169*y. Let d = -3231 - -2147. Let n = y - d. Is n composite?
False
Suppose 0 = n + 8, 773564 + 181510 = 2*c + 5*n. Is c composite?
False
Suppose 40 = 6*c + 2*c. Suppose -f = 3*d - 550, d = -c*f - d + 2711. Is f composite?
False
Let c(x) = x**3 - 11*x**2 + 14*x - 18. Let p be c(10). Is (-12)/(-132) - (-268816)/p prime?
False
Suppose -15*h = -16*h + a + 11188, 3*a - 33534 = -3*h. Is h a prime number?
False
Let j be ((-4)/(-10))/((-2)/(-10)). Let p(q) = -4*q**3 - 30*q**2 + 127*q - 21. Let r be p(-13). Suppose 3*h = -2*h - m + r, -4*h + j*m = -1634. Is h composite?
False
Let g(d) = -3*d - 36. Let k be g(-19). Let x be (-124)/(-28) + 12/k. Is -1 - (64500/x)/(-5) a composite number?
False
Let h = 136313 + 34998. Is h prime?
False
Let t(z) = -1307*z - 5594. Is t(-69) composite?
False
Suppose 12*m = -140472 + 455844. Is m a composite number?
True
Let a(v) = 18 - 14*v + 0*v**2 - 5*v - v**2 + 7. Let y be a(-20). Suppose -3*t = 3*i - 546, -4*i = y*t - 10*t - 773. Is i composite?
True
Suppose -61*k + 3507998 = -94113. Is k a prime number?
True
Suppose 0 = 31*p - 780184 - 1772325. Is p composite?
False
Let r be (1 + 20/(-12))*-15. Suppose r = -i + 39. Is 47*i + (-5 - -3) prime?
True
Suppose -q = 4*q - 30. Suppose b - 2*t - 2028 = 0, -2*b + 7*t = 5*t - 4046. Suppose b = -q*v + 8*v. Is v a prime number?
True
Let n = -40778 - -95197. Is n a composite number?
False
Let y(i) = 63584*i. Let w be y(1). Suppose -23*x = 9*x - w. Is x prime?
True
Suppose -40*i - 40 = -48*i. Is -3 + 3 + i - -1160 composite?
True
Let c be (-3)/(-6) - 2705/2. Let r = -756 - c. Suppose 2*w - 906 = r. Is w a prime number?
True
Let r(z) = 3175*z - 25. Let s be r(9). Suppose m - 1981 = -2*u + 3738, 5*m = 5*u + s. Let q = 12276 - m. Is q a prime number?
True
Let g = 1857 - -3543. Suppose 2*a = 7*a + g. Let n = 3475 + a. Is n composite?
True
Suppose 17*q = -33*q + 14*q + 7028244. Is q prime?
True
Suppose 0 = -5*d + d - j - 7814, -2*j - 4 = 0. Let q(n) = 25*n**2 + 3*n - 6. Let z be q(11). Let v = d + z. Is v a composite number?
True
Let x = 8830 + -4963. Suppose -10*l + x = -5243. Is l prime?
True
Let l(v) = -10*v - 39. Let a be l(-4). Is (a*-2088 + -3)*(-1)/3 composite?
True
Suppose -3*h - 4*c = -754385, 2*c + 449192 = 2*h - 53750. Is h a composite number?
False
Suppose 3*m + 726037 = 2*j - 217752, -5*j = -5*m - 2359470. Is j composite?
False
Suppose -6*h = -2*h + n - 49, h + n = 10. Let j = h - 10. Suppose 2*y = -4*x + 584, -2*y = -1 - j. Is x composite?
True
Suppose 80*u = 21585436 + 7393310 + 19142614. Is u prime?
False
Let s = 18 - 23. Is (((-30)/s - 3) + -2)*1889 composite?
False
Let d = -597 - -599. Suppose -2*b + 0*g = -2*g - 1540, -d*g = -3*b + 2311. Is b a prime number?
False
Let h be ((-6)/(-4))/(12/32). Suppose -d + 4 = -h*b - 17, 0 = -4*d + 4. Let r(w) = -84*w - 41. Is r(b) a composite number?
False
Let h be -1*(-3 + 10150/(-5)). Suppose 3*f - h = 796. Suppose -f = -t - 0*t. Is t a composite number?
True
Let i = 17838 - -25109. Is i composite?
True
Is (-253)/(-1518) + 537202/12 a composite number?
True
Suppose 7*x - 21 - 14 = 0. Suppose 0 = -x*p - 6 + 21. Suppose -4*j + 5*g + 1187 = 0, -4*j + 0*g + 1163 = p*g. Is j a prime number?
True
Let h(r) = r**2 - 3 + 3*r - 2*r - 1 - 3*r. Let l be h(4). Suppose l*q - 3*s = 1640, s + 4*s = -2*q + 846. Is q composite?
True
Let l(x) = x**3 - x**2 + 6*x - 37. Suppose d = -2*h + 7*h, -4*d + 2*h + 54 = 0. Is l(d) composite?
False
Is ((-1449)/147)/(12/(-440356)) prime?
False
Is ((-21678)/33)/((-418)/154033) prime?
False
Let q be (-3 - (-12)/(-4)) + -6 + 128. Let d(m) = -30*m - 6. Let s be d(-8). Let i = s - q. Is i a composite number?
True
Let r be 0 - (-3)/6 - (-50)/20. Suppose -2289 = -0*k - k - 4*l, 2*k - 4583 = -r*l. Is k a composite number?
False
Suppose 0 = -4*u + 249 + 71. Is ((-1943)/(-4))/(20/u) a prime number?
False
Let r(g) = -g + 3. Let p be r(-21). Let f = 31 - p. Suppose -2*t = f*t - 7893. Is t a composite number?
False
Let h(b) = -1215*b - 135. Let n be h(4). Is n/(-1) - (3 + 5) composite?
False
Let r(i) = -50*i - 2. Let h be r(-1). Is 30448/h + (-4)/(-6) a composite number?
True
Let d(k) = 19976*k**2 + 13*k + 217. Is d(10) a prime number?
False
Let t(c) = -c**2 + 3*c + 5. Let s be t(3). Suppose 0 = m - w + 1363, m - 5488 = 5*m + s*w. Is (m/4)/((-4)/16) a prime number?
True
Let o = 527981 - 67270. Is o prime?
True
Suppose 3*i = k + 671, -k - 1111 = -5*i - 3*k. Let n be ((-2)/5)/((-16)/160). Suppose -n*o + 3*o + i = 0. Is o a prime number?