 2*a + 6*j = j + 14716. Let y = a - 3787. Is y a composite number?
False
Let s(d) = -d**3 + 15*d**2 - 14*d + 4. Let t be s(14). Let f(o) = 132*o - 43. Is f(t) a prime number?
False
Is 0 + 826790/8 + 3 + (-154)/56 prime?
True
Suppose -2*a - 52 + 22 = 4*p, 2*a = -p - 18. Let q(d) = d**3 + 13*d**2 - 18*d - 38. Is q(a) a composite number?
True
Suppose -5*k + 35 + 63 = f, 5*k = -5*f + 90. Suppose -4*s = -9*s + k. Suppose 2*d + s*g - 121 = -3*d, -g = -5*d + 101. Is d a prime number?
False
Let j = -441 + 446. Suppose 32*q - 29*q - j*n - 9892 = 0, -q + 2*n + 3297 = 0. Is q a prime number?
True
Let d = 71437 + -41010. Suppose 24*v - d = 27437. Is v a prime number?
True
Suppose 0 = 17*j - 205267 - 707922. Is j composite?
False
Suppose -108473 = -3*i - 2*z - 16797, i + z - 30559 = 0. Suppose -30538 = -t - 3*t + 2*y, 4*t + 2*y = i. Is t a composite number?
True
Let q(z) = 34001*z + 766. Is q(5) a composite number?
True
Let d be 54/(-135)*(-50)/4. Suppose -d*k = -15155 - 4790. Is k a prime number?
True
Let q(s) = -s**2 + 2*s + 3. Let u be q(3). Suppose 0 = -u*d - 3*d + 12. Suppose 0 = d*l - 2*y - 13546, -6776 = 2*l - 4*l + 2*y. Is l prime?
False
Suppose 2*c + 2*z + 4 - 12 = 0, 3*z + 4 = c. Let w(u) = -24 + 2*u + 9*u - c*u. Is w(11) a prime number?
True
Let k(u) = 758*u + 10053. Is k(65) a prime number?
False
Let x(a) = 14*a**2 + 634*a + 62. Is x(-60) prime?
False
Let r(v) = 6*v + 20. Let x be r(6). Let o = -59 + x. Let p(g) = 128*g**2 + 2*g - 5. Is p(o) composite?
True
Suppose 2*t - j = -9, 4*t = t - 4*j - 30. Is (-10882)/(-4) - ((-9)/t + 0) composite?
False
Let h be 4 - (-3)/(15/(-25)). Is (-1 - 0)/(123588/123594 + h) composite?
False
Let v = -82 + 86. Let t(i) = -3*i + 12. Let b be t(v). Suppose 9*d + b*d - 1197 = 0. Is d prime?
False
Is (-4)/14 + (19 - (-3184956)/42) prime?
False
Let y(x) = x**3 + 17*x**2 + 42*x + 4. Let v be y(-14). Is ((-73320)/56 - 11)*(-14)/v prime?
True
Let q be ((-1)/4)/(1*(-7)/196). Is 1116 - (-5 + q - 3) a composite number?
False
Suppose -5*m = 2*l - 15, -3*m = -6*l + 2*l - 35. Let i(h) = 1057*h - 30. Is i(m) a prime number?
False
Let t = -1583 + 2912. Suppose -f - 5991 = 4*l, 5*l = -4*f + t - 8826. Let r = -700 - l. Is r composite?
False
Let f(v) = -4*v**2 + 88*v - 8. Let l be f(22). Let o(j) = j**3 + 9*j**2 - 9*j - 27. Is o(l) a prime number?
True
Suppose 5*y + 4*y - 35721 = 0. Let s = 7652 - y. Is s a prime number?
False
Suppose 3*t = -113*t + 15539012. Is t composite?
True
Let w(r) = 17006*r + 30. Let v be w(2). Suppose 10*z - 25328 = v. Is z composite?
True
Suppose 0 = -10*k - 51 + 31. Is (-8793)/(-99) - 1/11*k a prime number?
True
Suppose k - 96634 = 5*l, 0 = 5*k + l - 292236 - 191012. Is k a composite number?
True
Let m = -762 + 5033. Is m a composite number?
False
Let y(v) = 5*v**3 - 22*v**2 - v - 5. Let z be y(12). Suppose 5*x - z + 28590 = 3*n, -3*n - 4*x + 23153 = 0. Is n composite?
True
Let f be 1 - 0/(-1) - 6/(-2). Suppose -f*y + 3*y - 3 = -l, 15 = -3*l - 5*y. Suppose m + 3*k + l*k = 458, -5*k - 2350 = -5*m. Is m a prime number?
True
Let h(r) = 130*r**2 - 72*r**2 - 4*r + 126*r**2 - 13. Is h(5) a composite number?
False
Let k be 3*((-125)/15 - -4). Let i = -8 - k. Suppose -3*r = -8*r + 5, 0 = i*f + 3*r - 26348. Is f a prime number?
False
Let v(a) = 1075*a**2 + 1077*a**2 - 13*a - 2151*a**2 + 38. Is v(-32) a composite number?
True
Suppose 3*u + 6*s = 2*s + 48, 0 = u - 3*s - 16. Suppose 14*j - u*j - 8 = 0. Is 113*5 - (-2 - j) prime?
True
Let b = 8 + -6. Suppose -2*t + 6*o = 4*o + 10, 4 = b*t + 5*o. Is 1171 - (t + 2*(-6)/(-4)) prime?
True
Let z(n) = 44*n**3 - 15*n**2 - 20*n + 45. Suppose 0 = -3*m - 124 + 148. Is z(m) composite?
True
Let j(u) = -5*u**3 - 1 + 9*u**2 + 2*u - 2*u**3 - 3*u**3 + 0*u**3. Let w(x) = -9*x**3 + 8*x**2 + x. Let y(h) = 3*j(h) - 4*w(h). Is y(4) composite?
True
Let u(s) = -s**3 + 5*s**2 + 18*s - 15. Let n be u(7). Suppose 11*z - n*z + 1172 = 0. Is z a prime number?
False
Suppose -51*g + 149*g - 4848741 = 17*g. Is g a prime number?
False
Suppose -2*b + 97576 = 3*b - 3*u, -2*b + 3*u + 39025 = 0. Is b composite?
True
Let k(u) = 664*u**3 + 4*u**2 + 4*u - 55. Is k(6) composite?
False
Let f(i) = 4604*i**2 + 183*i + 9. Is f(-8) prime?
True
Suppose -74 = -6*g - 14. Let u(x) = 14*x**3 + 16*x**2 - 17*x - 11. Is u(g) a composite number?
True
Let h(m) = 4*m + 1178 - 2*m - 339 - 6*m. Is h(0) prime?
True
Let c(r) = -1596*r + 1 + 3 - 5 - 2 + 4. Is c(-2) prime?
False
Is (-89 - -92)*(-92409)/(-9) a composite number?
False
Let r(w) = 807*w + 11. Let f be r(-5). Let h = f - -7189. Suppose -2*l - l = -h. Is l prime?
False
Suppose 20*f - 441680 = 195660. Is f prime?
False
Let a(f) = 5*f**2 - 5*f - 17. Let r = -62 - -62. Suppose r = -29*s + 32*s + 21. Is a(s) a prime number?
True
Let h be 795/6*(-336)/(-40). Let l = h + -292. Is l prime?
True
Suppose 3*b + 16 = -4*y, -5*y - 20 = -0*y + 2*b. Let t(v) = -v**3 - 4*v**2 - v - 4. Let f be t(y). Let u = 77 + f. Is u prime?
False
Suppose -2*v - m = 2*m + 16, 3*v + 10 = -m. Let r(t) = 5*t + 1. Let h(k) = 5*k. Let o(a) = v*h(a) + 3*r(a). Is o(8) a composite number?
False
Is (83017 - 86)*((-2)/1)/(-2) prime?
False
Let k = -946 + 977. Let y = 385 + -225. Let o = k + y. Is o a prime number?
True
Let u = 1765 - 401. Suppose 5*t = -a + 4047, -2*t = -4*a - 246 - u. Is t prime?
True
Suppose 0 = 2*j - 3*j + 5. Suppose 2*n = 3*n - j*h - 11, -4*n - 4*h = 28. Is 262/14 + n/(-14) a prime number?
True
Let u(l) be the second derivative of 77*l**5/5 + 3*l**4/4 - 7*l**3/2 + l**2/2 + l + 18. Is u(2) a prime number?
True
Let x(b) = 289*b**2 - 141*b + 113. Is x(24) a prime number?
True
Let g(q) = q**3 + 19*q**2 - q - 14. Let h be g(-19). Let x = 11274 - 6416. Suppose x = h*i - 9697. Is i composite?
True
Suppose -7*b + 17702 - 60479 = 0. Suppose 36656 + 14564 = 5*w. Let o = w + b. Is o a prime number?
True
Let t be (-2)/(-1) + (-2 - -30691). Let j = t + -21398. Is j prime?
True
Let x(b) = -b**2 + 2 - 131*b - 162*b**3 + 131*b. Let k be 1/(4/(-8)*2). Is x(k) a prime number?
True
Let h be 14/1 + -3*(-2)/2. Let d(v) = -v**3 + h*v**2 - 5*v - 33 + 24 + v. Is d(11) a prime number?
True
Let o = 49 - 89. Let k be ((-56)/(-10))/((2 - 3)/o). Suppose -4*p + k = -44. Is p composite?
False
Let v be (-18)/4*((-568)/(-72) - 9). Suppose p - 5*p + 9668 = 3*o, -v*o = 4*p - 9668. Is p composite?
False
Suppose 5*x - 173 = -3*l, -5*x + 5*l + 78 = -127. Suppose 29*t - x*t = -10888. Is t prime?
True
Let o = 5206 - 736. Suppose -24*c + 39*c = o. Is c a composite number?
True
Let c = 73661 - -31878. Is c composite?
True
Suppose -4*x + x = -15. Suppose 9*k - 3407 + 25474 = x*b, k = 3*b - 13249. Is b prime?
False
Suppose 1370*u - 1322*u - 7714704 = 0. Is u a prime number?
True
Suppose -7*c = -40 - 65. Suppose -c*j = 153482 - 769127. Suppose -6*g + j - 9477 = 0. Is g prime?
True
Is (101648 - 4 - 2)*11*9/18 composite?
True
Let a = -147 - -249. Suppose 4*g - 602 = a. Suppose -295 = -2*h - 3*i, -5*h + 4*i + 573 = -g. Is h composite?
False
Let m(v) = 129*v**2 - 3*v + 1. Let c = -157 + 159. Is m(c) composite?
True
Let g(o) = 245*o - 11. Let t be g(5). Suppose -2*h + 3*f + 618 = -594, 4*f + t = 2*h. Suppose 0 = 8*u - 1741 - h. Is u a prime number?
True
Suppose 0 = -4*t - q + 2*q + 3861914, 0 = 5*t + 5*q - 4827355. Is t prime?
False
Let v = 380 + -218. Let i(h) = 32*h + 158*h**2 + 6 - 3*h**3 + 2*h**3 - v*h**2. Is i(-13) composite?
True
Let s = -16613 - -42916. Is s composite?
True
Let z be ((-2)/(-4))/(((-7)/4)/(-7)). Suppose 0 = 2*r - 3*b, -z*b = -4*r + 3*r - 1. Is 540 - r/3*-1 a composite number?
False
Suppose -5025040 + 1942952 = -85*y + 36813597. Is y composite?
True
Suppose -3*i - 59576 - 54161 = -2*n, 3*i = 5*n - 284374. Is n composite?
True
Let w(j) = j**2 - 2*j - 76. Let n be w(-8). Suppose -2757 = -l - 4*t, n*t = -2*l + 3487 + 2047. Is l prime?
True
Let y = -27092 - -42651. Is y composite?
False
Let x = -17 + 14. Let p be (4 - (0/2 - 2)) + x. Suppose p*b - 171 - 438 = 0. Is b a composite number?
True
Let n = -107 - -460. Let z = -199 + n. Suppose 4*o - z = -3*i + 118, 2*o = 3*i + 118. Is o a composite number?
True
Suppose -a - 3*d - 11 = 0, -5*a = -7*d + 10*d - 5. Suppose 3*r = o - 1273, 4*o + 3845 = 7*o + a*r. Is o a prime number?
True
Suppose -37 = 10*g - 14*g + 3151. Is g a composite number?
False
Let q be (-4)/(-10) - 