c(y) a prime number?
True
Let r(l) be the third derivative of -1/120*l**6 - 3/20*l**5 - 11/24*l**4 + 0*l + 1/6*l**3 + 0 + 3*l**2. Is r(-8) a composite number?
True
Suppose -9*t + 76 = -5*t. Is t a composite number?
False
Let j = 278 + 66. Let f = j + -231. Is f prime?
True
Let f be (-16)/1 - (1 + 0). Let m = 78 - 39. Let a = m + f. Is a prime?
False
Suppose -24 = -5*b - 4*v, -4*v - 19 = -4*b - 7. Suppose b*p + 32 = -d, 5*d = 3*p + p + 8. Let k = -4 - p. Is k a prime number?
True
Suppose 2*t + 525 = 7507. Is t a prime number?
True
Suppose -4*h - 4 = -4*m, 2*m - 4*m = h + 7. Let d(z) = 2 + 2*z**3 + 2*z - 5*z**2 - z**3 + 10*z**2. Is d(m) a composite number?
True
Is 0/3 - (-502)/2 prime?
True
Let g = 6 + -4. Let n(f) = -2*f**2 + 2*f + 2. Let y be n(g). Let r = 1 - y. Is r composite?
False
Is (0 - (-897)/9)*(-7 + 10) prime?
False
Let p be (-19)/2*(6 + -34). Suppose 2*v = -0*v + p. Is v a prime number?
False
Let o(s) = s**3 - 2*s**2 - 4*s - 1. Let r be o(3). Let m = r - -39. Is m a prime number?
False
Let j = -20 - -20. Suppose -3*r + 0*r + 705 = j. Is r prime?
False
Is (1522/(-8))/(12/(-48)) a prime number?
True
Let c = 2 - 2. Suppose c*r - 22 = -2*r. Suppose 2*z - 11 = r. Is z composite?
False
Let o(j) = -j**3 + j**2 + j + 6. Let r be o(0). Let m be (-9)/(-2)*r/9. Is 0/m - (-91)/1 a prime number?
False
Let u be (-1773)/(-7) - 4/14. Suppose -u = -5*c - 88. Suppose 3*i + c = 111. Is i a composite number?
True
Suppose 0 = -0*q - 3*q - 3. Let i(m) be the third derivative of -7*m**4/24 + 5*m**2. Is i(q) prime?
True
Suppose 5*j - 9 - 1 = 0. Let g be (-5)/40*-4*56. Suppose -j*k - 2*k + g = 0. Is k a prime number?
True
Let h = 313 - -78. Is h composite?
True
Suppose -4*q + 4*p + 19432 = 0, 2*q - 5089 = -5*p + 4592. Is q prime?
False
Suppose 0 = 4*c - n - 216, -224 = -4*c - n + 4*n. Let v = -18 + c. Is v composite?
True
Is 117/2 + (-11)/(-22) prime?
True
Suppose -212 = -0*a - 2*a. Let s = -59 + a. Is s prime?
True
Suppose -g - 3*p + 7*p + 355 = 0, g - 2*p - 345 = 0. Is g a composite number?
True
Suppose w + 0 = 31. Is w prime?
True
Let v = -14684 + 26781. Is v prime?
True
Let q be (-36 - -3)*(-1 - -2). Is (-11)/q - 220/(-6) a prime number?
True
Let q = -5 - -10. Suppose -q*s + 205 = -120. Is s composite?
True
Is (-2)/(-6)*(-5)/(5/(-2721)) prime?
True
Let p(w) = w**3 + 11*w**2 - w - 10. Let o be p(-11). Is 143*4*o/4 a composite number?
True
Let a(r) = -r**2 + 5*r - 8. Let i be a(-7). Let g = -25 - i. Is g/3 - 6/(-9) a composite number?
False
Suppose -208 = -2*h + 2134. Is h a prime number?
True
Suppose -6 = -4*j + 4*b + 18, -2*j + 6 = -5*b. Suppose -192 = -4*o - 2*l - 2*l, 0 = 2*l - 6. Suppose 0 = -3*s + j*s - o. Is s composite?
True
Suppose 0 = -0*j + 2*j - 320. Let p be 2 + 0 - (-3 + -222). Let k = p - j. Is k a composite number?
False
Let d(n) = 21*n**2 - 3*n + 1. Suppose -4*w - 17 = -5. Is d(w) composite?
False
Let k = 12 + -10. Is ((-1137)/6)/(k/(-4)) a composite number?
False
Suppose -3*t - 1245 = -2*x - 3*x, -5*t + 781 = 3*x. Suppose 2*y + 2*i = x, -2*y + 3*i = -3*y + 120. Is y a composite number?
True
Suppose -2*p + 0*p - 6 = 0. Is p + 1 - (-340 + 1) composite?
False
Suppose -j - 1 = 313. Is (3/1)/((-6)/j) a composite number?
False
Is 674 - (3 - -1) - 3 a prime number?
False
Let b(z) be the third derivative of -17*z**6/3 - z**3/6 - z**2. Is b(-1) a composite number?
True
Let g(k) = k - 6. Let o = 19 - 13. Let b be g(o). Suppose b*i = -i + 9. Is i a composite number?
True
Suppose -4*q + 5*q = 0, 4*f = 4*q + 5348. Is f a prime number?
False
Suppose 4*w - w - 3 = 0. Let c = -10 - -7. Is w + 6/c - -14 a prime number?
True
Let w = -35 + 69. Let a = 28 + w. Is a composite?
True
Let l(j) = -28*j - 30. Is l(-4) a prime number?
False
Let n(f) = -251*f**3. Is n(-1) a prime number?
True
Let n(b) = 204*b**2 - 3*b + 2. Is n(-3) prime?
True
Suppose 1 = -x + 4. Suppose -4*c = 2*d - 0*c, 4*d = x*c. Suppose -4*y - 47 = -3*u + y, 2*y - 4 = d. Is u a prime number?
True
Let h be -6 - 545 - (-6)/(-2). Let n = -175 - h. Is n prime?
True
Let a(i) = -4 + 3 - 2*i**2 + 3*i**3 - 3*i**2 + 4*i. Let o be a(3). Let f = 50 + o. Is f prime?
True
Suppose u = -3*u + 5*b - 3, -3*u - b = 7. Is u*3/6*-77 composite?
True
Suppose 0 = 4*r + 5*c + 20, 2*r + 0*c + c + 4 = 0. Let l = 2 + r. Suppose -3*z = -l*z - 53. Is z a composite number?
False
Is (2 + 1 + -2)/((-1)/(-31)) a prime number?
True
Suppose -a = -2*l + 4, 4*a - 10 = -0*l - 5*l. Suppose -4*y - 2*g = -52, 5*y = -l*g - 0*g + 65. Let z = y + -3. Is z prime?
False
Let v(k) = k + k - 5*k - k**3 - 1 + 3*k**2 + 4. Is v(-4) a prime number?
True
Let m(a) be the third derivative of 37*a**4/8 - a**2. Is m(1) composite?
True
Is (-2)/(-10) - 205582/(-65) a composite number?
False
Let c be (-1)/3 - 1792/6. Let j = -213 - c. Is j/6 - (-4)/6 prime?
False
Let a = -18 - -199. Is a a composite number?
False
Let j = 16 + -5. Is j a composite number?
False
Suppose -2*g = -6*g + 24. Let b = g - -32. Suppose -143 = -5*c - b. Is c composite?
True
Let o be -1*(-3 - (0 + -2)). Is (-3)/o + 5 - -35 a prime number?
True
Suppose -3*t + i + 402 = 0, -888 + 336 = -4*t - 4*i. Suppose -3*u - 3*z + t = -5*z, 5*u + 5*z - 250 = 0. Is u a prime number?
True
Let g = 0 + 4. Let l = -301 - -425. Suppose -g*u - q = -6*q - l, -u + 31 = q. Is u a composite number?
False
Suppose 5*d + 72609 = -3*v, -2*d = -4*d + v - 29037. Is d/(-56) + (-2)/7 composite?
True
Suppose r - 4*o = -o - 7, 28 = 4*r + 2*o. Suppose 0 = -5*m - 2*h + 1065, 3*m + 4*h = r*m - 402. Is m composite?
False
Suppose -313 = -m - 0*m. Let n = -135 + m. Is n composite?
True
Suppose p = 6*p + 4*h - 20, 55 = 5*p - 3*h. Let b = p + -10. Is (4 + b)*(-21)/(-2) composite?
True
Let y = -1062 + 2073. Is y a composite number?
True
Suppose 87 = 6*w - 873. Suppose -w + 644 = 4*b. Is b a prime number?
False
Let h(t) = -7*t - 7. Is h(-6) a prime number?
False
Let u(f) = f**3 + 6*f**2 + 2*f - 2. Let o be u(5). Suppose -2*j = -4, 5*h + 5*j - o = 2*h. Is h composite?
True
Suppose -4*k + 6*n = n - 417, 3*k + 3*n - 306 = 0. Is k prime?
True
Is (269/4)/(2/8) a prime number?
True
Let n(z) = -z**3 - 4*z**2 + 5. Let j be 23/(-6) + 1/(-6). Let o be n(j). Suppose a - 21 = -w - 2*a, o*w = 5*a + 105. Is w prime?
False
Let l(b) = -b**2 + 9*b + 5. Let r be l(9). Let a(c) = 2*c**2 - 3*c + 2. Is a(r) a composite number?
False
Let c(v) = v**3 - 16*v**2 - 56*v + 2. Is c(23) a composite number?
False
Suppose 0 = 2*f + 5 - 1. Let g(p) = -21*p + 2. Let z be g(f). Suppose 0*d = -5*d, z = 2*w - 4*d. Is w a composite number?
True
Suppose 3*t + 5*i - 9 - 26 = 0, -5*i = -5*t + 5. Suppose -t*x + 261 = -2*x. Is x a composite number?
True
Suppose -6*z + 3*z + 3*b + 540 = 0, 3*z + b = 536. Is z a composite number?
False
Let a(d) = 6 - 8 + 250*d - 6*d - 1. Let s be a(2). Suppose -4*q + s = q. Is q a composite number?
False
Let c(q) = 10*q + 2. Let s be c(7). Let x = s + -22. Let j = x + -12. Is j composite?
True
Let l(v) = v**3 + 8*v**2 - 7*v - 1. Let f be l(-10). Let s = -40 - f. Is s a composite number?
True
Suppose 0*j + 42 = 5*j - 3*a, 4*j - 4*a - 32 = 0. Is j composite?
True
Suppose 0 = 3*m + q - 7289, -m + 4*q + 4850 = m. Is m prime?
False
Suppose -4 = 3*x + 2. Let g(j) be the first derivative of -57*j**2/2 - 3*j + 5. Is g(x) composite?
True
Let q = 5 - 2. Suppose 0 = r - 4*t + 146, -5*t + q*t + 654 = -4*r. Is 1*2*r/(-4) a composite number?
False
Suppose -2*o + 994 = 2*w - 5*o, w - o = 497. Is w a prime number?
False
Is 1266*(4/8 + 0) composite?
True
Let m(z) = 37*z**3 - z**2 + 2*z - 1. Let q be (2/4)/((-1)/(-4)). Suppose -3 = -3*f + 3*w, q*w + 3 = -f + 4*f. Is m(f) a composite number?
False
Suppose 4*k - 3*v = 16, 2*v = -5*k + 4*v + 27. Let s(m) = m - 4. Let c be s(k). Suppose 4*t + 4*i = 188, -322 = -4*t + c*i - 120. Is t composite?
True
Let i(p) = 5*p - 5. Let j be i(-11). Let u = -4 - j. Suppose 0 = -3*c + 145 + u. Is c composite?
False
Let v = 1754 - 993. Is v composite?
False
Suppose w - 1331 = -3*i, 4*i - 359 = -w + 1417. Is i prime?
False
Let b(h) = -15*h - 1. Let z be 6/1 + -3 + -14. Let g be b(z). Suppose 4*p = c + c - g, 4*c + 2*p - 288 = 0. Is c a composite number?
True
Let l = -2 + 1. Let j be 15/2 + l/2. Suppose -3*a + 11 + j = 0. Is a composite?
True
Is 53/(-1)*2/(-2) a composite number?
False
Is ((-14)/(-10))/(1/5) composite?
Fal