120 + u. Suppose -c*s + 10922 - 1694 = 0. Is s a prime number?
True
Let w(y) = -99 - 71 + 180 - 78 + 549*y. Is w(11) composite?
True
Let r(o) = 1058*o - 1807. Is r(19) a composite number?
True
Let b be (4/14)/(1/14). Let w(l) = 316*l - 13. Let c be w(b). Suppose 8*s - 4693 - c = 0. Is s prime?
True
Let t = 91202 - 23625. Is t a prime number?
True
Suppose 54*v - 20*v = 4034474. Is v composite?
False
Let w = -3266 + 6443. Let b be (3/(-9))/(3/w). Is (0/3)/(-2) - b a composite number?
False
Suppose -3*y + 794106 = -3*c, 3*c = 50*y - 52*y + 529379. Is y prime?
True
Let j = -93 + 99. Suppose 4837 = j*k - 1997. Is k a prime number?
False
Suppose -5*d - 103 = -373. Suppose 5*y = y - z + 72, -d = -3*y - 3*z. Is (-15045)/(-27) + y/(-81) a composite number?
False
Suppose -4*y = 4*q - 48, 4*y - 14 = -2*q - 0*y. Suppose q*t + 2 = 16*t. Let x(b) = -105*b**3 + 3*b + 1. Is x(t) prime?
False
Suppose 2*z = -2*a + 105004, -a + 4*z = -53511 + 1014. Is a composite?
False
Let f = -106393 - -189371. Suppose 3*o - 49776 = 5*t - 8*t, 5*t - o - f = 0. Is t a prime number?
False
Suppose 3*r + 3*a + 115129 = 5*r, -2*a = -5*r + 287839. Is r a composite number?
True
Let b be -4 - (-1462434)/(-27) - 8/(-36). Let l = -28751 - b. Is l a prime number?
False
Suppose -3*n + 2505 = 3*s, n = -0*s + s + 827. Let j = n + -250. Is j a prime number?
False
Suppose 2*p - 29 = -21. Suppose -3*a - 6*y + 3*y = 0, -p*a - 3*y + 5 = 0. Suppose 1170 = 3*z - 6*g + 3*g, -a = -5*g. Is z a prime number?
False
Let p(h) = 61744*h - 15979. Is p(8) a prime number?
True
Let n = 53 - 51. Let g(s) = 388 - 201 - s - 198 + 158*s**n - s. Is g(-5) composite?
True
Let b(j) = -13*j**3 + 143*j**2 + 164*j - 28. Let f(w) = 3*w**3 - 36*w**2 - 41*w + 7. Let n(v) = -2*b(v) - 9*f(v). Is n(37) a composite number?
False
Let w(n) = 41*n**3 + n**2 + 5*n - 3. Let j(o) = 6*o + 0*o + o - 49 + 16. Let p be j(5). Is w(p) a prime number?
False
Suppose 4*i - 8 = 5*i - 4*p, -1 = 2*i - 3*p. Suppose 2*t = 2*o + 4 + 2, 5*o + 9 = 3*t. Suppose t*h = -i*s + 115, -s - 15 = -h + 21. Is h prime?
True
Let g(k) = 22985*k**3 - 3*k**2 - 30*k + 63. Is g(2) prime?
True
Suppose 3*w = -13*x + 8*x + 90121, 16 = -4*x. Is w prime?
True
Let v(k) = 58478*k**2 - 68*k - 69. Is v(-1) prime?
True
Let j(g) = 857*g + 142. Is j(11) a prime number?
False
Let b = 14993 - 3372. Is b prime?
True
Let b(a) = 2989*a**2 - 64*a - 214. Is b(17) prime?
False
Let w(u) = 2*u - 36. Let m be w(19). Suppose -2*x + 2 = 0, -3*p - m*x - 475 + 1554 = 0. Is p a composite number?
False
Let b(t) = 138386*t - 3727. Is b(4) a prime number?
True
Suppose -p - 22 - 34 = 0. Is (-9744)/(-5) - (p/(-35))/(-8) a prime number?
True
Let m(a) be the second derivative of a**4/6 - a**3/6 + 491*a**2/2 - 92*a - 1. Let w(s) = -s**3 - 5*s**2 + s + 5. Let t be w(-5). Is m(t) a prime number?
True
Let i(r) = r**3 - 2*r**2 - 4*r - 1. Let m be i(3). Let p be m/26 + (-13896)/(-78). Let h = p + -63. Is h a prime number?
False
Suppose -c - 30 = -7*c. Let p be 1/(-8) - -17*c/40. Suppose 12 = 5*x - 2*x, -p*k = -5*x - 5502. Is k prime?
False
Let c be 14 - (7/((-35)/(-20)) - 5). Suppose c = 3*k, -1576 = -y - 5*k + 176. Is y a composite number?
True
Suppose 8*z = 7*z + 3*w + 389137, 2*z - 3*w = 778280. Is z/15 + (12 - (-1958)/(-165)) a prime number?
True
Suppose -163248 = -3*c - 3*a, -42*c = -39*c + 4*a - 163249. Is c composite?
True
Let w(t) = 122*t - 33. Let g be 7/(147/(-6)) + (-136)/14. Let s be g/(-30) - (-17)/3. Is w(s) a composite number?
True
Suppose -4*j + 2274*n - 2272*n + 6961992 = 0, -4*n - 3480990 = -2*j. Is j a prime number?
True
Let u(w) = -w**2 + 3*w + 1. Suppose -d - 2 = 0, -2*a - 3 = -2*d - 13. Let j be u(a). Let z(n) = 1098*n - 1. Is z(j) prime?
True
Let n(z) = z**2 + 4*z - 4. Let r be n(-6). Let o(y) = -5 - r*y + 4 + 11*y**2 + 2*y**2 - y**3. Is o(6) composite?
True
Let i be 1/(0 + (-1)/(-45)). Suppose -3*b = l + i, 6*b = 2*b + 3*l - 60. Is (-3)/(-30)*2 + (-8562)/b a composite number?
False
Suppose -2*r + 1 + 3 = 0. Let t be 23 + -64 - 1*r. Let o = 264 + t. Is o a prime number?
False
Suppose -2*o - 11 = 5*c - 1927, -4*c = o - 967. Is o a composite number?
True
Let j(f) = 246*f + 5179. Is j(38) composite?
True
Suppose 38*o - 39*o = -565. Let y = 816 - o. Is y composite?
False
Let t be (6/(-4))/(2/(-4648)). Suppose -4*b = -4110 - t. Is -1 + (0 - -3) + b a prime number?
True
Let q(p) = 2*p + 3. Let u be q(11). Let m be 1*2 - (u/(-5) + 4). Suppose m = 3*t, 267 + 200 = 3*k - 4*t. Is k prime?
True
Let a(b) = -b**2 - 13*b - 28. Let g(q) = -3*q - 14. Let y be g(-3). Let m be a(y). Suppose 6231 = -m*f + 36915. Is f composite?
False
Suppose 0 = 2*w - 3*y + 2*y - 41, -42 = -3*w - 5*y. Let f = w - 19. Suppose f = -h + 13 + 406. Is h composite?
False
Suppose 0 = 16*o - 24*o + 5448. Suppose -o = -6*y + 519. Suppose -170 = -2*f + y. Is f prime?
False
Let l(w) = 1 - 118*w**2 - w**3 + 118*w**2 + 2*w. Let c be l(2). Is (-1598)/(-3) - (c/(-9))/(-1) a prime number?
False
Let s be ((-20)/25)/(-2)*5. Let j be (s/(-2))/(-1)*-2. Let m(c) = 418*c**2 - 3*c - 5. Is m(j) a composite number?
True
Suppose -5*f = 4*g - 7, -3*g - 12 = 2*f - 4*f. Suppose -f*c = c + 2*r + 5524, 5*r - 10 = 0. Is (c/(-6))/(15/45) a prime number?
True
Let q = -15 - -17. Let y(m) = -11*m + 6*m**3 - 18 - 7*m**3 + 17 + 3*m**q. Is y(-8) a prime number?
False
Let v = 2 + -3. Let q = -506 + 507. Is 130*q + 3/v composite?
False
Let k = -605 - -1854. Suppose w - 4*g = -2*g + k, -3743 = -3*w + 5*g. Let n = w - 862. Is n a composite number?
False
Let v = -43 - -47. Suppose v*y - 3*u + 662 = -2*u, y = u - 164. Let d = y - -245. Is d prime?
True
Suppose u + b = -u - 1, 0 = 5*u - 2*b + 7. Let z be 0 + 17 + u/(-3)*0. Suppose -13*v + z*v = 1772. Is v a prime number?
True
Let z = 36431 + -14002. Is z a prime number?
False
Is (-4790035)/(-3)*(-648)/(-1080) a prime number?
True
Let s = 680 - 215. Let d = 772 - s. Is d composite?
False
Suppose 10*s = 29 + 31. Suppose 2*h - 4*h + 3*p + s = 0, 2*h - 6 = -4*p. Suppose -5*x + 815 = 4*g, h*x + 2*g - 721 + 232 = 0. Is x prime?
True
Suppose -24*n - 2920892 = -81*n - 1039151. Is n prime?
True
Let c(s) = 3*s + 41. Let u(l) = 5*l + 62. Let t(g) = 8*c(g) - 5*u(g). Let b be t(20). Let p(o) = 53*o**2 - 7*o - 9. Is p(b) composite?
True
Let k = -101 + 182. Let y(z) = -7 + 21 + z - 9 + k*z**2. Is y(3) a composite number?
True
Let i = -5569 + 10106. Let m(b) = b - 11. Let u be m(11). Suppose u = -3*s + v - 0*v + i, v = -4. Is s prime?
True
Is (5 - -11977) + -2 + (-6)/(-2) composite?
True
Suppose 35*l = 36*l - 43159. Is l a composite number?
False
Is (-115)/5 - (-36655449)/29 a composite number?
True
Suppose -157*v - 3904 = -161*v. Suppose -3*b = 2*t - 778, -624 - v = -4*t + 5*b. Is t a prime number?
False
Let c(o) = -558*o + 1739. Is c(-46) a prime number?
True
Suppose 0*r = -3*r - 12, 3*v = 4*r - 22649. Let p = -4736 - v. Is p prime?
True
Let r(a) = 79*a**2 - 22*a + 81*a**2 - 15 - 151*a**2. Is r(-8) a composite number?
True
Suppose s - 114 = -3*q + 3*s, 4*s = 0. Suppose q*h = 46*h - 43304. Is h composite?
False
Let u(s) = 55*s - 94. Let n be u(6). Let v = n + -109. Is v a composite number?
False
Let z = -95 + 90. Let y(b) = -b**2. Let s(o) = -3*o**2 - 9*o - 30. Let n(k) = z*y(k) + s(k). Is n(25) a composite number?
True
Is -183670*((-31)/(-10))/(-31) a prime number?
True
Let c = 205105 + -108674. Is c a composite number?
False
Suppose 5*p - 18 = -4*x + 7*x, -p - 5*x - 2 = 0. Suppose -k - 6 = 4*s - 5*s, -s = p*k + 22. Is (-7)/k + (1 - -287) a prime number?
False
Let b be ((-7)/2)/(2/20). Let j = 8 - 14. Is (-5225)/b - j/(-21) composite?
False
Suppose -2*a + 1468361 = 4*y - 3808483, 3*a = 2*y - 2638390. Is y a prime number?
True
Let h = 2011 - -868. Suppose -h + 10037 = 3*c. Is c a prime number?
False
Let h be 8/(-3)*15/10. Is 8778/(-99)*6/h composite?
True
Suppose -3*n - 9270 = -a, -5*a + 0*a + n = -46280. Suppose -3*g = 5*l - 9250, 15*l + a = 20*l + 4*g. Is l a composite number?
False
Let q(o) = o**3 + 12*o**2 - 12*o + 7. Let v be q(-13). Let h be (-4)/(16/v) - 3/(-6). Suppose n + 786 = 3*n - h*d, 0 = -2*n + d + 784. Is n composite?
True
Suppose 0 = 3*i + 3, 0*k + 4*i - 21 = -5*k. Let j = k + -2. Suppose j*b - b - 236 = 0. Is b a prime number?
False
Suppose -3*k + 7*i + 199 = 3*i, 0 = -i + 5. Suppose h + 5 = -11. Let t = k 