 p(g) = 27*g + 14*g + 3 - y*g + 5*g. Is p(1) prime?
True
Let z be (225/125)/((-6)/(-40)). Let u = 10 + z. Is u prime?
False
Let x(p) = 1163*p**3 - 4*p + 3. Let c be x(1). Suppose 2*l - 1584 = c. Is l a composite number?
False
Let k = -8768 - -14719. Is k prime?
False
Let r(t) = 6*t - 7. Let y be r(2). Let v be y + 6/(-9)*6. Is (v/2 - 0)*374 a composite number?
True
Let f(c) = c**3 - c**2 - 2. Let o be f(0). Is ((-791)/o)/(2/4) composite?
True
Let j(g) = 3*g**3 - 16*g**2 + 10*g + 12. Is j(11) prime?
True
Suppose 131789 = -2*t + 9*t. Is t prime?
False
Let l(b) = -7*b**3 + 6*b**2 - 21*b - 15. Let z(g) = -3*g**3 + 3*g**2 - 10*g - 7. Let o(x) = 2*l(x) - 5*z(x). Is o(9) a prime number?
True
Suppose -4*s = 0, -c + s + 8 = 6*s. Suppose -46 = -6*w + c. Is w composite?
True
Let r(p) = 7771*p + 275. Is r(14) prime?
False
Let n be 151/((-2 - -1)/(-9)). Suppose 5*w + 1098 = 4*y + 3*w, 0 = 5*y + 2*w - n. Let o = y - 82. Is o a composite number?
False
Let m(x) = 163*x - 86. Is m(25) composite?
False
Is ((-25)/(-20))/((-3)/(-12)) + 246 a prime number?
True
Suppose 9*t = 2*t + 7. Is (t - -33)*204/24 a composite number?
True
Suppose 16*c - 40 = 24*c. Is 11379*(10/(-6))/c composite?
False
Let n = -15 + 64. Let k = n - 17. Suppose 3*o - 92 = 5*g - 0*g, o = g + k. Is o composite?
True
Let x(h) = -33*h**2 - 11*h + 3. Let a(s) = -17*s**2 - 5*s + 1. Let i(z) = -5*a(z) + 2*x(z). Is i(-4) a prime number?
True
Let v(n) = -629*n + 121. Is v(-8) composite?
False
Let w = 6 + -10. Is 1/(2*w/(-1608)) a prime number?
False
Let u(s) = 169*s**2 - 2*s - 3. Let m be u(-2). Is (13 - 9)*m/4 prime?
True
Suppose -4*y = y + 15. Let a(g) = -g**2 + 2*g**2 - 2*g + 5*g**2 - 7. Is a(y) a composite number?
False
Let o = 442 - -1119. Suppose -154 = 3*n - o. Is n composite?
True
Suppose -4*z = -z - 18. Let k(v) = 78 + 83 + 67*v - 156. Is k(z) composite?
True
Let u = 3409 - 2048. Is u a composite number?
False
Let u(y) = -341*y**3 + y**2 + y - 2. Let x be u(-2). Suppose 0 = -4*j + 6*j - x. Let g = j - 447. Is g a prime number?
False
Suppose 0 = -4*p + 8*p + 12. Let g(b) = b + 7. Let w be g(p). Suppose 2*l = 10, 56 + 348 = w*r - 4*l. Is r composite?
True
Suppose 24*h - 29*h + 21236 = k, 2*h = 3*k - 63759. Is k a composite number?
True
Let u be ((-3)/(-15) - 32/10) + 259. Let l = u + -143. Is l prime?
True
Suppose 15 = 7*c - 4*c. Suppose 8 = c*o - 7. Suppose 872 = 4*k + 4*p, o*k - 882 = -k - 2*p. Is k a prime number?
True
Suppose 3*v = -6*z + z + 1256, -v + 404 = -2*z. Suppose 0 = -5*t - 2*o + o + 1042, -2*o = 2*t - v. Is t prime?
False
Let h = 61086 - 36833. Is h a prime number?
False
Let c(f) = 330*f - 19. Let m(q) = -659*q + 38. Let t(i) = 7*c(i) + 4*m(i). Is t(-5) a prime number?
False
Let p(t) = -56*t + 10. Let v be p(-8). Suppose 3*b - 5*b = -v. Let g = b + -108. Is g a composite number?
True
Let k(m) = -28*m - 4. Let s be 0 + 5 + (2 - 4). Let g be k(s). Let w = -41 - g. Is w prime?
True
Suppose 0 = -23*g + 19*g - 7984. Is 1/(-6) - g/24 a prime number?
True
Suppose 0 = -18*t + 13*t + 23785. Is t composite?
True
Suppose -a - 1391 = 766. Is (((-12)/3)/4)/(3/a) prime?
True
Let n = 8508 - -2339. Is n a composite number?
False
Suppose 344*t - 343*t = 6697. Is t a composite number?
True
Let t(r) = 279*r**2 + 16 - 6 - r - 10. Is t(1) a composite number?
True
Suppose -3*r + 31342 = -5*h - 189147, 5*r - h - 367467 = 0. Is r prime?
False
Let k(p) = -p**3 - 8*p**2 - 6*p - 1. Let f(x) = -x**2 - x. Let m(r) = 5*f(r) - k(r). Let c be m(-2). Suppose 2*v = -c*v + 345. Is v composite?
True
Let h be (-4)/(-18) + 64/36. Let i be h + 0 + -4 + 6. Suppose 802 = 5*m - 3*o, 5*o + 111 + 528 = i*m. Is m composite?
True
Suppose -15911 = -3*i - 0*i + v, 5*i - 26529 = -v. Is i a composite number?
True
Let r = 59355 - 42073. Is r composite?
True
Let k = -246 + 479. Let b = k - 22. Is (b/4)/((-2)/(-8)) a composite number?
False
Suppose -3*i = 5*x - 19421, -2*i = -4*x + 5803 + 9725. Suppose -q - 2*o + 1798 + x = 0, 5*q - 28381 = 2*o. Is q a composite number?
True
Suppose 2*p = 4*c - 26, -2*p - p + 6 = 3*c. Let m(w) = -7*w**3 + w**2 - 4*w + 5. Is m(p) a composite number?
True
Let d(v) = -312*v**3 + v**2 + 3*v + 1. Let h be d(-2). Suppose 0 = 5*j - h + 400. Is j composite?
False
Let u be ((-18)/15)/(5/(-50)). Let n = u + -9. Suppose -2*x = n*x + y - 294, 3*x - 154 = 5*y. Is x composite?
True
Let l(h) = -784*h + 233. Is l(-5) a prime number?
True
Suppose 6*r - 8*r - 5*g = -3155, -5*r + g = -7928. Suppose 0 = -22*j + 17*j + r. Is j a prime number?
True
Suppose -5*l - 4*z - 875 = 0, -3*l + 2*l - 2*z = 181. Let f = 331 - l. Is f a composite number?
True
Let i = -11 - -22. Let g = i + -6. Suppose 634 = g*b - 81. Is b a prime number?
False
Let p(n) = -n**3 - 26*n**2 - 48*n + 11. Is p(-26) composite?
False
Let q = 17 + -14. Let d be (-4)/24*-4*q. Suppose -4*o = 4*t - 776, -6*o - 3*t + 773 = -d*o. Is o prime?
True
Suppose -o = 6*o - 28. Suppose -6*r = -r - 25. Suppose -4*b = r*w - o*w - 83, -2*w - 76 = -3*b. Is b prime?
False
Let q(c) be the second derivative of c**4/12 + 13*c**2/2 + 4*c. Let j be q(6). Let d = 34 + j. Is d prime?
True
Let o(a) = -3*a**2 - 573. Let h(j) = 5*j**2 + 859. Let l(i) = -5*h(i) - 8*o(i). Is l(0) composite?
True
Let s(a) = -a**2 + 11*a. Let p be s(10). Suppose -y = -5*n + 10, -5*n + 0*y = 5*y - p. Suppose 0 = 4*c + 8, -2*c = -n*f - 1 + 35. Is f prime?
False
Suppose -4*h = -16 - 48. Suppose t + 2*o - 72 = -2*t, o - 75 = -3*t. Let w = t - h. Is w a composite number?
True
Suppose -2*g + 34409 = -7*a, -g + 7*a - 2*a + 17209 = 0. Is g prime?
False
Let y = 1988 + 333. Is y prime?
False
Let f(r) = -r**2 - 4*r + 195. Let s be f(0). Let o be -10*(-5)/(75/(-168)). Let q = o + s. Is q a composite number?
False
Let i(a) = -74*a**2 + 383*a**2 - 196 - 4*a + 198. Is i(1) prime?
True
Suppose -3*m = -24 + 3. Suppose 0 = 3*v + 3*n - 1137, -6*v - 5*n = -m*v + 379. Is v prime?
True
Is 920/3 - (-2)/6 a prime number?
True
Let h be 2180/(-11) + 2/11. Let z be (-2)/(-7) - 14505/(-21). Let p = z + h. Is p composite?
True
Let d = -19812 + 28069. Is d a prime number?
False
Let x(p) be the first derivative of -p**4/4 + p**3/3 - p**2/2 - p - 122. Let q = 2 + -5. Is x(q) a prime number?
False
Let h(a) = -4*a**2 + 36*a + 36. Let b(o) = -o**2 + 7*o + 7. Let c(z) = 16*b(z) - 3*h(z). Let x be c(-6). Let p = -85 - x. Is p prime?
True
Let o = 999 - 610. Suppose -26*x = -25*x - o. Is x a prime number?
True
Let j(p) = 78*p**2 + 4*p - 5. Is j(6) a composite number?
True
Let b be (-6)/(-4) - (-77)/14. Let m(k) be the second derivative of 7*k**3/6 + 2*k**2 - 12*k. Is m(b) a composite number?
False
Let r = 49 + -49. Suppose -3*s + t + 152 = 0, r*s = 2*s - 2*t - 108. Is s a prime number?
False
Let d = 532 - -2895. Is d prime?
False
Suppose 5*o = 4*h - 6658 - 4454, h + 4*o = 2757. Is h a prime number?
False
Suppose 0 = -f + 5*i + 8142, -2*f + 25067 = 4*i + 8769. Is f prime?
True
Let u be (-3)/(-9) - 190/(-6). Is 2608/u*(0 - -6) composite?
True
Suppose g + 42 = 22. Let x = -18 - g. Suppose -x*d - 1010 = -4*w - d, 5*w = d + 1263. Is w a prime number?
False
Let q be 270/50 + (-4)/10. Suppose -60 = -q*n + 70. Is n prime?
False
Is (-99)/(-165) + 10752/5 + 2 prime?
True
Let q(y) be the first derivative of -4*y**2 - 11*y + 10. Is q(-8) a composite number?
False
Let k(x) = -x**3 - 4*x**2 - x + 5. Let l be k(-4). Let m(h) = h**3 - 12*h**2 + 7*h - 2. Let f be m(l). Is (f/(-3))/(16/24) prime?
False
Let b be -1 - (8207/4 + 4)*-4. Suppose -b = -5*n + 3*n. Is n prime?
True
Let o(t) = 112*t - 421. Is o(36) prime?
False
Let x = -8 - -11. Let v = 7 - x. Suppose -5*z + 420 = -f - v*f, 4*z = 5*f + 341. Is z a composite number?
False
Suppose 0 = 4*m - 0*m + 3*c - 1962, -3*m + 4*c = -1484. Suppose -784 = -4*l + m. Is l composite?
True
Suppose -3*o - 65 + 740 = 0. Let u be ((-16)/(-6))/(2/o). Suppose z = 3*j - 449, j - z = -j + u. Is j a prime number?
True
Suppose -3 = -q + 9. Let u be q/54 - 662/(-18). Suppose -4 = i - u. Is i prime?
False
Let t(w) = -w**3 + 10*w**2 + 10*w + 14. Let k be t(11). Suppose -k*s - 2*i + 1418 = -2357, -6292 = -5*s - 3*i. Is s prime?
True
Let w be 5/(-20)*10*-20. Is ((-97)/5)/((-10)/w) composite?
False
Suppose 5*t - 156 = -t. Let v = 93 - t. Is v prime?
True
Let w(l) = 1831*l**2 + 3*l + 3. Is w(-2) composite?
False
Let s(x) = 2*x**2 + x 