(v) = 2*v**2 + 5. Let w(b) = b**3 - b. Let u be w(-2). Is p(u) a composite number?
True
Let a(k) = k**3 + 10*k**2 + 5*k + 3. Let o(t) = -t**2 + 15*t + 27. Let x be o(17). Is a(x) prime?
False
Let k(f) = 0*f**3 - 37 - 22*f + 15*f**2 - 13*f**2 - f**3 + 23*f**2. Is k(17) a composite number?
False
Is -3*(-222)/18 + -1 + 1 a prime number?
True
Let j be -204 - (0 + 0 + 3). Let f = 121 + j. Let d = f + 151. Is d composite?
True
Let k(v) = 2*v**3 + 33*v**2 - 34*v - 47. Is k(-15) a composite number?
True
Suppose -4*p = -c + 1247, 30*p = 2*c + 25*p - 2503. Is c a composite number?
False
Suppose -u = -4*i - 3*u + 60, u + 60 = 4*i. Is (-9935)/(-25) - 6/i a composite number?
False
Let w = 6 + -6. Suppose o = 5*r + 89, w*o - 4*r = -3*o + 234. Is (o/(-6))/((-2)/6) composite?
False
Let y = -26 - -20. Let h be (1 - y)*2/7. Suppose z + 27 = 3*g - 148, -h*g = -2*z - 114. Is g a composite number?
False
Let o be 0/((3 + -13)/5). Suppose 2*j - 2*x = -o*j + 16, 3*x - 32 = -5*j. Suppose 0 = 2*t + 5*a - 422, -j*t = -3*t + a - 844. Is t a prime number?
True
Let y(z) = 37*z**2 - z - 8. Let b be y(-5). Let d = 1313 - b. Is d composite?
True
Let z = 4560 - 3199. Is z a composite number?
False
Let v be (-2 + 14)/((-81)/11070). Let a(k) = -10*k**3 + 10*k**2 + 8*k + 7. Let l be a(-6). Let t = v + l. Is t a composite number?
False
Suppose 4*g + 4*v - 13 = v, 0 = -2*g + 5*v - 13. Let n be (-2)/(-1) + (14 - g). Let r = n + -5. Is r prime?
False
Suppose 0 = -2*y + 36221 - 10903. Is y composite?
False
Let p = 15 - 13. Suppose -5*q - 3760 = -4*h - p*q, h - 927 = 4*q. Is h prime?
False
Suppose -8*k + k = 84. Let g(i) = -9*i + 19. Is g(k) prime?
True
Let j be (0 + 2)/((-18)/(-45)). Suppose w - 955 = p, j*p - 3 + 18 = 0. Is (-2)/4*w/(-4) composite?
True
Suppose 3*t = -2*y + 7, 9*y = 4*y + 2*t + 46. Suppose r + y*r = 1071. Is r prime?
False
Suppose 0 = -279*z + 270*z + 28467. Is z composite?
False
Suppose 2*j = 4*j - 16. Suppose j*a - 481 - 1687 = 0. Is a a prime number?
True
Suppose -20126 = -5*t - 4491. Is t a prime number?
False
Suppose 3*j - 162 = -1125. Let g be -4 + (0 - -5) - j. Suppose -i + g = -2*q - q, i = q + 320. Is i prime?
False
Let o(y) = -6653*y - 118. Is o(-3) composite?
False
Suppose 7973 - 66071 = -6*o. Is o a prime number?
False
Let s(n) = -102*n + 3. Let k be s(-5). Let y = -106 - k. Let a = -326 - y. Is a a prime number?
True
Suppose -104*h = -119*h + 805830. Is h prime?
False
Suppose -5*n - 2553 = -3*j, 3*j + 2*n = -0*j + 2553. Suppose 0 = 3*l - 388 - j. Is l composite?
True
Let w be 3 - ((-38540)/(-4))/(-5). Suppose 6*b = 8164 - w. Is b a composite number?
False
Is (-33602)/1*46/(-92) composite?
True
Suppose -r - 4*u + 19555 = 0, -3*r - 4*u + 39815 + 18882 = 0. Is r a composite number?
False
Is (-784)/(-98) - 2301/(-1) prime?
True
Let b be 84/10 - 4/10. Suppose -18*t = -22*t + b. Is 485*t/(-10)*-2 prime?
False
Suppose 2*y + w - 5 = 0, -4*y - w + 7 = -y. Let a be (3 - -5)*y/4. Is (a - 0)*1542/24 prime?
True
Let c(u) = -41*u - 297. Is c(-8) a prime number?
True
Let a be (6/4)/(-3)*-4. Suppose a = -0*d - d. Is -1 + 2 + d + 20 a prime number?
True
Let u(k) = -7 + 5 + 5*k + 3 + k**2 - k. Let p be u(-3). Is 1 - (0 + -30 + p) a composite number?
True
Suppose -33*o + 2*o + 258137 = 0. Is o composite?
True
Suppose -2*z = k - 2801, 4*k = -4*z + 5*z - 1387. Is z composite?
False
Let f(h) = -10*h**3 - 34*h**2 + 11*h - 31. Is f(-14) a composite number?
True
Let u(j) = j**3 - 5*j**2 + 3*j - 7. Let o be u(5). Suppose -3*v = -o*v + 25. Suppose -5*t = 4*q - v*q - 1470, 5*q + 270 = t. Is t prime?
False
Let o(d) = 7*d - 1. Let x be o(6). Suppose 15*j - 15 = 12*j. Suppose 34 + x = j*s. Is s composite?
True
Let m(p) = 2 - p**2 - 2 + p**3 + p + 2 + 0*p. Let h be m(2). Is (6/h)/((-2)/(-472)) prime?
False
Suppose 3*l - 2*l = 4*u - 17, 0 = 3*l - 9. Suppose u*p - 2640 = 45. Is p prime?
False
Let a = 17 + -9. Suppose a*g + 445 = 9*g. Suppose -6*f + g = -f. Is f a composite number?
False
Suppose -7836 + 34738 = 2*d. Is d composite?
False
Is (18539 - 12)*(-5 - -6) composite?
True
Suppose 0 = 3*j + 5*a - 42302, 0 = 5*j - 2*a + 34417 - 104972. Is j prime?
False
Suppose -91 = -2*j + 39. Is j a prime number?
False
Suppose 6*x + 5*x = 19547. Is x composite?
False
Is 35/(-14)*(-189114)/15 prime?
False
Suppose -4*x = 4*d - 6076, -4*x + 723 = 2*d - 2307. Is d a prime number?
True
Suppose -740 = -3*p - p. Is p composite?
True
Is 20 + -16 - 10816/(-1) - -1 a prime number?
False
Suppose -8*g + 13*g = 200. Let w = 479 - g. Is w prime?
True
Let f be 3/12 - 20450/8. Is (f/(-18))/((-2)/(-3)) composite?
True
Let p(k) = -65*k**3 - 11*k**2 + 3*k + 12. Let t be p(-8). Suppose 20*j = 24*j - t. Is j a prime number?
False
Let y(s) = -s - 1. Let b(c) = 3*c + 8. Let q(w) = b(w) - 3*y(w). Suppose f - 3*x = 2, -f + 2*x + 4 = -0*f. Is q(f) a composite number?
False
Suppose 0 = 25*u - 30*u - 3*o + 259763, 5*o - 259755 = -5*u. Is u composite?
True
Let c(j) = j**2 + 5*j - 10. Let i be c(-7). Suppose -i*q = 81 + 291. Let b = 190 + q. Is b prime?
True
Let l(t) = 4*t + 99. Is l(11) prime?
False
Suppose 0 = 49*a - 549480 - 236921. Is a a prime number?
False
Suppose -c + 0 + 9 = 2*t, 3*t - 12 = 0. Let z(q) = 75*q**3 - q**2 - q + 1. Is z(c) prime?
False
Let k(o) = 4*o - 3. Let n be k(2). Let v(q) = 3*q**3 + 4*q**2 + 6. Is v(n) a composite number?
True
Let z be ((-48)/(-5))/(30/2200). Suppose -3*q + 1752 + 1221 = 0. Let f = q - z. Is f a composite number?
True
Let o = -2 - -7. Let c be ((-15)/25)/(1/o). Is (-4518)/(-27)*c/(-2) a composite number?
False
Let c(h) = 2 + h + 1 + 2*h + 0*h. Let u be c(6). Is 142/3 + (-7)/u a prime number?
True
Let x = -56 - -97. Let a = -38 + x. Is a composite?
False
Is 8/(-1) + 1865/5 composite?
True
Let i(b) = -147*b**3 + 5*b**2 - b + 5. Let y be i(-4). Let j = y + -5762. Suppose 0 = q + 3*l - 751, -5*l + j = -q + 6*q. Is q a composite number?
True
Let j(w) = -2*w + 17. Let h be j(7). Let s = h - -2. Suppose -s*c = -l - 469, -3*c + 7*l - 2*l = -299. Is c a composite number?
True
Let t(b) = -b**3 - 2*b**2 - 3*b - 4. Let r(l) = 6*l**2 - l**3 + 4 - l - 5*l**2 + 7*l**2 + 1. Let y be r(8). Is t(y) a composite number?
True
Suppose -2*u - 3186 = -2*s, -s - 3*u + 4791 = 2*s. Suppose -5*i + s = -0*i. Is i composite?
True
Is 2/(-4)*-8 - -14983 a prime number?
False
Let j = 36 - -3713. Is j prime?
False
Let u(h) = 12*h**2 + 3*h - 1. Let y be u(-8). Suppose -2 = -p + 3. Suppose 0 = p*i - 2 - y. Is i a prime number?
True
Let h(y) = 25 - 16 + 0*y**2 + 4*y - y**2. Let f be h(5). Suppose -f*s + 2*p = -214, -2*s + 82 = -0*p + 4*p. Is s prime?
False
Suppose -i = -m - 4*i - 3, 2*m - 14 = -i. Is 3 + -2 + -9*(-141)/m a composite number?
True
Suppose 16 = -5*x - 14. Let l(b) = -2*b**2 - 4*b - 12. Let y be l(x). Let m = y - -221. Is m a composite number?
True
Suppose 4*x - 20629 = -2*p + 16165, -3*x = -2*p - 27585. Is x a composite number?
True
Let u(a) = 125*a**2 - 7*a + 3. Is u(-5) a prime number?
True
Let c(u) = u**2 - u + 242. Suppose -4*q - o = 4*o, 3*o = q. Let m be c(q). Let k = 445 - m. Is k composite?
True
Let n be (10/(-4))/(16/7456). Is 6/(-4)*n/3*2 a prime number?
False
Is (63/(-15))/(-7) + (-141424)/(-10) a composite number?
False
Let n(k) be the first derivative of -k**4/4 + k**2/2 + 185*k + 6. Is n(0) prime?
False
Let v(q) = 2*q**2 - q. Let n be v(-9). Let f = 1413 - 985. Let k = f - n. Is k a composite number?
False
Suppose 0 = 966*t - 950*t - 1329808. Is t composite?
True
Suppose -12050 = -5*i + 5*l, -4*i + 2*l = 5444 - 15090. Is i composite?
True
Let m(a) = -a**3 - 11*a**2 - 8*a + 13. Let d be m(-10). Let u(j) = j**3 + 7*j**2 + 1. Let i be u(d). Is 299 - i - (-2)/2 composite?
True
Let q = 869 - -5112. Is q composite?
False
Let h(w) = w - 1. Let k be h(-1). Let z be k/(-4) + 15/6. Suppose -276 + 111 = -z*l. Is l a composite number?
True
Suppose 7*g + 11759 = 131522. Is g/21 + (-6)/(-21) composite?
True
Let z = 83790 - 57563. Is z a composite number?
False
Let g(r) = r**2 - 8*r + 13. Let t be g(-10). Let v = 2482 + t. Suppose 5*f = -0*f + v. Is f a prime number?
False
Let v be -7 - -9 - (-336)/1. Suppose -b + 3*i = -110, -2*b - b + i = -v. Is b a prime number?
True
Let k = 55 - 50. Suppose 0*g - 273 = -2*g - k*c, g - 132 = -c. Is g composite?
True
Let n(s) = s**3 + 5*s**2 - 4*s + 7. Let a be n(-6)