d = -948. Let a = 971 - u. Is a prime?
False
Let u(h) = 7*h + 8*h + 8*h - 21*h + 16. Let l be u(-7). Suppose 2*f - 488 = -l*f. Is f composite?
True
Let j be 10/(-4)*(28/5)/(-7). Suppose j*m - 3*m = 4*f - 32149, 4*m + 2*f = 128554. Is m composite?
True
Let u = -24 - -29. Suppose 14 = -3*m + u*h, -2*h - 16 = -2*m - 5*h. Suppose o + 4*n = 1251, -4*o + 5019 = -n + m*n. Is o a prime number?
False
Let v(u) = -u**2 - u + 1. Let x(i) = -i**3 + 2*i**2 + 2*i + 7. Let h(z) = -4*v(z) + x(z). Let o be (-10)/(-20)*(-6)/1 - 1. Is h(o) a composite number?
False
Suppose 3003535 = -91*h + 6194928 + 5369068. Is h composite?
True
Is 3*(1550219/33)/1 a prime number?
True
Suppose 7 = -5*h + 2, 4*d = 4*h + 4. Suppose 0 = 2*j - d*j - 1078. Let w = j + 92. Is w a composite number?
False
Let v(b) = b**3 - 43*b**2 + 254*b - 69. Let r be v(36). Let j = 2757 + -1709. Suppose -3*g - 4*l + 229 = -402, -5*g - r*l + j = 0. Is g a composite number?
True
Let h be (-3)/(-2) + (-123)/(-82) - -21. Let q = 0 - 1. Let d = h + q. Is d composite?
False
Suppose 0 = -0*t - 2*t + 5*o + 44776, -2*o = -t + 22386. Let p = t + -12477. Is p composite?
False
Let r be (-35996)/3 - 82/(-123). Let i = -4747 - r. Is i a prime number?
False
Suppose 2*w - 4676 = -4*u, 4*u - w = 3941 + 735. Let r = -425 - -428. Suppose 4*x = -x - 2*c + u, r*c = -9. Is x composite?
True
Let s(o) = -2*o**3 + 221*o**2 - 39*o - 97. Is s(106) composite?
False
Let j be ((-18)/4)/((-4517)/452 - -10). Let m = -429 - j. Is m a prime number?
False
Let y(x) = -2*x**2 - 14*x - 5. Let d be y(-6). Suppose b = d*b - 630. Suppose 0 = i - 54 - b. Is i prime?
False
Let a = 259877 + -93690. Is a prime?
False
Let g be (2 - 1)/(16532/(-5512) - -3). Suppose -11*i - g = -13*i. Is i a prime number?
False
Let h(i) = 4968*i + 2827. Is h(60) a prime number?
False
Let t(k) = -9*k - 33. Let u be t(-13). Is 42/u*1*11558 composite?
False
Suppose -783329 = 4*w - 9*w + 3*c, -3*c = -6. Is w prime?
False
Let n(i) be the third derivative of i**6/120 - 43*i**5/60 + 85*i**4/24 - 71*i**3/3 - 74*i**2 - 2. Is n(47) composite?
False
Let g = 973 + 128. Suppose -4*l + g = -5*y - 740, 0 = 3*l + y - 1357. Is l prime?
False
Let x be (-6)/15 + 616/(-10) - -3. Let s = x - -103. Suppose -a + 5*t = -s, -t + 2*t = 2*a - 43. Is a composite?
False
Suppose -327*i + 14 = -326*i. Let c(l) = 32*l + 1. Is c(i) prime?
True
Suppose -246188 + 89676 = -16*n. Let t = n + -6396. Is t a prime number?
False
Suppose -395822 = -3*l - l + 2*r, 0 = -2*l - 5*r + 197881. Is l a prime number?
True
Let o = 53 - 59. Let n be (-4)/o + 30416/24. Suppose -4*w = -5*x - 2539, -2*w + 3*x + n = x. Is w a composite number?
False
Suppose 0 = -102*z + 90*z. Suppose -5*x + 9194 + 41861 = z. Is x a composite number?
False
Let l(k) = 5*k**3 + 8*k**2 - 12*k + 10. Let h be l(-6). Let i = h - -1155. Is i a composite number?
True
Let o = -205695 - -387966. Is o a composite number?
True
Let g(z) = -2300*z - 111. Is g(-16) a composite number?
True
Suppose b = -18 + 45. Suppose 10 = -b*n + 29*n. Suppose -2*y + 4*y = n*i - 6811, -5*i + 6817 = y. Is i composite?
True
Is 1428837*(15 - (-2 + 19))*(-1)/6 composite?
False
Suppose -4*p + 29704 = 4*t, 37137 = 5*p - 13*t + 11*t. Is p a prime number?
False
Let t(r) = -1624*r - 28. Let b be t(4). Let f = 10491 + b. Is f prime?
True
Let t = -3464 - -97375. Is t prime?
True
Suppose 2*s - 1519 = -5*n, -4*s - 2*n + 3*n + 3071 = 0. Suppose 3*h - 3*m = 11700, 0 = 3*h + m - 12487 + s. Suppose 4*y = -y + h. Is y a composite number?
True
Suppose 20*o - 5*q = 21*o - 361129, -4*q + 1444516 = 4*o. Is o a prime number?
False
Let v(m) = -2*m**3 - 12*m**2 - 5*m + 26. Is v(-11) composite?
False
Let p(i) = 6*i**2 - 34*i - 2. Let z be p(6). Let r(k) = 36*k**2 - 7*k + 77. Is r(z) composite?
False
Let w(o) = -10*o + 283. Let h be w(-20). Suppose -846 - h = -3*a - 2*k, 0 = -3*a + 5*k + 1350. Is a a composite number?
True
Suppose -19*w = -42*w + 966. Suppose 0 = -6*x - w*x + 35472. Is x prime?
True
Suppose -r - 5788 = -q + 2*q, -5*q + 3*r = 28948. Let w = q - -12786. Is w prime?
True
Let y = 8 - 7. Let s be ((y/(-2))/1)/(7/(-8932)). Suppose -z = -2141 - s. Is z composite?
True
Let b = 46 - 44. Let l = 1583 - 713. Is (b - 3) + l - 2*-1 composite?
True
Let m(i) = i**2 + 18*i + 10. Let j(w) = -w**2 - 18*w - 11. Let l(r) = -2*j(r) - 3*m(r). Let o be l(-18). Is (26/o)/(-3*(-4)/(-5232)) prime?
False
Suppose -5*g - 7*o + 3695942 = -4*o, -6*o - 2217495 = -3*g. Is g prime?
True
Let d(q) = -2060*q + 5039. Is d(-22) a prime number?
True
Suppose 0 = -7*l + 11*l - 2*h - 12, -5*l + 3*h + 16 = 0. Suppose -5*n - 2*a = -32599, 0 = -14*n + 13*n - l*a + 6515. Is n prime?
True
Suppose 15*a - 18*a = 13002. Let j = a + 7851. Is j a composite number?
False
Let h(o) = -20478*o**3 - 9*o - 14. Is h(-3) a composite number?
True
Suppose -6*i - 4 = -10*i. Let c(v) = -2193*v**3 - v**2 + 2*v. Let p be c(i). Let g = p - -3151. Is g prime?
False
Suppose 0 = 19*n - 17*n - 50. Suppose v = 5*f + 165, 6*v - n = v. Let t = f - -43. Is t a composite number?
False
Let j(c) = 270*c - 14. Let x be j(18). Suppose 0 = 18*h - x - 8096. Is h a prime number?
True
Is (-2)/8 + 1*(-8775585)/(-52) composite?
False
Let j = -4 - -5. Let d be 28/6*(-3 + (j - 1)). Is (-25210)/d + 6/21 prime?
True
Let w(r) = r**3 + 3*r**2 - 4*r - 3. Let f be w(-4). Is (f - (-1320)/(-18))/((-2)/66) a prime number?
False
Suppose 284*o - 279*o = -4*d + 732811, -2*o + 2*d + 293146 = 0. Is o a prime number?
False
Suppose 0 = -3*z - 2*m + 10, 2*m - 4 = -0*m. Let d be (4/z*20/(-8))/(-1). Suppose 0 = -4*r + 4, d*k + 0*r = 3*r + 922. Is k a composite number?
True
Let m(o) = 343441*o**2 + 598*o + 1193. Is m(-2) a composite number?
False
Let d be (3 - (-8 + -4))/(-1). Let p(h) = -h**3 - 14*h**2 + 9*h - 12. Let j be p(d). Suppose -w + 45 = -j. Is w prime?
False
Let l(c) = 11501*c + 1481. Is l(24) prime?
False
Let r be (-27)/(-5) + (-4)/10. Suppose 0 = -a - 0 + r. Suppose -a*d - 5*g = -6*g - 742, -6 = -2*g. Is d composite?
False
Let r(a) = 61*a**2 + 7*a - 49. Let i(k) = 2*k**2 + k. Let f(m) = -5*i(m) + r(m). Is f(6) a composite number?
True
Suppose -5*f + 92118 = -2*r + 4*r, 3*f - 4*r = 55250. Suppose -3*q = i - f, -q + 2*i = -6*q + 30705. Is q a prime number?
False
Suppose -4*r = -4*l - 664, 2*l = -2*r - 32 - 296. Is -4 + 99/l + (-17478)/(-5) a prime number?
True
Suppose -12*r + 7*r + 5105 = 0. Let x = r + -348. Is x prime?
True
Let g = -346225 + 574274. Is g a prime number?
True
Let v(q) be the second derivative of 5*q**5/4 + q**4/3 - 5*q**3/6 - 7*q**2/2 - 15*q + 3. Is v(4) prime?
True
Suppose 0*u - 5*u + 22 = 3*t, -u + 22 = 5*t. Let q be (18/36)/((-1)/u). Is 1 - (-2938)/(2 + q) composite?
False
Let f(j) = 3*j + 24. Let t be f(-11). Is (3/(-1))/(t/159) prime?
True
Let y(w) = 28*w**2 + 6*w - 29. Let n be 2/(-10)*-26*450/60. Is y(n) composite?
False
Let z(n) = n**3 + 6*n**2 - 7*n - 29. Let i be z(-6). Suppose i*b + 2*c + 11078 = 15*b, 4*c + 27695 = 5*b. Is b a composite number?
True
Let m be (10/(-50))/(2/(-50)). Is -8 - m/(15/(-34761)) a prime number?
True
Let m = 96149 - -5010. Is m a composite number?
False
Let k be 0 + 11806 - (-6 - -2). Suppose -7*d - k = -12*d. Let z = d + -1307. Is z prime?
False
Let c be (627/4)/(7/28). Let p = c + 1148. Suppose -m = 5*w - 3603, -2*w - 5*m - 343 + p = 0. Is w a prime number?
False
Let n = 276373 + -131222. Is n prime?
False
Let o(l) = -277*l - 2. Let z(d) = -d**3 - 15*d**2 - 26*d + 6. Let t be z(-13). Suppose 2*w - 82 = 4*a, 0 = -2*a + 3*w - t - 33. Is o(a) a composite number?
True
Is 2*(-811315)/(-10)*(84 - 83) a prime number?
True
Let o = 4069 - -22414. Is o prime?
False
Let u be 874 - 193 - 5*1/1. Suppose 2*j = 24538 + u. Is j prime?
False
Suppose 4*o = 7 + 1. Suppose 0 = a + o*a - 54. Is 166314/a + 2/(-3) prime?
True
Let d(z) = -z**3 - 17*z**2 - 27*z + 292. Is d(-27) composite?
False
Let c(v) = -52*v + 41*v + 8*v**2 - 39 - 14. Is c(-9) a prime number?
False
Let m be 1 - (-4 - (-28)/7). Let s(u) = 2327*u**2 + 5*u - 5. Is s(m) a composite number?
True
Suppose -2*z + 3*x - 841 = 0, 0*z - 3*x - 1673 = 4*z. Let r = z + 604. Is r composite?
True
Let m be (-5)/((-20)/4184*(-14)/35). Let g be (-4 + 0)*(-10)/(-8). Is 2*-1 + m/g a prime number?
True
Let t(w) = -3173*w - 823. Is t(-12) a composite number?
False
Let u(m) = 2*m + 20. Let z 