3 + 4*v**2. Let d be u(4). Let h = 30 - d. Let c = -49 - h. Is c a composite number?
False
Let p be (4 - -249) + 8 + 8/2. Let o be (-3)/(3/9 - 133/426). Let s = p + o. Is s composite?
True
Let y(o) = 19955*o - 238. Is y(4) prime?
False
Let p(o) = -o**3 - 13*o**2 - 7*o - 3. Let r(g) = -g + 1. Let m(x) = p(x) - 6*r(x). Suppose -26*v - 582 = -218. Is m(v) prime?
False
Let l(j) = 667*j**3 + 5*j**2 - 23*j + 18. Is l(4) composite?
True
Suppose -634628 = -328*p + 324*p. Is p a prime number?
True
Let j(m) = 18*m**3 + 19*m**2 + 2*m - 108. Is j(11) composite?
False
Let x be 4/6 - (-103431)/9. Suppose 6*l - 15*l + x = 0. Let h = l - -84. Is h composite?
False
Let b(m) = -15 - 8 + 2 - 9*m - 6. Let c be b(-3). Suppose c = -5*k + 2*x + 2367, 3*x - 154 = 2*k - 1103. Is k a prime number?
False
Let g(j) = 2*j**2 - 21*j + 49. Let a be g(7). Suppose 7*d - 2*l = 4*d + 483, a = 5*l. Is d a composite number?
True
Suppose 61*t + 238357 = 68*t. Is t composite?
True
Let l = -42 + 619. Let q = l - 83. Suppose 2597 = 5*s - 4*m, -3*s - 3*m + q = -1075. Is s prime?
True
Let k(z) = 248*z**2 + 1. Let i be k(-2). Let f be ((-45)/21)/((1 + 18)/(-399)). Suppose -44*y = -f*y + i. Is y prime?
False
Let x = -43098 + 105275. Is x composite?
True
Let x = -11512 + 18581. Is x prime?
True
Suppose t = -186*k + 183*k + 137962, 4*k - 4*t - 183976 = 0. Is k composite?
False
Suppose 3*o - 410 = -413, 0 = 3*z + 5*o - 1331872. Is z a prime number?
False
Suppose 63*f = 2*f - 11*f + 33171912. Is f composite?
False
Let d(s) = -2*s**3. Let q be d(-1). Is -17637*(q/(-8) - (-25)/(-300)) prime?
True
Let w(n) = -n**2 + 14*n - 10. Let u be w(12). Let d(h) = 6*h**2 - 6*h + 27. Is d(u) prime?
False
Let s be 27489/(-22)*2*(-34)/6. Let k = -8690 + s. Is k prime?
True
Let z(v) = v**3 - 5*v**2 + 4*v - 109. Let b be z(8). Is 187575/115 + (-10)/b a prime number?
False
Suppose 8*x - 19*x - 42944 = 0. Let w = 9401 + x. Is w a prime number?
False
Suppose 2*l - 2 = 0, 285*z - 284*z + l = 26655. Is z a prime number?
False
Suppose -25*s + 2271040 = -918335. Suppose -9*u = -s + 34362. Is u a prime number?
True
Let x = 230676 - 140674. Suppose -x = -16*i - 6*i. Is i prime?
True
Let u be -7 - ((-5 - -2) + -1). Is 5/u*138435/(-275) prime?
True
Let u(c) = -13*c + 304. Let f be u(23). Suppose -f*d - 5*p + 198807 = -3*p, -d - p = -39762. Is d prime?
True
Let k(d) = 300*d - 137. Let q = -337 + 362. Is k(q) composite?
True
Suppose -18*i + 1746 = -15*i. Let m = 1496 - i. Let d = 1545 - m. Is d prime?
True
Let i = -51 - -53. Let m be ((-30)/(-40))/(5033/2516 - i). Is (m/12)/(6/24) composite?
True
Let n(a) be the first derivative of 5*a**2/2 - 24*a - 1. Let f be n(20). Suppose -6*s = -2*s - f. Is s a prime number?
True
Let y = 2836 + -4349. Let v = 340 + y. Let w = v + 1802. Is w a prime number?
False
Suppose 79074 + 21222 = 12*l. Suppose 0 = -3*g - 4*g + l. Let d = g + -623. Is d prime?
True
Suppose -8*x - 2347 = -313035. Suppose -18*m + x = -37970. Is m a composite number?
True
Let g(r) = -2*r**3 + 33*r**2 + 54*r + 3. Let x be g(18). Suppose -39*c = -38*c - x, 3*c + 24206 = 5*q. Is q a composite number?
True
Suppose s = 6*s - 40. Suppose -4*l = -s, -3*l - 214 - 162 = -2*x. Suppose 0 = c - 0*c - x. Is c prime?
True
Is (466876/(-20))/((-172)/260 - 48/(-104)) a composite number?
False
Let t = 4581 - 9514. Let v(u) = 46*u**2 - 92*u - 24. Let l be v(-14). Let x = t + l. Is x composite?
False
Let m be -58 + 5 + 3 + -4. Let q = m + 70. Let a(z) = z**3 - 14*z**2 - 6*z - 19. Is a(q) composite?
False
Let l = 5 + -8. Suppose 3*p + y + 0*y + 22 = 0, -2*y - 32 = 4*p. Let r = l - p. Is r a composite number?
False
Let c(a) = 53*a**2 + 13*a - 591. Is c(59) a prime number?
True
Is 11/((-77)/(-397985)) + 7 + 7 + -6 composite?
True
Let g = -303695 + 520446. Is g a prime number?
True
Let p be -2*12/(-30) - (-141436)/5. Suppose l + p = -12*l. Let h = l + 7759. Is h composite?
True
Suppose 0 = 244*g - 226*g - 2591262. Is g composite?
True
Suppose h = 11 + 3. Suppose x + 6*x = h. Is ((-161)/x)/(1*4/(-8)) composite?
True
Let h = 358 + -218. Suppose h*y = 125*y + 46275. Is y prime?
False
Is (5 - 144067/(-66))/(1 + (-33)/36) prime?
False
Let t(m) = 43182*m + 359. Is t(5) prime?
False
Let m = -23 - -118. Suppose -m*v = -93*v - 142. Suppose x + v = 402. Is x a prime number?
True
Suppose 0*y = -4*y + 4*c + 424, 0 = y + c - 114. Suppose y = r + 10*r. Suppose 1045 = 15*h - r*h. Is h a prime number?
False
Let o(y) = -1 + 3*y + 4 + 11*y + 7172*y**2 - 16*y. Let c be o(1). Suppose -2*p = 7*p - c. Is p a composite number?
False
Suppose -2*h + 35 + 1 = -4*u, -5*u = 2*h. Suppose 0 = h*g - 0*g. Suppose r + r + 129 = f, g = 4*f + 3*r - 461. Is f prime?
False
Let w(i) = 2*i**3 - 13*i**2 - 28*i + 43. Is w(24) composite?
False
Let z(i) = -7591*i + 14. Let q(r) = 7592*r - 15. Let c(u) = -5*q(u) - 6*z(u). Is c(2) prime?
False
Suppose 0 = 14*p + 17*p - 11*p. Let i(w) = -w**2 + 20521. Is i(p) a prime number?
True
Suppose 5*g - 506001 = -3*u, -14*g + 3*u + 202392 = -12*g. Is 5 + g/35 + (-6)/(-10) a composite number?
False
Let r = -3140695 + 4506478. Is r a prime number?
False
Let s = -4 + 2. Let k be (-6 + s/(-2))/(-1). Suppose 3*i + 3*b - 1016 = -38, k*i = b + 1660. Is i composite?
False
Is (201 - 204)/((-6)/13994) a prime number?
True
Let k = 29 - 10. Suppose 5*x + 2*o = -0*x - 30, -3*o = x + k. Is x/(-8)*-2 + (-48)/(-2) a prime number?
True
Suppose 0 = -38*h + 42*h - 180. Is 60/h*(59463/4)/3 a composite number?
False
Suppose -3*u - 100016 = 5*a - 1675254, -1575240 = -5*a - 5*u. Is a a prime number?
True
Suppose 22*k = 9*k + 7553. Is k composite?
True
Let c = 96229 - -281530. Is c a prime number?
False
Let t(q) = 70 + 200*q**2 + 404*q**2 + 13*q - 171*q**2 + 183*q**2. Is t(-9) a prime number?
False
Suppose 1541 = 19*c + 40. Suppose 0 = -63*b + c*b - 97936. Is b prime?
True
Suppose -23*g + 424190 = 3*x - 28*g, -g = 2*x - 282763. Is x prime?
False
Let u = 2753 - 433. Is u/2 + 22 + -19 composite?
False
Let s(r) = -2246*r + 787. Is s(-20) a prime number?
True
Let g(d) = 45*d + 21. Let t be g(-15). Let x = 2375 - 1252. Let s = x + t. Is s composite?
True
Let n be 13 - 9/(18/8). Suppose 4*b + 3*f - n = 0, 4 = 4*b + 4*f - 8. Suppose b = -5*h - 5*x + 5720, -4*h + 16*x + 4621 = 11*x. Is h a prime number?
False
Suppose 3*d = -62 + 71, -2*j + 4*d + 200462 = 0. Is j prime?
True
Suppose 0 = -0*i - 3*i. Suppose i*m = 4*m - 12. Suppose m*h - 1696 - 540 = 5*c, 1484 = 2*h - 2*c. Is h prime?
False
Let v = 163 + -158. Suppose -4*c - v*x + 4*x + 13084 = 0, x + 3271 = c. Is c composite?
False
Let m be (3/9)/((-4)/(-216)). Is -2*(-3)/m*92487 prime?
True
Suppose -8*k = -4*k - 16. Suppose -j - 386 = -0*a - k*a, 0 = -5*a. Let x = j + 903. Is x composite?
True
Let a = 9947 - 2946. Is a prime?
True
Let w(g) = 11396*g - 905. Is w(29) a composite number?
True
Let k = 309230 - -358308. Is k a prime number?
False
Let h = -1854 + 1897. Suppose -880 = -3*t + 4*w, -4*t - w - w + 1144 = 0. Let b = h + t. Is b composite?
False
Let z be (27/12)/((-36)/(-48)). Is 6349 - -3 - (-3)/z a prime number?
True
Let m be (952/(-10))/((-10)/425) + -3. Suppose p + 4*p = -f + 4034, f - m = -2*p. Is f a composite number?
False
Let m = 3617 - 941. Suppose -7*x = -7086 + m. Let r = -307 + x. Is r composite?
True
Suppose 0 = -95*c + 12*c - 66*c + 670351. Is c prime?
False
Let l(k) = -k**3 - 9*k**2 + 22*k - 5. Let m be l(-11). Let b(s) = 18*s - 42. Let g be b(m). Is (-1490)/(-3)*g/(-55) - -1 a composite number?
False
Let x be (7/(14/8))/4*-21. Let y(w) = -168*w + 43. Is y(x) a composite number?
False
Suppose 4*u - 2956 = -3*a, 8*a + 3*u + 3933 = 12*a. Suppose -981*q + a*q - 8781 = 0. Is q a prime number?
True
Let z = -171760 + 278353. Is z a composite number?
True
Let b(f) = f + 1. Let t be b(18). Is 18782 - (2/2)/(-18 + t) prime?
False
Let y(j) = -7*j**3 + 3*j**2 + 14*j - 23. Let w be y(7). Let m = w - -6738. Is m a composite number?
True
Let r = 157850 + -50251. Is r a composite number?
False
Suppose 1320397 = 4*s - 3*z, 16*s - 990282 = 13*s - 3*z. Is s prime?
True
Suppose 0 = 22*z - 36*z - 6608. Is (z/(-32))/(3/636) a prime number?
False
Suppose 0 = 9*c - 435798 - 15606. Suppose -5*z - 4*j + 250843 = -0*j, -z - 5*j = -c. Is z composite?
True
Suppose -6*m - 511801 = -5*w, 7*w - 3*w - 3*m - 409439 = 0. Is w a prime nu