?
False
Let v(i) be the second derivative of 3*i**5/10 - i**4/24 + i**3/3 + 5*i. Let u(p) be the second derivative of v(p). Is u(7) a composite number?
False
Let s = -90 + 94. Is s a composite number?
True
Let v(p) = p**2 + 2*p + 2. Let x be v(0). Let o = x - 0. Suppose 0 = t - y - y - 15, -110 = -4*t - o*y. Is t prime?
False
Let s be 189/45 - (-1)/(-5). Suppose 2*y + 4 = -s. Is 2 - (-91 + 6 + y) prime?
False
Let i be 3 - ((-8)/(-4) + 11085). Let k be 2/2 - i/17. Suppose 518 = 3*g + 5*m - 171, -3*g + 4*m + k = 0. Is g composite?
False
Suppose -3 = -3*c - 0*i + 3*i, -i - 13 = -4*c. Suppose c*u - 224 = 2340. Is u a prime number?
True
Let r(c) = -82*c - 27. Is r(-43) composite?
False
Let v(k) = -k**3 + 0*k**3 - 33 + 15*k**2 + 3 - 10*k. Is v(13) composite?
True
Let w = -6939 + 16750. Is w prime?
True
Let r(b) = b**2 - 5*b - 15. Let w be r(8). Suppose -w*t + 7*t = -1414. Let q = t + -502. Is q prime?
False
Let i be 2/7 + 10714/(-14). Let w be 4/(-8)*2 - i. Suppose v - w = -3*v. Is v a composite number?
False
Let b(p) = 2*p**3 - 5*p - 5. Let l be b(-1). Is (l/3)/(1 - 2090/2085) a composite number?
True
Let h(a) = a**3 - a**2 - a - 3. Let p be h(0). Let y = 237 - 234. Is p/(y/4) + 7 a prime number?
True
Let q(i) = -38*i**2 + 10*i + 1. Let u(l) = -39*l**2 + 10*l + 1. Let w(n) = 6*q(n) - 7*u(n). Is w(6) a prime number?
True
Suppose 2*x + 19 = 5*o, -8*o = -4*o + 2*x - 26. Suppose o*m - 34 = 276. Is m prime?
False
Let o(x) = -3*x + 9. Let r be o(-7). Let j(y) = 3*y + 7 - 26*y + 14*y - r*y - y**2. Is j(-17) a composite number?
True
Let c(v) = 224*v**2 + 18*v + 63. Is c(-8) a prime number?
False
Let z = 48 - 45. Suppose -5*y - 459 = -2*t + t, 3*t = z*y + 1401. Is t a composite number?
True
Let j be (-2)/(-12) - 5534*(-2)/(-24). Let f = j + 1134. Is f prime?
True
Let g(f) = -13*f**3 + f**2 - 22*f - 21. Is g(-5) composite?
True
Is (2 + (-9)/(-6))*2*661 prime?
False
Suppose -25*i + 28*i = 747. Is i composite?
True
Let p be ((-1)/2)/((-2)/12). Let z(a) = 3*a**2 + 5*a**3 + 4 + 0*a + 6*a + a - 8*a. Is z(p) a composite number?
False
Is (-119514)/2*13/(585/(-75)) a prime number?
False
Let j = 6366 + -2787. Is j composite?
True
Let h be 6052/(-18) + 1/(9/2). Let t be (62 - 0)/(2/(-17)). Let m = h - t. Is m a composite number?
False
Let t(r) be the first derivative of -22*r**4 - r**2 + r - 14. Is t(-2) a composite number?
False
Is 119156/(-48)*3*-4 composite?
False
Suppose 0 = -a + 3, 37*g - 36*g + 4*a - 6631 = 0. Is g a prime number?
True
Let o be (2/5)/(2/10). Suppose 3*x + 1 = 4*s, 0 = -3*s - x + 3*x + o. Suppose 3*k = s*k - 65. Is k composite?
True
Let f(a) = -535*a**3 + a**2 + 7*a + 1. Is f(-2) composite?
False
Let a = -57 - -59. Suppose f - 595 = a*o - 192, -o - 2060 = -5*f. Is f a composite number?
True
Let s = 59 - 52. Suppose s*k = 913 - 122. Is k prime?
True
Let v(r) be the second derivative of -r**5/20 + r**4/3 + 5*r**3/6 + r. Let k be v(5). Suppose k = 2*b - b - 217. Is b a composite number?
True
Suppose 0 = -2*d - 4*t + 30, -5*t = -10 - 5. Let l(i) = -i**3 + 8*i**2 + 10*i + 14. Is l(d) a prime number?
True
Is -4 - 18/(-2) - -27114 a composite number?
True
Suppose 2*d - 534 = -5*q + 3461, 3*d = 3*q - 2376. Is q a prime number?
True
Let q(t) be the third derivative of 0*t + 0 + 1/120*t**6 - 7*t**2 - 1/24*t**4 - 5/6*t**3 + 1/10*t**5. Is q(-4) a composite number?
False
Is 61810/8 + 6/8 a composite number?
False
Let n(g) = -1925*g + 13. Is n(-2) prime?
True
Suppose 4*g + 5*l - 963 = 0, -163 + 649 = 2*g + 4*l. Is g a prime number?
False
Let i(j) = 656*j**2 + 25*j - 34. Is i(-5) prime?
False
Let m(w) = 47*w**2 - 86*w + 85. Is m(20) composite?
True
Let d(y) = 16*y**2 + y. Let k be d(-1). Let m = -9 + k. Suppose 0 = m*x - x - 65. Is x prime?
True
Suppose 4*n + 4*y = 8608, -3*n = n - 4*y - 8568. Let d = -1104 + n. Is d prime?
False
Suppose 5*u - 1969 = -2*x, -4*x - 3 = -3*x. Suppose -u = -4*k + 113. Is k composite?
False
Let l(u) = u**2 - 9*u + 7. Let o be l(8). Let a(g) = -965*g**3 + g**2 + 2*g + 1. Is a(o) prime?
False
Suppose -17*m + 16 = -15*m. Is 6/m + (-25655)/(-28) composite?
True
Suppose -15965 = -6*y + 56077. Is y composite?
False
Suppose 4775 = 5*g + 2*w, -2*w - 4856 + 81 = -5*g. Is g a prime number?
False
Let v(t) = -14*t**3 - 5*t**2 + 35. Is v(-6) a composite number?
False
Let c(p) = p**3 + 17*p**2 + 16*p + 4. Let n be c(-16). Suppose -2*a + 18 = -5*t, -n*t - 18 = -3*a - 5. Is 0 - a - 40*-3 composite?
True
Let f = 35372 + -11773. Is f composite?
False
Let w be (24/10)/((-3)/45). Let h = w - -128. Suppose 2*m + h = 6*m + 4*a, m - a - 27 = 0. Is m composite?
True
Let s = 3082 - 721. Suppose -10*q + s = -7549. Is q a prime number?
True
Let j(q) = 1 + 2 + 4 + 13*q**2 + 58*q**2 + 27*q**2 - 5*q. Suppose 2 - 4 = -l. Is j(l) a prime number?
True
Let q(y) = -y**3 + 24*y**2 + 2*y - 56. Let l be q(24). Is l/20 + 39085/25 prime?
False
Let j = 2384 - 1630. Suppose 3*h = 5 + 1, j = 3*y - 4*h. Is y prime?
False
Let i be (-6)/4*28/(-3). Is 17 - i - (-784)/2 composite?
True
Let i = 6 - 5. Let t be ((-20)/(-15) - 1)/((-2)/12). Is t/(-2) + 292/i prime?
True
Let k(q) = 0*q - 9*q + 5 + 626*q**2 + 13*q - 7*q. Is k(2) composite?
False
Let f(p) = -p**3 - 13*p**2 + 15*p + 5. Let a be f(-15). Let o = a - 107. Is o a composite number?
True
Let x = 12224 - -1187. Is x a composite number?
False
Let w(f) = -379*f**2 + 2*f + 1. Let d be 6/(-4) + (-2)/(-4). Let m be w(d). Let l = m - -585. Is l composite?
True
Let t(a) = -a + 13. Let x be t(8). Suppose -x*v - 5*n + 10275 = 0, 0 = 4*v - 2*n - 4807 - 3401. Is v composite?
False
Let f(j) = -7*j**3 + 2*j**2 + 1. Let q(a) = -a**3 + 5*a**2 + a. Let s(o) = -f(o) + q(o). Suppose -3*n - 9 = 2*l - 24, -5*l + 30 = 5*n. Is s(l) prime?
True
Suppose 6*z + 71184 - 248778 = 0. Is z composite?
False
Suppose -2*i + 7 = f, 2*i - 11 = -f - i. Is 79*4/(3 - f) a composite number?
False
Let l(g) = 403*g**2 + 19*g. Let q be l(6). Suppose 0 = -6*b - 0*b + q. Is b prime?
True
Let s be 4/6*45/(-60)*0. Let x = 1 - -2. Suppose -a - x*a + 260 = s. Is a a prime number?
False
Is 7/(-56)*8 - -142*26 a prime number?
True
Suppose -832 = -2*p + 4*j, -2 = 4*j - 14. Is p composite?
True
Let t = 11920 - 5297. Is t prime?
False
Is 373491/21 + (-12)/42 a prime number?
False
Let c(v) = 1193*v - 267. Is c(6) a composite number?
True
Let j = 784 + -346. Suppose -2*x - 226 = -p, -p - p - 3*x = -j. Is p/(-9)*(-6)/4 prime?
True
Suppose 15*f + 176 = 19*f. Suppose -4*k - i = k - 33, -30 = -4*k + i. Let p = k + f. Is p a composite number?
True
Let b be 12*(-1)/((-9)/3). Suppose 4*l - 4373 = 5*t, -b*l + 1530 = 4*t - 2798. Is l a prime number?
True
Let s(w) = -131*w - 5. Let f be s(2). Let i = f - -1129. Is i composite?
True
Let w(y) = -y**2 - 19*y - 1. Let n be w(-19). Is 0 - n - (-105)/6*70 a composite number?
True
Let l be (-4 - -3)/((-1)/117). Let c = 46 + l. Is c composite?
False
Let d(p) = -33*p + 1. Suppose -2*q = 2 + 2. Let k be 12/(-9)*(-3)/q. Is d(k) composite?
False
Let m be -1 - (3 + 24/(-6)). Suppose -11*c + 3302 + 23395 = m. Is c a composite number?
True
Let g(q) = -q**2 - 9*q + 11. Let c = -33 - -25. Is g(c) prime?
True
Let q = -62 - -369. Is q composite?
False
Let d be 1 + 3 + 0/(-22). Suppose 0 = d*n - o - 1812, -n - 5*o - 434 = -2*n. Is n prime?
False
Suppose -3*o = -20*s + 23*s - 6144, 2*s = o - 2063. Is o prime?
True
Let v be (594/12)/(3/6). Let i(m) = -3*m - 5. Let g be i(-4). Suppose -g*w = -4*w - v. Is w prime?
False
Suppose -5*h = -5, -18*g + 16*g + 4*h + 6294 = 0. Is g prime?
False
Let s(n) = 5*n**2 - 20*n - 133. Is s(-54) prime?
True
Suppose -3*j - 5*y = -4*j + 3254, y = 4. Is j prime?
False
Suppose g - 12 = -g - 3*z, -g + 6 = -z. Let t be ((-2)/g)/(15/405). Is (-76)/(-6)*t/(-6) prime?
True
Suppose 4*n = 11555 - 371. Let p = n - 815. Is p composite?
True
Let x(z) = 911*z**2 - 5*z + 7. Is x(2) a prime number?
False
Let w be (-8)/(-10)*(-75)/30. Is 1/w - (-28067)/26 composite?
True
Let s = 4121 + 2250. Is s prime?
False
Suppose -5*n + 5 = -25. Suppose n*a - 2794 = 4*a. Is a a prime number?
False
Let w(v) = 7*v + 0*v**3 + v**3 - 2*v**3 - v**2 + 5. Let s be w(-4). Let t = -2 + s. Is t prime?
True
Let p = -9801 + 17212. Is p prime?
True
Suppose 3*v - 131 = -4*x + 138, -430 = -5*v - 3*x. Suppose 0 = 2*j - z - v - 68, -5*j = 5*z - 400. Let l = -30 + j. Is l a 