composite?
True
Let q be (-108)/30*3/(36/(-1000)). Let p = -203 + q. Is p a prime number?
True
Suppose 11*f - 938 = 4*f. Is f a prime number?
False
Suppose -7 = -2*g - 3. Let n(v) = 11 + v**g - 2*v - 4 + 5*v. Is n(-10) composite?
True
Let a(t) = t**2 - 3*t - 3. Let o be (-1 + -6)*(-24)/14. Let r be a(o). Suppose -y + 74 = 3*j, -4*j - 449 + r = -4*y. Is y a prime number?
True
Suppose h - 5*p + 17 = 0, -h + p = 4*h - 11. Suppose -h*d = -4*d - 4, -5*v + 627 = 2*d. Is v prime?
True
Suppose 2*z + 40 = a - 709, -4*a + 2969 = z. Is a a composite number?
False
Is (45226/(-7))/(122/(-427)) prime?
True
Let l = -2009 + 3744. Is l composite?
True
Let t(m) = -4096*m**3 + m**2 + 12*m + 12. Is t(-1) composite?
True
Let l(k) = -k**3 + 13*k**2 + 4. Let d = 9 + 1. Let j be l(d). Let o = j - 215. Is o a prime number?
True
Let f = -25095 + 44984. Is f composite?
False
Let n be (-5)/(-20) - (2 - 108/16). Is (-21588)/(-48)*(n - 1) a prime number?
False
Let p(t) = -t**3 - 4*t**2 - 2*t + 2. Let x be p(-2). Let c be (4/x)/(2/(-2)). Suppose -c*f + 158 + 156 = 0. Is f prime?
True
Let a(t) = 72*t**3 - t**2 - t + 55. Is a(8) prime?
True
Let q = -77 - -77. Let o(x) be the second derivative of x**4/12 - x**3/6 + 317*x**2/2 + 2*x. Is o(q) composite?
False
Let c = 13 + -7. Let g = -6 + c. Suppose g*z = -2*z + 614. Is z prime?
True
Let k(s) = 26*s - 217. Is k(36) a prime number?
True
Let m(v) = -4*v**3 - v**2 + v + 48383. Is m(0) prime?
True
Suppose 0 = -3*m + 5*a + 14 - 6, -2*a = 2*m. Let b be (-1)/m + 5 + -2. Suppose -2*t = -3*o + 1903, b*o + 2*t - 3177 = -3*o. Is o a composite number?
True
Let q(m) = -m**2 + 16*m + 21. Let s be q(17). Suppose -2*w - 3*i - 1050 = -5*w, -12 = s*i. Is w a composite number?
False
Suppose h - 1 - 4 = 0. Let z(a) = a. Let g(o) = 3*o + 3. Let d(l) = h*z(l) - g(l). Is d(13) prime?
True
Let v = -252 + 893. Suppose 3*i - 5767 = -2*l, 0 = -i - i + 2*l + 3848. Suppose d - v = -q - d, 5*d = 3*q - i. Is q prime?
True
Suppose -6 = p - 0. Let w = -9 - p. Is (w - -4) + 3 + 201 prime?
False
Let a(o) be the second derivative of -o**5/20 + 11*o**4/12 + 5*o**3/3 + 9*o**2/2 - 2*o. Let j = -17 + 28. Is a(j) composite?
True
Let x(m) = 130*m**2 + 9*m + 19. Is x(12) composite?
True
Is ((-3)/(-6))/((-12)/(-1580808)) prime?
True
Let l(d) = -73*d**3 + 2*d**2 + 3*d. Let m be l(-2). Is (-1 - 2)/((-6)/m) prime?
True
Let v(k) = -399*k + 32. Let x be v(-3). Suppose 0 = -7*y + x + 11616. Is y a composite number?
True
Let g = -1812 - -2573. Is g a composite number?
False
Let q(o) = -o**3 + o**2 + 1. Let i(k) = 5*k**3 + 7*k**2 + 6*k + 9. Suppose 7*x - 8 = 5*x. Let g(w) = x*q(w) + i(w). Is g(-10) a prime number?
True
Suppose 4*o = o - 318. Let x = -163 - o. Let n = x - -88. Is n composite?
False
Suppose -29*k = -34*k + 35. Let j(f) = 11*f**2 + 17*f - 11. Is j(k) a prime number?
True
Let a(c) = 41*c**2 - 8*c + 150. Is a(17) a prime number?
True
Let m be (-34)/12*40*-204. Suppose -28891 = -5*q + 4*v, 2*q - 6*q - 4*v + m = 0. Is q a composite number?
False
Let h = 117672 - 82258. Is h composite?
True
Let o(i) be the second derivative of -2*i**3/3 + 4*i**2 + i. Let y be o(-9). Suppose -95 = -f + y. Is f a prime number?
True
Let z be (781/(-154) - 6/14)*-10. Suppose d - z = 3*q + 1, -235 = -4*d + q. Is d composite?
False
Suppose -15984*a + 217578 = -15978*a. Is a composite?
False
Let f = -18 - -59. Suppose 0 = -2*h + f + 147. Let s = h + -57. Is s prime?
True
Let v(l) = 71*l**2 + l + 4. Let j be v(-3). Suppose -4*g - j = -44. Let x = g - -228. Is x prime?
True
Let q = 131544 - 54227. Is q composite?
False
Suppose 5*i = c - 567, -2*c - 3*i = -c - 575. Suppose 3*l - 17 + c = 0. Let b = l - -274. Is b composite?
False
Let w(g) be the second derivative of g**5/10 - g**4/2 - g**3/6 - 3*g**2 - 11*g. Is w(5) a composite number?
False
Suppose 3*s + 2*u + 8 = 0, -s - 5*u - 1 = 6. Let i(d) = -112*d**3 + d**2 + 6*d + 1. Is i(s) composite?
True
Suppose 8 = 5*c - 3*c. Suppose -47 = 5*n - 197. Let g = n + c. Is g a prime number?
False
Let b(q) be the second derivative of -q**5/60 + 11*q**4/24 - 3*q**3/2 - q**2 + 5*q. Let t(s) be the first derivative of b(s). Is t(8) a composite number?
True
Let s(w) = w + 1. Suppose -5 = -i - 1. Let p be s(i). Suppose 0 = -p*g + 4*g + 65. Is g composite?
True
Let n be (-2)/((0 - -2)/1). Let j be 0/(2 - 1/n). Suppose -4*c - 605 + 4017 = j. Is c a prime number?
True
Let n(v) = v**2 + 2*v + 49. Is n(16) a composite number?
False
Let a be 1/3 - (-6)/(-18). Suppose a*g - 9 = 4*g - 3*q, 4*g - 5*q + 15 = 0. Suppose -641 = -3*s - w - w, g = s + w - 212. Is s composite?
True
Let p be 2 + (-24)/4 + 10. Let h(a) = 8*a**2 + 3*a + 3. Is h(p) composite?
True
Let a(l) be the second derivative of -1/2*l**3 + 0 + 9*l + 185/2*l**2. Is a(0) a composite number?
True
Is (-72)/(-18) + 136 + 1 a prime number?
False
Let n(c) = 16*c**2 - 2*c - 9. Let t(s) = s**3 + 5*s**2 - 7*s - 1. Let x be t(-6). Is n(x) a prime number?
False
Suppose -2 = 14*l - 15*l. Suppose 0 = 3*c + l*j - 577 - 624, -3*c + 1204 = -j. Is c a composite number?
False
Suppose 0 = 5*g - 10, 0 = 2*k - 0*g + 3*g - 6. Suppose -5*p + p = k. Suppose -1676 = -4*o + o + 5*a, 5*a + 5 = p. Is o prime?
True
Let f(r) be the first derivative of 1/3*r**3 + 19*r**4 + 0*r - 5 + 0*r**2. Is f(1) a prime number?
False
Suppose o + 2*o - 15 = 0. Suppose -10*f + 8*f = -4*z - 2, -5*z + f = -5. Suppose -o*h = -z*i + 497, 0*i + 1001 = 4*i - 3*h. Is i a composite number?
False
Is (-132)/(-220) - 12172/(-5) composite?
True
Suppose 2*n + 9 = 5*n. Suppose -x + l + 30 = 0, -n*x + 94 = 4*l - 3*l. Is x composite?
False
Let x(j) = -j**3 - 5*j**2 - 2. Let q be x(-7). Let c be 511/(-9) - (-18)/(-81). Let a = q + c. Is a a composite number?
True
Let q = 2316 + -1454. Is q prime?
False
Let v(n) = -n**3 + 11*n**2 + 11*n + 14. Suppose -3*u + 42 = 3*o, 0*u = 4*u - 8. Let g be v(o). Suppose -3*m + 2*f = -175, 3*m + 6*f - 181 = g*f. Is m prime?
True
Suppose 5*t - 1132 - 1758 = -5*d, 5*d = -3*t + 2880. Is d a prime number?
False
Let n(u) = -u**2 - u + 1. Let l(k) = k**3 + 23*k**2 + 2*k + 3. Let y(r) = l(r) + 6*n(r). Is y(-17) composite?
True
Let d = -4561 - -25808. Is d a prime number?
True
Let x(i) be the first derivative of 199*i**2/2 - 19*i - 5. Let z be x(-8). Is 2*(2 - z/6) composite?
False
Suppose 3*p - 4 = -1. Let t be 23*(1 - -1) - p. Suppose 2*f = 3*z - 31, 4*z - t = f - 7. Is z composite?
True
Suppose -4*z + 166 = -454. Let j = z - -36. Is j composite?
False
Let o(l) = 18*l + 9 - 8 + 6*l**2 - 6*l. Is o(-12) a prime number?
False
Suppose 2*g - 3*g + 6 = 0. Let i = 2 - g. Let w = 11 - i. Is w a prime number?
False
Let g(a) = -1492*a + 9. Is g(-1) a composite number?
True
Let v be 18 + -188 + 1*-3. Suppose 0 = -3*d - 2*d - 230. Let s = d - v. Is s a prime number?
True
Suppose 2*g + 5*r = 2*r + 486, 4*g + 3*r = 960. Suppose 7*b - 10*b + g = 0. Is b a composite number?
False
Suppose 5*t - 12545 = 3950. Is t prime?
True
Let n(z) = -2*z**3 - 10*z**2 - z - 5. Let b be n(-5). Suppose b = 4*k + 5*m - 297 + 36, -5*k + 3*m + 354 = 0. Is k composite?
True
Is (4/(-22) - (-1140)/220) + 12936 a prime number?
True
Suppose -5*p = -7*p + 874. Is (-2 - p/3)*-3 a composite number?
False
Is ((-1)/2)/(1/(-18118)) composite?
False
Is 111*(-547)/(-4) - 47/188 composite?
True
Suppose 0 = -5*z + 2*g + 91, 0 = -z - 3*g - 7 + 15. Suppose -978 = 14*n - z*n. Is n a composite number?
True
Let n(d) = 924*d**2 - 19*d + 10. Is n(3) a composite number?
False
Let p(d) = 1169*d - 1. Let z be p(1). Let q(c) = -11*c**2 + 12*c + 12. Let a be q(9). Let v = a + z. Is v composite?
False
Let p be (0 - -1)/(-1)*7. Let i(d) be the third derivative of 3*d**5/20 - d**4/8 - 13*d**3/6 + 166*d**2. Is i(p) prime?
True
Let k = -575 - -995. Let t = k + 281. Is t prime?
True
Let p(u) be the second derivative of -11*u**3 + 5*u**2/2 - u. Let l be -3*(-5 + 4) + -6. Is p(l) a composite number?
True
Suppose 3*b + 2*s = 1247, b - s = -0*b + 424. Is ((-4)/4)/((-1)/b) a prime number?
True
Let g be (-4)/(-8) - (-2)/4. Suppose 2*b + g - 9 = 0. Suppose b = -u + 15. Is u a prime number?
True
Let w(r) = -63*r**3 + 3*r**2 - 2*r + 2. Let v be (6/21)/(2/14). Let t be w(v). Is 5/2*(-16 - t) a prime number?
False
Let r(w) = 17*w + w - 10 + 10*w**2 - 7*w. Is r(-11) prime?
False
Let t(q) = -577*q**3 + 2*q**2 + q. Let k be 