ime?
False
Let j = 42 + 1. Is j a composite number?
False
Suppose 3*m + 7 = 1. Is m*(58/(-4) - 1) a composite number?
False
Let r(q) be the first derivative of -49*q**3/6 + 3*q + 1. Let t(a) be the first derivative of r(a). Is t(-1) composite?
True
Let c be (-12)/(-1)*(-2)/(-4). Let k(z) = -z**2 + 4*z + 4. Let h be k(c). Is h/3*(-3)/2 a prime number?
False
Let v(z) be the second derivative of -2*z**3/3 - 5*z**2/2 - 6*z. Is v(-3) composite?
False
Suppose 0 = -3*t + 4 + 5. Suppose 464 = t*s - 91. Is s a prime number?
False
Is (-1829)/(-9) + (-30)/135 composite?
True
Let v = 2 - 2. Suppose p + 4*p - 575 = 0. Suppose -4*b - 4*c = -c - p, v = b - c - 20. Is b composite?
True
Let r = -458 - -1131. Is r prime?
True
Let f(i) = -2*i**3 - 6*i**2 - 4*i + 3. Let l be f(-5). Suppose 4*d - 391 + l = 0. Is d a composite number?
False
Let a(x) = x**2 + 6*x + 4. Let j be a(-6). Let t(d) = -4*d**3 + 4 + 5 - j - 17*d**2 + 8*d**2 - 2*d. Is t(-6) a composite number?
False
Suppose 1283 = 6*t - 319. Is t composite?
True
Let k(d) = -d**3 - 7*d**2 - d - 7. Let s be k(-7). Suppose -c = -0*c, s = -p - 5*c + 79. Is p composite?
False
Let o be (-6)/(-15) + 866/10. Let u(q) = q**3 - 7*q**2 + q - 11. Let d be u(5). Let g = d + o. Is g prime?
True
Let s(f) be the third derivative of -f**4/12 + 5*f**3/6 - 3*f**2. Is s(-5) composite?
True
Let k(f) = 3*f - 10. Suppose 4*b - 5*i + 0*i = 157, 2*i - 188 = -5*b. Suppose -3*o = 4*a - 19, b = 5*a - o - 0*o. Is k(a) a prime number?
True
Let k be 0*-2*(-2)/8. Let q be (k + -2)*(-1)/2. Is 1*69/3*q a prime number?
True
Suppose -2 = -4*x + 2*x. Is 93/6 - x/2 a composite number?
True
Let v = 1489 + -696. Is v a prime number?
False
Let v(w) = -w**3 - 3*w**2 - 10*w - 5. Let q be v(-9). Suppose 0 = -3*m + g + q, -2*g - 693 = -3*m - 124. Is m a composite number?
False
Suppose r - 4 = -5*p + 3*p, 0 = -r + 5*p - 17. Let s = r - 1. Is s/3 + 16*5 a prime number?
True
Let p(h) = 6*h**2 - 3*h + 3. Suppose a + 0 = 2. Let q be p(a). Is (q/2)/((-1)/(-2)) composite?
True
Suppose -4*o = -321 - 2459. Is o composite?
True
Suppose -2*u = -3*u + 5. Suppose 0*h - u*h = -4*r - 258, -4*r + 92 = 2*h. Let k = 103 - h. Is k a prime number?
True
Suppose p + 66 = -3*b + 1, 3*b - 2*p + 50 = 0. Is (3 - (-16)/b)*5 composite?
False
Let b(t) = -3*t + 64*t**2 + 6*t - 4*t - 1. Is b(2) composite?
True
Let n be (-4 + 1 - 4) + 2. Let u(q) = 3*q**2 + q - 3. Is u(n) a prime number?
True
Suppose 0 = 7*u - 3*u + 4. Let g be 1 - u*(5 + -2). Suppose -g*w - 163 = -479. Is w prime?
True
Let b(u) = 43*u - 6. Let m be 8 + (5 - 8/4). Is b(m) prime?
True
Let c(n) = -3*n**2 - 6*n + 6*n + 7*n**3 + n**2 + 1. Is c(2) a prime number?
False
Let j(h) = 4*h. Let o(w) = -7*w. Let x(f) = -7*j(f) - 3*o(f). Is x(-2) prime?
False
Let s(n) = 8*n**3 + 9*n**2 - n - 7. Is s(6) prime?
True
Let p(t) = -2*t - 2. Let x be p(-2). Suppose -x*i = 2*i - 120. Suppose -2*h + 124 = -i. Is h a prime number?
False
Let l be 1 - ((-12)/1)/4. Suppose l*d - 407 - 221 = 0. Is d composite?
False
Suppose -3*h = -5*r + 946, -5*r + 797 = -2*h - 152. Is r composite?
False
Suppose -r - 33 = -142. Is r prime?
True
Suppose 0*o = -4*o + 28. Suppose 4*n - o - 1 = 0. Suppose -n*w - 166 = -5*s + w, 2*w + 29 = s. Is s prime?
False
Suppose -5*t - 7 = -32. Suppose t*b + 489 + 201 = 0. Is 6/9*b/(-4) a prime number?
True
Let w be (2 + -3)/((-3)/123). Is w - -1*(4 - 2) a composite number?
False
Suppose -5*v - 47 - 58 = 0. Suppose -3*t + 894 = g, 2*t - 1490 = -3*t - 3*g. Is t/14 + 6/v a prime number?
False
Suppose -5*g - 12 = -u + 5, 0 = 3*u - 2*g - 12. Let o = 10 + u. Suppose -5*p + 18 = -o. Is p prime?
False
Let g(h) = h**2 - 4*h + 7. Let w(o) be the third derivative of -o**5/60 + 5*o**4/12 - 5*o**3/3 - o**2. Let r be w(8). Is g(r) a composite number?
False
Let z(w) = -w**2 + 6*w - 1. Let y(t) = 6*t**2 - t. Let k be y(1). Let c be z(k). Suppose 7*v - c*v = 111. Is v a composite number?
False
Let h(t) = -t**2 + 11*t - 4. Let x(o) = -2*o - 7. Let j be x(-8). Is h(j) prime?
False
Suppose 5*b - 3*i - 24 + 0 = 0, -3 = -5*b - 4*i. Suppose 0 = b*y - 0*y - 183. Suppose -y - 5 = -2*c. Is c prime?
False
Suppose 2*h = -4, m - 5*h = 3*m + 2. Suppose m*u - 94 = 142. Is u composite?
False
Let u = -4 + -1. Is (1/(-2))/(u/110) composite?
False
Suppose 2*f + 4 = 0, -2*f = k + 2*f + 8. Suppose k*w = -w + 21. Is w a composite number?
True
Suppose -2*g + 989 = -5*p, -3*p + 0*p = -5*g + 2444. Is g prime?
True
Let w(h) = 156*h + 11. Is w(8) a composite number?
False
Let a(f) = -2*f**3 - 3*f**2 + 5*f + 5. Let k(t) = t**3 + 13*t**2 + 11*t - 17. Let o be k(-12). Is a(o) prime?
False
Is (-6)/(-21) - 2082/(-14) prime?
True
Let t(u) be the third derivative of u**5/30 - u**4/4 - 7*u**3/6 - 4*u**2. Is t(5) prime?
True
Let n(g) = 2*g**3 - 2*g**2 - g. Let o be n(2). Is 15/2 + (-3)/o composite?
False
Suppose -2*j + 4*j = 76. Let q = j - 19. Is 4*q + -1 + 2 composite?
True
Let t(l) be the first derivative of 7*l**4/4 + l**3 + l**2 + 5*l + 4. Is t(4) a prime number?
True
Suppose -3*m - 4*r = m, m - 5*r = 0. Suppose -4*b - 7 + 23 = m. Is b composite?
True
Let f = 3206 + -1341. Is f a composite number?
True
Is (1/1)/(4/196) composite?
True
Suppose -2*p + 148 + 136 = 0. Let m = p - 99. Is m a composite number?
False
Suppose 2*d = 4*d - 18. Let z(n) = n + 30. Let h be z(0). Let t = h - d. Is t a composite number?
True
Suppose -17*h + 15*h + 222 = 0. Is h prime?
False
Let v(o) = 3139*o**2 + 5*o + 3. Is v(-1) a prime number?
True
Let f(n) = -n - 4. Let a be (-2)/5 - (-114)/(-15). Let m be f(a). Suppose m*b - 158 = -2. Is b prime?
False
Let t(y) be the first derivative of 14*y**2 - 3*y + 3. Is t(2) prime?
True
Let w(y) = 47*y - 6. Let f be w(-6). Let h = f - -605. Is h a composite number?
False
Let t = 352 + -229. Is t a prime number?
False
Let l = -5 - -11. Is l prime?
False
Let j = 181 + 118. Is j a composite number?
True
Suppose 2*b - 597 = 9. Is b a composite number?
True
Is ((-717)/9)/(5/(-15)) a prime number?
True
Let l(v) = -3 + 2*v + 2 - 1 - v. Let x be l(4). Suppose 0 = -m + 2 + x. Is m prime?
False
Suppose 4*w - 4529 = -5*m, w = -4*m + 3697 - 65. Let c = m + -496. Is c a composite number?
True
Suppose -x - 7*p = -2*p, 2*p = -3*x. Suppose w - 4*o = -x*w + 253, -3*o = w - 246. Is (-2)/((-3)/w*2) prime?
True
Suppose -j = 2*v + 3*v - 4, -4*j = v - 16. Suppose 0 = 2*g - 4 - j. Suppose g*y - 4*k - 47 - 57 = 0, -3*k = -y + 32. Is y a composite number?
False
Let w = 35 - 15. Is (253/(-22))/((-2)/w) composite?
True
Suppose 3 = t - 2. Suppose -t*l + 8 = -12. Is l composite?
True
Let q = -2 + 6. Suppose -q*g = g - 15. Suppose -17 = -3*w + 2*o, -7 + 34 = g*w + 3*o. Is w a composite number?
False
Suppose 94 = -4*r - 118. Let a = 74 - r. Is a a composite number?
False
Let z be (-1)/(((-16)/(-444))/4). Let j = -8 - z. Is j composite?
False
Suppose -f - 2*f + 5*x - 23 = 0, -4*f = -5*x + 29. Let l(v) = -3*v**2 - v - 3. Let h be l(f). Let b = 164 + h. Is b a composite number?
False
Suppose -2 = 3*u - 14. Is u/6*114/4 composite?
False
Let a = 207 + -88. Is a a composite number?
True
Let a(v) = -v**3 + 11*v**2 - 13. Let r be a(9). Suppose 2*p - 4*k - 8 = 106, -3*p - 5*k + r = 0. Is p a composite number?
False
Let o be -17 + 3 + 4/4. Let h be -1*14/4*2. Let v = h - o. Is v composite?
True
Let v(y) = y**2 + y. Let p be v(-2). Suppose 3*i + 1424 = 2*o, 2126 = o + p*o - 2*i. Let b = o - 483. Is b composite?
False
Let y = 121 - 86. Is y composite?
True
Let n(f) = 14*f**2 - 3*f + 10. Is n(3) composite?
False
Suppose 4*o = -2*o + 1812. Suppose -3*j + 448 = x + 10, -2*j + o = 4*x. Is j prime?
False
Let a(d) be the first derivative of 2 + d + 4/3*d**3 - 3/2*d**2. Is a(2) prime?
True
Let d = -2 - 1. Let n = -9 + 6. Is d/(-2*n/(-138)) a composite number?
True
Let t(m) = -2*m + 2122. Is t(0) a composite number?
True
Let k(y) = 73*y**2 - 2*y. Let p(o) = -74*o**2 + o. Let v(b) = -2*k(b) - 3*p(b). Is v(1) prime?
False
Let x(c) = 2*c**2 + 8*c - 8. Let f be x(-10). Suppose 0*o - 2*o = 2*l - 6, 3*l = 3*o + 9. Suppose q - 3*h - f = 0, o = -4*q + h + h + 458. Is q prime?
False
Suppose 0*t = 3*t - 291. Is t composite?
False
Let d(b) = 39*b**2 + 5*b + 3. Let x be d(-3). Let m = x + -235. Let r = -49 + m. Is r prime?
False
Suppose 2*c + 0*c = 3314. Is c prime?
True
Suppose -2*l + 8 = -22. Is l prime?
False
