 4*f. Is g(f) composite?
True
Suppose 328*k - 342*k + 8722 = 0. Is k a prime number?
False
Let q = -579 + 84. Let n = q + 1372. Is n composite?
False
Let l(o) = 64*o**2 - 62*o - 105. Is l(34) a prime number?
False
Is 0*7/35 + 11558 composite?
True
Let j = -239 + 649. Let w be (1 - 5)/((-2)/118). Suppose -5*m + j = 7*p - 2*p, 0 = -3*p - m + w. Is p a composite number?
True
Let k = 115 - 109. Suppose 0 = -5*g - 0*g + 1590. Suppose 3*u + g = k*u. Is u a prime number?
False
Let z(m) = 138*m**2 - 12*m - 59. Is z(-12) composite?
True
Let m(r) = r**2 - 3*r + 6. Let z be m(2). Suppose 0 = 2*p - z*p + 14. Let y(w) = 127*w - 12. Is y(p) composite?
False
Let f be 3 + (-3 - (-5)/(-1)). Is 1/f + (-22104)/(-45) composite?
False
Let n = -93 + 73. Is (-2717)/(-4) + 5/n prime?
False
Let t be 13 + 0 + 0 + -4. Suppose -3 + t = 2*r. Suppose -r*z - 70 = -h + 193, z = -4*h + 1026. Is h a composite number?
False
Let f(v) be the second derivative of -2*v**3 + 19*v**2/2 + 10*v. Is f(-6) a prime number?
False
Suppose 0 = -2*r + l + 74471, -l - 8488 = -r + 28746. Is r a composite number?
True
Suppose 2*z = -4*z - 1098. Is (z/(-12))/(3/36) a prime number?
False
Let r = 527 + -748. Let o = r + 510. Is o prime?
False
Let g be 1 - ((-1 - 4) + 78). Let o(n) = -118*n**2 + 3*n - 3. Let x be o(2). Let b = g - x. Is b composite?
False
Suppose 0*y = -4*y + 3416. Suppose -y = -n - n. Let c = 630 - n. Is c a prime number?
False
Suppose -2*k - 4*u + 26 = 0, 0 = 5*k + u - 4*u. Is 185/k - (-2)/6 a prime number?
False
Suppose 2*b - 2*z - 698 = -3*b, 0 = 5*b + 5*z - 670. Suppose m = 4 - 14. Is (b - 1) + m/(-5) a composite number?
False
Let p = -73 - -1728. Is p a prime number?
False
Suppose -c = -5*c - 8. Is 1/c - (-155)/2 a composite number?
True
Let h = 30 - 28. Let x = 7 + -2. Suppose -x*l = -h*l - 498. Is l a prime number?
False
Suppose -24829 = -3*i + g, -5*g = 3*i - 4*g - 24821. Suppose -6*y + 521 = -i. Is y prime?
False
Suppose -4*l - 161 = -5*x - 1825, -4*x - 3*l = 1356. Is 4/10 + 0 + x/(-35) a composite number?
True
Suppose -17*b + 5507 = -16*b - 2*d, 5*d = 5*b - 27510. Is b a composite number?
True
Suppose 5*j - 29 = -g + 4*g, 2*g + 2 = -j. Let t(l) = l**2 - 15*l - 99. Let c be t(20). Suppose -c + j = -3*o, 433 = 3*k + 2*o. Is k a prime number?
False
Suppose 3*o - 6060 = -3*a, -o + 0*o + 3*a = -2000. Suppose 5*h - 5*l = o, -4*l = -h - l + 403. Is h a composite number?
True
Suppose 2*d - 37749 = -d. Is d prime?
True
Suppose 2 = -5*f + 27. Suppose -2*k + 7*k + 2255 = 5*g, f*g - 2215 = -5*k. Is g a prime number?
False
Let a = -21 - -8. Let m = a - -17. Suppose -268 = -m*o - 0*o. Is o a prime number?
True
Let k(p) = 8*p**3 + 10*p**2 - 2*p - 9. Is k(8) a composite number?
True
Let a(v) = v**2 + 12*v + 25. Let o be a(-10). Suppose -2*l + 7*l + o = 0, 4*m = 2*l + 14382. Is m composite?
True
Let n(d) = 5*d**3. Let h be n(1). Suppose 17 = -h*b + 2, -b - 226 = -o. Is o composite?
False
Suppose j + 0*j + 2 = 0, -24 = 4*x + 4*j. Let q be 2 + (x - (-439 + -2)). Suppose 4*k - 309 = q. Is k composite?
True
Suppose 2*n + 3*h = 3*n - 24, 2*h = -5*n + 205. Let i = 61 - n. Is (-30)/(-165) - (-3714)/i a composite number?
True
Suppose -66882 = 9*w - 388443. Is w composite?
False
Suppose 9*j - 35 = 2*j. Suppose 0 = j*y - 496 - 2889. Is y a prime number?
True
Suppose 4*o + 3*s = -2*s + 2536, s = 4. Is o prime?
False
Let b be (-2)/3 - 556/3. Let y(o) = o**3 - 12*o**2 - 27*o - 18. Let g be y(14). Is (2/g)/(3/b) prime?
True
Let l = 29 + -27. Suppose -a - 240 = -l*j + a, -2*a + 129 = j. Is j composite?
True
Suppose -10*m - 86973 = -v - 12*m, -5*v - m + 434856 = 0. Is v a composite number?
True
Let s = 23330 + -12417. Is s composite?
True
Suppose -2*g - 4 = -12. Suppose -8 = -4*n + 12, 0 = 2*l + g*n - 18. Is (-3)/(l/1) + 50 a prime number?
True
Suppose -5*b = -h + 26, 116 = 3*h + 2*b - 47. Let w = -199 - -359. Let o = w - h. Is o a composite number?
False
Suppose 20*m = 11*m + 121833. Is m a prime number?
True
Let g be (664/6)/(20/30). Suppose 212 = 3*f - g. Let u = 215 - f. Is u a prime number?
True
Let f = -23 + 25. Suppose 0 = f*g - 6*g. Suppose g = 3*t + 2*p - 4151, 398 = t - 2*p - 975. Is t prime?
True
Let z(a) = a - 1. Let n(x) be the third derivative of -21*x**4/8 + 8*x**3/3 - 4*x**2. Let k(m) = n(m) + 4*z(m). Is k(-5) a prime number?
True
Suppose 0*h - l - 11 = -3*h, 5*h = 4*l + 30. Suppose -3*t - 7 = -h*s, t - 5 = -s + 4*t. Suppose s*m = 2*f - 2*m - 1154, 0 = f + m - 568. Is f prime?
True
Suppose 1 = t + 5. Let u = t - -4. Suppose u = 3*m - 171 - 30. Is m a composite number?
False
Suppose -f = s - 3*s - 429, 4*s = 4*f - 868. Let t = s + 519. Is t a composite number?
False
Let m = -12 - -10. Let r be (3/m)/((-6)/12). Suppose 6*j - r*j = 291. Is j a prime number?
True
Let b(h) = -h**2 - 7*h + 8. Let s be b(-6). Suppose -s*f - 2345 = -19*f. Suppose 5*g - 6*g + f = 0. Is g composite?
True
Suppose -p = 0, 21624 = -4*m - 3*p + 60220. Is m composite?
False
Let k = 10748 + -7257. Is k composite?
False
Suppose -108*w + 114*w = 10542. Is w composite?
True
Let i(y) = -126832*y**3 + 2*y**2 - 12*y - 13. Is i(-1) composite?
True
Let l be (1149/(-4))/(36/(-96)). Let h = l + -399. Let u = 590 - h. Is u composite?
False
Let l(z) = 22*z**2 + 2*z + 3. Let f be l(-3). Suppose -p - 31 = -f. Suppose y = -4*k - 3*y + p, -4*k + 168 = 2*y. Is k composite?
False
Let y = -11667 - -24740. Is y prime?
False
Let i = -4750 + 11993. Is i prime?
True
Let c be -12252*12/(-8) + 0. Let w = c - 9599. Is w composite?
False
Suppose -15*d - 5*v + 2633 = -11*d, 0 = -d + 4*v + 674. Is d composite?
True
Suppose -2*f - 2*f + 3524 = 0. Is (-18)/(-24) - f/(-4) a composite number?
True
Let b be -17 - (5 - 1)/4. Let u be 9/(b/(-1280)) + 4. Is (-6)/4*u/(-6) composite?
True
Let g(n) = -70383*n + 275. Is g(-2) a prime number?
True
Let c(s) = -s + 1. Let a(q) = q**3 - 5*q**2 + 4*q + 4. Let k be a(4). Let g be c(k). Is 2/g + 1182/18 composite?
True
Suppose -o = -2*l + 3*o + 8, -3*o = 0. Is 349 - (0 - l/(-2)) composite?
False
Let g(s) = 10*s + 2 - 4 - 1 + 1. Is g(6) prime?
False
Suppose 3*o - 2*o + s - 3157 = 0, 4*o - 2*s = 12598. Suppose -o = -5*b + y, -4*b = b + 5*y - 3170. Is b a composite number?
False
Let y = 22 - 55. Let d be (-80)/(-44) + (-6)/y. Suppose n + 74 = d*n. Is n a composite number?
True
Is 18087 + (-2 - 7 - -5) + -4 a prime number?
False
Let n be (-56)/3 + (-3)/9. Let c = -23 + 21. Is (n/c)/((-7)/(-14)) composite?
False
Let d = -596 - -1425. Let u = -270 - 242. Let j = u + d. Is j prime?
True
Is (8 - 11970)*6/(-12) prime?
True
Is -1041*(160/(-15) + -5) prime?
False
Let b(g) = -g - 6. Let w = -6 + -3. Let f be b(w). Suppose 2*z = 3*h + 104, f*z - 7*z = 2*h - 240. Is z a composite number?
True
Let y(z) = -35*z - 38. Is y(-37) a prime number?
False
Let n = 67 + -64. Suppose -2*z + 552 = 2*w, n*z - 15 = -0*z. Is w composite?
False
Let w(f) be the second derivative of f**6/360 + f**5/20 + f**4/4 - f**3/3 - 2*f. Let p(a) be the second derivative of w(a). Is p(-10) prime?
False
Let g(f) = -23*f + 18. Let d(c) = -45*c + 35. Let k(x) = -6*d(x) + 13*g(x). Is k(-26) prime?
False
Let b(d) = 1585*d - 142. Is b(3) a composite number?
True
Suppose -24*h + 5327 = -31513. Is h prime?
False
Let i be (-30*(-3)/(-21))/(2/(-2436)). Suppose 2*b = 5*h + b - i, 4*b - 1023 = -h. Is h a prime number?
False
Let u(r) = -r**3 + r**2 + r - 1. Let j(b) = 2*b**3 - 5*b**2 - b + 8. Let f(l) = j(l) + 4*u(l). Is f(-6) a composite number?
True
Suppose -2*h - 3*w = -16103, -5*h + 2*h + 4*w + 24197 = 0. Is h prime?
True
Let h(f) = -586*f + 3. Let r(b) = 587*b - 3. Let z(o) = -4*h(o) - 3*r(o). Let c be z(4). Suppose -2*x + 3*l + 2309 = 2*x, 4*x - c = -l. Is x prime?
False
Let k be (-7 - -17) + 1*-1 + 1. Is (45/k - 4/8) + 209 prime?
False
Suppose b - 3*b = -840. Suppose 3*y = -3*h + b, -y = 2*y + 5*h - 410. Is y a prime number?
False
Let f(m) = 12*m**2 + 33*m + 37. Let t(k) = 37*k**2 + 98*k + 111. Let o(p) = 7*f(p) - 2*t(p). Is o(18) prime?
True
Let z(c) = 38*c**2 - 29*c - 97. Is z(-22) composite?
True
Let d(l) = l**2 - 3*l - 5. Let n be d(5). Suppose -n*k - 8313 = -3*q - 24683, -5*q = 3*k - 9788. Is k a prime number?
True
Suppose 5*p - 2*w - 40 = 0, 6 = 2*w - 4. Suppose -h = 5 - p. Suppose h*l = -2*u + 211, -u + 2*l + 364 = 2*u. Is u prime?
False
Let n be (-1)/9 + 