**2 + 7*f + 14. Is g(p) composite?
True
Suppose -54*o + 1548766 = -16*o. Is o prime?
False
Let g(i) be the first derivative of -8*i**2 + 5*i - 7. Is g(-3) a prime number?
True
Suppose -3*m = a - 8, 0 = -m - 1 - 3. Let c = a - 6. Is (-4)/c - (-520)/7 a composite number?
True
Suppose 0 = -3*o + 5*q - 19, 5*q = 7*o - 3*o + 17. Suppose 1478 = o*y - 4*m, -3*y - 4*m - 739 = -4*y. Is y a composite number?
False
Suppose -16*u + 88339 - 24515 = 0. Is u a composite number?
False
Suppose -q = -10*q + 531. Is q prime?
True
Suppose 3*b + 469 = -356. Let q = b + 862. Is q prime?
True
Let q(g) = g**2 + 6*g - 4. Let f = -32 - -25. Let z be q(f). Suppose z*m = -6, 1516 = 4*o - 3*m - m. Is o prime?
False
Let g(k) = -487*k + 14. Is g(-11) a prime number?
False
Let w(s) = 257*s**2 - 4*s - 5. Suppose -2*d - 20 = 4*o + d, -4*d - 26 = 5*o. Is w(o) a composite number?
False
Let o be 8/10*(-15)/(-6). Suppose 128 = 5*r + o*w - 117, 3*r = w + 158. Is r a composite number?
True
Is 4/16 - 113365/(-28) composite?
False
Let j = -162 - 771. Let t be ((-18)/(-4) - -2)*212. Let w = t + j. Is w a prime number?
False
Let z be (4 - (-8)/(-4))/(4/346). Suppose -2*h - h - 1638 = -5*c, -c + 5*h = -310. Let q = c - z. Is q a prime number?
True
Let y(u) = -7*u**3 - u**2 - u - 1. Let b(r) = -2*r**3. Suppose -4*n = -2*f + 22, -2*f - 3*n - 10 = 3*f. Let i be b(f). Is y(i) a prime number?
True
Let p = -195 + 329. Is p prime?
False
Let a(v) be the second derivative of -71*v**4/24 + v**3/2 + v**2/2 - v. Let f(n) be the first derivative of a(n). Is f(-2) prime?
False
Let n(q) = 26540*q**3 - 2*q**2 + 2*q - 1. Is n(1) composite?
False
Let i = -1530 - -2528. Suppose 2*r - 506 = -2*x, -4*r - 3*x + 6*x + i = 0. Is r a prime number?
True
Suppose -4*l = l + 65. Let w(x) = 5*x**2 + 9*x + 21. Let m(h) = 4*h**2 + 9*h + 20. Let y(i) = 4*m(i) - 3*w(i). Is y(l) a prime number?
False
Let d(g) = -g + 77. Let w = -2 - -1. Let t = -1 - w. Is d(t) composite?
True
Let n(f) = -3 + 14 - 2*f**2 + 13 + 1 + f**3. Is n(0) a composite number?
True
Let d = 8 + -3. Suppose 0 = -5*h - 4*x, 0 = d*h - h + 5*x. Let v = h + 21. Is v a composite number?
True
Suppose 0 = -i + 3*d + 922, 0*i - 2736 = -3*i + 3*d. Is i a composite number?
False
Suppose -5*n + 318 = -3*i, 0 = n + 2*n - 5*i - 178. Let z = 16 - 27. Let x = n - z. Is x prime?
False
Suppose -5*o + 20 = 0, 0 = 4*s + 4*o + 9 + 3. Let f(x) = x + 9. Let g be f(s). Suppose 2865 = -g*r + 7*r. Is r a composite number?
True
Suppose 0 = g - 4*z + 1421, -5*g - 2*z - 7105 = 2*z. Let s be (-955 - -1 - (-3)/3) + -1. Let h = s - g. Is h prime?
True
Suppose -11*i + 134 = -64. Is (-92)/(-6)*297/i prime?
False
Suppose 2*c - 12 = -2*c. Let h = -35 - -154. Suppose 2*w + 0*b = c*b + h, 5*w - 3*b = 284. Is w a composite number?
True
Let j(g) = 128*g + 7. Let o(n) = 64*n + 3. Let d(z) = 6*j(z) - 15*o(z). Let r be d(3). Let k = r - -992. Is k a composite number?
True
Suppose -f - 5999 = 11*j - 13*j, -3*f - 14998 = -5*j. Is j a prime number?
True
Suppose -2*x = 52*r - 57*r - 149306, 298640 = 4*x - 3*r. Is x a composite number?
True
Let j(f) be the first derivative of -f**6/30 - f**5/20 - f**4/24 - f**3/6 + 4*f**2 - 6. Let p(m) be the second derivative of j(m). Is p(-2) composite?
True
Let a(v) be the second derivative of -v**4/12 - 5*v**3/2 - 3*v**2/2 + 28*v. Let b be 42/(-4) + (-2)/(-4). Is a(b) prime?
True
Is -4 + (-3828 + 5 - -2)/(-1) a composite number?
True
Let w(u) = -50*u**2 - 53*u + 80. Let l(r) = 16*r**2 + 18*r - 27. Let n(y) = 7*l(y) + 2*w(y). Is n(12) prime?
False
Suppose 2*p - 6*p + 1456 = 0. Let i = 993 - p. Is i composite?
True
Let h(z) = -15*z + 6. Let k be h(-9). Let t = 439 - k. Is t composite?
True
Suppose 93 - 555 = -v. Let i = v - 103. Is i a composite number?
False
Let v be 2/(-4) - 900/(-40). Suppose -2*n + v = -0. Is n a prime number?
True
Suppose 374 = m - 448. Suppose 0*z + m = 3*z. Is z a composite number?
True
Let j(f) = f**2 - 7*f - 2. Let p be j(7). Let v = p + 5. Is 158/v + 2/6 prime?
True
Suppose -5*i = 4*y + 21, -3*i - 2*y - 5 = 6. Is -15*(i - (-120)/(-9)) a prime number?
False
Suppose 4*p = 3 + 5. Suppose 76 = p*a + 14. Suppose -3*m = -62 - a. Is m a prime number?
True
Let g = -64 + 27. Let v be 6/3 + 89 - 1. Let l = g + v. Is l a prime number?
True
Let n(o) = 129*o**2 + 21*o + 34. Is n(-9) prime?
False
Let v = 4388 - -2685. Is v a prime number?
False
Is (-2388)/3*1*70/(-40) a prime number?
False
Suppose -2*x = -3*x + 4. Suppose -4*m + 6802 - 234 = 0. Suppose 4*c - 3*n = m, -4*c + 657 = -x*n - 987. Is c a composite number?
False
Let c be (4/3)/((-7)/21). Let q(n) = -2*n**3 - n**2 - 4*n - 9. Is q(c) composite?
True
Let r = -68 + 26586. Is r a composite number?
True
Suppose 0 = -o - 4, 0 = 2*z - 2*o - 109 - 155. Suppose -4*g + 2695 = -q, -5*q - 560 = -g + z. Is g prime?
True
Suppose 0 = -6*b + 3*u + 158757, 0 = -2*b + 2*u + 53337 - 417. Is b a prime number?
True
Let x(v) = 2*v**3 - 18*v**2 - 5*v - 40. Is x(13) composite?
True
Suppose -z + 3387 + 1097 = 2*a, a + 5*z - 2233 = 0. Is a composite?
False
Let q(k) = 20212*k**2 - 2*k - 3. Is q(-2) a composite number?
False
Suppose -11*s + 63124 + 1985 = 0. Is s a composite number?
True
Let v = 32363 + -2722. Is v composite?
False
Is 6 + -6 + -3*84351/(-9) prime?
False
Suppose 0 = -0*n + 3*n - 21. Let u(i) = 52*i + 7*i**3 + 46*i - 4*i**2 - 97*i - n. Is u(3) a prime number?
True
Let z(o) be the third derivative of 133*o**5/15 + o**3/6 + 14*o**2. Is z(-2) composite?
False
Suppose 14*x - 2378 = 4888. Suppose -x - 54 = -3*z. Is z prime?
True
Suppose 2*s = -4*y + 3381 + 7897, 2*y - 2*s - 5636 = 0. Is y prime?
True
Let g = 25 - 18. Suppose -13 = 5*n + g. Is (-6)/n*1052/6 composite?
False
Let a(w) = -w + 2. Let c be a(0). Suppose -c*u - 51 = u. Let l = -3 - u. Is l a prime number?
False
Let d = 7382 - -149. Is d prime?
False
Suppose -4*q - 5*h + 454 = 0, q - h = -6*h + 106. Suppose x - 425 = q. Is x a composite number?
False
Let b be (-8)/(-10)*(-60)/8. Is ((-291)/2)/3*b composite?
True
Suppose -2*v + 17455 + 20439 = 0. Is v a prime number?
True
Suppose 18*r = 28585 - 5455. Is r composite?
True
Suppose -25 = 2*j - 31, -w + 27521 = -4*j. Is w composite?
True
Let j be 0/(-1) - (9 - 8). Let x be j + (1 - 0)*37. Is 1 + x + -1 + 1 prime?
True
Suppose 0 = -3*p - v - 5, -v - 3*v = -5*p - 14. Let i(g) be the second derivative of -122*g**3/3 - g**2/2 - 12*g. Is i(p) prime?
True
Is (-1)/((-11)/(-7589802)*-6) prime?
True
Let y = -603 - -1229. Suppose -5*a - q + 8799 = 0, 4*a - 2*q - 6402 = y. Is a a composite number?
False
Let p(z) = 1831*z**2 - 29*z - 1. Is p(-4) prime?
True
Let m = -17 - -20. Suppose 3*h - 1 = -13, -a - 2*h = -551. Suppose -m*i + 0*t = 5*t - 418, 0 = -4*i - 5*t + a. Is i composite?
True
Let m(p) = 4 - 3*p - 2*p**2 - 3*p**3 + 0*p - 7. Is m(-2) composite?
False
Suppose 1328 + 32413 = 9*y. Is y composite?
True
Suppose 0 = -2*x + 3*v + 1 - 8, -2*x = -4*v + 12. Suppose 0 = l + 3*l - 4*g - 4572, -x*g = 5*l - 5679. Is l a composite number?
True
Let r(k) = -154*k + 12. Let h(q) = 925*q - 72. Let l(n) = 6*h(n) + 34*r(n). Is l(7) prime?
False
Suppose -4*q - 4*d + 14 = -2, -4*q + d + 6 = 0. Let i be (2 - 4)*(-2)/(-2). Is (4 + (-3)/i)*q a composite number?
False
Suppose -7*y + 24145 = 5*w - 2*y, -5*y + 19314 = 4*w. Is w a prime number?
True
Let k(s) = 4*s**3 + 5*s**2 + 10*s + 17. Let c(j) = -j**3 + j - 1. Let g(w) = 2*c(w) + k(w). Is g(6) a prime number?
False
Suppose -5*h + 31 = 3*s, 0*h + 8 = -2*h. Let x(y) = 9*y + 14. Is x(s) a composite number?
False
Let b(x) = 25*x**2 - 2*x + 3. Let n be b(-2). Suppose 0 = -5*r + n - 537. Let u = r + 285. Is u a composite number?
False
Let y(a) = -a**2 + 7*a + 9. Let f be y(7). Suppose 2*i + 5 - f = 0. Suppose -4*v + 5*z + 28 = 0, 35 = 3*v + i*v + 4*z. Is v prime?
True
Suppose -8*y = -2*f - 4*y + 122946, y = 4*f - 245927. Is f a prime number?
True
Let b = -41 - -46. Suppose b*o - 120 = 335. Is o a prime number?
False
Let a = -1198 - -4575. Is a a composite number?
True
Let g(s) = -2*s - 14. Suppose -4*k = -k + 24. Let f be g(k). Is ((-4)/4)/(f/(-74)) prime?
True
Let p be 3 + -1 - (99633 - 4). Is (p/(-198))/((-1)/(-6)) composite?
False
Suppose r = 3*l + 540, r - 3*r + 722 = -4*l. Let h = l + 432. Is h composite?
True
Suppose -5*u - 3*d - 865 = -u, -5*u - 5*d = 1075. Let a = 416 + u. Supp