(-14) prime?
True
Let r = -28 + -12. Let z = r - -42. Suppose i + 1003 = z*x - 432, 2148 = 3*x - 3*i. Is x prime?
True
Let h(v) = -2678*v**2 + 3*v. Let s be h(-1). Let w = s - -8436. Is w composite?
True
Let h(r) = -r**2 + 6*r - 1. Let v be h(3). Suppose -2*i - 2*i = -v. Suppose -6*t - i*t + 6328 = 0. Is t prime?
False
Suppose -l - 1795 = -5*l + d, -l - 4*d + 453 = 0. Suppose -2024 = -5*m + 1876. Let u = m - l. Is u prime?
True
Let s(w) = w**3 - 5*w**2 - w + 2. Let z be s(5). Let y(u) = 165*u**2 - 52*u - 47. Let f be y(-11). Is (-1 - f/18)*z/2 a prime number?
True
Let w = 300253 - 187190. Is w a composite number?
False
Let v(j) = 5*j**3 - 5*j**2 - 112*j + 1629. Is v(16) a composite number?
False
Suppose -5 - 9 = -7*x. Suppose l = x*l - 3846. Suppose -l = -6*a - 0*a. Is a composite?
False
Let o(g) = 8*g + 19. Let a = 21 + -29. Let z be o(a). Is (z/(-10) - 5)/(1/(-134)) composite?
False
Suppose 5*a - 602174 = 2*d, -2*a - 33*d + 240862 = -30*d. Is a a prime number?
False
Let x(d) = 12943*d**3 + 8*d**2 - 19*d - 5. Is x(3) prime?
True
Let w be 3/(18/21) - (-6)/4. Suppose -17864 = -3*g + w*c, -3*g + 23*c + 17858 = 24*c. Is g composite?
False
Let q(l) be the second derivative of -l**7/280 + l**6/360 - l**5/30 - l**4/24 + 16*l**3/3 - 2*l. Let o(c) be the second derivative of q(c). Is o(-4) prime?
True
Let i(d) = 2*d**3 + 18*d**2 + 13*d + 10. Let y be i(-13). Let n = y + 5332. Is n prime?
True
Suppose 3*a + 103846 = 5*y, 7*y - 6*y - 20777 = -2*a. Is y a prime number?
True
Suppose -2*v = -3*z - 88132, -36*v + 32*v - 6*z + 176240 = 0. Is v composite?
True
Let h be ((-48840)/48)/(1/2). Let w = 2888 + h. Is w a prime number?
True
Suppose -150*n = 306*n - 72074904. Is n composite?
True
Let t(r) = -r**3 - 7*r**2 + 15*r - 13. Let m be t(-9). Suppose 16 = m*v - 26. Suppose 2*j = -q + 1489, v*q - 3967 - 545 = 3*j. Is q composite?
False
Let l = 1933222 + -883211. Is l a prime number?
True
Suppose 0 = 7*b - 12*b - 110. Let g = b - -28. Is 12/16*g/9*236 prime?
False
Let u(d) = -586*d**3 + d**2 + 62*d + 380. Is u(-7) prime?
False
Suppose 5*t = -2*m + 4052759, 5*t = t + 2*m + 3242200. Is t composite?
True
Let x = 32280 + 9555. Suppose 0 = 19*l - x + 6913. Is l a prime number?
False
Suppose x - 12817 = 5*p, 6*x - 3*x = 3*p + 7683. Let f = -1765 - p. Is f composite?
True
Let k = -15671 - -28308. Is k composite?
False
Suppose -2*t + 5*t + 5 = 5*r, -r = -4. Suppose -5*s + 1601 = 486. Is (-8 - (-25)/t)*s/(-3) composite?
False
Suppose 14*a = 342540 + 96682. Is a composite?
True
Suppose 5*m = -5*n + 75, 4*n - 60 = -0*m - 2*m. Suppose 8*w + n = 5*w + 5*b, -5*b = -w - 15. Suppose -5*z + 3585 = 3*v + 916, w = -v - 5*z + 883. Is v prime?
False
Let p(w) = 49*w**2 + 46*w - 8. Let l(c) = -16*c**2 - 16*c + 3. Let k(j) = 17*l(j) + 6*p(j). Let a = 4 - 5. Is k(a) a prime number?
False
Let n(d) = -d**3 + 8*d**2 - 11*d - 2. Let x be n(6). Suppose 0 = -2*a - 3*g - 609, -x*a - 1463 = 3*g - 254. Let o = a + 521. Is o prime?
False
Suppose 2*z = -2*w + 2573569 - 836897, 1736682 = 2*z + 4*w. Is z a composite number?
False
Let j = -89 - -93. Suppose 0 = -j*g - q + 19910, 5*g - 3*q - 6813 - 18083 = 0. Suppose -2*w - 1988 = -2*f, -5*f = -5*w + 2*w - g. Is f a prime number?
False
Let t(s) be the third derivative of 19*s**5/60 + s**4/3 + 103*s**3/6 + 5*s**2 + 3*s. Is t(-26) composite?
False
Let l(c) = -8 + 37 - 10 - 9*c - 12 + 13*c**2. Let r be l(12). Suppose 0 = -13*m + 2*m + r. Is m a prime number?
False
Suppose k - 5039 = -3*w, 15*k - 10*k = 10. Let u = 2872 - w. Is u a composite number?
False
Let y(t) = 6 - 11 + 8 + 1 - 209*t. Is y(-3) a prime number?
True
Let d(a) = -204*a + 57. Let t be d(-7). Let n = t + -4. Is n a prime number?
True
Let m(w) = -2 - w - 8*w + 14*w**2 - 3*w - 3*w. Let g(v) = 9*v**2 + 30*v + 30. Let d be g(-1). Is m(d) a composite number?
False
Let v(s) = s**2 - 23*s + 59. Let o be v(20). Is -13557*o/9 + 2/3 prime?
False
Suppose -10*n = -124035 - 26975. Is n a prime number?
True
Suppose -5*y = -18 + 88. Is (-186)/434 + (-378832)/y a prime number?
True
Let a be 28/(-10) - -3 - 627/(-15). Is 8891 - (19/(-95) + a/10) a composite number?
False
Suppose -1230309 - 730913 = -34*m. Is m a composite number?
True
Suppose -12*a - 18*a = 13*a. Suppose 4*x - 19 = l, 1 = 4*x - 2*l + 7*l. Suppose x*m + 1352 = -5*t + 4249, a = -5*t - 3*m + 2899. Is t a composite number?
True
Let b be (2 + 1 + 0)*(3763 - 40). Suppose -22*y = -1085 - b. Is y composite?
False
Let v(q) = 3*q**2 - 2*q + 19445. Suppose 3*f = 2*c - 9, 4*c + 3 + 3 = -2*f. Is v(c) composite?
True
Suppose -6 = -3*l + 5*z, -3*l - 5*z - 13 = 11. Let j be -10*(5 + l)*(-8)/(-5). Let i = 11 - j. Is i a prime number?
True
Let f(l) = 962*l**2 - 91*l + 8000. Is f(63) composite?
True
Let m(n) = 117*n - 85. Let a be m(12). Suppose -a = -c + 3*b, -5*c - 8*b + 6595 = -4*b. Is c composite?
False
Suppose 3*b + l = 4*l - 48, 5*b + 88 = l. Is 3/(b/4) - 29984/(-12) prime?
False
Let t = 5434 - -6355. Is t prime?
True
Suppose -4*n - 105571 + 603673 = 2*v, 3*v = -2*n + 747121. Is v a prime number?
False
Let p(t) = t**3 + 2*t**2 - 3*t + 538. Let z = 222 + -222. Is p(z) composite?
True
Let f = -4951 + 7855. Let r = 1367 + f. Is r a composite number?
False
Let z = -9951 + 21829. Is z a composite number?
True
Suppose 2*m - 2709 = f, f + 2173 + 546 = 4*m. Let h = 5808 + f. Is h prime?
True
Suppose 0 = c + c + 12. Let a be 863 + (-2 - (c + 2)). Suppose -5*k = -405 - a. Is k prime?
False
Let w(y) = y**3 - 3*y**2 - 33*y + 29. Let t be w(7). Is -4 - 82649/(-9) - t/(-27) prime?
False
Suppose 7*p - 29 = 41. Suppose 4*w - 2*b = p, -5*b + 3 = -2*b. Suppose q + 945 = 4*t, w = -q + 2*q. Is t a composite number?
True
Suppose 0 = 2*f + 51 - 55. Suppose -1971 = -q - 3*l + 944, l = -f*q + 5850. Is q a prime number?
True
Is (-310)/(-25) + -13 + (165192/(-10))/(-2) a composite number?
True
Let p = 77 + -54. Suppose -25 - p = -12*s. Is (6 - 770/(-4))/(2/s) a prime number?
True
Let a(m) = 20*m - 22. Let i be a(-3). Let u be 20330/13 - (-2)/13. Is i/8*u/(-17) prime?
False
Let u be 1 - 2 - (6 - (-9)/(-3)). Let m = u - -9. Suppose -m*s - s = -1338. Is s a composite number?
False
Let l(v) = -1029*v**3 - 3*v**2 - 178*v - 731. Is l(-4) composite?
False
Suppose 0 = 3*a + 5*s - 50, 2*a - 2*s - 30 = -6*s. Let k = a - 19. Let b(j) = 2*j**3 - 6*j**2 + 5. Is b(k) composite?
True
Suppose -155*s + 20195112 = -4777125 + 6559322. Is s composite?
True
Let w(t) = 162*t + 1561. Is w(61) a composite number?
False
Let v(m) = 30*m**2 + 5*m + 5. Suppose f - 4*a = 4, -3*f + 4 = -5*a - 8. Let w be f/(-4 - (-5 - -3)). Is v(w) a composite number?
True
Let b(m) be the second derivative of -m**5/20 - 13*m**4/12 + 5*m**3/6 + 4*m**2 - 50*m. Is b(-27) a prime number?
True
Let x(w) = 3*w**3 + 55*w**2 + 15*w - 49. Let n be x(-18). Suppose 0 = -n*m + i + 7948, m + 76*i - 1577 = 72*i. Is m a prime number?
False
Let r = -125 + 392. Let j = 686 - r. Is j a composite number?
False
Let m be (5 + (-87)/12)*-4. Suppose -4*z - 41 = g, 0 = -2*z + 4*g - 7 - m. Is 2/z - 4536/(-5) a prime number?
True
Suppose 0 = -43*k + 47*k - 1632. Let i = k - 281. Is i a composite number?
False
Let m(c) = -2*c**2 - 41*c - 32. Suppose 0 = 6*t + 337 - 235. Is m(t) prime?
False
Let p be -7*2*(-4)/(-4). Let t(l) = -102*l - 21 + 14 - 266*l - 18. Is t(p) prime?
False
Let g(r) = r**3 - 14*r**2 - r + 14. Let u be g(14). Let o be u + 212/3 - 5/(-15). Let d = 156 - o. Is d prime?
False
Let n(l) = -4383*l - 1922. Is n(-21) composite?
False
Let d = -35026 + 73221. Is d prime?
False
Let d(z) = z**3 - 8*z - 16*z + 14*z - 5*z**2 - 18. Let u be d(8). Let n = 181 - u. Is n composite?
True
Let d be -1 + -5 + 42/7. Suppose 5*t + r - 3*r = 17405, d = -3*r. Is t composite?
True
Let f(q) = 216*q**2 + 18*q + 103. Is f(15) composite?
False
Let m(j) = 7102*j**3 + 11*j**2 - 38*j + 7. Is m(4) a composite number?
True
Let n be (-2365588)/174*(3/(-2))/1. Suppose -n = -2*h - 5*b - 4550, -b = -h + 7918. Is h a prime number?
True
Let i be ((-15)/4)/(-6 - (-477)/80). Suppose -107*c = -i*c - 38899. Is c composite?
False
Suppose -347*q + 352*q = 70160. Suppose -8*t + q = -0*t. Is t prime?
False
Let o(t) = -135*t + 23. Let w be (2 + -17)*1 + -1. Let z = -20 - w. Is o(z) composite?
False
Is ((-186)/(-18) + -10)/(3/(-1650582)*-2) a composite number?
True
Suppose 160*i