3 - 35*p**2 - 24*p - 2. Let h be z(-11). Suppose 0 = h*o - 129155 + 8975. Is o a composite number?
True
Suppose -3*t - n = -40715, 34*n - 29*n = -4*t + 54294. Is t composite?
True
Let r(d) = 4*d**3 - 22*d**2 + 52*d + 5. Is r(15) composite?
True
Suppose -1001381 = -0*n - 4*n + 703775. Is n prime?
False
Is 38629/((-110)/200 - (-3)/4) prime?
False
Let j be -1*2290/(-2) - 5. Suppose j = 11*i + i. Is i prime?
False
Let b be (-4)/10 + (5368020/(-25))/(-12). Suppose -5*s + 89505 = -5*l, s - 11*l = -6*l + b. Is s composite?
False
Let c(k) = k**3 + 14*k**2 + 15*k + 26. Let u be c(-13). Suppose 2*b + 279 - 1755 = u. Suppose 0 = h + 107 - b. Is h a composite number?
False
Let k be (1 - -3)/(-4) + 2*1. Let n be (k*2/(-4))/((-3)/(-114)). Let h = 128 + n. Is h prime?
True
Suppose -4*c - 5 = -a, -4*a + 4*c + 2 = -6*a. Suppose -3*p = 3*l + 5 + a, -4*p + 5*l = -28. Suppose -2*j - 3*j + p*x = -279, 3*x + 105 = 2*j. Is j prime?
False
Suppose 303*r = -b + 304*r + 17373, 16 = 4*r. Is b composite?
False
Let a = 1712 - -19161. Is a prime?
True
Let s(u) = -4037*u - 219. Is s(-38) prime?
False
Let z(g) = -2 - 1 - 3*g**2 + 2*g**2 - 29*g. Suppose l - 5*y + 35 = 0, 4*y = -38*l + 43*l + 133. Is z(l) a composite number?
False
Suppose 1456 = 9*u - 461. Suppose l + 5*c - 111 = 0, -4*c + 47 = -2*l + u. Let x = l - 54. Is x composite?
False
Let w(b) = -4*b**2 + 7*b - 1052. Let z(i) = 7*i**2 - 14*i + 2103. Let y(s) = 5*w(s) + 3*z(s). Is y(0) a composite number?
False
Suppose 4*s - 8144 = 5144. Let o = 169 + -1644. Let u = s + o. Is u prime?
True
Let m(q) = 20075*q**3 - 7*q**2 + 446*q - 1795. Is m(4) prime?
False
Suppose f + 2*v - 244699 = 0, -3*f + 153*v + 734106 = 158*v. Is f a prime number?
False
Let w be -2*((-9)/(-6) - 0). Let r be 56/32 + w/4. Is (1840 - 5)/(1/r) a composite number?
True
Let j be (-56)/(-6) + 9/(-27). Let c be 8053/3 + (-3)/j. Suppose -6*d + d = -5*z + 4490, d + c = 3*z. Is z a prime number?
False
Let c(b) = -2*b**3 + 15*b**2 + 10. Let h = 96 - 74. Suppose 10*l = 12*l + h. Is c(l) a prime number?
False
Suppose -5*t = w - 146313, -t + 18992 = 4*w - 10263. Is t prime?
False
Suppose 0 = 5*u - 4*u - 2384. Suppose 3*f = u - 689. Is f prime?
False
Let j(r) = 1958*r**2 + 56*r - 255. Is j(7) a prime number?
True
Suppose 0 = -2*b + 7*b - 40. Suppose 0 = 20*g + 46169 - 163529. Suppose 5020 = b*y - g. Is y a prime number?
True
Let x(p) = p**2 + p + 2842. Let j be x(0). Let b = j + -285. Suppose 4*q = 3*l + b + 1738, -3 = 3*l. Is q a prime number?
False
Let a(n) = 3*n - 1. Let r(g) = 757*g - 101. Let p(c) = 2*a(c) - r(c). Is p(-8) a prime number?
False
Suppose 40*j = 38*j + 62. Suppose j*f = 203496 + 426517. Is f a composite number?
False
Suppose f + 8 = 3*h, 4*f - 11 = -2*h + 13. Suppose -3*b + 10 = -b + 2*n, h*b - 25 = -5*n. Suppose 0 = x - w - 2154, -6*w + 4*w - 10 = b. Is x a prime number?
False
Let p(j) = j**3 + 12*j**2 + 32*j - 12. Let l be p(-7). Suppose 122704 = 7*c + l*c. Is c prime?
True
Suppose -843789 = -9*i - 189192. Is i composite?
False
Let y = 522759 + -270482. Is y a composite number?
False
Suppose 2*l = q - 4*q + 54, -4*q = 3*l - 71. Suppose 0 = -k - 5*j + 4, -6*k + q = -k - 4*j. Let f(o) = 3*o**3 - 3*o**2 + o + 1. Is f(k) a prime number?
True
Let k(j) = j**3 + 26*j**2 + 35*j + 8. Let n be ((-2)/(-4))/(2/(-96)). Let v be k(n). Suppose -44 - v = -4*t. Is t prime?
False
Let x = -1149 + 12631. Suppose 2*l = x + 8662. Suppose -3*y - 5*y = -l. Is y a composite number?
False
Let j = -323154 - -548581. Is j composite?
False
Let b = 42817 - 9008. Is b prime?
True
Suppose 9*t - 10122 = 6*t. Suppose -t = -4*u + 6502. Let c = -1518 + u. Is c composite?
True
Let c be (30/(-75))/(8/16180). Suppose 0*x + 5*x + 6136 = -4*n, -x - 3*n = 1225. Let z = c - x. Is z a prime number?
True
Let v = 8948 - 4779. Suppose 5*u - v = 1526. Is u a composite number?
True
Let v(g) = g**2 - g. Let d be v(0). Suppose 3*k - 8 + 11 = d. Is k*(-2)/(-14) - 4014/(-21) a prime number?
True
Suppose 235*l = 5982521 + 23624424. Is l prime?
False
Let s = -518 + 520. Is s + (-1 - 6) + 14148 a composite number?
False
Let v(d) = d**2 - d - 1. Let k = 49 + -52. Let u(r) = -4*r**2 + 7*r - 4. Let z(n) = k*v(n) - u(n). Is z(-6) a composite number?
False
Suppose -s + 4*b + 4 = 0, -9 = 4*s + 4*b - 25. Let f = -500 + 882. Suppose -2*y + 3*o = -y - f, 4*y - s*o = 1568. Is y a composite number?
False
Let g = 241 - 239. Suppose -5*z - 5045 = -5*c, -8 = 3*z - g. Is c a composite number?
True
Let r(q) = 470639*q**2 - 19*q - 33. Is r(-2) a prime number?
True
Let d(z) = -16*z**2 + 3*z + 44. Let u(w) = 16*w**2 - w - 45. Let o(f) = -5*d(f) - 4*u(f). Is o(17) composite?
False
Let p(y) = 3*y**3 - y**2 - 6*y + 263983. Is p(0) composite?
False
Let c(d) = -619*d**3 - 3*d**2 + d - 3. Let a be c(-4). Suppose -5*l + 52709 = -a. Is l a prime number?
False
Let j = -26073 + 6078. Let y = 33974 + j. Is y a prime number?
False
Let q(r) = -r**3 + 16*r**2 - 70*r - 79. Is q(-18) prime?
True
Let r be ((-4)/10)/(9/(-810)). Let j = 40 - r. Is (-1256)/(-3) + j/12 composite?
False
Let c(m) = 8*m**3 + 14*m**2 + 6*m - 103. Is c(23) composite?
True
Let p(t) = -3*t**2 - 46*t + 32. Let m be p(-16). Let f be 2 + 0 + 8/2. Suppose -f*z + 6942 = -m*z. Is z composite?
True
Suppose -22 = -3*j - 16. Suppose 5*v = 2*s + 3*s + 175, j*s = -5*v + 154. Suppose -v*i = -37*i + 2335. Is i prime?
True
Let m be 26/7 + (-4)/(-14). Suppose -m*v + 12 = 2*j, -3 = j + 3*j - v. Suppose j = -2*t + 5*a + 3247, 0*a - 2*a = 5*t - 8161. Is t prime?
False
Suppose -4*z = -2*l - 620444, 3*l - l = -4*z + 620444. Suppose 12*a - a = z. Is a a composite number?
True
Let z be 1198/4 + (21/(-6) - -4). Let w = -207 + z. Is w composite?
True
Let o(l) = 5*l**2 + 13*l - 11. Let t be o(11). Let b = t - 68. Is b a prime number?
False
Let o(p) = -20*p**3 + 7*p + 34. Let t be ((-12)/(-6) + 8*-1)/2. Is o(t) a prime number?
False
Let d be (-3)/((-12)/128)*-1. Let a = d - -20. Is 909/21 + a/42 a prime number?
True
Let m(w) = -4*w - 11. Let f be m(-3). Is (1596 - 4/(-4))*f a composite number?
False
Let p(i) = 8038*i**2 - 14*i - 73. Is p(-4) a prime number?
True
Suppose -15 + 1 = -7*o. Suppose -o*z + 3*z = 291. Let x = z - 86. Is x a prime number?
False
Suppose -3*o - 4*l + 681 = 2259, -5*o = 4*l + 2622. Let t = 973 + o. Is t prime?
False
Let g(u) = -u**2 - 3*u - 45. Let r be g(5). Is (-52180)/r - 4/(-34) a prime number?
False
Let x be (-1)/4 + 732/48. Suppose -9*m + x*m = 24438. Is m composite?
False
Suppose -67*r - 737286 = -37*r - 36*r. Is r a prime number?
False
Suppose 2*m - 151531 - 280631 = 4*v, 5*m + 2*v - 1080477 = 0. Is m a prime number?
False
Let f be -3 + 2892/(-3) + -4. Let h = f - -3384. Is h a prime number?
False
Suppose -19*h + 88 = -83. Is 3*h/(216/62032) a composite number?
True
Let c(x) = 465*x - 28. Suppose 0 = -3*z + 6, -t + 2*z = z. Let l be 8 - (t/4)/((-2)/12). Is c(l) composite?
False
Let d(t) = -t**2 - 14*t - 5. Let o be d(-10). Let x = o + -30. Suppose -4*f - 1198 = -7*f - 5*m, x*m + 5 = 0. Is f a prime number?
True
Suppose 115 + 55 = -2*u. Let m = -82 - u. Suppose 4*h = -m*k + 15811, 5*h = 6*h + 2. Is k a prime number?
True
Let r(p) = p**3 - 7*p**2 + 7*p - 2. Let c be r(6). Suppose l - t - 290 = 648, 0 = -c*l - 3*t + 3780. Suppose 3*j - l - 1305 = 0. Is j prime?
False
Suppose -3*i + 4 = 6*b - 2*b, 0 = -4*i + 3*b - 28. Is (-12)/(-21)*(-12698)/i prime?
False
Let q(o) = o**3 - 33*o**2 - 53*o + 47. Let h be q(35). Let j be (-351)/18*(-188)/6. Let p = j + h. Is p prime?
False
Let t = -228 - -218. Is 8/t + 33138/10 a composite number?
False
Let c(l) = l - 3. Let q be c(5). Let a be (-9)/(-6)*(-8)/6 + -576 + 580. Suppose 0 = -2*z + q*r + 792, 8*r + 797 = a*z + 5*r. Is z a prime number?
False
Let u = -79 + 21. Let m = 70 + u. Is (-4083)/(-2)*(20/m + -1) composite?
False
Suppose -3347*j + 6988739 = -3318*j. Is j a composite number?
True
Let b be (-188)/(-19) + (-2)/(-19). Let s(x) = b*x**3 + 13*x**2 - 3*x - 5*x**2 - 8 + 4. Is s(3) prime?
False
Let p = 26725 + -23084. Is p a prime number?
False
Let u be (-2391)/2 - 18/(-12). Let y = -709 - u. Is y a composite number?
True
Suppose -2*w + s = -302, 4*w + 310 = 6*w + 3*s. Suppose -b + w = 2*o, -4*o + 612 = 5*b - 130. Is b a prime number?
False
Let g(r) be the second derivative of 23*r**6/144 - 11*r**5/120 + 5*r**4/2 + 