(p). Let a = 1235 + k. Is a a composite number?
False
Suppose -m + 82482 = 4*t + 2*m, 2*t - 41232 = 3*m. Suppose v + 8*v = t. Is v a prime number?
False
Suppose -4*n + 3*u + 210982 = 0, -u + 8 = 3*u. Is n a prime number?
True
Let g(l) = -2*l**3 + 8*l**2 + 7*l - 9. Let t(n) = n**3 - 4*n**2 - 4*n + 4. Let s(j) = 2*g(j) + 5*t(j). Let b be s(5). Let d = b + 13. Is d a composite number?
True
Let o(t) be the first derivative of -t**2/2 - t - 7. Let w be o(1). Is 119 + (w - -1) + 3 a prime number?
False
Suppose 5*x + 13 = 5*n - 4*n, 5*n - 2*x = 42. Suppose o = -k - k, -n = 3*o - 2*k. Is 46/4*(o - -8) a prime number?
False
Suppose 16*z - 753201 = 7*z. Is z prime?
True
Let s(o) = -1 - 22*o + 4 - 4. Let z = 2 - 7. Is s(z) prime?
True
Let s = -60 - -62. Suppose 711 - 2465 = -s*v. Is v prime?
True
Suppose g - 3*g - u + 450 = 0, 3*g - 3*u - 684 = 0. Is g a prime number?
False
Let i(d) = -d**2 - 9*d + 2. Let x be i(-9). Suppose 803 = -x*g + 3*g. Suppose 2*r - 91 = g. Is r a prime number?
False
Let d(q) = 10*q**2 - 14*q - 1. Is d(9) prime?
True
Let f(b) = -42*b - 7. Suppose 5*y - 2*y + 49 = l, -5*y + 2*l - 83 = 0. Is f(y) a prime number?
False
Let r be 30/165 + ((-8941)/(-11) - -2). Suppose l - r + 28 = 0. Is l composite?
False
Suppose 0 = u - 4*r - 1063, -5*u - 9*r = -5*r - 5219. Is u a prime number?
False
Let y = 231 + -92. Let a(s) = -s**2 - 21*s + 12. Let l be a(-12). Suppose -m + l = -y. Is m a composite number?
True
Let h be 6 + (3 - 7) - 939. Let p = h - -1508. Is p prime?
True
Let z(u) = -u**3 - 23*u**2 + 54*u + 41. Let s = -16 + -13. Is z(s) prime?
False
Suppose -u + 4*k + 3280 = -207, -3*k = 2*u - 6985. Is u prime?
True
Let r(s) = s**3 + 6*s**2 - 9*s - 7. Let q be r(-7). Let x(z) = -8*z + 2*z + 12*z - 12 + 3*z. Is x(q) a prime number?
False
Let r(o) = o**3 + 7*o + 6. Let v be r(-5). Let x = -91 - v. Let n = x + -40. Is n a composite number?
False
Let t(z) = -12*z**3 - 12*z**2 + 8*z + 21. Is t(-11) a composite number?
True
Suppose 10 = -7*j + 9*j. Let f(k) = k**2 - 5*k + 4. Let g be f(j). Suppose -b = -3 - g. Is b a prime number?
True
Let y = -67 - -58. Is (-17)/(-2)*(13 - y) a composite number?
True
Let l(k) be the third derivative of k**6/40 - 7*k**5/60 + k**4/12 - 5*k**3/6 - 18*k**2. Suppose -4*j + 25 = j. Is l(j) composite?
True
Let k(c) = 6*c**2 + 2*c + 1. Let s be k(-1). Suppose 13 = s*p - 22. Suppose 11*t = p*t + 444. Is t composite?
True
Let b(m) = -4637*m - 78. Let l be b(-15). Is l/27 + 8/(-36) composite?
True
Let c = 5 - 0. Suppose c = 2*k + y, -3*k + 4*y = -5*k - 4. Suppose k*f + 10 - 182 = 0. Is f a prime number?
True
Suppose 0*y = -2*y + g + 14, 0 = 3*g + 6. Let l(w) = 66*w + 15. Is l(y) a prime number?
False
Is (-15)/3 + 1350 + -2 a prime number?
False
Let c(f) = 465*f**3 - 6*f**2 - 17*f + 53. Is c(5) composite?
False
Let c(z) be the third derivative of z**7/840 - z**6/60 + 5*z**4/12 + z**3 - 11*z**2. Let p(h) be the first derivative of c(h). Is p(7) composite?
False
Let m(d) = 407*d**2 + 28*d + 4. Let s be m(-5). Suppose 0*f = 2*f - 3*w - 6718, -s = -3*f - 5*w. Is f composite?
True
Suppose 2 = 4*y - 4*b - 22, -5*b = 3*y - 2. Is 5424/(2 + y) - -3 a prime number?
True
Let v(t) = -26*t - 12. Let g(x) = -53*x - 24. Let d(y) = 3*g(y) - 7*v(y). Let l(o) = -70*o - 37. Let a(j) = 7*d(j) + 2*l(j). Is a(5) composite?
True
Suppose -10149 = -9*f + 14754. Is f a composite number?
False
Let s = 60 - -27. Let u = -16 + s. Let f = u - 18. Is f a composite number?
False
Let t = -1 - -10. Suppose 2*y = -y + t. Suppose 5*f + y*n - 153 + 32 = 0, 3*f + 3*n - 75 = 0. Is f a composite number?
False
Let r(q) be the second derivative of -25*q**3/3 - 19*q**2/2 + 10*q. Is r(-7) prime?
True
Suppose 0 = -3*n - n + 12. Let y(w) = w**3 - 19*w**2 + 12*w - 53. Let g be y(19). Suppose -748 = -n*x - g. Is x composite?
False
Let a(f) = 4*f**2 - 19*f + 24. Let y be a(13). Suppose 0 = -3*c + 6, c - y = -5*t + 2*c. Is t a prime number?
False
Suppose -4*h = 5*x - x - 4284, -3*h + 3217 = x. Is h composite?
True
Let k(m) = 5736*m - 7. Is k(1) composite?
True
Let p(l) = l**2 - 5*l - 12. Let c be p(7). Suppose 5*i + c = -8. Is i/2*10359/(-9) a composite number?
False
Let j be (-8)/(-16)*((-10)/(-2) - -1). Suppose 5*i + 4025 = 2*x, -5*x + 9*x - j*i - 8029 = 0. Is x a composite number?
True
Let s be (1/(-2))/((-14)/140). Suppose -312 = s*b - 72. Let q = b + 81. Is q a composite number?
True
Suppose -4*j + k = -2*k - 12, -9 = -3*j - 3*k. Suppose p = o - p - 371, 0 = -2*o - j*p + 749. Is o a composite number?
False
Let r = 21 - 17. Suppose -2*c = c + 5*j - 15, c + r*j - 12 = 0. Suppose c*t = 5*t - 935. Is t composite?
True
Suppose 4*d = 17 + 23. Let u(y) be the second derivative of 13*y**3/2 - 17*y**2/2 + 2*y. Is u(d) composite?
False
Suppose -4*t = -s - 34 - 590, 0 = -2*t - 5*s + 334. Is t prime?
True
Suppose 0*v + 2*v - 290 = 0. Suppose -7*a = -3*a + 4. Is 1/(2 + a)*v composite?
True
Let i be 3 + 19/(-6) + (-38006)/(-12). Let h = i - 1. Is h prime?
False
Suppose 4*z - 6 = 6*z. Let u be z/(-8) + (-6)/16. Suppose -2*m + 73 + 1 = u. Is m a prime number?
True
Let x(i) = i**2 + 3*i + 1. Let c be x(6). Suppose 0 = -4*l - 7 + c. Suppose 5*k - d = 167, -l = -d - 3*d. Is k a prime number?
False
Let g(q) = -q**2 + 8*q + 7. Let w be g(7). Is 10/70 - (-9812)/w a prime number?
True
Let b(y) = y**2 - 2*y + 13. Suppose -3*j + 1 = -j - 5*l, j = 4*l + 8. Let p be b(j). Let x = 624 - p. Is x composite?
False
Let a(x) = 21*x**2 - x - 1. Suppose 10*z - 49 + 9 = 0. Is a(z) composite?
False
Let w(m) = -m - 55. Let p be w(0). Let x(l) = -5*l**2 + 10*l - 9. Let y be x(6). Let c = p - y. Is c a prime number?
False
Suppose -2*z + 3874 = 2*b, -3*b = -2*z + 6307 - 2433. Let o be (-12)/(-20) + z/5. Suppose 114 = 2*r - o. Is r a prime number?
True
Suppose -5*l = 2*t - 6606, -t - 2*t - 2*l = -9887. Is t composite?
True
Let m be 7/(-1) - -4 - -27. Let c be (-4)/m + (-271)/(-6). Let n = -35 + c. Is n a composite number?
True
Is 7773/(9/(-6)*-2) a composite number?
False
Suppose 3*t + 1 + 2 = 0. Let b be ((-1 - t)/2)/1. Suppose -2*v - v = 12, 3*m - 4*v - 175 = b. Is m composite?
False
Let b = 9072 + -4885. Is b prime?
False
Suppose 4*g = 5*v + 1, -2*v + 8 = -5*g + 22. Suppose t + 2103 = 5*t - u, -2*u + 2106 = g*t. Suppose -2*r = -t + 170. Is r composite?
True
Is -4 + (-32981 - 4)/(-3) a composite number?
True
Let u(f) = -5*f**2 + 2*f + 3. Let a be u(-3). Let l be (-16)/6*2052/a. Suppose 7*s - 5*s = l. Is s composite?
True
Suppose -6*z + 8*z = -10. Let u be 6 - (3 + -4 - z). Suppose u*j - 345 = -4*l + 65, 3*l - 208 = -j. Is j composite?
False
Let f = 3219 + -1526. Is f prime?
True
Suppose 713 = 3*u - 2*a, -u = -3*a - a - 251. Let r = -602 + 392. Let l = u - r. Is l a composite number?
True
Suppose 4*p = 3*k + 427, 0*p + 582 = -4*k - p. Let h = -71 - k. Is h composite?
True
Let b = 73 + -68. Suppose 12*r = 7*r - 3*a + 8207, 0 = b*r - 3*a - 8183. Is r a composite number?
True
Let n(p) = p**2 + 10*p - 2. Let s be n(-11). Suppose 10*x - s*x - 172 = 0. Let v = 79 + x. Is v a prime number?
True
Let i(u) = -7*u**2 + 5*u + 2. Let p be i(2). Suppose 4*b = b - 222. Let j = p - b. Is j composite?
True
Let c(g) = 2*g**3 - 6*g**2 + 3*g + 2. Let y be c(5). Suppose 6*n - n = l - 49, -3*l + 5*n + y = 0. Is l composite?
True
Suppose -180 = -3*p + 2*p. Suppose -6*v = -8*v. Is p - (-1 - (2 + v)) a prime number?
False
Let y(p) = p**3 + 2*p**2 + 5*p - 6. Let f be y(3). Suppose 0 = 2*c + a - f, 15 = -2*c + 4*a + 59. Is c a composite number?
True
Let h = -375 - -2066. Is h prime?
False
Let p = 14 - 10. Let w(d) = 341*d - 3. Is w(p) composite?
False
Suppose -16*t + 498 = -14*t. Suppose n - 250 - t = 0. Is n a composite number?
False
Let s(g) be the third derivative of g**6/120 + 11*g**5/60 + 7*g**4/24 - 4*g**3/3 + 3*g**2. Let c be s(-9). Suppose c = -4*n + 399. Is n prime?
False
Suppose -5*b = -2*y + 4, 9*y - 4*y - 10 = -2*b. Suppose -241 = -m - 5*n, 0*m + 3*n = -y*m + 496. Is m composite?
False
Let l = -30 - -21. Let o(n) = -48*n + 7. Is o(l) a prime number?
True
Is -117675*(-3)/21 + 24/84 prime?
True
Let g = -4307 + 6478. Is g prime?
False
Let u be 6/(-30) + (-59)/5. Let y = u - -17. Suppose 3*f = 4*p + 1147, -y*f + p = -p - 1907. Is f composite?
True
Let q = -8750 + 12343. Is q composite?
False
Let q(r) = 574*r**2 - 75*r + 1. Is