w**2 + 1. Let s be d(-2). Suppose 497 - 172 = s*o. Is o a composite number?
True
Let p(z) = z - 7. Let m be p(5). Let s be (m - -4)/1 - -9. Let j = s + 20. Is j a prime number?
True
Let s be (-6)/21 - (-886)/14. Suppose -2*w + 2*t = -6, 5*w + t - 5 = 10. Suppose 2*p + 0*u - s = -u, 0 = w*p + 3*u - 96. Is p a prime number?
True
Let m = -5 + 9. Suppose -59 = -m*p + 3*p. Is p a prime number?
True
Let b(i) = 2*i**2 + 5*i - 18. Let m be b(13). Let v = m - 194. Is v composite?
False
Let r = 67 - 577. Let p = 1053 + r. Is p prime?
False
Let z(w) = -250*w - 1. Is z(-2) composite?
False
Suppose 5*u + 127 = -3*q, -6*q = -4*q + 8. Let t = u - -100. Suppose 232 - t = 5*b + 2*l, -3*b - 5*l = -74. Is b prime?
False
Let g(s) = 2*s**3 - 3*s**2 + 9*s + 13. Is g(6) a prime number?
False
Let o be (1 - 3) + (3 - 5). Let r(s) = -2*s + 2*s**2 + 0*s - 1 - 4 + 3*s. Is r(o) composite?
False
Suppose 0*g + 2*g = 4, -4*f - 4*g + 1080 = 0. Suppose -3*r - f = -7*r. Is r a prime number?
True
Is -5*(0 + 1)*(-1140 - 11) a composite number?
True
Let o(l) be the second derivative of 8*l**5/5 - l**4/12 + l**3/6 - l**2/2 + 2*l. Is o(2) a composite number?
True
Suppose 0 = -t - 2*t + 78. Is t a prime number?
False
Let c be ((-8)/(-5))/((-3)/(-15)). Let m be (3 - 2)/(-2)*-14. Let l = c + m. Is l composite?
True
Let q be (10/4)/((-1)/(-8)). Suppose -h = 4*h + 2*t - 1902, 0 = 5*t + q. Is h a composite number?
True
Let r = 14 + 228. Let n = -63 + r. Is n a prime number?
True
Is 72874/30 + 2/(-15) a prime number?
False
Suppose -4*j + 2*y + 842 = 0, -j - 3*y + 636 = 2*j. Is j prime?
True
Suppose 0*f = f. Suppose -4*z - 5 + 21 = f. Suppose -235 = -z*w + 25. Is w a composite number?
True
Let c = -132 + -2. Let f = -37 - c. Is f prime?
True
Let y be (-8)/(-2) + (5 - 19). Let h(k) = k**3 + 13*k**2 + 11*k + 13. Is h(y) a composite number?
True
Let p(t) = 39*t - 25. Is p(8) composite?
True
Let u = 207 - -152. Is u a composite number?
False
Let g be (-1981)/(-4) + 6/(-24). Suppose g = 7*l - 2*l. Suppose l = 3*m - 162. Is m a prime number?
False
Suppose 0 = 2*a - a - 1. Suppose 0 = -3*o + o + 8, -13 = -3*j - o. Suppose a = -j*f + 19. Is f prime?
False
Let u(x) = -x**3 - 6*x**2 + 11*x - 9. Is u(-8) composite?
False
Suppose 8*r - 14*r = -8214. Is r a composite number?
True
Let t(q) = 3*q**2 - 8*q + 4. Let l be t(6). Suppose -l = 5*r - 0*r - 4*v, -5*r - 59 = v. Let n = 85 - r. Is n a prime number?
True
Suppose 4*v + z = -419, 2*v - v = 4*z - 126. Let i = v - -221. Is i a prime number?
False
Let n = 863 - 605. Suppose 5*z - 249 = 5*v + 81, 0 = -4*v + z - n. Let l = -39 - v. Is l prime?
False
Let h = 831 - 490. Is h a composite number?
True
Let q = 15 - 11. Let h = -5 - -7. Is ((-158)/(-4))/(h/q) prime?
True
Let y(k) = 17*k**2 + 6*k - 25. Let q(s) = -9*s**2 - 3*s + 13. Let b(n) = 11*q(n) + 6*y(n). Suppose 0 = -2*h + 5*h + 15. Is b(h) a prime number?
True
Let r(k) = k**2 - k + 89. Is r(0) composite?
False
Let j(i) = 92*i + 17. Is j(13) a composite number?
False
Let b(a) be the second derivative of a**5/20 - a**4/3 + a**3/3 - 5*a**2/2 - a. Let t be b(4). Suppose -t*q = -4*h - 292 + 37, q - 85 = -3*h. Is q prime?
False
Suppose 0 = -0*r - 2*r + 526. Let x(l) = -2*l - 2. Let h be x(-4). Suppose -c - 2*j = -h*c + r, -c = 2*j - 43. Is c composite?
True
Let j = 2868 + -542. Is j a prime number?
False
Let k = 540 + -959. Is k*2*(-1)/2 composite?
False
Let a = -4 - -8. Suppose f = -f + a. Suppose y - f*y + 14 = 0. Is y composite?
True
Let g(v) = -v + 12. Let k be g(11). Let a = 3 + k. Suppose 3*m - 5*w + 3 - a = 0, -m - 5*w + 27 = 0. Is m composite?
False
Let s(z) = 3*z**2 + 1. Let a be s(1). Let h(y) = 19*y + 1. Is h(a) prime?
False
Let k be (5/(-10))/((-1)/(-536)). Let x = k + 413. Is x a composite number?
True
Let k(v) = v**3 + 10*v**2 - 11*v - 13. Let o(u) = u**3 + 11*u**2 - 11*u - 13. Let n(f) = -5*k(f) + 4*o(f). Is n(-9) composite?
False
Suppose 0*r - 27 = 3*r. Let p = 7 + r. Is (-10)/(108/(-51) - p) a composite number?
True
Let j be -1 + (0 - -5 - 2). Suppose -3*m + 437 = 4*b - 4*m, -5*b = j*m - 530. Suppose -3*y - 162 = -3*c, 0 = 3*c - 5*y - 48 - b. Is c prime?
False
Let k(q) = -q**2 - 7*q - 4. Let a be k(-6). Suppose a*w = -3*w - 165. Let x = w + 70. Is x a composite number?
False
Is 1 + 6/(-8) + (-1323)/(-4) composite?
False
Suppose 5*u - 1900 - 5 = 0. Is u a prime number?
False
Let u be (0 - 6/(-4))*2. Let k(a) = -2*a - 3*a - a + u - 8. Is k(-5) prime?
False
Let s(o) = -4 - 6*o + 5 + o**2 + 1. Let u be s(4). Is (26/(-4))/(3/u) prime?
True
Let i = 14 + -12. Suppose 0 = -k + 3, i*y - 6*y + 1016 = -4*k. Is y a prime number?
True
Suppose 5*o - 1 = s - 5, -3*o + 3*s = 0. Is o/3 + (-1124)/(-6) composite?
True
Let m be ((-5)/2)/(2/(-4)). Suppose 3*h - 19 = 3*v - 7, -m*h - 5*v = 0. Is ((-1)/(-2))/(h/40) a prime number?
False
Let w be -2 + 2 - (-5 + 1). Suppose 0 = 2*d - w*c - 84, -2*d - 168 = -6*d - 3*c. Is 2742/d + (-4)/14 a composite number?
True
Suppose 5021 = 3*p - 5*d - 3812, -4*p + 4*d = -11772. Is p a composite number?
True
Let j = 80 + 79. Is j prime?
False
Let m = 146 + 301. Is m composite?
True
Let z = 1847 - 304. Is z a composite number?
False
Suppose -1146 = 2*w - 0*w. Is w/(-27) + 8/(-36) composite?
True
Let v(p) = 36*p + 1. Let n be 6/27 - 14/(-18). Is v(n) prime?
True
Suppose 3*j - 1261 = 2*j. Is j a composite number?
True
Let i = 15 - 19. Let w be ((-2)/(-4))/(3/(-6)). Is i/(8/26)*w prime?
True
Suppose 0 = 5*x + 182 - 2. Let v be (-64)/x - (-4)/18. Let i(l) = 20*l**3 - 2*l**2 - 2*l + 1. Is i(v) prime?
True
Suppose 11*n - 382 = 9*n. Is n a prime number?
True
Let y be (-3)/(-2) - 8/16. Let r(x) = -1 - 2*x**2 + 7*x**3 - y - 11*x**3. Is r(-2) composite?
True
Let r = 204 + -131. Let f = r - -19. Suppose -3*i + f = 3*k - 2*i, -k - 3*i + 28 = 0. Is k a composite number?
False
Let b be -1*1*(3 + -34). Let j = b + -20. Is j prime?
True
Is ((-5)/(-5) - 615)/(-2) prime?
True
Suppose 3*a + 0*m - 3*m - 492 = 0, 2*m = 4*a - 664. Let o = 379 - a. Is o a composite number?
False
Suppose 4*s + 20 = -2*o, 2*o = 2*s + 1 + 9. Suppose -w + o*w = -2. Is w/11 + (-2451)/(-11) a composite number?
False
Is ((-15234)/18 + 6)*-3 a composite number?
False
Let v(u) = -u**2 + 3*u + 6. Let x be v(-5). Let h = x - -83. Is h a composite number?
True
Let y = 405 - -146. Is y composite?
True
Suppose 2*f + 3 + 5 = 0. Let p be f/18 - 94/(-18). Suppose -5*n + 319 = -2*k, -p*n + 10*n = -5*k + 340. Is n a prime number?
False
Suppose 2*f + 7 = -2*f + 5*k, 14 = f + 4*k. Let w(a) = 26*a**2. Let d be w(1). Suppose 0 = 4*o + 4*q - 168, -156 - d = -5*o + f*q. Is o composite?
True
Suppose 0 = 6*c - c - 1115. Is c a composite number?
False
Let g be 2/(-9) - 1316/(-9). Suppose g = c - 162. Suppose -5*f - 4*r + c = -f, 4*f - 2*r - 338 = 0. Is f a prime number?
False
Suppose -4*m = -m + 27. Let c = m - -13. Suppose f = c*f - 99. Is f composite?
True
Let b(z) be the third derivative of -z**6/60 - 7*z**5/60 - z**4/4 - 5*z**3/6 - 2*z**2. Is b(-4) composite?
True
Let w be 2652/(-18) + (-2)/3. Let d = w - 11. Is (d/(-6))/((-2)/(-4)) composite?
False
Suppose 5*t - f - 38 = 0, -28 = -3*t - 3*f + f. Suppose 2 = -v, -t*v + 97 = 3*l - 4*v. Is l a prime number?
False
Is 51*19 - (-1 - 1) composite?
False
Let u(f) = 15*f + 98. Is u(7) composite?
True
Suppose 2*f - 210 = -3*f. Suppose 4 = 2*p - f. Is p a composite number?
False
Suppose 9890 = 3*f + 2*f. Suppose 0 = 7*u + 417 - f. Is u a composite number?
False
Let y(z) = z**3 + z**2 - 92. Let o be y(0). Let d be -139*1*-1*-1. Let m = o - d. Is m composite?
False
Let l = 2840 - -1149. Is l composite?
False
Let w(i) = -i**3 - 9*i**2 + 7*i - 1. Let s be w(-9). Let b = -33 - s. Is b a composite number?
False
Suppose 0 = -3*h + 4*f - 30, -h - 33 = 3*h - 3*f. Let b = 7 - h. Is b a composite number?
False
Suppose -5*z = 2*l + 5 - 6, 0 = -3*z + 3*l + 9. Let i be 43*z/2*-2. Let x = i - -68. Is x prime?
False
Suppose -3*a - 2*a = 45. Let v(q) = -2*q**3 - 12*q**2 + 6*q - 9. Let g be v(a). Suppose -2*k + g = 5*h, 2*h = -h - k + 254. Is h composite?
True
Let r(j) = j**3 + 4*j**2 + 4*j + 1. Let u be r(-3). Let l(z) be the third derivative of z**5/12 + z**4/6 + z**3/2 - z**2. Is l(u) composite?
True
Let p(n) = 3*n**2 - 3*n. Let d be p(2). Suppose 0 = -d*i + 3*i + 261. Is i a prime number?
False
Suppose 0 = 2*g + 4. 