 + 4*l + 3. Is s(p) a composite number?
True
Let x(s) = 4*s**2 - 9*s + 11. Suppose 5*p - 180 = -10*p. Is x(p) prime?
True
Is (33/6)/(-10 + (-158172)/(-15816)) composite?
True
Let u(y) = -46*y**3 - 8*y**2 + 15*y + 16. Is u(-7) a composite number?
True
Let u(l) be the first derivative of -3*l**2/2 - l + 7. Let j be u(-1). Suppose 63 + 55 = j*b. Is b composite?
False
Let g = -543 + 768. Suppose -2*z + 7*z + g = 0. Let l = 14 - z. Is l a prime number?
True
Let x = 17 + -15. Let o(a) = -a + x*a - 7 + 2*a - 7*a**2 + 0*a**3 + 2*a**3. Is o(5) a composite number?
False
Let w(t) = -t**2 + 2*t + 4. Let f be w(0). Suppose 0 = -i - 4*y + 64 + 149, i - f*y - 197 = 0. Is i a prime number?
False
Suppose -97068 = -5*s + 79717. Is s prime?
False
Suppose 34179 = 2*h + 3721. Is h a prime number?
False
Let z(w) = -51*w**3 + 8*w**2 + 12*w + 19. Is z(-6) prime?
True
Suppose 0 + 7 = -7*w. Is ((-3)/6)/(846/(-844) - w) a prime number?
True
Let u = -16880 - -24250. Suppose -u = 9*o - 19*o. Is o prime?
False
Suppose -3*g = 2*r - 4963, -3330 = -2*g - 6*r + 10*r. Is g composite?
False
Let g = 8109 - -2670. Is g composite?
True
Let m be (-35)/(-2)*(-732)/(-10). Let w = -484 + m. Is w prime?
True
Suppose -300333 = -3*s - 30*s. Is s a prime number?
False
Is (-2)/(-1)*(-130)/(-52) + 11264 prime?
False
Let x(v) = 38*v + 60. Is x(37) a composite number?
True
Let g(a) = a**2 + 22*a + 8. Let k be g(-15). Let n = 176 + k. Is n a prime number?
True
Suppose -14*c - 120 = -19370. Let m = 2910 - c. Is m composite?
True
Is 6*45/54 - (-2762)/1 composite?
False
Suppose 23*w - 125417 = 370. Is w prime?
False
Suppose -192055 = -36*p + 56525. Is p prime?
False
Let y = -2 + 11. Let f(i) = -12*i**3 + 15*i**3 - 6 - 4*i**3 + 10*i**2 - 6*i. Is f(y) a prime number?
False
Let c = -54 - -58. Suppose -136 = -c*r + 4*o + 248, -5*o + 157 = 2*r. Is r composite?
True
Let o(p) = 20*p**2 + 6*p - 13. Let g(j) = 3*j**2 - 5*j + 2. Let i be g(4). Suppose -i = 3*s + 4*k, -s - 18 = 4*k - 0*k. Is o(s) a prime number?
False
Suppose -391 = -16*s - s. Is s composite?
False
Let o(u) be the second derivative of -1/6*u**4 + 7*u + 0 + 127/2*u**2 + 1/3*u**3. Is o(0) a prime number?
True
Is (-60077)/(-2)*(-60 + 62) composite?
False
Is 2/8*(-1)/(9/(-92844)) a composite number?
False
Let u = -291 - -100. Let a = 394 + u. Is a a prime number?
False
Suppose 2*x + x = -x. Let h(c) = c**2 - 3*c + 397. Is h(x) a composite number?
False
Let h(c) = -c - 3. Let y be h(-6). Let v be -2 + (-4 + y)*-4. Is ((-1463)/44)/(v/(-8)) a prime number?
False
Suppose 5*m - 24 = -2*h + h, m - 9 = 4*h. Suppose -m*y + 3*l + 33 = l, -5*y + 5*l = -45. Suppose -5*c + 2129 = y*q - 2*c, -5*q + 4*c + 2143 = 0. Is q prime?
False
Let z be (4/(-6))/((-12)/144). Let o = 2 + z. Is o a prime number?
False
Let h = 79 - -221. Let l = h + -211. Is l composite?
False
Let t be (-4 - (4 - 51/6))*2546. Let l = t - 518. Is l a composite number?
True
Is 16/4*-280441*5/(-140) composite?
False
Suppose 1 + 1 = -2*c. Let a be c*(-3)/(-3) + 1. Suppose a = -3*f - 2*f + 805. Is f a composite number?
True
Let w(o) be the second derivative of o**4/6 + 7*o**3/6 + 7*o**2/2 - 8*o. Is w(-14) a composite number?
True
Suppose 0 = 4*z - 849 + 24217. Let w = z - -8454. Suppose w = 3*n + n. Is n prime?
True
Let q(y) = 8*y - 1. Let f be q(1). Let z be (-24)/3 + (5 - -5127). Suppose 707 = -f*c + z. Is c prime?
True
Let w(x) = x**3 + 19*x**2 - 16*x - 1. Let m(g) = 2*g**2 - 18*g + 7. Let r be m(8). Is w(r) composite?
False
Let y = 52374 + -29563. Is y/7 + (-12)/(-42) composite?
False
Let l = -8 + 13. Suppose 2*d - 1789 = -l*z, 0*z - 365 = -z + 2*d. Is z prime?
True
Let m(v) = 221*v + 7. Let x(g) = 441*g + 15. Let l(r) = 5*m(r) - 2*x(r). Is l(2) a composite number?
True
Let o(m) = m**2 - 3. Let p be o(3). Suppose -310 = w - p*w. Is w composite?
True
Suppose 0 = 5*h - 20, b + 2*h = 4*h + 151. Let d = b - 64. Is d composite?
True
Is -6 + 1 + 9/(36/3496) prime?
False
Let i be (2 + -1 - 2) + 4. Suppose -3*s = 2*k - 21, 2*s + 0*s - 2*k = 14. Let l = i + s. Is l a composite number?
True
Suppose 0 = -4*x + 7 - 3. Is 9*443 + x - 13/(-13) a composite number?
False
Let z(x) = -20*x**3 - x**2 + x + 1. Suppose -4*n + 0 = -3*t + 3, -4*t + 5*n = -4. Let s be (-4)/8*2/t. Is z(s) a prime number?
True
Let m(a) be the first derivative of a**7/840 - a**6/45 - 7*a**5/120 + a**4/24 - 5*a**3/3 - 5. Let j(d) be the third derivative of m(d). Is j(9) prime?
True
Let o(u) = -u**2 - u + 9. Let j(s) = -s**2 + 9*s + 3. Let h be j(10). Let p be o(h). Let d = p - -124. Is d composite?
True
Let f(v) = -v**3 + 11*v**2 - 7*v + 13. Let t(z) = z**3 - 11*z**2 + 7*z - 12. Let n(w) = -2*f(w) - 3*t(w). Is n(7) a prime number?
True
Let s = -5 + 8. Let q be ((-36)/(-21))/s*7. Suppose -367 = -o + 2*m, -2*m = q*o - m - 1459. Is o prime?
False
Let w(g) = 85*g**2 - 11*g + 5. Let t(h) = h**2 - h. Let l(i) = -5*t(i) + w(i). Is l(4) prime?
False
Suppose 0 = 4*l - 0*z - z - 125, 3*z = 3*l - 96. Is l a prime number?
True
Let g = -4 - -3. Let q be g*(2 + 1 + -5). Is (-50)/15*(-249)/q a composite number?
True
Suppose -63818 = -3*b - k, 4*k = 67*b - 64*b - 63793. Is b prime?
False
Let i = 13630 + -3233. Is i composite?
True
Suppose -3*h - 2 = 25. Let f(j) = j - 3*j - 3 - 16*j. Is f(h) a prime number?
False
Let f(r) = 17*r**2 + 1. Let t be (-25)/4 + (-5)/(-20). Let k be 3*(1 + 10/t). Is f(k) a prime number?
False
Let b = 488 - -99. Is b a prime number?
True
Let t = 1975 - 1088. Suppose -16*j = -15*j - t. Is j composite?
False
Let q = 15 - 11. Suppose 4680 = q*d + u, -3*d + 7*d + 2*u = 4676. Is d composite?
False
Let u be (662/(-8)*6)/((-27)/36). Let o = 1583 - u. Is o a composite number?
True
Suppose -189 + 601 = 4*f. Let h be 9/(-12) - (-1623)/4. Suppose 0 = -4*x + f + h. Is x a prime number?
True
Let z(g) = 7977*g + 1172. Is z(7) a prime number?
False
Let x(s) = 15*s**2 - 21. Let o(j) be the second derivative of -j**4/3 + 5*j**2/2 + 9*j. Let d(b) = -9*o(b) - 2*x(b). Is d(-3) a composite number?
True
Let k(u) = -105*u + 3. Let g be k(2). Is (g/(-18))/(1/2) a composite number?
False
Suppose 96 = -5*s + 366. Suppose 12 = -3*d + s. Is (-3)/21 - (-1528)/d composite?
False
Let w(x) = 2012*x - 23. Is w(5) prime?
True
Let y be -2 + 7 + -2 + 0. Suppose -3*w = y - 114. Is w prime?
True
Let q = -1121 + 2403. Let w = q + -563. Is w a composite number?
False
Let c(a) = 3*a**2 - 27*a - 5. Let k(j) = -j**2 + 9*j + 2. Let g(d) = 6*c(d) + 17*k(d). Let m be g(9). Is 534/m*(-8)/(-6) a prime number?
False
Let k(u) = u**3 - 25*u**2 + 22*u + 30. Let n be k(24). Is (60/n)/5*14622/(-4) a composite number?
False
Is (-1)/2 - 18/(-12) - -7816 a prime number?
True
Is (4/(-8))/(4 + (-71698)/17924) prime?
True
Suppose -2*t + 150 - 40 = 0. Is t a composite number?
True
Suppose 2*q + 10 = -g, 3*g + 2*q = -1 - 17. Is (-20 + 14)/(g/362) composite?
True
Suppose v - 18 = -5*k, -20 = v - 3*v - 2*k. Let i(j) = -j**2 + j + 1. Let r(c) = -c**3 + 9*c**2 - 10*c + 7. Let l(w) = -2*i(w) - r(w). Is l(v) prime?
False
Let c(u) be the second derivative of 89*u**4/6 + u**3/3 - u**2/2 - 10*u. Is c(-2) a composite number?
True
Let z be (6/(-8))/(2/(-8)). Suppose -111 = 2*m - z*m. Is m composite?
True
Suppose h + 4*g - 11905 = 0, -47620 = -4*h - g - 2*g. Is h a prime number?
False
Is -1*(0 + 14982)/(-6) prime?
False
Suppose 11*x - 10*x - 2 = 0, -24351 = -5*s + 2*x. Is s composite?
False
Suppose 3*s + 6 - 39 = 0. Let j = s - 7. Suppose 0 = j*v - 256 + 20. Is v a prime number?
True
Let g = 18974 - 8863. Is g a prime number?
True
Let t = -43 - -71. Let g = -28 + t. Suppose 2*r - 7*r + 445 = g. Is r composite?
False
Suppose 3*j - d = 29521, 0*j = -6*j - 4*d + 59018. Is j a prime number?
True
Let x(l) = l**3 + 16*l**2 - 19*l - 8. Let o be x(-17). Let f(v) = v**3 - 27*v**2 + 29*v + 33. Is f(o) prime?
False
Let q(m) = -m**3 - 9*m**2 - 10*m - 18. Let a be q(-8). Is a/(-7) + (-12731)/(-7) a prime number?
False
Let l = -10 + 13. Suppose 0 = -0*v + l*v. Suppose -k + 10 + 5 = v. Is k a composite number?
True
Suppose -7578 = -9*j + 1233. Is j a composite number?
True
Let f = 71 + -23. Let c(h) = h**3 + 4*h**2 - 10*h + 2. Let g be c(-7). Let z = f - g. Is z composite?
True
Let i(s) = s + 11. Let b(k) = k + 10. Let q(m) = -7*b(m) + 6*i(m). Let u be q(-9). Let t(y) = 16*y + 11. Is t(u) prime?
False
Let c 