 + 1868. Is c a prime number?
True
Let f(r) be the third derivative of r**4/24 + 11*r**3/6 - 10*r**2. Let o be f(-11). Suppose o*p + 2*p - 1954 = 0. Is p prime?
True
Suppose 9944 = u + 3*j, -5*u - 5*j + 39769 = -u. Is u composite?
False
Suppose -4*d - 28 = -5*z, 6 = 3*z + 5*d - 2*d. Suppose -h - 4*n = -507, -n = 2*h - z*n - 1025. Is h composite?
True
Suppose -4*u + 5 = u, 0 = 3*z + u - 67. Is (z/33)/((-2)/(-7))*447 a prime number?
False
Suppose -q = 3*o - 307, 2*q = q - 5*o + 315. Is 3/(-9)*(2 + -5)*q composite?
True
Let f(l) = 41*l**2 + l - 2. Let b be f(-2). Suppose x + 3*x = b. Suppose 0*t + 5*t + 79 = 3*j, -3*t = 2*j - x. Is j a composite number?
False
Let k = -25 - -269. Is k/((-5)/((-5)/2)) a composite number?
True
Let v = 18 - 8. Let x be ((-15)/v)/(6/16). Let l(y) = 4*y**2 + 2*y + 2. Is l(x) a composite number?
True
Let j = 12 + -12. Let g(w) = w**2 + 3*w - 6. Let z be g(j). Is (-24150)/(-54) - z/(-27) composite?
True
Suppose -12 = -4*z - 4. Suppose z*y - 1273 = -3*a, 7*a = 2*a + 3*y + 2147. Is a composite?
True
Suppose -216*c = -201*c - 54615. Is c prime?
False
Suppose -2*o + 4*b = -7134, 3*o + 3*b - 14213 = -o. Is o a composite number?
False
Suppose 0 = 5*z + n - 24 - 41, -3*z - 4*n + 56 = 0. Suppose -i = -2*j + 1671 - 310, z = -4*i. Is j a prime number?
False
Let s(o) = 9*o**2. Let t be s(2). Let v be (-8)/t - 20/(-9). Suppose 2*f + 5*g - 392 = 0, -v*f + 386 = g + g. Is f a prime number?
True
Let s = 57507 - 40437. Suppose 9*p + 861 = s. Is p prime?
True
Suppose 3*j = 4*r + 22, -j = 2*j - 5*r - 26. Suppose j*y = 6*h - 2*h - 540, 10 = 5*y. Let l = h - 47. Is l prime?
True
Suppose 4*h = 245 + 271. Suppose -2*t - 19 = -h. Is t prime?
False
Suppose 371*z = 355*z + 419504. Is z a prime number?
False
Let d be (-23)/(-5) - 2/(-5). Suppose -d*r + 684 = -11. Is r/3 - 30/(-45) a composite number?
False
Let a(w) = -w**3 + 14*w**2 + 3*w + 11. Let b(s) be the second derivative of s**4/12 + 3*s**3/2 - 7*s**2 - 5*s. Let m be b(-11). Is a(m) prime?
True
Let p = -26 + 30. Let n(m) = 24*m - 9. Is n(p) a composite number?
True
Let b(u) = -6*u**2 - 4*u - 5*u**3 - 8 + 4*u**2 + 14*u**2 + 4*u**3. Is b(9) a prime number?
True
Let o(n) = -n**3 + 15*n**2 - 24*n + 24. Let t be o(13). Let h = 808 - t. Is h a prime number?
False
Let w(a) = 58*a - 3. Let k be w(6). Suppose -2*j + k = j. Is j a composite number?
True
Suppose 2*h - 451 = -s, s - 23 - 416 = h. Let i = 35 + s. Is i a prime number?
False
Is 8/(-20) - (-49491)/15 a composite number?
False
Let q(g) = 21*g**2 - g - 7. Suppose 2 - 14 = -4*b. Is q(b) composite?
False
Let m be (48/(-18))/(4/(-6)). Is (-5356)/(-36) - m/(-18) a composite number?
False
Let x(g) = g**3 - 5*g**2 + 4*g + 1. Let w be (-4)/(-6) - 247/(-39). Is x(w) a composite number?
False
Suppose 3*t = -t + 204. Let d(m) = -7 + 4*m**3 - 3*m**3 + 64*m - 8*m**2 - t*m. Is d(9) a composite number?
False
Let n = -1106 - -1726. Suppose -5*u = 2*q - 298, -4*q - u + n = -3*u. Let h = q + -67. Is h a composite number?
True
Suppose 4*s - 8 + 0 = 0. Let a be s + -993*(-3 - -4). Let f = a - -1788. Is f a prime number?
True
Suppose -3*d - 686 = -5*d. Let r = 437 - 635. Let v = d + r. Is v composite?
True
Let h = -4384 + 21993. Is h a composite number?
False
Suppose -1 = u, 3*o = -u + 4*u + 3. Suppose -2*s + 524 + 474 = o. Is s composite?
False
Suppose -4*g - 5*g + 59229 = 0. Is g a composite number?
False
Suppose 0 = 2*g - 5*u - 14, -4*u - 12 = -2*g - 0*g. Let x(d) = -296*d - 2. Let n be x(g). Let v = -407 - n. Is v a composite number?
True
Suppose 29*y - 34*y = -10. Suppose 0*q - 716 = -y*q + 2*p, -3*p = 9. Is q prime?
False
Let t be 3*(-2)/6 + 1. Suppose -3*w - 1045 = -4*i - t*w, i = 2*w + 255. Is i composite?
True
Let t = -9115 + 18344. Is t prime?
False
Let l(h) = 45*h**2 - 8*h + 9. Let s be (4/(-8))/(2/(-16)). Is l(s) a composite number?
True
Let m(f) = 11*f**2 + 43*f - 27. Let n(x) = -7*x**2 - 29*x + 18. Let w(l) = 5*m(l) + 8*n(l). Is w(-10) a prime number?
True
Suppose 13*d - 102271 = -0*d. Is d a prime number?
True
Suppose -2*u + 2750 + 504 = 0. Let q = -876 + u. Is q composite?
False
Suppose 344757 = -185*v + 206*v. Is v composite?
False
Suppose -2*n + 26835 = 5*i + 10124, 5*n - 41770 = -5*i. Is n a composite number?
False
Let g(l) = 122*l - 18. Let f be g(11). Let y = 7 + -4. Suppose -4*o + 331 = -y*u + 4*u, 4*u - o = f. Is u a composite number?
False
Let d = -24 - -18. Let t(c) = -c**3 + 9*c + c**2 - c**2 + 1. Is t(d) composite?
False
Suppose -4 = -c + 3*d, 0*d = 4*c + d - 16. Suppose -4*t - c*z - 48 + 164 = 0, 3*t - 82 = -2*z. Let b = 307 + t. Is b a composite number?
False
Is ((-43714)/33)/(-1 - (-3)/9) a composite number?
False
Let y(f) = 23*f**2 + 4*f. Let q be y(6). Suppose -5*m + 5*r = 52 - q, 5*r = -3*m + 504. Is m prime?
True
Let y(w) = 397*w**3 + 4*w**2 + w + 7. Is y(3) composite?
True
Let r(u) be the second derivative of u**4/12 + 7*u**3/6 - u**2/2 - 7*u. Is r(5) a composite number?
False
Let k be (-1277)/3*(-63)/((-21)/(-3)). Let l = -40 + k. Is l prime?
False
Let w(m) = -3*m**3 - 37*m**2 - 27*m + 9. Let n(g) = -2*g**3 - 19*g**2 - 14*g + 4. Let a(i) = -5*n(i) + 3*w(i). Is a(17) a prime number?
True
Suppose 5*h - 6 = 14. Suppose 3 = t + 5*c - 4, 0 = -2*t - h*c + 8. Suppose t*l = 61 + 49. Is l a prime number?
False
Let q = -8 - -8. Suppose -2*u - 4*k = -q*k - 20, 4*u + 20 = 4*k. Suppose u = 3*h - 8*h + 1065. Is h prime?
False
Let b = -267 - -848. Is b composite?
True
Let b = -1479 - -2113. Is b composite?
True
Is 3/(-4)*18/(-27)*18474 a prime number?
False
Suppose -4*f + 3*x + 20 = -3, 0 = f + 3*x + 13. Let t be 20/16 - f/8. Is (-8 + t)*(-6 - -5) a composite number?
False
Let p be 1 + 0 + 41/1. Suppose 4*j - j + p = 0. Is 4/14 + (-2670)/j prime?
True
Let x = 2359 - 738. Is x prime?
True
Let t be -2 - 2*(-89 - -2). Let y = -45 + t. Is (4 - (0 - -3))*y prime?
True
Let l be (-50)/(-8) + (-9)/(-12). Suppose -l = j + 2*g, -6*g + 5 = -2*j - g. Let c = 18 + j. Is c composite?
False
Let q be (-3030)/33 + (-2)/11. Let z be q/(-9) - 16/72. Suppose -6*y = -z*y + 4196. Is y a prime number?
True
Suppose 2*c + 3*m = -116, 0 = 8*c - 3*c + m + 264. Is 29/(c/(-17) + -3) prime?
False
Suppose -2*v - m + 2717 = 0, -v - 3*m + 1848 = 502. Is v a prime number?
True
Suppose -3*c - 13*a + 10*a = -60897, 4*c - 81216 = a. Is c a composite number?
True
Let k(a) = 8*a**2 - 4. Let s(c) = -1 - c**2 + 0*c + 9*c + 3*c - 11*c. Let h(x) = k(x) - 3*s(x). Is h(-2) composite?
True
Is (-3)/3 - (-32596 - -54) composite?
True
Suppose -3*h + 101 + 850 = 0. Suppose -d - 50 = -h. Is d a prime number?
False
Suppose -11 - 4 = -3*f. Suppose -2*q - f*t + 1758 = 0, 4*q - t - 3516 = -3*t. Suppose -3*o = -0*o - q. Is o a prime number?
True
Let j = 4788 - 2767. Is j composite?
True
Let t(m) = m**3 - 6*m**2 - 9*m - 3. Let j = -6 + 7. Let d(h) = 7*h**2 + 3*h - 2. Let v be d(j). Is t(v) composite?
False
Suppose -2*x - 14 = -u, 0*x - 4*x = -u + 22. Let s(p) = p**3 - 2*p**2 - 8*p - 1. Is s(u) a composite number?
True
Suppose 156*j - 110270 = 146*j. Is j a composite number?
False
Suppose -4 = -2*a - 3*n + 8, 2*n = -a + 7. Suppose 11*d = 16*d. Suppose 0 = -5*j, 0 = -d*s + 4*s - a*j - 2084. Is s composite?
False
Let f(d) = 7*d - 3. Let n be f(1). Suppose n*z - 3430 = 2014. Is z a composite number?
False
Suppose 4*f = -4, -n + 4*f + 1 = -13. Suppose -2*x - 718 = 4*r, -2*x + 3*r + 248 = 952. Is x/(-25) + (-2)/n a composite number?
True
Let b be (12 - 8)*(-2)/4. Let h be (-5 + (-1 - 0))/b. Is (-1)/h + 436/3 prime?
False
Let h be (20/4)/(4 + (-1 - 4)). Let r(f) = -7*f**3 + 4*f**2 - 6*f + 4. Is r(h) prime?
True
Let q(o) = -7*o + 21. Let t be q(-19). Let g = 785 - t. Is g prime?
True
Suppose 4*m + 5275 = 3*n, -7*m + 3*m - 4 = 0. Is n composite?
True
Let g be (-1*2)/(2 + -3). Suppose -g*o + 6 = -6. Is (-212)/6*o/(-4) composite?
False
Suppose 0 = -13*a + 30 + 61. Let f(k) be the third derivative of k**6/120 - 7*k**5/60 + 5*k**4/24 + k**3/3 + k**2. Is f(a) a prime number?
True
Let c(z) be the second derivative of 116*z**3/3 - z**2/2 - 5*z. Let t be c(3). Suppose t = 3*m + 134. Is m composite?
True
Suppose 0 = x - 3*i - 2726, 3*x + 4*i - 1044 - 7199 = 0. Is x a composite number?
False
Is 22142/6 - ((-200)/30 + 6) a composite number?
False
Is (-34)/119 + (-275258)/(-14) composite?
False
Let j be -1*1*(-