p(f) be the first derivative of 6*f**3 - 2*f**2 - 3*f + 1. Is p(-2) a composite number?
True
Suppose 5*p - p - 1860 = -4*w, -3*w + 5*p = -1411. Is w a composite number?
False
Suppose -2*w - 28 = -3*h, -3*h + 13 = -w - 16. Is h a composite number?
True
Suppose 5*r - 35 = 20. Let b = 17 - r. Let f = 17 + b. Is f a prime number?
True
Let q = -6 + 9. Suppose -151 = -3*o - 2*c, 0 = -2*o - q*c + 2*c + 102. Is o composite?
False
Let s = -1233 - -1916. Is s composite?
False
Let g(y) = 5*y**2 - y. Let j(d) be the third derivative of -d**4/24 - 2*d**3/3 + d**2. Let b be j(-5). Is g(b) composite?
True
Let l(t) = 19*t + 3. Let v(n) = -75*n - 13. Let k(a) = 9*l(a) + 2*v(a). Is k(4) a prime number?
False
Let f(c) = 50*c - 3. Is f(2) prime?
True
Suppose -5*v = -2*b - 0*v - 11, 5 = b + v. Suppose -b*n + 20 = 3*n. Suppose 113 = -n*h + 605. Is h composite?
True
Suppose 2*s + 2*l = 602, 0 = 2*s + l + 2*l - 604. Is s a composite number?
True
Let a(i) = -35*i + 3. Let l(m) = 35*m - 4. Let f(b) = -6*a(b) - 5*l(b). Is f(7) a composite number?
True
Is 9/(-27) + (-638)/(-6) a prime number?
False
Let b(v) = 33*v**2 - 1. Let x be ((-8)/6)/(10/(-15)). Is b(x) a composite number?
False
Let y = 55 - 16. Is y composite?
True
Let c = -4 - -5. Is (-19)/(c/1)*-1 composite?
False
Suppose 5*s = 10, 0*b + 3*s = b - 433. Let q = -2 - -5. Suppose -2*r - 2*r + o + b = 0, -2*r + 209 = q*o. Is r a composite number?
False
Suppose -9 = -u + 10. Is u a composite number?
False
Let s = 7 - -17. Suppose s = 4*n - 68. Suppose 0 = -r - n + 70. Is r a composite number?
False
Let z(l) = 19*l + 2. Let j be 29/(-3) + 5/(-15). Let s = -7 - j. Is z(s) a composite number?
False
Let y(t) = 7*t**3 + t**2 + t + 1. Suppose 5*g - 5 = s + 6, 0 = -5*g + 15. Is y(s) prime?
False
Suppose 4*a + 0*a - 9332 = 0. Is a composite?
False
Let o = 8 + -8. Suppose 92 = 2*x - o. Is x composite?
True
Let m(u) = 4*u**2 + 13*u + 9. Let c be m(-8). Let t = c - 99. Is t a composite number?
True
Suppose 0 = -2*s - 0*s + 1754. Is s a prime number?
True
Let q(x) = x**3 + 15*x**2 + 12*x - 9. Is q(-14) a prime number?
True
Let v(z) = -z**3 + 15*z**2 - z - 19. Is v(14) a prime number?
True
Let w(z) = -16*z**3 - z**2 - 3*z + 3. Let b be w(2). Let x = 124 - -96. Let u = b + x. Is u prime?
False
Let q = 27 - 20. Suppose -p + 5 = h, -9*p = -3*h - 4*p - 1. Let x = q - h. Is x composite?
True
Let i = -261 - -940. Is i a prime number?
False
Suppose -4*r - 8 = -4*l, 2*l - 3*r - 12 = -2*l. Suppose -2*i - l*i = -2456. Is i a prime number?
True
Suppose -2*x + 630 = 4*k, 76 = 5*x + k - 1463. Is x prime?
True
Let q = -52 - -291. Is q composite?
False
Suppose -3*y = -2*m + 16, y + 3*m + 21 = -2*y. Let q(r) = -r - 1. Let w(c) = -2*c - 4. Let k(b) = 5*q(b) + w(b). Is k(y) prime?
False
Let m(t) = t**3 + 9*t**2 + 8*t + 3. Let j be m(-8). Suppose j*k - 1124 = -239. Is k a prime number?
False
Let h(t) = 2 + 7*t + 0 + 0 - t**2. Let m be h(7). Suppose -m*b + 140 = -158. Is b composite?
False
Suppose 2 = 2*g + 3*i, 5*g - 3*g = 2*i - 18. Let o be (8/g)/2*-5. Suppose -o*k = -119 - 93. Is k composite?
False
Suppose -3*o - 4*z = -1 - 249, -3*o + 2*z + 226 = 0. Suppose 0 = m + o - 239. Is m a prime number?
False
Suppose 0 = -2*d + d. Suppose d = 2*y - 6*y + 2972. Is y a prime number?
True
Let w = 9 + -4. Let c = w + 0. Suppose -2*q + c*b = 6*b - 110, -q + 55 = 4*b. Is q composite?
True
Let t be 8/(-28) + (-18)/(-14). Suppose 3*n - 31 = -t. Is n composite?
True
Let n be (2 + -1)*0/(-4). Let o(v) = -v + 3. Is o(n) composite?
False
Let k be (-9)/54 - (-11)/(-6). Let n(g) = -3*g**3 + g + 3. Is n(k) prime?
False
Let f = -5 - -7. Suppose 710 = 5*u - a - 2*a, -4*u + 590 = f*a. Is u a prime number?
False
Let c(x) = 2*x**2 - 8*x - 8. Let q = -3 + 0. Let r(n) = n**3 + 3*n**2 - n + 4. Let y be r(q). Is c(y) a prime number?
False
Is 30/(-10)*52/(-6) a composite number?
True
Suppose 0*k + 52 = 3*i + 5*k, 0 = 3*i + 3*k - 54. Is i a prime number?
True
Suppose 31 = v - 102. Is v a composite number?
True
Let q be -6 + 5 + 38*2. Suppose -l - 2*l = q. Is (-10)/(-4)*(1 - l) composite?
True
Suppose -3713 = -v + 614. Is v prime?
True
Suppose -25620 = -5*m - 5*x, -m + 5*m + 5*x - 20493 = 0. Is m prime?
False
Suppose 0 = -4*m + 12 + 8. Suppose -4*q - 1531 = -3*z, q - m*q = 4*z - 2004. Is z a prime number?
False
Let s be (-9)/(-6) - 188/(-8). Suppose 420 = 5*t + s. Is t a composite number?
False
Suppose -3*d + 4656 = 3*t, -3*d = -0*d - 2*t - 4671. Is d composite?
True
Let a(y) be the second derivative of 2*y**4/3 - y**3/3 + y**2/2 + 2*y. Is a(-2) a composite number?
False
Let m be -1 + 2 - (-1 - -1). Suppose 5 + 5 = -2*r, 5*c = 3*r + 25. Is 20/1 + c*m a composite number?
True
Let p = 256 - 129. Is p a composite number?
False
Let y = 51 - -98. Is y a prime number?
True
Let h(c) be the third derivative of -3*c**2 - 1/6*c**5 - 1/6*c**3 + 0*c - 1/12*c**4 + 0 - 1/120*c**6. Is h(-10) composite?
False
Let c be (2/(-6))/(2/(-24)). Is (-393)/(-21) - c/(-14) prime?
True
Let l(z) = -4*z - 3. Let p(s) = -s - 1. Let x(h) = 6*l(h) - 26*p(h). Is x(13) a composite number?
True
Suppose -y + 8*y - 1477 = 0. Is y composite?
False
Suppose 0 = -x - 1, 2*j = -7*x + 2*x + 889. Is j composite?
True
Let n = 432 + 311. Is n a composite number?
False
Suppose 0 = 2*g + l - 11474, g - 4*g + l = -17211. Is g composite?
False
Suppose 0*d = -d - 2*x + 629, -d - 5*x + 626 = 0. Is d a composite number?
False
Let j = -27 - -63. Suppose 0 = -2*b + 192 + j. Suppose 4*n - b = 410. Is n a prime number?
True
Let r(f) = -f**3 - 6*f**2 + 5*f - 10. Let d be r(-7). Suppose 5*t - 31 = -3*i + 12, -d*t + 64 = -5*i. Is t prime?
True
Let o = 19 - -39. Is o a prime number?
False
Let p be 454/(-12) + 2/(-12). Let u = 77 + p. Is u prime?
False
Let q = 210 + -68. Is q composite?
True
Let v(x) = 11*x**2 + 6*x - 10. Is v(7) composite?
False
Let j = -171 - -66. Let w = j + 262. Is w a composite number?
False
Let v(l) = l**2 + l - 45. Let h be v(0). Let o = h - -104. Is o a composite number?
False
Let v(l) = -l - 1. Let n be v(4). Let k = 342 + n. Is k prime?
True
Let z = -8 - -7. Let y be z/(-4) - 914/8. Is 14/(-35) - y/10 a composite number?
False
Let p be (-23 + 1)*(0 + -1). Is (3/2)/(3/p) a prime number?
True
Let j be ((-18)/7)/((-6)/28). Let o be 1/(-4) + 39/j. Suppose o*i - 753 = -0*i. Is i a prime number?
True
Suppose 2 = 5*d - 8. Suppose -w = 3*g - 4, -5*g - 47 = -d*w + 16. Is w composite?
False
Let j(p) = p**3 + 4*p**2 - 6*p - 7. Is j(6) a prime number?
True
Suppose -2*n - 48 = 20. Is (-1)/((2 - 1)/n) composite?
True
Let t(s) = 2*s**2 - 2*s. Let x be t(2). Suppose 4*c - 792 = -x*m, c = -4*m + 60 + 123. Is c prime?
False
Let j = -31 - -1070. Is j a composite number?
False
Let j be 14/49 + 145/7. Suppose -4*d - 8 = 5*w - 42, 6 = -3*w. Let v = j - d. Is v prime?
False
Suppose 3*i - 576 - 186 = 0. Is i a composite number?
True
Let q(h) = -4*h + 1. Let w(l) = -l**2 - 7*l - 2. Let d be w(-8). Let c be q(d). Suppose -33 = -2*g + c. Is g a prime number?
True
Let o(t) = t**2 - 2*t + 53. Is o(-18) a prime number?
False
Let l(k) = 32*k + 1. Let s(a) = 31*a + 2. Let t(m) = -2*l(m) + 3*s(m). Suppose 4 + 4 = z + 5*c, 0 = z - 2*c - 1. Is t(z) a composite number?
True
Let i(s) = s**3 - 13*s**2 - 13*s + 19. Is i(14) a composite number?
True
Suppose -9*w = -4*w + 495. Suppose 2*f - 46 = 3*f. Let j = f - w. Is j prime?
True
Let r = 7 - 13. Let f be (-3)/r*0/2. Suppose f = 3*g - 0*g - 111. Is g a composite number?
False
Let d(w) = -2*w**2 - 2*w - 8. Let g(k) = 4*k**2 + 4*k + 15. Let z(c) = 5*d(c) + 3*g(c). Suppose -5*u - 5*a = 35 + 10, 3*u - 5*a = -11. Is z(u) composite?
False
Let n(l) = l - 1. Let g be n(1). Suppose g = -12*p + 7*p + 265. Is p prime?
True
Suppose -3*h + 238 - 31 = 0. Suppose 6*r = 3*r + h. Is r a composite number?
False
Let f be (-1)/3*(-4 - 2). Let o be (138/(-4))/(2/(-4)). Suppose -q - f*q + o = 0. Is q a composite number?
False
Suppose 2*s - 889 - 69 = -4*i, -3*i + 2*s = -729. Suppose -5*u + 400 = -5*w, -i = -5*u + 4*w + 161. Is u a composite number?
True
Suppose 5*t - 5 + 0 = 0. Let r(u) = 31*u**3 + u - 1. Is r(t) a composite number?
False
Suppose 5*f + 792 = f. Let w = 89 - f. Is w prime?
False
Let w be (11/4)/((-2)/(-8)). Let u = w - 3. Let y = 27 - u. Is y prime?
True
Suppose 0*p - 156 = -4*p. Is p composite?
True
Let 