True
Let f(k) = k**3 - 4*k**2 - 13*k + 4. Let j be f(6). Let a(m) = 64*m**2 - m - 1. Is a(j) a composite number?
False
Let l(o) = o**3 + 9*o**2 - 2. Let v be l(-9). Is -16 + 15 - 26*v prime?
False
Suppose -5*m + 0*t + t + 116 = 0, 1 = -t. Let a = -1059 - -1063. Suppose a*j - 69 = m. Is j a composite number?
False
Let u be 1/4*(2 - 2). Let r be (2*3)/(10 + -8). Suppose r*b = -u*b + 237. Is b prime?
True
Let u be 8376/42 - (-6)/(-14). Let z = u - -499. Suppose z = 3*c + 2*v + 39, -5*v + 888 = 4*c. Is c a composite number?
True
Suppose -2*c = -12 + 2. Let g = -2 + c. Suppose 2*y - 102 = -4*a, -g*y - a - a = -137. Is y composite?
False
Suppose 5*f = -5*p + 5, -3*p - f = -3*f - 23. Suppose -p*s + 10*s = 1595. Is s composite?
True
Let w be 242 - (2 + (-1 - 5)). Suppose -349 - w = -5*j. Is j prime?
False
Let y(u) = -u**3 + u**2 - 5*u - 11. Is y(-6) prime?
True
Let o = 30 + -37. Let x(i) = 4*i**2 + 8*i + 5. Is x(o) a composite number?
True
Suppose 3*h - 5*u - 658 = 0, -2*h - 4*u + 148 = -298. Let l = -132 + h. Is l prime?
True
Let s(n) = -n + 2. Suppose -2*v + 6 = 0, -2*v + 2 = -3*y - 19. Let r be s(y). Suppose -3*c + 105 = 2*a, 3*c + r*a - 114 = 2*a. Is c a composite number?
True
Let t = 16701 - 9712. Is t a prime number?
False
Suppose -734 = 4*j - 2370. Is j composite?
False
Suppose 5*a - 3*a + 4*k - 4 = 0, -k - 19 = 3*a. Let z(p) = -6*p**3 - 2*p**2 - 2*p - 19. Is z(a) composite?
True
Is -17 - -5 - -50194 - 3/(-1) prime?
False
Suppose 2*r + 19903 = 2*d - r, 0 = 2*d + 2*r - 19908. Is d a prime number?
False
Suppose 3*n + 213 = 675. Suppose -894 = -8*o - 126. Let y = n - o. Is y a composite number?
True
Let j(k) = -5*k - 3. Let g be j(-2). Suppose y - g*y = -14574. Is y a composite number?
True
Is 1765 - 0*3/(-6) composite?
True
Let x(b) = -3*b**3 - 7*b**2 + 11*b - 20. Is x(-17) prime?
False
Suppose -4*o + 444 = b, 5*b - 333 = -0*o - 3*o. Suppose -v + o = -4*d, 0 = -d - 4*d + 5. Is v composite?
True
Let k(z) = z + 587. Is k(0) prime?
True
Suppose -3*s - 2*t = -0*s - 8, -5*t + 3 = -s. Suppose 679 = -s*g + 6117. Is g composite?
False
Let a be (-5 + (-45)/(-10))*-6. Suppose m + 1761 = a*c + 5*m, m + 2348 = 4*c. Is c a composite number?
False
Let n(a) = 24*a**2 - 5*a - 42. Is n(-13) a prime number?
True
Let v be (5 - 4)/(1/2). Suppose v = 19*d - 18*d. Suppose d*p - 141 = -p. Is p prime?
True
Is 4/((-44)/(-611413)) - 6*-1 a prime number?
True
Let k(w) = -1378*w - 375. Is k(-7) composite?
True
Suppose 4*m - 324 = 4*x, -4*m - 3*x + 182 = -2*m. Let k = -173 - -227. Let b = m - k. Is b a composite number?
False
Suppose -2755 = -4*i - i. Let l = 1382 - i. Is l a composite number?
True
Let f = -1836 - -5269. Is f prime?
True
Let i = -16 - 18. Let d = i + 87. Is d a prime number?
True
Suppose -w - 3*w - 600 = -5*n, -5*n + 600 = 4*w. Suppose -n + 1041 = 3*b. Is b prime?
True
Let r = -41 - -82. Suppose 3*u - r = u - j, 5*u = 4*j + 109. Suppose -6 = y - u. Is y composite?
True
Suppose -8*x = -1 + 1. Is ((-6)/(18 + x))/(2/(-8490)) composite?
True
Let w(k) = 92*k + 11. Let b(v) = 3*v**3 + v**2. Let q be b(1). Let g be (-3 - 1)/q - -8. Is w(g) a composite number?
True
Suppose -29*w = 5*w - 1969178. Is w composite?
False
Suppose -885 = -4*h + 1287. Is h a composite number?
True
Let g = 1778 - 1587. Is g a prime number?
True
Suppose 0 = -2*i + 4. Suppose 7*u + 32 = -4*b + 2*u, -i*u + 16 = -2*b. Is b/(-36) + 608/18 prime?
False
Let h(p) = -3*p**3 + 9*p**2 + 22*p + 117. Is h(-8) a prime number?
True
Let r be ((-88)/32)/((-2)/8). Let k = -6 + r. Suppose -a + 3*a + k*q = 116, -4*q - 98 = -2*a. Is a a composite number?
False
Let p = -8366 - -27895. Is p prime?
False
Let t(w) = -w**3 - 6*w**2 - 6*w - 5. Let c(m) = -m - 12. Let i be c(-7). Let n be t(i). Suppose n = 4*a + 6 + 10, -5*f - 5*a + 245 = 0. Is f composite?
False
Let p(k) be the first derivative of 7*k**4/4 + k**3/3 - k**2/2 + 2. Let i be p(-4). Let y = 627 + i. Is y composite?
False
Suppose 0 = 2*s - 3*v - 43476, -4*s + 86924 = 7*v - 6*v. Suppose 6*m - s = 6594. Is m a prime number?
True
Suppose 0 = 4*a + 2*a - 222. Is a a composite number?
False
Suppose z = 5, 221 = 3*i + i - 3*z. Let q = i - 26. Is q prime?
False
Suppose -4*q + 14372 = 4*n, 3*n + 0*n + 10779 = 3*q. Is q prime?
True
Let r = -356 + 2401. Is r composite?
True
Is (-2 + 3)/((-3)/(-15153)) a prime number?
True
Let n(q) = -373*q - 7. Let o be n(-5). Let i = o + -417. Is i composite?
True
Let l be ((-204)/15)/((-4)/1190). Suppose 0 = 2*b + 4*d - 1614, d + l = 5*b - 0*d. Is b a composite number?
False
Let l be ((-2)/4)/(5/(-1550)). Let c = 224 - 148. Let a = l - c. Is a prime?
True
Suppose -3*n + 6*n = 2454. Let i = n - 399. Is i a composite number?
False
Suppose 4*z + 5*w + 43 = -10, -w = 2*z + 25. Is 39*(1 + (-242)/z)*2 composite?
True
Suppose 4*b - 28 = -8. Suppose 2162 + 193 = b*i. Is i composite?
True
Let m(x) be the third derivative of x**6/15 - x**5/30 + x**3/6 + 9*x**2. Is m(1) composite?
False
Suppose -3*p = 5*z - 37317, 0*z = p - 5*z - 12439. Is p composite?
True
Let u = -18 + 26. Suppose -u*t + 4081 + 2199 = 0. Is t prime?
False
Let o be (-7 - -4) + 8613 - 0. Is 3 + (-9 - 1)*o/(-75) composite?
False
Suppose -h - 319 = -2*y, 320 = 2*y - 2*h + 4. Suppose 0 = -4*v - v - 470. Let c = y + v. Is c composite?
False
Let x(h) = 206*h**2 + 2*h + 29. Is x(5) a prime number?
True
Is 86682/(-5)*(-110)/66 prime?
False
Is (16 - 8)*(505/4 - -1) composite?
True
Suppose 13*f + 838509 = 34*f. Is f a prime number?
True
Let x = -1370 - -3933. Is x a prime number?
False
Suppose 0 = 21*q - 8*q - 43589. Is q a composite number?
True
Let h be -3*(-6)/(-45) - 5089/(-35). Let a = h - -517. Is a a composite number?
True
Suppose 3 = j, -j - 2235 - 7212 = -5*t. Let l = 631 + t. Is l a prime number?
True
Let c(y) = -14*y**3 + 7*y**2 - y - 17. Is c(-8) a composite number?
False
Let n(i) = 17*i**2 + 31*i + 83. Is n(16) a prime number?
True
Suppose 0*f + 7 = -x - 3*f, 0 = 3*x - f - 9. Let s(d) = 11*d**3 + 2*d**2 - 2*d + 3. Let z be s(x). Let v = -60 + z. Is v a prime number?
False
Suppose 2*l = -2*l. Suppose -3*k + 397 = -338. Suppose -k = -5*s - l*s. Is s a composite number?
True
Let m(g) = 9*g**2 - 12 + 27 - 46*g + 35*g. Is m(8) a composite number?
False
Suppose 0 = 5*l - 71 - 49. Suppose 0 = -4*s + 10*s - l. Suppose q = -2*g + 121, s*q = 6*g - 3*g + 451. Is q composite?
True
Suppose j - 5*l - 5 = 0, 2*j + 1 = -5*l - 4. Suppose -5*f + 7117 = -j*b - b, -2*f - 2*b = -2842. Is f prime?
True
Let p(h) = h**3 - 7*h**2 + 2*h - 10. Let r be p(7). Suppose -4*l = -2*m, -r*m - 9 = 5*l - 35. Is 8/m + 5/1 a composite number?
False
Let q(i) = 92*i**3 + 3*i**2 + i + 7. Suppose 9 = 3*d - 0. Is q(d) composite?
False
Let u be (22*-5)/5 + 4. Is (3/(u/4))/(7/(-9051)) a composite number?
True
Is -18505*(-10 + (9 - 0)) a prime number?
False
Let n(p) be the third derivative of -p**4/12 - p**3/3 - 5*p**2. Let b(h) = 3*h + 1. Let o(a) = -3*b(a) - 2*n(a). Is o(-6) composite?
False
Let v = -3084 - -7187. Is v prime?
False
Let m(k) = -k - 5. Let j be m(-6). Suppose z - x = -0*x - j, -5*z - 8 = -2*x. Is -1*z/2 - -114 prime?
False
Suppose -3*x = p + 13, -2*p + 5*p - x = 11. Suppose -4*u - 893 = -3*j, -3*u - 602 = -p*j - 2*u. Is j a prime number?
False
Let z be (-138)/(-36) + (-1)/(-6). Suppose 293 = -z*b + 5*b. Is b prime?
True
Suppose 28 = 2*g + 2. Suppose -23 = v - 5*q, 4*v + 4*q = 41 - g. Is v + (-2)/2 - -90 a composite number?
True
Suppose j - 5*x + 5 = 0, -j - 5*x - 79 + 24 = 0. Is (-3)/18 - 14615/j prime?
True
Let q = -154 - -88. Let k = q - -138. Let i = k + -15. Is i prime?
False
Suppose 4*l + 8131 = 4*x - 53453, -4*l = -4. Is x a composite number?
True
Let p be (-4)/(-16) + 57/(-4). Let f = p - -1. Let v(x) = -x**2 - 15*x + 11. Is v(f) composite?
False
Let d = 886 + -96. Suppose y + 0*y = -5*w + d, -4*y + 3160 = -2*w. Let z = y + -353. Is z a prime number?
False
Let v(t) = 235*t**3 - 2*t**2 + 7*t - 7. Let b(m) = 117*m**3 - m**2 + 4*m - 4. Suppose 4*i = 3*i - 5. Let w(d) = i*b(d) + 3*v(d). Is w(1) a composite number?
True
Suppose -2*r - 548 = -3*r. Suppose -4*f - t - 849 = -6*t, -2*f - 427 = -5*t. Let u = f + r. Is u composite?
False
Let u(f) = -f + 21. Suppose -25 - 53 = -6*p. Let g be u(p). Suppose 0 = g*s - 10*s + 142. Is s a composite number?
False
Suppose 12*n = -6*n + 12186. Is n a prime 