alse
Suppose 4*v - 3 = -11. Let p be v/6 + (-77)/3. Is (-4)/16 + p/(-8) a prime number?
True
Let j(p) = 4*p - 2. Let c(o) be the second derivative of -o**5/20 - o**4/4 - o**3/3 - o**2 + o. Let d be c(-3). Is j(d) prime?
False
Suppose 6*c = 8*c - 3082. Is c prime?
False
Suppose -7*p + 6*p = 0. Suppose 0 = -p*v + 4*v + 12, -4*g - 23 = 5*v. Is -1 - g - (-44 - 2) prime?
True
Let p(y) be the second derivative of -5*y**3/2 - 4*y**2 + 5*y. Is p(-9) composite?
False
Suppose -4*u - 5*h + 3*h = -102, 1 = -h. Is u composite?
True
Let x(q) = 11*q**3 - 2*q**2 - 2*q + 3. Let p be ((-4)/3)/(2/(-3)). Suppose -8 = -p*b - 2*b. Is x(b) a prime number?
True
Suppose -2*y + 92 = 2*y. Is (y/(-1))/(1/(-5)) prime?
False
Let d = -6 - -24. Suppose d = -0*g + 2*g. Suppose g = -2*w + f + 84, -w = -f - 40. Is w prime?
False
Let z = 476 + -235. Suppose 4*f = -f. Suppose -i + 75 = h, h = 3*i - f*h - z. Is i a prime number?
True
Let i(v) = -9*v - 5. Let f be i(4). Let n = 92 + f. Is n prime?
False
Let o = 876 - -119. Is o a prime number?
False
Let v = 3 + -1. Is 2 - (-11 - (-4)/v) prime?
True
Suppose -4*r + 0 + 24 = 0. Suppose -2*o - 2 = -3*z, -r = o - 3*o + z. Suppose -o*v + 233 + 32 = 0. Is v composite?
False
Let k(y) = y**3 - 4*y**2 + 3*y. Let x be (-128)/(-40) - 1/5. Let f be k(x). Suppose 5*q - 172 + 7 = f. Is q prime?
False
Let w = 5 - 5. Suppose w = 2*u + 2*z + 8, 0*z - 20 = u + 5*z. Is 31 + (u - 0)/(-2) prime?
True
Let h(v) = v**2 + 7*v + 7. Let w be h(-7). Suppose 12 = -4*f, 5*i = -2*f + w*f + 125. Suppose -5*m - 4*k + 57 = 0, 4*m - k - i = 32. Is m composite?
False
Let j be ((-4)/6)/((-2)/(-72)). Let c = -14 - j. Is (508/(-6))/(c/(-15)) a composite number?
False
Suppose 0 = -4*a + d + 65 - 18, -5*a = d - 61. Is (-4)/(a/(-453)) - 2 prime?
True
Let m be (-90)/10*(-2)/3. Let h(u) = 5*u + 3. Is h(m) a prime number?
False
Let v(n) = 28*n**2 + 19*n + 6. Is v(7) a prime number?
True
Let g be ((-55)/(-2))/(1/2). Suppose -6 = -5*o - s, 2*o - 3 = 3*s + 13. Suppose -o*z = -3*z + g. Is z composite?
True
Let p be (-4060)/(-8)*4/(-5). Is 2*3/(-12)*p a prime number?
False
Let v(p) = -178*p + 1. Is v(-1) a prime number?
True
Let c(f) = 6*f**2 - 16*f - 11. Is c(-6) a prime number?
False
Suppose -5*w - 238 = -683. Is w a prime number?
True
Suppose -d = -2*r + 676, 2*r + 3*d = 47 + 637. Is r a composite number?
True
Let n = 74 - 61. Is n a prime number?
True
Suppose 5*b + 0*a + a = 3241, -a - 653 = -b. Is b prime?
False
Let c = -5 - -10. Suppose -5*l + 288 = c*h - h, -l = -4*h + 312. Is h a prime number?
False
Let h = -905 + 1516. Is h composite?
True
Is 735 - -3*(-8)/(-12) a composite number?
True
Suppose -2*l = -6*l. Suppose 3*x - 5*v = 156, 0 = -l*x + 5*x - 3*v - 260. Suppose -13 = 3*y - x. Is y prime?
True
Let k(d) = 14*d**2 + 2*d + 1. Let x = -5 + 3. Is k(x) a prime number?
True
Let j(n) = n**2 - 5*n - 11. Let q be j(8). Suppose o + 12 = -3*o. Let k = o + q. Is k composite?
True
Let w(f) = -f**3 - f**2 + f + 3. Let p be w(-3). Let r = 85 - p. Is r prime?
True
Suppose 2*i + 725 = 7*i. Is i a prime number?
False
Suppose -442 = -4*o - 5*v, -4*o - o - 2*v = -561. Is o a composite number?
False
Suppose 9*w - 14*w = -8255. Is w prime?
False
Suppose -2*u - 3 + 9 = 0. Let f = -32 + 217. Suppose -d + 3*k + 45 = 0, -2*d - 5*k + f = u*d. Is d prime?
False
Let y = 299 + -136. Is y a prime number?
True
Let u(a) = -a**2 + 4. Suppose 3*o = -0*o. Let q be u(o). Suppose -q*i + 209 = -f, 2*f - 8 = -2. Is i a prime number?
True
Let l be (-1857)/(-4) + (-5)/20. Is l/6 - 1/3 a prime number?
False
Let w(i) = 66*i - 1. Let b = 1 + 0. Is w(b) prime?
False
Let a(d) = d - 2. Suppose -g = 3*b - 18, 2*g - 3*g - 18 = -3*b. Let o be a(b). Is 17 + 0 - (-2 + o) prime?
False
Let c = -4 - -6. Let f be 2/8 - (-9)/(-4). Is c/(-3)*159/f a composite number?
False
Let d(q) = q**2 + q + 3. Suppose 0 = 3*y - 3*l - 9, 3*y = -0*y - 2*l - 6. Let t be d(y). Suppose 0 = g - 4*g - 3*b + 336, -3 = t*b. Is g prime?
True
Let o(p) = 14*p + 1. Let q be o(-2). Let a be (-6)/q + 303/(-27). Let n = 2 - a. Is n a composite number?
False
Let u(j) = -395*j**3 - 3*j**2 - 7*j + 1. Is u(-2) a prime number?
True
Suppose -5*c - h = -27, -5*c + h - 6*h = -15. Let r be ((-164)/(-6))/(4/c). Let t = r + 86. Is t a prime number?
True
Suppose -5*k = -2*u + 54, 0 = 5*u + k - 118 + 10. Is (7/(-2))/((-1)/u) composite?
True
Suppose 334 = 4*s - 2*s. Suppose -2*i + 589 = s. Is i a composite number?
False
Let w be (-50)/(-18) + (-12)/(-54). Let u(g) = 2 - 2*g - 4 + w*g. Is u(8) a prime number?
False
Let r(l) = 3*l**3 - 29*l**2 - l - 6. Let q(o) = o**3 - 10*o**2 - 2. Let y(x) = -17*q(x) + 6*r(x). Is y(6) prime?
False
Suppose -3*l + 410 = 5*z - 1120, -5*l + 2578 = -z. Is l a prime number?
False
Suppose -5*u = -3*g - 329, -u + 2*u - 65 = g. Is u prime?
True
Suppose -3*b = 2*b + 5. Is (b/(-3))/(3/171) a prime number?
True
Let k(y) = 5*y**2 - 4. Suppose -5*j - 17 = -4*n, -4*j = -j - 2*n + 11. Is k(j) prime?
False
Suppose 2*j - j = 2. Suppose 4*x + 0*z = -z + 1587, 3*x - j*z - 1193 = 0. Is x a composite number?
False
Let j = -132 - -311. Suppose j + 92 = s + 3*f, 3*f = 2*s - 506. Is s a prime number?
False
Let k(j) = j**3 + 5*j**2 - 7*j - 6. Let x be k(-6). Let t(a) = -a + 7. Let p be t(7). Suppose 2*c - 4*f - 106 = p, x = c + 4*c - 2*f - 265. Is c composite?
False
Suppose -h = -2*y + 196, -h + 192 = 2*y - 0*y. Is y a composite number?
False
Let i be (-6)/(-27)*3*3. Suppose 2*w - i = -4. Is (0 + 0 + -83)*w a composite number?
False
Let n(s) = 7*s**2 + 6*s + 2. Is n(-3) composite?
False
Let s = 934 - 527. Is s a composite number?
True
Suppose 7 = 2*s - 3. Suppose -3*x = -2*k - 111, -2*x + 4*k - s*k = -74. Is x a prime number?
True
Let n(d) = -d**2 - 8*d + 1. Let x = -16 - -10. Is n(x) a composite number?
False
Let n(z) = z**3 + 11*z**2 + 6*z - 8. Suppose -1 = -4*g - 29. Let m be n(g). Suppose u + 3*s = 2*u - m, u + 2*s - 171 = 0. Is u prime?
False
Let f(j) = 226*j - 9. Is f(8) prime?
False
Suppose -78 = 3*n - 6*n. Suppose -4*l = -n - 2. Is l prime?
True
Suppose -i + 809 = 4*w, -3*i - 1326 + 505 = -4*w. Is w prime?
False
Suppose 0 = -5*p + 3*r + 865 + 256, 0 = 4*r + 8. Is p a composite number?
False
Suppose -m = -2*m - 2, 326 = 3*k + 2*m. Let o be 6/3 + ((-9)/(-3) - 18). Let h = o + k. Is h a composite number?
False
Let s(v) = v**3 + 7*v**2 - v - 9. Let b be s(-7). Let r(h) = -2 - 9*h - 2 - 94*h + 1. Is r(b) a composite number?
True
Let g(v) = -v**3 + 2*v**2 + v. Let p be g(-1). Suppose -4*n = 4*j - 3 + 31, 0 = -2*n + 2*j - p. Is 7 + n - (-4)/1 a composite number?
False
Suppose -w - 5836 = -5*w. Is w a composite number?
False
Suppose 2 = z + 2*c, -z + 3*c + c + 8 = 0. Suppose -467 = -z*q + 49. Is q prime?
False
Let w(f) = f**3 + 7*f**2 - 7*f + 11. Let o be w(-8). Suppose -5*v = 0, -789 = -3*h - 0*h - o*v. Is h a prime number?
True
Let f = 5 - 3. Suppose 0 = -f*m + m. Suppose m = -2*x - 2*k + 74, 159 + 32 = 5*x + 2*k. Is x a composite number?
True
Let p be (-22)/(-6) - (-4)/12. Suppose 0 = 5*a + 2*d - 30, -2*a = -7*a + p*d. Suppose 138 = a*l - 5*t, 2*l - 2*t = 51 + 19. Is l a composite number?
False
Suppose w - 4*w + 12 = 0. Suppose -a + w*s = -361, a = -0*s - 3*s + 326. Suppose -94 = -5*y + a. Is y composite?
True
Suppose 2*d - 5*d - 3*y = -2628, -5*d = -5*y - 4330. Is d a composite number?
True
Let j(m) = m**2. Let i(l) = -l**3 - 5*l**2 - l. Let x(n) = -i(n) - 6*j(n). Let o be (-2)/(-3) + (-7)/(-3). Is x(o) a prime number?
False
Suppose 2*q - 3 = v, 3*q - 7 = 2*v - v. Suppose -27 = 2*z - v*z. Is 168/z - 2/(-6) composite?
False
Let c(o) = o - 3. Let v be c(6). Suppose 0 = 2*z - v*z. Suppose z*x = -4*x + 212. Is x a composite number?
False
Suppose -5*g = -25, -4*m + 3*g + 350 = 5*g. Is m composite?
True
Let n = 10 + -6. Let r be (-13)/(-3) + n/6. Suppose r*f - 204 - 571 = 0. Is f a prime number?
False
Let x = 265 + -141. Suppose -1953 = -5*h + 2*v, 4*h - 3*v - 1437 - x = 0. Is h prime?
False
Suppose q - 2069 = 2*c + 3*c, -4*q + 3*c = -8242. Is q a composite number?
True
Let d(b) = -b + 3. Let j be d(5). Is (3 + -4)/(j/254) a prime number?
True
Let v = -4 + 9. Suppose 5*f + 7*t = 2*t + v, -5*f - 19 = -3*t. Let y = 8 + f. Is y prime?
False
Suppose -2*x + 1596 = 238. Is x a prime number?
False
Suppose -8 + 0 = -2*y. Let z(m) = m**3 - 4*m**2 + 2*m - 5. Let b be 