 a prime number?
False
Let f = -8 + 4. Let a be 3 - 2/f*0. Suppose 0 = -3*k - 2*w + 237, a*k = k - 5*w + 158. Is k prime?
True
Let c(i) = 87*i. Let q be c(-1). Let n = 20 + -24. Let j = n - q. Is j a prime number?
True
Let t(f) = 17 + 5 - f**3 - f + f**2 - 2*f**2. Is t(0) a composite number?
True
Let s be (18/(-3))/(6/(-9)). Suppose -s = -3*b - 78. Is -1 + 5 + -2 - b a composite number?
True
Let u be 12 + -2*1/2. Suppose -u*z + 627 = -8*z. Is z composite?
True
Suppose -s = -2*s. Suppose -2*w - 667 = -5*b + 108, 3*b - 5*w - 446 = s. Is b composite?
False
Let k(b) = 3*b**2 + 11*b + 4. Is k(9) composite?
True
Let k(l) = -l**2 - 3 + 4 + 5*l - 8 + 2*l**2. Let z be k(-6). Is (z + 0)*(-55 + 0) a prime number?
False
Let g = 126 + -67. Is g composite?
False
Suppose 0 = -p + 2*p + 2*g - 159, -160 = -p - g. Is p composite?
True
Let b = 5831 + -3258. Is b a prime number?
False
Suppose 23*m - 21*m - 62 = 0. Is m a composite number?
False
Suppose -3*o + 4*o = 331. Is o composite?
False
Let q(a) = -13*a**3 - 15*a**2 + 13*a - 11. Is q(-8) composite?
False
Is ((-33)/(-2))/3*(80 + 2) a prime number?
False
Let b = 5640 - 3061. Is b a composite number?
False
Suppose 2 = 5*j - 8. Suppose -5*g = -j*g - 21. Is g composite?
False
Let w(d) = -d**3 + 8*d**2 - 8*d - 3. Let m be w(6). Suppose 3*n + m = -0*n. Let h = n + 10. Is h a prime number?
True
Suppose 5*t - 39 - 1 = 0. Suppose t*a - 112 = 4*a. Is (-7)/a - 221/(-4) composite?
True
Suppose 0 = -f - 0 + 3. Suppose 1 + 2 = f*p. Let q(y) = 132*y**3 - 2*y**2 + 1. Is q(p) prime?
True
Let p(b) = -7*b + 5. Is p(-6) composite?
False
Let x be (-2)/(-7) + (-5856)/112. Suppose -f - 28 - 77 = 0. Let g = x - f. Is g a composite number?
False
Let o be (1/3)/((-5)/(-38865)). Suppose -o = -4*j - 679. Is j a composite number?
True
Let y(k) be the second derivative of -27*k**5/20 + k**4/12 + k**2/2 + 3*k. Is y(-2) composite?
True
Let d(g) = 5*g - 10. Let b = -4 - -8. Suppose 7 + 21 = b*r. Is d(r) a composite number?
True
Let u be (5 + -2)*(-121)/(-3). Suppose -5*h + 2*b = -u, -4*h - 2*b + 104 = -6*b. Is h composite?
False
Let q = 282 + 97. Is q composite?
False
Let g(p) = p - 6. Let h be g(0). Let a(o) = -4*o**3 - 6*o**2 - 6*o - 1. Is a(h) a composite number?
False
Let o(r) = 4*r**2 - 14*r + 19. Is o(20) a composite number?
True
Let d(v) = -v + 1. Let l be 1*-3 + (5 - 8). Let z be d(l). Let u(k) = 27*k - 4. Is u(z) prime?
False
Let j = -2010 - -6055. Is j composite?
True
Let t(k) = -4*k**2 - 12*k - 9. Let b be t(-8). Let q = b + 22. Let o = q - -230. Is o a prime number?
True
Suppose -5*h - 3*n + 1693 = n, -2*n + 676 = 2*h. Is h a composite number?
True
Let s(p) = -p**2 + 7*p - 7. Suppose 5*v = 3 - 13, -5*v = -4*d + 30. Let c be s(d). Suppose -k - c*k + 124 = 0. Is k prime?
True
Let o(l) = 2*l - 2. Let s be o(3). Suppose -6*t = -3*t + s*j - 10, 0 = 5*t + 4*j - 14. Suppose -3*x = 5*i - 170, 0 = t*x - i - 0*i - 109. Is x composite?
True
Suppose w = 4*y - 3*y + 626, w + 4*y = 611. Is w a prime number?
False
Suppose -3*r - 5*q - 49 - 54 = 0, 2*r = 4*q - 54. Let h = -52 - r. Is 4/14 - 3921/h composite?
True
Let l(b) = 8*b**3 - 4*b**2 - 2*b - 1. Is l(5) prime?
False
Let m(k) = 71*k + 4. Suppose 2*p = -n + 6, -4*n + n = -4*p - 8. Let t(o) = o + 1. Let d(b) = p*m(b) - 3*t(b). Is d(1) a prime number?
False
Suppose -593 = -q - 3*t, 5*q - 2965 = -2*t + 4*t. Is q a prime number?
True
Suppose -2*h + 894 = -0*h. Is h/(-6)*(-4 - -2) a composite number?
False
Let b(g) = g**3 - 4*g**2 - 5*g. Let m be b(5). Suppose 5*z + 2*c - 80 = m, -4*c + 2 = 2*z - 46. Is z a composite number?
True
Suppose 4 + 8 = 2*y. Let z be (33/y)/((-1)/6). Let t = -10 - z. Is t composite?
False
Let m = -11 - -2. Let r = m - -3. Let n(h) = h**3 + 8*h**2 + 5*h - 5. Is n(r) prime?
True
Let z(m) = 8*m + 6. Let s be z(8). Suppose 0 = 3*d + 2*d - s. Suppose 5*t - 381 = d. Is t prime?
True
Let q(w) be the third derivative of w**5/60 + w**4/12 + w**3/2 + 7*w**2. Is q(-10) composite?
False
Suppose q - 2*x + 8 = 0, 4*x = -0*q + 4*q + 12. Suppose -c - 15 = 4*c, -q*u + 3*c = -83. Is u prime?
True
Let p = -105 + 296. Is p a composite number?
False
Let a = -419 + 649. Suppose 3*i - i - a = 0. Is i a composite number?
True
Let g(h) = -h**2 - 7*h + 3. Let q be g(-7). Suppose 0 = -3*w - 12, 6*r - q*w = r + 52. Is 20/r*4*1 composite?
True
Let a be (-1)/((-3)/6*1). Is (a - 1) + (52 - -6) a prime number?
True
Let o be (14/10 - 1)*5. Let l be (0 + o)/2 - -2. Suppose 2*b + 177 = 5*a, l*a - 133 = b - 26. Is a a prime number?
True
Suppose 195 = 3*b + 4*t - t, 50 = b - 4*t. Is b composite?
True
Let l be ((-6)/4)/(30/(-100)). Suppose 0*x + x = -l, 5*u = 5*x + 220. Is u a prime number?
False
Is (-1)/(2/(-8)) - -85 a prime number?
True
Suppose 5*z - z + 30032 = 4*p, -2*p = 4*z - 15022. Is p prime?
False
Let x(i) = i**3 + 3*i**2 + 4*i - 1. Suppose 0 = -0*y - y + 3. Is x(y) a prime number?
False
Let i = -1168 + 4247. Is i composite?
False
Let m be (-101)/(-2) + (-1)/(-2). Suppose 170 = 4*o + o + 3*t, -o - 4*t = -m. Is o a prime number?
True
Suppose 0 = -4*c - v + 471, v + 586 = 5*c + 5*v. Is c a prime number?
False
Let f(k) = k**3 + 8*k**2 - 10*k + 2. Let w be f(-9). Let c(t) = t**3 - 10*t**2 - 7*t + 3. Is c(w) composite?
False
Let r = 18 - 31. Let o = 39 + r. Let z = 52 - o. Is z prime?
False
Suppose -505 = -5*f - 3*b - 45, f = -b + 94. Is f composite?
False
Let o(j) = j**2 + 8*j - 4. Let f be o(-8). Is (-2000)/(-14) - f/28 prime?
False
Suppose 12605 = -5*k + 42360. Is k prime?
False
Suppose k - 4 = 5. Suppose 5*f = 2*y - 576, k*f - 4*f - 10 = 0. Is y composite?
False
Suppose 0 = -4*m - 0*m - 2100. Is (m - 1)*2/(-4) a prime number?
True
Suppose -5*c = -f + 230, 0 = -2*c - 0*f + 3*f - 79. Let b = c + 196. Is b composite?
False
Let r(c) = c**3 + 12*c - 14. Is r(7) a composite number?
True
Suppose 5*i - 9 + 4 = 0. Let z(b) = 112*b + 1. Is z(i) a composite number?
False
Suppose 4*h - 5 = -17. Let g be 3 + -2*h/(-6). Is (g - 70)/(-2) - -1 composite?
True
Let c = -1 - 8. Let u = -8 - c. Is (0 - u)/(4/(-484)) a composite number?
True
Suppose 102 = -3*j + g, -2*j + 0*g = -2*g + 68. Is (-2)/6 + j/(-3) prime?
True
Let n(k) = 20*k**3 + 4*k**2 - 5*k. Is n(2) a composite number?
True
Suppose -5 = 4*h - 17. Suppose -h*b - 4*b = -679. Is b a composite number?
False
Let t be 2*-1*2*148. Let u be ((-9)/4)/(6/t). Suppose r + u = 3*r. Is r composite?
True
Suppose -6*u + 2084 = -2*u. Suppose u = -5*k + 26. Let r = k + 156. Is r a composite number?
True
Let d = 24 - 8. Suppose 0 = f - x + 3*x - d, 2*x - 120 = -5*f. Is f prime?
False
Let r be ((-6)/4 - -1)*30. Let h be (-8)/(-20) - (-6)/r. Suppose -f + h*f - 37 = -g, 2*g - f = 74. Is g a composite number?
False
Is (-1686)/(-8) - 5/(-20) prime?
True
Let a = 12 + 6. Suppose 298 = 4*r - a. Is r prime?
True
Let c(x) = 61*x**3 + x**2 - 1. Is c(2) a composite number?
False
Let c(z) = -z**3 - 3*z**2 - 9*z - 7. Is c(-6) composite?
True
Suppose -3*g = -g + 4*k, 0 = 2*g - 2*k. Suppose g*n - n = -6. Is n composite?
True
Let d = 9 + 12. Is d a prime number?
False
Suppose -5*f = -3*f + 4. Let j be (96/(-4))/(f/5). Suppose j = 2*p + 2*p. Is p prime?
False
Suppose -4*n + g + 615 = 0, 3*n + 3*g = -2*g + 444. Suppose -3*h - 24 = -n. Is h a prime number?
True
Suppose 2*v + 28 + 60 = 0. Let f(s) = 3*s + 18. Let t be f(-10). Is ((-9)/t)/((-1)/v) prime?
False
Let u = -10 - -14. Let h(w) = 2*w**3 - w**2 - 5*w + 1. Is h(u) prime?
False
Let l = -56 + 147. Is l a prime number?
False
Suppose 3*y + l - 6232 = 0, 2*l - 7459 = -5*y + 2928. Is y prime?
False
Let h(y) be the second derivative of -y**3/6 - 2*y**2 + 2*y. Let m be h(-4). Suppose 2*b - 106 = f - m*f, -4*f - 53 = -b. Is b a prime number?
True
Let o(r) = 3*r**3 + 4*r - 3. Let b be (-84)/(-20) + 2/(-10). Is o(b) a prime number?
False
Let o be (-366)/(-4)*(-8)/(-12). Suppose o = -2*i - h + 214, -3*i + h + 232 = 0. Is i a prime number?
False
Is -3 - 3/((-6)/1180) a prime number?
True
Let l be (-1)/4*2*0. Suppose -3*w + 12 = l, i = -2*i - 3*w + 207. Is i a prime number?
False
Let i = 274 + -187. Is i a composite number?
True
Let z = -44 - -375. Is z a composite number?
False
Let c = 78 + -55. Suppose c = p - 348. Is p a prime number?
False
Suppose 20 = 5*h - 5. Suppose 0 = -h*w - 376 + 1671. Is w a composite number?
True
Suppose 3*h + 204 = o - 4