1, 2*z = -3*p + 66807. Suppose -3*m + p = 4*m. Is m composite?
False
Suppose 0 = -5*y - 0*y - 4*u + 13414, 5*u = 2*y - 5359. Let b = 4655 - y. Is b a prime number?
True
Suppose 2*i - 3*i - 239 = -5*m, -8 = 2*i. Let x = -40 + m. Suppose 4424 = x*p + p. Is p a composite number?
True
Suppose 5*o - 5526 = -m, 2*o - 5*o + 3302 = 4*m. Suppose -5*v + 3203 = -2*b + o, 0 = 3*v + b - 1256. Is v a composite number?
False
Let t be (-5)/(-25) + -3 + (-248)/(-10). Suppose f + t = -f. Let q(m) = m**2 + 8*m + 2. Is q(f) prime?
False
Suppose 10*p = 14*p - 10172. Suppose 2*w - p + 191 = 0. Let j = w + -757. Is j prime?
True
Let y be 2489 - ((1 - -5) + -8). Suppose y = 3*q - 2*q + 3*t, -t = 5*q - 12511. Is q prime?
True
Suppose 0 = -3*f + 5*u + 72331, 800*f - 2*u = 798*f + 48226. Is f prime?
False
Let u(c) = -5*c**2 + 42*c + 155. Let r be u(-45). Let q = 20465 + r. Is q prime?
False
Let a(b) = 2*b**2 + 32*b + 85. Let o = 113 - 160. Is a(o) a prime number?
True
Let p = 8 - 5. Suppose 2535 = -22*i + 14283. Suppose -i = -p*x + x. Is x a composite number?
True
Let u(l) = 17 - 147*l - 133*l - 9 + 8*l. Let v be u(-4). Let k = -141 + v. Is k a prime number?
False
Suppose 92239 + 19125 = 44*h. Is h composite?
False
Let x = -23 - -26. Suppose 3*r = 3*v - 4650, x*r - 5083 = -5*v + 2683. Let k = -1043 + v. Is k a composite number?
False
Suppose 2*w - q - 142 = 164, -3*q - 763 = -5*w. Let f be 341 - (3 + -2)*3. Let u = w + f. Is u composite?
True
Suppose u - 5*t - 830 = 0, -u = 4*t + t - 780. Let p(q) = 291*q - 7. Let k be p(5). Suppose 5*y - u = -2*r + k, -5*y = -2*r - 2237. Is y a composite number?
False
Let j(h) be the third derivative of -995*h**4/4 + 97*h**3/6 + 9*h**2 - 2*h. Is j(-2) a composite number?
False
Let v = 488 - 77. Let n = v + -179. Suppose -n = j - 671. Is j prime?
True
Let b(r) = 76 - 38*r**2 - 19*r + 63 + 21724*r**3 - 21725*r**3. Is b(-42) composite?
False
Suppose -60*c + 22*c + 42761245 - 10871531 = 0. Is c a prime number?
True
Let a = -1228 - -36. Let w(k) = -666*k + 1. Let p be w(-3). Let l = p + a. Is l prime?
False
Suppose i = -4*q + 9380654, 3*q - 16*i - 7035505 = -24*i. Is q prime?
False
Is (-54)/(-24) + 160268184/288 a prime number?
False
Let r(t) be the third derivative of t**4/12 + 9*t**3/2 - 29*t**2. Let k be r(-12). Suppose -7405 = -5*z + b, k*b + 200 = -3*z + 4643. Is z a composite number?
False
Suppose -90678 = 35*k - 21*k. Let w = 9148 + k. Is w a composite number?
False
Let l = -80978 + 124328. Suppose -2*r + 4*o + l = 0, -22*r + 65033 = -19*r + 2*o. Is r prime?
False
Let n = -27287 - -54792. Is n a composite number?
True
Let q be (-10)/(-2) - 8 - (-6 - -1). Suppose 4*l - 4*c - 17422 = c, l = q*c + 4354. Is l a prime number?
False
Let k(o) = 16393*o - 7704. Is k(11) a composite number?
False
Suppose 1203670 = 59*o - 83155 - 763838. Is o composite?
False
Is -4*(22/88)/(3/(-6575397)) a composite number?
False
Suppose 9*s + 3*x + 882 = 12*s, 5*s + 2*x = 1505. Let j be (-4)/(-6) - 52/(-12). Suppose 77 = r + j*u, 3*r = -u + 3*u + s. Is r composite?
False
Let o be 14/4*(-553760)/(-56). Let g = o + -3288. Is g a composite number?
True
Suppose 0 = 3*l + 3*v + 21, v + 45 - 32 = -3*l. Let k(w) = 408*w**2 - 9*w + 10. Is k(l) prime?
True
Let v(f) be the first derivative of -10*f**3/3 - 7*f**2/2 + 12*f + 20. Let i be v(7). Let d = 30 - i. Is d a composite number?
False
Let q(t) be the first derivative of -t**4/4 - 10*t**3/3 - 7*t**2/2 + 6*t + 4. Let d be q(-10). Is ((-335)/20)/((-1)/d) prime?
False
Let m(v) = -2*v**3 - 24*v**2 - 25*v - 16. Let p be m(-17). Is (p/3)/(4 + (-44)/12) composite?
False
Let f(q) = 101*q**2 + 29*q + 71. Suppose -50 = 21*i - 16*i. Is f(i) a prime number?
False
Let o(h) = -831*h**3 - 6*h**2 - 12*h - 28. Is o(-5) a composite number?
True
Let q(v) be the second derivative of 2*v**5/5 + v**4/12 + v**3/2 + v**2/2 + v. Suppose -127*s + 134*s = 21. Is q(s) a composite number?
True
Suppose 0 = 11*a - 14*a + 6. Suppose -h + 2 = -3, 0 = -a*j + 4*h + 10010. Suppose -4*t = 1411 - j. Is t composite?
True
Suppose 2*z + z + 150 = 3*x, 0 = 4*z - 5*x + 202. Let l = 51 + z. Suppose -l*p = -464 + 173. Is p composite?
False
Suppose b = -3*b + 26580. Let p = -1061 + b. Suppose 0 = 4*c - 4308 - p. Is c composite?
False
Let j be 1/(-2)*4 - (3 - 7). Suppose 2*s - 20106 = j*k, 5*s + 4*k - 7*k - 50273 = 0. Is s a prime number?
False
Let t = -5198 - -9939. Is t a prime number?
False
Let z(d) = -24*d**3 - 16*d**2 - 58*d + 3. Let q be z(-6). Let t = q + -2378. Is t a composite number?
True
Let p = -55 - -80. Suppose 2*n + 38 - 13 = -3*a, n + 4*a + p = 0. Is 1614/5 + (n - (-130)/25) a composite number?
True
Suppose 0*s = 12*s + 2215800. Is ((-3)/6)/(25/s) prime?
False
Suppose 11*k - 10 = 6*k. Suppose 2*t - 75398 = k*f, 5*f = 3*t - 145960 + 32869. Is t/35 + ((-1)/(-5))/(-1) a prime number?
False
Let q be -2 + (-49432)/(-7) + (-4)/(-14). Suppose -5*g + s + q = -2*s, 4*g - 3*s - 5648 = 0. Let n = g - -1199. Is n prime?
False
Suppose -4*x = -20352 - 2204. Is x composite?
False
Is ((-203804)/(-3))/((-72)/54)*-1 a composite number?
False
Let q = 44893 - -5224. Is q a prime number?
False
Is 7864661/14 + (-1)/2 + 0 a prime number?
True
Let b(t) = -15*t + 2*t**3 - 3 - 3*t - 4 - 4*t + 35*t - 7*t**2. Let r = 5 - 0. Is b(r) prime?
False
Is (22*2)/((-720)/(-4519980)) a prime number?
False
Let i(a) = a + 14. Let h be i(-12). Let g be h*(-1 - 1309 - 3). Let y = g - -4679. Is y prime?
True
Let s = 12 + 50. Let y = s - 59. Suppose 5*g - 620 = y*t, 4*t + 229 = 2*g - t. Is g a prime number?
True
Let c(y) = y**3 - 7*y**2. Let k be c(7). Is (-1253 + -84)*(-1 - k)*1 a prime number?
False
Suppose 3*m + 3303 = z + z, 5*z + 2*m = 8286. Suppose 2*b - z = -l + 87, -3*b = 3*l - 5226. Suppose -u = -0*a + 2*a - l, -3*u + 3*a + 5223 = 0. Is u prime?
True
Let l be (-4)/(-10)*-26*(-10)/4. Let n be (-4)/(-8) - l/4. Let u(o) = 19*o**2 + 6*o - 13. Is u(n) prime?
False
Let v(s) = 779*s**2 + 74*s + 483. Is v(-8) composite?
False
Suppose -2*y + 6 = -2*s, -7*y + 3*y + 12 = 0. Suppose 14*r + s*r = r. Suppose r = -4*f - 5*c + 2402 + 4161, 5*f + c = 8188. Is f composite?
False
Let c be ((-33072)/4)/(21/112). Let o = c + 62907. Is o composite?
True
Let o(a) = -4*a - 14. Let w be o(-5). Suppose -w*d = -d + 20, -y = 2*d + 4. Suppose -y*c + i = -17539, 2*c + 2*i + 0*i = 8772. Is c composite?
True
Suppose -5*a + 19 - 4 = 0. Let j(n) = -4*n**2 + 13*n - 1. Let b be j(a). Suppose -4 = 2*t, w - 2*w + 26 = -b*t. Is w a composite number?
True
Let d = 123 - 136. Let u be d/((-104)/176) - 1*4. Suppose u*q - 13880 = 6622. Is q prime?
False
Suppose 3*g + 0*g + 2*a = -170, -3*g = 5*a + 164. Is ((-17246)/(-5))/(g/(-145)) a prime number?
True
Let n = 73 - 70. Suppose 0 = n*w + 2*i - 2157 + 166, -3*w - i + 1996 = 0. Is w a prime number?
False
Let f = -7976 + 15596. Suppose -90*l = -93*l + f. Let y = l + -393. Is y composite?
True
Let t be (-1*1/4)/(53/(-227476)). Suppose 12*f + t = 13*f. Is f composite?
True
Let c = 561417 + -302546. Is c composite?
False
Let b(a) = -a**3 - a + 2. Let j(k) = 4*k**3 - 24*k**2 + 13*k - 35. Let u(q) = -3*b(q) - j(q). Is u(18) composite?
True
Let f(k) = 569*k - 57. Let a(s) = -189*s + 19. Let w(o) = 8*a(o) + 3*f(o). Is w(6) composite?
False
Let m be 2/4*2/(-1)*-30277. Suppose -466 + m = 19*u. Is u prime?
False
Suppose -58*z = -56*z + 24. Let k be 9/z - (-1 - 55/4). Suppose -k*g = -17*g + 5769. Is g a composite number?
True
Let a = 88 - 82. Let m(s) = 50*s**2 + 29*s - 3. Let d(c) = 17*c**2 + 10*c - 1. Let g(v) = a*m(v) - 17*d(v). Is g(-18) a prime number?
True
Let o = 6395 + 78323. Is o prime?
False
Let a(q) = 14*q + 13049. Let l(n) = 4*n + 28. Let x be l(-7). Is a(x) a prime number?
True
Let q = -188965 - -277454. Is q prime?
False
Let h be (22/(-33))/(1/(-3))*-4. Let b be (h/14)/(8/(-6692)). Suppose -2*l + 0*l + b = 0. Is l prime?
True
Let d(c) = 14*c**2 - 14*c + 14. Let n be 20/3 + 120/90. Let v be d(n). Suppose 4*h + 10*h = v. Is h a prime number?
False
Let i(t) = 2*t**3 - 12*t**2 - 30*t + 24. Let q be i(-21). Let j = 78451 + q. Is j prime?
True
Let f be (-4 + (4 - 87))*-1. Let z(l) = 194 + 17*l - 100 - f. Is z(12) a composite number?
False
Let c(y) = 46*y**2 + 66*y - 329. Is c(23) a composite number?
False
Let h(o) = 26661*o - 2794. Is h(9) a composite number?
True
Suppose 0 = 