86 = 12162. Let i = 6111 - q. Is i a prime number?
False
Suppose 0 = -28*y + 556546 + 144826. Is y composite?
True
Let c(s) = 5*s**2 + 60*s**3 + 54*s**3 - 563*s**3 - 4*s**2 - 1. Suppose -2*w - 2*f + 2 = -4*w, 3*w + 5*f + 3 = 0. Is c(w) a prime number?
True
Let t = 16098 + 8975. Is t a composite number?
False
Let o = -7442 - -16125. Is o a composite number?
True
Let h(i) = i**2 - 11*i + 12. Let w be h(9). Let y be 6*(-2)/w + 0. Is 554 - (y - (-1 + 0)) a composite number?
True
Is ((-7)/(-49) - (-15)/(-7)) + 17043 a prime number?
True
Let s = 33453 - 9536. Is s prime?
True
Let n(y) = -2641*y + 3. Let r be n(-2). Suppose -2*f = 4*u + f - 4226, 5*u = -5*f + r. Is u a prime number?
False
Suppose -r - 3*x - 6 = 2*r, r = 4*x - 17. Let k = r + 7. Suppose 6*w = -s + 2*w + 51, 4*s = -k*w + 218. Is s prime?
False
Let q = 295 - 199. Suppose -3*m = -4*j - 8 - 17, 0 = -3*m - 3*j - 3. Suppose -b + m*t = -q - 3, 4*b - 368 = 5*t. Is b a prime number?
False
Suppose 0 = -2*m - 2*m - 64. Let p(b) = 5*b**2 - 15*b + 7. Is p(m) composite?
True
Suppose 0 = 2*l + l + 273. Let r = 558 + l. Is r a prime number?
True
Let m(x) be the second derivative of 17*x**5/60 - 3*x**4/8 - x**3/6 + 3*x**2 + 2*x. Let j(b) be the first derivative of m(b). Is j(5) a composite number?
False
Suppose 5*s + 951 = 306. Let z = s + 206. Is z a prime number?
False
Suppose 4*v - 6399 = -0*v - 3*l, 3193 = 2*v - 5*l. Let x = v + 3452. Is x a prime number?
True
Let x(s) = 2*s**2 + 13*s + 17. Let h be x(-10). Let f = h + -56. Is f prime?
True
Let c be (-11)/(33/2034)*-4. Is (-8)/56 - (0 - c/21) composite?
True
Let g(x) = 658*x**2 + 3*x + 2. Let r be g(-1). Let h = r - 350. Is h composite?
False
Suppose 0 = 14*g - 117914 + 7328. Is g prime?
False
Let a(y) = 71*y + 33. Let u(f) = f**2 - 29*f + 32. Let n be u(28). Is a(n) composite?
False
Suppose -20 = -2*f - 2*v + 5*v, 0 = -4*f - v + 26. Let j = f + -4. Suppose 0*d = -j*d + 561. Is d a prime number?
False
Suppose -m - 68*d + 63*d = -1616, d = -3*m + 4890. Is m composite?
True
Suppose 0 = 18*s - 16*s - 2*h - 1028, -3*s = 5*h - 1566. Is s a prime number?
False
Suppose 67227 = 5*x + 2282. Is x prime?
False
Let k(h) = h**3 + 10*h**2 + 10*h - 10. Let b be k(-8). Suppose -5*d = -b + 13. Suppose -d*u - 4*z = -889, -2*z = -2*u + 3*z + 349. Is u prime?
False
Suppose -3*t - 2*u - 7353 = -u, -2*u = 3*t + 7356. Let k = -1741 - t. Is k prime?
True
Let d(g) = 7 - g**3 + 6*g**2 + 2*g - 7*g + 2*g**2. Let s be d(6). Is s/(3 - (3 - 1)) composite?
True
Is (5 + -1)/(-10 - (-939370)/93935) prime?
True
Let t(s) = 38*s**2 + 24*s - 51. Is t(11) a prime number?
False
Let c = 1 - -8. Suppose c*n - 4*n - 25 = 0. Suppose 3*v = x + 1 - 2, 4*v = n*x - 27. Is x a prime number?
True
Let r(h) = -h**3 - 3*h**2 - 6*h + 4421. Is r(0) prime?
True
Suppose 12*f - 6*f = 23082. Is f a composite number?
False
Let f = 655 - 1103. Suppose q - 997 = -284. Let i = f + q. Is i a prime number?
False
Suppose 2*u + 10 = 7*u. Suppose u*o = h, -2*o + 2*h = -1 - 3. Is (-1 - 1) + 55 + o composite?
True
Suppose -59*o + 3515 = -71946. Is o composite?
False
Suppose 46*g = 27*g + 894007. Is g a composite number?
True
Let h = 1845 + -1093. Let v be (2 - -125)/(3 + (-40)/12). Let x = h + v. Is x a composite number?
True
Let x(f) = 49*f**2 - f - 15. Is x(-9) composite?
True
Let y(h) = -6*h - 1. Let g be y(-1). Suppose -2*u + 366 = 2*f, -g*f + 2*f + 4*u + 577 = 0. Is (-2 - -1)*(0 - f) prime?
False
Let w be 116 - (1/6 - 152/48). Let h(j) = j**2 + j - 72. Let k be h(0). Let g = w + k. Is g prime?
True
Suppose -4*a + 36 = 4*b, -16 = -b - 2*a - 5. Let h = b - 8. Is (4 - -120) + h - -4 prime?
True
Let q(f) = f**3 - f**2 + 2. Let k be q(-4). Let t = k - -196. Suppose 4*s - 2*s = t. Is s a prime number?
True
Let t be -4 - (-21 - 1/(-1)). Suppose t*c - 1196 = 12*c. Is c prime?
False
Suppose 0*p = -5*p + 4*z + 126111, -p = -z - 25223. Is p a composite number?
False
Let f(j) = j**2 - 3*j + 3. Suppose -3*k - 4*l + 141 = 0, -3*l = 2*k - 3*k + 47. Suppose 0 = -4*i - 2*q - 3*q - k, -q - 3 = 0. Is f(i) composite?
True
Let i = 2 + -3. Is (-3)/3*(i - 1060) composite?
False
Let h = 50 - -117. Let n = h + -411. Let q = 431 + n. Is q composite?
True
Let p(g) = -g + 10. Let r be p(6). Is 700 + r + 9/(-3) a composite number?
False
Suppose 3*k + 4*r - 20199 = 0, 5*k - 33694 = -3*r + 6*r. Is k a composite number?
False
Let p = 97938 - 66809. Is p prime?
False
Suppose -2*h + 5*f + 10379 = 0, 4038 + 6362 = 2*h + 2*f. Is h a composite number?
False
Is (3 + (-2798)/(-2))*(5 - 4) a composite number?
True
Suppose 4128 + 1764 = 4*j. Is j a composite number?
True
Let a(m) = -m**3 - 8*m**2 + m + 2. Let b = 14 - 22. Let y be a(b). Is y/24*892/(-1) prime?
True
Let a(h) = -h**3 + 11*h**2 - 12*h - 27. Is a(7) a prime number?
False
Suppose 9*g = -0*g + 404901. Is g prime?
False
Let i(j) = -5*j - 19. Let u be i(-6). Let w be 171 - 12/(12/(-3)). Let d = u + w. Is d prime?
False
Suppose -4*v + 753 = -3*i - 1012, 1785 = 4*v + i. Suppose 6*p - v - 7073 = 0. Is p a prime number?
False
Let h(s) = -s**2 + 7*s - 6. Let q be h(4). Suppose -724 = -q*f + 2078. Is f a composite number?
False
Let d(v) = -v**2 - 5 - 2 - 21*v - 6. Let w(z) = -3*z + 5. Let y be w(6). Is d(y) prime?
False
Let n(k) = 2*k**2 + k + 89. Let q be (1 - 2) + -1 + 2/1. Is n(q) prime?
True
Let n = 719 + 290. Is n composite?
False
Let b(h) = h**3 + 3*h**2 - 4*h + 4. Let s be b(-4). Let w be (s/(-8))/((-1)/202). Suppose -7 + w = 2*r. Is r composite?
False
Let p be 3/1 + (-3 - -4). Suppose p*m - 1413 - 159 = 0. Is m composite?
True
Suppose 0*w + 350 = -5*w. Is (-3 + 1)/(4/w) composite?
True
Let z be (-6)/7*112/(-24). Suppose z*g - 23 + 3 = 0. Suppose 0 = 5*m - 5*b + 118 - 1193, g*b - 444 = -2*m. Is m a composite number?
True
Let x = -2081 - -4558. Is x prime?
True
Suppose 0 = 2*k, 5*g = -0*k + k + 10. Suppose 0 = -4*p + g*a + 9074 - 2310, 0 = 5*p + 4*a - 8481. Is p a prime number?
True
Let j(u) = 36*u**2 + u + 1. Let c be j(-1). Suppose -n - 5*n = -c. Is n/16 - 1364/(-32) composite?
False
Let h(m) = 19*m**2 + m + 7. Let n(y) = 57*y**2 + 2*y + 20. Let l(w) = -8*h(w) + 3*n(w). Is l(-3) a prime number?
True
Let c be 1*(0 + -1 + 468). Suppose 78*k + 2160 = 88*k. Let n = c - k. Is n a composite number?
False
Let r(f) = 4*f - 37 + 10 + 2*f**3 + 32. Suppose -s = 3*s - 16. Is r(s) composite?
False
Let h be (-3)/(-12) - (-33)/12. Suppose -c + 18 - h = 0. Is ((-43)/5)/((-3)/c) prime?
True
Let m = -4 + -4. Let t(x) be the third derivative of -x**6/120 - 2*x**5/15 - 3*x**4/8 + 11*x**3/6 - 71*x**2. Is t(m) composite?
False
Suppose -13*t = -2*g - 16*t + 27013, -3*g - 5*t + 40522 = 0. Is g composite?
False
Let i = -37 - -40. Suppose 1 = -l, 0*l - 3493 = -i*p - 2*l. Is p composite?
True
Let m(x) = x**3 - x**2 - 4*x - 1. Let s be m(3). Suppose s*y - 259 = -2*y. Is y prime?
True
Let l(q) = 68*q**3 + 7*q**2 - 9*q + 37. Is l(6) prime?
True
Is (-6 + 5)*-4746 - 4 a prime number?
False
Suppose -k + 4*y + 156 = 3*k, -151 = -4*k + 5*y. Let c = 14 + 411. Let w = c - k. Is w prime?
False
Let o be 6 - 4 - 0 - -2. Suppose -2*s - 518 = -o*s. Is s a composite number?
True
Suppose -26*a + 28*a - 882 = 0. Suppose 5*v - 3*l - 3329 = 0, 230 = v + 2*l - a. Is v composite?
True
Let w = 497 - -57. Suppose -5*j - 2424 = -909. Let t = w + j. Is t prime?
True
Is (-24)/36 + 7487/3 prime?
False
Let d(t) = -37*t + 16823. Is d(0) a prime number?
True
Suppose 0 = 2*d - r - 23911, d = 3*d - 2*r - 23916. Is d a composite number?
False
Is (-6)/(-27) - (-1 - (-80630)/(-45)) a prime number?
False
Let c = 9342 + -379. Is c composite?
False
Suppose -d = -m + 7, -3*d + 4*d = -3*m + 9. Suppose 2*a = 2*v + 5792, 0 = -m*a + v - 1435 + 13022. Is a a prime number?
True
Let b be (-10)/(-4 + 3 + -1). Suppose 2500 = 2*d - b*k, -4*d = -8*d - 5*k + 5030. Is d prime?
False
Let q(j) = 11*j - 23. Is q(14) a composite number?
False
Suppose 42 - 146 = -26*x. Suppose 4*i + 2014 = 4*j - 1338, 0 = -5*i + 5. Suppose -x*m + 4*n + 1647 = -1, 5*n + j = 2*m. Is m a prime number?
False
Suppose -2*y + 3*y - g - 3 = 0, 3*g = 9. Let r(h) = 34*h**2 + 2*h - 9. Let c be r(y). Suppose -4*o + c = -d + 2*d, 4*o = -4*d + 1224. Is o a prime number?
True
Let a(w) = 4*w**2 + 92*w - 25. Is a(-54) composite?
True
Let y(i) = i**2 + 10*i + 6. Let b be y(-7). Let j be (-39)/2*(-20)/b.