 = -q**3 + 6*q**2 + q - 1. Let m be c(6). Suppose 3 = -m*h - 2. Let z(n) = 107*n**2 + n. Is z(h) composite?
True
Let j be (-2028)/(-22) + 4/(-22). Let z = j + 52. Let q = -91 + z. Is q prime?
True
Is (2 - 4 - 2) + 395*7 composite?
True
Suppose -4*v = 2*t + 8, t - 2*v - 11 = -3. Let l be (16/12)/(5/3 + -1). Suppose -4*m = -3*m + l*c - 113, -t*c = 2*m - 226. Is m a composite number?
False
Let i = 76 - 466. Let v = 704 + i. Is v composite?
True
Suppose -3 = -3*h, 26*v - 25*v - h - 1836 = 0. Is v a prime number?
False
Let h = -6 + 6. Suppose -3*u + 7*u + 528 = h. Let w = -79 - u. Is w a composite number?
False
Let a(p) = 3*p**2 - 4*p + 33. Let b(v) = v**2 - v - 1. Let h(r) = a(r) - 4*b(r). Let y(s) = s**3 - 3*s**2 + 3*s - 2. Let i be y(2). Is h(i) composite?
False
Let i(h) = -h**2 + 9*h - 12. Let n be i(5). Let x(o) = o + 210. Let d be x(0). Suppose -a = s - 44, 5*a - n*s = -3*s + d. Is a a composite number?
False
Let h(y) = -y**3 - 2*y**2 + 3*y - 1. Let u be h(-3). Let d(o) = 21995 - 478*o - 272*o - 21996. Is d(u) a prime number?
False
Suppose k + 3*a - 17 = 0, -3*a - 13 = -5*k - 0*k. Suppose 0*n = -k*n - 5. Is ((-5)/(-10))/(n/(-518)) a composite number?
True
Suppose 5*x = -3*k + 27, -8*x - 5*k = -3*x - 25. Suppose x = 3*r, -2*z - 4055 = -7*z - 5*r. Is z a composite number?
False
Is -6*(-444)/360*1345 prime?
False
Let w be (2/(-5))/((-2)/920). Suppose -w = -5*v + 361. Let g = 168 - v. Is g prime?
True
Suppose 7871 - 52927 = -2*s + 3*r, -2*s + 45072 = 5*r. Is s a prime number?
True
Suppose -6 = -2*k, -4*q - 4*k - 1048 = -3056. Is q a composite number?
False
Let u(o) = -3*o**3 - 7*o**2 + 12*o + 17. Suppose -3*j + 8 - 29 = 0. Is u(j) prime?
True
Let s(g) = g**3 - 5*g**2 - 7*g + 6. Let j be s(6). Suppose j*b - 5*b = -15. Suppose b*v - 5*i - 753 = 0, -3*v - 3*i + 1004 = v. Is v a composite number?
False
Let d(m) = 1 - m**2 + 3*m**2 + 4*m**2 - m - m. Let f be d(6). Let w = f + -116. Is w a prime number?
True
Let i = 102 - 103. Let l(d) = -1410*d**3 - d - 2. Is l(i) composite?
False
Let z(g) = -g - 6. Let n(i) = 7*i + 1. Let y be n(-1). Let o be z(y). Suppose o = -f - 4*f + 530. Is f a prime number?
False
Let x = -27 + 14. Let f = x + 15. Suppose 2*y = -4, -f*i - 4*y - 54 = -162. Is i composite?
True
Let i(z) = 4*z**2 + z - 1. Let b be i(1). Suppose 5*n - 1345 = b*d, 0 = 3*n + n - d - 1076. Is n composite?
False
Let c(a) = 5*a**3 - 1 - 3*a**2 + 1 + 3*a + 3. Let z = 56 + -52. Is c(z) composite?
True
Suppose 5*c + 9 = 3*o - 2*o, 0 = -2*o - 4*c - 38. Let u = 168 - o. Is u a prime number?
True
Suppose 4*b + 3*f - 3 = -1, -5*b + 2*f + 14 = 0. Let w be (223/b)/(3/6). Let a = -2 + w. Is a a prime number?
False
Suppose v - 34*i = -28*i + 32111, v = -5*i + 32122. Is v a prime number?
True
Suppose 82*j + 26305 = 87*j. Is j a prime number?
True
Is (64/(-8))/8 + 3252 a prime number?
True
Let z(t) = 20*t**3 - 2*t**2 - 2*t + 1. Let w = 8 + -8. Let p be ((-4)/(-4) - -1) + w. Is z(p) a composite number?
False
Suppose 2*i + 2*i = 20. Suppose -22 + 2 = -i*l, -3*n = 3*l - 891. Is n composite?
False
Suppose t - 3*i + 8*i = 721, 3*i - 12 = 0. Is t composite?
False
Let t = 57965 - 39418. Is t composite?
True
Suppose -4*m = -f + 5276, 3*f - f = m + 1326. Is (-4)/12 + m/(-3) a composite number?
False
Let c(f) = 20*f**3 + f**2. Suppose -26 = s - 5*n, n + n = -2*s - 52. Let j = -25 - s. Is c(j) a prime number?
False
Suppose 2*l + 48053 = 5*y + 4*l, -4*l = -y + 9615. Is y a prime number?
False
Suppose -3*y + 0*y = 0. Suppose 2*n = -k - 3*n + 330, 3*k - 3*n - 972 = y. Is k - (1 - 4) - -3 composite?
False
Let r(p) = 4*p - 4 - 3 - 1. Let c be r(6). Suppose -1285 = -c*a + 11*a. Is a a prime number?
True
Let t = -372 + 372. Let g = -10 + 17. Let w = g - t. Is w a prime number?
True
Is ((-2)/(-6))/(9/(-162)) - -8203 a composite number?
True
Let h = 144 + 16. Suppose 2*m + t - 288 = 0, 3*m + 4*t - 277 - h = 0. Is m a composite number?
True
Let b = -12 + 16. Is (-76)/12*-3 + b a composite number?
False
Let n(s) be the second derivative of 3*s**4 - 4*s**3/3 + 11*s**2/2 + 20*s. Is n(6) a prime number?
True
Let m = 22 + -16. Suppose -368 = -m*h + 190. Suppose -2*t = -h - 277. Is t a prime number?
False
Let x(w) = -92*w + 17. Let l be x(8). Let n = l + 508. Let r = 448 + n. Is r a prime number?
False
Let a(f) = -4*f**3 + 2*f**2 + 9*f + 22. Is a(-11) a prime number?
False
Let o = 14 - 8. Let q(b) = -3*b - b**3 + b**2 - 5 + 0*b + o*b**2 + 1. Is q(5) a composite number?
False
Let j = -4663 + 8010. Is j a prime number?
True
Suppose 0 = -2*x - c + 46317, -x - 8*c = -4*c - 23155. Is x a prime number?
True
Let g be (-10)/(-15) - 6/9. Suppose g*n + 16 = 4*n. Suppose -n*m = -292 + 88. Is m a prime number?
False
Suppose 6620 = 7*t + 3*t. Is t a prime number?
False
Suppose -416 = -21*v + 361. Is v a composite number?
False
Suppose q = 456 + 1188. Let n = 7 + -5. Suppose -4*d + 1318 = n*m, 0 = 5*d - 4*m + 3*m - q. Is d a composite number?
True
Suppose 0*m + 13 = 3*m - 2*o, -2*o + 2 = 0. Let q be 0/(m/(10/(-6))). Suppose 4*z - 3*h - 1051 = q, -536 = -2*z - 0*h - 2*h. Is z a prime number?
False
Let v = 10 + 13. Let g = v + -22. Suppose 2*w - 469 - g = 0. Is w a composite number?
True
Let m(k) = 6*k - 8. Let c be m(2). Suppose -f = -4*j - 691, -3*f - c*j = -716 - 1357. Is f a prime number?
True
Let i = -2595 + 3746. Is i a prime number?
True
Let p = 139 + -217. Let d = p - -172. Is d composite?
True
Let y be (1181/(-3))/(1/3). Let n(z) = -1669*z**2 + z. Let k be n(1). Let g = y - k. Is g a composite number?
False
Suppose 46*v - 21*v - 289975 = 0. Is v composite?
True
Suppose 0 = -4*o - 4*t + 1437 + 515, o = -4*t + 497. Is o a composite number?
True
Let b(s) be the second derivative of 7*s**4/12 - s**3/6 + 7*s**2/2 - s. Let p be (-8)/2 + (-9)/((-90)/(-20)). Is b(p) a composite number?
True
Let a(s) = 247*s**2 - s + 1. Let p be a(2). Let i = 262 - 257. Suppose -2*r - p = -i*r. Is r composite?
True
Let p(b) = -17*b**3 + 33*b**3 + 16*b - 11*b - 7 - 3*b**2. Is p(3) composite?
True
Let u be (-4)/(-18) - 133/(-9). Let w = 60 - u. Suppose 2*l = w + 237. Is l prime?
False
Let o be (-46070)/30 + (-4)/(-6). Let r = o - -2208. Is r a composite number?
False
Suppose 14*v - 33*v + 92359 = 0. Is v prime?
True
Let r be (-2 + 8)*(-2)/(-4). Let p be r/(1086/(-364) - -3). Let b = p + 451. Is b a prime number?
False
Let h = 2195 + -3259. Let v = 1755 + h. Is v composite?
False
Let y(q) = q**3 - 10*q**2 - 32*q - 9. Is y(25) prime?
False
Is -24 + 24 + (-5)/(20/(-6532)) a composite number?
True
Let q(h) = -178*h + 25. Is q(-1) prime?
False
Suppose 74 + 336 = -5*g. Suppose -48*n + 1820 = -61*n. Let c = g - n. Is c composite?
True
Suppose -78*d + 138069 + 129705 = 0. Is d prime?
True
Let m(z) = z**3 - 14*z**2 - 84*z + 86. Is m(27) a prime number?
False
Suppose 28*z - 18 = 26*z. Suppose -z*n + 9223 = -4*n + 3*c, -c + 1843 = n. Is n prime?
True
Suppose -y - y = -2*u, -25 = -2*u - 3*y. Suppose 2*r + h - 2060 = -h, -u*h - 5120 = -5*r. Is r composite?
True
Let d(o) = 8*o**2 + 6*o. Let m be d(3). Let t = m - -241. Is t composite?
False
Let c be (-48912)/(-7) + ((-72)/(-28))/(-6). Suppose 2*y = -5*p + c, -3*p = -7*p - 3*y + 5584. Is p a prime number?
True
Let i(h) = -h**2 + 6*h + 8. Let b be i(7). Is 36 + (-2)/1 + b a prime number?
False
Suppose -92*y = -100*y + 15320. Is y prime?
False
Let s(q) = 25*q**3 - 67*q**2 - 5*q - 21. Is s(10) a prime number?
True
Suppose 3*r + 2*c - 8 = 25, 3*r = 2*c + 33. Let n = r + -13. Is 256 + 0 - (n + 5) a composite number?
True
Let i = -798 + 24221. Is i a prime number?
False
Let m = 1303 + -74. Suppose 4*q - 2*j - 1230 = 0, 3*j - 4*j - m = -4*q. Is q composite?
False
Let p(b) = -11072*b**3 - 9*b**2 - 7*b + 1. Is p(-1) a composite number?
False
Suppose 5*v = 3*x + 20, 3*v + v - 16 = -5*x. Suppose -2*c + x = -w - 4, 0 = 2*c - 5*w + 12. Suppose 605 = c*y + y. Is y a composite number?
True
Let j be 56/3*(13 - 16). Let z = 198 + j. Is z composite?
True
Let z(a) be the third derivative of a**6/120 - a**5/30 - a**4/8 + a**3/2 - a**2. Let h be 30/9 + (-4)/(-6). Is z(h) prime?
True
Suppose -8*n = -20*n + 16764. Is n a prime number?
False
Is 2339*42/3 + 3 prime?
True
Let v(c) = -1787*c + 33. Is v(-10) prime?
True
Suppose -5076 = -5*z + 1919. Is z a composite number?
False
Let z(l) = 7447*l**2 + 51*l + 1. Is 