((-2)/3)/(6/1017). Let v = g + m. Is v composite?
True
Let n = -4 + 5. Let c be 0 - ((2 - 1) + n). Is -2*((-21)/c)/(-3) a composite number?
False
Let u be ((-4)/5)/(12/30). Let j = u - -4. Suppose 5*x - a + 0*a - 237 = 0, x - 51 = j*a. Is x composite?
False
Is (3 - (-2 + 8))/(-3) - -236 a prime number?
False
Let m = 3 + -1. Suppose -m*s + 0*s - t + 15 = 0, -s - 2*t + 15 = 0. Suppose -s*u = -12 - 58. Is u a composite number?
True
Let l(t) = -t + 7. Let v be l(5). Suppose -f = -v*f + 53. Is f a prime number?
True
Let p(o) = 58*o - 6. Let a be p(-3). Let d = a - -401. Is d composite?
True
Let s be (-2)/(-6) - 44/(-12). Suppose 118 = -2*k + s*k. Is k a composite number?
False
Suppose -4*f = -3*f + 128. Let p = 258 + f. Let x = p - 3. Is x a composite number?
False
Let y be 3*(2 - 3)*-167. Is y/15 + (-2)/5 prime?
False
Let z(p) = -p**2 + 4*p + 6. Let v be z(5). Let q = v - 2. Is (-1 + 2)*(q - -11) composite?
True
Let k be 4/(-14) + (-18)/(-14). Suppose -12 = -4*z - 4*c, -k = z - 2*c + 5*c. Let s = z + 20. Is s a composite number?
True
Let a(k) = -180*k - 5. Is a(-2) a prime number?
False
Let x(p) = p**2 - 4*p - 5. Let s be x(5). Suppose s = -3*m + 5 + 52. Is m a prime number?
True
Let q(m) = -m**2 + m + 83. Suppose -3*p - 4*h + 3 = -1, -5 = -p - 5*h. Is q(p) a prime number?
True
Let w = 17908 - 10193. Is w a prime number?
False
Let w(s) = 7*s**2 + 9*s + 11. Suppose -1 = p + 8. Is w(p) a prime number?
False
Let x = -1 + -66. Is -1 + -1 + x/(-1) composite?
True
Suppose 5*r - 1769 = 2*v, 2*v = -8*r + 10*r - 710. Is r a composite number?
False
Let n be (1 - 0)/1 + 1014. Suppose 0*p + 5*p = n. Is p a composite number?
True
Is 818*(1 - 4/8) prime?
True
Let c(y) be the first derivative of -2*y**3/3 - y**2 + 2*y - 2. Let p be c(-2). Is p/(1*4/(-74)) a composite number?
False
Suppose -2*w + 3*d = 1502, -5*d - 1345 + 5090 = -5*w. Let y = -438 - w. Is y a prime number?
True
Let a be (-622)/10 - 3/(-15). Let b = a - -40. Is 0 + 5/((-5)/b) a prime number?
False
Suppose 0*h + h - 211 = 0. Is h composite?
False
Suppose 2*b - 4*b - 5*z + 106 = 0, 0 = 4*b - 4*z - 212. Let i = b - 20. Is i a prime number?
False
Is (-1*1)/(25652/4276 + -6) composite?
False
Suppose 0 = -3*v + v + 634. Suppose -3*u = -76 - v. Is u a prime number?
True
Let i(d) be the third derivative of -d**5/30 - 5*d**4/24 - d**3/2 + 4*d**2. Let b be i(-3). Is 2/b*-3 - -3 a prime number?
False
Suppose -5*u = -3*t + 281, 3*u = u - 5*t - 131. Let h = u + 84. Is h composite?
True
Let h be (-172)/(-14) + 4/(-14). Let a = h - -43. Is a a composite number?
True
Let q be 2874/24 - 2/(-8). Let i be ((-1)/3)/((-3)/81). Suppose -3*g = i - q. Is g composite?
False
Suppose 20*b - 614 = 19*b. Is b a prime number?
False
Suppose w + 14 = -w. Let y be 36/21 - 2/w. Suppose -62 + 18 = -y*j. Is j composite?
True
Let i be (5/15)/(1/6). Suppose 0 = -i*s - s + 669. Is s prime?
True
Let j = 1 - -3. Suppose -2*k = -5*v + 3*v + 124, j*v = -4*k + 216. Is v composite?
True
Suppose 0 = 5*d - 3*z + 11, 6*z = -5*d + 2*z + 3. Suppose 7*w = 202 + 36. Let m = w - d. Is m composite?
True
Suppose 0 = p + 3, p = y - 2*y - 468. Let j = -92 - y. Is j prime?
True
Let t(w) = -4*w**2 - 2*w + 1. Let d be t(1). Let x = -1 + d. Is (-4)/x - 436/(-12) a composite number?
False
Let k(o) = -2*o - 10*o - 3 + 2. Let w(i) = -i**3 - 11*i**2 + 13*i + 7. Let a be w(-12). Is k(a) composite?
False
Let r(q) = 4*q**3 - 3*q + 2. Let f be r(6). Let m = -1215 + f. Let p = -246 - m. Is p a prime number?
False
Suppose -3*k = -8*k + 385. Is k composite?
True
Let g = -35 + 201. Is g composite?
True
Let c = -62 - -24. Let z = c + 24. Let k = 8 - z. Is k a composite number?
True
Suppose b - 4*y + 12 = -y, -16 = -5*b - 4*y. Is (b + 0 - -1)*35 prime?
False
Suppose 0 = -3*f + 496 + 1157. Is f a composite number?
True
Let s be (-1 + 2 - 3)*-1. Suppose 0 = -s*k, 2*o = -2*k - k - 8. Is 22/o*(-11 + 1) prime?
False
Suppose -4*y - 2*q = -7478, -3*q = -3*y + 8*y - 9350. Is y a composite number?
False
Suppose -6*x = -4*x - 4. Suppose 4*y = 4*m - 216, 3*y - 158 = -3*m + x*y. Is m a prime number?
True
Suppose -263 = -0*b - b. Is b a prime number?
True
Let p(u) = 1057*u - 19. Is p(2) a composite number?
True
Let x(j) = 4*j**2 - 6. Let o be (20/6)/(4/6). Let c be x(o). Let f = c + -48. Is f composite?
True
Let a(z) = -z - z**3 + 6 + 0*z**2 + 2*z**2 - z**2. Let r be a(0). Let o(y) = 6*y + 1. Is o(r) a prime number?
True
Suppose -i + 5*i - 12 = 0. Suppose -2*t + 430 = 3*n + i*t, t + 436 = 3*n. Is n prime?
False
Let u be ((-8)/(-12))/((-1)/3). Is u + 2 + -1 + 12 a composite number?
False
Let x = 7 + -5. Suppose -84 = -2*t - x*t. Suppose 118 = 5*n - m, n - m - 5 - t = 0. Is n a prime number?
True
Is 31829/49 - (-8)/(-14) a prime number?
False
Let z = -96 + 182. Suppose z = 5*n - 9. Is n composite?
False
Let y(i) = 5*i**2 + i + 1. Suppose 13 = -5*s - 2. Is y(s) a prime number?
True
Suppose -b - 3 - 2 = 0. Let y = 2 - b. Is y composite?
False
Suppose 0 = 3*d + 3*j - 30, 2*j - 6*j = 5*d - 46. Suppose -2*t + d*t - 236 = 0. Is t a composite number?
False
Suppose a + 5 = -u, -a - 22 = 2*u + 4*a. Is (-88)/u - (-2)/(-1) a composite number?
True
Let l(p) = 2*p**2 + 4*p + 3. Let d be l(-2). Suppose 0 = -d*h + 6*h + 4*k - 791, 519 = 2*h + k. Is h a prime number?
True
Is (3/6 + -2)*-226 a prime number?
False
Let q = -1 + 16. Let r = 308 - q. Is r composite?
False
Let p(f) = f**2 - 3*f + 3019. Is p(0) a composite number?
False
Let d(y) = 3*y**2 - y. Let u be d(-4). Let g = -3 + u. Is g a composite number?
True
Let g(d) = d**3 + 8*d**2 + 6*d - 10. Let n be g(-7). Let h(k) = -5*k - 4 + 3*k**2 - 5*k**2 + k**2. Is h(n) a prime number?
True
Suppose f - 37 = -2*k, 2*k + 10*f - 5*f - 25 = 0. Suppose 4*l = -0*l + k. Suppose -6*g + 37 = -l*g. Is g a prime number?
True
Let f = -61 + 96. Let n = f + -19. Suppose -2*b + 0*a = -3*a - 8, n = 2*b + a. Is b a prime number?
True
Is (-1 - -4) + -4 + 877*6 composite?
False
Suppose 0 = -5*l - 93 + 1358. Is l a prime number?
False
Let c(w) = -48*w**3 - 1 + 0*w**2 + w**2 + 2*w**2 - w**2. Is c(-1) a composite number?
True
Suppose 0 = -0*f + 4*f - 4. Let p = -10 + 9. Is (f/p)/((-2)/318) a prime number?
False
Suppose 2*h - 5 = 7*h. Is h/(2/(-38)) - 0 a composite number?
False
Let w(g) = -9*g - 1. Let t be w(-3). Let i = t - -53. Is i a composite number?
False
Let l be (-3 - (-7)/3)*-33. Let b = 101 - l. Is b a prime number?
True
Suppose 0*s + z = 3*s - 603, -2*s + 410 = 2*z. Is s a prime number?
False
Let f = -5457 + 8414. Is f a prime number?
True
Let m(y) = 11*y**2 + y - 1. Let o be m(1). Suppose 40 = a - o. Is a prime?
False
Suppose m + m = 0. Suppose m = -0*y + 2*y - v + 6, 2 = -2*y + 3*v. Is (53/4)/(y/(-16)) a composite number?
False
Let t be 2 + -4 + 1 + 0. Let i = 2 - t. Is -26*(i + -1 + -3) a composite number?
True
Let d(z) be the second derivative of z**4/6 + z**3/6 - z**2 - 4*z. Is d(3) composite?
False
Let v(d) = 3*d**3 - 4*d**2 + d + 40*d**3 + 4*d**2. Let i be v(1). Suppose -i = -o + 5*s, -o + 5*o - 2*s = 86. Is o a prime number?
True
Suppose 2 = 5*s + 17. Is 311 + s + 3 + -4 a composite number?
False
Let s = -3 + 3. Suppose -2*j + i + 24 = s, -3*j + 73 = 3*i + 19. Is j composite?
True
Let d(f) = -2*f + 21. Is d(5) composite?
False
Suppose 5*q + 3 = 23. Suppose 104 = q*t - u, t + 4*u + u = 26. Is t a composite number?
True
Let h = 317 + -187. Suppose -5*d - 565 = -4*r, -3*r + 308 = d - h. Is r composite?
True
Is ((4/(-3))/(-4))/((-8)/(-27384)) a composite number?
True
Let x(o) = o**3 - 4*o**2 + 3*o. Let i be x(3). Let f = i - -2. Suppose 4*t - 28 = f*t. Is t prime?
False
Let s = 15 + -8. Suppose 40 = 3*a + s. Suppose 23 = n - a. Is n prime?
False
Suppose g - 2*h = 16, 5*g - 3*h = -h + 96. Suppose 2*x - 8 = g. Is x composite?
True
Let t be 6 + (-1 + 4 - 1). Let x = 149 - t. Is x a prime number?
False
Suppose 2*q = -5*t + 176, 4*q = -t - t + 368. Suppose q = 2*d + f, d - 4*f - 3 - 30 = 0. Is (-1714)/(-18) - 10/d a prime number?
False
Let j(a) = 27*a**3 + 2*a**2 + a - 2. Let m be j(-2). Is m/(-1) + (0 - 3) a prime number?
False
Suppose -5*q + 4*d + 185 = -2*q, -194 = -3*q - 5*d. Suppose -2*m + q = -43. Is m composite?
False
Is (-9)/3 - (-726 + 4) a composite number?
False
Let d = -584 - -1878. Is d a prime number?
False
Let m = -1 + 4. Suppose -9 = -m*s - 0. 