Let m(f) = 9*f + 11. Let p(k) = 28*k + 32. Let q(l) = -11*m(l) + 4*p(l). Let v(o) = 25*o + 14. Let c(a) = 5*q(a) - 2*v(a). Is c(8) prime?
True
Suppose 3*h = 3*f + 9, 2*f + 4 = 4*h + 6*f. Suppose h*w = 7*w + 10. Let g(d) = -40*d - 3. Is g(w) a prime number?
False
Let x(f) be the third derivative of -f**6/120 - f**5/15 + 7*f**4/24 + 7*f**3/6 - 4*f**2. Let r be x(-5). Is 129/(r + (1 - -3)) prime?
False
Is 100320/135 - 4/36 composite?
False
Let m be (-5 - -6) + (-4)/(-2). Let p = m - 2. Is (2 - p)*(5 - -41) composite?
True
Let a = 16109 + -6207. Is a prime?
False
Suppose -5*t + 42 = 12. Let x be (-291)/3 - (6 - t). Let k = 97 - x. Is k composite?
True
Let h = 28247 + -11974. Is h a prime number?
True
Let v(d) = -d**2 + 7*d - 6. Let z be v(6). Suppose -4*q + 2*q + 74 = z. Is q composite?
False
Let g(d) = -317*d**3 + 8*d**2 - 10*d - 5. Is g(-6) a composite number?
True
Suppose -72217 = -3*r + 4*w, -41*w - 72218 = -3*r - 36*w. Is r composite?
False
Let b(a) be the second derivative of -a**5/20 + 7*a**4/6 - 3*a**3/2 - 11*a**2/2 - 15*a. Is b(11) a composite number?
True
Let w(a) = -a**2 + 10*a + 13. Let s be w(10). Suppose -48427 = -s*b - 12378. Is b a composite number?
True
Suppose 73*g - 76*g = -15, 2*g = 4*z - 33826. Is z a prime number?
False
Suppose -f - 2*j = -500, -4*f = 2*j - 626 - 1380. Let z = f + -303. Is z a prime number?
True
Let x = -505 - -1904. Is x a prime number?
True
Let h(l) = 49*l - 12. Let d be h(-4). Let q = d - -599. Is q a prime number?
False
Let g(l) = -3990*l + 40. Let d be g(12). Is d/(-48) - 2/(-6) prime?
True
Let p(g) = -g**3 + 26*g**2 - 7*g - 9. Is p(12) composite?
True
Let i(w) = w - 9. Let g be i(9). Suppose -2*f + 675 + 577 = g. Is f a composite number?
True
Suppose 2*g - 3*m - 9 = 0, -3*m = -6*g + g + 9. Suppose -q + 2*j + 23 = 0, -3*j = q - g*q - 13. Is q a composite number?
False
Let d(y) = -2*y - 2. Let l be d(-7). Is l/(-28) - (-11180)/35 a prime number?
False
Suppose 0 = -2*s - 11 + 31. Let t(h) = -h**2 - 8*h + 6. Let d be t(-6). Is s/45 - (-662)/d a composite number?
False
Suppose 9*h - 51 = 12*h. Let j = 722 - h. Let d = j - 416. Is d prime?
False
Suppose 20*s + 6381 = 24*s + b, -b = -4*s + 6371. Is s a composite number?
True
Let x = 3 + -9. Let b(d) = -767*d - 5. Is b(x) a prime number?
True
Let r = 194 - 556. Let k = -139 - r. Is k prime?
True
Let m(j) = -18*j - 6. Let g be m(-7). Suppose -4*i + i = -g. Is 16/i - 608/(-5) prime?
False
Suppose -2434 = -b + 5*z, 0*b - 4*z = b - 2479. Is b a composite number?
False
Let n(a) = -110*a + 65. Is n(-9) prime?
False
Suppose 0 = -k + 4 - 0. Let j = 8 + -7. Is (0 - -89)*(k + j) composite?
True
Let j(r) = -r**3 - 2*r**2 + 5*r - 13. Is j(-8) a prime number?
True
Suppose 5*p - 6989 = -9*b + 7*b, -p + 1405 = -2*b. Is p composite?
False
Let u = 3320 + -1849. Is u prime?
True
Suppose -3512 - 13620 = -4*r. Is r composite?
False
Let n(y) = 2093*y**2 + 3*y - 1. Is n(1) a prime number?
False
Let i = 1729 + -337. Let g = i - -799. Is g a composite number?
True
Suppose 0 = m + 2*f - 8, -2*m - 5*f = -m - 20. Suppose m = -37*q + 35*q + 114. Is q prime?
False
Let f(o) = -o**2 + 3*o - 2. Let z be f(1). Suppose 4*p - 2448 = -2*u, z*p = -p + 5*u + 601. Is p a composite number?
True
Let w be (-6)/((21/8)/(-7)). Suppose w = 3*q + n, -q + 0*n = -2*n - 17. Suppose -4*s + q*s = 387. Is s a composite number?
True
Suppose 0 = 4*f + f + 55. Let m(s) be the third derivative of s**5/20 - s**4/4 + 7*s**3/3 - 4*s**2 + 3*s. Is m(f) prime?
True
Let v(b) = 5*b**2 + 46*b - 31. Is v(-20) a prime number?
True
Suppose 0 = -0*r - 3*r - 609. Let p = r + 352. Is p a composite number?
False
Let c(o) = -o - 20. Let i be c(-16). Let q be (20/35)/(i/(-14)). Let g(d) = 199*d - 1. Is g(q) prime?
True
Let t(w) = 3*w**2 + 7*w - 65. Is t(22) a composite number?
True
Let r(c) = 50*c**3 - 5*c**2 + 3*c. Let q be r(4). Suppose 3*t + 8623 - q = 5*o, o - 2*t = 1101. Is o prime?
True
Let z be 12/30 - (-3136)/10. Let t be 5/30 + (-7714)/(-12). Suppose -4*h + t = 3*y, 2*h + 0*h + 4*y - z = 0. Is h a prime number?
True
Let f(s) = -193*s**2 - 18*s + 11. Let z be f(8). Is (-2)/5 + z/(-25) composite?
False
Suppose -425 = a - 15814. Is a a prime number?
False
Is ((-10)/(-4))/(((-85)/(-670))/17) prime?
False
Suppose 2*u = -2*k + 33444, -8*u + 3*k = -9*u + 16714. Is u composite?
True
Suppose 6*z + 4340 = 39482. Is z a prime number?
True
Is 60/40*868/6 a prime number?
False
Let m(u) be the second derivative of 127*u**3/6 - 4*u. Let d = -3 - -4. Is m(d) prime?
True
Suppose -6*m = -3*m - 60. Suppose -5*o + m = -o. Suppose 0 = -o*z + 187 + 88. Is z a composite number?
True
Suppose b = z - 5, -12*b = -4*z - 15*b + 13. Is z prime?
False
Let z(m) = -m**2 + 12*m - 24. Let i be z(10). Let u(v) = -170*v + 11. Is u(i) prime?
True
Let p be 2/(-6)*1*21. Let s(w) = -3*w**3 - 5 + 7*w + 2*w - 9*w**2 + 0*w**3 + 1. Is s(p) a composite number?
False
Let o = 1 + -4. Let b be (-2)/4*(-45 + o). Is (-2)/8 - (-1326)/b a prime number?
False
Let s be (0 - -1) + 5 + -1. Suppose 0 = 2*m - 5*t - 434, s*m = -5*t + 644 + 476. Suppose 263 = 5*r + d, -65 = 3*r + d - m. Is r prime?
True
Let g(n) be the second derivative of -3*n + 13/2*n**2 + 0 + 17/6*n**3 + 1/6*n**4. Is g(-12) a composite number?
False
Suppose 760 = 5*y + 140. Let d = 183 + y. Is d prime?
True
Is (-6)/1 + (-84435)/(-15) composite?
False
Let n = -6 + 11. Suppose -n*d + 6 = -d + v, d - 4 = v. Is d*1*(-166)/(-4) composite?
False
Suppose 4*s + 8 = 8. Suppose -22*h + 23*h - 211 = s. Is h a composite number?
False
Let m = -220 + 128. Let s = m - -219. Is s a prime number?
True
Let y = 39958 + -22059. Is y composite?
True
Suppose -2*x - 106086 = 7*a - 11*a, a = -x + 26520. Is a a prime number?
False
Let o(n) = n**2 + 9*n + 3. Let f be o(-9). Suppose 3*v - c = c + 2075, -f*v + c + 2071 = 0. Is v a composite number?
True
Let s = -10 + 12. Suppose -3 - 5 = s*d + 4*y, -17 = -d + 5*y. Suppose -5*a = 5*i - 655, -d*a = -4*i + 2*i - 246. Is a a prime number?
True
Suppose -f - 2*q = 16, -q - 25 = 5*f + 28. Is (10/f - 0/(-1))*-31 prime?
True
Let x(k) be the third derivative of k**6/40 + k**5/10 + k**3 - 4*k**2. Let r be x(5). Suppose h - 460 = -4*o, -5*h - 71 = 4*o - r. Is o prime?
False
Let d(m) = 13 - 25*m - 124*m + 36*m. Is d(-6) a composite number?
False
Let i(s) = 3*s + 2. Let h be i(-2). Let z(q) = -q**3 + 3*q**2 - 7*q - 1. Let m(o) = o**2 - o. Let p(l) = -m(l) + z(l). Is p(h) prime?
False
Let x = -389 - -1242. Is x a composite number?
False
Suppose 3*i + 2*t = 30181, -i - 4*t = -6*t - 10047. Suppose 4*s + d = i, 4*s - d - d = 10066. Is s a composite number?
True
Let o(s) = -169*s**3 - 21*s**2 + 5*s - 12. Is o(-5) a prime number?
True
Let v(n) = -n**3 + 4*n**2 - n - 4. Let r be v(3). Let k be (8/(-4))/(r/163). Let l = 462 + k. Is l a prime number?
False
Is (7 - 13) + 18349 + -2 composite?
False
Let r(o) = -o**3 + 7*o**2 + 21*o - 13. Let t be r(9). Suppose -x = -0*x - 98. Is (-4)/t - (-33054)/x prime?
True
Suppose -11780 = -9*j + 1549. Is j prime?
True
Suppose -10 - 5 = -5*r. Is (-1 + (-10)/(-4))*1810/r a composite number?
True
Let l(a) = a**3 - 4*a**2 - 4*a - 3. Let u be l(5). Suppose 4*b - v = 668, 3*b + 4*v - 814 = -u*b. Suppose y = -y + b. Is y prime?
True
Suppose 0 = 3*w + 4*z - 1477, 5*z + 1398 = -5*w + 3853. Is w composite?
False
Is ((-21646)/(-4))/((-1)/(-1))*2 prime?
False
Let z(n) be the second derivative of -n**5/20 - 5*n**4/4 - n**3/6 - 4*n**2 - 10*n. Suppose 2*i + 10 + 20 = 0. Is z(i) a prime number?
True
Is -1*121377*8/(-24) a composite number?
False
Let a be (-3 - -4) + 5316 - (2 + 1). Let r = a + -1161. Is r prime?
True
Suppose 492 = 4*b + 96. Suppose 4*z = -5*x + 295 - 56, -4*x + 292 = 5*z. Let g = b - z. Is g prime?
True
Let h(q) = 56*q**2 + q - 15. Let g be h(-6). Let n = -1362 + g. Is n composite?
True
Let r(u) = u**2 + u - 3. Let o be r(-3). Suppose o*j - 5*b = -0*j + 1166, 3*j - 1206 = -3*b. Is j composite?
False
Let j(d) = 4*d**2 + 10*d. Let y be j(-3). Suppose y*m = 13380 + 2958. Is m composite?
True
Let p be -3 + (-18)/(-3) + 0. Suppose 4*z - p*z = 159. Is z a composite number?
True
Let f(u) = 136*u**2 + 14*u - 217. Is f(10) a composite number?
False
Let b = -1896 - -930. Let k = -289 - b. Is k composite?
False
Let x = 23 - 24. Is 223/(3/x - -4) composite?
False
Suppose -2*x + 57*b 