*b**2 + 27*b + 7. Let f be a(-7). Suppose -l*o + 46 + f = 0. Is o a prime number?
False
Let f(o) = 21 + 51 + 2*o**2 - o**2 + o + 62. Let k(z) = -z**3 - 4*z**2 + 4*z - 5. Let d be k(-5). Is f(d) a composite number?
True
Let j(b) = 3*b**3 - 2 + 2*b + b**2 + 3 + 2. Is j(4) prime?
False
Let m = -6122 - -2938. Let c = m + 1877. Let z = c + 2196. Is z a composite number?
True
Suppose 397 = 6*n + 61. Suppose 4*b - 5*j - n = 1617, 4*b = 4*j + 1672. Is b prime?
False
Let x = 30168 + -11031. Is x a prime number?
False
Let o = 3178 + -4464. Let b = 2205 + o. Is b composite?
False
Let m = -16859 - -36148. Is m a prime number?
True
Suppose 6*y = -2*v + 2*y - 300, -3*v + 5*y = 395. Let n be v/10*(-2)/(-4). Let s(g) = g**3 + 11*g**2 + 3*g - 9. Is s(n) composite?
True
Let m(d) = 9*d**3 + 2*d**2 - 1. Let z be m(1). Let b be (z/(-3) + 3)*-15. Suppose 84 = -x + b*x. Is x a prime number?
False
Let t(x) = -9 + 0*x**2 + 5*x + 8*x**2 + 2*x + 7*x**2. Is t(-4) a composite number?
True
Suppose 32*d + 75087 = 505199. Is d prime?
True
Let u(a) = 8*a**3 + 4*a**2 - 2*a + 1. Suppose 3*g - 6 = 3. Is u(g) prime?
False
Suppose 18*f - 138084 = 43662. Is f composite?
True
Is 49330 + (12 - 21) + 10 a composite number?
False
Suppose -6*t + 8*t = 8. Is 3462*t/8 + -4 composite?
True
Let i(t) be the first derivative of 4*t**3/3 + 19*t - 10. Is i(6) a composite number?
False
Let d(l) = -3*l**3 - 8*l**2 - 3*l + 7. Let f be d(-5). Suppose 8 = 2*y + 184. Let h = y + f. Is h composite?
False
Let h(o) = o**2 + 13. Let j be h(0). Let b = 15 - j. Suppose -3*f = 5*l - 528 + 101, -b*l + 737 = 5*f. Is f a prime number?
True
Suppose 2*w + 19 = 3*x, -3*w + 5*w = x - 13. Let p be (2 + 257/(-3))*x. Let r = p - -452. Is r composite?
True
Let g(v) = 6*v**2 - v. Let o be g(1). Suppose 4*p - 178 = -z, 0*z + 341 = 2*z + o*p. Is z a prime number?
False
Suppose -2471 = 5*g + 3*h, 4*g + 1975 = -0*h - 3*h. Let x = g + 759. Is x a prime number?
True
Let g(l) = l**2 - l - 2. Let z be -3*(-1*4 - -3). Let d be g(z). Suppose 0*x + 602 = 2*x + 5*o, -1204 = -4*x - d*o. Is x a prime number?
False
Let v be 12/(-9)*3/2. Let j(d) = -123*d**3 - 2*d**2 - d - 1. Is j(v) composite?
False
Suppose 29*i - 909601 = 243990. Is i a prime number?
True
Let d be (-3 - 1)*9/18. Let w be ((-9)/6)/(1/d). Suppose -w*t + 256 + 29 = 0. Is t composite?
True
Suppose -2352 = -3*y - 3*f, -5*y + 12*f + 3941 = 10*f. Is y composite?
False
Let c(q) be the second derivative of 19*q**5/20 - q**4/6 + 11*q**3/6 + q**2/2 + 4*q. Is c(3) a composite number?
True
Let h be (1/(-3))/((-21)/252). Suppose 0 = h*i - 163 - 2529. Is i a composite number?
False
Suppose 8*s + 3 = 7*s. Let c be (-3)/(-2) - s/6. Suppose -4074 = -4*y - c*y. Is y prime?
False
Let y = 10663 + -344. Is y prime?
False
Let b(z) = -2*z**3 + 2. Let j be b(-2). Let s = j - 12. Is ((-194)/s)/((-1)/6) composite?
True
Suppose 0 = 2*q - 4, 0 = 2*x + 2*q + 1656 - 28814. Is x composite?
False
Let p be (-2)/(-1*6)*6. Let a be (-1 - p)/((-6)/8). Suppose -z = -5*w + 4*z + 180, -w + 21 = a*z. Is w a composite number?
True
Is (8 - 817500/(-44)) + (-12)/22 a composite number?
False
Is (7 + -6)*(2/1 - -9107) a prime number?
True
Suppose -3*q = -2*q - 4*a - 13, -39 = -4*q + 3*a. Suppose -3*v = 0, m - 4*v - 9 = 13. Let u = m - q. Is u a prime number?
True
Suppose 2 = -3*h + 11. Let k be (-3 - (-3 - (-12)/(-2))) + -2. Suppose -4*i + 0*i = -k, 5*i = h*y - 2242. Is y a composite number?
True
Let u be (20/(-9) - -2) + (-228)/(-54). Suppose u*v + 5975 = 5*n - 0*v, v = 0. Is n a composite number?
True
Suppose 2*h + 10506 = 2*p, -4*h = -3*p + 5448 + 10307. Is p a composite number?
True
Let h(q) = 2*q**2 + q - 1. Let v(w) = 2*w**2 - 2*w - 1. Let i be v(2). Let f be h(i). Is 2/4 + 610/f a composite number?
False
Suppose -9887 = -2*n + 5*x, x - 2992 = -4*n + 16727. Is n prime?
True
Let w = 15 + -12. Suppose -5*s + 5*v + 21 + 149 = 0, 2*s = w*v + 66. Is s/(-48) + (-895)/(-4) a prime number?
True
Let k = 56 - 52. Suppose -2*u - 7022 = -k*u. Is u prime?
True
Suppose -3*d = -w + 144, -5*d - 132 = 3*w + 108. Let m = d - -235. Is m a composite number?
True
Let d(g) = -4*g**3 - 4*g**2 + 4*g - 4. Let r be d(3). Suppose 6*v - 25 = 7*v. Let b = v - r. Is b a composite number?
True
Suppose 3*t - v = 203532, -t - 67858 = -2*t + 5*v. Is t a composite number?
False
Let d(i) = 16 + 2*i**2 + 9 - 50 + 14. Is d(14) a composite number?
True
Suppose 0 = -3*b - 0 + 18. Let d(s) = -s**3 + 7*s**2 - 4*s - 7. Let y be d(b). Suppose -y*w + 2*w = -789. Is w prime?
True
Let t(o) = -o**3 - 14*o**2 - 26*o - 62. Is t(-15) a composite number?
True
Let b be 0/(-4)*(-3 - -2). Let w(q) = q**3 - 2*q**2 + 2*q + 677. Is w(b) a prime number?
True
Let o(b) = -2*b**2 + 3*b + 8. Let l = 8 - 4. Let n be o(l). Is 15*(1 - 136/n) composite?
True
Suppose 0 = -34*h + 29*h + 15. Suppose 8*m = h*m + 1985. Is m composite?
False
Suppose 4*u - 544 = j + 3*j, -5*j + 508 = 4*u. Let v = 425 - u. Is v composite?
False
Let r be 5050/(-20) + 2/4. Let f = r + 925. Is f a prime number?
True
Suppose 3*b = -4*o + 19763, 5*b + 4*o = o + 32953. Is b prime?
False
Let z(u) be the second derivative of -269*u**3/2 - 17*u**2 - 29*u. Is z(-7) a composite number?
True
Suppose 3*s + 2*m + m + 156 = 0, -148 = 3*s - m. Let d = -88 - -161. Let l = s + d. Is l a prime number?
True
Is (6/(-8))/((-15)/10)*5722 a composite number?
False
Let c(r) = 363*r**3 - 3*r**2 + 2*r - 1. Let g be c(3). Suppose 7*w = -4*w + g. Is w composite?
True
Suppose 680*o - 687*o + 2723 = 0. Is o composite?
False
Let t(p) = -7972*p + 73. Is t(-9) a composite number?
False
Suppose -4*w = -5*n - 19626, 825 - 5730 = -w + 2*n. Is w prime?
True
Let m(v) = v**3 + 18*v**2 + 17*v + 5. Let f be m(-17). Suppose -5758 = -f*z - o, -4*z - 2*o + 1157 = -3*z. Is z a prime number?
True
Suppose 5*p = -4*v + 12994, -16224 = 3*v - 8*v + 3*p. Is (v/(-9))/((-8)/12) a prime number?
True
Suppose 0 = 8*w - 3*w - 55. Let p = 16 - w. Suppose -p*d + 2*d = -267. Is d prime?
True
Let k be (102/(-2))/(5/(260/(-6))). Let c = k + -233. Is c a prime number?
False
Let u(q) = 5*q**2 + 5*q - 7. Let k be 12/(-15)*50/4. Is u(k) composite?
False
Let r(o) = 9 + 6*o**2 - 8*o + o**3 + 10 + 4. Is r(6) composite?
True
Let f(s) = 174*s**2 + 39*s + 13. Is f(-10) prime?
False
Let f = -68057 + 114456. Is f composite?
False
Suppose 4*i - 5*i - a = 54724, -5*a + 164132 = -3*i. Is i/(-105) - (-6)/(-45) a prime number?
True
Suppose -71 = 5*j - 61, 0 = k + 3*j - 4177. Is k a composite number?
True
Let j = -1 - -420. Let h be (1 + -1)/(-4) + -186. Let v = j + h. Is v a prime number?
True
Let b be (-6)/(2 + 1) + 8. Suppose -u = -m - 2*m - b, -5*m + 1 = 2*u. Suppose 2*i - 1300 = -u*q, -q + 5*q = -2*i + 1302. Is i composite?
False
Suppose -3*k + 8*d + 110166 = 11*d, -d = 4*k - 146885. Is k composite?
False
Let m be (-27 - -3)/(-4) + 1. Suppose 0 = -m*x - 2240 + 5887. Is x a composite number?
False
Let a be 6/(-8) - 22/(-8). Let r(v) = -v + 3. Let o be r(a). Let p(f) = 210*f**2 + 1. Is p(o) a prime number?
True
Suppose 4*d - 4 = 8. Suppose x + 2*x - 1104 = d*p, p = 2*x - 741. Is x a prime number?
True
Let h be (21/6 - 3) + (-20)/(-8). Suppose -h*p = t - 406, -3*t + 9*p = 4*p - 1176. Is t composite?
False
Suppose -3*w + 2*w - 1 = 0. Let x be -1 - -3 - (-2 - w). Suppose 3*j - 2*n = 1038 - 127, x*n + 1213 = 4*j. Is j prime?
True
Let c(b) = b**2 - 6*b - 10. Let j be c(8). Suppose 1685 = -j*r + r. Let s = -170 - r. Is s a composite number?
False
Suppose 2*v = -4*n, -2*v + 6*v = -3*n + 20. Suppose -v*a + 7*a = -2513. Is a a prime number?
False
Is ((-6)/(-12))/(0 + 1/28030) prime?
False
Let s = 40 - 56. Let g(t) = -25*t - 21. Let v(i) = 50*i + 42. Let l(f) = -5*g(f) - 3*v(f). Is l(s) prime?
True
Let t(p) = -187*p - 5. Suppose -9*g = -5*g + 16. Is t(g) a composite number?
False
Suppose -29589 = -3*d - 4*g, 5*g + 39452 = 10*d - 6*d. Is d a prime number?
False
Let x be 1*15 - (-4 - -4)/4. Suppose -x*c + 19*c - 796 = 0. Is c composite?
False
Let l(t) = 11*t**3 - 2*t**2 + t. Let i be l(1). Let v(s) = -13 + 2 - 4*s - i*s. Is v(-5) prime?
True
Let j(d) be the second derivative of 5*d**4/3 + d**3/2 - 45*d**2/2 - 36*d. Is j(8) a prime number?
True
Let b = -1143 + 722. Let h = b - -284. Let w = 192 + h. Is w a composite number?
True
Let a be -6 - -12 - (-1 - -1). Suppose 0 = 2*q - a*