(8) prime?
False
Let j(r) = -r**2 + 10*r + 14. Let z be j(11). Suppose -7*k = -z*p - 2*k + 2001, -4*k = 0. Is p composite?
True
Let a = 22 + -10. Let c be 134 - (-6 - a/(-4)). Suppose c + 276 = 7*g. Is g prime?
True
Suppose 2*g = -6*s + 5*s + 2737, -5*s + 5*g = -13715. Is s prime?
True
Let k(r) = 7*r**3 + 4*r - 3 + 18*r**3 - 3*r - 2*r**2. Is k(2) prime?
True
Suppose 18693 = 2*o - 3677. Is o prime?
False
Let v = 85289 + -49482. Is v a composite number?
True
Let f = -81 + 187. Suppose 20 + f = s - 4*n, 4*n = 5*s - 566. Let y = s - 31. Is y a prime number?
True
Let w = 1232 - 100. Suppose 4*a + 1791 = v, 3*v - 1671 = -a + 3767. Let r = v - w. Is r a composite number?
True
Suppose 0 = 148*n - 146*n - 3882. Is n a composite number?
True
Suppose -y = -4*m - 9381, -2*m + 3*y = -m + 2337. Is m/(-4) - -3*6/36 a prime number?
True
Let g(w) = -144*w - 25. Suppose -1 = c + 2*r, 3*c + 2 = -5*r - 3. Is g(c) composite?
True
Suppose -5*a = 2*a - 2261. Suppose -5*z = 2*s - a, -z + 452 = 5*s - 2*s. Is s composite?
False
Let r = 45 - 42. Suppose -r*i + 0*h = 2*h - 441, -2*i = -4*h - 278. Is i a composite number?
True
Let k(u) be the third derivative of u**7/420 - u**6/45 - u**5/24 + u**4/24 - u**3/3 + 5*u**2. Let g(f) be the first derivative of k(f). Is g(6) prime?
False
Let a = 32 - 28. Let j be -15*6/(a/2). Is (-4)/18 - 16705/j a prime number?
False
Let i(x) = -x**3 - 27*x**2 - 40*x - 81. Is i(-28) prime?
True
Suppose -294 = -7*d + d. Suppose -d*i + 3155 = -44*i. Is i a composite number?
False
Let v(b) = -678*b**3 - b**2 - 2*b - 2. Let o = -30 + 29. Is v(o) composite?
False
Suppose 17783 - 88498 = -5*l. Is l a composite number?
False
Let l(f) = -f**3 + 6*f**2 + 4*f + 12. Let y be l(6). Let a = -36 + y. Suppose 0 = 4*z + 4*i - 640 + 176, -2*i + 10 = a. Is z a prime number?
False
Let y = -2219 - -3358. Suppose 5*f = 3*m + 1426, 4*f = 4*m - m + y. Is f a composite number?
True
Suppose 5 = p - 0. Suppose -5*k = -k - 5*m - 5898, 0 = -3*k + p*m + 4421. Is k prime?
False
Suppose t - 21067 = -5*s, -15805 = -3*s - 4*t - 3175. Suppose 0 = -x - 4*x + 15, 5*d + 3*x = s. Is d composite?
True
Let v(y) = y**3 - 11*y + 4 - 8*y + 12*y**2 + 4*y + 2*y. Let x be v(-13). Suppose -x*n + 2716 = -0*n. Is n composite?
True
Let y = 27862 - 3808. Suppose 5*m - 11*m + y = 0. Is m a prime number?
False
Let v = 44 + -21. Let z = v + -24. Is 144 + (3 - 1) + z a composite number?
True
Let r(t) = -t**2 + 7*t - 5. Let j be r(6). Let a = j + 34. Is 10/a + (-4425)/(-21) composite?
False
Let k be (105/(-70))/(1/(2312/(-3))). Suppose -4*a = 5*t - 2466, 4*t + 678 = 3*a - k. Is a a composite number?
True
Let j be -146*(6/4 - 2). Let m be (-13)/(-260)*15 + (-6)/8. Suppose g - a + 0*a - j = 0, g + 2*a - 61 = m. Is g composite?
True
Let c(h) = -35*h - 15. Let o(t) = t**2 + 8*t - 4. Let v be o(-6). Is c(v) prime?
False
Let a = 15317 + -8130. Is a a prime number?
True
Is -7*((-673803)/63 + -8) a prime number?
True
Let j = -9644 + 22835. Is j prime?
False
Let l(h) = -h**2 + 7*h - 1. Let a be l(8). Let i be -2 - a/((-18)/(-20)). Is (i + -6)*57/6 composite?
False
Let v = -12 + 4. Let z(w) be the first derivative of 7*w**3/3 - 2*w**2 - 2*w + 67. Is z(v) a prime number?
False
Let f(h) = 22*h**2 + 3*h - 4. Let w = 10 + -9. Suppose 0 = -2*n + 2*d - 12, 3*d = -n + 5 + w. Is f(n) prime?
False
Let r(o) = 213*o**3 + 8*o - 5. Let c(t) = 213*t**3 + 7*t - 4. Let k(u) = -6*c(u) + 5*r(u). Suppose 11*g + 4 = 7*g. Is k(g) a prime number?
False
Suppose -4 = 2*t - 2*k, t = 5*k - 2*k + 4. Let n(z) = -113*z - 24. Is n(t) composite?
False
Suppose p + 1 = 2, 4*c - p = 19. Suppose -4*z = -c*g + 35, -8*g = -6*g - z - 11. Let j(i) = 41*i - 2. Is j(g) prime?
False
Let g = 26 - 22. Suppose -2*u + 6 = -4*u - 5*t, -g*u - 2*t + 4 = 0. Suppose q = -3*n + 1673, 4*q + 888 = u*n - 218. Is n a composite number?
False
Let r = -188 + 1054. Is r prime?
False
Let x(o) = 32*o**2 + 46*o + 7. Is x(-30) composite?
False
Let l(f) = -109*f - 3. Let k be l(-8). Suppose -y + k - 313 = 5*t, t - y = 110. Is t composite?
True
Let o = 3777 - 128. Is o composite?
True
Is (-1124761)/(-132) - 0 - (-1)/12 a composite number?
False
Let d(i) = -i + 4. Let z be d(0). Suppose o = -5*x + 231, 2*o - 227 = o - z*x. Is o a prime number?
True
Let n = -2777 - -5092. Is n a prime number?
False
Is (5/(-5) - 2) + -3 + 4859 composite?
True
Let i(d) = -5137*d - 27. Is i(-2) prime?
True
Is -7 + 52/4 - -18889 composite?
True
Let n be ((-2)/6)/((-1)/3). Suppose n + 2 = -y, 0 = -5*x - 5*y + 770. Suppose x = -7*j + 8*j. Is j a composite number?
False
Let a(o) = o**3 + 7*o**2 + 6*o + 2. Let j be a(-6). Let h(w) = -4*w**3 - 16*w**2 + 7*w**3 + 2 + 18*w**2. Is h(j) prime?
False
Let m(a) = 4*a**3 - a**2 + a - 4. Let j(t) = 4*t - 2. Let u be j(1). Is m(u) a prime number?
False
Let t(p) = -82*p**3 - 2*p**2 + 6*p - 3. Let f(c) = c**3 + c - 1. Let z(h) = 3*f(h) - t(h). Let m be z(2). Suppose 3*n - n = m. Is n prime?
False
Let p(h) = 103*h - 180*h - 10 - 341*h - 61*h. Let b be p(-4). Suppose 8*z - b = 6*z. Is z a composite number?
False
Suppose -53*a + 912768 + 1661071 = 0. Is a composite?
False
Suppose 37030 = 4*h - 5*s - 70580, 0 = -h + 3*s + 26899. Is h composite?
True
Let y(l) = 78*l**2 - 59*l + 68. Is y(-15) composite?
False
Let o(y) = -8*y**3 - 3*y**2 - 4*y + 7. Let k(c) = c - 19. Let i be k(15). Is o(i) composite?
False
Let i = -1417 - -3066. Is i prime?
False
Let n = -32 - -513. Let j = -324 + n. Is j prime?
True
Suppose -3*s = -2*s. Let p be 3 + (s - 2) + 0. Is 0/(-4) + 20 + p a composite number?
True
Let z = -123 + 143. Suppose -25*t = -z*t - 1910. Is t a composite number?
True
Let t be 5/(15/9) - -2. Let b be 5 - (t - 2)/3. Is (b/6)/((-6)/(-1845)) a composite number?
True
Suppose 0 = o + 4*o - 10. Let v be 0*(o + (-5)/2). Suppose -5*d + 3*d + 674 = v. Is d a composite number?
False
Is 82254/15*(-90)/(-36) a composite number?
False
Is 80656/(-96)*-3*2 a composite number?
True
Suppose -2*i - i = 2*l + 6, 3*l + 5*i = -9. Let g = -2 - l. Is (0 - -7)/(g/7) a composite number?
True
Suppose 0 = 39*z - 34*z - 15. Suppose 0 = -0*x + z*x - 93. Is x composite?
False
Let u(a) = 36*a + 2. Let m be u(-2). Let h = 17 - m. Is (h - 2) + 0 + 4 a prime number?
True
Suppose -15*o = -33783 - 52902. Is o a composite number?
False
Suppose -2*h = -4*k - 22, 0 = -4*h + 4*k + 22 + 14. Let b(w) = 4*w**2 - 4*w + 10. Let p be b(h). Let s = p - -643. Is s a prime number?
True
Is (-17578724)/(-532) - (0 - (-6)/(-21)) prime?
False
Suppose -56*g + 35*g = -110649. Is g prime?
False
Is 3314/(-3)*(312/16)/(-13) composite?
False
Let g = -46 - -46. Is ((-1934)/3 + g)*(-3)/2 composite?
False
Suppose -10 = 5*l, 12 = g + 3*g + 2*l. Suppose 2*x - 1190 = -g*h, 3*h - 2360 = -0*x - 4*x. Is x a composite number?
False
Is -6 + -11 + 12 + 76*3 a composite number?
False
Let v = 72 - 69. Is (-9)/v*(-249)/6*2 a composite number?
True
Let l(s) = s**2 - 12*s + 15. Let j be l(10). Let p = 218 + j. Suppose 0 = -t + 54 + p. Is t a composite number?
True
Let l(d) = d + 3. Let a be l(8). Suppose 5*c - 4 - a = 0. Suppose -159 = -k - 2*o, -2*k + c*o = -6*k + 641. Is k prime?
False
Let r(t) = 161*t**2 - 1. Let k be r(1). Let s(o) = 30*o**2 + 5*o. Let i be s(-5). Suppose -i = -5*z - k. Is z a composite number?
False
Let f = 6429 + -3388. Is f a prime number?
True
Let g(n) = 12*n + 6. Let w be g(-5). Let y be 4/18 - 312/w. Is (37/2)/(y/84) a composite number?
True
Is (-298)/(-3)*(-9)/(-6) a prime number?
True
Let l(w) be the first derivative of -w**3/3 + 9*w**2/2 + 3*w - 6. Let r be l(9). Suppose u - 4*y = 57, 3*y + 0*y = r*u - 162. Is u prime?
True
Let h(k) = 13*k - 2. Suppose 3*m = p - 13, 11 = p - 2*m + 1. Let g be (-3)/2 - (-42)/p. Is h(g) a prime number?
False
Let t = 27 + -34. Let z(v) = -21*v + 16. Is z(t) composite?
False
Let i = 15390 + -10829. Is i prime?
True
Let y(a) = -32*a + 5. Let n(q) = q + 1. Let p(g) = -6*n(g) - y(g). Is p(5) prime?
False
Is 76936/20 + (-6)/(-30) a prime number?
True
Suppose -2*o - 7 = -3*h, -h - 5*o = -9 + 1. Suppose a + 2*v - 625 = 0, h*a + 2*v - 1890 = v. Is a prime?
True
Let a(v) = 29*v**2 + 9*v - 13. Suppose -5*x = -17 - 3. Is a(x) a composite number?
False
Suppose 4*n = 3*n - 5, 4*n + 18 = -2*h. Let y be 0 + (382 - h) + -3. Suppose 0 = 4*f + 5*m - y, 0*f - 2*f + 3*m + 200 = 0. Is f a composite n