omposite number?
True
Let b = -1079 - -1084. Let m be 116/36 + (-4)/18. Is 1684 - b - (m - 4/2) composite?
True
Suppose -7*d + 3*d - 34 = -3*b, -9 = -b - d. Suppose 882 = b*f + 292. Suppose 2*i - f = 3*r, 0*r - 2*r - 76 = -3*i. Is i composite?
True
Let y = -157 - -159. Suppose l = d + 319, -d + y*d = 0. Is l prime?
False
Suppose 4*u = -5*d + 219173, -273991 = 30*u - 35*u + 2*d. Is u a prime number?
False
Let u(a) be the first derivative of 860*a**3/3 - 21*a**2/2 + 8*a + 76. Is u(5) a composite number?
True
Is (-4 - 6/((-96)/(-1618844)))*8/(-6) prime?
True
Suppose k + 6 = -l, 5*l + 77 = k + 17. Let j(t) = -t**3 - 7*t**2 + 8*t + 26. Let p be j(l). Suppose 7*a + p = 1899. Is a a composite number?
False
Let t(u) = 345*u**2 - 27*u - 241*u**2 + 31 + 8. Is t(-8) a prime number?
True
Let t(o) = -5*o**2 + 4*o + 4301. Let a(c) = 2*c**2 - 2*c - 2150. Let g(b) = -7*a(b) - 3*t(b). Suppose -i = x + 3*i, 2*x = -i. Is g(x) prime?
False
Let g(t) = 1521*t**2 + 7*t + 5. Let a = 53 - 55. Let c be g(a). Suppose 8*j - c = 3*j - 2*l, -3619 = -3*j + 4*l. Is j prime?
True
Let t(w) = -6*w**3 - 60*w**2 - 50*w - 6. Let z be t(-32). Suppose -3*p + 118978 = x, -2*x = -5*p + 61531 + z. Is p prime?
True
Suppose -67*o + 31920393 = 78*o + 68*o. Is o a composite number?
False
Is 18478*(-3)/2*(-14)/42 composite?
False
Let m = -381603 + 701908. Suppose m = 11*n - 88576. Is n composite?
False
Let s = 891178 - 461967. Is s a prime number?
True
Let h(a) = -2*a**3 - 24*a**2 + 18*a - 15. Let l = -464 + 451. Is h(l) a composite number?
False
Let j(n) = -15*n + 10. Let s(f) = -f + 1. Let t(p) = -j(p) - 3*s(p). Let z be t(9). Suppose -5*g = z - 634. Is g a prime number?
True
Suppose 2048*q - 1971*q = 10076297. Is q prime?
False
Is (10/(-15))/((-28)/2838738) prime?
True
Let x be -4*-2*(-10)/(-16). Is (-1 - -2444) + x/(-10)*0 composite?
True
Let c = 71 - 67. Suppose -v + c*f - 68 = 0, 4*v - v - 5*f = -204. Let a = 4773 + v. Is a a prime number?
False
Let w(j) = 308*j - 55. Let g(v) = -2*v**2 + 28*v + 34. Let z be g(15). Is w(z) prime?
False
Let g be 4*((-5)/60*3 - -1). Suppose -k = -g*o - 1555, -4*k + 6*k + 5*o - 3132 = 0. Is k composite?
True
Let a(k) = -5*k**3 + 16*k**2 + 6*k - 1. Let n(i) = -9*i**3 + 31*i**2 + 11*i - 3. Let h(y) = -7*a(y) + 4*n(y). Let m be h(13). Is 3*(3 - m/3) composite?
False
Let q(s) = -578*s + 24. Let y be 6 + -1 - (3 + 5). Let n be q(y). Suppose 16*m - 22*m + n = 0. Is m prime?
True
Let w(v) be the third derivative of v**6/60 - v**5/15 + v**4/24 + 7*v**3/6 + 14*v**2. Let o be w(4). Is 557/3*o/25 composite?
False
Suppose -u - 1 = -5, 0 = 2*w - 4*u - 1430. Let m(v) = -2*v**3 + 33*v**2 + 25*v + 22. Let q be m(18). Let s = w + q. Is s a composite number?
False
Suppose -1256534 - 7497419 = -13*z. Is z composite?
False
Let h be (-1)/(-4) + (-21)/(-12). Suppose 0 = h*x - 737 - 395. Let z = x - -20. Is z prime?
False
Is 9637 + (10 - (-15 + 15)) a prime number?
False
Let m = -124196 + 243741. Is m composite?
True
Suppose 6268499 = -208*c + 227*c. Is c a prime number?
False
Is 17490425/10*(1/2 + (-14)/140) a composite number?
False
Let r(c) = c - 16. Let x be r(-6). Let b be (-70)/x + 4/(-22). Is (-1 + b)*1561/14 prime?
True
Suppose 8*d + 67641 = 351737. Let m = d - 19389. Is m a prime number?
False
Let x be 336/2*((-55)/(-10))/11. Is ((-33527)/(-7) + (-48)/x)/1 a composite number?
False
Let m(f) = 21 - f - 36 + 3*f - 32*f**2 + 19. Let b be m(-3). Let z = 609 + b. Is z a prime number?
False
Suppose 19776110 = 65*k - 16251245. Is k composite?
True
Let i be 38720/(-165)*18/(-8). Let b = 751 - i. Is b prime?
True
Is 13318/3*1926/12 a prime number?
False
Suppose -4*a = 17 - 37. Suppose 10*q + 20 = 6*q, -t - a*q = -688. Is t a composite number?
True
Let t(o) = 3*o**3 + 12*o**2 - 14*o + 4. Let s be t(-9). Let d = s + 3761. Suppose -5*k + d = -2569. Is k composite?
False
Suppose 163*w + 24964074 = 85362841 + 39584292. Is w a prime number?
False
Suppose 2773508 + 1597643 = 22*i + 1003853. Is i a composite number?
False
Let h(y) = -26444*y + 989. Is h(-7) a prime number?
True
Let h(y) = -2*y + 42. Let z be h(23). Let n(c) = -c**3 + 2*c**2 + 10*c + 3. Is n(z) a prime number?
True
Let w = 5131 + 47322. Is w a composite number?
False
Suppose 0 = 5*p + 5*i - 22500, 36*i - 32*i - 31479 = -7*p. Is p a composite number?
False
Suppose 2*g - j + 37 = 0, 0 = -g - 4*j + 3*j - 11. Let l(t) = -154*t + 69. Is l(g) prime?
False
Let d(s) be the first derivative of 16*s**3 + 7*s**2/2 - 5*s - 1. Suppose 10*m = 18*m + 11 - 59. Is d(m) prime?
False
Let w(m) = -m**3 + 6*m**2 + 17*m - 4. Let n be w(8). Suppose 0 = d + 1 + 1, -5*i = n*d + 33. Is i/(20/8) - -2611 a composite number?
False
Let f(m) be the first derivative of 95*m**2/2 + 5*m - 1. Suppose 11*r = -3*l - l + 122, 3*r = -2*l + 36. Is f(r) a prime number?
False
Let g(k) = -168*k - 1. Suppose 5*r = 5*x, 2*x + x = 5*r - 6. Let q be 1/r*6/(-2). Is g(q) a composite number?
False
Let l = 14824 + -1010. Is l a composite number?
True
Let g = -7266 + 7257. Let x(y) = -18 - 2 - 60*y - 1. Is x(g) a prime number?
False
Suppose -v = p - 140342, 43083 + 518279 = 4*p - 2*v. Is p prime?
False
Suppose -15*z = -268812 - 59298. Suppose -4120 = -3*a - t + z, 0 = 2*a + 4*t - 17346. Is a a prime number?
True
Let x(h) = 304*h**2 - 11*h + 8. Let k = -481 + 470. Is x(k) composite?
False
Let x(r) = -487*r**2 - 38*r - 212. Let m(t) = 162*t**2 + 13*t + 71. Let i(y) = -8*m(y) - 3*x(y). Is i(-7) prime?
False
Let c(j) = -16593*j - 82. Is c(-5) a composite number?
False
Suppose 25*b - 31*b = -3300. Suppose -4*m + 6025 + 491 = 0. Suppose b - m = -d. Is d composite?
True
Suppose 30*u - 766378 = 978562 + 1331050. Is u a composite number?
False
Suppose 0 = 258*x - 125*x + 196*x - 8296393. Is x prime?
False
Is 597361 - (-17 + 15 + 14) a composite number?
False
Let u = -5401 + 8905. Let j be -6 - -9 - (1 - 0). Suppose -702 = -r - x, 5*r - j*x = -x + u. Is r a prime number?
True
Let h(p) = 16009*p - 4531. Is h(36) composite?
True
Suppose -3*h - 4*a + 331281 = 0, 41*h - 40*h - 110449 = -5*a. Is h prime?
True
Let j(s) = 4*s - 1096. Let l(f) = 3*f - 1099. Let k(x) = -4*j(x) + 3*l(x). Is k(0) a composite number?
False
Suppose d - 8 = -40. Is (-8)/d - 17131/(-4) a prime number?
True
Suppose -240*t + 10995474 = -869363 - 10582123. Is t a prime number?
True
Let p = -40461 + 58233. Let f = p + -11809. Is f prime?
False
Let i = -254 - -258. Is (-4)/16 - ((-12555)/12 + i) prime?
False
Suppose 31649 = -23*a - 30382. Is a*(-4 + (-44)/(-12)) composite?
True
Let y(h) = -h**3 - 19*h**2 - 60*h + 3. Let o be y(-15). Suppose -b - b + 4*r = -22746, -2*b + 22744 = -o*r. Is b composite?
False
Let s(t) be the third derivative of t**4/6 + 5*t**3/3 - 6*t**2. Let u be s(-4). Is (-422)/(-4)*(u + 8) composite?
False
Let q be 1 - (-85)/30 - 3/(-18). Suppose 19*h = 17*h - 5*p + 6512, 2*h - q*p = 6494. Is h a prime number?
True
Let c(v) = 53*v**2 + 90*v - 129. Is c(20) prime?
True
Let b be 30/50 - (-36)/15. Suppose q = -b*d + 5522, 9*d - 6*d = 3. Is q a prime number?
True
Suppose 11*g = 5*g + 24. Suppose -3*u + c = -5765, 2*u + g*c - 2382 - 1480 = 0. Is u a composite number?
True
Suppose 12*n + 460 - 160 = 0. Is 593 - (-5)/(n/30) composite?
False
Let u = -22134 + 196933. Is u a prime number?
True
Suppose -3*y = 3*m - 92466, -5*y + 61665 = -3*y - m. Is y a prime number?
True
Suppose 4*b - u = -0*u + 65241, 0 = -b + 4*u + 16314. Is b/16 + (162/(-48))/9 a composite number?
False
Let o(g) = -g**3 + 37*g**2 + 17*g + 97. Suppose -105 = -2*b - 2*b - 3*r, -69 = -3*b + r. Is o(b) a prime number?
True
Let m be 3768*(7 - 14/(-21)). Let g = m - 20279. Is g a prime number?
True
Let o(d) = -68 + 4*d**2 - 21 - 23*d + 7*d**2 - 4*d**2. Is o(-25) a prime number?
True
Suppose -740*s + 969*s - 163675231 = 0. Is s prime?
True
Let p(j) be the first derivative of -2714*j**2 - 9*j + 4. Is p(-2) a composite number?
False
Let i be 7 + 0 + 1 - 4. Suppose 3*s + 2*d - 4*d - 779 = 0, -s - i*d = -283. Suppose -179 - s = -2*m. Is m composite?
True
Suppose -2*o + o - 4 = j, 3*j - 12 = 0. Let n(s) = s**2 + 11*s + 28. Let b be n(o). Suppose 0 = -3*k - b*f + 655, 0*f = 5*k - 5*f - 1115. Is k prime?
False
Let u = -210 - -215. Suppose -4*g - u*z + 6*z = -14887, -z = 4*g - 14889. Is g prime?
False
Suppose 17*p - 526370 = 135831. Is p composite?
F