3 + 6*v**2 + v - 23. Let c be b(4). Let f = c - 112. Is f prime?
True
Suppose 9*k = 2*k + 21. Suppose -z + 35880 = 4*z + 5*p, -k*z + 4*p + 21535 = 0. Is z prime?
True
Suppose 0 = -2*i - j + 2*j - 1818, -5*i + 5*j = 4535. Suppose -4*f - 7584 = -2*q, -4*q = 3*f - 8190 - 7000. Let o = q + i. Is o composite?
True
Suppose 10*k - 2 = 8*k. Let i be k + (15/5 - 248). Let u = 3061 - i. Is u prime?
False
Suppose -213059 = -124*g + 370113. Is g a prime number?
True
Let a(s) = -s - 6. Let n(j) = 1. Let k(l) = a(l) - 5*n(l). Let f be k(-7). Let m(r) = -58*r - 9. Is m(f) a prime number?
True
Let b be ((-13)/4)/((-9)/59652). Suppose -6*h + b = 7*h. Is h prime?
True
Suppose 4*g = -0*g. Suppose 12*n - 3 - 57 = 0. Suppose -4*h + 2605 = n*t, 5*t + g*h = -3*h + 2605. Is t composite?
False
Suppose -2*c = h - 46, -5*h - 11 = -2*c - 301. Is 519/(-2)*h/(-12) composite?
True
Suppose 31562 = 4*l + 15*p - 12*p, 18 = -3*p. Is l a composite number?
True
Suppose 6*v + 6 = 8*v. Suppose -1170 = -v*c + 4*o + 1264, 5*c - o = 4068. Suppose 3*y + 5*k - 604 = 0, 3*y = -y + 2*k + c. Is y a prime number?
False
Let j be 1/(-6) - 2/(-12). Suppose j = -3*t + 41 - 11. Let p(n) = 2*n**3 - 5*n**2 - 15*n + 11. Is p(t) prime?
True
Suppose 687523 = 19*b - 3638112. Is b prime?
False
Let i(d) = 3574*d + 401. Is i(39) a prime number?
True
Let j(d) = -d**3 - 2*d**2 - d - 5. Let z be j(-3). Suppose 2*a = 5*x + z + 6, 5*x = -4*a - 49. Is (-2 + (-3)/a)*(-1994)/3 a composite number?
False
Let z(m) be the third derivative of m**6/120 + 2*m**5/15 - 25*m**4/24 - m**3/6 - 19*m**2. Let c be z(17). Is c/6 + (-2)/12 a composite number?
True
Let i = -520 + 931. Let t = -16 + i. Suppose 4*c - 9*c + t = 0. Is c composite?
False
Suppose 998*c + 2155850 = 1048*c. Is c a prime number?
True
Let w = 36960 + -11741. Is w a composite number?
False
Let m = 791055 - -35216. Is m a composite number?
False
Let t(y) = y**3 - 22*y**2 + 13*y + 69. Let v be t(21). Let m(o) = 224*o**2 - o - 2. Let a be m(-2). Let w = v + a. Is w a prime number?
True
Let w(v) = 2*v - v + 151 - 166 + 99*v**2. Is w(-7) a prime number?
False
Let m(x) = 8272*x**2 + 24*x + 217. Is m(-13) a prime number?
True
Suppose -4*r - 3 = 5*n + 15, r = -4*n - 21. Let v(g) = 6 + 9*g**2 + 0 + 4 - 34 + 7. Is v(n) prime?
True
Let c(d) = 1318*d**2 - 27*d + 30. Let j be c(-15). Is -2*(-2)/(-6) - j/(-45) prime?
True
Let l = -145 + 149. Is ((0 - (1949 - l)) + -4)*-1 a prime number?
True
Suppose -51*m - 150156 = -55*m. Suppose 20*h - m + 4699 = 0. Is h prime?
False
Let t be (-4)/22 - (-3 - 306576/(-88)). Let b = 940 - t. Is b a prime number?
True
Let f = 16900 - 4933. Is f composite?
True
Suppose 44938993 - 11255438 = 44*c - 38283153. Is c a prime number?
True
Suppose 7 = 6*v - 647. Let h = v - 106. Suppose 0 = h*s + 3*g - 15090, -5*s = -2*g + 6*g - 25153. Is s composite?
True
Let b be (-14)/(12 - 5)*(-2)/(-4). Let z(v) = v + 1. Let c(p) = -3*p**3 + 6*p**2 - 12*p + 8. Let n(s) = b*c(s) - 3*z(s). Is n(5) composite?
True
Let q(m) be the third derivative of 1/30*m**5 + 0 - 13/12*m**4 + 13/6*m**3 + 0*m - 16*m**2. Is q(17) composite?
False
Suppose -1929990 = -569*s + 600*s - 7740785. Is s composite?
True
Let c = -14769 + 63166. Is c composite?
False
Let g be (-5 - -1)*2254/(-56). Let q(j) = j**3 + 4*j**2 - 4*j + 3. Let f be q(-4). Suppose -536 = -3*x - 2*k, 0 = x + 2*k - f - g. Is x prime?
False
Let g(f) = 39*f**2 + 225*f - 53. Is g(-24) a prime number?
True
Let p = -11 - -27. Let n = -14 + p. Is n + -2 + (8 - 4) a prime number?
False
Let y(u) = -u**2 - 6*u + 2. Let q be y(-6). Let i be ((-108)/81)/((-4)/6) + 1. Suppose -i*o + 180 = -2*j, -q*o - 3*j + 101 = 2*j. Is o a prime number?
False
Let w = 10 - 8. Suppose -4*v = -4*x + w*x - 8, -2*x = -5*v + 8. Let c(b) = -b**2 - 8*b + 701. Is c(v) composite?
False
Suppose 20 = -5*s, -c + 3*s + 48 + 6 = 0. Suppose -2*m + c = 34. Suppose 3*r = -m*f + 793, 45 = r + 3*f - 226. Is r a composite number?
True
Suppose -3*b + 10*b = -10885. Let p = b + 3654. Is p a composite number?
False
Let g(w) = 662*w**2 - 6*w - 15. Is g(11) a prime number?
True
Let r = -101626 + 204725. Is r composite?
False
Let w be (-8)/40 - 14/5. Let u be 9*(w - 20/(-6)). Is (-5 + (0 - u))*(-74)/8 a composite number?
True
Suppose -380*r + 371*r + 505971 = 0. Is r composite?
True
Let o = -1589 + 2279. Suppose -17*j + o = -8507. Is j a composite number?
False
Let l be (12/(-24))/(2/(-20)). Suppose -5*n + 0*y = -3*y - 68237, 0 = 3*n - l*y - 40955. Is n composite?
True
Suppose -5*x + 3*x + 5632 = 0. Suppose 2*p - 3*q + 4*q = 1404, 4*p - x = 2*q. Is p a prime number?
False
Suppose 48*v - 416844 = 22*v - 10*v. Is v a prime number?
True
Let a(d) = 253*d**2 + 56*d - 7. Let v be a(5). Let i = -1347 + v. Is i composite?
True
Suppose 0 = -19*f + 74675 + 145326. Is f composite?
False
Suppose 2*m + 6 - 10 = 0. Suppose 4*p + m*g - 15786 = 0, -g = p - 2*g - 3945. Let v = p + -2565. Is v a prime number?
True
Suppose -k + 25 = -6*k, 0 = -4*q + k + 183373. Is q a composite number?
True
Let c(x) = 23*x + 62. Let n be c(6). Suppose n*p - 208*p = -2152. Is p a composite number?
False
Let r = 209391 - 79864. Is r composite?
False
Suppose x + 20 - 36 = 0. Is (336 - (-7)/((-28)/x))/2 a composite number?
True
Suppose 2*f + 177 = -4*g - 345, 0 = -3*g - 2*f - 392. Is (-13116)/(-13) - 10/g a composite number?
False
Is ((-5907)/77)/((-84)/32732) a prime number?
False
Let r(g) = -14688*g - 18. Let m be r(19). Is 15/6 - m/20 composite?
True
Suppose -4*u - 5*q + q + 4668 = 0, 5850 = 5*u + 2*q. Suppose 4296 = 4*z + u. Let n = z + -374. Is n a composite number?
True
Let i(f) = -8*f**3 + 140*f**2 - 79*f + 54. Let n(v) = -3*v**3 + 47*v**2 - 26*v + 19. Let h(q) = 4*i(q) - 11*n(q). Is h(-30) prime?
False
Let b(d) = 61*d**2 + 24*d - 38. Let w = -665 + 654. Is b(w) a prime number?
True
Let w(c) = -c + 40. Let r be w(18). Suppose -6*n - r - 20 = 0. Is (-2)/(-1 - -2) + (n - -686) a prime number?
True
Let p(s) = -s**3 + 13*s**2 + 160*s - 259. Is p(-24) prime?
False
Suppose -v + 9*b + 697688 = 8*b, 5*b + 1395379 = 2*v. Is v a composite number?
False
Suppose -19*c + 8*c + 380985 = 0. Suppose -10*y = -5*y - c. Is y a composite number?
True
Let s be (-2)/(-1) + (1 - 9). Is 90299/44 + s/(-8) a prime number?
True
Let n = -5499 - -11696. Is n a prime number?
True
Let z = 581 - 598. Is (-19)/323 - 6342/z a prime number?
True
Let u = 325519 + -213012. Is u a composite number?
False
Suppose -4716566 = 83*w + 31*w - 63719888. Is w a composite number?
True
Let b(n) = 1184*n**3 - 5*n**2 + 3*n + 25. Is b(3) composite?
False
Suppose -13*k = -808342 + 110229. Is k a prime number?
False
Let l be (-16)/6*(-5 - (-6)/12). Let d be ((-2)/(l/(-9)))/((-9)/(-6)). Is (2 - d - 2154)/(-1) a composite number?
False
Let u = -67252 + 178131. Is u prime?
True
Suppose 0 + 5 = -d, -d + 3 = 2*h. Suppose h*k + 2*q = 7752, -k - q = -540 - 1399. Is k a prime number?
False
Let c = 286 + -291. Let o(t) = -23*t**3 - t**2 + 3*t - 2. Is o(c) composite?
False
Let t = 315404 + -179881. Is t a prime number?
False
Is (-2069)/18*(-17 - 41) + (-4)/(-18) a prime number?
False
Suppose 37645942 - 1799886 = 115*q - 6562839. Is q prime?
True
Is -16508*(-6)/42*(-1 + 18/4) composite?
True
Let d(b) be the second derivative of b**5/15 - 7*b**4/8 - b**3/3 + 9*b**2 - 8*b. Let q(h) be the first derivative of d(h). Is q(9) prime?
False
Is (6614/4)/((-92)/(-2024)) a composite number?
True
Let f(o) = 32*o**2 + 4 - 15*o**2 - 12*o - 16*o**2. Let t be f(-12). Suppose 5*x = w - 94 - t, 0 = w - x - 382. Is w a prime number?
False
Let t = 15 - 11. Suppose -t*s = -16*s - 12. Is (s - -3 - -1) + (640 - 2) composite?
False
Suppose 2*b + 3*b - 95 = -k, 3*k = 4*b - 76. Suppose b*i = 14*i + 43485. Suppose -7*g - i = -10*g. Is g a composite number?
True
Suppose -5*m + m = 3*m - 6209. Is m a composite number?
False
Let r(k) = -1416*k**3 + 13*k**2 + 59*k + 77. Is r(-5) prime?
False
Suppose 21*a + 28 = 23*a. Is 1*((7 - a) + 6498) composite?
False
Let b(a) = 255*a**3 + 2*a**2 - a + 5. Let c be (-16)/(-6) + ((-20)/15)/2. Is b(c) a composite number?
True
Let y = -18597 + 16281. Suppose -1 = -p + 2*p - 3*f, 5*p - 4*f = -27. Is (-3)/(-3)*(p - y) prime?
True
Suppose 2*i - 4*g = -i - 7705, 5*g = -4*i - 10294. Suppose -33*o = -31*o - 10612. Let n = i + o. Is n prime?
False
Suppose 3*m = 3