t be 762/(4 + 11/(-3)). Is ((-4)/12)/(b/t) a composite number?
True
Is (63/(-42))/((-3)/137078) a composite number?
False
Let k be 431 + -1 - (-1 - 0/4). Let t = k + 272. Is t a composite number?
True
Let m(k) = 2*k + 21. Let v be m(-15). Let u = 1 - v. Is (-1 + -82)*u/(-10) a composite number?
False
Let a(x) = x - 6. Let w be a(12). Is (-21)/(-126) + 21269/w prime?
False
Let r(p) be the second derivative of -2*p**5/5 + p**4/6 - 2*p**3/3 - p**2/2 + 15*p. Is r(-5) a composite number?
False
Let a = -4770 - -13019. Is a prime?
False
Is 1/4 + (-49938)/(-24) a composite number?
False
Suppose 2*q + 0 = 12. Suppose 4098 = -0*y + q*y. Is y a prime number?
True
Is (5513326/(-455))/((-2)/5) prime?
True
Suppose -2*x + 4145 = -6617. Is x a prime number?
True
Let c = -172 + 22. Is -2 - (-1 + c)/1 a composite number?
False
Suppose h + 2 + 3 = 0. Let o be 21/((-3)/(h + -1)). Suppose o = 6*g - 4*g. Is g prime?
False
Let p be ((-4)/(-6))/(0 + 10/105). Let i(m) = 51*m**2 - 6*m + 16. Is i(p) a composite number?
False
Let w(g) = 4*g**2 + g - 4. Let j be w(4). Suppose -j = v - 2*l, 0 = -3*v - 2*v + 4*l - 308. Is 24/v + (-1154)/(-10) prime?
False
Let g(w) = 35*w**2 + 46*w + 54. Is g(17) a composite number?
True
Let c(v) = 3*v**3 - 18*v**2 - 46*v + 66. Is c(29) a composite number?
True
Let j = 6138 + -469. Is j prime?
True
Let q(c) = 1 - 7*c - 5 + 56*c**2 - 1. Is q(-6) a composite number?
False
Let z(i) = 237*i + 22. Is z(3) prime?
True
Let j = 6 - -9. Let i = 164 - j. Is i a prime number?
True
Is (-9070)/((-3 + 7/3)*3) a prime number?
False
Suppose 0 = -v - 3*r + 1201, 2*v + 5*r - 2362 = 7*r. Is v composite?
True
Let n(o) = o**2 + 11*o + 25. Let t be n(-11). Let x = 29 - t. Is 4 + x + (-29)/(-1) composite?
False
Suppose -15 = -5*c - 0*c. Suppose -12 = -l + c*l. Is (2/(-8))/(l/1416) a prime number?
True
Is (81/(-270) - (-2)/(-10))*-13606 a prime number?
True
Let y(r) = 2*r**3 - 30*r**2 - 2*r + 81. Is y(28) prime?
False
Let g(i) = i**3 + 13*i**2 - 11*i - 15. Let u(f) = 2*f**3 + 27*f**2 - 23*f - 30. Let b(k) = -5*g(k) + 2*u(k). Is b(-12) composite?
True
Suppose 5*g + 5*c - 2695 = 0, 2*g - 2174 = -2*g + 5*c. Is g composite?
False
Suppose 0 = -425*h + 418*h + 210203. Is h a prime number?
True
Let l = -16 + 17. Is 2/11 + (l - (-30616)/44) a prime number?
False
Let d = 10 - 5. Suppose 5*x - 5 = m, 5*x + m + d + 0 = 0. Is (-251)/(-3)*(x - -3) prime?
True
Let y(l) = -l**3 + 7*l**2 - 8*l + 3. Let j be y(5). Suppose -2*m + 3*k + j = 0, 5*m = 4*k - 2*k + 16. Suppose 3*w - 709 = m*w - 2*p, 0 = p + 2. Is w prime?
False
Is (-25 + 99)/((-6)/(-309) + 0) a prime number?
False
Suppose -4*p + 106247 = 3*h - 2*p, -5*h = 5*p - 177070. Is h a composite number?
False
Suppose -5*c + 7*c = 5*y + 96, 208 = 4*c - 2*y. Is c composite?
False
Let i(f) = -18*f**3 - f**2 + 1. Let h be i(-1). Let z = h - -205. Is z a composite number?
False
Let h(y) = 26*y**2 - y + 14. Let j = -160 - -151. Is h(j) prime?
True
Let l(a) be the second derivative of -a**4/12 + 5*a**3/3 + 3*a**2 - 3*a. Let g be l(10). Suppose -g*v + 1204 = -2*v. Is v a prime number?
False
Suppose 3*q + 3*q - 72 = 0. Suppose -q*z + 17*z = 1595. Is z a prime number?
False
Suppose -2*h + 98 = 5*y - 60, 3*h = 4*y - 131. Let j = y + -22. Is j a composite number?
True
Suppose -16*h + 44272 = -0*h. Is h prime?
True
Let o be -94 - ((2 - -6) + -4). Let d = 465 + o. Is d a composite number?
False
Let t = 273 + 16. Is t prime?
False
Suppose 0 = 48*n - 50*n + 12. Suppose -n*z = -9*z + 1317. Is z composite?
False
Let w(o) = -8*o**2 + 17*o - 5. Let y(r) = 4*r**2 - 9*r + 2. Let n(v) = 3*w(v) + 7*y(v). Is n(12) prime?
True
Let n(y) = -13*y - 1. Let q be (-6)/(-4)*(-100)/(-30). Suppose -5*j + 10 = 0, -q*v - 14 = -2*j + 20. Is n(v) composite?
True
Let z = -13 + 6. Let b be (-6)/(-2) + (-1400)/z. Let o = 406 - b. Is o composite?
True
Let f = 7294 + -3552. Is f prime?
False
Let m(q) = q**3 - 4*q**2 + q + 5. Let l be m(5). Let y = l - 30. Suppose y*v = -0*v + 890. Is v a prime number?
False
Let x(r) = -67*r**2 - 2*r + 1. Let k be x(1). Is 1 + k/(-6)*27 a composite number?
False
Let d(x) be the second derivative of -x**5/20 - x**4/2 - x**3 + x**2/2 - x. Suppose -3*n - 109 = -94. Is d(n) a prime number?
False
Let h = 1100 - 763. Let z = 609 - h. Suppose -2*t + 26 + z = 0. Is t a prime number?
True
Suppose 2*u = i + 52582, u - 1570 = -3*i + 24735. Is u a prime number?
True
Suppose -5*y + 36560 = 22*t - 19*t, y - 1 = 0. Is t prime?
False
Let j(b) = -94*b**3 - 8*b**2 + 35. Is j(-4) prime?
True
Let n = 21 - 19. Is 66*(3 - n) - (1 + -2) a composite number?
False
Let w(u) = -4*u**3 + 3*u**2 - 3*u + 5. Let l be (20/(-6))/((-1)/(-3)). Let x(z) = z**3 + 11*z**2 + 11*z + 6. Let t be x(l). Is w(t) composite?
True
Suppose 0 = 129*j - 123*j - 97962. Is j a composite number?
True
Suppose n - 12*a + 8*a - 333 = 0, n = -2*a + 309. Is n composite?
False
Suppose -2*g = 3*h + 2*h - 64771, -2*g - 12947 = -h. Is h composite?
False
Let f = -2634 + 7195. Is f a prime number?
True
Let m(s) = -11*s + 2. Let i(k) = -33*k + 5. Let a(l) = 17*l**3 + l**2 + l - 2. Let c be a(1). Let j(w) = c*m(w) - 6*i(w). Is j(5) a prime number?
True
Suppose -8*g + 24895 = 1863. Is g prime?
True
Let a = -1817 + 2860. Is a a composite number?
True
Suppose 11 + 3 = -2*q. Let u(w) be the second derivative of w**4/6 + 4*w**3/3 - 9*w**2/2 - 38*w. Is u(q) a prime number?
False
Let f be 2 - (0 - -2) - -9. Let s be (-39)/f + 4/(-6). Let j(z) = -49*z + 2. Is j(s) a composite number?
True
Let l(t) = 207*t**2 - 23*t - 6. Is l(4) a prime number?
False
Let p = 3199 - 1518. Let s = p - 170. Is s prime?
True
Suppose -5*a + 4*p = -40639, 4*p - 6672 = -a + 1475. Is a a composite number?
True
Is -1 - 0/2 - (-7 - 53) composite?
False
Suppose -10540 - 9968 = -12*y. Is y composite?
False
Is 5627*(4/3 - (-20)/(-60)) prime?
False
Let b = 99 + -8. Suppose -4*z - 430 = 2*h, -4*z + 4*h - 5*h - 431 = 0. Let g = b - z. Is g a composite number?
False
Let y = -15 - -19. Suppose 0 = h + 2, -29 = -5*l + y*h + 79. Suppose 0 = 5*s - 0 + l, 4*w - 1672 = -s. Is w a prime number?
True
Let c = 4 - 24. Is (-5)/(c/(-8)) - -1545 a prime number?
True
Let s(v) = v**2 - v + 2959. Is s(0) a composite number?
True
Let r = -58 + 56. Is 29 + (2 - 1) - 6/r a composite number?
True
Let r be 10 + 0 + (4 + -4)/7. Suppose 9175 = -r*m + 15*m. Is m prime?
False
Let t(h) = 28*h - 14. Let z be t(1). Let j(y) = -y**3 + 17*y**2 - 21*y - 9. Let q(p) = p**2 - p. Let o(v) = -j(v) + 2*q(v). Is o(z) a prime number?
True
Suppose 0*m + 8*m - 13120 = 0. Suppose 6*n = 82 + m. Is n a prime number?
False
Suppose 2*i = 26 - 2. Suppose -i*x = -97769 - 4243. Is x a prime number?
True
Let n = -16 - -13. Let k be (n/(-6))/(4/32). Suppose -5*p = 4*h + 267 - 975, -708 = -k*h - 2*p. Is h a prime number?
False
Suppose -106*i + 505607 = -232047. Is i prime?
True
Let o be 8/(-36) + 104/(-18). Let s be 191*2 + o + 5. Suppose -4*t + s = -t. Is t prime?
True
Suppose 2*x + i + 473 = 0, 2*i + 3*i = x + 209. Let v = -44 - x. Is 4 - (-1 - -4 - v) prime?
True
Is 1396 - (0/7 - 1) prime?
False
Suppose 9601 = 3*m + 4*v, 4*v - 3203 = -14*m + 13*m. Is m a composite number?
True
Let a(z) be the first derivative of z**6/120 - z**5/30 + z**4/4 + 7*z**3/6 + 9*z**2/2 - 9. Let l(u) be the second derivative of a(u). Is l(6) prime?
False
Let i = 13151 + -8810. Is i a composite number?
True
Let c(s) = 12*s**3 - 5*s**2 - 20*s + 5. Is c(4) composite?
False
Let c(u) = -u**3 + 2*u**2 + 24*u - 21. Is c(-14) a composite number?
True
Let a(x) = -23*x**3 + 13 - 18 - 8*x + 7*x. Let o(k) = -k**3 + 1. Let j(l) = -a(l) - 2*o(l). Is j(3) composite?
True
Let p(b) = 6*b**2 + 3*b + 5. Let q be (3/6)/(1/(-16)). Is p(q) a prime number?
False
Let j = 1 + -2. Is (-4 + -35)/(j - 0) a composite number?
True
Is 5/(-1)*(-78 - 1) a composite number?
True
Let u = -593 - -1095. Is u composite?
True
Suppose -7559 = 11*s - 49876. Is s composite?
False
Suppose -4*x = 2*d - 206, d + 0*x = 3*x + 108. Is (d/12)/(-7)*-116 a prime number?
False
Let r(d) = -d**3 - d**2. Let k be r(0). Let z = 45 - 44. Suppose -c + z + 1 = k, -3*c = -3*y + 1131. Is y composite?
False
Let c(r) = r**3 + 13*r**2 + 11*r. Let a be c(-12). Suppose -5*m + a = m. Is (-5 - -3) + m + 263 prime?
True
Let a(o) = o - 14. Let g be a(15). Let j be (-8)/(-1)*(g + -3). 