prime number?
False
Let y(v) be the second derivative of 5*v**4/12 + 5*v**3/2 - 11*v**2/2 + v. Let p(f) = -3*f**2 - 7*f + 5. Let b(x) = 7*p(x) + 4*y(x). Is b(7) a composite number?
False
Let j be (-3)/((-6)/(-5))*-2. Suppose -j*v - 25 = -135. Is v a prime number?
False
Is 80/(-16)*(-4659)/15 a composite number?
False
Suppose 0*c + 2*c - 12 = 0. Suppose -3*n + 0 = -c. Is n/(-1 - (-39)/37) composite?
False
Let w = -484 - -743. Is w composite?
True
Suppose -d = -2*q - 37, 6*d - 3*d - 103 = -2*q. Is d a prime number?
False
Let w(x) be the first derivative of -11*x**2/2 + 4. Let v be w(-1). Suppose 5*b = v + 39. Is b prime?
False
Let j(y) = y. Let q be j(1). Is (q + 0)*(-644)/(-4) prime?
False
Let j = 4014 - 2453. Is j a prime number?
False
Suppose 3*h + 11 + 28 = 0. Let z(q) = 6*q - 2. Let j be z(4). Let y = j + h. Is y composite?
True
Let v = -7 + 6. Let u(d) be the second derivative of -67*d**5/20 + d**4/12 + d**3/3 + d**2/2 + d. Is u(v) prime?
True
Suppose -3*k = -f - 4588, 791 - 3845 = -2*k - 4*f. Is k a composite number?
True
Let b be 14/(-2)*18/(-3). Let t = 24 - b. Let u = 67 - t. Is u prime?
False
Suppose 3*n + 2 = -4. Let b = n - -2. Suppose 3*u - 105 = -b*u. Is u a composite number?
True
Let q(x) = x**3 - x**2 + x + 2. Let s be q(0). Is (-1)/(s/(-4))*1 a composite number?
False
Let r = -7 - -22. Let b be (8/(-5))/((-2)/r). Suppose 3*l = -b, -4*y + l + l = -52. Is y a prime number?
True
Suppose 5*u + 26 + 6 = 4*p, u = -3*p + 5. Suppose -p*h + 108 = -h. Let w = h + -3. Is w a prime number?
False
Let k be (-7 - -5) + 2*2. Suppose 3*y = -k*y + 30. Is (y/4)/(3/92) prime?
False
Is 3*(-4 + 65/3) prime?
True
Let r be (-4)/(-14) + 495/105. Suppose -m - q = 4*q + 95, 5*q = -25. Is (22/(-4))/(r/m) prime?
False
Suppose -2*k + 0*f = f - 11, -5*k - 4*f = -32. Suppose 5*r - 14 = -5*x - 49, -3*r = -k*x. Let n = r - -6. Is n a prime number?
True
Suppose -19 = x - 3. Let d be (-9)/4 + (-4)/x. Is (-1)/d - (-201)/6 a prime number?
False
Let b(n) = -n**2 - n - 5. Let w be b(0). Let v(d) = 2*d**2 - 7*d - 6. Is v(w) a prime number?
True
Suppose -4*v + 0*m - m = -15, -15 = -5*m. Suppose -v*b = 2*b - 3*x - 288, 0 = 5*x + 5. Is b a prime number?
False
Suppose -347 = -2*k + 5*t, 0 = k - 3*k - 2*t + 368. Is k prime?
True
Let t = 214 + 73. Is t composite?
True
Suppose -2*r = -6*r. Suppose 3*a + r*a = 156. Suppose -5*g = -a - 273. Is g a prime number?
False
Let w(n) = 22*n - 11. Let b be w(8). Suppose 0*q + b = -m + 4*q, -5*q + 168 = -m. Is 2*-2*m/12 a prime number?
False
Is 3236 - (1 - (-4 - -1)) - -1 a prime number?
False
Suppose 0 = -5*v + 2*v + 348. Suppose 3*r - 2*t + t = v, 0 = -5*r + 2*t + 195. Is r prime?
True
Suppose -2*p = g + 3, p = -0*p - g - 2. Let c be p/2 - (-14)/4. Suppose c*w + 46 = 2*j - 19, j - 35 = 2*w. Is j a prime number?
False
Suppose 3*k - 6171 = 4*c, 4*k - 2*c + 2257 = 10475. Is k a composite number?
False
Suppose 5*x - 1833 = -2*f, -2762 = -3*f + 2*x + 3*x. Is f a composite number?
False
Suppose -2 = h - 2*y, -h + y = 5*y + 2. Let k = h - -3. Is 2 + k + -2 + 33 prime?
False
Suppose -5*r + 25 = 5*g, -r - 7 = -4*g - 2. Suppose t + r*b - 50 = 0, -5*b = -3*b + 10. Is t composite?
True
Let h(s) = -2*s + 2*s**2 + 5*s - 2 - s + 1. Let z be h(-2). Suppose -z*f + 2*f + 2 = 0. Is f a composite number?
False
Let b be (1/(-2))/(2/(-404)). Suppose -5*w + b = 4*h, 104 = 6*h - 2*h + 4*w. Let k = -19 + h. Is k prime?
False
Suppose -2*p - 12 = -110. Is (-1 + 1)/(-3) + p prime?
False
Let s = 6 + -5. Is (1 - (s - 0)) + 119 prime?
False
Let n(d) = d**3 + d**2 - 2*d - 19. Is n(7) composite?
False
Let h be (2/(-4))/((-2)/2356). Let l be h/(-4) - (-1)/4. Is l/(-4) + (-3)/(-12) composite?
False
Let y(n) = n**2 - 2*n - 3. Let j be y(-2). Let d(p) = p**2 + 3*p - 7. Let l be d(-5). Suppose -h - q + 99 = -l*q, -3*h - j*q + 264 = 0. Is h composite?
True
Let d = -1 + 8. Let x(t) = t**3 - 6*t**2 + 10. Is x(d) a prime number?
True
Suppose 0 = -j + 3*q + q - 14, -2*q - 2 = -2*j. Is (j - 3)*(-503)/(-3) a composite number?
False
Let f(b) = b**2. Let r be f(0). Let s = r + 3. Suppose -s*l + 152 = l. Is l a composite number?
True
Suppose -23 + 7 = -4*q. Suppose f + 3*j = -4, -3*f + 2 = -q*j - 38. Is 106/f - (-1)/(-4) composite?
False
Let s = 19 - -6. Is s a prime number?
False
Let v(q) = 7*q**2 + 3*q + 9. Is v(7) composite?
False
Suppose -s + 18 = 5*q, -2 = s - 0. Suppose -q*g = -2*g. Suppose 3*z - 2*x - 71 = -x, 2*z - 3*x - 59 = g. Is z prime?
False
Suppose 0 = 4*x - 0*x - 12. Let g be 63/(-6)*(-112)/(-6). Is g/6*x/(-2) prime?
False
Let h = -530 - -916. Suppose -v + h = -3*i, -5*i = -v + 292 + 84. Is v composite?
False
Let w be (3/(-6))/(2/(-20)). Suppose -u + w*u = 184. Is u prime?
False
Let i = 21 + -1. Suppose -4*v = i, 3*n - 2*v = 497 + 275. Is n a prime number?
False
Let l = 19 + -21. Is (-3)/((-3)/(-59))*l a composite number?
True
Let x = -789 - -6492. Is x prime?
False
Is (0 + 164/(-12))/((-3)/45) a composite number?
True
Suppose -3*u + 8 = -4. Suppose -u - 4 = g + 3*s, 0 = -2*g - 5*s - 18. Is (g + (-3)/1)*-7 a composite number?
True
Let h(w) = w**2 - w - 6. Is h(4) a prime number?
False
Let j be ((-9)/(-2))/(2/(-4)). Let d be j/(-6)*4 - 2. Suppose 0 = -c + 5*f - 18, 7*f - 43 = -4*c + d*f. Is c a prime number?
True
Let z(y) = y**2 + 2*y - 1. Let u(i) = -i**2 - i - 1. Let x(n) = -2*u(n) + z(n). Is x(-4) a composite number?
True
Suppose 2*y = 4*y + 6. Let l = y + 3. Suppose -1050 = -7*p + 2*p - 5*k, l = -4*p + 2*k + 846. Is p a prime number?
True
Suppose 4*n = 5*n - 59. Is n composite?
False
Suppose 2*d + 0*d - 94 = 0. Suppose -2*o + k + 81 = 0, -k + d = o + 14. Is o prime?
False
Let x(q) = -q**3 - 9*q**2 + 7. Let o be (-6 - 2) + (-1 - 0). Is x(o) composite?
False
Let f(d) = d**2 + 7*d + 2. Let y be f(-8). Let n be ((-2)/(-4))/(1/(-6)). Let x = y + n. Is x a prime number?
True
Let i(c) = -9*c**3 + 13*c**2 - 16*c + 16. Let f(p) = -3*p**3 + 4*p**2 - 5*p + 5. Let y(h) = -7*f(h) + 2*i(h). Is y(2) a composite number?
False
Let z(q) = q**3 - 3*q**2 + 2*q + 2. Let d be z(2). Suppose 6*w = d*w - 192. Let a = -9 - w. Is a a prime number?
False
Suppose 2*u = v + 5*u + 115, 0 = -5*u - 5. Let s = v + 191. Is s composite?
False
Let k = -319 - -522. Is k a composite number?
True
Let u = -2 + 6. Let v be (-3 + (u - 2))*-24. Suppose -2*p + 9 = b, 3*p = b - 0*b - v. Is b a composite number?
True
Let w(k) = -19*k + 6. Is w(-7) composite?
False
Is 14769/57 - (-2)/(-19) a prime number?
False
Let x be 1 + -3 - (1 - -5). Let t(m) = -m + 3. Is t(x) a prime number?
True
Let z(n) = -7*n - n**3 - 4 + 0*n**2 - 3*n**2 + 2*n**2 - 6*n**2. Let k be z(-6). Suppose 2*l + 2*l + k*i = 18, -4*l - 4*i + 24 = 0. Is l a prime number?
True
Let y be ((-2)/(-1))/(3/12). Let u(r) = 6*r + 5. Is u(y) composite?
False
Let w be 12/(3/(-2) + 0). Let d = 11 + w. Suppose -598 = -5*x - 3*y, d*x + 2*y - 356 = 3*y. Is x composite?
True
Let m = 3 + 7. Suppose -35 = -5*d - m. Suppose 333 = d*l - 2*o, 0 = 4*l - o - 0*o - 267. Is l a composite number?
False
Is (1016/(-20))/(2/(-5)) prime?
True
Let b be 1 + (0 + -3 - -7). Suppose -b*v + 104 = -v. Is v prime?
False
Suppose 0 = 3*g - w - 11 - 187, 3*g - 5*w - 210 = 0. Is g prime?
False
Let p(r) = -2*r**3 - 6*r**2 + 2*r - 5. Let y be p(-5). Let b be (5/3)/((-2)/(-60)). Let u = y - b. Is u prime?
False
Let t be 1*(23 + 2)*-1. Let d = 19 + -34. Let l = d - t. Is l composite?
True
Suppose 4*v - 238 = 934. Is v prime?
True
Let g(w) = -11*w**2 + w - 4. Let a = -6 - -5. Let l(o) = -o**2 - 1. Let r(k) = a*g(k) + 3*l(k). Is r(-2) composite?
True
Suppose 2290 = 4*q + 3*h, -2*h = -2 - 2. Is q composite?
False
Suppose 4 - 13 = -3*g. Suppose -g*u - 15 = -8*u. Suppose u*i - 116 = i. Is i composite?
True
Let k(m) = -m**2 + 31. Let l be (-1 - -1)*(-1)/(-3). Is k(l) prime?
True
Let f(r) = 2*r**3 + 4*r**2 - 5*r + 12. Is f(5) a prime number?
True
Suppose -12 = -2*k - 2. Suppose 4*b - 116 = 4*n, k*b - 59 = 4*n + 88. Is b a composite number?
False
Suppose 5*r + 2*f = 16505, 3*f = 2*r - 0*f - 6583. Is r prime?
True
Let q(o) = o**2 + 10*o - 15. Let t(j) = -j + 1. Let u be t(-11). Is q(u) a composite number?
True
Let j = -8 + 4. Let w(i) = -i**3 - 3*i**2 - 2*i - 5. Let k be w(j). Suppose 5*m - 16 - k = 0. Is m prime?
True
Let j(m) = -m**2 + 21*m - 4. Is j(10) composite?
True
Let i = -2 - -4. Let o =