True
Let d = 6062 - 4001. Let p = d + 819. Suppose p = 4*w - 8348. Is w prime?
False
Let h = 5110 + -2161. Is h prime?
False
Let v(y) be the second derivative of 10*y**3/3 - 17*y**2/2 - 10*y. Is v(14) a prime number?
True
Suppose -20 = -4*m, -2*t + 3*m = -5900 + 1557. Is t a composite number?
False
Let b(z) be the second derivative of -z**3 + 11*z**2/2 - 4*z. Suppose -2*p + 3*p + 8 = 0. Is b(p) composite?
False
Let g = -767 + 2228. Is g a composite number?
True
Let a = -534 - -536. Let j be 14/6 - 2/6. Suppose -j*c - a*l = -4*c + 450, -3*l + 1109 = 5*c. Is c a prime number?
True
Let o(v) = 18*v**3 + 13*v**2 + 6*v - 65. Is o(6) composite?
False
Suppose 0 = -2*p - 4*n + 6*n + 174, 5*p = -2*n + 463. Let c = 3 + 3. Suppose -p + 565 = c*k. Is k a prime number?
True
Let i(f) = -23*f + 9. Let o be i(-5). Suppose 2*z - 6806 = -o. Is z a composite number?
True
Let h(o) = -o**3 - 13*o**2 + 13*o + 9. Let n be h(-14). Let t = n - -228. Is t prime?
True
Suppose 1 + 24 = 5*f. Suppose -2*o + 12 = 2*k, o = k + 5 + f. Suppose 4*d = 8*d - o. Is d a composite number?
False
Let k(t) = t**3 + 8*t**2 + 8*t + 9. Let w be k(-7). Is (w - (-5)/(-2))*-106 prime?
True
Let s(m) = -58*m + 3. Is s(-5) a prime number?
True
Suppose 4*t - 4525 = -21*t. Is t prime?
True
Let w(m) = 58*m - 83. Is w(30) prime?
True
Let a(i) = 11*i - 1. Let h(j) = 2*j. Let n(x) = 2*a(x) + 6*h(x). Let p be n(2). Let y = 112 - p. Is y prime?
False
Let j = -611 + 3344. Let b = j - 1476. Is b a prime number?
False
Let v(z) = 3*z**2 - z. Let q be v(2). Suppose -4911 = -q*s + 7*s. Is s a composite number?
False
Let r be 0 + 0 + (2 - 2676*-1). Suppose -4*l - 2*c + r = 0, l = 4*l + 5*c - 2026. Is l a prime number?
False
Let p(k) = k**3 + 4*k**2 - 11*k + 6. Let s be p(-6). Suppose -5*j + 3065 = -s*j. Is j prime?
True
Let n = -360 + 898. Is n a composite number?
True
Let g(j) = j - 4. Let l(p) = -p + 2. Let u(v) = 4*g(v) + 7*l(v). Let o be u(-6). Suppose -3 = q - o. Is q composite?
False
Let n(p) = 104*p**2 - 11*p + 2. Is n(9) a prime number?
False
Let d(n) = -837*n - 110. Is d(-13) a composite number?
False
Let c(v) = -25*v - 40. Let q(t) = -126*t - 201. Let y(f) = -11*c(f) + 2*q(f). Is y(7) a composite number?
False
Let b = -31 + 34. Suppose -c - b*w - 2*w = -242, c + 2*w = 251. Is c prime?
True
Let l be (-8)/28 + (-48)/(-21). Suppose l*d = 4*h - 6, 2*h - 1 = 5*d - 10. Is (-1 - (-636)/h)*1 composite?
False
Is 3/15*(-3075355)/(-31) a composite number?
False
Suppose b - 295 = -92. Suppose 5*m - 2*y - b = 0, -5*y = -7*m + 4*m + 137. Is m a prime number?
False
Suppose 5*x - 19 - 1 = 0. Suppose t - 2*p - 2 = -4, 3*p - 3 = x*t. Suppose t = -2*r + 1248 - 242. Is r composite?
False
Let j(r) = 493*r**2 - r + 2. Let y be j(1). Suppose -4*t + y = -2*p, t - p = -4*t + 616. Is t prime?
False
Let h be (-1)/(-5) - (-1936)/220. Let m be (-2*1 - -9) + -1. Suppose -h*k + 615 = -m*k. Is k composite?
True
Suppose 5*a - 7 = 3. Let d = a + 1. Suppose -d + 7 = 2*n, 0 = 4*j - 2*n - 80. Is j a prime number?
False
Suppose 20 - 6 = 2*l. Let b(r) = 4*r**3 - 4*r**3 + 3*r**3 - 4*r**3 - l - 6*r**2 - 3*r. Is b(-8) a prime number?
False
Let o be (-162)/36*2/(-1). Suppose o*c = 1199 + 29698. Is c prime?
True
Let s be (-1 + (-5)/7)*(-1792 - 7). Suppose 0 = -11*u - u + s. Is u composite?
False
Suppose 2*y - 29901 = -3*y - 2*t, 5*y - 29899 = -3*t. Is y prime?
True
Suppose 4*k - 4 = 0, -j + 3405 = 4*k - 6*k. Is j prime?
True
Suppose 68751 = 8*f + f. Is f prime?
True
Let g = 3 - 10. Let x(a) = a**3 + 8*a**2 + 8*a + 8. Let r be x(g). Let y(t) = 10*t - 1. Is y(r) a composite number?
True
Let v(f) = -2 - 4*f + 0*f - 6 + 6*f. Let n be v(5). Suppose 5*m = j + 1012, 3*m = -n*j + 625 - 10. Is m prime?
False
Suppose -266 = 3*w + 277. Let r be 0 - (w - 0) - 2. Let y = 38 + r. Is y prime?
False
Suppose -3*o = -j + 2755, 0 = 4*j + j + 4*o - 13851. Is j a composite number?
False
Let z be 3 + (-1 - 4/2) - 0. Suppose -1028 = -z*k - 4*k. Is k composite?
False
Let d(s) = s**3 + s**2 - 5*s - 11. Is d(14) a prime number?
False
Let s(y) = 3*y**2 + 6*y - 11. Let z be s(9). Suppose -7*h + 804 = z. Is h composite?
True
Let d(r) = -885*r - 16. Is d(-6) a composite number?
True
Suppose f = -b - 4*f + 31, -b + 3*f - 9 = 0. Let w(y) be the first derivative of y**3/3 + 3*y**2 + 5*y + 5. Is w(b) a composite number?
True
Let z(i) = 1003*i**2 + 23*i + 131. Is z(-6) a prime number?
False
Let u = -1908 - -3245. Is u prime?
False
Let g be 16/(-4) + 1 - -11. Let m = -6 + g. Is 1/(-1)*(m + -129) prime?
True
Let l = -95 + 7112. Is l a composite number?
True
Suppose -3*v - v - 4*w = -8, 3 = -w. Suppose 0*p + 270 = v*p. Let y = -1 + p. Is y prime?
True
Let x(z) = z**2 - 17*z**3 + 0*z**2 - 1 + 20*z**3 + z. Let k be x(1). Suppose 4*j - 1495 = -k*d + d, -4*d - 1488 = -4*j. Is j composite?
False
Let k(w) be the second derivative of 21*w**5/2 - w**3/3 + w**2/2 - 21*w. Let r = 4 + -3. Is k(r) a prime number?
False
Let v = -4038 - -6325. Is v a prime number?
True
Suppose 5*d + y = 3*y + 34029, -4*y = 4*d - 27212. Is d prime?
False
Suppose 0 = 2*p - 10, -4*l = -5*l - 4*p + 579. Is l a prime number?
False
Let z be -2*(-905 - 2)*(-5)/(-10). Let w = 2664 - z. Is w a prime number?
False
Let c(m) = 457*m + 78. Is c(8) a prime number?
False
Suppose 3*v + o + 3*o = 622, -2*v + 5*o = -430. Suppose 3*s - 3853 = -4*q, -s + 3*q + 1096 + v = 0. Is s a prime number?
True
Let s(l) = 2*l**2 + 5*l - 3. Let h be s(-7). Let j be -1*(7 - -3089)/(-8). Let d = h + j. Is d a composite number?
True
Suppose -32 = 2*r - 18*r. Suppose -2994 - 284 = -r*p. Is p a prime number?
False
Let r = -380 + 4593. Is r composite?
True
Let w(x) = 20*x**2 - 321. Is w(-17) composite?
True
Let j = -15725 + 42004. Is j a prime number?
False
Suppose 3*p + 3*y = -4 + 1, 3*p = -y - 3. Let q be 4 - 3 - p*2. Suppose -3*w + 3*c + 2*c = -508, 0 = -2*w + q*c + 337. Is w composite?
True
Let g(y) = y**2 + 6*y + 14. Let x(n) = 7*n**3 + 2*n**2 + 2*n + 1. Let c be 0*(-3)/(-9) + -1. Let s be x(c). Is g(s) a prime number?
False
Is 33435491/529 + (-6)/69 a composite number?
True
Let v = 6884 + -3471. Is v composite?
False
Let s be (-94)/5 + (-5)/25. Let d = s + 23. Suppose 5*o = 2*u - 1186, o + 20 = -d*o. Is u a prime number?
False
Is (-11 + 9980 + 10)/(2 + -1) composite?
True
Suppose -t - 3*r - 4 = 0, -2*t - 8*r - 2 = -5*r. Suppose -5*u = 2*i - 949, -4*u + 554 + 216 = -t*i. Is u composite?
False
Let m be ((-27)/(-6))/(-3) - 27/(-18). Suppose m = -0*h + 2*h - 782. Is h a prime number?
False
Suppose 4*i = 5*b + 51744, 23*i + 12949 = 24*i + 2*b. Is i composite?
False
Suppose 2*d - 21 = 29. Suppose -5*t - d = -10*t. Suppose -t*n = -4*n - 887. Is n a prime number?
True
Suppose 0 = -11*b - 28208 + 265225. Is b a prime number?
False
Suppose 5*d - 3 = -5*y - 13, 4*d + 2*y = 0. Let x = -681 - -955. Suppose -d*g + x = -172. Is g a composite number?
False
Let d = -1151 + 16105. Is d a prime number?
False
Let a be 12/7*(-33 - 2). Let h = 117 + -268. Let k = a - h. Is k composite?
True
Let t = -19 - -24. Suppose 0*f - 3*f - u + 161 = 0, 0 = -t*u + 10. Suppose -o = -r - f, o + 4*o - 2*r = 271. Is o composite?
True
Suppose 3*h - 2*i + 38 = 0, 23 + 1 = -4*h - 4*i. Let f(w) = 4*w**2 - 7*w - 6. Let d be f(h). Suppose 0 = -4*b + 764 + d. Is b composite?
False
Suppose 0 = -2*u + 3*v, 3*u - 3*v + 6*v = 0. Let i(t) = -t**3 + t + 52. Let b be i(u). Is b*3/(2 + 10) prime?
True
Suppose 45*j - 59*j = -394814. Is j a prime number?
True
Let c be 30/20*(-8)/3 + 2435. Let v = -876 + c. Is v a prime number?
False
Suppose 16 = -i + 2*i. Suppose 40 + i = 4*t + n, 12 = 3*n. Is t a prime number?
True
Let o(x) be the first derivative of x**4/4 + 14*x**3/3 + 4*x**2 + 6*x - 12. Is o(-7) composite?
False
Suppose 0 = 2*z - 4*w + 5*w - 7353, -4*z + 4*w = -14736. Is z a composite number?
True
Let j be 4/(4 + (-6)/2). Let n be 2 - (0 + (-936)/j). Suppose 3*g = -g + n. Is g a composite number?
False
Let n be (-192)/40 - (-3)/(-13 - 2). Let o be (1 - -1) + (-14 - 0). Let u = n - o. Is u a composite number?
False
Suppose -5*c - 10521 = -a, -4*c = -4*a + c + 42144. Is a prime?
False
Let x = 203 - -687. Suppose 3*n + f = -3*f + 665, 4*n - x = -2*f. Is n prime?
True
Let m be 2/12 + 790/(-60). Let n(d) = -8*d - 1. Is n(m) a composite number?
False
Let z be 576/(-22) - 2*(-6)/66. Let s = 175 