
True
Let b(s) = -195979*s - 2866. Is b(-5) composite?
True
Let s(u) = -u**3 - u**2 + 2*u + 3. Let c be s(-2). Suppose -4*d + 13624 + 8216 = 0. Suppose -4*y + d = c*l - 7*l, y + 2*l = 1353. Is y composite?
False
Suppose 1842050 = 46*s + 99*s - 4327845. Is s a composite number?
True
Let v(s) be the first derivative of s**4/4 - 3*s**3 - 9*s**2/2 + 5*s + 18. Let f be v(10). Suppose -4*c - 4*k + 6038 = -2*k, -5*k = f. Is c composite?
False
Let a(q) = -6635*q - 781. Is a(-36) prime?
True
Suppose 5*f = 4815 + 795. Let j = f + 4139. Is j a prime number?
True
Let a(b) = -b**2 - 11*b + 17. Let c be a(-13). Let w be ((-1)/2)/(c/(-162)). Let l(x) = -50*x + 1. Is l(w) prime?
False
Suppose -18298 = -11*u + 1381. Suppose 5*r - u = -10339. Let a = 3365 + r. Is a a composite number?
True
Is (-8 + (-270)/(-27))/((-1)/(83449/(-2))) a prime number?
True
Let b = 229237 + -74168. Is b a prime number?
True
Let h(w) = 6842*w**2 + 331*w + 1939. Is h(-6) composite?
True
Is ((-299413)/(-908))/((-2)/(-40)) composite?
True
Suppose 2751038 = 4*h - 2*d, 4*d - 3858831 + 1107823 = -4*h. Is h a prime number?
False
Let y = 23916 - 11938. Suppose s + v - 2994 = 0, -2*v = -4*s - 4*v + y. Is s prime?
False
Let i(p) = 18*p - 15. Let o be i(1). Suppose -o = -k - 4, 5*k = 3*w - 6068. Is w a prime number?
False
Let p = -191412 + 136277. Is 3*((-3)/(-15))/((-3)/p) a prime number?
True
Let u = 33 - 29. Let t be u/(-4) + 3 - -1456. Let x = t - 341. Is x composite?
False
Let t be ((-108)/(-4) - -5) + -2 + 3. Suppose -53*c = -t*c - 114580. Is c composite?
True
Is -10 - (-574470)/80 - 3/(-24) a prime number?
False
Suppose -114 = -2*c + 30. Suppose 2*l - c = 10*l. Is 616/(-12)*l/6 composite?
True
Suppose -5*l - 114 = 4*q - 334, 0 = 5*l + 20. Suppose -q*n + 56*n + 3484 = 0. Is n a composite number?
True
Let c = 2333 + -5674. Let z = c - -7395. Is z a prime number?
False
Let n = 126 + -111. Suppose -79536 = -n*m + 4809. Is m prime?
True
Suppose -110*i = -119*i + 1547757. Is i a composite number?
True
Suppose -48*l + 375650 = -2233678. Is l a composite number?
False
Let k(p) be the first derivative of 844*p**3/3 - 8*p**2 - 5*p - 68. Is k(3) a composite number?
True
Suppose 0 = -24*d + 34*d - 140. Suppose -23*x = -d*x - 5958. Is x composite?
True
Let q(r) be the first derivative of -5*r**2/2 + 36*r + 1. Let z be q(6). Suppose -z*a = -7*a + 19. Is a prime?
True
Suppose 2*s + 4*o - 1584462 = 0, -3*s = 38*o - 35*o - 2376681. Is s a prime number?
True
Let v = 86 - 95. Let d(a) = -4*a**3 - 5*a**2 + 14*a + 1. Is d(v) a composite number?
True
Let c = -68713 - -160101. Suppose 5*k + 17393 - c = 0. Is k composite?
True
Let l = 423 - 228. Let r(z) = z**2 + 297*z + 392 + l - 296*z. Is r(0) composite?
False
Let j be 1 - (7 + -2 + -4). Suppose -4*d + 299 + 53 = j. Suppose d = 10*z - 282. Is z a composite number?
False
Let j = 438 + -417. Suppose 0 = j*h - 11*h - 57790. Is h prime?
True
Is (-6 + 8)/(0 - (-2)/28429) prime?
True
Let s = 23 - 12. Suppose -25335 = 6*l - s*l. Let f = -2288 + l. Is f a composite number?
True
Suppose l - 2084 = 3*y, -9*l + 6236 = -6*l - y. Is l a prime number?
False
Let t(a) = -a**2 - 10*a - 21. Let n be t(-7). Suppose n = 2*i + 4*g - 8, -5*g - 5 = i - 0*i. Suppose 201 = s - i. Is s a prime number?
True
Let y(j) = -8*j - 22. Let h be y(-3). Suppose -h*o + 5*p + 1921 = -0*p, -5*p + 4750 = 5*o. Is o a prime number?
True
Suppose 5*h = 2*z - 119664, 14*z + 5*h - 239298 = 10*z. Is z a prime number?
False
Let o(u) = -3791*u - 33. Let k be o(-4). Suppose n = -3*b + k, 2*b = n + 7543 + 2536. Suppose 2*r = 5*j - r - 5048, -5*j - 3*r = -b. Is j prime?
True
Let y = -78 - -81. Suppose -w - 4 = -2*o + o, y*w = o + 4. Suppose 3*h - 2*s = 3133, -4*s = -o*s - 8. Is h prime?
False
Suppose -2*v = 60*v - 6484022. Is v prime?
False
Let h(k) = -k**3 + k. Let m(j) = 3*j**3 + 3*j**2 - 5. Let g(p) = -6*h(p) - m(p). Suppose -4855 = -37*t - 4522. Is g(t) a prime number?
False
Let x(n) = 1253*n**2 + 4*n + 4. Let o(v) = 1253*v**2 + 3*v + 3. Suppose 3*j = 9 - 21. Let g(p) = j*x(p) + 5*o(p). Is g(-1) composite?
True
Let o be 1*2*245/(-70). Is (-21170)/(-4) + o/(-14) prime?
False
Let c(u) = -u**3 - 30*u**2 + 30*u + 75. Suppose 265 = -5*i + 105. Is c(i) a prime number?
True
Let h = 1139 - 2051. Let i = -299 + -122. Let a = i - h. Is a prime?
True
Let h = 1 + 76. Suppose -64105 = h*i - 82*i. Is i a prime number?
True
Let l(w) = 8*w**3 + 3*w**2 + 2*w + 2. Suppose 0 = 6*x - 8*x + 24. Suppose x*m + 33 = 23*m. Is l(m) prime?
True
Let w(v) = 295*v**2 - 31*v + 275. Is w(18) a prime number?
False
Let y be (-2 + 2068/(-8))/(3/(-30)). Suppose 50*u - y = 45*u. Is u a prime number?
True
Suppose -6*s - 5*m = -2*s - 42, -5*s = -5*m - 30. Suppose 1177 + 607 = s*h. Is h composite?
False
Suppose 0 = -65*f + 108*f - 6198493. Is f a composite number?
True
Let h(u) be the third derivative of 65*u**4/24 + 19*u**3/6 - u**2. Let k be h(5). Let f = k + 375. Is f composite?
False
Let d(g) = -g**3 + 31*g**2 - 30*g + 13. Let n be d(30). Is 26393/8 + n/(-104) a prime number?
True
Let v be (-3 - -2)*0/(-14). Suppose 2*n + 2*n + 4*g - 2268 = v, 0 = 2*g + 8. Is n a prime number?
True
Let g(v) = v**2 - 10*v + 5. Let h be g(10). Suppose -5488 = h*s + 3*s. Let r = 1423 + s. Is r prime?
False
Is (12 - 328541)/(-2 - 4/(3 - 7)) prime?
False
Let u be 1 - 1 - 9*-183. Let g(n) = n**3 - 8*n**2 + 12*n. Let o be g(6). Suppose -3*b + u = 2*z + z, o = z + 4. Is b a composite number?
True
Suppose -30*f + 1125080 + 2054050 = 0. Suppose -8*d = -f - 110565. Is d prime?
True
Is (-2307 - 2)*29/(4 + (-45)/9) prime?
False
Let g = 287 + 22753. Let m = -15003 + g. Let z = m + -4342. Is z prime?
False
Is 98809560/(-1620)*2/((-12)/27) a prime number?
True
Let b be (1*(-5)/10)/((-2)/58392). Suppose -b = 16*w - 110710. Is w composite?
False
Suppose -m - 3*x + 1338964 = 441440, 3590103 = 4*m + 5*x. Is m prime?
True
Suppose -2*j = -0*j + 196. Let d = j - -2587. Is d a composite number?
True
Let q(w) = -w**3 + 34*w**2 - 31*w - 60. Let x be q(33). Is 0 - (36/x - 1083) prime?
False
Suppose -15*g = 26*g - 28047342 - 82225. Is g a composite number?
False
Let q = 12 + -19. Let v be 4 + ((-1)/q)/((-3)/(-21)). Is v/(-25) + (-7072)/(-10) composite?
True
Let i = 563818 - 256503. Is i a prime number?
False
Let t = 451728 - 295347. Is t prime?
False
Let v = 122916 - 83447. Is v a prime number?
False
Let j(q) = 2*q**3 + 172*q**2 - 75*q - 260. Is j(-79) a composite number?
True
Let i = 159720 + 37003. Is i a composite number?
True
Let t(k) = -211*k - 52. Suppose 26*v + 192 = -42. Is t(v) a composite number?
False
Suppose -38*q - 239 = 27. Is (2856 - 13)*q*2/(-2) composite?
True
Suppose -6*s = -s + 5*i - 267650, -5*s + 267641 = 2*i. Is s composite?
False
Suppose 0 = 377*o - 380*o - r + 35193, 5*o - r - 58639 = 0. Is o composite?
True
Let w(l) = 31*l + 1. Let h = 130 - 121. Let r be w(h). Suppose 0 = 2*p + r - 2594. Is p prime?
False
Suppose 24*y - 15107017 - 10070624 = -33*y. Is y a composite number?
False
Is ((-65)/520)/(6/(-16517328)) composite?
False
Let x be -2 + (-1 - -2) - -726. Let f = 569 - 241. Let i = x - f. Is i composite?
False
Suppose 0 = 9*m - 6 - 12. Suppose 4*o = 4*p - 12, m*o + 0*o - 24 = -4*p. Suppose -4*i + 1289 = -3*a - 0*a, 647 = o*i - a. Is i a composite number?
True
Let n(r) = 3*r - 25. Let v be (32/(-10))/((-7)/35). Let t be n(v). Suppose 21*l = t*l - 4990. Is l composite?
True
Let c = -4400 - -7647. Is c composite?
True
Is 800034*(-10)/(-37 - 23) a prime number?
False
Let n(y) = -y**3 - 3*y**2 + 25*y + 91. Let v be n(-5). Let m(a) = 3*a**2 - 33*a + 59. Is m(v) composite?
True
Suppose 24 = -8*s + 6*s. Let q be 4*(-3)/s + 0. Is (q + (2 - 22))*(0 + -41) a prime number?
False
Let u(l) = -92*l**3 + 219*l**2 - 16*l - 35. Is u(-8) a prime number?
False
Let t = 6155 - 55. Let r = t + -3378. Is 2/(-4 - (-10892)/r) a composite number?
False
Suppose -3*v + 336381 = 5*x, -3*v - x - 114929 = -451334. Is v prime?
False
Let z(w) = w**3 - 7*w**2 - 7. Let o be z(6). Let b = o - 55. Let n = b + 105. Is n prime?
True
Let y(f) = 1227*f + 7. Let v be y(2). Let o = 14532 - v. Is o a composite number?
False
Suppose 4*f = 5*c - 3692473, -196*c + 4*f = -195*c - 738485. Is c a prime number?
False
Let h(i) = 6193*i + 655. Is h(22) a prime number?
False
Let g(b) = 6*b**2 - 19*b - 16. L