 -2*s - s + 1647 = 0. Let m = s - j. Is m composite?
True
Is (-87866)/(-3)*(-1065)/(-142) a composite number?
True
Let f be (7 + (6 - 5))*(-2)/(-16). Is f/3 + 2872/6 prime?
True
Let t = 11786 + 21045. Is t composite?
False
Let v be 20/9 + (-2)/9. Suppose 5*h = 25, 13 + 7 = -v*y + 4*h. Let n(k) = k**2 + 1383. Is n(y) a composite number?
True
Suppose -2*r = -r + 28. Is (-7)/(r/1060) - -2 prime?
False
Let t be 4 - (1 - (-4 - -5)). Let n(d) = t*d**2 + 3 + 2*d**2 + 11 - 29*d - 4*d**2. Is n(19) a composite number?
True
Suppose 2*u + 1846030 = 4*v, 60*u - 1384522 = -3*v + 61*u. Is v prime?
True
Let r be ((28256/3)/(-8))/((-8)/12). Let v = r + -1021. Is v prime?
False
Let q(p) = 946*p - 1039. Is q(5) a composite number?
False
Let a = 65610 + -40527. Suppose 8*u + a = 17*u. Is u composite?
True
Let h be 325/2 - (-2)/(-4). Suppose -5*j + h = -38. Is (-2)/(-5) + 28264/j a composite number?
True
Suppose 0 = -4*y - 16, -3*l + 44 = y - 3*y. Suppose 9*v - l*v + 402 = 0. Is v prime?
False
Let y = -834 + 197. Let b = y + 4849. Suppose t - 4*v - b = v, 5*v = 3*t - 12606. Is t composite?
True
Let f = -139 - -113. Is 5776 - (f/10 - -2)*5 a composite number?
False
Let a = 82 - 73. Let h(i) = 29*i**2 - 8*i - 18. Let u be h(a). Suppose 0 = -7*v - 2*v + u. Is v composite?
False
Suppose -6*c = 1 - 55. Let h be (12/c)/((-6)/(-9)) + 18434. Suppose 0 = -w - 3*w + h. Is w prime?
False
Suppose -12103594 + 42346542 = 74*d - 13304646. Is d prime?
True
Let d be (0 - -705)*18/27. Suppose 2*b - d = 2*i + 122, 2*b - 885 = 3*i. Let f = i - -874. Is f a composite number?
True
Suppose 216095 = 17*s + 27684. Suppose 7*x = 11338 + s. Is x a prime number?
True
Suppose 4*i - 3*q = 9*i, -5*q = -i + 28. Suppose i*k - 3176 = 3*b + 18043, 2*k + 2*b - 14130 = 0. Is k a composite number?
False
Let z be 6/(-8) + 381/(-4). Let u be 35/(-2)*z/(-120). Let t(s) = -4*s - 31. Is t(u) prime?
False
Let k(y) = -12*y + 31. Let g = -218 + 210. Is k(g) prime?
True
Let l(d) = 7*d**3 + 2*d**2 - 1. Let f be l(1). Let u be ((-6)/(-10))/(f/40). Suppose -4*k = -20, -5*k + 3*k = -u*s + 191. Is s prime?
True
Suppose -48*o + 45*o = 0. Is (5 - (-4 - -6)) + 2404 + o a composite number?
True
Let j = -25 - -25. Suppose 4*u - 5355 + 1171 = j. Is u prime?
False
Suppose 0 = 5*r - 3*v - 151, -4*v - 148 = 20*r - 25*r. Suppose r*t - 3*t = 163299. Is t prime?
False
Suppose 2*f - 14 = -p, -f + 6 = -4*p - 10. Is (-4892)/(-6) - ((-207)/27 + f) a composite number?
True
Suppose -13*a + 9*a = -5500. Let z = a + 154. Is z composite?
True
Let a be (2 - 15/6)/((-5)/(-80)). Let y = -6 - a. Suppose 102 = -y*m + 464. Is m a composite number?
False
Is (13/(-26))/((4 + -5)/193186) composite?
True
Let z(d) be the second derivative of -11*d**4/12 - 10*d**3/3 + 11*d**2/2 - 39*d. Let r be z(27). Is (-1 + 3 - r/(-16))*-4 prime?
True
Suppose -19*p = -5*u - 24*p + 375530, -3*p - 75118 = -u. Is u a composite number?
False
Suppose 0 = 3*m - 14 - 52. Let b = 19 - m. Let z(w) = 23*w**2 - 3*w - 5. Is z(b) prime?
True
Let l = 3357 - 1136. Is l prime?
True
Suppose 3*o - 95483 = -4*v, -63657 = -2*o - 28*v + 25*v. Is o composite?
True
Let u(d) = -d**2 - 16*d - 18 + 5*d - 3*d**2 + 3*d**2. Let w be u(-9). Suppose 0 = -w*s + 7*s - 3899. Is s a composite number?
False
Let a = -445 - -2289. Suppose -35*x - a = -37*x. Is 20/(-5) + (-2)/(-2) + x a prime number?
True
Suppose -3*x + 404254 + 467915 = 0. Is x a prime number?
False
Let n(h) = -h**3 - 3*h**2 + 21*h + 6. Let m(c) = -11*c + 2. Let v be m(1). Is n(v) a composite number?
True
Let m = 223 + -219. Suppose 7025 = 2*c + 5*g, m*c - 9965 - 4043 = 4*g. Is c composite?
True
Suppose -13 = -2*n - 1. Let g be (9 - n) + (2 - -6320)/2. Suppose 5*m - g = 1801. Is m composite?
True
Let s(b) = 16037*b**2 - 26*b - 16. Is s(-3) a composite number?
True
Is ((-110)/(-11) - 15) + 754884 - (0 + 2) a composite number?
False
Suppose m - 26 = -5*d, 3*d - d - 3*m = 7. Let x(y) = 8*y**3 + 3*y**2 + 9*y - 2*y - 8*y + 9 + 0*y**2. Is x(d) a prime number?
False
Let d(h) = 8*h + 24*h**2 + 54*h**2 + 215 + 2*h - 197. Is d(-4) composite?
True
Let b(q) = -q**3 - 19*q**2 + 49*q - 398. Is b(-45) composite?
False
Suppose -8*i + 18*i - 6370 = 0. Let b = -23 + i. Is b a prime number?
False
Let r = -2867 + 5253. Suppose g = -2*w + 92 + 1517, -3*w = -4*g - r. Is w composite?
True
Suppose -52 + 4 = -16*a. Suppose 4*b - m = 25411, a*b - 19054 = -43*m + 48*m. Is b a composite number?
False
Suppose -2*o = -3*k - 19587, -k = 3*k - 20. Let t = 14810 - o. Is t prime?
True
Let p = -225 + 230. Let g(w) = 42*w**3 + w**2 - w - 13. Is g(p) composite?
True
Let g(j) = 31*j**2 + 288*j + 511. Is g(-86) a prime number?
True
Let x be (-3)/12*0/(-7). Suppose x = 176*o - 160*o - 163568. Is o composite?
False
Suppose -5*s - 50769 = -4*x, -16407 = -3*x + s + 21667. Suppose 5*l - 8499 = -2*q, 0 = 9*q - 6*q - 4*l - x. Is q composite?
True
Let t(z) = z**2 - 11*z - 43. Let h be t(13). Let l(n) = -n**2 - 15*n + 41. Let r be l(h). Suppose -113 = -r*d + 41. Is d a prime number?
False
Let n be (-186)/(-9) - 6/(-18). Suppose 19*z + 10 = n*z. Suppose 4*p = -4*i + 13196, -z*i - 3*p + 5596 = -10899. Is i a composite number?
False
Let d(w) = w**3 + 28*w**2 - 27*w + 62. Let a be d(-29). Suppose 2*y - c = 2*c + 8642, -a = -c. Is y a composite number?
False
Suppose 19*f - 18*f = -u - 546, 0 = 2*u + 3*f + 1092. Is ((3/9)/(-1))/(14/u) a prime number?
True
Let s = -184705 + 315120. Is s prime?
False
Suppose 5*b - 2809 = 3186. Let a = 1692 - b. Is a composite?
True
Let a = 1837 - -50298. Is a prime?
False
Is (-24)/(-68) - 32267909/(-323) composite?
False
Let k(o) = 817*o**2 + 81*o + 15. Is k(-14) a prime number?
True
Suppose 0 = -109*a + 108*a. Suppose -4*o = -5*q + 26867, 52*q - 47*q + 5*o - 26840 = a. Is q prime?
False
Let x(c) = -7209*c + 2036. Is x(-11) a composite number?
True
Is 220/(-55) - ((-655264)/3 + 1/3) composite?
False
Suppose -46*u + 48*u + 5*t = 0, -30 = -5*u - 5*t. Let n(j) = 7*j**3 - 9*j**2 - 2*j - 31. Is n(u) a prime number?
False
Let y = 277300 + -123089. Is y a prime number?
True
Is (-1)/40*-10 + (-1674510)/(-40) composite?
False
Suppose -8989 = -j - 3*m, 52*j + 9001 = 53*j + m. Is j a prime number?
True
Suppose j = 4*n + 1, 4*n = -4*j - 0*n - 16. Let s be j/2 - 55/(-10). Suppose 3*k = -v + 28, -5*v - 6 = s*k - 25. Is k a composite number?
False
Suppose -1832*o - 34866 = -i - 1837*o, 2*i = 5*o + 69837. Is i prime?
False
Let k = 80951 - 24172. Is k prime?
True
Suppose 0 = -23*r + 675330 - 106471. Is r prime?
True
Suppose 0 = -4*l + 2*v + 15 + 1, l + 3*v - 4 = 0. Suppose -o - 4*m = -2905, 2*m - 8673 = -3*o + l*m. Is o composite?
True
Is (-11 + -734357)/(-16) + -11 a composite number?
False
Let f be ((-1)/(-4)*10)/(2/(-4)). Let k be (0 - (f - -2)) + 1. Is (k + (-470)/(-8))*4 a composite number?
False
Let w(h) = h - 4. Let p be w(7). Suppose 4*k - 6 = p*u, -2*u - 4 = -2*k - u. Is ((-5236)/(-12))/7*k a composite number?
True
Let c be ((-12)/6*-1)/(0 - -1). Let v(b) = 5*b**2 - 3*b + 0 + 10 - c*b**2 + 3*b**2. Is v(12) prime?
False
Let d = 262 + -245. Is ((1 + -2)/(-2))/(d/93194) a composite number?
False
Is 244/(-3)*(-34)/(272/366) composite?
True
Let f be -5 + 2 + (-100)/(-12)*3. Suppose f*t - 24*t + 2*q = -3066, 2*t + 3*q = 3076. Is t a composite number?
True
Is (-1)/4 - (-158731221)/4260 - (-4)/10 prime?
False
Suppose 68 = -25*q + 23*q. Let u = q + 301. Is u composite?
True
Is -23 + (-7*123850)/(-7) composite?
True
Let z = 67 - 61. Let x(j) be the third derivative of j**5/30 + j**4/3 - 23*j**3/6 - 21*j**2. Is x(z) a prime number?
True
Let g(i) = i**2 + 14*i + 50. Let j be g(-9). Suppose -j*d + 18118 + 14421 = 4*l, 4*l - 32533 = -3*d. Is l composite?
True
Suppose o + 2*n = 6*o - 3034481, 2*o - 2*n = 1213796. Is o composite?
True
Suppose 0 = 15*y - 21*y - 10440. Let k = 2537 + y. Is k a prime number?
True
Let w = -4767 - -5549. Let r(m) = -m**2 - 6*m + 5. Let c be r(-6). Suppose -w = -v + c*k - 0*k, 3062 = 4*v + 2*k. Is v composite?
True
Suppose 0 = -18*n + 19*n - 1470. Suppose -3*q + 522 = -n. Suppose 0*r + 5*r = -3*k + 644, 3*k + r - q = 0. Is k composite?
False
Let j(m) = -4*m**3 + 2*m - 2. Let d be j(1). Let p be 0 - ((-33)/22 + (-6)/d). Suppose p = -3*c + b + 9250, -5*b = c + 2*c - 9244. Is c composite?
False
Let c(w) = -15*w**3 - w**2 - 22*w - 13. Let z(t) = t*