 15 = -1. Let k(o) = o**2 - 7*o + 9. Let g be k(l). Suppose -3*i = 2*a - 168, -g*a + 49 = i - 0*a. Is i prime?
False
Let m(d) = 272*d**2 - 4*d + 28. Let y be m(3). Suppose -35*f - 609 = -y. Is f a composite number?
False
Is 59696 + 77/(-28) + (-9)/36 prime?
True
Let k = 449 - 441. Suppose 3*w + 20815 = n, w + k = 10. Is n a prime number?
False
Let o(c) be the second derivative of -c**6/60 + c**5/5 + c**4/4 + 11*c**3/6 - 3*c**2 - c. Let x(m) be the first derivative of o(m). Is x(-7) a composite number?
True
Suppose 50*t - 1063340 = 30*t. Is t a composite number?
True
Let d be 4*(-1)/4*-3. Suppose 2*g + 4*q - 13950 = 0, -4*g + d*q + 34862 = g. Is g a composite number?
True
Let o(d) = 26*d**3 + d**2 - 17*d + 1719. Is o(25) a composite number?
False
Let f = 403 + -1412. Let o = -3840 + 1262. Let s = f - o. Is s prime?
False
Let q = -93092 - -169233. Is q a composite number?
True
Is (15 - 27) + (138400 - -1) a composite number?
False
Let l be (6/(-4))/((-54)/144). Suppose 2*g - 204 - 117 = -5*i, 3*i - 203 = l*g. Is i a composite number?
True
Let u = 2049363 - 1330492. Is u composite?
False
Suppose -4*s - r = -24678 - 9020, -3*s + 2*r + 25268 = 0. Suppose 5*u = 3*m - s, -7972 - 3289 = -4*m - 3*u. Is m a composite number?
True
Suppose 0 = 11*f - 4*f - 21. Suppose -f*i + 12421 = 2*u, 3*i - u = 2*u + 12441. Suppose 4*l = -3*b + 3593, -4*l = -3*b - 518 + i. Is b a prime number?
False
Let m be -1 + (143 - -8) + -1*1. Let u = 486 - m. Is u a composite number?
False
Let p(l) = -8 + 106*l**2 - 48*l**2 + 11*l - 49*l**2 - l**3 - 3. Let v be p(10). Is (v + (-1618 - 7))*(-1)/2 composite?
True
Let l be 4/(-10) - (-6305)/325. Suppose -l*h = -8*h - 35013. Is h a prime number?
False
Let w be 343/11 + (-2)/11. Let c = w + -31. Suppose 4*p - 2*r - 578 = 0, 3*p + p + 5*r - 557 = c. Is p a prime number?
False
Let x = 121 - 121. Suppose -40*s + 43*s - 43863 = x. Is s a prime number?
True
Suppose 3*h + 1610 = -4*m, -3*h + 2144 = -7*h - 4*m. Let c be (-3 - (2 - 7749/(-14)))*2. Let n = h - c. Is n a composite number?
True
Let h = -43 + 49. Suppose 0 = -h*l - 24 + 3654. Suppose 1565 = 3*m + 4*p, 5*m = 4*p + l + 2014. Is m prime?
True
Let p(j) = 339*j - 1 - 337*j + 2 - 296*j**3. Let k(x) = 2*x - 1. Let y be k(0). Is p(y) composite?
True
Suppose -k - 114 = -5*a, 3*a - 548 = 5*k - 0*a. Let g = k - 78. Let b = -60 - g. Is b composite?
False
Suppose 2*p = 3*p - 4. Let z(s) be the second derivative of 532*s**3/3 + 15*s**2/2 - s + 2. Is z(p) composite?
False
Suppose v = 427 + 9. Let d = 167 + v. Let i = d + -336. Is i a composite number?
True
Let c = 98 - 94. Suppose 0 = 5*u - 0*u + c*k - 14163, -u + 5*k = -2821. Suppose d - 2*m - u = 0, d - m - 3*m = 2835. Is d composite?
True
Let d(r) = 40*r**2 + 13*r + 1997. Is d(-43) a composite number?
True
Let o = -104242 + 211296. Is o composite?
True
Suppose -78*f = -80*f + 6. Suppose -f*j + 2031 = 4*w, -9*w - 1354 = -2*j - 5*w. Is j a composite number?
False
Let f(z) = -4*z**3 - 5*z**2 + 4*z - 5. Suppose -4*d - 18 = -3*p, 4*d + 5*p + 15 = -19. Is f(d) a composite number?
True
Is -8*((-2031350)/80 - -12) prime?
True
Let s be (((-9825)/(-6))/(-5))/(3/(-30)). Suppose -5*g + 15139 + 1212 = v, 0 = -g + v + s. Is g a prime number?
True
Suppose 67*t - 78*t = -78056. Suppose -9*h + t = -h. Is h a prime number?
True
Let g(t) = -68477*t - 2837. Is g(-14) a composite number?
False
Let v(o) = -4*o**2 + 7*o - 523. Let q(m) = -m**2 + m. Let x(a) = 5*q(a) - v(a). Suppose 32*r + 3 - 3 = 21*r. Is x(r) prime?
True
Suppose -12*x + 1047736 + 1056956 = 0. Is x a prime number?
True
Is ((-5)/(-15))/((-449981)/112497 + 4) a prime number?
False
Let f = -853655 - -1580292. Is f a prime number?
False
Let l = 12382 - 1109. Is l a composite number?
False
Let m(r) = 6*r - 2*r**2 - 2 + 8*r**2 + 1. Let p = -3592 - -3598. Is m(p) a composite number?
False
Let u be 17468/12 + (-2)/(-6). Let w(t) = -185*t + 12. Let x be w(-2). Suppose 2*f - x = u. Is f composite?
False
Let q = 201325 + -116498. Is q a composite number?
False
Is (-879)/((3 - -1) + (-348359)/86999) a composite number?
True
Suppose -12 + 69 = 3*d + 3*i, -5*i - 112 = -4*d. Suppose d*m + 26772 = 64745. Is m a composite number?
True
Is (-10)/(-45) + 464594181/621 composite?
True
Let v be ((-6)/(-12))/((-2)/(-4)) + 461. Let x = v - 283. Is x a composite number?
False
Let o(z) = -3*z**3 - 9*z**2 + 4*z + 1. Suppose -13*j + 30 = -7*j. Suppose v - 39 = j*f, -5*f - 2*v = -23 + 65. Is o(f) composite?
False
Let d(f) = f**3 + 6*f**2 + 2*f + 8. Let o be d(-6). Let q(j) = 12 + 29*j - 512*j + 90*j + 0 - 1. Is q(o) composite?
False
Let n(f) = -207087*f + 2158. Is n(-17) a prime number?
True
Suppose 4*d = 3 + 5. Suppose 2*m + 0*m - d = 0. Is 250 - (0 + m - 4) prime?
False
Let o be 9/(-3)*1 + -3. Let x be o - -7 - (-4 + 0). Suppose 3136 = x*j + 941. Is j a prime number?
True
Let t = -118 - -123. Suppose -m - 13609 = -2*j, 0 = -5*j - t*m + 16088 + 17912. Is j prime?
True
Let x be (5 - (-5 + 5))*3. Let t(b) = 15*b**2 - 7*b - 115. Is t(x) a prime number?
False
Let p = 44 - 46. Let d be 1/2*(17 + 3 + p). Suppose -d*l - 6*l = -8025. Is l prime?
False
Let s be (-1 - 2)/(1 - (-10)/(-4)). Suppose -3413 = -g - 5*b, 2*g = 6*g + s*b - 13724. Is g composite?
False
Let n(l) = -l**3 + 4*l**2 - l + 2. Let p be n(3). Let o be (3 - 1)*2*2084/p. Let v = -599 + o. Is v composite?
False
Let i = -110 - -102. Let a be 46/(-184) + (-2)/(i/25). Suppose -4*b + 4*o = -2616, -a*o = -5*b - 2*o + 3271. Is b composite?
True
Let d be (4818/90)/11 - 6/(-45). Suppose -5*q = -d*k + 45620, 51057 = 5*k - 2*q + 5428. Is k a composite number?
False
Let w(d) = -33 + 52*d + 134 + 73*d - 56. Is w(2) composite?
True
Suppose 54*r + 7611 = -6159. Is (-4 + -55)*r - -8 prime?
True
Suppose 31*x - 1988 = 24*x. Let k = x - -165. Is k composite?
False
Let a(i) = 4671*i**3 - i**2 - 12*i + 31. Is a(3) a composite number?
True
Let c = 117 - 116. Let r(h) = 4598*h**3 + 2*h**2 + h - 1. Let j be r(c). Suppose -3*o - 5*g = -j, o + 0*g = -2*g + 1533. Is o a prime number?
False
Let n = -30433 + 62924. Is n prime?
True
Let n(m) = 4*m - 20. Let t be n(6). Suppose 29575 = 4*x - 3*u, 5*x - t*x = 2*u + 7395. Is x a prime number?
True
Let j(l) = -7*l**3 + 15*l**2 - 2*l - 15. Let p be j(-7). Let g = 7406 - p. Is g a prime number?
True
Suppose -35*h + 6*h = 338865. Let q = h - -32366. Is q composite?
False
Suppose 2*q = -7*b + 9*b - 9030, -4*b + 16 = 0. Let g = 2900 - q. Is g a prime number?
True
Suppose p + 4*j - 143299 = 48303, -4*p + 2*j + 766516 = 0. Is p a composite number?
True
Let a(f) = 17*f - 34. Let b be a(4). Let r be (-19916)/(-6) + 1 - b/(-51). Is (-1)/2*(r + -7)*-1 a composite number?
False
Let a(g) = -g**3 + 13*g**2 + 10*g - 9. Suppose 58 = 6*t - 20. Suppose 5*j - 52 = t. Is a(j) prime?
False
Let c(j) = 690*j**2 - 6*j + 4. Let u be c(3). Suppose -4*v + u = -v - 5*l, -4*v - 4*l = -8240. Is v prime?
False
Let b(w) = -7*w**3 + 25*w**2 + 19*w - 100. Let f(j) = -j**3 + j**2 + j + 1. Let t(c) = -b(c) + 6*f(c). Is t(33) composite?
False
Let z(m) = -6089*m + 1198. Is z(-5) composite?
False
Let g = 436 - 434. Let t(s) = 6*s + 123*s + 38*s - 3. Is t(g) a composite number?
False
Let i(a) = a**2 + 8*a + 9. Let f be i(-2). Let n(u) = -137*u**3 - 5*u**2 + 7*u + 4. Is n(f) a composite number?
False
Suppose 19841 = -3*z + 3497. Let n = 7907 + z. Is n composite?
False
Is (-2 - (-12)/(180/35))/((-3)/(-114507)) a composite number?
True
Let l(o) = 2*o + 22. Let s be l(-6). Suppose -1587 = 5*a - s*a - 2*x, -3*a - 3*x + 954 = 0. Is a prime?
True
Let d = 37 + -33. Suppose 4*t = 4*o - 12, d*o + 0*t - 15 = 3*t. Suppose -i - 4*h - 8449 = -o*i, h - 4 = 0. Is i a composite number?
False
Let r = -39 + 44. Suppose 0 = -6*s + r*s + 2437. Is s a composite number?
False
Let l be ((-44)/20 - -3)*3035/(-1). Let b = l - -6069. Suppose 15*z - 4*z - b = 0. Is z a composite number?
False
Let s(q) = 16*q - 12*q - 9 + 5*q + 0*q. Let d be s(7). Suppose 4*t - 2*a - 384 + d = 0, t - 5*a = 78. Is t a prime number?
True
Suppose 26*u - 20 = 30*u. Let w(q) = 23*q**2 - 23*q - 77. Is w(u) prime?
True
Suppose -148*a = -17*a - 23649823. Is a prime?
True
Let t(h) = -h**3 + 13*h**2 - 12*h + 6. Let g be t(12). Suppose 52*p - g = 50*p. Suppose -u = 5*o + 4*u - 4180, 2*o + p*u - 1673 = 0. Is o prime?
False
Let o(m) = -m**3 + 5*m