be the second derivative of -z**3/2 - z**2 + 3*z. Is w(-3) a composite number?
False
Is 3 - (-6 + 8) - (-887 + 1) prime?
True
Let f = 76 + -45. Is f a composite number?
False
Let o(p) = -11*p - 3. Let j(z) = -17*z - 5. Let i(q) = 5*j(q) - 8*o(q). Is i(5) composite?
True
Let w = -6 + -2. Let v = 6 - w. Suppose 2*o - v = o. Is o a prime number?
False
Let s(k) = k**3 - 11*k**2 + 11*k - 10. Let z be s(10). Suppose -g - 4*g = -3*j + 889, -3*j - 3*g + 873 = z. Is j composite?
False
Suppose 3*w - 93 = -3*u + 4*u, w = 2*u + 31. Let h = w - 64. Is (h/12)/(2/(-8)) a prime number?
True
Suppose 0 = 12*f - 7*f - 3065. Is f a composite number?
False
Let n = -29 - -70. Let f = 30 + n. Is f composite?
False
Let n = -1174 - -2491. Is n prime?
False
Is ((-7011)/27)/(1/(-3)) prime?
False
Let r(k) = -k**2 + 5*k + 5. Let y be r(5). Suppose 3*f + 3*n = -0*n + 177, -265 = -y*f + n. Let t = f - -1. Is t prime?
False
Let q(a) be the second derivative of a**4/12 - 5*a**3/6 - 13*a**2/2 - 5*a. Is q(-11) a composite number?
False
Is 15/6*-2*77/(-11) a composite number?
True
Suppose 5*x = 683 + 332. Is x prime?
False
Suppose -2*n - 12 - 4 = -4*y, 4*n + 7 = 3*y. Suppose -371 = -3*v - n*l, 0 = v - 2*l + 3*l - 122. Is v composite?
False
Suppose 2*j + 824 = 2*d, 2*d - 5*j - 1081 = -266. Is d composite?
True
Suppose 0*v + 3*h + 331 = 2*v, -h = -5*v + 834. Is v composite?
False
Suppose -4*j = 5*u - 2*j - 2290, 3*j = 0. Let o = u - 29. Suppose -5*k + 5*q + 366 = -o, 5*q = -k + 135. Is k a composite number?
True
Let t(h) = -h**2 - 11*h + 4. Let w be ((-14)/4)/((-3)/(-6)). Let k be t(w). Suppose -101 + k = -3*a. Is a a composite number?
False
Let a(q) = -q**3 + 4*q**2 + 6*q - 3. Let s be a(5). Is 80 - 3/(5 - s) composite?
False
Suppose -5*i + n = 0, 5*i - 2*n - 2*n = 0. Suppose -f + 0*f = i. Suppose f = -5*q - 10, -k + 94 - 13 = -q. Is k a prime number?
True
Let n(u) = u**2 + 2*u - 4. Let q be n(2). Suppose -758 - 598 = -q*t. Is t composite?
True
Suppose 12 = -2*h + 2*b, 4 + 1 = 5*b. Let z = -3 - h. Is ((-11)/z)/((-2)/4) composite?
False
Suppose -2*s = -i - 1472, 5*i = -2*s + 803 + 681. Is s a prime number?
False
Let p = -227 - -769. Let x = p + -321. Is x a composite number?
True
Suppose 24 + 50 = 2*q. Is q composite?
False
Let o = -287 + 118. Let r = 271 + o. Suppose r = -0*f + 3*f. Is f prime?
False
Suppose -2*d + 17 = 5. Suppose -d*m = -3*m - 66. Is m a prime number?
False
Let l(j) = 20*j - 1. Let w(s) = s**3 - 4*s + 4. Let h be w(4). Let a be (-6)/(-21) + h/14. Is l(a) a composite number?
False
Let k(d) = -d + 1. Let u be k(-3). Let v be (5*2)/(-3 + u). Let z = 14 - v. Is z a prime number?
False
Let r = 606 + 107. Is r prime?
False
Let h = -122 + 56. Let t = h - -124. Let b = t - 15. Is b prime?
True
Suppose -5*c + 4*n = n - 4, 2*c + n - 6 = 0. Suppose -c*r + 115 = -65. Suppose -5*k + r = 3*y, -5*y - 2*k = -k - 128. Is y prime?
False
Suppose 0 = -2*h - 4*h + 8292. Is h prime?
False
Suppose 0 = h + 1, 0 = 5*i + h - 6*h - 50. Let m = 101 + -68. Is 2/6 + m/i prime?
False
Let m be ((-12)/(-18))/((-2)/6). Let t(q) = -q**3 - 4*q + 0*q**3 + 3*q. Is t(m) prime?
False
Let j be (-2)/(-3)*(-2 - -5). Suppose -j*y = -4*y. Suppose -3*a + 3*r + y*r = -57, 5*a - 90 = 4*r. Is a a prime number?
False
Let v(z) = z**2 + 5. Let t(o) = o - 4. Let m(p) = 4*t(p) + 3*v(p). Is m(-4) a prime number?
True
Let a(m) = m**3 - 5*m**2 + m. Let y be a(5). Suppose 5*r = 6*r - y. Suppose 4*f - r*v - 373 = 0, -f - v = -0*v - 82. Is f a prime number?
False
Let s = 11478 + -7915. Is s a composite number?
True
Let h be (3 - -280) + -4 - -2. Suppose d = 2*t - 128, 5*t - 3*d = h + 38. Is t a composite number?
True
Suppose -3*y - 3*i - 20 = 2*y, -3*y + 22 = -5*i. Is (y*1)/(7/(-217)) composite?
False
Let f(p) = p**3 - 2*p**2 - 2*p + 2. Let x be f(3). Suppose -4*y - 142 = -2*o, -o = -x*y - 0*y - 77. Is o a prime number?
True
Let p = 6 + 4. Suppose -5*a + 3*y = -8*a + 477, -5*y = p. Is a a composite number?
True
Suppose 5*c - 5 = 20, -j = 4*c - 60. Is (-3)/5 + 2384/j a prime number?
True
Let u(b) = 768*b**3 - 4*b**2 + 2*b + 1. Is u(1) a composite number?
True
Let o = -190 - -293. Let a = -66 + o. Is a composite?
False
Suppose 9*h - 940 = 4*h. Let l = h - 3. Is l a composite number?
True
Is 2 + (432/(-4))/(-3) a prime number?
False
Suppose -f = -4*f. Is (3 - (2 - f))*34 a prime number?
False
Suppose -q + 2*k - 2 = 0, 35 = 5*q - 3*k + 8*k. Suppose -48 = q*f - 148. Is f a composite number?
True
Let x(v) = -v**2 - 4*v + 3. Let n be x(-4). Suppose 2*l - n*l = -3. Suppose 4*k - l*k - 79 = 0. Is k a prime number?
True
Let a(p) = -p**3 + 2*p**2 - 6*p + 4. Is a(-5) a prime number?
False
Let w be 4/2 + 50 + 3. Suppose -4*b + 190 = -3*s, 7*s = -b + 4*s + w. Is b a composite number?
True
Let m be ((-2)/(-4))/(2/16). Suppose 3*g - 24 = 96. Suppose 0*r = m*r - g. Is r a composite number?
True
Is 5 - -230*1 - -4 prime?
True
Suppose r = -r + 2. Let g be (0 + r)/1*1. Let k(p) = 20*p**2 - 1. Is k(g) composite?
False
Let n be 40/15*(-3)/(-2). Let y(z) = 6*z**3 + 4*z - 5. Is y(n) prime?
False
Suppose 4*z - 15 = -z. Let l(v) = 9*v**2 - 2*v - 165. Let w(p) = 4*p**2 - p - 82. Let t(b) = z*l(b) - 7*w(b). Is t(0) prime?
True
Let r = 13 + 14. Suppose -d = -24 - r. Is d prime?
False
Is 3719 - (4 - (1 - 0 - -3)) a composite number?
False
Let r = 3 + -7. Is (-90)/r + 3/6 composite?
False
Suppose 0*b = 3*b + 4*m - 769, 2*b - 490 = 3*m. Is b composite?
False
Let k(a) = 2*a**2 + 9*a + 4. Let d be k(-10). Let q = d + -49. Is q prime?
False
Suppose 5*a + 5*f - 305 = 0, -a + 2*a = 3*f + 69. Let d = -44 + a. Is d prime?
True
Suppose o + 0*o - 12 = -3*i, 3*o - 20 = -5*i. Suppose i*d = -3*g + 12 - 4, -3*g = -3*d + 6. Is 2 + d/((-2)/(-7)) a prime number?
False
Suppose -s = -4, 5*p = 4*s - 9*s + 20. Let o be (30/(-25))/(6/(-20)). Suppose -28 = -o*m - p*m. Is m prime?
True
Let c(a) = 28*a**3 + 2*a**2 - 5*a + 2. Suppose 5*q + x = 12, q = -5*x - 7 - 5. Is c(q) composite?
False
Let y = -163 - -43. Let g = 187 + y. Is g a composite number?
False
Suppose 0 = -3*d + 2 + 13. Let p(q) = q**3 + 3*q**2 + 4*q + 3. Is p(d) composite?
False
Let i = 3 + -2. Is (-63 + i)/2*-1 a composite number?
False
Suppose 0 = -4*v - 46 + 6. Is (-744)/(-10) + 4/v a prime number?
False
Let p = 2522 - 549. Is p prime?
True
Let m(q) = q**3 + 7*q**2 - 5*q - 4. Is m(-7) a composite number?
False
Suppose 0*c - 2*c = 4. Is 105 - (0 - (c - -3)) composite?
True
Suppose 2*z + 3*s + 673 - 1853 = 0, -3*z - 5*s + 1772 = 0. Suppose -3*t - t - z = -4*y, -2*y + 274 = 4*t. Is y prime?
False
Let g(n) be the second derivative of n + 0 - 1/4*n**4 + n**2 - 1/6*n**3 + 1/20*n**5. Is g(5) composite?
False
Let x(b) = -b + 219. Let z be x(0). Suppose -5*q = -4*q - z. Suppose -q + 71 = -4*p. Is p a composite number?
False
Let c(t) be the second derivative of 0 + t + 1/2*t**3 - 11/2*t**2. Is c(10) a prime number?
True
Let q = 327 - 168. Is q a composite number?
True
Suppose 4*h - 7 - 9 = 0. Suppose -3*i = k + 3*k - 1157, -2*i - 1142 = -h*k. Is k a prime number?
False
Let t(p) = 12*p**2 - 6*p - 1. Is t(-6) prime?
True
Suppose 2*m = 4*j + 2130, 2*m + 2*j - 2160 = -0*m. Suppose 0 = w - 6*w + m. Is w a composite number?
True
Let f(k) be the third derivative of k**5/60 + k**4/24 + 5*k**3/6 + 3*k**2. Let q be f(5). Is 504/q + 3/5 prime?
False
Let y be 1/(-2) + 51/(-6). Let r = -9 - y. Suppose r = -2*o - 4*p + 94, -3*p = 5*o + 2*p - 240. Is o a composite number?
True
Is (-2)/7 - (-11627)/49 a composite number?
True
Suppose -4*f + 55 = 5*u, u = -4 + 3. Suppose -9 - f = 3*h. Is (2 - (0 - h))*-1 prime?
False
Let b be (-97)/(-5) + 6/(-15). Suppose 0 = -2*w + w + b. Is w composite?
False
Let w = 130 + 22. Suppose -w + 857 = 3*z. Is z prime?
False
Let g = 15 + -11. Suppose -1 + 9 = -g*q. Is ((-14)/4)/(q/12) a composite number?
True
Suppose 3*m - 8*m = 0. Let z(g) = 3*g**3 - 3*g**2 + 11*g - 615. Let o(a) = 2*a**3 - 2*a**2 + 7*a - 410. Let w(b) = -8*o(b) + 5*z(b). Is w(m) composite?
True
Let r = -806 - -1761. Is r prime?
False
Let v = 17 - 11. Is v a prime number?
False
Let y be (9/(-1) + 0)*-31. Suppose -s + 4*f = -337, -f = -s + y + 64. Suppose 2*a + 2*j = 252, 0 = -4*a - j + s + 162. Is a a composite number?
False
Let f(k) = -k**3 + 9*k**2 + 6*k + 6. Let j be f(10). Let n = j - -105. Is n composite?
False
Suppose 3*f - 78 = 