= -n + 1217. Suppose 0 = -2*l + 348 + n. Suppose 0*g = 2*g - l. Is g a prime number?
True
Suppose 11*r - 19 - 58 = 0. Suppose -6*b = -r*b + 677. Is b a composite number?
False
Suppose 34*c = 2133384 - 421246. Is c a composite number?
True
Is (-10)/((5 + -12 + 3)/18206) a composite number?
True
Is 5399 - (3 + (-7)/1) prime?
False
Let j = 5 + -8. Let r(b) = 2*b**2 + 3*b. Let m be r(j). Suppose m = 3*i, 2*d - 139 - 162 = -5*i. Is d a prime number?
False
Let h(j) = 644*j + 2. Let o be h(1). Let r = o - 237. Is r prime?
True
Let i = 29066 + -11095. Is i prime?
True
Let m be -5*-1*6/3. Suppose -2*l = -m*l + 5608. Is l a composite number?
False
Let q = 14 + -12. Let k be 0/(2/(-2)) - q. Is ((-79)/3)/(k/6) a composite number?
False
Let j = 13655 - 6312. Is j a prime number?
False
Let f(n) = n**3 + 26*n**2 - 29*n - 53. Let p be f(-27). Is 0 - (-502 - p - -4) a prime number?
True
Suppose 0 = 2*f - 2223 - 5471. Is f prime?
True
Let i = 350284 + -150627. Is i a prime number?
True
Let h(v) = v**3 - 9*v**2 + 10*v - 13. Let m be h(8). Let z be 870/7 - 2/7. Suppose -b + z = m*b. Is b a composite number?
False
Let f(c) be the second derivative of -8*c + 19/2*c**2 - 2*c**3 + 0. Is f(-17) a prime number?
True
Suppose 0 = 5*b - 3*b + 4*i - 114560, 3*i = 4*b - 229087. Suppose 6*x + 8*x - b = 0. Is x composite?
False
Let l = -12 + 25. Let b be 1*4 + (-658 - l). Is b/(-3) + (-2)/(-3) a prime number?
True
Let o(c) = -c**3 - 4*c**2 - 3*c - 4. Let r be o(-3). Let y be (2/(-6))/(r/(-24)). Is 52/(-2)*3/y prime?
False
Is ((-11)/44)/((-2)/281128) composite?
False
Suppose 2*b = 5*h - 30, -2*h - h - b + 7 = 0. Suppose 5*k = -2*n + 10, -k - 4*k + 10 = -h*n. Suppose -2*p + 27 - 7 = n. Is p composite?
True
Let x(o) = -3*o - 12. Let z be x(-8). Let n(c) = 292*c + 7. Is n(z) a composite number?
False
Let o(d) = 6*d**2 + 28*d + 9. Is o(7) composite?
False
Let m(j) = 51*j**2 - 10*j - 3. Let u be m(-6). Suppose p = -2*p + u. Is p composite?
False
Let z be (-1 + 7)*(15/5)/9. Let m(q) = 15*q + 7. Is m(z) a prime number?
True
Suppose -4*p + 0 = -4*n - 16, 4*n + 7 = p. Let j(y) = -3832*y**3 + y. Is j(n) a prime number?
False
Is (-42)/(-30)*5 - -2812 a prime number?
True
Let p = -13 + 18. Suppose 3*r = p*r - 266. Let u = r - 74. Is u composite?
False
Let f = -4471 + 7334. Is f composite?
True
Suppose 4*h = 3*f - 20299, 8*h - 6*h + 20291 = 3*f. Is f composite?
False
Suppose 13*n + 6 = 58. Suppose n*q - 2*q - 1490 = s, 2*s = q - 745. Is q a prime number?
False
Let t(q) = 67*q + 5. Let m = -38 + 45. Suppose -m*c + 6 = -4*c. Is t(c) prime?
True
Is 74614 + ((-11 + 6)/5)/(-1) composite?
True
Let x = 14397 + 39724. Is x a prime number?
True
Let l = 2984 - -443. Is l prime?
False
Is 156604/10 - (81/45)/(-3) a prime number?
True
Let d(r) = 7861*r**2 + 12*r + 4. Is d(-1) prime?
True
Suppose 2*d = -2*d - 904. Let l be 1118/6 - (-2)/3. Let n = l - d. Is n composite?
True
Suppose -8*m + 34*m = 204334. Is m composite?
True
Suppose -3*f + 78 = 24. Suppose 4*y + f + 70 = 4*n, -3*y + 102 = 5*n. Is n a composite number?
True
Let a = 4 + -2. Let f = -10 - -16. Suppose -a*p = -f*p + 508. Is p a composite number?
False
Let o(x) = -x**2 - 8*x + 3. Let r be o(-5). Is (r/15)/(4/70) a prime number?
False
Suppose 0 = g + 2*g + 6. Let h = -127 + 118. Is (3/h)/(g/1602) prime?
False
Let w(j) = -j**3 + j**2 - 25*j - 60. Is w(-5) a prime number?
False
Suppose 10 + 6 = 4*z. Suppose 4*p = -b + 792, z*b - 3*p - 221 - 3004 = 0. Suppose 0 = -3*r - j + 74 + b, -j + 1171 = 4*r. Is r a prime number?
True
Let h(v) = -74*v + 79. Let d be h(31). Let c = d - -7064. Is c a composite number?
True
Let l = 1 - 1. Suppose -f + 1164 + 6823 = l. Suppose 11*n - f = 4*n. Is n composite?
True
Suppose -2*v + 128048 = 14*v. Is v composite?
True
Let o(q) = -7*q - 1. Let k be o(2). Let i(z) be the second derivative of -7*z**3/6 - 8*z**2 - 5*z. Is i(k) a composite number?
False
Let k(c) = 410*c**2 + 7*c + 11. Is k(-2) prime?
True
Suppose 2*l = 6 - 82. Let y = 173 - 156. Let q = y - l. Is q a composite number?
True
Suppose -5*l - 5*s = -150, 12 = l - s - 4*s. Let d = l + -20. Is d prime?
True
Let l(u) = 405*u**2 - 2*u - 23. Is l(4) composite?
False
Suppose o = 5*c + 103, -4*o + 2*o - 5*c + 131 = 0. Let f = 85 - o. Is f a prime number?
True
Let x = 36 + -42. Is (-750)/x - 2/(-1) a composite number?
False
Let v be 22351/63 + 2/9. Let r be ((-1469)/(-3))/((-22)/(-66)). Suppose -r = -2*z - v. Is z composite?
False
Suppose 0*i - 478672 = -16*i. Is i a prime number?
True
Is 2081*3/(-15)*(1 + -6) a composite number?
False
Suppose -2*c - 2*f + 528 = 0, -4*f - 62 = -c + 177. Suppose -2*s + c + 154 = 5*l, 2*s + 2 = 0. Is l prime?
True
Suppose -v - 15 = -5*p, 2*p - 4*p = -4*v - 6. Suppose -p*j + 474 = 3*z, 5*j + 5*z - 787 = z. Is j composite?
True
Let l be (9 - 12)*1*-15. Let u(h) = 5 - h + l*h**2 + 0 - 48*h**2 + 6*h**3. Is u(4) a composite number?
False
Let m be (-2 - 24/(-9))*-12. Is ((-18073)/44)/(2/m) prime?
False
Suppose 12 = -3*p + 5*p. Let u(j) = 8 + 0*j + 2*j**2 - 2*j - 1. Is u(p) composite?
False
Let d(u) = -10*u + 5 - 8*u + 2*u + 13. Let r be d(-13). Let i = r - 65. Is i a composite number?
True
Suppose 0*t + 3*t - 597 = 3*u, -5*t + 2*u = -995. Let b = t - 52. Let f = -16 + b. Is f composite?
False
Let n = 9632 + -4689. Is n a composite number?
False
Let u be 4/((-1)/(2/(-1))). Suppose u = 2*c - 0*c. Suppose 0 = c*t - 1609 - 1011. Is t a prime number?
False
Suppose -5*a = -2*m + 20, -a + 16 = a + 4*m. Is 153 + (-2 - 0)*a prime?
True
Let b = 1 - 3. Let d be b - 6*(-2)/(-4). Is (0 - -499)/((-5)/d) prime?
True
Let a = 3820 + -1861. Suppose -484 = 5*p - a. Is p a composite number?
True
Let d(c) = c - 13. Let g(o) = -o**2 + 12. Let k(h) = -5*d(h) - 4*g(h). Is k(6) prime?
True
Let d be 8 - (-6)/(-1 + -1). Suppose 2*n - 323 = 3*l, -n - d*l + 267 - 86 = 0. Is n composite?
True
Let t(k) = 1041*k - 8. Let s(i) = -2082*i + 17. Let q(f) = 6*s(f) + 13*t(f). Is q(1) composite?
False
Suppose -2*d = -19 + 13, -d + 35105 = 2*h. Is h prime?
True
Suppose -42*n + 23555 = -37*n - 2*r, 0 = 4*n + 5*r - 18844. Is n a prime number?
False
Let p(y) = 6*y - 2 - 4 - 1 - 4*y. Let m be p(4). Is 0 - (m - (0 + 88)) composite?
True
Let w(m) = m**3 - 3*m + 2. Let l = -4 - -6. Let j be w(l). Suppose 0*o = -h + o + 83, 5*h + j*o = 379. Is h a prime number?
True
Let a(q) = q**3 + 3*q**2 + 1. Let v = -7 + 5. Let r be a(v). Suppose 2*c - r*c = -597. Is c prime?
True
Let v(x) = 101*x**2 + 8*x + 18. Is v(-5) a composite number?
False
Suppose a - 3*z = 14, -4*a - 2*z - z - 4 = 0. Suppose 6*o - 1964 = a*o. Is o a prime number?
True
Let k(v) = -25*v**2 + v - 1. Let u be k(2). Let m = u + 146. Suppose 0 = 2*r + 3 - m. Is r a prime number?
False
Let q(g) be the second derivative of -217*g**3/3 - 3*g**2/2 - g. Is q(-2) a prime number?
False
Let z(l) = 3*l**3 - 12*l**2 - 23*l + 45. Is z(14) composite?
True
Let s be -1*8/56*0. Let g(r) = 2*r + 129. Let b(j) = -2*j - 130. Let n(o) = -5*b(o) - 4*g(o). Is n(s) a composite number?
True
Suppose -4*a + c + 0*c = -6285, -5*a + 4*c = -7870. Suppose -z + 3*z - a = 0. Is z composite?
True
Suppose 0 = -38*o + 5*o + 683793. Is o a prime number?
False
Suppose 4*u = 5*q - 15002, 0 = q + u - 1954 - 1041. Is q prime?
False
Let c = 524 - 881. Let z be c/15 - (-3)/(-15). Is 168/5 + z/(-60) composite?
True
Suppose -1331 = -5*v + 2014. Suppose 3*t - c = v, -4*c = -2*t + 15 + 431. Suppose -2*u = -u - t. Is u composite?
False
Let x = -28 - -19. Is (-135)/(-4) - x/(-12) a composite number?
True
Suppose 0*j + 4*j - 18 = -3*m, -2*m + 3*j + 12 = 0. Is (-8889)/(-27) + m/(-27) a prime number?
False
Suppose 3*w - 4936 - 22049 = 3*u, 5*w = 3*u + 44983. Is w a prime number?
True
Let g be 8/12 - 4/6. Suppose 3*j - 2*d - 155 = -g*j, 5*j - 5*d = 260. Is j prime?
False
Let g be 21/126 + (-2)/12. Suppose -102*f + 106*f - 4492 = g. Is f a prime number?
True
Let g be (-335368)/(-10) + 2/10. Is (g/(-105))/(1/(-5)*1) a prime number?
True
Let m(z) = -z**3 + z + 91. Is m(0) a prime number?
False
Let k be 16/6 + (-2)/3 - 16. Is (-7)/(k/4) + 1115 composite?
False
Let g(p) = -1947*p**3 - 4*p**2 - 7*p - 17. Is g(-2) a composite number?
True
Let v = 12344 - 6745. Is v a prime number?
False
Let r = 222 - 320. Suppose -5*y = 2*c - 3087, -6548 = -4*c - y - 365. Is (-14)/r + c/7 composite?
