2*l - 424 + 2281 = -5*c. Let b = 2487 + l. Is b prime?
False
Let l = -29 - -59. Suppose 5*n + l = -4*j + 318, -4*n + 292 = 4*j. Is j a composite number?
True
Let m = -7872 - -16333. Is m a prime number?
True
Suppose -2*j - 8 = 0, 2*v - 4 = 4*j + 2. Let u be (-16)/20*v/(-2). Is (-121 - 2)/(u/2) composite?
True
Let p = 9203 + 7794. Is p prime?
False
Suppose 2*l - 4*l - 24 = 0. Let m = 16 + l. Suppose -m*c + 350 = -30. Is c a prime number?
False
Let s(d) = 108*d - 13. Suppose 9*u - 4*u - 50 = 0. Is s(u) a prime number?
False
Let x be (-18)/(-5) + (-28)/(-70). Suppose -5*z + 10006 = 5*g - 11504, x*g = 2*z + 17238. Is g a prime number?
False
Let b = -2112 + 2999. Is b a prime number?
True
Let u(x) be the third derivative of -x**6/30 + x**5/12 + 5*x**4/12 + 5*x**3/3 - 9*x**2. Let a(h) = h**3. Let s(b) = -5*a(b) - u(b). Is s(-8) composite?
True
Suppose -5*s + 4 + 6 = 0. Let d(w) = -w + 4*w**s - 7 + 2*w + 0*w - 3*w. Is d(-6) composite?
False
Let h be 1*-1 - (-2635)/10*-126. Is 45/60 - h/8 composite?
True
Let g = -25 + 25. Suppose -2*n - 2*j + 2964 = 0, g = 5*n - 9*j + 4*j - 7360. Is n composite?
True
Let k(o) = o**3 - 4*o**2 - 7*o - 4. Let n be k(6). Let t = -21 + n. Suppose -9*u = -t*u - 596. Is u a prime number?
True
Let z(m) = 3*m - 17. Let n be z(5). Is n/8*1282*-2 prime?
True
Let z be (2/3)/((-4)/(-24)). Suppose 5 = -t + z. Let q(p) = -211*p**3 - p**2 - p. Is q(t) composite?
False
Let a(r) be the first derivative of -r**3/3 - 5*r**2/2 - r - 6. Let l be a(-4). Suppose b = 2*b + w - 563, l*w + 1701 = 3*b. Is b composite?
True
Let u = -11802 + 16973. Is u a prime number?
True
Let h(c) be the second derivative of -c**4/6 - 2*c**3/3 - 3*c**2/2 - 7*c. Let w be h(-10). Is (8/2)/(-4)*w composite?
False
Suppose -2*w = -2*o - 642, -2*w - o - 3*o + 636 = 0. Let v = 303 + w. Is v composite?
True
Suppose -70975 - 2041 = -8*j. Is j a prime number?
True
Let m(i) = -i**2 - 3*i + 3. Let l be m(-3). Suppose -l*a + 3*t = -1575, 2*a + a = 5*t + 1571. Is a a composite number?
True
Let t(v) = v**3 + 6*v**2 - 1. Let b be t(-6). Let h = b + 1. Suppose 1502 = 2*a - h*a. Is a a composite number?
False
Is 4 + 1 + 2124 - 6 prime?
False
Suppose -2321 = 6*v - 17*v. Is v prime?
True
Suppose -5*b = -4*q - 5317, 5*b + 5*q = 155 + 5135. Let v = 1758 - b. Is v prime?
False
Suppose -10315*n + 10313*n = -85114. Is n prime?
True
Suppose 5*d = 3*x - 41548, 14*d + 69215 = 5*x + 12*d. Is x composite?
False
Let v = 21029 + -10258. Is v a composite number?
False
Is ((-34)/34)/(1/(-674)) composite?
True
Suppose -144 = 18*g - 24*g. Suppose 0 = -s + 121 + g. Is s composite?
True
Let f = -5 + 14. Let y be 38/f + 4/(-18). Suppose -4*q + 1013 = 5*p, -91 = -p + y*q + 126. Is p a composite number?
True
Let m(l) be the third derivative of -27/8*l**4 + 0 + 5/3*l**3 + 0*l - 3*l**2. Is m(-3) a prime number?
False
Let j = 1719 + -401. Is j composite?
True
Suppose -4213 = -355*s + 354*s. Is s a composite number?
True
Suppose -1056 = 14*x - 6*x. Let b = 983 - x. Is b a composite number?
True
Let w(m) = m - 13. Let i be w(6). Is 6216/35 - (i/5 - -1) prime?
False
Suppose -3*v - 22 = 4*b, -2*b + b - 7 = v. Is 938 - 2/(2/v*-6) composite?
False
Suppose 85077 = 13*u + 14*u. Is u a composite number?
True
Let u(w) be the second derivative of -3*w**5/20 + 5*w**4/12 - 2*w**3/3 - 13*w**2/2 + 4*w + 25. Let b be (-1)/(-2) - 39/6. Is u(b) a composite number?
False
Let z = -24 + 27. Suppose 9*c = z*c + 6582. Is c a prime number?
True
Let t(y) = 119*y - 132. Is t(19) composite?
False
Let w = 23 - 25. Is -1 + w + 0 + 296 a prime number?
True
Is ((-57)/(-18) - 3) + 3294496/192 composite?
False
Suppose 74 = -2*z - 3*s, 5*s = s + 16. Is (4 + -3)/((-1)/z) a prime number?
True
Suppose 2*b = 5*b - 33. Suppose -13 = j + 3*m, 2*j + j + 2*m + b = 0. Is 2*j/2 - -32 a composite number?
False
Suppose 4*a + 118 = 2*a. Let u = a + 118. Is (-4)/(-16) + u/4 prime?
False
Suppose -119757 = -6*r - 27915. Is r composite?
False
Let f be (-2 + 1681 + 2)/(0 + -1). Let h = f - -2888. Is h a composite number?
True
Let y(t) be the first derivative of 40*t**3/3 + 6*t**2 - 5*t - 3. Is y(5) a prime number?
False
Suppose -21 + 61 = 4*m. Suppose -2*s = 2 - m. Suppose s*q - q - 111 = 0. Is q a prime number?
True
Let b(y) = y**3 - 21*y**2 + 17*y - 37. Is b(24) composite?
False
Suppose 2*k + l = 6258 + 4336, 4*k = -l + 21188. Is k composite?
False
Let d(y) = y**2 + 6*y - 11. Let l be ((-8)/(-3))/(2/(-6)). Let c be d(l). Suppose -c*p + 8*p - 2049 = 0. Is p composite?
False
Is -1409*(-35)/(2 - -5) composite?
True
Suppose 5*n + 28 - 8 = 0. Is (844/1)/n*-1 composite?
False
Is 34738 + 82/(-26) + (-4)/(-26) a composite number?
True
Suppose -12*r - 4*r = -12688. Is r a prime number?
False
Let d(p) = -p**3 + 3*p + 2. Let q be d(-2). Suppose 2*r = 102 + 142. Suppose r = q*z - 882. Is z composite?
False
Let r(b) = -899*b - 83. Is r(-8) a prime number?
True
Let b(v) = -3*v + 12. Let h(q) = -q**2 - 12*q - 12. Let g be h(-9). Suppose d + 2*d = -g, 2*x + 4 = 2*d. Is b(x) prime?
False
Let w(r) be the third derivative of r**6/120 + r**5/60 - r**4/24 + 113*r**3/3 - 5*r**2. Is w(0) prime?
False
Suppose 5 + 3 = 4*u. Let z = -2 + u. Suppose 5*w - n = 802, -2*w + 2*n + 0*n + 316 = z. Is w prime?
False
Let r be (0 + 6/12)/((-1)/(-26)). Suppose -6*p - 4298 = -r*p. Is p composite?
True
Let a(q) = -q**3 + 10*q**2 + q - 9. Let w be a(10). Let b be w/(3108/(-1556) - -2). Let k = -166 + b. Is k prime?
True
Let n(f) = -6*f + 175. Is n(-30) composite?
True
Suppose 7*k = 8*k - 2, -3*k - 133299 = -5*y. Is y composite?
True
Is (3/(-1) + -1912)*-1 composite?
True
Let p(f) = 30698*f**2 - 11*f - 25. Is p(-2) a prime number?
True
Suppose -59 = o + 150. Let q be ((-54)/12)/((-6)/(-88)). Let s = q - o. Is s composite?
True
Suppose -2*o + y + 112172 = 4*y, -3*y - 224326 = -4*o. Is o a composite number?
True
Let a be (-8)/(-20) - (-13)/5. Suppose 2*x - 5*f = 19 - 6, -2*x + 5 = 3*f. Suppose 5*v - 4*n + 497 = 1550, x*n - 651 = -a*v. Is v a composite number?
True
Suppose 2*o - 2 - 2 = 0. Suppose -1055 = o*y - 7*y. Is y composite?
False
Let w(j) = 278*j**2 - j + 2. Let v be w(1). Suppose -v = -19*c + 16*c. Is c composite?
True
Let m(u) = -13 - 3 + 3 + 243*u. Is m(4) a prime number?
False
Let q(m) = 11*m**2 + m + 5. Let o(z) = -21*z**2 - 3*z - 11. Let d(f) = 6*o(f) + 13*q(f). Is d(4) prime?
True
Let k be (-36)/7 + 2 + (-1)/(-7). Is (0 + -183)*11/k prime?
False
Let f(s) = 28*s**2 - 3*s - 3. Let a be f(-3). Suppose -153*i + 150*i - 18 = 0. Is (-1 - 2)/(i/a) a prime number?
False
Let a = 327 + -88. Is a a composite number?
False
Suppose -3*i + 25 = 7. Suppose 5*b + 328 = 3*q, -2*b - 559 = -5*q - i*b. Suppose q = 2*f + 33. Is f prime?
False
Suppose 162*c - 183*c = -50295. Is c prime?
False
Let y(p) = -54*p - 49. Is y(-2) a prime number?
True
Suppose -5*b = -a - 142255, 3*b - 85370 = -0*b + 4*a. Suppose -b = -9*z - 7732. Is z a composite number?
True
Suppose -35*y = -37*y. Suppose y = 47*s - 44*s - 573. Is s composite?
False
Let d = 27817 - 18568. Is d a composite number?
True
Suppose -7*u = -4*u - 12801. Is u composite?
True
Let q(x) = 4*x**2 + 6 + 13*x**3 - 5 - 13*x**3 - 25*x**3. Let k be q(-3). Suppose 4*h = 8*h - k. Is h composite?
True
Suppose 0 = -4*q - 12 + 32. Suppose 0*d = d - 154. Let p = d + q. Is p a prime number?
False
Suppose -4*y - 819 + 25 = -2*r, -3*y = 3*r - 1182. Let q = r + -274. Is q composite?
True
Suppose 0 = 4*c + c. Suppose c*i = -3*i. Suppose i = -6*p + 3*p + 5*q + 633, -4*p = -q - 844. Is p prime?
True
Let d(o) = o**2 + 5*o - 10. Let r be d(-7). Suppose -174 - 454 = -r*s. Is s composite?
False
Suppose -2637 = -3*m + 3*v, -2*m - 3*v + 1758 = -0*m. Is m composite?
True
Suppose 0 = -4*j + 2*j + 3*k - 6, -3*j - 2*k - 22 = 0. Let l(f) = 16*f + 12. Let r(o) = 1. Let n(w) = -l(w) + 5*r(w). Is n(j) a prime number?
True
Let w be (4/10)/((-14)/(-140)). Suppose -w*d = -16, d + 215 = m - d. Is m a composite number?
False
Let f(j) = 22426*j**2 - 7*j - 4. Is f(-1) a prime number?
False
Let z(b) = b - 3. Let n be z(13). Suppose -n*f = -25*f + 49425. Is f a prime number?
False
Is (-2 - -2) + 380 + 3/(-1) a prime number?
False
Let d be 2/(-3) - (-77)/3. Suppose d*b - 1810 = 23*b. Is b a composite number?
True
Let n be 0 - (-26)/2 - (4 + -1). Is 6776/55 + (-2)/n composite?
True
Let w(g) = 