64))/(7/126) a composite number?
True
Let z(f) be the second derivative of 11*f**4/12 + 7*f**3/6 - 17*f**2/2 + f. Suppose 5*n = -3*y + 37, 0 = -2*n - 4*y + 1 + 11. Is z(n) composite?
False
Is (3 - 4 - -14888)/(6/(8 + 34)) a composite number?
True
Suppose z + u - 21109 - 22833 = 0, -5*z + 219712 = 3*u. Is z prime?
True
Let r(p) = 25801*p + 11009. Is r(14) prime?
True
Is (-45)/(-360) - 2*(3289701/(-48) + -3) composite?
False
Let l = 240870 - -2029. Is l prime?
False
Suppose 0 = -0*i - 2*i - 4, -2*x = i - 50. Let b = x - 32. Is 3 + b - (-782 - -1) a composite number?
True
Let c(p) be the third derivative of -p**4/6 - 5*p**3/6 - 38*p**2 - 4. Suppose -1 = 4*n + 15. Is c(n) a composite number?
False
Is 5184397/(-57)*2/(-4)*6 a composite number?
False
Let r(h) be the second derivative of 141*h**3/2 - 8*h**2 + 41*h + 1. Is r(1) a composite number?
True
Suppose -10*w = -2*w - 24. Suppose y - 2*y + 5876 = 4*t, 3*t - w*y - 4422 = 0. Suppose t = 3*c - 219. Is c composite?
False
Let z be (110/(-15))/((-2)/327) - -1. Suppose -2*o + 4074 = z. Is o a prime number?
False
Suppose -2*l + 236416 = 124842 - 126684. Is l prime?
True
Is 237282 + -15 + (28 - 32) a composite number?
True
Suppose 3*c - 15 = 2*q, 6 = 5*c - 2*q + 5*q. Suppose -12 = c*j - 6*j. Suppose j*t + 356 = 8*t. Is t a composite number?
False
Let m(h) = 40*h**2 + 13*h - 3. Suppose -3*j = -4*o - 26, 0*o + 2*o - 5*j + 6 = 0. Is m(o) composite?
True
Let y = 255546 - 126020. Is y composite?
True
Let m(n) = 1834*n**2 - 19*n - 1. Let h be m(4). Let a = -17160 + h. Is a composite?
False
Let x(s) be the first derivative of 241*s**2/2 - 18*s - 94. Is x(5) a composite number?
False
Suppose 3*n = n + 12. Suppose 0 = n*m - 18*m + 108. Is ((-9)/m)/(1/(-2229)) composite?
True
Suppose 3*g + 168790 = 4*n - 254862, 2*n - 211826 = -5*g. Is n prime?
True
Let t(r) be the third derivative of -23*r**4/2 + 19*r**3/6 - 132*r**2 - 6. Suppose 4*h - 9 = 5*x, 4*x + 3*h = -36 + 4. Is t(x) composite?
False
Suppose 18 + 10 = 14*h. Suppose -4846 = -2*l + 3*s, -6072 + 1222 = -h*l + 4*s. Is l a prime number?
True
Suppose 0 = -2*i - 4*u + 16, i + 2*u + 2 = 5*u. Let g be 6/i*((-90)/(-5) + 0). Is ((-33)/2 + 0)*(-306)/g composite?
True
Suppose 5*h = -4*v - 763 + 205102, -4*h + v + 163488 = 0. Is h prime?
False
Let i(m) be the third derivative of 13*m**5/60 - 13*m**4/12 + 7*m**3/3 - 39*m**2. Is i(7) prime?
False
Let g = 2 + 26. Let r(d) = -29 + g - 4*d + 389*d**2 + 3*d. Is r(-1) a prime number?
True
Suppose -3*t + 246 = -2*v + 1361, 1080 = 2*v + 4*t. Suppose 4812 = o + v. Let k = -2536 + o. Is k prime?
False
Let m(j) = 189*j**2 + 7*j - 1. Let a(k) be the second derivative of -k**3/6 - 9*k**2/2 - 8*k. Let g be a(-5). Is m(g) a prime number?
False
Suppose 0 = 5*n + 25, -3*i = 5*n - 1693470 - 582932. Is i composite?
True
Let l(r) = r**2 + 5*r + 2. Suppose m - 2*a = -0*m - 3, -5*a = -2*m - 5. Let b be l(m). Suppose b*h + 3*h = 6995. Is h a prime number?
True
Let p(g) = -3*g - 11. Let c be p(-4). Let q be c*(-2 + 0) - -321. Suppose 0 = a - 4*h - q, h = 2*a - 2*h - 638. Is a prime?
False
Let o(h) = -173*h + 171. Let t be o(-26). Suppose 0 = 5*i - t - 21466. Is i composite?
False
Let i(x) = -x**3 + 9*x**2 - x + 3. Suppose 0*o - o - 5*g = -14, 5*o = -2*g + 47. Let h be i(o). Let d(l) = 12*l**2 - 6*l + 10. Is d(h) composite?
True
Suppose 7261489 = 91*p - 393522. Is p prime?
True
Is ((-163148)/12)/(-1)*(-3 - 0 - -6) prime?
True
Let n(s) = -10*s**3 + 4*s**2 + 20*s + 77. Is n(-12) a composite number?
True
Suppose -2*i - 3*a + 0*a = 81, -3*a + 99 = -2*i. Let q be i/(-25) + 2/10. Suppose q*o - 200 - 344 = 3*f, 2*o - 528 = -5*f. Is o a composite number?
False
Let m(p) be the second derivative of p**5/20 - 7*p**4/12 - 17*p**3/6 + 2*p**2 - 98*p. Is m(11) prime?
False
Let y(q) = 21*q**2 + 4*q + 1. Let a(m) = 56. Let g(r) = r. Let o(u) = a(u) - 3*g(u). Let b be o(20). Is y(b) a prime number?
False
Suppose -3*g + 37112 = g - 4*f, -2*g = 4*f - 18532. Suppose -4722 - g = -4*b. Is b a composite number?
False
Let y = -586298 - -936421. Is y prime?
False
Let f = -171 + 172. Is f + (-3106)/(-1) + (-22)/(-11) composite?
False
Is (-1616190)/(-15) - ((-10)/(-3))/(22/33) composite?
False
Is -1 - (5/(90/(-236238)) + 1/3) composite?
True
Let k(q) = q**3 - 8*q**2 + 15*q - 13. Let u be k(6). Let i be (-4)/(u + -3) + 7. Is 3/i - (-11135)/25 a prime number?
False
Suppose 5*g - 14*t - 245 = -19*t, -g = 4*t - 49. Suppose 0 = 9*u + g - 12298. Is u a prime number?
True
Let y(g) = -3*g**2 + 47*g - 75. Let q be y(37). Let v = q - -6570. Is v composite?
False
Suppose -8910 = 40*u - 35*u. Let b = u - -2579. Is b composite?
False
Let g(z) be the first derivative of z**4/4 - 11*z**3/3 + 5*z**2 + 6*z - 22. Let w be g(10). Suppose -5*p - 15 = 0, w*p + 4926 = 3*a + p. Is a prime?
True
Suppose -8*q = 18*y - 7*q - 114351, 0 = 5*y + 2*q - 31759. Is y prime?
True
Suppose -3*y - k = 7 - 2, -4*k - 20 = -4*y. Suppose -z = -0*z - 4*b + 19, y = 3*z + b - 8. Is (-1 - (-4 - 175)) + z a composite number?
False
Suppose t + 9*t - 20 = 0. Suppose -t*z = -5*z + 37410. Suppose 2906 = -12*v + z. Is v a composite number?
False
Let j(y) = 1091*y**3 - 2*y**2 + 3*y + 3. Let c be j(2). Suppose -40383 = -8*k + c. Is k prime?
False
Let g = 463026 + -71423. Is g prime?
False
Is ((-1)/3)/(16/32*(-6)/7688313) composite?
False
Suppose -32*w + 106 = 10. Is (5 - 196)*(4 - (w - -2)) composite?
False
Let o(x) = -18664*x**3. Let c be o(1). Let f be c/(-3)*(-3)/(-2). Suppose -d = -5*d + f. Is d a prime number?
True
Let l(t) = -5511*t + 9817. Is l(-14) a prime number?
False
Let u(t) = t**3 + 6*t**2 + 2*t + 8. Let k be u(-5). Let o = -23 + k. Suppose -m + 710 - 91 = o. Is m prime?
True
Suppose -7*o + 4*o - 28967 = -5*x, 3*x + 5*o = 17353. Is x composite?
False
Suppose 8*b - 7*b = -2*b. Let x be ((-14)/(-4) - b)/((-10)/(-140)). Suppose -54*d = -x*d - 8095. Is d a composite number?
False
Let w(d) = -51958*d + 1375. Is w(-4) composite?
True
Let p be (-23)/((-345)/(-147186)) + (-2)/(-5). Let y = 24939 + p. Is y a composite number?
True
Let k(a) = 3*a**3 - 4*a**2 + 3*a + 3. Let g(b) = -b**3 + 2*b**2 - b - 1. Let s(v) = -5*g(v) - 2*k(v). Let r be s(0). Is (r*(-1)/(-3))/((-54)/94932) composite?
True
Suppose -1543 = -2*b + b + 4*y, -4*y - 4613 = -3*b. Is b a prime number?
False
Suppose 0 = -0*n + 3*n + 5*t + 78, 0 = -2*n - 2*t - 48. Let g = n + 79. Is g a prime number?
False
Let y(n) = 2*n**3 + 53*n**2 - 55*n + 53. Is y(-24) a prime number?
True
Let j = -149 - -151. Suppose 0 = j*n - 11 - 147. Is n a prime number?
True
Let c(j) = -1159*j - 3. Let y be c(6). Let q = -2340 - y. Suppose q = 5*a - 958. Is a composite?
True
Let f = -32903 - -58965. Suppose -11*r = -158595 - f. Is r a composite number?
False
Let o(h) = 14*h**2 + 9*h - 70. Suppose 2*b - 2*s = 22, 3*s + 47 = b + 40. Is o(b) a composite number?
True
Let q = -32926 - -56625. Suppose 3*y = 6*v - v - q, -y + 2 = 0. Is v a composite number?
True
Is (-18)/(-27)*281563 + 2/6 a prime number?
False
Suppose 0 = x - 2*w - 2847 - 8532, -4*w = -8. Is x a composite number?
False
Let x(i) = 52708*i + 843. Is x(2) composite?
True
Let f(g) = 2*g**3 - 9*g**2 - 20*g + 38. Let c(y) = -y**3 - 11*y**2 - 8*y + 29. Let u be c(-10). Is f(u) a prime number?
True
Let o = -277 - -280. Suppose 4*y = -d + 12061, 5*d + o*y = 39789 + 20465. Is d a prime number?
True
Suppose 0 = -q + 5*y + 28796, -q + y = -20938 - 7846. Is q prime?
False
Let p(f) = -f**3 - f**2 - 1. Let j(o) = 47*o**3 - 19*o**2 - 3*o + 1. Let c(i) = -j(i) + 3*p(i). Is c(-5) prime?
False
Is 7 - ((-1634790)/25 + 14/(-35)) prime?
False
Let o = 5819 + -894. Suppose -f + 3*f + 2 = 0, o = 2*t - f. Is t a composite number?
True
Let d be 27/36 + (-24303)/(-12). Suppose 4113 = 7*r - d. Is r composite?
False
Is (-75321701)/(-35) - ((-36)/15)/6 composite?
True
Let p = -21378 + 31219. Is p composite?
True
Let p be (57/(-19))/((-1)/117). Let u = p + -493. Let a = 273 + u. Is a a prime number?
True
Let s = -453 + 455. Suppose -s*x = -23*x + 628971. Is x a composite number?
True
Let d be -1 + -7 + 14 + -2. Suppose 5*v - 7328 = -n + 7134, -4*v = -d*n + 57728. Is n composite?
False
Let p(s) = 25116*s - 269. Is p(2) a prime number?
False
Let p be (-517)/55 - -10 - (-11417)/5. Let u = p - 1089. Is u a prime number?
False
Let p = 626 - 383. Is p/(-27)