 d(n) a composite number?
False
Let j(i) = i**2 - 4*i + 2. Let h be j(4). Suppose 2*b - 2116 = -h*b. Is b composite?
True
Suppose 6*y = 3*y + 12. Suppose 4*k - 2*f = 1068, -y*f = 2*k - 2*f - 522. Is k composite?
True
Let m(z) = 137*z**2 - 12*z - 37. Is m(-4) composite?
False
Let k(u) = 5*u**2 - 5*u - 6. Let i = -1 - 3. Is k(i) a composite number?
True
Suppose -3*r - 2670 = -3*s, -585 - 3020 = -4*s - 5*r. Is s a composite number?
True
Let g = 24 + 7. Is g a composite number?
False
Let h(b) = b**2 + 5*b + 10. Suppose 5*x - 1 = -41. Is h(x) prime?
False
Let p be (3/(-9))/(2/(-6)). Is 160/12 + p/(-3) a prime number?
True
Let g(x) be the second derivative of x**5/4 - x**4/6 - x**3/6 + 5*x**2/2 + 6*x. Is g(3) a prime number?
False
Let a(y) = -3*y**3 - 11*y**2 + 5*y. Let l(q) = -4*q**3 - 12*q**2 + 5*q - 1. Let k(g) = -3*a(g) + 2*l(g). Is k(-9) composite?
False
Suppose 2 = -3*t + 11. Let x = 88 - 42. Suppose w + x = t*w. Is w composite?
False
Let g be (-8)/(120/(-25)) + (-2)/3. Suppose -2*x = 2 + 8. Is (46 - x) + 1 + g composite?
False
Suppose -5*n = 25, 0*n + 2*n + 26 = 4*s. Let x be 113/s + (-1)/4. Suppose 5*q - 3*q = x. Is q prime?
False
Suppose -2*n - 9 = -5*n. Suppose -5*r - n = -53. Is r a prime number?
False
Suppose 3*f - 142 + 7 = 0. Let k = f + -10. Is k a composite number?
True
Let u(v) = v**2 - v + 23. Is u(10) composite?
False
Let i be (-5 - 0)*(-15 + 14). Suppose 0 = h - i*h + 1756. Is h prime?
True
Let d be 0*1*(-2)/4. Suppose d = -2*s + q + 694, q = 4*q. Is s composite?
False
Let v(k) = -k**3 - 6*k**2 + 5*k - 8. Let z be v(-7). Let l be (5 + -1)*3/z. Suppose 6*j - l*j - 340 = 0. Is j a prime number?
False
Let m = 3 - -1. Suppose -1785 = -6*i + i. Suppose -k = -m*k + i. Is k composite?
True
Let d = -2 - -4. Let u be (-1)/d*(-4 + 4). Suppose 4*v + 33 = i, u*i + 5*v + 33 = i. Is i a composite number?
True
Is 2/8*(2 + 5442) a composite number?
False
Suppose 0 + 9 = 3*t. Suppose 448 - 22 = t*m. Is m prime?
False
Is (-9)/24 - 1019/(-8) composite?
False
Let x be 83/3 - (-2)/6. Let u be x + (-5 - -2 - -6). Suppose 11 = 2*l - u. Is l a composite number?
True
Let i be 7/((-7)/2) - -4. Suppose -i*z + 5*z = 159. Is z prime?
True
Suppose 4*w - 3 - 1 = 0. Let k be 38/w*-1*7. Is (-1)/4 - k/8 a prime number?
False
Let n(q) be the third derivative of 0 - 5/24*q**4 + 0*q - 2/3*q**3 + 4*q**2. Is n(-7) composite?
False
Let g be 20 + -3 + (-1)/1. Suppose -3*a + g + 74 = 0. Let i = a - -1. Is i composite?
False
Let a(i) be the third derivative of 13*i**4/4 + i**3/6 + i**2. Let k(f) = -f**3 + 7*f**2 - 7*f + 7. Let p be k(6). Is a(p) prime?
True
Let w(l) be the first derivative of 2*l**3 - l**2 - l + 1. Is w(-3) composite?
False
Let s(w) = 5*w**2 - 5*w - 6. Let t be s(-4). Suppose -4*z - 2*o = -58, t - 17 = 5*z - 2*o. Is z composite?
True
Suppose 0*i + 2*i = 4*p - 2540, -3*i = 4*p - 2540. Suppose -3*j = 2*j - p. Is j composite?
False
Suppose 3*x + 9 = 21. Suppose x*h = 5*h, -h = -5*d + 605. Let a = -86 + d. Is a a composite number?
True
Let u be (-20)/(-6)*(-18)/(-15). Suppose -d = 3*d + 5*h + 3, u*d - 3*h = 21. Suppose -3*p + d*a = -33, 3*p = -2*a + 46 - 3. Is p a composite number?
False
Is 15/(-10)*34342/(-21) a composite number?
True
Let g(p) be the first derivative of -p**4/4 + 11*p**3/3 - 9*p**2/2 - 10*p + 1. Let f be g(8). Suppose -i + f = i. Is i a prime number?
False
Suppose 0 = 4*h - h. Suppose 2 = -4*n + b + 4, 2*b - 4 = h. Is n/(-1) + 64/2 composite?
False
Suppose -4*w = 2*x, 0*x - 20 = -3*x + 4*w. Suppose -185 = -x*p - p. Is p a composite number?
False
Let c(n) = n - 4. Let y be c(5). Let o = -7 + 6. Is o/y - -5 - 0 prime?
False
Suppose -k = 3*w + 6 + 11, -5*k - 66 = -4*w. Let c(m) = -m**3 - 14*m**2 - 4*m + 1. Is c(k) a composite number?
True
Let w be ((-24)/(-16))/((-3)/(-52)). Suppose 0 = -4*m - 10 + w. Suppose -163 = -4*c + 5*j, -c + j + 52 = -m*j. Is c a composite number?
False
Let j(s) = s**3 + 2*s**2 + s + 3. Suppose -5 = 3*p - 14. Is j(p) prime?
False
Let x = 8 + -5. Suppose 66 = x*b + 4*t, 0 = 3*b - 5*t - 110 + 17. Is b a composite number?
True
Is 0 + 0 + (-6)/((-24)/1276) prime?
False
Suppose -2*r = 2*r - 2224. Suppose f - 3*f + 2 = 0, 4*f + 6 = 2*i. Suppose -i*b - 2*g - 2*g + 921 = 0, 3*b - r = g. Is b composite?
True
Is (2/3)/(6/2007) composite?
False
Suppose 0 = -5*c + 955 - 350. Is c a prime number?
False
Suppose -3*a + 0 = -267. Is a a composite number?
False
Let n(i) = -192*i - 35. Is n(-9) a prime number?
True
Suppose -2*q - l - 2036 = -5*q, -3*q + 5*l = -2056. Is q prime?
True
Suppose 3*n + n - 6988 = 0. Is n composite?
False
Let z = 11 - 18. Let u(a) = a**3 + 10*a**2 + 10*a - 3. Is u(z) prime?
False
Let k(m) = 152*m - 37. Is k(13) prime?
False
Suppose -16 = 2*g + 2. Let z be (-1196)/(-36) - (-2)/g. Suppose -3*o + 4*o = z. Is o a prime number?
False
Let t = 13 - 14. Is (-11692)/(-24) - t/(-6) a composite number?
False
Suppose -4*p + 4496 - 548 = 0. Suppose -a + p = 2*a. Is a a prime number?
False
Suppose -10 = -5*y + 3*k, -2*y = 3*y + 5*k - 50. Suppose -3*h + 592 = y*t, t + 4*h - 110 - 5 = 0. Is t composite?
True
Let w(n) = 2*n**3 - 6*n**2 - n. Let r be w(5). Is (1 - -1)/(2/r) a composite number?
True
Suppose 4*i - 3*i = -5*q + 12, 3*q = -3*i. Is (-89)/2*(1 + i) a prime number?
True
Suppose -9 = i - 5*q, 6*q = i + 3*q + 5. Is (6/(-8))/(i/(-404)) prime?
False
Let s(i) = -i**2 + i + 249. Is s(0) composite?
True
Let m(n) = n + 17. Let y be m(0). Suppose -y = -t + 15. Suppose -11 = k - t. Is k prime?
False
Is 8/52 + 0 - 6303/(-13) a prime number?
False
Let m be (2/(-4))/((-1)/10). Let l = -141 + 197. Suppose 15 = -m*q, -4*q = 3*g + 11 - l. Is g a prime number?
True
Let u be 2*(-1*2 + -2). Let y be (-6)/(-4)*u/(-3). Suppose -18 = -y*p - 6. Is p composite?
False
Let k = 17362 - 11381. Is k composite?
False
Let y = 405 + -257. Suppose y = 3*c - 170. Is c composite?
True
Let l(h) be the first derivative of 9*h**2/2 + h - 2. Is l(1) composite?
True
Let o(v) = -v - 9. Let p be o(-5). Is (-10)/(-4*p/(-104)) prime?
False
Let t = 15 + -11. Suppose 996 = 4*r + t*h, 3*r - 632 - 131 = 5*h. Is r composite?
False
Let m(q) = -5 - 4 - 2*q - 2. Let g be m(-8). Suppose -23 = -3*p + 2*w + 10, -2 = p - g*w. Is p a prime number?
True
Suppose -2*l - 5*n = 3, 5*n - 3 = 3*l + 14. Is (-2 + 1)*(-145 + l) prime?
True
Let r be (-4)/(-20) - (-4)/5. Let f(b) = 56*b**3 - 1. Is f(r) prime?
False
Suppose 12*k = 10*k + 182. Is k composite?
True
Let m = 5 + 0. Suppose m = a + 2. Suppose -2*z - z = -12, a*s - 5*z = -11. Is s prime?
True
Let o = -3 + 5. Suppose n - 378 = -o*n. Suppose 0 = -5*a, -4*t - a + 206 = -n. Is t a prime number?
True
Let k = -634 - -933. Is k composite?
True
Let f(r) = r**3 - 2*r + 216. Let m be f(0). Let p = m - 137. Is p a composite number?
False
Suppose 11*j = 4263 + 6638. Is j prime?
True
Suppose -2*h + 4*h = -4*f + 40, 23 = h + 5*f. Suppose c + 6*v - v + h = 0, -5*v = 3*c + 4. Is c prime?
True
Let k(g) = -98*g + 9. Is k(-2) composite?
True
Let m be (68 - 1) + 3/1. Suppose -a + m = a. Is a composite?
True
Let j = -26 - 26. Let d = 85 + j. Is d composite?
True
Let x be 2/(0 - -1) + 1. Suppose 0 = -4*m + 21 - 5. Suppose 2*j - x*c = -c + 2, 3*c + 6 = m*j. Is j prime?
True
Let r = 74 + 255. Is r composite?
True
Suppose 0 = 5*u - o - 9501, 25*u - 21*u = -4*o + 7620. Is u composite?
False
Suppose 3*x = -1659 + 4752. Is x a composite number?
False
Let u be -60 + -2 + 0/1. Let s = 265 + u. Is s prime?
False
Suppose -1160 = -4*l - 16. Suppose 888 = 3*p + 3*i, -p + i + l = -0*i. Is p prime?
False
Let r = 4 - 0. Suppose r*p = -0*p. Suppose -3*i + 22 = 4*b - p*i, -9 = -b + i. Is b composite?
False
Let k(b) = b**3 + b**2. Let i be k(-1). Let p(t) = t + 150. Let v be p(i). Is 7/(-7) - v/(-2) prime?
False
Suppose -2*m - 10 = 3*m. Let q be 3 + m - 6/(-2). Is 318/q*12/18 a composite number?
False
Let b = -27 + 26. Let f = 321 + -201. Is 3*(f/9 + b) prime?
True
Let g be (-33)/4 - (-1)/4. Let p be 2/g + 1293/(-12). Let o = p + 161. Is o prime?
True
Let z(i) = i**3 + 14*i**2 - 11*i + 24. Is z(-14) a prime number?
False
Suppose -5*a - 33 = -8*a. Is a composite?
False
Let r(n) be the third derivative of -1/120*n**6 - 1/24*n**4 + 0 + 0*n - 2*n**2 + 149/6*n**3 - 1/60*n**5. Is r(0) a prime number?
True
Let b = -173 + 1074. Is b a composite number?
True
Let v be (-