False
Suppose 0 = -2*b + 3*m + 7630, -5*b - 646 = m - 19687. Is b a composite number?
True
Let a(q) = -5*q**2 + q + 1807. Is a(0) composite?
True
Let r be (-16)/(-112) - 56860/(-7). Suppose -r = -3*s + 6166. Is s prime?
False
Suppose 0 = -q + 3*q - 4. Suppose 0 = -2*r - q*r - 84. Is ((-56)/(-24))/((-1)/r) prime?
False
Let y(l) = 59*l**2 + 8. Is y(-7) a prime number?
False
Let f(c) be the second derivative of -c**5/20 + c**4/12 + 751*c**2/2 + 5*c. Is f(0) a prime number?
True
Suppose -5*q = -292 - 1833. Let z = q - 110. Suppose 5*j - z = 110. Is j prime?
False
Let q be (5 - (-9 - -14))*1/(-4). Suppose 3*c + 5*z - 3199 = z, q = -z + 4. Is c a prime number?
True
Is 12/(-15) - 21969/(-5) a composite number?
True
Let p = -1408 + 2464. Suppose 20 = k - 5*k, n - p = 3*k. Is n composite?
True
Suppose 3*d = -1 + 49. Let c be (900/(-16))/((-2)/d). Let j = c - 233. Is j prime?
False
Suppose 0 = 3*l + u - 39, 13 = -5*l + u + 86. Is ((-2962)/6)/(l/(-42)) composite?
False
Let x(f) = -2*f**3 - 9*f**2 - 3*f + 8. Let n be x(-4). Suppose 399 = -h + n*h. Is h prime?
False
Let o(g) = -2*g + 0*g - 3*g. Let q be o(2). Is 4/q + (-776)/(-40) a prime number?
True
Is ((4990/(-4))/(-5))/((-6)/(-12)) a composite number?
False
Let k be (-8)/(-28) - 1552/(-7). Is (k/(-9))/((-2)/3) composite?
False
Let y = -5 + 10. Suppose 0*z = y*z - 80. Let u = z - -10. Is u composite?
True
Suppose 3*t - 1 = 2*t. Is (0 + 1)*(195 - 4/t) prime?
True
Let m(r) = -355*r + 4. Suppose -k - 5 = 0, -3*i - 5*k = -0*i + 52. Is m(i) prime?
False
Suppose -2*s + b = -6, -2*b + 1 = -s + 4. Suppose s*u = 2*u + 1841. Is u composite?
True
Let l(r) = -r**3 - 4*r**2 + 8*r - 2. Suppose 4*s = 30 - 2. Suppose s*y = 4*y - 21. Is l(y) a prime number?
True
Let a(o) = o**2 + o - 39. Let w be a(0). Suppose 2*i = r + 506, 0*r = 2*i - 3*r - 502. Let c = i + w. Is c prime?
False
Suppose -2*y - 281606 = -28*y. Is y a prime number?
True
Let x(u) = 41*u**3 + 4*u**2 - 4*u - 2. Let w be x(4). Let n = -1417 + w. Is n composite?
True
Suppose 0 = -2*b + 2*s + 8976, 23*b - 21*b + 3*s - 9001 = 0. Is b a composite number?
False
Let g(b) be the third derivative of b**6/120 + b**5/6 - b**4/6 - 3*b**3/2 + b**2. Is g(-6) prime?
False
Suppose -544*k + 1255 = -539*k. Is k a prime number?
True
Is 26/22 + -1 + (-74250)/(-242) composite?
False
Let m = 80 - 44. Suppose o + 3*o = -m. Is (6/o)/((-4)/546) a composite number?
True
Suppose 3*i - v = -31, 3*i - i + v = -29. Let x be 20102/8 + (-3)/i. Suppose d = -4*r + x, -d = r + 3*d - 617. Is r a prime number?
False
Let i = 730 + -688. Let k(r) = 10*r**2 + 4*r. Let l be k(-4). Suppose 0 = -3*u - i + l. Is u a prime number?
False
Let r be ((-60)/(-16))/((-12)/160). Is 3/(-5) - (-5)/(r/(-3956)) prime?
False
Let v be (-41697)/36 + (-4)/(-16). Let d = 3107 + v. Is d a composite number?
False
Suppose -3*v + 8*v = 10310. Let n = 3597 - v. Is n prime?
False
Suppose 4*z + 978 = -2*o, 0*o - 4*z = -2*o - 970. Let s = o - -1196. Is s a composite number?
False
Let k(r) = 15*r**2 + 12*r + 111. Let s(x) = -8*x**2 - 6*x - 55. Let a(c) = 3*k(c) + 5*s(c). Is a(-17) composite?
True
Let a(l) = 7*l**3 - 2*l**2 + l - 4. Let u = 17 - 15. Is a(u) a prime number?
False
Let b(r) = -r + 4. Let k be b(4). Suppose 0 = -2*a - k*a. Suppose -s + 36 + 79 = a. Is s a prime number?
False
Let d = -71 + 73. Is (d - 15/9) + (-31092)/(-9) a prime number?
False
Let w(c) = c**3 + 13*c**2 - 2*c + 4. Let u be w(-13). Suppose -d - u = 4*d. Let p(s) = 3*s**2 - 4*s - 5. Is p(d) composite?
False
Suppose -4*u + x = -67487, -118*u = -119*u + 3*x + 16880. Is u composite?
False
Let k(o) be the second derivative of 7*o**5/20 + 2*o**3/3 - o**2 - 8*o. Is k(3) a prime number?
True
Let r(t) be the second derivative of t**5/20 + 7*t**4/12 + t**3/2 + 2*t. Let o(c) = -4*c**2 - 2*c + 1. Let k be o(1). Is r(k) a composite number?
True
Let c(o) = -o**3 - 9*o**2 - 5*o - 7. Let v(p) = -p**3 - 10*p**2 - 6*p - 7. Let w(x) = -3*c(x) + 2*v(x). Is w(-4) prime?
True
Suppose 1755 = 10*b - 13*b. Let z = b + 1336. Is z a composite number?
False
Let f(s) = -92*s**3 + 2*s + 4. Let d be f(-5). Is d/(-28)*(-3 + -1) a prime number?
False
Let m be 1 + 1 + (-2 - -2). Suppose m*a - 1 = 5. Suppose -b + r + a*r = -95, -2*r = 4*b - 308. Is b a prime number?
True
Let f(m) = -15*m**3 - 5*m**2 - 3. Suppose -3*r + 5*l = -2*r - 21, 13 = 3*r - 5*l. Is f(r) composite?
False
Let f(s) = -43*s + 9. Let j be (-4)/10 - (-56)/(-10). Let b be f(j). Let g = 518 - b. Is g a composite number?
False
Suppose -2*x - b - 61 = -7*x, 2*x + 4*b = 20. Let p(w) = 4*w**2 - 16*w + 13. Is p(x) prime?
True
Let w = -5858 + 9505. Is w prime?
False
Suppose 5*s + 12 - 32 = p, -s + 15 = 2*p. Suppose -2*m + n - 4*n = -143, -25 = s*n. Is m a prime number?
True
Let y be 0/(-3 + (4 - 4)). Suppose -3*i + 2*d = -1441, 2*i - 3*i - 4*d + 471 = y. Is i prime?
True
Let i = 762 + -295. Is i a prime number?
True
Suppose -4*f - 6880 = -4*t + 2444, -2*f + 7003 = 3*t. Is t prime?
True
Suppose 0 = 4*h + 12 - 0, -2*h = -4*o + 722. Suppose v - 6 = o. Is v composite?
True
Is 7/(28/(-3070))*-2 composite?
True
Let y(t) = 4*t**2 - 5*t + 9. Let i be y(-7). Suppose 5*g = i + 1345. Is g prime?
True
Let p(z) = 4*z**3 + 219*z**2 + 46*z - 37. Is p(-50) a composite number?
True
Suppose 3*r = 5*t + 14, -2*r = -3*t - 3 - 7. Let v(m) = 22*m + 2. Is v(r) a composite number?
True
Suppose 0 = -80*p + 84*p - 8380. Is p a composite number?
True
Let b(g) = -g**3 + 4*g**2 - 2*g. Let c be b(3). Suppose -5*s + 4 = -c*s. Suppose 49 = s*u - 373. Is u prime?
True
Let x(i) be the third derivative of i**5/30 - i**4/12 - i**3 - 3*i**2. Suppose -5*l = 5*h - 5, l - 3*h + 19 = -0*h. Is x(l) composite?
True
Let d(g) = 22*g - 18. Let c be d(-16). Let h = c - -591. Is h prime?
False
Let n(h) = -53*h - 238. Is n(-27) prime?
True
Suppose 2*y + 3*y - 15 = 0. Suppose -y*f + 242 = -97. Is f prime?
True
Let n(z) = 30*z + 6. Let o be n(6). Let y = o + -68. Suppose 4*f - 518 - y = 0. Is f a prime number?
False
Suppose 3*n + n + 332 = 0. Let l be ((-3)/(-2))/(9/708). Let s = n + l. Is s a composite number?
True
Let d = -68 + 56. Suppose 2*y = t - 3*y - 6, 3*t - y - 4 = 0. Is (-967 - d)/(0 - t) a prime number?
False
Suppose -4 = -3*t + 2. Let s(m) = -3*m**3 - 5. Let y be s(-3). Suppose -2*w = -t*p - 1960, -2*p + 3874 + y = 4*w. Is w prime?
False
Let f = 0 - -2. Suppose -5*s - 2 = 4*m, -f*s + m + 7 = -0*s. Suppose 4*l = s*l + 158. Is l prime?
True
Is 55194*((-38)/12 + 4) a composite number?
True
Suppose -y + 356 + 62 = 5*q, -3*y + 1302 = 3*q. Let v = -229 + y. Is v prime?
False
Let d = -415 - -637. Suppose -3*m = 3*l - 2 - 4, 0 = -m - 3*l + 6. Suppose -a = -4*i + d, m + 6 = -3*a. Is i a prime number?
False
Suppose 2*t - 2*r = -4, -27 = t + 4*r - 0*r. Let o(f) be the second derivative of 5*f**4/12 - 3*f**3/2 - 7*f**2/2 - 2*f. Is o(t) composite?
True
Suppose -3*g - 508 = s + 997, -7460 = 5*s + 2*g. Is s/(-18) - (-12)/54 a composite number?
False
Let p = 8 + 1. Suppose -2*c = -p - 1. Suppose 3*i + i - q = 156, 3*i + c*q - 94 = 0. Is i a prime number?
False
Suppose -3*k - 5774 = -w, -19*w + 2*k = -18*w - 5774. Is w a prime number?
False
Let v(a) = 30*a + 11. Suppose -3*g + 48 = 5*g. Is v(g) composite?
False
Let c = 4423 + -3014. Is c prime?
True
Let f = -48 - 10. Let j be ((-6)/5)/(1/10). Let y = j - f. Is y a composite number?
True
Let z = 39 + -42. Let d(p) = -37*p + 4. Is d(z) a composite number?
True
Suppose 0 = -3*a + 4*s + 1204, -5*a + 3*s + 2015 = -2*s. Let n = a - 100. Let z = n + -15. Is z prime?
True
Let j = -3426 - 425. Let s = j + 5820. Is s prime?
False
Let z(u) = 25*u**2 - u + 3. Let c(l) = l - 1. Let n(q) = 5*c(q) + z(q). Is n(2) composite?
True
Let z(t) = -5*t - t - 5 + 1 + 3*t. Let c be z(2). Let u(d) = d**3 + 14*d**2 - 6*d + 7. Is u(c) a prime number?
True
Let m = 16 - 8. Let p = m + -12. Is (-1071)/(-12) + 1/p composite?
False
Let i(j) = -2*j - 20. Let d be i(-12). Suppose 0 = -3*s + 3*h + 300, d*s + 2*h = 392 - 10. Is s a prime number?
True
Let c(z) = -631*z**3 + 11*z**2 + 17*z + 13. Is c(-4) a composite number?
True
Suppose 131*t + 5679 = 134*t. Is t composite?
True
Let k(m) = -865*m + 351. Is k(-4) prime?
False
Let n be 1769*(-4)/32 + (-3)/(-24). Let t be 354 - 0/(5 + -3). Let m = t + n. Is m prime?
False
Suppose -2*r + 4 = -2, -4*g + 3*r - 9 = 0. S