s p(s) a prime number?
True
Let w(u) = 5. Let d(h) = -75*h + 186. Let b(p) = d(p) - 4*w(p). Is b(-11) prime?
True
Let k(j) = j**3 - 10*j**2 - 4*j - 11. Let p be k(9). Suppose -6*h = -13*h + 2653. Let u = h + p. Is u composite?
False
Let c(q) = 34*q**2 + 3*q + 7. Suppose -3*m = -6*m - 3*a - 3, 2*a + 6 = -m. Is c(m) composite?
False
Let c(y) = 13 - 10*y + 12 + 21 - 51. Let a be c(-2). Suppose -p + 221 = 3*v - a, -1164 = -5*p + v. Is p composite?
False
Suppose 4 = -12*g + 52. Suppose -g*c - 27548 = -4*b, -2*b + 2*c = -6*b + 27524. Is b a composite number?
False
Let u(t) = -1095*t**3 - t - 1. Let y be u(-1). Let c be y/(6/2)*(-22)/(-5). Let r = c - 699. Is r a prime number?
True
Let p(c) = -c**3 - 19*c**2 - 9*c - 37. Let a be (-230)/(-10)*(-1 + -1). Let z = 27 + a. Is p(z) prime?
False
Let r = -384146 - -798372. Is r composite?
True
Is 4/(-34) - 103499315/(-289) prime?
False
Let h(q) = -39*q**2 + 3*q + 3. Let p be h(-1). Let j = p - -41. Suppose j*w = -3*t + 443, 3*w - 447 = w + t. Is w composite?
False
Suppose 0 = 23*d - 21906633 - 445250. Is d composite?
False
Let v = -19783 - -43016. Is v a composite number?
True
Let m = -608 - -344. Suppose 0 = 7*u + 1018 - 3867. Let r = u + m. Is r composite?
True
Let m(o) = -o**2 - 8*o - 1. Let c(b) = b**2 + 7*b + 1. Let i(q) = -4*c(q) - 3*m(q). Let t be i(-1). Is ((-1523)/(-4) + t)*4 - 2 prime?
False
Let t be 0 - 93/(-33) - 106/(-583). Is ((-2)/t)/((20/87546)/(-5)) a composite number?
False
Let w(f) = f + 8. Let c be w(-3). Let x be (4 - c)/(3/(-6)). Suppose -2*a = -2*d - 1872, 2*d - 2829 = -3*a - x*d. Is a prime?
False
Let q be ((-10207)/346)/((-1)/(2*7)). Suppose -14209 = -2*g - 2229. Suppose 5*h + 4*p = 9273, -3*h + 2*p + g = q. Is h a composite number?
True
Suppose 0 = -3*v - 5*z - 267, -3*v - 267 = -5*z + 7*z. Let w = 292 - v. Is w a composite number?
True
Let t(a) = -32*a**2 + 4*a - 2. Let r be t(1). Is r/12*142366/(-35) a composite number?
False
Let q(n) = 4053*n + 79. Let t be q(-13). Is t/25*(-30)/12 a prime number?
True
Suppose 331514 = 4*i + 3*f, 3*i + 522*f - 248631 = 519*f. Is i a composite number?
False
Let h(v) = -v**3 - 109*v**2 + 171*v + 94. Is h(-115) a prime number?
True
Let f(y) = 13*y**2 - 15*y - 19. Suppose 5*m = -3*u - 35, -3*u + 42 = -4*m - 13. Let t(q) = -q - 1. Let k be t(m). Is f(k) a composite number?
True
Let n(t) = -t**2 - 16*t + 5. Let g be n(-16). Suppose -o + 12 = k, k - g*o = -o + 2. Suppose k*c - 1202 = 1728. Is c composite?
False
Suppose 0 = 9*x - 221 + 32. Let m = 592 - x. Is m a composite number?
False
Let p(u) = -u + 25. Let z be p(15). Let l = 21 - z. Suppose -312 = -l*b + 3*b. Is b a prime number?
False
Let z = 243 + -237. Suppose 0 = 3*k + c - 18952, -2*c = 5*k - z*k + 6329. Is k prime?
False
Suppose 0 = 4*q + 3*a - 99 + 26, -3*a - 15 = 0. Suppose -q*x = -34455 - 52819. Is x a composite number?
False
Is 535445/2*-29*92/(-3335) composite?
True
Let c(b) = b**2 - 2*b**2 - 3 + 0*b**2 - 4*b - b. Let s be c(-5). Is (-791)/s - 4/6 a composite number?
False
Suppose 6*b - 1076362 = q, 3*q - 2*q - 8 = 0. Is b composite?
True
Let v(q) = 2729*q + 10. Suppose 0 = 4*g - 5 - 3, -p = -g - 1. Is v(p) a composite number?
True
Suppose -3*t = -3*j - 6, -j - t + 0*t + 8 = 0. Is (j/2)/(9/460470) prime?
False
Let b be 2/(-4) - 9*(-1)/2. Suppose -15 + 27 = b*v. Suppose -4*x = a - 51, 2*a + v*a - 5*x - 380 = 0. Is a a prime number?
True
Suppose -3*y - 2 = 7, y = -d + 3. Let i be (-136)/3*d/(-4). Suppose -5*j + i + 887 = 0. Is j a composite number?
False
Let y(b) = 42*b**3 - 49*b**2 + 5*b - 273. Is y(25) a prime number?
True
Let x be 6/(-7)*(4 - (-26)/(-3)). Is (-6628)/x*(-12)/12 a prime number?
True
Let z(l) = -13*l - 11. Let g be z(-3). Suppose 4*q = 2*t + 28, 3*q + q + 5*t - g = 0. Suppose 12*n - q*n = 20245. Is n a composite number?
False
Let i(g) = 2121*g**2 - 5*g + 3. Let k(h) = 42*h + 11. Let p be k(-2). Let t = -72 - p. Is i(t) a prime number?
False
Let o(n) = -n**2 + 9*n + 39. Let y be o(12). Suppose -5*a = -y*q + 4951, -4*a - 3298 = -2*q - 0*a. Is q composite?
False
Suppose -112*v + 93018 = -106*v. Is v a prime number?
False
Let h(v) = 45*v**2 + 38*v - 192. Is h(7) prime?
False
Is (-2053)/(5 - 36/6) composite?
False
Suppose 2*h + 2 = 0, 9*h + 24997 = -k + 14*h. Let j = -10033 - k. Is j a prime number?
True
Let d = -13812 - -41975. Is d a prime number?
True
Suppose 0 = -493*a + 393*a + 16725700. Is a a composite number?
True
Suppose 11348725 = -432*m + 457*m. Is m a composite number?
False
Let a(s) = -s + 9. Let v be a(18). Let z(h) = 54*h**2 + 10*h + 125. Is z(v) composite?
False
Let d(b) = -b**3 - 7*b**2 + 19*b + 13. Let f be d(-9). Suppose -f*v - 10*v = -140. Is (-8)/v - 28794/(-30) prime?
False
Let f(l) = -l - 4. Let p be f(-2). Let q(u) = 1125*u**2 - 3 - 744*u**3 - 1125*u**2 - u. Is q(p) composite?
True
Suppose 3*a = -2*v + v + 12, 0 = 4*v - 4*a. Suppose -21998 + 1727 = -v*w. Is w prime?
False
Suppose 0 = -2*a + r + 32 - 13, -2*a + 29 = -3*r. Let m(u) = -11*u**2 - 207*u + a*u**3 - 10 + 216*u - u**3 - 2*u**3. Is m(4) composite?
True
Let u(c) = 47022*c**2 + 12*c - 5. Is u(2) a prime number?
True
Suppose 0 = 2010*g - 2009*g - 34027. Is g prime?
False
Suppose -5*r + 4*n = -22809, r + 6*n - 4581 = 2*n. Suppose -4*j - 3*d + 2585 = -3513, 0 = 3*j - 2*d - r. Is j prime?
True
Let c(p) = 6007*p**2 + 14*p + 41. Is c(-4) prime?
True
Suppose 5*h = 3*h - 64. Let g = h - -39. Suppose g*t = 901 + 912. Is t prime?
False
Let i = 5614 - 5588. Let j(m) = -21*m + 151. Let s(p) = -11*p + 75. Let k(l) = 6*j(l) - 13*s(l). Is k(i) prime?
True
Let t = -265 + 267. Is (-1)/(t/55576*-4) a prime number?
True
Let j(u) be the second derivative of 149*u**3/6 + 133*u**2 + 2*u + 117. Is j(13) a prime number?
True
Let j(f) be the third derivative of 7*f**5/60 - 13*f**4/24 - 7*f**3/6 + 268*f**2. Let o be (-5)/(-2)*-1*2. Is j(o) composite?
False
Let u = -329 + 334. Suppose 1637 + 5152 = z + 4*w, u*w = -3*z + 20388. Is z composite?
True
Let u = 69570 + -22763. Is u a prime number?
True
Let r = -54 - -62. Suppose -3*g - 12016 = -r*g + 2*v, -g - v + 2399 = 0. Suppose 63 = -l - 3*o + 877, -o - g = -3*l. Is l prime?
False
Let h = -50 - -25. Let r = h - -30. Suppose r*n = -3*m + 265, -2*n + 3*m = -2*m - 106. Is n a prime number?
True
Let s(t) = 2*t + 11. Let h be s(-11). Let m(u) = -2*u**3 - 13*u**2 + u - 36. Is m(h) composite?
True
Let j(p) = -p**2 + 6*p. Let f be j(5). Suppose -3*i + 1 = -f*u + u, -4*u + 2*i = -2. Suppose u*v - 4*s - 3322 = 0, -2*v + 282 = s - 3030. Is v a prime number?
True
Let z(m) = m**2 - 18. Let j be z(4). Let h be (j - 20/(-16))*(0 + -8). Suppose -3*a - 51 = -2*l - h*a, 3*l - 72 = -3*a. Is l a prime number?
False
Is -7 - -10022 - 11 - (-3 + 0) a composite number?
False
Let o be (-4)/(-1)*((-11050)/(-20))/(-13). Let n = -3 - o. Is n prime?
True
Let d(n) = 72*n**2 - 14*n - 100. Let m be ((-21)/(-42))/((-67)/(-22) + -3). Is d(m) composite?
True
Suppose 304 = 18*n - 56. Suppose -n*k = -23*k + 5466. Is k prime?
False
Let z(w) = 6273*w**2 + 494*w + 38. Is z(-11) composite?
True
Is 2/((-23)/(454758714/(-36))) prime?
True
Let j be (3*6/(-18))/(-1). Is 1847*j - (15 - 15) a composite number?
False
Let r = -35 - -35. Suppose -6*a + 9*a - 6 = r. Suppose -5*u + 2749 = 2*q, -2*q + 426 = a*u - 670. Is u composite?
True
Suppose 0 = -2*h + 12, 7*h = -5*i + 8*h + 1042439. Is i prime?
True
Suppose 7*v - 6*v - 1 = 0. Let y(w) = -307*w**2 - 4*w + 4. Let x(s) = 921*s**2 + 13*s - 13. Let a(h) = -2*x(h) - 7*y(h). Is a(v) a prime number?
True
Let f be (96/15 - 8)*(-65)/2. Suppose -f*i = -1292994 - 2154242. Is i prime?
True
Let c be (-3 + (-30)/(-4))/(8/48). Is (-2 + 1/2)/(c/(-168066)) a composite number?
False
Suppose -16*p = -5*p. Suppose 0 = 10*t - 7*t - 5*i - 5694, 3*t - 2*i - 5703 = p. Is t composite?
True
Suppose 20 = -5*s + 4*o, o + 1 = -s + 6. Suppose 4*p - 9976 = -s*d - 4*d, -p = -3*d - 2498. Is p composite?
True
Suppose 17*r = 29*r + 1932. Let k = 550 + r. Is k composite?
False
Let w = -52372 + 102129. Is w prime?
True
Suppose -911*v = -946*v + 29317015. Is v composite?
True
Suppose 10*x + 17*x = 135. Suppose 56507 = 6*m + x*m. Is m a composite number?
True
Let l = -98997 + 170126. Is l prime?
True
Let g be (-25)/3*(-4)/((-40)/(-6)). Suppose -f = -g, -3*f - 28278 = -j - 2*f. Is j composite?
False
Suppose 72