 = -20, d + 0*d + 53 = w. Is w a composite number?
True
Suppose -5*n - 3*b - 272 = -0*n, 0 = 2*n + b + 109. Let z = n - -314. Is z prime?
False
Let p(s) = -6*s + 16. Let n be p(-6). Let i = 1035 + n. Is i a prime number?
True
Let r = 24 + -20. Is 256 - -1*9/12*r a composite number?
True
Is (-5)/((-90)/(-6))*-8337 composite?
True
Let w be ((-16)/(-6))/4*-3. Let d(o) = -18*o**2 - 5*o + 8. Let k(f) = 6*f**2 + 2*f - 3. Let c(r) = -3*d(r) - 8*k(r). Is c(w) prime?
False
Suppose -5*a = -4*o + 16, 3*o - 8 = 5*a - 1. Suppose 539 = o*c - 1306. Is c composite?
True
Suppose 0 = 7*k - 4*k - 390. Let d = 371 - k. Suppose 3*t = 356 + d. Is t a prime number?
True
Is (-79995)/(-75) - 2/(-5) composite?
True
Let r be (-18)/8*-43*4. Let j(p) = -4*p**2 + 6*p + 12. Let g be j(8). Let b = g + r. Is b prime?
True
Suppose -3*r + 54560 + 1057 = 0. Is r composite?
False
Let v(a) = -a - 2. Let t(u) = 2*u + 2. Let x(y) = 2*t(y) + 3*v(y). Let q be x(4). Let b = 261 + q. Is b composite?
False
Let o(w) = -115*w - 66 + 6 - 10*w - 1. Is o(-18) a composite number?
True
Suppose -8 = -2*g, 4*g - 2*g - 8 = 2*k. Suppose 9*j - 3724 - 605 = k. Is j composite?
True
Let a = -4281 + 7004. Is a prime?
False
Let o = -6 - -9. Let a be (o*1)/(8/856). Suppose u = 2*u - a. Is u a composite number?
True
Let b(n) = -5*n**3 - 15*n**2 - 9*n + 10. Is b(-15) composite?
True
Suppose 0 = -17*r + 112 + 6739. Is r a composite number?
True
Suppose 2*s - 15 = a - 0*a, -4*a = -4*s + 36. Suppose -8 = 3*c + 4*w, 2*c + 4*w = 2 - s. Is (-122)/c - (-8)/16 prime?
True
Suppose 3*x + 3*s - 7287 - 8613 = 0, 3*x = 4*s + 15879. Is x composite?
False
Let j be 3 - ((-7)/(21/9) + 3). Is ((-7)/3 + j)/(6/14949) a prime number?
False
Let k = 226 - 105. Is k a composite number?
True
Suppose 13 + 5 = -3*v. Is (6/(-4))/(v/708) a composite number?
True
Let i(q) = 14*q. Let m be i(1). Let z = m - 0. Is z composite?
True
Let t(g) = 14*g**3 - 5*g**2 + 4*g - 7. Let z(m) = 13*m**3 - 4*m**2 + 5*m - 7. Let c(k) = -6*t(k) + 7*z(k). Is c(7) prime?
False
Suppose 5*c - 2 + 22 = 0. Is c*(633/(-36))/(1/3) a prime number?
True
Suppose 13*v - 26654 = 3883. Suppose 4*n + v = 3*p - 392, 1809 = 2*p + n. Is p prime?
True
Let u(r) = -r**3 + 5*r**2 - 6*r + 8. Let v be u(4). Suppose 0*j - 4*z = j - 1397, v = -5*j + 2*z + 6985. Is j a prime number?
False
Let l(n) = 11*n - 2. Let c be l(2). Let k(g) = g**3 - 19*g**2 + g + 11. Is k(c) a prime number?
True
Let y = -2928 + -152. Let l = 5787 + y. Is l a prime number?
True
Let g = 6 - 6. Let w = g - 0. Suppose j - 1 = 0, w*x + 2*x = 4*j + 822. Is x prime?
False
Suppose -4*a = 3*n - 21190 - 3068, -4*a + 24260 = 4*n. Suppose -4*r = 3*w + 2180 - a, 0 = r + w - 972. Is r a composite number?
False
Let z(p) = 53*p**2 + 21*p + 35. Is z(10) prime?
False
Let u(x) be the first derivative of 422*x**3/3 + x**2/2 - 2*x + 34. Is u(-1) prime?
True
Suppose 0 = -22*a - 17109 + 54971. Is a prime?
True
Suppose b - 28 = 3*b. Let v be 4/b - (-2454)/14. Let y = -78 + v. Is y a composite number?
False
Let y be 11*1*(-13)/13. Let x(h) = -15*h + 14. Is x(y) composite?
False
Suppose 4*h + a - 44752 = -3*a, -3*a - 33534 = -3*h. Is h a prime number?
False
Let a(z) = -6*z - 35. Is a(-12) a prime number?
True
Is (-428580)/225*30/(-8) a prime number?
False
Let q be ((-6)/(-4))/(21/(-28)). Is -953*(q + 0 + 1) a composite number?
False
Let z = 19 + -18. Let c(l) = 3 - z + 89*l - 376*l. Is c(-3) prime?
True
Let j = -39 - -72. Suppose 3*n - 3*w = 9, 3*n - 4*w + 8 = 4*n. Suppose -19 = -n*k + j. Is k a composite number?
False
Suppose 44*q = 47*q. Suppose q*j + 4*p = 3*j - 535, 3*j = p + 532. Is j composite?
True
Let x = -11 - 7. Let c = x - -18. Suppose c*k + 171 = 3*k. Is k a prime number?
False
Suppose -2*x + 6*x + 248 = 0. Let f = 691 - x. Is f a composite number?
True
Suppose 3*y - y = -2*k + 14, -5*y - k + 35 = 0. Suppose 21959 = y*s - 0*s. Is s prime?
True
Let h be 6507 + (10/6 - 1)*-3. Let b = 9392 - h. Is b composite?
False
Let b = 620 - -1247. Is b a composite number?
False
Let l(d) = -90038*d - 87. Is l(-1) prime?
False
Let z(u) = u**2 - 4*u - 14. Let y be z(-3). Suppose d + 14562 = y*d. Is d composite?
True
Let t(k) = -9*k**3 - k**2 + 4*k + 67. Is t(-15) prime?
False
Suppose s = -3*s - 3904. Let t = s + 2037. Is t composite?
False
Let y(q) = -1216*q - 343. Is y(-5) composite?
False
Suppose -d - 3557 = -2*i + 1655, d - 13030 = -5*i. Is i a prime number?
False
Let v = 2645 - -12278. Is v composite?
False
Let v = -4 - -8. Suppose -v*b = -q + 2*q + 3, -5*b = 4*q - 10. Suppose -524 = -9*i + q*i. Is i prime?
True
Let c = -22 - -24. Suppose 4*n + 5*b - 654 = 0, -c*n + 2*b = -276 - 42. Is n a prime number?
False
Let s(x) = 894*x**2 + 12*x + 23. Is s(5) prime?
True
Suppose 5*k - y - 39137 = 0, 2*y = -2*k - 2*y + 15646. Is k a composite number?
True
Suppose 5*h = l + 672, -2*h = 4*l - 205 - 77. Let a = -80 + h. Is a prime?
False
Let u(l) = l**3 + 12*l**2 - 17*l - 5. Let h be u(-7). Let c = -100 + h. Is c a composite number?
True
Suppose 586091 = -0*c + 11*c. Is c composite?
False
Let j(x) = -x**3 - 2*x**2 + 2*x. Let w be j(-3). Suppose 0*a - 14 = -2*a. Suppose -w*f + 145 - a = 0. Is f prime?
False
Suppose 4*f + 2*o - 16 = 0, 3*f - 2 + 4 = -5*o. Let q be 4 + -4*f/(-8). Let y(g) = 6*g**2 + 1. Is y(q) a composite number?
True
Let l(s) = 7*s**3 + 9*s**2 - 20*s + 3. Let v be l(-14). Let i = v + 24768. Is i a composite number?
False
Is ((-19)/4)/(22/(-3256)) a prime number?
False
Let a(i) = i**3 + 44*i**2 + 2*i - 170. Is a(-33) prime?
True
Let a be 8/3*(-3)/2. Let s be a/5 - (-649)/5. Suppose 5*r - 295 - 25 = -3*o, o = -2*r + s. Is r a prime number?
True
Let k = 19496 - 7699. Is k a composite number?
True
Let u be (3/(-5)*4)/(4/(-5570)). Suppose -3*m = 3*m - u. Is m prime?
True
Let g(q) = q**2 - 2*q - 13. Let r be g(6). Suppose -3*v + 41 = r. Is 752/13 + v/65 a composite number?
True
Let c(s) = 2*s**3 - 5*s**2 + 2*s + 4. Let i(x) = -x**3 + 6*x**2 + 2. Let z be i(6). Let q = z - -3. Is c(q) a prime number?
True
Suppose -b + 6 - 4 = 0. Suppose -4*z = -y + 77 - 18, b*y - 108 = -2*z. Is y composite?
True
Let i = 162 + -35. Is i composite?
False
Let p be 1/((-4)/(-678))*2. Let v = -489 + p. Let f = 85 - v. Is f a prime number?
False
Let h(t) = 3*t**2 - 4*t + 114. Is h(19) prime?
False
Let g be 12 - (5 - (0 - -1)). Suppose g*r = 12*r - 8. Suppose 3*p - 2*m - 281 = -0*m, -107 = -p - r*m. Is p a prime number?
True
Let n = -26 - -41. Suppose -2*l + 96 = 2*m, 0 = -2*l - l - n. Is m prime?
True
Suppose -r = -2 - 2, -j + 2*r = 13. Let d(u) = u**3 + 4*u**2 - 5*u + 5. Let p be d(j). Let x(g) = 62*g - 3. Is x(p) a composite number?
False
Suppose 10*p = -5*p + 30. Suppose 2*l = 4*l - p*v - 1946, l - 3*v - 971 = 0. Is l a prime number?
False
Let z(p) = -7*p**3 - 40*p**2 + 2*p + 70. Is z(-13) a prime number?
True
Suppose 4*f - 5*f + 4 = 0. Suppose 0*u - 36 = -f*u. Is (-1)/3 - (-3504)/u prime?
True
Let v(m) = -2*m**2 + 6*m + 3. Let b be v(3). Suppose -1503 = b*z - 7*z + 5*r, 5*z + 2*r = 1920. Is z a composite number?
True
Let v(w) = 474*w - 38. Is v(14) prime?
False
Let o(g) = 13*g**2 - 20*g + 210. Is o(13) composite?
True
Suppose -7*r = -33038 - 43101. Is r a prime number?
False
Let t(g) = 549*g + 1. Suppose -6 = -x - 2*x. Is t(x) a prime number?
False
Is 2/(10/15) + 33214 prime?
False
Let b(j) = -j**2 + 3*j + 3. Let l = 17 - 14. Let z be b(l). Is (-114)/(-3) - 3/z a prime number?
True
Let f = -8328 + 84429. Is f prime?
False
Let o(s) = -2*s - 5. Let d be o(-4). Let v(q) = 42*q**2 + 6*q - 17. Is v(d) prime?
True
Let p(b) = -2*b - 1. Let l be p(-2). Suppose 0 = l*m - 1962 - 597. Is m composite?
False
Let k be (-112)/(3 - 6/3). Let j = 151 - k. Is j composite?
False
Is 10/20*(31450 - -4) a composite number?
False
Let r(o) = 56*o**2 - 8*o - 11. Let y be r(-5). Suppose -y = -3*z + 734. Is z a prime number?
False
Is 467289/12 - 1 - 20/(-16) prime?
False
Suppose 1995246 = 109*h - 2103263. Is h prime?
False
Let i(c) = c + 7. Let m be i(-7). Let b(f) = -f**3 - 3*f**2 + f + 2. Let v be b(-4). Suppose x + x - v = m. Is x a prime number?
True
Let z(l) = -9*l**3 + 2*l**2 + l + 1. Suppose 2*d + 2*d = 20. Let j = d + -7. Is z(j) prime?
True
Let a(w) = -402*w + 21. Let f be a(7). Let b = f - -5126. Is b prime?
True
Let c(d) be the first derivative of d**4/4 - 10*d**3/3 - 