*t + 5*k = -i, t = -t + k + 612. Is t a composite number?
False
Let m = 77 - 85. Let d(x) be the third derivative of -13*x**4/24 + 5*x**3/6 - 2*x**2. Is d(m) composite?
False
Suppose 84*l = 23*l + 1081042. Is l a prime number?
False
Let w be (84/(-18))/(4/(-258)). Let l = w + -174. Is l composite?
False
Let d be 2 - (-1525)/(((-12)/(-21))/4). Suppose -611 = 2*i - d. Is i prime?
False
Let i(o) = 7*o**2 + 79*o + 17. Is i(15) a composite number?
False
Is 2 + -7 + (2 - (1 - 2337)) a prime number?
True
Suppose -5*t - b = -187739, -t + b = -2*b - 37535. Is t a prime number?
True
Let j(o) = 2*o**3 + 6*o**2 - o + 5. Let b be j(13). Suppose -14*v = -30362 + b. Is v a composite number?
False
Let b(h) = -h**2 + 2*h - 7. Let i(c) = -c. Let l(g) = -b(g) + 5*i(g). Is l(8) composite?
True
Let i = 573 + 3768. Is i a prime number?
False
Let p(k) be the second derivative of 23*k**6/360 + k**5/30 + 5*k**4/24 - 7*k**3/6 - 5*k. Let v(h) be the second derivative of p(h). Is v(-2) a prime number?
True
Let d(i) = -3*i + 4. Suppose 2*y = 16 + 6. Let h be (-31)/5 - y/(-55). Is d(h) a composite number?
True
Let y be 0/(1 + 3) - -976. Let s = y - 569. Is s prime?
False
Let h(o) = 4*o - 13. Let u be h(3). Is u/((10 - 7) + (-29168)/9722) prime?
True
Let w = -5 - -2. Let b be 48/((-10)/4 - w). Is -1 + 3 + -1 + b prime?
True
Let p(b) = 12*b**2 - 69*b - 24. Is p(11) composite?
True
Let f be 1 + (0/3 - 2). Let b(v) = -61*v - 2. Is b(f) a prime number?
True
Suppose 612 = 4*x + 4*u, -20 = 2*u + 3*u. Is x prime?
True
Let u(k) = 2*k + 17*k**2 - 56*k**2 - 95*k**2 + 8*k**2. Let v be u(-2). Let x = v - -1767. Is x prime?
True
Let p = -5855 + 12462. Is p prime?
True
Suppose 3*p - 5*d - 112 = 0, -4*p + 6*d - d + 151 = 0. Let k = p + 14. Is k a composite number?
False
Suppose 50*q - 427926 = 5224. Is q composite?
False
Suppose -71788 + 9780 = -8*i. Is i a composite number?
True
Let b = 0 - 0. Suppose -2*m + m + 49 = b. Suppose 0 = -4*j - k + 55, -k + m = 4*j - 2*k. Is j composite?
False
Suppose s = 5*q - 3 - 13, 0 = q - 3. Let v be 1/s - (-605 - 8). Let u = 1261 - v. Is u a prime number?
False
Let l = 277 + 3564. Is l composite?
True
Suppose 2*p = -f - 25, 2*p + 3*f = 3 - 22. Let o = p + 18. Suppose y + 37 = 2*y + o*b, y - 64 = 5*b. Is y a composite number?
True
Suppose -33 = -3*w - 0. Suppose -w = 4*o - 2*j + 7*j, -4*o - j + 1 = 0. Is (-1)/o*(-443 - 0) a prime number?
True
Let p(w) = -w**3 + 3*w**2 + 10*w + 2. Let c be p(5). Suppose 281 - 1039 = -c*u. Is u a prime number?
True
Let b = 20 - 16. Suppose 0*o - o = -3*m + 606, -824 = -4*m - b*o. Is m prime?
False
Let u = -762 + 23615. Is u a composite number?
False
Suppose -7*a + 780 = -4*a - j, a + 4*j - 260 = 0. Suppose 5*q = -g + 791, -2*g = 4*q + a - 1818. Is g a composite number?
True
Suppose 1617*q - 1629*q = -99012. Is q prime?
False
Suppose -j - 8 = -71. Is j*4/1 - -1 composite?
True
Suppose 18575 = -5*w - 3*c, 3*w + 11164 = 3*c - c. Let m = w + 5375. Is m a composite number?
False
Let b be 8 + (2 - 2) + 3. Suppose 6*q - 1 = b. Is (-940)/(-40) - q/4 composite?
False
Let g(s) = -14*s**3 - 6*s**2 - 23*s - 13. Is g(-4) composite?
True
Let p = -15 - -18. Suppose 0*k = p*y - 2*k - 30, -20 = -2*y + k. Is y/(-65) + (-6129)/(-39) prime?
True
Let b(m) = m - 10. Let r = 35 + -27. Let t be b(r). Is (t + 4)*(-157)/(-2) a prime number?
True
Suppose -2*g + 2 = 0, 3*s - g - 19 = -2*s. Suppose 0 = -4*z + 6*z - s. Suppose 3*a = r - 649, -z*r - r + 1927 = -5*a. Is r composite?
True
Let z(b) = 2*b**3 - b**2 + 5*b. Suppose 0 = -4*p - 3*n + 4, 0*n - 20 = 5*n. Let j be z(p). Suppose -j = -r - 19. Is r composite?
False
Suppose 0 = -3*q - 10 + 55. Suppose -5*w + q = -0*w, -3*w = -3*a + 852. Is a prime?
False
Suppose 711 - 135 = 4*q. Let l be (-1272)/15 + ((-8)/(-20))/(-2). Let u = l + q. Is u composite?
False
Suppose -t + 73462 = 5*h, 2*t = -85*h + 84*h + 14687. Is h composite?
True
Let s(t) = -62*t + 3. Suppose 8*v - 4*v = 8. Suppose -v*m - 8 = 2*m. Is s(m) composite?
False
Let w(n) = -n**3 - 2*n**2 - n. Let y be w(-1). Let g be (-1 + y)*0/3. Suppose -s + 3*s = 4*h - 364, 2*s = g. Is h composite?
True
Suppose -3*d + 5*d = -4*i - 210, -4*d = -5*i + 420. Let o = d - -370. Is o a composite number?
True
Let c = 7897 + -3686. Is c composite?
False
Suppose 3*h + 0*h - 90 = 0. Is (1464/36)/(4/h) composite?
True
Let h(z) = 7*z**3 - z**2 + z. Let l be h(1). Let d = 10 - l. Suppose 0 = 4*g + 2*w - 0*w - 216, d*g = -w + 161. Is g composite?
False
Suppose 42*y = 35*y + 6139. Is y a prime number?
True
Let i = -315 + 712. Is i prime?
True
Let j(g) = g**2 + 2*g + 5. Let t be j(-4). Let h = 11 - t. Is 8*21 - (-1 - h) a composite number?
False
Let s(c) = 87*c**2 - 9*c - 6. Let a be s(-6). Let u be 2/6*(3 + a). Suppose -u - 413 = -2*x. Is x a composite number?
True
Let m = -8 + -2. Is (-7)/((-35)/m)*(-818)/4 prime?
True
Is 342/(-76) - (-140169)/6 a composite number?
False
Let p(k) = 20*k**2 - 6*k - 11. Let d(a) = -41*a**2 + 13*a + 21. Let x(t) = 2*d(t) + 5*p(t). Is x(-4) a composite number?
True
Suppose -2*c + p + 2*p = -9788, 4*c + 3*p = 19594. Is c a composite number?
True
Let t = 89 + -89. Suppose 5*v - 2*b - 11643 = t, 0*b = -4*v + 2*b + 9314. Is v a composite number?
True
Suppose -24*v - 74*v = -3725666. Is v composite?
True
Suppose 2*y - 3 - 9 = 0. Is 3258/27 + 2/y composite?
True
Suppose -4*u = 2*k - 26698, -4*u + 3*k + 26686 = k. Is u a composite number?
False
Is -5*7894/(-30) - (-14)/(-21) a prime number?
False
Let q(b) = 206*b**3 + 2*b**2 - 4*b + 3. Let f be q(2). Let o = f + 336. Is o a composite number?
False
Let w(d) = d**2 + 2*d - 1. Let o be w(-2). Let v be 1*o + (0 - -4). Suppose -5*s - v*h = -285, -2*s - 4*h - 114 = -4*s. Is s composite?
True
Let d = 3295 - -906. Is d a prime number?
True
Suppose 4266 = z - 2*a, -11221 - 1541 = -3*z - 3*a. Is z a prime number?
False
Let z = -47 - -55. Suppose -z*x = -10137 - 35983. Is x prime?
False
Suppose -6691 = -3*v - 322. Let u = v - 1444. Is u a composite number?
True
Suppose 2*r - 78 = -r. Let w = -38 + r. Is (-1)/((w/537)/4) prime?
True
Let g = 35513 - 17844. Is g prime?
True
Let c be 119 + 1 + (-6)/(-3). Let n(g) = -g**2 + 13*g - 19. Let l be n(11). Suppose -l*f = -2*f - c. Is f a composite number?
True
Suppose -2*s + 9197 = 2359. Is s prime?
False
Suppose -y - 6 = -0*y - 3*p, p = -2*y - 5. Is (y + 4)*(66 + 1) composite?
False
Let k be (-286)/(-4) + 1/2. Let a = -331 - k. Is a/(-26)*2*1 composite?
False
Let i(r) = 5*r - 45. Let k be i(9). Suppose 4*a - 177 - 35 = k. Is a a prime number?
True
Let b be 494/182 + 2/7. Suppose -b*s + 8*s - 1115 = 0. Is s composite?
False
Let v = 3691 + -1488. Is v prime?
True
Is 47998/7 + 2*(-5)/(-70) composite?
False
Suppose 275*v - 69 = 274*v. Is v a composite number?
True
Suppose s + 11016 = 4*s + 3*i, 0 = -3*s - 5*i + 11018. Is s prime?
True
Suppose -30912 = -3*z + 3*b, 3*b - 41195 = 3*z - 7*z. Is z a prime number?
True
Let v be 2/(-7) - (-297)/(-63). Is (2 + v - -1) + (0 - -357) a prime number?
False
Suppose 1534 = -30*j + 32*j. Is j a composite number?
True
Suppose 148821 - 36863 = 14*h. Is h a composite number?
True
Let p(h) be the first derivative of 15/2*h**2 + 1/3*h**3 - 9 + 15*h. Is p(-16) prime?
True
Suppose -3*v + 35040 = 3*j, 92*v - 94*v = 3*j - 35037. Is j prime?
True
Suppose 3*p + 753 = r, -2283 = -r - 2*r - 3*p. Suppose -14*y = -17*y + r. Is y composite?
True
Let r(t) = 18*t**2 + 3*t - 16. Suppose 4*n + 16 = -4. Is r(n) prime?
True
Let s = 93 - -33. Let r be 1/((-3)/s) - 3. Let n = -19 - r. Is n prime?
False
Let x(w) = 14*w**2 - 4 - 5 - 4*w**2 - 10*w. Is x(5) a composite number?
False
Let h(i) = -i**3 + i**2 - i + 1. Let n(w) = -47*w**3 + 7*w**2 - 4*w - 1. Let d(y) = 4*h(y) - n(y). Is d(2) composite?
False
Let j(u) = u**2 - 9*u + 18. Let c be j(7). Let a be -1 - -3*c/4. Suppose -a*h = -4*h + 4*m + 170, 5*m + 331 = 4*h. Is h composite?
False
Let p(k) = 10*k**2 - 19*k - 22. Is p(15) composite?
True
Let u(t) = 20143*t**3 - 6*t**2 + 5*t + 1. Is u(1) a prime number?
True
Let k = 22460 + -12891. Is k composite?
True
Let v(y) = -y**3 - 4*y**2 + 3*y - 7. Let w be v(-5). Suppose -w*a + h + 2*h = 21, 5*a + h + 41 = 0. Let r = -5 - a. Is r a composite number?
False
Is 149 + 135872 - (17 + -1)/2 a prime number?
True
Let a = -10 + 6. Let c(v) = -v**3 - 3*v**2 + 3*v - 1. Let 