?
False
Let i = 8 + -3. Suppose -5*c = z - 0*c + i, -4*z - 89 = -3*c. Let o = 42 + z. Is o composite?
True
Let u(c) = 20*c**2 - 3*c - 2. Suppose -2*t = 4*l + 2*t - 4, -16 = 5*l - 2*t. Let m be u(l). Is -1 + m*7/2 composite?
False
Suppose 6*w = 5*w + 5*r + 69543, -4*w = -4*r - 278204. Is w composite?
True
Let l(b) be the third derivative of b**5/60 + 7*b**4/24 - 7*b**3/6 - b**2 + 44*b. Suppose 2 = f + 3*s, -3*f - 5*s + 5 + 5 = 0. Is l(f) prime?
True
Let f(g) = 1458*g + 1. Is f(2) prime?
True
Suppose m + 0*m = -12. Let b(g) = -7*g + 4418 - 8*g - 4421 - g**2. Is b(m) a composite number?
True
Suppose -42390 = -33*x + 616191. Is x prime?
False
Let o(k) = 35*k**2 - 5*k - 14. Suppose 5*g + 15 = -10. Is o(g) composite?
True
Let t(w) = -122*w + 53. Is t(-9) a composite number?
False
Suppose 4*y + 320 = -4*p, p - 5*p - 300 = -y. Let w = -55 - p. Is w prime?
False
Suppose -232*f + 235*f = 99597. Is f a prime number?
True
Let c(u) = u**3 - 2*u**2 + u. Suppose -2*i = 4*j + 6, 0*j - 6 = -j + i. Let a be c(j). Suppose -5*v + v + 136 = a. Is v prime?
False
Suppose -2*i + 4*i + 33 = j, 5*j - 4*i = 183. Let x be (-1)/(3/7)*j. Let m = 22 - x. Is m prime?
True
Let i(r) = -3*r**3 - 2*r**2 + 3*r - 3. Is i(-10) prime?
True
Suppose 0 = -2*b + 1147 + 359. Suppose b = -0*r + 3*r. Is r a composite number?
False
Suppose 6*j + 279 = 11*j + 2*r, j - 4*r - 47 = 0. Is j composite?
True
Suppose 4*i + 93705 = 5*x, 5*i = x - 5*x + 74923. Is x prime?
False
Suppose -4*z + 10 = f, 3*z - 2*z - 4*f + 6 = 0. Suppose i + 5*t = 107, 0*i - 3*i + z*t = -389. Is i prime?
True
Let t(f) = 26 - 5 - 151*f - 12*f. Is t(-4) a prime number?
True
Let x(i) = -5*i - 10. Let g be x(-3). Is 2/g + (-1266)/(-10) a prime number?
True
Suppose 0 = -4*h + 4*m - 20, -2*m = -4*h - 0*m - 10. Suppose 0 = -c + 14*c. Suppose c = -h*k + 4*k - 1172. Is k a composite number?
False
Suppose -b + 0*b = 2*b. Let p(o) be the third derivative of o**6/120 - o**4/24 + 293*o**3/6 + 2*o**2. Is p(b) composite?
False
Suppose 2*s + 50627 = 3*w - 0*s, -4*w + 67512 = 2*s. Is w a composite number?
True
Let w(p) be the third derivative of 1/8*p**4 + 10*p**2 - 3/2*p**3 + 0 + 0*p + 7/60*p**5. Is w(4) prime?
False
Let j(o) = -2*o + 10. Let f be j(5). Suppose -3*k + 2 + 1 = y, f = 3*y - 2*k + 13. Is -10 - -8 - 71*y prime?
True
Suppose -11*h + h + 37220 = 0. Is h a prime number?
False
Let x be -3 - 26 - (-3 + 1). Is ((-9)/x)/(2/414) a composite number?
True
Suppose 3*f - 3*l - 3 = -0*f, 5*l = 10. Suppose -n = -f*o + 20, -2*o - 4 = 4*n + 6. Let m(t) = 10*t**2 - 8*t - 1. Is m(o) a composite number?
True
Let n = 75 - 62. Suppose n*u - 1268 = 9*u. Is u composite?
False
Suppose 0 = 2*s - k - 2*k, -3*s + 2*k = 0. Suppose s = p + 2*d - 305, -4*p + d = -5*p + 306. Is p a composite number?
False
Let p(m) = 43*m**2 + 4*m + 5. Let a be p(4). Suppose -786 = -5*c + a. Is c a prime number?
False
Let f(z) = 961*z - 8. Is f(1) a prime number?
True
Suppose -10*y = -8*y - 4. Suppose y*z = -62 + 1040. Is z a prime number?
False
Let u(b) = 4*b**3 + 7*b**2 - b + 19. Is u(8) a composite number?
True
Let r(t) be the first derivative of t**4/4 - 5*t**3/3 - t**2/2 - 6*t - 4. Let c be r(-5). Let b = c - -370. Is b prime?
False
Suppose 0 = 4*m - 2*j - 14990, -14*j + 15*j = -3. Is m composite?
True
Suppose 0 = 2*o - 2 - 4. Suppose a - 261 = -a - t, -399 = -o*a - 4*t. Is a prime?
False
Let k(l) = -l**3 + 16*l**2 + 16*l - 49. Let y be k(17). Let a be (2 - 1)*1 - -15. Is (a/(-24))/(4/y) a composite number?
False
Suppose -4*z - z = -6*z. Suppose -5*g = -1752 - 483. Suppose z*n + 3*n = g. Is n prime?
True
Suppose -4*j - 117 = -4*i + 167, 0 = i + 4*j - 61. Suppose 0 = -0*k + k - i. Suppose 2*s - 5*s = -k. Is s composite?
False
Let d(y) = -10086*y**2 - 2*y - 2. Let j be d(-1). Is (5 - 1)*(j/(-24) + 3) a prime number?
True
Suppose 0 = 29*j - 255914 - 160845. Is j composite?
True
Suppose c + 0*c + 3 = 0, 3*c = z + 380. Let x = z + 1602. Is x prime?
True
Suppose 3*f - 2899 = 2*f. Is f a composite number?
True
Let v be 2/(-3) - 40/(-24). Let g be v/2*(-64)/(-8). Suppose g*s - 2*s - 526 = 0. Is s composite?
False
Suppose 16*x + 5*x = 84. Let l(b) = -b. Let i be l(0). Suppose i = x*r, 5*v + 0*r - 445 = r. Is v a composite number?
False
Let s(g) be the second derivative of g**3/6 + 2*g**2 - 12*g. Let i be s(-4). Suppose -2*w + 1610 + 348 = i. Is w composite?
True
Suppose f - 137 - 38 = 0. Let p = f - -448. Is p prime?
False
Suppose 10*w - 5*w - 2101 = -2*n, -w + 2*n + 413 = 0. Is w composite?
False
Let g = -70 + 72. Is 2599 + g/(-1) + 2 a prime number?
False
Let r(l) = -42*l**2 - 4*l - 8. Let m be r(6). Is 1/((-2)/m) + -1 composite?
True
Let z(g) = -g - 1. Let v be z(-6). Suppose -2*x - v = -11. Suppose -4*o = -x*o - 39. Is o a composite number?
True
Let a = -7 - -16. Let c(w) be the third derivative of -w**5/60 + 13*w**4/24 + w**3/2 - 23*w**2. Is c(a) prime?
False
Suppose -12508 = -6*m + 149066. Is m composite?
True
Let h be (-25476)/28 - 1/(-14)*-2. Let n = h - -1901. Is n a prime number?
True
Suppose -22 = -5*i + 2*y, i = y + 3*y + 8. Is i + 0 - (-466 + 3) composite?
False
Suppose o = 17098 - 4955. Is o a prime number?
True
Suppose 2*g - 10 = -4. Suppose -2*q + 5*w + 31 = 4*w, -2*q - g*w = -19. Is q a prime number?
False
Is (-2 - (-3)/6)*(-20614)/3 a prime number?
False
Let b(v) be the first derivative of -2/3*v**3 + 1/4*v**4 + 3/2*v**2 - 6 - 3*v. Is b(5) prime?
False
Is 14372*(-8 + 15) + 9 prime?
True
Suppose 0 = 3*b + 3*q - 46527, -b - 58*q = -60*q - 15509. Is b composite?
True
Suppose -5*y - 54 = 2*f, 4*y + 24 = y - 4*f. Let u = 2090 + y. Is u a composite number?
True
Suppose 2*t - 2*x - 428 = 0, 6*x = 2*t + 8*x - 408. Is t composite?
True
Let x(s) = s**2 - s. Let f(r) = -7*r**2 + 2*r - 5. Let o(c) = c**2 - 5*c + 1. Let l be o(2). Let a(d) = l*x(d) - f(d). Is a(6) prime?
False
Let b = 4665 - -1882. Is b prime?
True
Suppose 3*s = 4*d - s, -3*d - s + 8 = 0. Suppose 3*q - 9 = -j + d, 5*j + 5 = 5*q. Suppose j*u = 5*u - 645. Is u composite?
True
Let a(n) = -n + 11. Let z be a(7). Suppose 115 = -z*q + g + 3571, 3*q - 5*g = 2609. Is q composite?
False
Suppose -4*c = -5*u - 1041, 3*u - 433 = -2*c + 82. Let k = 534 + c. Is k a composite number?
True
Is (2 - (-35)/(-10))/((-9)/1842) composite?
False
Let h(n) = 22*n**2 + 21*n - 49. Is h(8) a composite number?
True
Let u = 2841 + -1888. Is u composite?
False
Let f(q) = 33*q**3 - 6*q**2 + 8*q + 6. Is f(7) prime?
True
Let l = -1595 + 3105. Let u = l + -33. Is u prime?
False
Suppose 0*m + 28 = 7*m. Suppose m*o - 1606 = n + 1102, 3*o - 3*n - 2031 = 0. Is o composite?
False
Is 27208/14 - ((-72)/28)/(-6) composite?
True
Let y be 100/17 - ((-66)/(-17) - 4). Let b(n) = -n + 1. Let m(l) = l**2 - 10*l + 9. Let d(s) = -5*b(s) + m(s). Is d(y) composite?
True
Suppose 5*v = 20, 6*v = 4*w + 5*v - 11112. Is w prime?
False
Let w(a) = -a**2 - a + 4. Let z be w(-4). Let b(x) = 7*x + 3*x**3 - 9 - 3*x**3 + 2*x**2 - 7*x**2 - x**3. Is b(z) a prime number?
True
Suppose g - 2 - 4 = 4*d, -4 = -3*g - 2*d. Suppose g*y = y - s + 4, 2*y + 3*s = 10. Is 6*(y - (-195)/9) a composite number?
True
Let d = -737 + 96334. Is d prime?
True
Suppose 7 = 5*n + 2*r - r, -6 = 2*r. Is (4468/4 + n)*1 prime?
False
Let s(f) = -8*f + 5. Let j be (-4)/6 + (-58)/(-6). Let p = -15 + j. Is s(p) a composite number?
False
Let d(h) = 2347*h + 246. Is d(13) prime?
True
Let o = 263 - 135. Suppose -2300 + o = -12*n. Is n a prime number?
True
Suppose -4*p - 3*v = -56636, -4*p + 56636 = -111*v + 115*v. Is p prime?
True
Let v(l) = 3*l**2 + 2*l + 1. Let z be v(-1). Suppose z*a + 5*s - 6 = 0, 3*s + 6 = 2*a - s. Suppose a*r + 1125 - 3084 = 0. Is r a prime number?
True
Let x be -15 + 2/(-6)*-3. Let p be (-1310)/x + (-3)/(-7). Let m = p - 51. Is m a prime number?
True
Let q = 17 - 17. Suppose -5*v + 1765 + 240 = q. Is v prime?
True
Let x = 7688 + 1197. Is x a composite number?
True
Let y = 62686 + -41255. Is y a prime number?
False
Let o = 28 - 25. Suppose 5*m + 514 = o*t + 117, -4*t = 4*m - 572. Is t a composite number?
False
Suppose -15 = -3*w - 2*w. Suppose 5*l - w*l = 166. Is l a composite number?
False
Suppose 4*v = -5*t + 26074, -2612 = -v + 4*t + 3917. Is v a prime number?
True
Let o(j) = -17*j + 7. Let i(c) = -c - 11. Suppose 6*b + 15 + 15 = 0. Let a be i(b). Is o(a) prime?
True
Let n(w