ppose -103432 = 11*l - 19*l. Is l composite?
True
Suppose 5*v + 3*d = -27, -4*d + 4 = -0*d. Let a(n) = 17*n**2 - 2*n + 5. Is a(v) a composite number?
True
Let n = 3929 + -1568. Is n a prime number?
False
Let z(q) = -13*q**2 + 1. Let x be z(-1). Let a(r) = 2*r**2 - 5*r - 3. Let y be a(5). Let g = x + y. Is g prime?
False
Suppose 0 = -z + 1561 + 660. Is z composite?
False
Let s(u) = 20 - 4*u - 20 - u + 24*u**2 + 10. Is s(7) a prime number?
True
Suppose -10*x + 3*x - 4*x = 0. Suppose x = 30*d - 26*d - 1772. Is d a composite number?
False
Is (-59000 + -1 + -4)*14/(-70) a prime number?
True
Let o(x) = -4*x + 82. Let d be o(20). Suppose -d*g + 2*t = -2*t - 3318, 5*g - 8281 = -4*t. Is g a prime number?
True
Let y be -389 + (10/(-2))/(-1). Let f = 979 - y. Is f a prime number?
False
Suppose -30*g - 880 = -35*g. Suppose -2*p - g = -3*i + 85, -5*i + 5*p + 430 = 0. Is i composite?
False
Suppose -5*o + 75346 - 23301 = 0. Is o a prime number?
False
Suppose -4*h + 5791 = -10021. Is h a composite number?
True
Is (-3 - -4) + (4 - 4) - -9616 prime?
False
Let c = 29028 + -16843. Is c prime?
False
Let z = 1770 - -733. Is z a prime number?
True
Suppose 0 = k + 21. Let g(y) = -y**2 - 11*y - 9. Let f be g(-10). Is f*(-1 - 1 - k) prime?
True
Suppose 8 = 4*j - 2*j. Suppose -u = -j - 1. Suppose -l - z = -29 - 129, 0 = 5*l - u*z - 840. Is l a composite number?
False
Suppose 5*b = 4*b + s + 207, -3*s - 1027 = -5*b. Is b a composite number?
True
Let k(x) = 281*x - 576. Is k(7) a composite number?
True
Suppose 0*d + 4*d - 12 = -4*q, -5 = 5*d. Suppose 0 = v + q*w - 24, -3*w + 11 = -2*v + v. Suppose -c + 3 = 0, -6*j + j + 263 = -v*c. Is j prime?
False
Suppose 0 = 14*p - 17*p. Suppose -2*v - 2*q + 620 = p, -6*v + 1544 = -v + 3*q. Is v a prime number?
True
Let b(x) = -4 - 2 + 15 - 3 + 1858*x. Let y(s) = 619*s + 2. Let v(a) = -6*b(a) + 17*y(a). Is v(-1) a prime number?
False
Let q(y) = -17*y**3 + 0*y + 0*y - 6*y + 4*y - 6 - 2*y**2. Let d be q(-4). Is d/4 - 33/22 composite?
False
Let q = -2702 + 6793. Is q a composite number?
False
Suppose 4*k - 4 - 16 = 0. Suppose 3*g - 145 = -0*u + u, g - 795 = k*u. Let z = -71 - u. Is z a composite number?
False
Let b(z) = -z**2 - 15*z + 2. Let o be b(-11). Is -1*12/(-4) + o a composite number?
True
Let c = 13619 - 9340. Is c prime?
False
Let q be 18/(-15)*(3 + -8). Let f(i) = 24*i - 10. Is f(q) prime?
False
Suppose 3 = m, t + 12 + 4 = 4*m. Is (1 - (-6)/t) + (-45695)/(-26) prime?
False
Let o(z) be the second derivative of -z**5/20 - 5*z**4/12 + 11*z**2/2 + 12*z. Is o(-10) a composite number?
True
Let j(r) = -83*r**2 - 4*r - 8. Let k(b) = -83*b**2 - 2 - 2 + 0*b - 3 - 3*b. Let z(a) = 2*j(a) - 3*k(a). Is z(4) prime?
False
Is 94293/(-8 - -11) - (2 + 0) prime?
False
Suppose 0 = -5*x - 3*j + 111, 4*x - j + 0*j - 82 = 0. Is -1 - (-24)/x - 2328/(-21) a composite number?
True
Let l(o) = 7*o**2 - 7*o - 5. Let p(v) = 4*v**2 - 3*v - 2. Let t(i) = -3*l(i) + 5*p(i). Let w be t(8). Let k = w - -142. Is k prime?
True
Suppose -h - 86106 = -7*h. Is h a composite number?
True
Let f(b) = -b**2 - 14*b + 18. Let i be f(-15). Suppose 3 = -i*w, -5*w = 3*c - 0*w - 8152. Is c a composite number?
False
Let w(f) = 6*f**2 - 7*f + 48. Is w(11) a prime number?
False
Suppose -6*i = -2398 - 848. Is i composite?
False
Let f(j) = -j - 18. Suppose 2*p + p + 24 = 0. Let a be f(p). Let b = a - -24. Is b a composite number?
True
Let w = -5 - -2. Let c(h) = -2. Let f(x) = -38*x - 3. Let q(n) = -4*c(n) + f(n). Is q(w) prime?
False
Suppose 4*k = 0, 3*h + 15 + 3 = 5*k. Let r(o) = o**3 + 6*o**2 - o - 4. Let j be r(h). Suppose -5*a + 42 = -j*a. Is a prime?
False
Let c = 34961 - 19908. Is c a prime number?
True
Suppose t - 3*t = 2. Is t*(-78)/15*5 composite?
True
Let c(p) be the third derivative of 0 + 1/30*p**5 + 10*p**2 + 1/120*p**6 + 0*p + 221/6*p**3 - 1/12*p**4. Is c(0) a prime number?
False
Let p(o) be the third derivative of 14*o**5/15 - o**4/8 - 2*o**3 + 12*o**2. Is p(-3) composite?
True
Let f(q) = -q**3 + 9*q**2 - 2*q - 3. Let y(x) = -x**2 + 8*x - 10. Let a be y(4). Is f(a) composite?
True
Let k = -2200 - -5871. Is k a composite number?
False
Suppose -3*p + 9*p = 25548. Is p/12 + 4/24 a composite number?
True
Suppose 385115 = -16*l + 21*l. Is l a prime number?
True
Let s be 0 + 20/2 + -2. Suppose 18 = -s*f + 202. Is f composite?
False
Let m(q) = -240*q + 115. Let i(o) = 121*o - 57. Let x(k) = -5*i(k) - 3*m(k). Is x(25) a composite number?
True
Suppose 0 = x + 1 - 7. Suppose 2*i - 438 = -2*t, -i = 3*t - x*t + 657. Is t prime?
False
Is (-14)/(-6) + -2 - 7900/(-15) a prime number?
False
Suppose -154661 = 6130*n - 6143*n. Is n a prime number?
True
Let z(f) = f**3 - 9*f**2 - 6*f - 12. Let s be z(9). Let p = s - -30. Let o = 133 + p. Is o prime?
True
Is 53/(-2*(6 - (-2365)/(-394))) prime?
False
Let q be ((-18)/(-3) - -3) + -4. Suppose i - 2*i = -3. Suppose 2*o - 224 - 62 = i*h, 576 = 4*o - q*h. Is o prime?
True
Let t(y) = 675*y - 136. Is t(9) prime?
True
Let d be 4 + 176/4*2. Suppose 4*m + p = 393, -m - p + 2*p = -d. Is m composite?
False
Let m = -6352 + 11391. Is m composite?
False
Suppose -4*i + 3680 = 3*z - 1224, 4*i - 1648 = -z. Suppose -5*f + 7*k - 3*k = -2035, 4*f = k + z. Is f a prime number?
False
Is (-6)/4*(-657718)/141 prime?
True
Let f be -3 - (0 - 10) - 3. Suppose -i = 5*b - 10237, -2*b + f*i = 2*b - 8180. Is b a composite number?
True
Let d be (4/(-6))/((-18)/81). Suppose -3*j - d*j = -1068. Is j composite?
True
Let y be (-3080)/24 + 2/6. Let h = -82 - y. Is h prime?
False
Suppose 0 = 5*j + 4*n - 445, -3*j - n = -99 - 168. Let p(d) = -9*d + 72. Let l be p(15). Let z = l + j. Is z a composite number?
True
Let o(w) = -w + 12. Let g be o(-4). Suppose 15*y + 39 = g*y. Is y prime?
False
Let h(y) = y + 8. Let d be h(-10). Let q(a) = -4*a**3 - 3*a**2 + 1. Is q(d) a composite number?
True
Let g(a) = 112*a**2 - 2*a + 7. Let u be (-1)/(4/(-15)) + (-12)/16. Is g(u) composite?
False
Let x(l) = 5*l**2 - 29*l + 171. Is x(-28) composite?
False
Let v(s) = -s**2 + 15*s - 1. Let c be v(-15). Let w = -488 - -224. Let o = w - c. Is o a prime number?
False
Let b(p) be the first derivative of p**4/4 + 4*p**3/3 - 2*p**2 - p + 1. Suppose -8*v - 28 = 4. Is b(v) a prime number?
False
Is 18/5 + -3 + 1498406/65 composite?
False
Let r = 1701 + 820. Is r prime?
True
Let h(z) = z**3 + 44*z**2 - 57*z + 83. Is h(-42) a composite number?
True
Suppose 0 = -1375*g + 1365*g + 6140. Is g composite?
True
Let g(u) = -9 - 11*u**2 - u - u**3 - 6 + 4. Let a be g(-11). Suppose a = 2*r - 3*r + 3199. Is r composite?
True
Suppose 3*i = -0*z - 5*z + 22, 3*z - 18 = -3*i. Suppose -p = -0*p - z*h - 5, 0 = 2*h. Suppose p*m - 1610 = -555. Is m prime?
True
Let g = -127 - -69. Is (g/4*4)/(2/(-13)) composite?
True
Let t = 20 - 11. Let w(d) = 159*d + 19. Let k be w(t). Suppose 473 = 3*f - k. Is f a composite number?
False
Let a be 0*(-3 - (-20)/8). Suppose a = -s - s - 4*q + 426, -s + 3*q = -208. Is s a composite number?
False
Suppose t = -4*v - 0*v + 3, 9 = -3*v. Suppose -t*b - 11901 = -18*b. Is b a composite number?
False
Is (-6 + 6)/2 + 1 - -11842 prime?
False
Suppose 2*h - 1299 = 3*y - h, 0 = -3*y + 4*h - 1300. Let z = 733 + y. Is z a composite number?
True
Suppose r - 5744 = 4*p, 5*r + 1 = -19. Let b = 34 - p. Is b composite?
False
Let k(p) = -p**2 - p + 1. Let j(h) = 6*h**2 + 6*h - 208. Let w(n) = -j(n) - 5*k(n). Let o(a) = a**2 + 13*a. Let b be o(-13). Is w(b) a prime number?
False
Let m(p) = p**2 + 2*p - 1. Let l be m(-3). Suppose -u + l*u = 217. Is u a composite number?
True
Let c = 2180 + -3429. Suppose -2*x - 2034 = x. Let p = x - c. Is p a prime number?
True
Suppose 2*p = p - 80. Let q(u) = -103*u + 1. Let a be q(-2). Let d = p + a. Is d composite?
False
Let d(f) = -f - 4. Let j be d(-7). Let c(o) = -o**2 - 3*o - 2. Let z be c(-2). Suppose z = 2*u + j*u - 335. Is u a prime number?
True
Let u = 10408 + -5077. Is u a composite number?
True
Let l(c) = c**3 + 21*c**2 + 31*c. Let v be l(-19). Suppose -v*r + 4244 = -129*r. Is r a prime number?
True
Let h(u) = -u + 14. Suppose -5*v = -82 + 12. Let r be h(v). Suppose 4*d - 3*i - 259 = -r*d, 3*i = 9. Is d a prime number?
True
Let c(i) = 261*i + 101. Is c(8) a composite number?
True
Let b(d) = -30*d**2 - 3*d + 5. Let g(f) = 89*f**2 + 8*f - 14. Let z(h) = 8*b(h) + 3*g(h).