= h**3 + 5*h**2 + 2*h + 3. Let c be k(-4). Let d(v) = -2 - 7*v**2 + 3 + v**3 - 3*v**2 - v + 10. Is d(c) prime?
False
Let u(m) = m**3 - 5*m**2 - 2*m + 13. Let g be u(5). Suppose 0 = -d + 3*z + 15, -3*d + 8*d - 2*z - 10 = 0. Suppose -g*f + 73 + 350 = d. Is f a composite number?
True
Let g(c) = -c**3 + 28*c**2 + c - 7. Let z be g(0). Let x(v) = 9*v - 1 + 9 + 3*v**2 + v**2. Is x(z) a composite number?
True
Let m be -3*22645/(-45) - (-6)/(-9). Suppose 0 = -a + 2*n + m, 2*n + 7553 = 3*a + 2*a. Is a prime?
True
Let p be (-35)/10*769*2. Let t = 3828 + p. Let v = -302 - t. Is v composite?
True
Let x(s) = 62*s + 3953 - 61*s - 2*s**2 + s**2. Is x(0) prime?
False
Let h = -1569 - -60743. Is h a composite number?
True
Let a(h) = -6*h + 306*h**2 - 3 + 1057*h**2 + 6*h - h. Is a(-1) a prime number?
True
Let i be ((-733752)/(-15))/(-4) + 1/5. Let v = 17540 + i. Is v a prime number?
False
Suppose -4*q - 4*q + 64 = 0. Is 2*(-6252)/q*(-1)/3 a composite number?
False
Suppose 25*f - 1238601 = -48374 + 1731448. Is f a composite number?
False
Let m(y) = 50526*y**2 + 78*y - 247. Is m(3) composite?
False
Is 4/(-20) + 1 - ((-4038016)/5 - 3) a prime number?
True
Let o = -1346 - -1955. Let c = -418 + o. Is c prime?
True
Let u(i) = 11936*i**3 + 6*i**2 - 5*i + 8. Is u(3) a prime number?
True
Let n be (-1)/3*9/12*-20. Suppose -3*l + n*x + 15901 = -760, 4*x + 22220 = 4*l. Is l a prime number?
True
Suppose 37*a - 38*a - 2*b = -28549, -4*a + 3*b = -114251. Is a a composite number?
False
Let a = -52824 - -105311. Is a prime?
False
Suppose -258 = 6*j - 0*j. Let r = j - -48. Suppose -5*q - 3220 = -r*z, -z + 3*q + 3226 = 4*z. Is z a prime number?
True
Let b(y) be the second derivative of -y**5/60 + y**4/12 + 449*y**3/6 - 11*y**2/2 + y. Let w(i) be the first derivative of b(i). Is w(0) a prime number?
True
Suppose 4252 = 2*a - 8*k, 0 = 3*a - 2*k + 2160 - 8478. Is a composite?
True
Suppose -h = 3*l - 7*l + 108360, -l = -3*h - 27079. Is l a prime number?
True
Let r(u) = 7*u**3 + 4*u**2 + 7*u - 1. Suppose 20 = 32*p - 28*p. Is r(p) prime?
True
Let i = -622 - -625. Suppose -4*a - 12865 = -2*m - m, -i*m - 5*a = -12883. Is m prime?
False
Let i be 300924/9*(3 - 10/4). Suppose 4*l - i = -3834. Is l a prime number?
True
Let p = -162004 + 265301. Is p prime?
False
Is 444413/5 + 48/(-360)*-3 a composite number?
False
Suppose -s - 4*q = s - 16, -5*s = q - 13. Let z be 84*32 + (3 - 8) + s. Suppose -f + 6*f = z. Is f prime?
False
Let b(s) be the first derivative of -15*s**2/2 + 8*s - 7. Let g be b(-5). Suppose 2153 = 84*y - g*y. Is y a prime number?
True
Suppose 6*q + 399806 = -116470 + 5609154. Is q composite?
True
Let x(b) = -39*b**3 - 284*b**2 - 68*b - 140. Is x(-27) a composite number?
False
Let d be (1056 + -4)/(0 + 2). Let r(f) = -4*f**3 + 5*f**2 + 2*f - 4. Let a be r(2). Is (d/(-4))/(2/a) a prime number?
False
Let p = 1278 - 492. Suppose -5*d + p = -3*d. Suppose -8*j = -7*j - d. Is j composite?
True
Let m = 569018 + -103353. Is m a prime number?
False
Suppose 76*o - 79*o + 30237 = 0. Let w = o + -3480. Is w prime?
True
Suppose 17*p - 172*p + 38904693 = 64*p. Is p prime?
True
Suppose -32*w = -30*w - 8. Suppose w*z + x - 3 = 3*z, 2*z - x = -3. Suppose -2*r + 3*c + 4360 = z, -13*r + 9*r + 4*c + 8712 = 0. Is r a prime number?
False
Let s be -1 - (6/24)/((-2)/8). Suppose -3*d - 15 = s, j + 4*j - 10385 = -4*d. Is j composite?
False
Suppose -5*p + 14 = -6. Let r be (p + -3)*(102 - 10/5). Let d = r + 1126. Is d a composite number?
True
Suppose 4*n + 3399 = -5*i, 4*i + i = -5*n - 4250. Let h = 770 - n. Is h prime?
True
Let j = -579 + 582. Suppose -j*w + 20878 = 6745. Is w a prime number?
False
Suppose n - 5*c + 1793 = 3*n, 0 = 5*n - 2*c - 4468. Suppose 31*t - 2426 + 10022 = -5*t. Let i = t + n. Is i a prime number?
True
Let c(d) = 60*d**2 + 36*d - 61. Let h be 45/2 + 17/(-34). Is c(h) composite?
True
Let c(u) = -u**3 + 18*u**2 + 18*u + 22. Let y be c(19). Suppose -3*f - 3*p + 288 = 0, 3*f - 116 - 142 = y*p. Suppose -h + 207 = -f. Is h composite?
True
Suppose 12*i + 326256 = 33*i. Suppose -i - 14059 = -5*v. Is v a composite number?
True
Let z = 4729374 - 3153903. Is z a prime number?
False
Let b(c) be the third derivative of c**5/30 + c**4/2 + 5*c**3/6 - 3*c**2. Let x be b(6). Suppose 0 = -0*m - m + x. Is m a composite number?
False
Let c(q) = q**2 + 4*q + 56. Let u = -26 + 27. Suppose -f + 1 = -u, -f + 78 = 4*y. Is c(y) composite?
True
Suppose y - 578 = -y. Let v(u) = 6*u - 102. Let c be v(12). Let l = y + c. Is l a composite number?
True
Suppose 2*o - 130 = 4*u, -2*o + 5*u = 3*u - 138. Suppose 64*v + 98109 = o*v. Is v prime?
False
Is ((-800908)/(-8))/(-3 + (-154)/(-44)) composite?
False
Suppose 90378 + 805598 = 23*u - 510083. Is u a prime number?
False
Let i(v) = 183*v - 178. Let y(s) = 182*s - 176. Let q(z) = -3*i(z) + 4*y(z). Is q(23) a composite number?
False
Let x = -914345 - -2227452. Is x prime?
False
Let o(f) = -5*f**2 + 46*f - 26. Let s(z) = -z**2 - 1. Let t(j) = o(j) - 3*s(j). Suppose -4*b + 59 = -17. Is t(b) a composite number?
True
Suppose z - 10 - 3 = -4*q, 4*q = 4*z + 48. Is z + 1256 + (-3 + 0 - -3) a prime number?
True
Suppose -16*q + 17*q + 8*m - 6387969 = 0, -5*m = -2*q + 12775959. Is q composite?
False
Is (-21)/525*-25*(1 + 169552) a composite number?
False
Let r(l) = 33 + 31*l**2 - 21*l**2 - 68 + 4*l. Is r(-16) a prime number?
False
Let x(q) = q**2 - 5*q + 22. Let p be x(0). Let y(v) = 33*v**2 + 6*v + 59. Is y(p) prime?
False
Suppose 5*d + 23*s - 600820 = 26*s, -3*d + 360521 = 4*s. Is d prime?
True
Suppose -2*h + 0*t - 18 = 2*t, 0 = -4*h - 3*t - 31. Is (5 - (-118276)/6) + h/6 composite?
False
Let x = 62697 - 13306. Is x prime?
True
Let y = -50 - -49. Let l be y/(-3) - 14/42. Suppose l = 4*k - 7*k + 1401. Is k prime?
True
Suppose 6*h + 21 = 7*h. Is 28105/h + (-8)/6 composite?
True
Let h be (-9 + -2 + 10)/(1/2). Let f(r) = 840*r**2 + 4*r + 1. Is f(h) a composite number?
True
Let p = 37661 + 77760. Is p a prime number?
True
Let f(l) be the second derivative of -17*l**5/20 - l**4/3 + 2*l**3 + 3*l**2 - 32*l - 4. Is f(-7) a composite number?
False
Let f(i) = 7464*i - 203. Is f(8) composite?
False
Let m = 33875 - -19652. Is m a composite number?
False
Suppose 2*y = -5*j + 28567, -4*y = -4*j - 27262 - 29858. Is y prime?
True
Let f = -32 + 99. Let c = 111 - f. Let t = c - -3. Is t prime?
True
Suppose -4749871 + 4705427 = 106*c - 54074658. Is c a prime number?
False
Let k(n) = -1263*n + 3152. Is k(-143) a prime number?
True
Suppose 3*r = -d + 145771, 26*d + 874536 = 32*d + 3*r. Is d a prime number?
True
Suppose 16*u - 111 = -21*u. Suppose -5*p + 6*p - 39218 = -u*z, 4*z - 4*p = 52264. Is z a composite number?
True
Let y(a) = -a - 61. Let q be y(0). Let t = q - -58. Is (-2 + (-510)/(-18))/((-1)/t) a prime number?
True
Let x(n) = n**3 + 6*n**2 + 4*n - 7. Let i be x(-3). Suppose 0 = -i*t + 3*t + 1255. Is t composite?
False
Let m(g) = -15*g**2 + 2*g - 2. Suppose 7*y = 2*y - 20. Let v be m(y). Let n = 411 + v. Is n composite?
True
Let u(h) = -h**3 - 20*h**2 + 41*h - 29. Let z be u(-22). Suppose z*l + 79688 = 45*l. Is l a prime number?
False
Let y(a) = 6*a**2 - 2*a**2 - 5*a**2 + 2*a**2 - 6*a - 19. Let r be y(8). Is (-3 + (-7 - -2365))*(-1)/r a composite number?
True
Let a be 504/140 - (-6)/(-10). Suppose -f + a*h + 9291 = 4*f, -3*f + 5575 = -2*h. Is f prime?
False
Let p be (9 - 10)*1*-2. Let k be (5/2)/(4/8). Is p/k + 33438/30 prime?
False
Let q(i) = -i**2 + 11*i + 12. Let x be q(-1). Let w(r) = r + 2227. Is w(x) composite?
True
Let w(o) = 16*o - 312. Let k be w(25). Is -2 + (-40)/(-22) - (-239552)/k a prime number?
False
Suppose 5*m - 875661 = 4*y - 236880, -5*m = 5*y - 638790. Is m prime?
False
Let n = 269482 + -116255. Suppose 21*b - 183466 - n = 0. Is b composite?
False
Suppose 4907 + 23029 = 4*a. Suppose -9*f + 17*f = a. Suppose -f = 5*k - 4258. Is k a composite number?
False
Let g be 29 + (5 + -4)*-4. Suppose 0*z - 5*z - 27640 = 0. Is g/(-10)*z/20 composite?
False
Let l = 8 - -2. Suppose l*m - 8*m - 2676 = 0. Suppose 3*h = -2*i - h + m, 4*h = -3*i + 2009. Is i prime?
False
Suppose -h + 38 = 36. Let o be (363/6)/((-1)/h). Let l = 342 + o. Is l a composite number?
True
Suppose 14022 = 3*a + 3*y + 186, -a + 4594 = -5*y. Is a a prime number?
False
Suppose 352 = -5*s + 27*s. Suppose s*o - 442