 = -2*n**2 - 15*n - 12. Let q(v) = 4*v**2 + 30*v + 24. Let x(z) = 7*i(z) + 4*q(z). Is x(-15) a prime number?
False
Let x = -1 - -3. Let b be (-41)/((-2)/x) + -3. Suppose 3*p + 3*f - b = 31, -5*p + f = -127. Is p a composite number?
True
Suppose -2*i = -u - 9818, 0*i = 4*i - u - 19636. Is i composite?
False
Suppose -7*t + 4*t = -2073. Is t a prime number?
True
Let r(y) = 91*y + 5. Is r(6) a composite number?
True
Let g(y) = -y**3 - 7*y**2 + 8*y + 4. Let l be g(-8). Suppose q - 370 = -l*q. Is q prime?
False
Suppose 3*p - 134 = 787. Is p prime?
True
Let c be (-6)/2 + 9 + -6. Suppose -k - k + 14 = c. Is k prime?
True
Let h(w) = 5*w - 3. Let y(g) = -g**2 - 11*g - 8. Let b be y(-10). Is h(b) composite?
False
Suppose 15 = 3*b, -3*x + b - 6*b = -166. Is x a prime number?
True
Suppose -3*f + 19 = o + 4, 5*f + 3*o = 25. Suppose -3*u + f*k = -167, 5*u = -k - 4*k + 305. Is u composite?
False
Let s(l) = 26*l**3 + 3*l**2 - 3*l - 3. Let i(c) = 2599*c**3 + 299*c**2 - 299*c - 299. Let d(x) = 6*i(x) - 598*s(x). Is d(1) composite?
True
Let w(v) = -v - 2. Let f be w(-3). Let g(j) be the third derivative of 89*j**5/60 - 2*j**2. Is g(f) composite?
False
Let c = -56 + 91. Is 1075/c + 4/14 a composite number?
False
Suppose -2*y - 518 + 138 = 0. Let g = y - -107. Let r = 126 + g. Is r prime?
True
Suppose 15 - 95 = 5*k. Is (-2 - k/4) + 1 a composite number?
False
Let z(c) = 22*c**2 + c. Let x be z(-1). Suppose 0*k - 5*k - x = 3*y, -35 = 5*y + 4*k. Let f = 11 + y. Is f a composite number?
True
Let l(t) = -23*t + 38. Is l(-7) prime?
True
Let a = -6 - -8. Let v(b) = -4*b**a - 2*b**3 + 6*b + b**3 + 5 - 2*b**2. Is v(-8) prime?
False
Let n(a) = 2*a**2 + a**2 + 6*a**2 + 3 - a + 3*a**2. Is n(4) prime?
True
Let p be -4 - -10 - (-2 - -5). Let i(u) = -5*u**p - 8 + 7 + u**2 + u**2. Is i(-2) composite?
False
Let c be (2/(-4) - -1)*-10. Let k = 3 + c. Is 32 + (-1 - k)/1 a composite number?
True
Let s be (-2)/((-21)/24 + 1). Let o = s + 8. Is (-1)/2 + (-204)/o a composite number?
True
Let b(w) = -w - 2. Let j be b(-2). Suppose 0 = 4*z + l + 11, 2*l + j*l + 6 = -4*z. Is (-1 - z*4) + 0 composite?
True
Let y(g) = 37*g**2 + g + 1. Let a be (-7)/3 - (-8)/24. Let h(n) = -n**3 - n**2 + 4*n + 3. Let t be h(a). Is y(t) prime?
True
Let j(g) be the third derivative of g**6/120 + 2*g**3/3 - 2*g**2. Is j(3) a composite number?
False
Let g = -11 + 8. Let z = 5 + g. Suppose z*i - 220 = -2*i. Is i composite?
True
Suppose 3*m - 5*l = 38, 0*l - l = -m + 10. Suppose 4*u + 5*c = 109, 3*c = 5*u - m*u + 29. Is u prime?
False
Let o = 783 + -552. Let c = o - 153. Suppose -g + c + 49 = 0. Is g composite?
False
Let u(n) be the second derivative of 29*n**8/2240 - n**6/720 + n**5/120 + n**4/3 - 3*n. Let b(p) be the third derivative of u(p). Is b(1) a composite number?
True
Let t(g) = 2*g**2 - 2*g - 1. Let k be t(-1). Suppose -2 - 2 = -2*j, 104 = 2*d - k*j. Is d a composite number?
True
Let j(b) = -b**2 + 4*b - 3. Let v be j(2). Suppose -v = 3*l - 55. Is (-1 - (-4)/2) + l a composite number?
False
Suppose -i - 3 = -j, -4*j - 4 + 12 = -2*i. Let r be (j/(-1))/(2/(-248)). Suppose 0 = -2*o + 2*f + r, 53 = -5*o - f + 345. Is o a composite number?
False
Suppose g + 310 = 3*w - 2835, -4*w = 5*g - 4206. Is w composite?
False
Suppose -p + 237 + 344 = b, -2*p + 5*b = -1176. Is p a prime number?
False
Suppose -5*w + 261 = 2*d, 2*d - 4*d - 4*w + 266 = 0. Suppose 4*j - 3*n - 14 = 12, n - 8 = -2*j. Suppose -j*z + d = 18. Is z a prime number?
False
Suppose 0 = -u - 4*u, 2*c = -5*u + 3274. Is c a prime number?
True
Let f(a) = a**2 - 5*a + 6. Let r be 8/(-1 + (-6)/(-2)). Let l be f(r). Suppose -21 = -v - l. Is v prime?
True
Let j(b) = -b**3 + b**2 + 7*b + 6. Is j(-4) prime?
False
Let y(d) = d**3 + 6*d**2 - 9*d - 8. Let p be y(-7). Let r(g) = 0*g**2 - 2 + 2*g**2 - 8*g + 3. Is r(p) a prime number?
False
Suppose -k - 4*p = -163, 5*k = k - 5*p + 597. Is k prime?
False
Suppose 953 + 568 = 2*y - f, -y + 5*f + 783 = 0. Is y prime?
False
Let j be 6/14 + 5075/49. Let x = j + -57. Is x a prime number?
True
Let y(t) = -45*t - 8. Is y(-7) a composite number?
False
Suppose 383 = h - 67. Let v be -5*1*(-1)/1. Suppose 0 = -5*i + h - v. Is i a prime number?
True
Let b(i) = -5*i + 4*i + 11*i**2 + 4*i - 3 - i + i**3. Is b(-10) composite?
True
Let g(b) = 8*b**2 + 9. Is g(-13) prime?
True
Let z = 5 - -12. Suppose -z = -j + 16. Is j prime?
False
Suppose 4*j - 1333 - 735 = 0. Is j a prime number?
False
Let u be (96/20)/(6/(-20)). Is 1305/2 + (-8)/u a prime number?
True
Let l(b) = -29*b + 13. Is l(-6) a composite number?
True
Suppose -241 - 502 = -p. Is p a composite number?
False
Let c be -324*((-4)/(-2))/(-4). Let b = -85 + c. Is b composite?
True
Let w = -414 + 623. Is w prime?
False
Let j be (-1)/(-2)*(-3980)/(-10). Let o = j - -102. Is o composite?
True
Let x(n) = -174*n**2 + 4. Let y be x(2). Let o = -69 - y. Is o composite?
True
Let j(k) be the second derivative of -k**4/12 - 3*k**3 + 3*k**2/2 - k. Let n(t) = -t + 7. Let h be n(15). Is j(h) a prime number?
True
Suppose 2*v = 3*v - 6. Suppose 3*r = -3*j + 6, -3*j - 4*r + 9 - 2 = 0. Is (2/v)/(j/21) composite?
False
Let k(n) = -91*n - 6. Is k(-5) prime?
True
Let m(d) = -4*d**3 + d**2 - 1. Let o be m(-1). Let r(s) = o - 3 - 3*s + 3*s**3 - 4*s**2 + s**2. Is r(3) a composite number?
True
Suppose 4*v - 2*o - 264 = 0, -330 = -5*v - 3*o - 2*o. Is 1434/22 + (-12)/v prime?
False
Suppose 0*l + 18 = -3*l. Let u(m) = 7*m**2 - 2*m - 5. Is u(l) a composite number?
True
Let q(k) = k**2 + 3*k - 7. Let o be q(-5). Suppose o*t - 5*g = 32, 2*t - 4*g - 1 = 21. Is t a prime number?
False
Let c(k) = 26*k**2 + 9*k + 11. Is c(-8) prime?
False
Suppose 3*w - d + 43 = 0, 0*w + 5*d = 4*w + 50. Let c = -22 - w. Let z(f) = f**2 - 10*f - 6. Is z(c) composite?
False
Let x = 5 + -3. Suppose -4*k + 16 = -2*t, -2*k = -2*t - 6*k + 16. Suppose -x*f = 4*z - 98, -29 = -z - t*z - 2*f. Is z a composite number?
False
Let n = 195 + 362. Is n a composite number?
False
Suppose 0 = -2*a - a - 3*m - 75, 2*m - 2 = 0. Is (-3 - 0)*a/3 prime?
False
Let o = 205 - -904. Is o a prime number?
True
Is -2*23*(5 - (-92)/(-8)) composite?
True
Let y = 51 - -1142. Is y a prime number?
True
Suppose 6*w = 9487 + 1619. Is w a prime number?
False
Suppose -3*d = -0*d - 5*f - 3831, 5*d - f = 6385. Is d prime?
True
Let u(d) = -7*d - 9. Let p(n) = n**3 + 7*n**2 + 5*n - 1. Let m be p(-6). Let h = -13 + m. Is u(h) prime?
True
Suppose -2*i + 3*i + 4 = 0. Let r(a) = 6*a - 7. Let p(q) = 18*q - 21. Let s(b) = i*p(b) + 11*r(b). Is s(-5) a composite number?
False
Suppose -4*m - 2*g = -740, 4*m + 5*g = 409 + 331. Suppose 4*y - m = 3*y. Is y prime?
False
Suppose f + 2*a + 57 = 408, -704 = -2*f - 5*a. Is f composite?
False
Suppose 3*v = -0*v + 69. Suppose -2*y + v = -111. Is y a composite number?
False
Let b(s) = -3*s**3 - 4*s**2 - s + 2. Is b(-4) a prime number?
False
Suppose -m = 2*b + 32, 2*m + b + 64 = 6*b. Let t be 3/(-2)*m/12. Is (22/t)/((-2)/(-8)) composite?
True
Let y(p) = p**2 - p + 284. Let n be y(0). Let u = -332 - -163. Let s = n + u. Is s a prime number?
False
Is -1*((-8)/(-44) - (-730)/(-22)) prime?
False
Suppose 0 = 4*j - 0*j + 5*z + 288, 2*j - 4*z + 144 = 0. Let n(o) = -120*o**2 - 2*o - 1. Let d be n(-1). Let p = j - d. Is p a prime number?
True
Suppose 4*o - o = 9. Suppose o*t - 284 = -t. Is t prime?
True
Let x(s) = -s**3 - 9*s + 3*s**2 + s**3 + 3 + s**3 - 2. Is x(6) composite?
False
Suppose 0 = 3*d - 25 + 16. Suppose r = -d*r + 860. Is r a composite number?
True
Suppose 4*v + 3 = 11. Suppose 0*d + v = -d. Is (1 + 0)/d*-98 a prime number?
False
Let x = 162 - -1037. Is x a prime number?
False
Let i = -7 - 1. Is (-1298)/i - 30/(-40) composite?
False
Suppose j - 492 = -85. Is j composite?
True
Let f = 343 - 240. Suppose -2*j - 2*v + 64 = 12, 5*j - 4*v = f. Is j a prime number?
True
Suppose 5*p = i - 2*i + 2815, -1126 = -2*p - i. Is p composite?
False
Let u(p) = p**3 + 7*p**2 + 6*p + 3. Let f be u(-6). Suppose -f*q = 0, -2*s + q = -74 - 32. Is s prime?
True
Let f(c) be the second derivative of -11/2*c**2 - 1/20*c**5 - 13/6*c**3 - 2*c + 0 - 5/6*c**4. Is f(-10) a composite number?
True
Let y(z) = 3 + 6 - 11*z - 2 + 6 - z**2. Is y(-11) a composite number?
False
Suppose -4 = -2*w + 10. Let n be (-260)/(-28) - 2/w. Let b = n + -6. Is b a composite number?
False
