composite number?
False
Let f be (-1 - -2)*(-763 + -6). Let x = 1182 + f. Is x a prime number?
False
Let t = -481108 + 1144739. Is t a composite number?
False
Let r(a) be the first derivative of 25/2*a**2 - 1 + 8*a. Is r(6) a prime number?
False
Let k(n) = -17 + 33 - 413*n - 30 - 7. Is k(-4) prime?
False
Let c(z) = 11*z - 24. Let w = 50 - 58. Let m(o) = -o**3 - 9*o**2 - 7*o + 13. Let q be m(w). Is c(q) composite?
False
Let g = -114 + 1272. Let y = 1363 + g. Is y a composite number?
False
Is 468583 - (13 - (-11 + 3)) a composite number?
True
Let c(d) = -14*d + 687. Is c(14) a composite number?
False
Let b = 17730 + -12461. Is b a prime number?
False
Let q(j) be the first derivative of -19*j**4/4 - j**3 - 5*j**2/2 - 2*j + 5. Suppose 39*b - 34*b + 15 = 0. Is q(b) prime?
True
Let v(s) = -31*s**3 + 2*s**2 - 4*s + 10. Let n be 46 + -3*(0 - (-3)/3). Let y = n - 46. Is v(y) a prime number?
True
Let v = 6726 + 63676. Is v a prime number?
False
Is 8493402/(-24)*(-5 + (-2)/(-8 + 6)) a composite number?
False
Let a be 9/(-6 - (-6 - 1)). Let d(y) = 1231*y + 8. Is d(a) a prime number?
True
Let k(m) = 0*m**3 - 4*m**3 + 2*m**3 + 7 + 12*m + 0*m**3 - 10*m**2. Let u be k(-11). Let d = u + -406. Is d prime?
False
Suppose -4*g - 3*d + 1767 = -8*d, -1777 = -4*g + 3*d. Suppose -3*q + g = -905. Is q a prime number?
False
Let n(p) = p**3 - 2*p**2. Let h(r) = r**3 + 9*r**2 - 4*r + 10. Let y(w) = -h(w) - 3*n(w). Is y(-9) a prime number?
False
Let p(f) = 3153*f**2 + 216*f + 13. Is p(8) prime?
False
Let n = 17226 + -11407. Let m = n - 4050. Is m prime?
False
Let k = 52 + -57. Let v be 1 - (k + -1)/(15/530). Suppose -h + c = -198, -h - c - c + v = 0. Is h prime?
False
Let q(v) = -315380*v + 2823. Is q(-2) prime?
True
Suppose -5*v - 12470 = 5*b, -7442 = 3*v - 0*b - 5*b. Is 0*(3 - 2) - v a prime number?
False
Suppose 78*p - 2*p - 304 = 0. Suppose 18 = 2*y + 4*m, -y = -2*y + m. Suppose 1361 = -y*g + p*g. Is g prime?
True
Let k(c) = -19 + 3*c + 4 - 5. Let i be k(5). Is (i/(-10))/((-2)/(-996)) composite?
True
Suppose -f = 3*v + 31 + 147, -v + 5*f - 54 = 0. Let i = 434 - v. Is i prime?
False
Suppose 6*q + 2*h = 2*q + 33222, -24936 = -3*q + 5*h. Let x = -122 + q. Is x composite?
True
Suppose -2*w - 57 = -4*u + 3*w, 0 = -2*u + 2*w + 26. Let k(d) be the first derivative of d**3 - 5*d**2/2 - 7*d + 13. Is k(u) a composite number?
True
Let g be 970 + ((-2)/(-1) - 1). Suppose b = -4*l - 194, b + 21 = 2*l - 155. Let u = b + g. Is u prime?
False
Suppose -236261 = -5*u - k, -1796*u + 3*k + 141735 = -1793*u. Is u a prime number?
True
Let t = -76 + 79. Suppose -3*x + 5*w + 4544 + 4910 = 0, t*x - 9482 = -2*w. Is x prime?
False
Let l = -53 - -68. Let u be -2*20802/l*-5 - -1. Is u/(-6)*(-4)/6 a composite number?
True
Let h(y) be the third derivative of -17/6*y**3 - 3/8*y**4 + 1/60*y**5 + 0*y + 16*y**2 + 0. Is h(-8) composite?
True
Is 8/6*3*(-42)/(-168)*440807 composite?
False
Let x = 217662 - 103731. Suppose 147*n - 156*n = -x. Is n a composite number?
False
Let z = 32325 - 22202. Is z a composite number?
True
Suppose -637*y + 724*y = 27271977. Is y a prime number?
True
Let r(o) be the third derivative of -7*o**6/120 + 7*o**5/60 - o**4/24 - o**3/3 - 7*o**2. Let s be 392/(-22) - -18 - 70/22. Is r(s) a prime number?
False
Suppose -10*c = -4*c + 252. Let j = -45 - c. Let d(i) = -21*i + 6. Is d(j) prime?
False
Suppose 5*n + d = -1, -4 - 1 = n + 5*d. Suppose r + n - 146 = -2*f, 4*f = 3*r + 272. Is f a prime number?
True
Let k = -1472 + 1359. Let l(j) = -j**3 + 2*j**2 + 8*j. Let d be l(-6). Let u = d + k. Is u prime?
True
Let m(w) = -7*w**3 - 12*w**2 + w - 1. Let h(s) = -6*s**3 - 10*s**2 - 1. Let j(k) = -4*h(k) + 3*m(k). Let g be (-6)/(2 - 4) - -2. Is j(g) a composite number?
False
Suppose -3*r - 25*r + 450651 = -139673. Is r a prime number?
False
Let z(b) = -4*b + 38. Let i be z(3). Let d = -35 - -41. Is (3202/(-4))/(i/(-4) + d) composite?
False
Let y = 31588 - 72326. Is (y/4)/(3*5/(-30)) composite?
False
Suppose -3*v + 11*b - 14*b + 12258 = 0, 4*v - 3*b - 16323 = 0. Is v composite?
True
Let u = -3553 - -5444. Let r = 639 - 1712. Let q = u + r. Is q composite?
True
Suppose 0 = -3*z + 5*s + 10 - 24, -30 = -5*z - 5*s. Suppose 5*u + z*g - 26289 = 2272, 4*g = 5*u - 28543. Is u a prime number?
True
Suppose -2*w - 3*o + 8*o + 12 = 0, 0 = 2*w + o. Is 4 + (1725 - w) + 4 - -1 a prime number?
True
Suppose 6*j + 2684 = 2*j. Let l be ((-42)/16 - -3)/((-6)/(-48)). Is 1/(-1) + l - j a composite number?
False
Let r be ((-6)/(-10))/(2/10). Suppose -4*d + 724 = 2*t - 860, r*d - t = 1193. Is d composite?
False
Let t be 6/2*(-6)/(-9). Let o be ((-24)/14 - -1)*(-6 + -1). Suppose -5*d - 1305 = -2*s, -t*s + 1034 + 281 = o*d. Is s composite?
True
Let f be (-16)/56 + (-254)/(-7). Let o be 0 + f*(-52)/(-1). Suppose 5*n + 4*v - o - 19 = 0, 2*n + v - 757 = 0. Is n prime?
True
Let o = -15311 + 59078. Suppose 18*g - o = 65295. Is g prime?
False
Let k(v) = -4741*v + 18. Let p = 241 + -242. Is k(p) a composite number?
False
Let j = -53226 - -75217. Is j prime?
True
Let d(z) = z**2 + 7*z - 21. Let l be d(-10). Suppose 0 = -6*f + l*f. Suppose 516 = b - f*q - 5*q, 0 = 3*b + 3*q - 1566. Is b composite?
False
Suppose 30*u - 27*u - 30 = 0. Suppose 4*w - 56546 = -u*w. Is w a composite number?
True
Let c(l) be the third derivative of 19*l**5/60 - 35*l**4/24 + 5*l**3/6 - 2*l**2. Let r(n) = -n**3 + n**2 + 6*n - 6. Let w be r(-2). Is c(w) a composite number?
True
Suppose 0 = -24*w + 2115705 + 429471. Is w a composite number?
True
Let o(r) = -r**3 - 2*r**2 + 2*r - 1. Let w be (0/4 - 1) + -2. Let n be o(w). Suppose q + n*u - 76 = 0, 0*u + 237 = 3*q + 3*u. Is q a prime number?
False
Suppose -6*x + 5*q = -x + 305, 3*q - 240 = 4*x. Let v = -60 - x. Is (v/(-6))/((-2)/(-18292)) a prime number?
False
Is 0 - -2041554 - (1248/(-351) + 8/(-18)) composite?
True
Let b = -17 + 109. Let j = 103 - b. Is (-8911 - 2)*j/(-33) a prime number?
True
Let o = -13 + 10. Let u be (-1599)/o - (1 - -2). Let k = 924 - u. Is k a composite number?
True
Suppose 116128 = 2*y + 4*c, 5*y - 147632 - 142653 = -3*c. Is y prime?
False
Let r(h) = 9860*h - 45. Let d be r(6). Suppose d = -8*f + 29*f. Is f composite?
True
Is (5/(200/(-6594356)))/((-40)/400) a prime number?
True
Let z(r) = -816*r + 80*r - 461*r + 195 - 859*r. Is z(-20) a composite number?
True
Let l be 6 - 9 - 10 - (-3)/1. Is (8/l)/(-4) - 134589/(-105) prime?
False
Suppose 5 = -5*f - 5. Let u = 5166 - 11338. Is (3/6)/(f/u) composite?
False
Is (-138042)/90*(-14 - -9) a prime number?
True
Suppose 3*h = -h + u - 470, 5*u + 246 = -2*h. Let o = -119 - h. Is ((o + 0)/1)/(23/(-22241)) a prime number?
True
Suppose 977*g = -982*g + 1958*g + 948503. Is g a prime number?
False
Suppose -4*k + 5756 = 4*p, -7*k + 5*p = -5*k - 2899. Suppose k = 4*t - 4842. Is t prime?
True
Suppose 50*n = 14*n - 26*n + 62558. Is n a prime number?
True
Let x = -61 + 69. Suppose x*i = 1 + 39. Is ((-1360)/(-2) - i) + -2 a prime number?
True
Suppose o = -3*o. Suppose o = -3*g + 4*k - 20, 0*g + 22 = -5*g + k. Let s(n) = -n**3 + 2*n**2 + 4*n + 9. Is s(g) prime?
True
Let p(t) = 2*t**2 + 2*t - 5. Let b be p(0). Let u = b + 7. Suppose 5177 = 3*w - 2*w + 2*z, 0 = u*w - 5*z - 10336. Is w a prime number?
False
Let n = 113904 + -63662. Suppose 5*s - i + 8047 = n, 0 = 4*i - 20. Suppose 9*r - s = r. Is r prime?
False
Let q(l) = 16*l**2 + 5*l + 14. Let c be 1/(-2) + (-4)/(-8)*-21. Let s be q(c). Is (2/2 + -3)*s/(-10) a composite number?
False
Is (35220/180)/((-2)/3546*-3) a prime number?
False
Suppose -a - 430647 = -v, -1090*a + 1087*a - 430643 = -v. Is v a composite number?
False
Let z(y) = 7*y**2 - 1. Let m be z(1). Let i(d) = d**2 - 11*d + 8. Let p be i(m). Let l(k) = 3*k**2 - 17*k - 49. Is l(p) a composite number?
False
Let m(d) = 77095*d**3 - 2*d**2 - 5*d + 5. Is m(1) composite?
False
Suppose 47*h - 3847942 - 427588 = 1219851. Is h composite?
False
Suppose -4*q - 2*v = -5*v - 1029253, -1286552 = -5*q - v. Is q prime?
True
Let g(p) = -36*p + 48. Let r be g(-14). Let x = 7151 - r. Is x a prime number?
True
Suppose 3 = -r - 3*m, 5*r - m - 17 = -0*r. Suppose -2*g - 6 = r*q, 3*g - q = q + 4. Suppose g*c - c + 1481 = 0. Is c composite?
False
Let n(k) = k**2 - 15*k + 2. Let h be n(0). Is ((-82192)/64)/(h/(-8)) prime?
False
Suppose 0 = -2*u + d - 1, -u + 1 = d. 