35968 = -5*j - r, -15 = 5*r. Is j a composite number?
True
Let l(s) = -10*s**3 - 4*s**2 + 11*s - 16. Suppose 2*q + 3*q = -g - 23, 0 = g - 2. Is l(q) prime?
False
Let o = 2 + -2. Let t = -667 - -674. Suppose o = t*x - 3*x - 2344. Is x composite?
True
Is -1 - (8/(-2) + -41716) composite?
False
Is (-815855)/(-4) + (-99)/132 a composite number?
True
Let h(r) be the first derivative of r**6/120 - r**5/10 - 4*r**4/3 + 20*r**3/3 + 2. Let x(f) be the third derivative of h(f). Is x(11) a prime number?
True
Suppose -20*y + 25*y = 0. Suppose y = -8*b + 5*b + 9. Suppose -3*a - f + b*f = -479, 2*f = -a + 149. Is a prime?
True
Suppose -5*i + 3*y = -116363, -5*i - 5*y - 46568 = -7*i. Is i a prime number?
True
Let z(m) = 5634*m - 4. Let d be z(1). Suppose 6*r - d = r. Let q = r - 407. Is q a prime number?
True
Suppose 6*o + 1888 = -728. Let r = o - -1517. Is r a prime number?
False
Is -10567*((-612)/30 + 20 - (-106)/(-10)) composite?
True
Let f be ((-7)/7)/(1/(-13)). Suppose -8*c + 11 = -f. Suppose -c*r - 1775 = -4*g, r + 3*r + 2219 = 5*g. Is g composite?
False
Is (-4 - (2 - 144669))*(-4)/60*-5 prime?
True
Is ((-5)/(55/(-368038)))/(2/1) prime?
True
Let x(b) be the third derivative of b**5/60 + 11*b**4/24 - 4*b**3/3 + 24*b**2. Let o be x(-10). Is (948/o + 3)/(1/(-6)) a prime number?
False
Suppose 16 = -4*r - 2*q, -3*r + 10 = 2*q + 24. Is -2 + 2 - r*(-5235)/(-6) prime?
False
Let o(g) = -g**3 + 6*g**2 + 6*g + 11. Let b be o(7). Suppose 13367 + 77085 = b*z. Is z a prime number?
True
Let d(g) be the second derivative of 55*g**4/12 + g**3 + 8*g**2 + 25*g. Let m be (-8 - -6)*10/4. Is d(m) prime?
True
Let d = 481 + -477. Let n(x) be the third derivative of 457*x**4/8 + 25*x**3/6 - 8*x**2. Is n(d) prime?
False
Let n = 28795 + 42096. Is n a prime number?
True
Let q(z) = -5*z - 3. Let f be q(-1). Suppose 4*s = -3*o + 46, 22 = o + s + f*s. Suppose o*r - 1372 = -262. Is r prime?
False
Suppose 5 = -6*c + 77. Let f(z) = 815*z - 37. Is f(c) a composite number?
False
Let b = -117702 - -220008. Suppose -4*g = -0*g + n - b, -4*g - 2*n = -102304. Is g a prime number?
True
Suppose -35*r = -30*r + 5*u - 1604000, -5*u + 15 = 0. Is r composite?
True
Let p = -1005 + 12662. Is p a prime number?
True
Let k(i) = -55*i**3 + 5*i**2 + 3*i - 1. Suppose -g + 5*g + 3*q + 16 = 0, 5*g + 3*q = -20. Is k(g) composite?
True
Let u(i) = -2*i + 2. Let l be u(-2). Suppose -l*h = -11*h + 690. Suppose -5*z + 81 + h = 2*f, -3*f = 2*z - 301. Is f a prime number?
True
Let q = -1544 + 889. Let r be q/(-20) - 12/16. Suppose -31*t - 365 = -r*t. Is t a prime number?
False
Let r = 108519 + -53967. Suppose -5*u + r = 6997. Is u a prime number?
True
Let c be 1/(1/358)*(1216 + 23). Is ((-45)/39 - -1) + c/182 a composite number?
False
Suppose 0 = -4*c - 2*u + 25994, -65 = -2*u - 67. Is c composite?
True
Let n(j) = j**2 - 9*j + 15. Suppose 6*c + 57 = 4*r + c, 2*r + 3*c - 1 = 0. Let x be n(r). Suppose x*q = 2*q + 2765. Is q a composite number?
True
Let p(n) = 2973*n**2 + 6*n + 6. Let f = 291 - 292. Is p(f) composite?
True
Suppose 0 = -7*s - 294 + 42. Let y = s - -353. Is y composite?
False
Let q(w) = -63573*w - 175. Is q(-4) prime?
False
Suppose c = -4*f + 4, -3*c + 40 = -2*f - 0*f. Is 107 + -2 + c/2 prime?
False
Let n(x) = 82*x**2 + 118*x + 83. Is n(-8) prime?
False
Let j = 9848 - -15219. Is j prime?
False
Let t = -43 - -146. Let l = 106 - t. Suppose 2*o + 307 = n - 44, -1047 = -3*n + l*o. Is n a composite number?
False
Let o = 235281 - 166294. Is o prime?
False
Is (21*(-7)/((-98)/(-4)))/((-4)/83602) a prime number?
False
Let a be 4 - (-2 - 0/1). Suppose 3412 = -4*j + a*j. Suppose k + 369 = j. Is k prime?
False
Let j(v) = -v**3 + 11*v + 496313. Is j(0) prime?
True
Is ((-1287936)/(-28))/4 + (-45)/105 composite?
True
Suppose -13*b + 487 + 98 = 0. Let t(z) = b*z**2 + 2 - 86*z**2 + 54*z**2 + 10*z. Is t(5) prime?
False
Let d(z) = -z**3 + 100*z**2 - 117*z + 219. Is d(83) prime?
True
Let q(h) = -5*h - 48. Let s be 2/(-12)*-3 - (-21)/(-2). Let d be q(s). Is 3227 - (28/8 + d/4) a prime number?
False
Let y(n) be the third derivative of 3*n**4/4 + 7*n**3/3 - 4*n**2. Let r be y(-6). Is r*(3 - 18/4) a prime number?
False
Suppose -3*d + 4 = p, 12 = 2*p - 5*p + 3*d. Is (1 - -18048) + (-3 + 5 - p) a prime number?
False
Let s = -5105 - -17511. Let f = s + -6217. Is f a composite number?
True
Let v(g) = 16*g**2 + 387*g - 117. Is v(-74) prime?
False
Let d(v) = 32*v - 17. Let m be d(7). Let j = m - 115. Suppose 0 = 13*x - 11*x - j. Is x a prime number?
False
Let x = -969 + 402. Let h = x - -3088. Is h prime?
True
Let r = 880103 + 890678. Is r a composite number?
True
Suppose 0 = 4*g - 3 + 23, -2*q + 3*g - 45 = 0. Is q/15 + (-3909)/(-1) composite?
False
Suppose 5*f = 3*q + 570326, -4*q - 221668 - 120521 = -3*f. Is f composite?
False
Let t be ((-26)/(-104))/(((-3)/162796)/(-3)). Let v = t - 27390. Is v a composite number?
False
Let s = 214096 - -222775. Is s composite?
False
Let w = 76437 + -47600. Is w prime?
True
Let v(r) = 56*r - 29*r - 26*r + 5. Let g be v(-9). Is ((g - -5) + -1050)*-1 composite?
False
Suppose 2*j = -4*o + 33194, 26888 = 3*j + 3*o - 22891. Let c = j + -9546. Is c a prime number?
True
Let z = 76 - 64. Suppose -z*a + 13491 = -3*a. Suppose -1886 - a = -5*w. Is w a composite number?
False
Suppose 21*f + 9217 = 22*f + 5*a, -3*a = 6. Is f a prime number?
True
Suppose 3 = -10*j + 12*j - 3*u, 1 = -3*j - u. Suppose -16*m + 2054 + 5162 = j. Is m prime?
False
Let b be (-2)/(-12) + ((-195)/(-18) - 6). Suppose 13185 = -b*f + 4*k - 9*k, 3*k = 5*f + 13209. Is 3/(-9) - f/9 a composite number?
False
Let u(m) = -16179*m + 811. Is u(-14) a composite number?
True
Suppose 5*x + 3*y - 12 = -0*y, -y + 2 = x. Suppose 12*v - x*v - 24984 = 0. Let m = v - 1955. Is m composite?
False
Suppose 9*g = 8*g - 2*b + 12453, 3*g - 37354 = -b. Is g prime?
True
Let j(q) = 25*q + 20*q**2 - 150 + 5*q + 9*q**2 - 22*q**2 + 42*q**2. Is j(13) prime?
True
Let k = -584 - -649. Is (-10)/k + 2188548/156 prime?
True
Let s(l) = -2407*l - 515. Is s(-12) prime?
False
Suppose 5*h = -b + 3814, 2*b + 1164 = 2*h - 364. Suppose 0 = -3*v + v - 4*j - 4, 2*j = -3*v + 2. Suppose h = 3*t - 2*a, -2*a = -v*t - 5*a + 500. Is t prime?
False
Suppose 115382 = -6*b + 7*b. Suppose -b = -17*p + 177987. Is p prime?
True
Let c(u) = -29 - 3776*u - 1713*u + 3535*u. Is c(-6) prime?
False
Suppose 4*f = -x + 3, 5*f + 6*x + 10 = 2*x. Suppose 2*t - 3943 = -3*o, 6*o = 5*o + f*t + 1317. Is o composite?
True
Suppose 20 = -0*z - 5*z, 5*h - 5*z - 117405 = 0. Is h composite?
True
Let b(q) = -3*q**2 + 48*q + 74. Let k(v) = v**2 - 16*v - 25. Let i(l) = 6*b(l) + 17*k(l). Suppose -17 = -3*j + 22. Is i(j) a composite number?
True
Suppose 0 = -2*h - f + 4, 2*h - 3*f + 2 = 6. Suppose h*r = 5*t - 569 - 312, -4*t + 685 = 5*r. Let n = -34 + t. Is n prime?
False
Suppose -j - r = -1253718, -5014809 = -216*j + 212*j + 5*r. Is j a prime number?
False
Suppose -2*b + 105018 = 4*m, 3*b - 3*m = -4*m + 157547. Is b a prime number?
True
Let d = 208 + -194. Suppose -d*n + 23783 = 3*n. Is n a prime number?
True
Let n(j) = 13*j**2 - 7*j - 2. Let a be n(-4). Let w(z) = z**3 + 8*z**2 - z - 3. Let d be w(-9). Let b = d + a. Is b a composite number?
True
Suppose 12 - 54 = 14*a. Let f be -1*(-3)/(-9) + (-1687)/a. Let n = 1323 - f. Is n composite?
False
Let r(y) = -y**2 - y - 1. Let a(v) = -v**3 - 16*v**2 + v - 26. Let c(i) = a(i) + 5*r(i). Is c(-26) prime?
False
Suppose -228572 = -2*y - 151*b + 146*b, 2*y - 4*b = 228572. Is y composite?
True
Suppose 111*l = 21*l + 37066590. Is l a composite number?
True
Let r = -393 - 30. Let v = r - -952. Is v a composite number?
True
Let o be 6/(-10)*825/(-5). Suppose -o = 2*q + 127. Is (-2)/(-1) - q/1 a composite number?
True
Suppose f - 3*b + 6*b - 2155 = 0, 2*f = 2*b + 4262. Is f a prime number?
True
Let a(g) = 900*g + 1104*g - 349*g - g + 83. Is a(9) a composite number?
False
Let p = -61 + 74. Let u(f) = 35*f - 29. Let c be u(p). Let o = c - 161. Is o prime?
False
Let n(l) = -l**3 + 3*l**2 - 2*l + 605. Let i be n(0). Let z = -247 + i. Is z a prime number?
False
Let x(u) = -u**3 - 11*u**2 + 92*u + 1559. Is x(-62) a composite number?
False
Let s be ((-12)/(-18))/((-1)/3). Let q be s/1 - 260/(-10). Let x = q - -199. Is x a prime number?
True
Let r = -34369 + 57596. Is r a composite number