916 + b. Is o a prime number?
False
Suppose -p + v + 0*v + 136 = 0, 0 = -3*p + 2*v + 410. Let u = -123 + p. Is u prime?
False
Let b = 1580 - 611. Suppose 4797 = 5*r - 3*r + 7*r. Suppose 0 = 2*c - b - r. Is c composite?
False
Let m(i) = -3022*i - 102. Let c be m(-9). Suppose -3*d - 5 = -2*d, -4*d + c = 4*y. Is y prime?
True
Let i(l) = -6*l**3 + 29*l**2 + 191*l - 26. Is i(-21) a prime number?
False
Suppose 5*q - 5*v - 1005940 = 0, -2*q - 5*v - 73558 = -475969. Is q prime?
True
Suppose 3*d - 60 = r, -66 = -4*d - 3*r + 14. Let n = d - -269. Is n a composite number?
True
Is -14 - 7/((-56)/2243384) a prime number?
True
Suppose 3*k = -t + 21, 101*k - 96*k = -4*t + 35. Suppose -k*p = -2*v - 3*p + 13794, -3*p = -4*v + 27563. Is v a prime number?
False
Let v(l) be the second derivative of -l**7/840 - l**6/30 + 17*l**4/24 + 11*l**3/6 + 5*l. Let p(i) be the second derivative of v(i). Is p(-14) prime?
True
Suppose -5*l + 3394 = -l + 2*p, 0 = 3*l + 5*p - 2528. Let n(f) = -63*f**2 - 4*f - 3. Let o be n(-3). Let c = o + l. Is c a prime number?
True
Is (-734920)/(-114) + (-5)/3 a prime number?
False
Suppose -9*x + 6*x + 2*f - 52098 = 0, -5*x + 3*f = 86829. Is ((-41)/(-82))/((-2)/x) prime?
False
Suppose -55*k + 667964 + 256082 + 661989 = 0. Is k a composite number?
False
Is (-1243988)/(-7) - -6*(-2)/(-28) a prime number?
False
Is (-455431)/(-7) + ((-496)/672 - (-14)/12) a prime number?
False
Suppose -2188*p + 2037*p + 1199091 = 0. Is p a composite number?
True
Suppose 2*d - 4*d + 8 = 0. Suppose -d*u + 5*j = -11, 17*u - 4*j = 14*u + 9. Is 15818/44*(-2)/u a prime number?
True
Suppose -j = 4*q - 18, 3*q + q - 10 = 3*j. Suppose 4 = -j*l, -4*k + 3*l + 3131 = -151. Is -1 - k/(-5) - 5/(-25) a prime number?
True
Let k = 984999 - 142308. Is k a prime number?
False
Let c = -5818 + 18251. Is c prime?
True
Let f be 260/(-52) + (-1 + 6)*1. Suppose f = -980*n + 984*n - 99092. Is n prime?
False
Suppose -5*s - 87408 = -2*a, -106117 = -7*a - 5*s + 199676. Is a prime?
False
Let y(r) = -287*r**3 - 23*r**2 - 7*r + 4. Is y(-5) a prime number?
True
Suppose 3*q - 114685 = 4*b, 191074 = 5*q + 13*b - 10*b. Is q composite?
False
Let s be -9 + 2 + (-18)/6. Is s/2 + -4 + 22076 - 6 prime?
False
Let j be (-2)/(-8)*(1 + 3 - -4). Suppose 1 = j*h + 3*s + 6, -3*s = h + 7. Suppose -5*k = -h*k - 5673. Is k a prime number?
False
Let w(l) = 104531*l**2 - 108*l - 231. Is w(-2) a prime number?
True
Suppose 86119 + 11516080 = 61*a - 19802492. Is a prime?
True
Let z = 16 + -12. Let u = 32 - 26. Suppose c = -2*p + 13, z*c + p - 39 = u*p. Is c prime?
True
Let t = 118 + -3. Let u be ((-104)/(-32))/((-3)/24). Let v = u + t. Is v composite?
False
Suppose 0 = 7*v - 16*v + 4824. Let r be 1806/(-28)*v/6. Let h = r + 8079. Is h a prime number?
False
Suppose -289024 = -10*q + 6*q - 91308. Is q composite?
False
Let z(p) be the first derivative of 215/3*p**3 + 12 - p + 5/2*p**2. Is z(3) a prime number?
True
Suppose -q - 13837 + 97226 = 3*r, 250153 = 3*q + 2*r. Is q prime?
True
Suppose 7*q = 3*q - 4*t, 4*q - 6 = -t. Suppose 2*a = 0, -6*c + 28052 = -q*c + 5*a. Is c prime?
True
Let a(n) be the second derivative of n**2 + 0 + 1/4*n**4 - 33/10*n**5 - 17*n + 2/3*n**3. Is a(-1) a composite number?
False
Suppose 0 = -27*i - 129*i + 8880445 - 2946361. Is i a prime number?
True
Suppose 0 = -5*y + 25, -3*y + 12 + 83 = -4*p. Let q be (-10)/(-25) - (-5388)/p. Let b = 430 + q. Is b a prime number?
False
Suppose -91*y - 27*y + 68135287 - 24459829 = 0. Is y prime?
False
Let a(i) = 4*i**2 - 25*i + 11. Let w be a(6). Suppose -w*g = 3*q - 16163, 10*q - 26897 = 5*q + 2*g. Is q composite?
False
Let h = 109 - 96. Suppose 0 = h*l - 15*l + 1692. Let i = -167 + l. Is i a composite number?
True
Let w(h) = 508*h**3 + h**2 - 3*h + 3. Suppose 8*k - 3 = 5*k. Suppose 0 = 3*a - 4*d + k, -a - 2*d = -3*d. Is w(a) a composite number?
False
Suppose 0 = -2*w - 1 + 1. Suppose w = -5*f + 3*f + 15430. Suppose -11*g + 6*g + f = 0. Is g composite?
False
Let t(z) = z**3 - 9*z**2 - 12*z - 7. Let h(w) = 2*w**3 - 17*w**2 - 24*w - 15. Let n(v) = -6*h(v) + 11*t(v). Let a be 8604/(-239)*1/4. Is n(a) prime?
True
Suppose 8*n = 20*n + 180. Let j(a) = 2*a**3 + 23*a**2 - 33*a + 63. Let v(u) = u**3 + 12*u**2 - 16*u + 31. Let g(f) = -3*j(f) + 7*v(f). Is g(n) a prime number?
True
Suppose 4*k - 1402 = -2*w, -7*k + 4*w + 328 = -6*k. Suppose c - k = -f, 12*f + 694 = 14*f + c. Is f a composite number?
True
Let v = 48 - 48. Suppose 2*d + 8*d + 10720 = v. Is 1 - d/(7 - 3) composite?
False
Let z = 4582 - 2357. Suppose 10*q - 14*q = -15832. Let l = q - z. Is l composite?
False
Let c(z) = -9*z**2 - 30*z. Let o(d) = -6*d**2 - 6*d + 6. Let f(y) = y**2 + y - 1. Let v(a) = -5*f(a) - o(a). Let t(n) = -c(n) + 2*v(n). Is t(10) prime?
False
Let n(s) = -75*s + 83. Let g(k) = -151*k + 167. Let i(f) = 2*g(f) - 5*n(f). Is i(8) a prime number?
True
Let a be 2*1*1332/(-111). Let p(g) = -159*g - 409. Is p(a) a composite number?
False
Suppose z + 8125 = -3579. Let y = -7599 - z. Is y prime?
False
Let z(j) = -2*j**3 - 23*j**2 - 11*j + 4. Let l be z(-11). Suppose 5*m + 4*o = 6*o + 27427, 0 = 2*m + l*o - 10966. Is m a prime number?
False
Suppose 6*h = 8*h + 3*o + 532, 5*h + 4*o = -1316. Let x be 12/(-3*(4 + h/64)). Let m = 623 - x. Is m a composite number?
True
Suppose 46*o + 444862 = 69*o - 184165. Is o composite?
True
Suppose 4*t + 5*d = 11, 4*t - 17 = 21*d - 20*d. Suppose t*j + o = 6677, 0*j + 3*o = -j + 1672. Is j a composite number?
False
Let o(s) = 4*s**2 - 43*s + 23. Let p be o(10). Is (p + (-13)/(-2))*-886 prime?
True
Let p(h) = 518*h - 9007. Is p(85) composite?
False
Suppose -2*b + 272 = 4*g, b + 722 = 6*b - 4*g. Let q(m) = 3*m + 19. Let d be q(-5). Suppose 2 = -2*z, -3*z = -d*f - z + b. Is f prime?
False
Suppose 375 = 5*z - n, -4*n - 375 = 3*z - 8*z. Let o = 1 - z. Let m = o - -156. Is m a prime number?
False
Let h(n) = 4*n**2 + 1. Let y be h(-1). Suppose d - 507 = -a + 1049, -5*d + y*a = -7810. Suppose -9*k + 10*k - d = 0. Is k prime?
True
Is (0 + -35)/(-5) - (14 - -425)*-754 a prime number?
True
Suppose -8*k + 3949 = 3*k. Suppose -a = -0*a - k. Is a composite?
False
Suppose 0 = 16*k - 78 - 18. Is (0 + 2/k)/(7/35553) a composite number?
False
Let m(p) be the second derivative of p**4/12 + 8*p**3/3 - 5*p**2/2 - 19*p. Let x be m(-16). Is (-8774)/(-10) + 2/x a prime number?
True
Let r = 48407 + 77076. Is r prime?
False
Is (4*58/(-4))/((-6)/11148*4) a composite number?
True
Suppose -4*b = -33 + 17. Let i(z) = 16*z**3 - 8*z**2 - 3*z + 11. Let d(p) = -p**3 + p**2 - p. Let m(h) = 4*d(h) + i(h). Is m(b) a prime number?
False
Suppose -105*j = -46*j + 109*j - 179792424. Is j composite?
True
Suppose -5*f = -4*f - 2. Let c(u) = 10*u**2 + 73*u + 27. Let v be c(-7). Suppose -v*y + 8*y - x = 234, f*x = -2*y + 222. Is y composite?
True
Suppose 5*j = 2*y - 1734983, 2602427 = 320*y - 317*y + 2*j. Is y a composite number?
True
Let u be (-104)/(-24) - 1/3. Suppose -u*w - 6*w = 110. Let p(r) = -3*r**3 - 8*r**2 - 14*r + 20. Is p(w) a composite number?
True
Suppose -2*t + t + 4 = 5*z, 4*t - 2*z - 16 = 0. Let m be 32*-7*(163 - 153). Is m/(-26) - t/26 composite?
True
Let r = 264962 + -143059. Is r prime?
False
Let s be (-4)/10 - (-102)/30. Suppose 0 = -s*z + 12, 3*z - 6*z = 4*p - 10844. Is (-2 - (1 - p))*1 a prime number?
False
Let d(k) = -24994*k - 17. Is d(-4) a composite number?
True
Suppose l + 7 - 12 = 0. Suppose 4*s - 12 = -4*h, -13 = -l*s - 4*h + h. Suppose -1162 = s*z - 9*z. Is z a composite number?
True
Let n = 529222 - -130597. Is n a composite number?
False
Suppose 138419 = -21*k + 8282. Let z = -3244 - k. Is z a composite number?
False
Let o(f) = -86*f**2 + f + 9. Let s be o(3). Let h = 1081 + s. Suppose 8*j - h = 249. Is j composite?
False
Let l(r) be the first derivative of 1/2*r**2 + 45 - 11*r - 1/3*r**3 + 9/4*r**4. Is l(4) a prime number?
False
Is (-14 + (-2890672)/(-112))*7 composite?
False
Let y(j) = -j**2 + 5*j - 3. Let p be y(3). Suppose 17234 - 2873 = p*c. Suppose -3*k - 4807 = -10*g + 5*g, -c = -5*g - 2*k. Is g composite?
True
Let r(n) = -n**3 + 13*n**2 - 15*n + 39. Let x be r(12). Suppose -x*d + 956 = -m, -1278 = -4*d - 0*d + 2*m. Is d a prime number?
True
Let h(z) = -4758*z**2 + 10*z - 11. Let s be h(1). Let b = -597 - s. Is b a composite number?
True
Let i be 538/(-10) - (-2)/(-10)