 - 5*f = -3*l + 43, -4*f - 20 = -l. Let i(r) = r**3 - 11*r**2 + 9*r - 8. Let o be i(11). Let g = o - l. Is g composite?
False
Let h be (2 - 3/3) + 1. Suppose -3*k + 2940 = h*k. Suppose -4*j + k = -176. Is j a composite number?
False
Let b be (14/(-21))/(1/(-6)). Suppose 0 = -b*i - 4*c - c + 41, 0 = 3*i + 3*c - 27. Suppose -x = 5, 215 = i*w - 4*x + 47. Is w prime?
True
Suppose 6*r = m - 7507, -5*m = -10*m - 2*r + 37503. Is m prime?
False
Let n(f) = f**2 + f - 2. Let a be n(1). Suppose -3*w + 9 = -a. Suppose 7*b = w*b + 28. Is b composite?
False
Let u(t) = 291*t**2 - 8*t + 6. Let o be u(-5). Suppose 2*w - 6*h + h - 2935 = 0, -4*h + o = 5*w. Suppose 0 = 5*m, 5*j - m - m - w = 0. Is j a prime number?
True
Suppose 80 = 6*z - 526. Suppose -b + 2 = -z. Suppose -l - 2*v + 55 = 0, l = -l + 3*v + b. Is l composite?
False
Suppose -177*a - 300408 = -201*a. Is a a prime number?
True
Let y(v) = -12 + 2 + 315*v + 2 + 7. Is y(2) composite?
True
Let m be (-2)/(-4) - 15/6. Let o be 3/m*12/(-9). Suppose -o*s = 3*b - 15 - 242, -509 = -4*s - b. Is s a prime number?
True
Suppose 17375 = r + 5710. Is r composite?
True
Let q = 4 - -2. Suppose 8 = -q*h + 8*h. Suppose 4 = -h*c - 16, 2*c + 620 = 5*w. Is w a composite number?
True
Suppose -g + 30 = -0*g. Let u = 306 - g. Suppose 0 = 3*m + 3*l + 51 - 258, 3*l + u = 4*m. Is m a composite number?
True
Suppose 0 = -3*n + 2*l + 110989, -4*l + 39484 = 2*n - 34514. Is n a prime number?
True
Let x(o) = 99*o**2 - 3*o + 10. Let g be x(-5). Suppose -6*w + 4406 = -g. Is w prime?
True
Suppose 5*v + 71430 = 5*d, -23*d + 2*v - 42833 = -26*d. Is d composite?
False
Let q(k) = -41*k. Let a be q(-2). Let z = a + 61. Is z composite?
True
Let u(n) = 184*n**3 + 5*n**2 - 9*n + 3. Is u(2) a composite number?
True
Let a(g) = 29*g**3 + g**2 + g + 2. Let h(k) = 2*k + 12. Let s be h(-6). Suppose 5*j = 4*m - 7, -4*m + 17 = 5*j - s*j. Is a(m) a composite number?
False
Let b(y) = -186*y**2 + 56*y - 94. Let l(k) = -37*k**2 + 11*k - 19. Let i(r) = 2*b(r) - 11*l(r). Is i(-8) a composite number?
False
Let n be (-8)/(-12)*18/4. Suppose -n = -5*o - 8. Is (o - 96)*-1*3 composite?
True
Suppose 7*l - 14 = -0*l. Is l/(-6) + (-3170)/(-15) a composite number?
False
Let i(f) = 6780*f**3 + 4*f - 5. Is i(1) prime?
True
Let q(y) = -y - 30. Let p be q(-8). Let b = 271 + p. Is b a composite number?
True
Let g(c) = 166*c - 50. Is g(4) composite?
True
Let x = 1633 - 794. Is x composite?
False
Let z(p) = 963*p**2 + p + 1. Let n = -1 + 0. Let v be z(n). Let l = 1402 - v. Is l a composite number?
False
Suppose 2*k - 9 = -k. Suppose 2322 = k*y + 435. Is y prime?
False
Suppose -115 = o - 6*o. Let r(c) = -c**3 + 25*c**2 - 43*c + 28. Is r(o) a composite number?
False
Let h = -69 - -63. Is (h/(-4))/(12/12088) composite?
False
Let j(k) = 5*k + 2 + 6 + 7 + 8*k. Is j(4) composite?
False
Let z be (-60)/(-8) - 3/6. Let h be (-18)/6 - -2*z. Is 94/(-3)*(-33)/h composite?
True
Suppose 0 = -10*l - 39167 + 212937. Is l composite?
False
Let m = -22 - -16. Let j be 6/(m/(-4)*1). Is (-574)/j*(5 + -7) a composite number?
True
Suppose -8*n + 56600 = -100560. Is n composite?
True
Suppose -16 + 52 = -3*j. Let m = j - 4. Let d = m + 23. Is d prime?
True
Let s = -153 + 488. Is s a composite number?
True
Let k = -55 - -35. Is (445/k)/(2/(-56)) a composite number?
True
Let x = -757 - -1700. Suppose 0*w = 4*w - 692. Suppose -w - x = -5*j + h, 4*j = -h + 891. Is j composite?
False
Let d = 8 - 6. Suppose d*x - 7 = 1. Is 12/(-24) + 62/x a composite number?
True
Let v(w) be the third derivative of -w**6/60 - w**5/20 - w**4/6 - 5*w**3/6 - w**2. Let x be v(-2). Is 130 - 1 - 14/x a prime number?
True
Suppose -10808 = -7*n - 1407. Is n a composite number?
True
Suppose 7*s - 72 = 3*s. Suppose -s*f + 38290 = -4*f. Is f composite?
True
Suppose -h + 38 - 4 = 0. Suppose -260 = -38*q + h*q. Is q a composite number?
True
Is 0/(-4 + 1) + (9 - -8536) a composite number?
True
Suppose 12 = 3*m - 6. Is (m/(-21))/(4 - 26745/6685) composite?
True
Suppose 5*m + 25 = 0, 5*m - m - 80064 = -4*a. Is a prime?
True
Let q(f) = -f**3 - 18*f**2 - 14*f + 19. Let v be q(-17). Let s = v - -181. Is s composite?
False
Let l = 13 - 11. Suppose -4 = l*h - 10. Suppose 0 = 3*z - 3, 3*m - 17 - 223 = -h*z. Is m a composite number?
False
Suppose -16*c + 10066 + 36318 = 0. Is c a composite number?
True
Let m(b) = -8*b**2 - 7*b + 1. Let d(p) = -9*p**2 - 6*p + 1. Let s(v) = -4*d(v) + 3*m(v). Is s(6) composite?
False
Let h(s) = s**3 + 13*s**2 + s + 16. Let o be h(-13). Suppose 15*k = 17*k - 4. Suppose o*q = k*q + 623. Is q composite?
True
Let k be (-9)/((-45)/(-10)) + -86. Suppose 45 = 5*p - 130. Is (p/(-20))/(2/k) a composite number?
True
Let o = 9 - 23. Let i(x) = -x**3 - 14*x**2 - 11*x - 5. Is i(o) a composite number?
False
Is (23718/(-24))/((-14)/56) prime?
False
Suppose -5*x = 4 + 66. Let q(i) = i**3 + 15*i**2 + 8*i. Let s be q(x). Let p = s + -15. Is p a prime number?
False
Let o(j) = -j**2 - 59*j + 57. Is o(-27) prime?
False
Let p(l) = -1311*l**3 + 2*l**2 + 4*l + 11. Is p(-2) a composite number?
False
Suppose -7137 = -r + 2*v, -10233 - 11160 = -3*r - 3*v. Is r composite?
True
Is (-66 + 1 + -2)*(-77 + -6) prime?
False
Let j be 1*-46*(-603)/18. Suppose -j + 527 = -3*g. Is (-2)/16 + g/16 prime?
False
Let x(y) = -y - 1. Let z(k) = 73*k**2 + 3*k + 5. Let s(d) = -2*x(d) + z(d). Is s(-3) a composite number?
True
Is ((18/4)/(-3))/((-105)/2930410) a composite number?
False
Let b be -69*(3 + 62/(-6)). Suppose -h = -55 - 48. Let m = b - h. Is m prime?
False
Suppose 2*g - 20 = -3*a, 2*g - 10 - 8 = -2*a. Is 1/g + (-22986)/(-14) prime?
False
Suppose -3*l + 6358 = 379. Is l composite?
False
Suppose -8*d + 20 = -12*d. Let z(j) = -5*j**3 - j**2 - 3. Is z(d) a composite number?
True
Let f(n) = 331*n**3 - n + 1. Let a(y) = y**3 + 10*y**2 + 9*y + 1. Let s be a(-9). Is f(s) composite?
False
Suppose -457*y - 31617 = -466*y. Is y prime?
False
Let k(y) = -3767*y**3 - 7*y**2 - 2*y - 1. Let z(i) = -2511*i**3 - 5*i**2 - i - 1. Let s(t) = -5*k(t) + 7*z(t). Is s(1) a composite number?
False
Suppose 3*j + 5*x + 45 = -0*j, -4*j + 5*x = 25. Is 2663/3 - j/(-15) composite?
False
Let j(b) = 6*b**3 + 4*b**2 - 4. Let i(m) = -m**2 + 8*m - 10. Let k be i(7). Let a be j(k). Let z = -53 - a. Is z a composite number?
True
Let v = -2151 + 1420. Let o = 1398 + v. Is o prime?
False
Is ((-4314292)/(-684))/((5/(-9))/(-5)) prime?
True
Let m(d) = 2 + 2*d**2 + 7*d + 0*d**2 + 4*d**2 - 2*d**3. Let t be m(6). Let n = 363 + t. Is n a composite number?
False
Suppose 0*h - 4*h = r - 13, 0 = 3*r + 9. Suppose 0 = 2*y - 3*d + 4, 14*y = 9*y - 3*d - 52. Is (-907)/((y/2)/h) prime?
True
Suppose 0*s = 2*t - s - 21370, -5*t + 53415 = -5*s. Is t a composite number?
False
Let g = 67887 - 39146. Is g prime?
False
Let g(r) = 84*r**2 - r - 1. Suppose -4*f - 3*a + 7 = 0, 0 + 20 = 4*a. Is g(f) composite?
False
Is 9/(-18) + 1 - (-12013)/2 a composite number?
False
Suppose 191757 = -15*r + 4272162. Is r a prime number?
False
Let x(l) = -3*l + 2. Let w be x(-2). Suppose 3*r + 2 = w. Is ((-115)/10)/(r/(-28)) a composite number?
True
Let z = -23 - -20. Is -4 - (-3)/(z/(-743)) a prime number?
True
Let h be ((-1081)/(-2))/(0 + (-3)/(-30)). Suppose h = 14*x - 9*x. Is x prime?
False
Let d = 19 + -13. Let k be 2*(0 - 33/d). Is (-42965)/(-55) + 2/k prime?
False
Suppose 3*s = 132 - 6. Suppose -2*r + 46 = -s. Let y = r + -6. Is y composite?
True
Let g(o) = -586*o - 7. Is g(-1) a prime number?
False
Let z = -1 + 3. Suppose 0 = -5*r + z*r. Is ((-4213)/(-11))/(r - -1) a prime number?
True
Let q(c) = 226*c + 95. Is q(23) a composite number?
True
Let h(d) be the first derivative of -39*d**4 + d**2 + d - 1. Suppose 0 = -2*t + 1 - 3. Is h(t) a composite number?
True
Suppose 0*h - 2*h = 216. Let b = 295 - h. Is b a prime number?
False
Suppose 4*q = 8, 0*z - 3*q = -2*z - 10. Is ((-3345)/12)/((-2)/8) - z composite?
False
Let z(q) be the third derivative of -q**4/24 - 2*q**3 - 4*q**2. Let n be z(-12). Suppose 3*x = 3*b + 879, n*x - b + 586 = 2*x. Is x prime?
True
Let x = 12 + -12. Suppose u + x = -5, -3*z + 5*u = -454. Is z a prime number?
False
Let y be (-1 - (7 + 0)*1)*-70. Let i = y + 603. Is i prime?
True
Let o(x) = 6*x**2 - 1. Let j(v) = v + 19. Let u be j(-17). Is o(u) a prime number?
True
Let n = -1977 + 5066. Is n a prime