 -3*z. Is (-1)/(-6) - (-317)/t prime?
True
Suppose 2*o - 4*o + 8 = 0. Let d be (-17)/4 + 1/o. Let r(j) = -3*j - 1. Is r(d) composite?
False
Let q(h) = 33*h**2 - 4*h + 3. Is q(2) a prime number?
True
Suppose g = 230 + 206. Let b be g/22 - (-4)/22. Let f = -10 + b. Is f composite?
True
Let z = -554 - -1114. Suppose -w = 5*c - 4*w - 1402, 2*c - z = w. Is c a composite number?
True
Suppose -3136 = -3*i + 695. Is i prime?
True
Let a(p) be the second derivative of p**4/4 - 2*p**3/3 + 3*p**2/2 - p. Let g be a(7). Suppose 0 = f + 9 - g. Is f composite?
False
Let f(w) = -587*w**3. Is f(-1) a composite number?
False
Let b be ((-3)/(-2))/(12/16). Let d be 175/(-15) + b/(-6). Is d*(-3)/((-24)/(-38)) a prime number?
False
Let z(t) = 20*t**3 - 2*t**2 - t - 1. Suppose -1 + 5 = 2*a, 4*a - 4 = 2*l. Is z(l) a composite number?
False
Let h = 109 - 50. Is h composite?
False
Suppose 0 = v + l + 4*l - 864, 0 = 5*v - 5*l - 4350. Is v composite?
True
Is -3*(-3)/15*295 a composite number?
True
Is 5 - (5 - (3 - -866)) composite?
True
Is 6775/13 - 2 - 2/13 a prime number?
False
Let f(d) = 66*d - 13. Is f(3) a prime number?
False
Suppose -t - 4*p - 5 = 0, -2*p = -4*t + 2*p. Let v(y) = 186*y**2 - 2*y - 1. Is v(t) a prime number?
False
Let z(i) = i**3 + 4*i**2 - 4*i + 3. Let a be z(-5). Let j be a/7 + (-282)/42. Let y = j + 13. Is y composite?
True
Suppose 4*n - 6 = n. Is 1/n*(-674)/(-1) a composite number?
False
Is 2696/10 + 2 + (-3)/5 a prime number?
True
Let z(w) = w**2 + 2*w**2 - 4*w**3 - 6*w + 2*w**3 - 13*w**2 + 3. Is z(-6) composite?
True
Let j = 19 + -20. Is 316/(-16)*j*8 a composite number?
True
Suppose 209 = -3*v + 4*v + 5*m, 3*m - 979 = -5*v. Is v prime?
False
Suppose -a + 0*u + u = -355, u + 713 = 2*a. Is a prime?
False
Let w(f) = -18*f - 7. Let c be (-30)/225 - 133/15. Is w(c) a prime number?
False
Let m be 15/(-5) - (59 + -1). Let l = m - -308. Is l prime?
False
Suppose -3*b + 6*t - 2*t = -381, 4*b = 3*t + 508. Is b a composite number?
False
Let k be (-60)/(-5) - 0/1. Let q be k/7 - 6/(-21). Suppose 2*m = p - q*p + 71, 5*p - 375 = -5*m. Is p a prime number?
True
Let f be (-2)/(-4)*(-48)/(-4). Is (-345)/(-27) - f/(-27) a composite number?
False
Let u be -2 + 2 + -2 + 3. Let j = 1 - u. Let i = j + 19. Is i a prime number?
True
Suppose -5*t - 927 = -j, 2*j + 389 = -t + 2199. Is j prime?
True
Suppose -2 = -3*a + a. Let j be (-105)/(-12) - a/(-4). Let s = 18 - j. Is s composite?
True
Let i(k) = -10*k - 1. Let y be i(-6). Suppose 0 = -6*s + 3787 + y. Is s a composite number?
False
Let m be ((-21)/12)/(2/8). Let v = 10 + m. Suppose 4*i - 174 = -j - 31, 0 = -v*j - 4*i + 469. Is j a composite number?
False
Suppose -5 = -2*d - 1. Suppose 3 = k - n, n = 2*k + d*n - 9. Suppose -267 = x - k*x. Is x a prime number?
True
Let b(y) = -201*y - 13. Is b(-6) a prime number?
True
Let q(c) be the third derivative of c**5/3 - c**3/6 - c**2. Suppose 3*d + 2*k - 4*k - 11 = 0, d - 2*k = 9. Is q(d) prime?
True
Let c = 137 - 84. Is c prime?
True
Let v(z) = -60*z + 19. Is v(-8) a composite number?
False
Let o = 398 - 685. Let r = -166 - o. Is r prime?
False
Let x(a) = -a + 1. Let g(i) = 16*i + 7. Let p(c) = -g(c) + 4*x(c). Is p(-2) prime?
True
Suppose 0 = -s - 4*z + 258, -12 = 2*z + z. Suppose -s = -g - 57. Is g a prime number?
False
Let s = 673 - 378. Is s composite?
True
Let c = 724 - 279. Is c prime?
False
Let n(z) = 36*z**2 + 2*z + 1. Is n(2) prime?
True
Let w(r) = r - 1. Suppose 2*o + u - 6 - 11 = 0, -2*o = -4*u - 32. Let l be w(o). Is ((-6)/l)/(2/(-381)) a composite number?
False
Is (-1)/6 - (-26942)/12 a prime number?
False
Let d be (18/(-3))/((-6)/4). Is (1 - 0)/(d/12) a prime number?
True
Suppose 0 = 5*l - 5*t + 5, 0*t = 3*l - 4*t + 8. Let a = 8 - l. Is 765/6 - 2/a a prime number?
True
Let v(r) = 18*r + 7. Is v(12) a prime number?
True
Let h(l) = -l**2 + l + 4. Let w be h(0). Suppose -140 = 4*z - 4*n - n, -16 = w*n. Is 0 - 2 - (z - -1) a prime number?
True
Suppose -6*f - 206 + 1280 = 0. Is f prime?
True
Suppose 2*z + z = -2*o + 140, -3*z + 4*o = -134. Suppose -89 = -5*g + 2*l + 28, -l - z = -2*g. Is g composite?
True
Let a(q) = 5*q**3 - q**2 + 2*q - 1. Let m be a(1). Suppose 0 = -j - m*s + 82, -4*s + 127 = -4*j + 383. Is j prime?
True
Suppose 0 = -0*i + i + 3. Let v = 3 + i. Suppose 2*r + r - 207 = v. Is r a prime number?
False
Let x = 12 + 84. Suppose 3*f = 3*p - p + 268, 2*p = f - x. Is f prime?
False
Let c = -6 - 78. Let l = c + 118. Suppose 4*y + l = w, -4*w = -5*y - 17 - 64. Is w a prime number?
False
Let j(r) = -3 - 3*r - r - r. Is j(-5) composite?
True
Let x = 35 - 15. Suppose -x = 2*l - 4*d, -6*d = -d - 25. Is (-2 - l)/(4/(-14)) prime?
True
Let r be -69*((-140)/6)/5. Suppose r = w + w. Is w composite?
True
Let y be (2 + 4/(-2))/(-2). Suppose y = -0*k - 3*k. Suppose -3*l + 423 = -2*c + 36, k = 2*l - 5*c - 269. Is l a prime number?
True
Let c(y) = -8*y + 5. Let r = -10 - -6. Is c(r) composite?
False
Suppose 2*b = 5*b - 5*o - 613, -219 = -b - 2*o. Let g = b - 106. Let w = g + -68. Is w a composite number?
False
Suppose -d - 5 = 0, 0 = 5*u - u + 4*d - 5256. Is u composite?
False
Suppose -3*f + 15 = -0*f. Is (-2)/(f/(2030/(-4))) composite?
True
Let h(v) = -v**3 - 12*v**2 + 21*v + 13. Is h(-18) a prime number?
True
Let y = 259 + -36. Is y a prime number?
True
Let j = 8 - 0. Let z be 34/j + (-2)/8. Let l = 6 - z. Is l composite?
False
Suppose 5*v - 2479 = 4*c, 5*v - 2012 = v - 4*c. Is v composite?
False
Suppose -7*f + 18347 = -7182. Is f prime?
False
Let o(x) = x**3 - x**2 - 326. Let j be o(0). Let s(f) = 460*f - 1. Let a be s(1). Let g = j + a. Is g a prime number?
False
Is (-10)/12*-3*62 a prime number?
False
Let w(x) = x**3 - 7*x**2 - 16*x - 8. Let q be -3 - 0 - (0 + -15). Let o be w(q). Suppose -4*s - 8*c = -4*c - o, 2*s - 245 = 3*c. Is s a composite number?
False
Let f = -10 + 7. Let k be f/(-2)*-134 - -2. Let m = k - -386. Is m prime?
False
Suppose 3*j + 177 = -0*j. Let o = j + 82. Is o a prime number?
True
Let f(t) = 80*t - 53. Is f(12) composite?
False
Let i(v) = 41*v**2 - v + 5. Let w be i(3). Is w - (-1 - (-3 - -2)) composite?
True
Let s = 1161 - 688. Is s a composite number?
True
Is -6*(-1)/2*(-409)/(-3) prime?
True
Let i(u) = -u**3 + 2*u**2 + 3*u + 2. Let x be i(3). Suppose 4*o = 3*w - 2, -x*w + 7*w - 3*o = 7. Suppose 0 = 4*b - w*p - 606, -b + 13 + 116 = 4*p. Is b prime?
True
Suppose 3 = -k - 3. Let b = 8 + k. Suppose 6*y + 3*n = b*y + 273, -5*y = -n - 346. Is y prime?
False
Let c = 291 - -225. Suppose 2*d - 2*w = -4*w + c, 0 = 4*d + 3*w - 1037. Is d prime?
True
Suppose -1 = -3*g + 4*w + 1, -5*g - 5*w = 20. Let c(z) = 2*z**2 + 2*z - 1. Let d be c(g). Suppose 2*y - 3*f = 8 - 2, f = -y + d. Is y a prime number?
True
Let i(c) = -3*c**3 + 5*c**2 + 14*c + 1. Is i(-6) a composite number?
True
Is (-76)/(-16)*(2 - -2) composite?
False
Let b(h) be the third derivative of 7*h**4/24 - 2*h**2. Let k be b(3). Let o = k + 28. Is o a composite number?
True
Is 156/18*(-69)/(-2) composite?
True
Let w = 546 + -199. Let m = 33 + w. Suppose -122 = -2*n + m. Is n a prime number?
True
Let d(a) = a**2 - 11*a + 17. Is d(10) prime?
True
Let u(p) = -5*p - 1. Let x be u(1). Let o be 1292/6 - (-2)/x. Suppose 0 = 3*y + 2*y - o. Is y a composite number?
False
Suppose -7*g - 5554 = -9*g. Is g a prime number?
True
Let b(z) = -z**3 + 7*z**2 - 4*z - 7. Let m be b(6). Suppose -m*v = -4*v - 28. Suppose 0 = 3*h + 2*r - v, r - 39 = -5*h + h. Is h prime?
False
Let a be (-2)/(-5) - (-11379)/15. Let u = a + -454. Is u composite?
True
Let f(r) be the third derivative of 11*r**4/24 + r**3/2 - r**2. Let k be f(-4). Let x = k - -136. Is x a prime number?
False
Let h(o) = -o. Let c(z) = -2*z + 1. Let q(x) = -2*c(x) + 5*h(x). Let j be q(-5). Is 232/6 - j/(-9) prime?
False
Let q = 180 - -14. Is q prime?
False
Is (-46)/1*(-13)/2 a prime number?
False
Let l(v) = 11*v**2 - 14*v**2 + 3 - 25*v**2 + 3*v. Let y be l(-2). Let q = 198 + y. Is q a composite number?
False
Let j(l) = -289*l + 4. Is j(-9) a prime number?
False
Is 2/(-3) - (-1025)/3 prime?
False
Let b(h) = 7*h**2 + 6*h + 6. Let d be b(-4). Suppose d = 5*f - 76. Is f a composite number?
True
Suppose -5335 = -6*g - 5*g. Is g prime?
False
Let b(r) be the third derivative of r**5/12 - 7*r**4/24 + r**3/6 + 3*r**2. Is b(-7) composite?
True
Suppose -x + 4*c - 5 =