 a prime number?
False
Suppose -s + 84751 + 976 = 2*n, 3*n - 6 = 0. Is s a prime number?
False
Suppose -13 + 43 = 5*s. Suppose -s*p = -9*p + 6. Suppose -p*v = 5*x - 1497, 5*v - 2*x - 4797 = -982. Is v prime?
True
Let c = -4502 + 9355. Is c a prime number?
False
Suppose -42*o + 31749 = -19*o + 34*o. Is o a composite number?
False
Suppose -5*r - 64106 = -3*c, -24048 = -2*c + r + 18701. Is c a composite number?
False
Suppose -5*i - 1708 = -3*x, x + 0*x - 2*i = 568. Let k = 968 - x. Suppose 5*o = -15, 4*g + 3*o + k = 3187. Is g composite?
False
Suppose 16 = 23*r - 30. Suppose -2*l - 4*u + u = -10969, 4*u - 10966 = -r*l. Is l a composite number?
True
Let x = -132 - -176. Suppose 9 = x*r - 41*r. Suppose -5*u + 3928 = r*u. Is u prime?
True
Suppose 0 = -5*m + 23 + 2. Suppose -m*f = 1 - 46. Is 12/((f/516)/1) - -3 a prime number?
True
Suppose -900 = 46*i + 1170. Is -682*(-3 - (i/10 + 2)) composite?
True
Let p be (3 - 1)/(76/646). Let n(j) = 4*j**3 - 12*j**2 - 10*j + 1. Let k(q) = q**3 + q**2 - q + 1. Let o(b) = -3*k(b) + n(b). Is o(p) a composite number?
False
Suppose 0 = -q + 3*f + 37653 - 4330, 133292 = 4*q + f. Let m = q - 17932. Is m composite?
False
Let c = -686 + 691. Let d(h) = -39*h**3 - h**2 - 2*h + 2. Let s be d(-4). Suppose 0*y + 478 = y + 5*q, c*q = -5*y + s. Is y prime?
True
Suppose 4*u + 1 = -z + 4, 5*u + 5*z = 15. Is -4 - ((u/6 - -1) + -2926) prime?
False
Let s(a) = -15148*a - 523. Is s(-12) composite?
False
Let h(w) = 189*w - 2. Let j(r) = r**3 + 2. Let g be j(2). Suppose 7*b = g*b - 3. Is h(b) a prime number?
False
Suppose -96*j + 2*w = -99*j + 161863, j - 53963 = -5*w. Is j prime?
False
Suppose -6 = -6*p + 6. Suppose -3*k = p*k - 35. Suppose 3*m - k*m = -644. Is m a prime number?
False
Let y(j) be the third derivative of 0*j + 0*j**3 - 9*j**2 - 563/24*j**4 + 0. Is y(-1) a prime number?
True
Let w(t) = 14*t**3 - 11*t**2 - 22*t + 12. Let s be w(7). Let p = s - 1938. Is p a composite number?
True
Let c = 173 + -233. Is (-54810)/c + (-1)/2 composite?
True
Suppose -3*y + 104939 = 2*z - 245583, -3*y + 12 = 0. Is z a composite number?
True
Suppose 0 = 16*p - 24*p + 24. Suppose 0 = v + p*m - 1742, -4*m = 3*v - 2*m - 5219. Is v a composite number?
True
Let f be 2/(-6) + (-4855)/(-9)*3. Suppose -c - 3*c - 809 = -z, -2*z + f = -2*c. Is z a composite number?
False
Suppose 3*v + 4*s = 0, -4*s + 2*s = -2*v. Let f = -718 - -723. Suppose v = 4*q - f*y - 534, 2*q - 653 = -3*q - y. Is q prime?
True
Let h = -4223 - -9582. Is h composite?
True
Let s(u) = 2481*u - 264. Let l be s(-11). Let x = -1414 - l. Is x a prime number?
True
Suppose -289008 = -4*l - t, 20*t - 23*t = 3*l - 216765. Is l composite?
False
Let o = -20341 + 12461. Let i = 6171 - o. Is i prime?
True
Let l(g) = -19*g**3 + 12*g + 9. Suppose 23*b + 16 + 76 = 0. Is l(b) prime?
False
Let k = -291675 - -689948. Is k composite?
False
Is (46/69)/((11/(-720771))/(-11)) a composite number?
True
Let o(m) = -m**3 - 10*m**2 - 2*m - 18. Let k be o(-10). Suppose 2*w + 22 = k*d + 6*w, 7 = 2*d + w. Is (11480/5)/4 - d a prime number?
False
Suppose 96 = u + 7*u. Let i(h) = 2*h**3 + 19*h**2 - 31*h + 12. Let m be i(u). Let p = m - 2173. Is p prime?
True
Let g(v) = 117102*v**2 + 7*v + 6. Is g(-1) a prime number?
True
Let f(w) be the first derivative of 24*w**3 + 5*w**2/2 + w + 13. Let u be f(-4). Suppose -u + 4025 = 6*m. Is m a prime number?
False
Suppose 0 = -8*o - 7049 - 4663. Let y = o - -4365. Is y a composite number?
True
Let w be (-24)/((3 + -7)/4). Suppose 4*s - 4*o - w = 0, 4*s - 5*o + 18 = 45. Suppose 4*k = 3*b + 5432, 0*k + 4*b + 4067 = s*k. Is k prime?
True
Let x be (4 + 35/(-10))*26. Let p(c) = -2*c**3 + 14*c**2 - 12*c + 2. Let l be p(x). Let d = l + 3071. Is d a composite number?
True
Suppose -18*k + 344688 = -448698. Is k a composite number?
True
Let o(v) = -1398*v - 41. Let j(y) = 2796*y + 82. Let m(f) = -4*j(f) - 9*o(f). Is m(2) a composite number?
False
Let p = -8 + 12. Suppose -p*x - k = -11226, 4*x - 6*x = 4*k - 5606. Is x composite?
True
Let q(z) be the second derivative of -2*z**3/3 - 9*z**2 - 15*z. Let s be q(-5). Suppose -s*a + 635 = -a. Is a a prime number?
False
Suppose -82*i - 24718300 = -102*i. Is i composite?
True
Let n = -60113 + 92064. Is n a composite number?
True
Let f(w) be the first derivative of -2*w**2 - 19*w + 16. Let z be f(-6). Suppose 280 = z*h + 105. Is h prime?
False
Suppose -15 + 15 = -12*b. Is -10039*(-1 + b/5) prime?
True
Suppose 0 = -s - 4*p + 479437 - 108426, -2*s = 3*p - 742042. Is s a composite number?
False
Let x = 222185 - 148114. Is x a prime number?
True
Suppose -14*t + 1 + 55 = 0. Suppose t*y = 54803 - 17319. Is y prime?
True
Let f(a) = -21*a + 17*a + 6*a - 19. Let v(r) = r**3 + 6*r**2 + 5*r + 13. Let c be v(-5). Is f(c) prime?
True
Let u(b) = b**2 + 4*b - 23. Suppose -c + 3 = f + 6, 0 = 2*f - 3*c + 31. Let m be u(f). Suppose m*r - 12892 = 5*r. Is r composite?
True
Let a = 10050 + -6947. Let n = a - 1472. Is n a prime number?
False
Let r(n) = 71*n - 26. Let h(u) be the first derivative of -u**3/3 + 15*u**2/2 + 15*u - 34. Let g be h(15). Is r(g) composite?
False
Suppose 23*w - 140 = 3*w. Let q(z) = 8*z + 75. Is q(w) composite?
False
Let z = -6 + -6. Let x(i) = -2*i**3 - 13*i**2 + 3*i - 10. Is x(z) a prime number?
False
Let t(c) = c**2 + 2*c - 20. Let m be t(-6). Suppose 0 = m*v - 9*v. Suppose -4*n - 5*o + 6261 = v, -3*n = n + 3*o - 6251. Is n a composite number?
False
Let r be 3*(-3556)/(-108) - 8/(-36). Let t = r + -97. Let p(d) = 187*d**3 - 5*d**2 + 5. Is p(t) composite?
False
Let b = 16493 + -3652. Is b composite?
False
Let k(p) = 54*p**2 - 139*p + 3472. Is k(41) a prime number?
True
Let v = -70 + 73. Let s(g) = 7457*g + 34. Is s(v) a composite number?
True
Suppose -s + 5*w = -20072, 0 = 4*s - 5*w - 119243 + 39030. Is s a prime number?
True
Let p(c) = -c**3 - 3*c**2 + 29*c + 85379. Is p(0) a composite number?
True
Let v(j) = 637*j - 7. Let l be v(2). Is l/((-3)/(-3))*(-11 + 12) composite?
True
Let b be (-24)/(-18) - (-1)/(-3). Is (-2)/(-1)*(b + (-161)/(-2)) prime?
True
Suppose 12*z + 12*z = 304805 + 182947. Is z prime?
True
Let o = 972 + -969. Suppose -16*m + 172536 = 5*w - 17*m, 3*w - o*m - 103524 = 0. Is w a composite number?
True
Let j(i) = i**3 - 14*i**2 + 25*i - 8. Let v be j(12). Let b(d) = -v - 73*d + 22*d + 11*d**2 + 3. Is b(-6) composite?
False
Let n = -5716 + 11284. Suppose -3*x + n = -1893. Suppose 6*o = 9*o - x. Is o a composite number?
False
Let p(w) = -114*w + 27. Suppose -4*j = -2*j - 4, 4*n + 3*j = 22. Let k(i) = 229*i - 54. Let f(t) = n*k(t) + 9*p(t). Is f(-7) a composite number?
False
Let j(k) = -2*k**2 - 32*k - 19. Let o be j(-15). Is 1/o + (-2172480)/(-341) composite?
True
Suppose -40 = 4*w - 3*y, 3*y + 33 = -4*w - 7. Is 11/55 + (-35928)/w a composite number?
False
Suppose -3*d - 6100 = -5*c, 3731 + 1157 = 4*c - 4*d. Let f = -7399 - -9863. Let n = f - c. Is n a prime number?
False
Let r be 275268/49 + (-4)/(-14). Suppose 0 = -w + 5*p + r, -6 = 2*p - 8. Is w composite?
False
Suppose 0 = 17*s - 167260 - 1814073. Is s a prime number?
True
Let j(r) = 12*r + 155. Let h be j(8). Let b = h + 9482. Is b prime?
True
Suppose 2*r - 3 = -r, 4*t - 5*r = 3. Suppose t*m + 2*j - 3308 = -0*m, 4*j = -m + 1645. Is m a prime number?
True
Suppose -13*p + 493 = 142. Let n = 100 + p. Is n composite?
False
Suppose -231 + 36 = 5*n + 4*k, 39 = -n - 2*k. Let o = -37 - n. Is 562*138/84 + o/(-7) prime?
False
Let j be (20/6*-6144)/(1 + -2). Let d = j + -14583. Is d prime?
True
Suppose 3*n = 3, 2*g - 21 = -3*n - 8. Suppose -34897 + 3912 = -g*t. Is t a composite number?
False
Suppose 389*w = 920*w - 224596539. Is w prime?
True
Suppose 36*c - 31*c = -30. Let z = 1 - c. Suppose 0 = o + 3*w - z*w - 6079, 5*o - 5*w - 30395 = 0. Is o prime?
True
Let z be 2/6 + (1 - 74/6). Let i be (-1 + z/(-4))/(3/(-24)). Is (7/i)/((-2)/3188) a composite number?
False
Let n(b) be the first derivative of -85*b**2/2 + 9*b - 21. Let d be n(-5). Suppose 4*u - 1697 = 3*a, 2*u - d = u + 4*a. Is u prime?
False
Let q(y) = -1523*y**3 - 6*y**2 + 35*y - 8. Is q(-6) prime?
False
Suppose -163736 = -415*j + 407*j. Let l = j + -12558. Is l a prime number?
False
Suppose -379385 = -q + 2*d, 696078 + 821390 = 4*q + d. Is q a prime number?
True
Suppose -53*n + 1485587 + 3218439 = 679683. Is n a prime numb