et q be f(-4). Is (-1)/(q/((-3972)/(-3))) a prime number?
True
Suppose -9*l + a = -8*l - 7, 1 = -l - a. Let q(j) = 1513*j**2 + 11*j - 7. Is q(l) a composite number?
True
Suppose 0 = 3*n - 12 - 0. Suppose n*j + 7231 = 4*y - 24941, -2*j + 16094 = 2*y. Is y composite?
True
Suppose -3*r + 17019 = 3186. Let w = r + -3265. Is w/2 - (4 + -4) prime?
True
Suppose -13*z - z + 658 = 0. Let s = z - -584. Is s composite?
False
Suppose -4*u - 2*l + 277034 = 0, 65*u - 5*l = 69*u - 277019. Is u a composite number?
True
Let u = -176658 + 290585. Is u a composite number?
True
Is 6517 + 11/((-22)/(-8)) a prime number?
True
Let f(x) = -x**2 + 15*x - 4. Let u be f(14). Let h(k) = 5*k - 1. Let y be h(-4). Let c = u - y. Is c prime?
True
Suppose -3*q - 5*p - 42566 = 0, 3 = -5*p + 13. Let s = 7542 - q. Is s a composite number?
True
Suppose 4*t + 21 = b, -5*b - 5*t = -0*t - 105. Suppose -5*m - b = -31. Suppose -4*n - m*n + 3102 = 0. Is n a composite number?
True
Suppose -2*k - 12534 = -2*h, h - 3*h - 2*k + 12546 = 0. Let n = h + -2533. Is n prime?
False
Let t(p) = 7*p + 54. Let k be t(-6). Suppose k*a = 83434 - 12646. Is a a composite number?
True
Suppose -5*k = -3*y + 1 - 9, -4*k + 20 = y. Let u be (y/12 - 1)*(3 + -6). Suppose 0 = l + 4*m - 2365, -u*l = 2*l - 5*m - 9439. Is l a composite number?
True
Suppose -5*h + 3 - 8 = 0, 64505 = x + 2*h. Is x composite?
True
Let d(p) = 3123*p + 328. Is d(27) prime?
True
Let n(y) = -4*y - 12. Let z be n(1). Let v(g) = g**3 + 23*g**2 + 25*g + 65. Is v(z) prime?
False
Let g be 1*(1 + (3 - (3 - 0))). Is (-6)/4*(g - (-24520)/(-24)) prime?
True
Let k(g) = 90*g**3 + 9*g**2 - 21*g + 131. Is k(11) prime?
True
Suppose 21*z - 780143 = -78806. Let l = z - 17846. Is l a prime number?
True
Let f(k) = -7*k - 25. Let b be f(-4). Suppose -u - b = -2*y, -3*y + 1 = -3*u + 4. Suppose 2794 = 2*p - q, 8*p - 3*p = -u*q + 6985. Is p a composite number?
True
Suppose 4 = i - 5. Suppose -i = -2*x + 5. Suppose 0 = -x*y + 8*y - 7063. Is y a composite number?
True
Let t be 11005/(-2) - (-1)/(-2). Let q = t - -3163. Let l = -1273 - q. Is l prime?
False
Suppose -m + 245248 = 325*k - 326*k, -3*m + 4*k = -735741. Is m a prime number?
True
Let k(x) = -606*x - 3541. Is k(-74) a composite number?
True
Let q be 6/(-12)*(3 + 1) - 94. Let s = -91 - q. Suppose 0 = -2*o - v + 1338, 4*v = -3*o + s*v + 1997. Is o composite?
True
Let h(x) = -x**2 - 2*x + 3339. Let g be h(0). Let v = g - -4478. Is v composite?
False
Suppose 5*n + y = -51, 15 = -6*n + 4*n + 5*y. Let l(h) = h**2 - h. Let g(b) = -8*b**2 - 13*b - 2. Let o(v) = -g(v) - 5*l(v). Is o(n) a composite number?
True
Let s = 47 - 13. Let b = s + -33. Is 2 + 289 - (-3 - b) composite?
True
Let d be 2/(-4)*(-2)/(-4 + 5). Suppose 0 = -2*x + d - 21. Is 2*(2 + (-1875)/x) composite?
False
Is (2 + -1)*(1 - 0)*(-18 - -50477) a composite number?
False
Suppose -5*y - 85755 = 3*x, 4*y + 9006 + 59615 = x. Let w = -5969 - y. Is w composite?
True
Let r = -487957 + 722094. Is r composite?
True
Suppose -35*c - 1175872 = -99*c. Is c a composite number?
True
Let y be (-11)/((-198)/12)*(-6)/4. Let h be y/(-4) + 7/4. Let b = h - -87. Is b a composite number?
False
Suppose 748 = g + 751. Is (-2*1/g)/(18/41607) a prime number?
False
Let s = 27 - 24. Suppose -s*t - 8 = -z - 4*t, 4*z = 5*t - 13. Suppose -b - q + 952 = 2*b, -1271 = -4*b - z*q. Is b composite?
False
Suppose 415113 = 15*g - 540942. Is g prime?
True
Suppose 0 = 16*l - 15*l - 7423. Let n = l - -781. Suppose 0*a = 4*a - n. Is a prime?
False
Let o(u) = 21*u + 103. Let p be o(-3). Let w(g) = -g**3 + 45*g**2 - 129*g + 39. Is w(p) prime?
True
Let h(a) = 8*a**3 + 9*a**2 - 3*a + 16. Let b(v) = 12*v**3 + 13*v**2 - 4*v + 24. Let t(j) = -5*b(j) + 7*h(j). Is t(-7) composite?
True
Let p(a) = 12*a. Let w(b) = 4*b + 13. Let l be w(-3). Let d be p(l). Is d/(-28) + 6530/14 a composite number?
True
Suppose -16*d = 27*d - 3706544 - 9356985. Is d prime?
True
Let n(s) = 8 + 7045*s**3 + s**2 - 8 - 4*s + 0*s**2 + 3. Let k be n(1). Suppose -2*q + k = 3*q. Is q a composite number?
False
Suppose 0 = -5*o + w + 86450, 3*o - 27*w - 51888 = -30*w. Is o a prime number?
True
Is (8/(-4) - -22190) + 8/(-8) a composite number?
True
Is 25/10*8/(-20)*(-712678)/2 prime?
False
Suppose -2*x - 3*x + 941671 = 2*w, 5*x - 4*w - 941683 = 0. Suppose -12*k + 47*k = x. Is k a prime number?
True
Let f = -9756 - -138715. Is f prime?
True
Let x(u) = -3*u**3 + 2*u**2 - 11*u + 14. Let o be x(5). Let n = 1105 + o. Is n a prime number?
True
Let f(r) be the first derivative of 51*r**4/4 + 4*r**3/3 - 4*r**2 + 10*r + 9. Is f(3) composite?
False
Let p(t) = 75*t**3 - 9*t**2 - 4*t + 32. Let b(k) = k**2. Let m(y) = 5*b(y) + p(y). Is m(5) a composite number?
True
Let q be (4/10)/(1/15). Suppose -q*c + 8799 = 2541. Is c composite?
True
Let h = -16947 + 8043. Let y = -4577 - h. Is y a composite number?
False
Let b = -213 + 3605. Is -21 + 16 - (-3 - -1 - b) prime?
True
Let y(c) = 846*c - 3. Let o(b) = 3*b - 5. Let a(k) = -5*k + 9. Let m(j) = -4*a(j) - 7*o(j). Let r(x) = -2*m(x) + y(x). Is r(7) a prime number?
False
Suppose -2*r + 12 - 4 = 2*q, 0 = q + 5*r + 8. Suppose 5*x + q*i = 2*i + 58965, -4*i = -16. Is x a composite number?
False
Let n = -133682 + 622441. Is n composite?
False
Suppose h - 4*o = 480 + 181, -4*o = 3*h - 1903. Suppose -6*b - h = -7*b - 2*m, b + m - 637 = 0. Suppose -s = l + s - b, 4*l + 3*s = 2552. Is l a prime number?
True
Let u(r) = -3 + 5279*r**2 - 13*r - 1528*r**2 + 4. Is u(-2) composite?
False
Let t be -20*1325/(-10)*2/10. Suppose t = y - 83. Suppose 5*p - y = -2*l - 37, 0 = 2*p + 4. Is l a composite number?
False
Let w(y) be the second derivative of -877*y**3/6 + 18*y**2 - 146*y. Is w(-1) composite?
True
Suppose x + 4 = 0, g - 161016 = 2*x + 255939. Is g a composite number?
False
Suppose -96*o + 1426264 - 180280 = 0. Is o composite?
False
Let m be -3 + (-20)/(-6) - (-195)/9. Let c = m + -24. Is ((-5)/(-3) + -2)/(c/1806) composite?
True
Let q(b) = -b**3 + 13*b**2 + b - 5. Let g be q(13). Suppose 3*a - 4*a = 2, -3*t - 2*a = -g. Suppose 5*v - p - 2486 = 0, -6*p = -2*p + t. Is v prime?
False
Is -14 - (-1514558)/12 - (10/12)/5 composite?
False
Is (-1976272)/40*(-20)/8 a composite number?
False
Suppose 7*z + 38938 = -30404. Let k = 14795 + z. Is k a composite number?
False
Let k(m) = 333*m**2 - 40*m - 16. Is k(9) composite?
False
Let s = 10 + -7. Let v(q) = q**2 + 2*q - 447. Let w be v(-22). Is 2661/21 - (s + 23/w) prime?
True
Is (2/2*1/(-3))/((-1)/1601877) a prime number?
True
Let z be (-12)/42 - ((-284922)/(-21))/(-6). Suppose 2*b + z = 5*o, -3*o - 3*b + 1350 = -2*b. Is o a prime number?
False
Let s(m) = -1145*m + 147. Is s(-4) composite?
True
Is (-7 + 5)/((-22)/11617419) a composite number?
True
Let d = -185836 - -365501. Is d composite?
True
Let s be (-3 + 6)*(-1 + 2). Suppose -4*y - 4*g + 6*g = -10, -s*y + 5*g + 11 = 0. Suppose -1 = -y*c - 5*r, 2*r = -2*c + 10 + 6. Is c a composite number?
False
Suppose 10*y = r + 1756965, -2*y + 3*y - 4*r = 175677. Is y a composite number?
True
Let h(y) = 8*y**3 + 3*y**2 + 117907. Is h(0) a prime number?
False
Suppose 0 = -3*a + q + 203849, -266759 = -3*a - 5*q - 62886. Is a a prime number?
False
Suppose 4*r = -3*j - 2 + 36, -28 = -2*r + 4*j. Suppose -r*k = -28505 + 5595. Is k a composite number?
True
Let g = -36122 + 60623. Suppose 0 = a, 0 = -v - a + 14042 + g. Is v composite?
False
Suppose 5*g - 18168 + 3108 = 5*h, 0 = g + 4*h - 3027. Suppose -w + 4*s = -g, 10*w - 9*w - 2*s - 3011 = 0. Is w a prime number?
False
Let h be (9/(-4))/((-2)/(-32)). Suppose 5*m + 20 = 0, -3*s = 2*s + 3*m - 228. Is (-429 - (0 + -1))*h/s a prime number?
False
Let z be 32513 - -5 - -2*1. Suppose -2*t - z = -s, s + 4*t + 32528 = 2*s. Suppose 10677 - s = -11*n. Is n prime?
False
Let c(g) = -2*g + 25. Let s be c(10). Suppose 0*o + s*o = 5. Let r(n) = 678*n**3 + 2*n**2 - 3*n + 2. Is r(o) composite?
True
Let k(o) = o**3 + o**2 + 110. Let f be k(0). Let u = -12 - 13. Let h = f + u. Is h prime?
False
Suppose -2*z = -11*z - 477. Is 58*(z/(-2) + (4 - 1)) a composite number?
True
Suppose -5*k - 12*s = -7*s + 5, 0 = 4*s + 4. Suppose k = 18*d - 14*d - 45476. Is d prime?
True
Suppose -3*m - 3*c = 18, 2*m - 2*c + 14 = -6*c. Let o(a) = 78*a**2 - 3*a - 22. Is o(m) a prime number?
False
Let n(i) = i**3 + 16*i**2 + 9*i - 9