ppose 833966 = 5*w + 3*h, 2*h = 46*w - 41*w - 833981. Is w composite?
True
Let d = -25541 - -5268. Let j = -14044 - d. Is j a composite number?
False
Suppose -8*j - 1960 = -12472. Let r = j + -476. Is (r/(-6))/((-19)/285) a composite number?
True
Let v(h) = -h**3 - 5*h**2 - 2*h - 2. Let r be v(-5). Suppose 4*i + r*i = 11604. Suppose 3*g = 7*d - 2*d + i, -16 = -4*d. Is g a composite number?
True
Suppose 2622*c + 1267934 = 4*z + 2627*c, -633970 = -2*z - 2*c. Is z prime?
True
Suppose -56 + 1 = -11*f. Suppose 0 = -5*y - 15, -3*p = p - f*y - 35. Suppose p*d - 335 = 2*a, -2*a = 2*a. Is d composite?
False
Suppose 318*z - 309*z - 752841 = 0. Is z a composite number?
True
Suppose -11*r + 2229824 = -6251979. Is r a composite number?
False
Is ((-27)/(-3) + -2 + -2 + -4)*48317 a prime number?
False
Let y(v) = 210*v**2 + 11*v - 82. Is y(23) a prime number?
False
Suppose 6092 = -l + 5*l. Suppose 3*k - 2*h = 8*k - l, -3*h - 1200 = -4*k. Suppose 2*a - 3*a = -k. Is a composite?
True
Suppose d + 4*l = 2985 + 1780, -d = l - 4750. Is 2 + d + (10 - 6) composite?
False
Suppose 15*c + 1333930 = 145*c. Is c prime?
False
Suppose -60*i + 46*i + 2063138 = 0. Is i prime?
False
Suppose 9*k = 37019 + 10960. Let b = k + -2998. Is b a composite number?
False
Suppose 5*o - 12*d - 60 = -7*d, 0 = 2*o + 5*d + 11. Is o + -3 - (-7)/((-7)/(-4233)) prime?
False
Let n(h) be the third derivative of -h**6/120 + 7*h**5/60 - 5*h**4/12 - h**3/3 - 26*h**2. Let l be n(5). Is (2 - 0) + 379 + l prime?
True
Let i be (-456)/(-3 + 1) + -5. Is -2*i/(-2)*1 composite?
False
Let b(o) = -43*o + 19. Let a be b(4). Let c be a/(-2)*72/12. Suppose -s + c = 5*l, 3*s = 2*l + 325 + 984. Is s a prime number?
True
Let n(s) = -s - 26. Let w be n(7). Is (-18)/99 - (-57)/w*-2137 a prime number?
True
Let d = 120 + -124. Is ((-36747)/18)/(6/d) a prime number?
True
Let x(c) = 12*c**2 + 7 + 3 - 16 - 15*c**2 - 9*c - 1 + 2*c**3. Let b(s) = 2*s - 1. Let z be b(4). Is x(z) a composite number?
True
Let p = 47079 - -91922. Is p composite?
True
Let o = -17 + 12. Let h = o - -7. Suppose 2*b = -h*x + 794, -b + x + 280 = -109. Is b composite?
True
Let m = 48628 - 29792. Suppose -4*p + 5*o = -m, -14127 = -3*p + o + 2*o. Is p a prime number?
False
Let n(r) be the third derivative of r**5/30 + r**4 + 31*r**3/2 - 4*r**2 + 10. Is n(28) composite?
False
Let a(j) = 1604*j**2 + 1532*j**2 - 18*j + 235*j**2 - 33 - 28 + 271*j**2. Is a(-3) a prime number?
True
Let v = 695567 - 388674. Is v a prime number?
True
Let v = 140 - 161. Is (-2)/(-42)*-3 - 7269/v a composite number?
True
Is (79846/5 + -1)/((-2079)/105 + 20) prime?
True
Let q(h) be the third derivative of 104*h**5/3 - h**4/4 - 5*h**3/6 + 13*h**2 - 2. Is q(-1) composite?
False
Let p(r) = 44*r**3 - 6*r**2 - 9*r + 15. Let z be p(4). Suppose 47*b = 46*b + z. Is b composite?
False
Is -3 - (-843039 - (-12)/(-12)) a composite number?
True
Let m(n) = -85*n**2 + 2*n + 13. Let p(d) = -85*d**2 + d + 12. Let x(c) = 3*m(c) - 4*p(c). Is x(2) a prime number?
False
Let j = 27676 - 17037. Is j composite?
False
Let s be (-6)/(-4) + (-9)/(-6) + 0. Suppose 5*y - s*y = 30. Suppose 1685 = -5*w + 4*q + 4278, 0 = 5*q - y. Is w composite?
False
Let y = -11984 - -16798. Let m = 9036 - y. Is m a prime number?
False
Suppose 15*d = 13*d + 187774. Is d prime?
True
Let y(t) be the first derivative of 137*t**3/3 - 7*t**2/2 + 39*t - 60. Is y(4) a composite number?
False
Let c = 162 + -158. Suppose -7112 + 628 = -c*g. Is g composite?
False
Suppose u = -2*u + 12, z - 1784 = 5*u. Suppose -2*i + 906 = -2*k, 0 = -4*k - 0*i + 2*i - z. Let m = -48 - k. Is m composite?
False
Suppose -2*g + 2 + 0 = 2*c, -3*c + 4*g + 24 = 0. Suppose 0 = f + c*f - 1185. Let i = -98 + f. Is i prime?
True
Let y = -48 + -33. Let w be y/(-15) - 6/15. Let b(u) = 14*u**3 - u**2 - 6*u - 2. Is b(w) composite?
False
Let l be (-3426)/(-36) + 1/(-6). Suppose 0 = -l*d + 99*d - 20908. Is d prime?
True
Let v(f) = 32*f**2 - 7*f. Let n be v(3). Suppose 3*z - n = 1782. Is z composite?
False
Suppose t = 5*i - 0*t - 3, t = 2*i - 3. Suppose -3*k - 4*g - 5 = i, 3*k - 8*g + 4*g = -37. Let l = 30 - k. Is l prime?
True
Suppose -19*l + 52*l = 2725734. Is l a composite number?
True
Let t = -177 + 180. Is -467*-3*t/9 a composite number?
False
Let w = -97 - -97. Suppose 4*g - 8028 - 1304 = w. Is g prime?
True
Suppose 3*g + 2*g - 240 = 0. Suppose -c + 7*c = g. Let y(h) = 2*h**3 + 4*h**2 - 6*h - 13. Is y(c) a composite number?
True
Let c(z) = 68002*z - 885. Is c(4) a prime number?
False
Let y be (-146)/9 + 12/54. Let f be 4/y - 26/(-8). Suppose -3*x - v = 2*x - 5362, -x - f*v = -1064. Is x a composite number?
True
Let b(r) = 56622*r**3 + r**2 - 8*r + 6. Is b(1) a prime number?
False
Let h(r) = 3*r - 3. Let x be h(4). Suppose 12*g = x*g - 5*j + 23154, -j = 4*g - 30889. Is g composite?
False
Suppose a - 941*t - 80747 = -943*t, -403700 = -5*a - 3*t. Is a a composite number?
False
Suppose 4*z = -2*c + 9392352 + 1618892, 4*z + c = 11011244. Is z prime?
True
Suppose -5*v - 30 = 0, 43*h - 45*h + v = -419284. Is h prime?
True
Let g = -246 + 248. Suppose 0 = g*m - 2*p - 2*p - 9302, 2*p = -5*m + 23207. Is m composite?
False
Let p be (-1 - 0)*(-1)/1 - -207. Let w = -14 + p. Suppose -2*o + 564 = -w. Is o a composite number?
False
Suppose 14*m - 21*m = 28014. Let b = 1049 - m. Is b a composite number?
False
Let d(l) = -10*l - 43. Let t be d(-6). Let s = t - 679. Is (s/(-8))/((-3)/(2 + -86)) composite?
True
Suppose -17*i + 82 = 14. Is 2 + 2899 + 16/i + -8 prime?
True
Suppose 0 = -12*y + 20*y - 32. Let j(n) = 965*n**2 + n - 25. Is j(y) composite?
True
Let u = 1321507 + -401193. Is u a prime number?
False
Suppose i - 1 = -r, 2*r - 18 = 6*i - 4*i. Suppose -r*f - 3 = -33. Is f/15 + (-18819)/(-15) a composite number?
True
Let o = 34 + -34. Suppose c - 4*b + o = 26, 4*c - 29 = b. Suppose -c*i = -0*i - 948. Is i a prime number?
False
Suppose 0 = 516*p - 362*p - 375298. Is p a prime number?
True
Suppose 152*u + 91*u - 29540117 + 7376816 = 0. Is u a prime number?
False
Suppose -5*i = 3*q - 42 - 70, -3*i = -5*q + 130. Let x = 43 - q. Suppose x*g + 532 = 18*g. Is g a composite number?
True
Let h = -39 + 42. Suppose 4*k = -n + 10707, h*n - 9*k - 32066 = -10*k. Is n a prime number?
True
Let i(m) = -27*m**3 + 3*m**2 + 3*m + 13. Let f be i(-5). Let z = f - 2350. Let s = -771 + z. Is s a prime number?
False
Let t = 7052 - 3638. Is (0 - 3) + (t - 4) prime?
True
Suppose 40*a - 48*a = 88. Let x(u) = 3*u**2 + 9*u + 43. Is x(a) a prime number?
True
Let a(j) = 4*j - 7. Let d be a(-15). Let b = 226 - d. Suppose -30*f + b = -29*f. Is f a composite number?
False
Let m(h) = 19270*h + 6777. Is m(28) a composite number?
True
Suppose 45111 = 2*f + 5589. Suppose -75*g + f = -68*g. Is g composite?
True
Suppose 0 = -o + 3*o + 30. Let w(y) be the second derivative of y**5/20 + 4*y**4/3 + 13*y**3/6 + 7*y**2/2 + 5*y - 24. Is w(o) a prime number?
True
Is 8 + 12449154/114 - 12/114 prime?
True
Suppose 5*w - d = 56930, -4*w - w + 2*d + 56930 = 0. Suppose 3*s - 4*t + 2*t - 11398 = 0, 5*t + w = 3*s. Is s prime?
False
Suppose -2*d - 9 + 23 = 0. Suppose -7063 = -d*p - 0*p. Is p composite?
False
Let w(h) be the third derivative of 13*h**6/720 - 13*h**5/120 + h**4/6 - 5*h**2. Let g(y) be the second derivative of w(y). Is g(12) prime?
False
Let s(p) = 51*p**2 - 12*p + 29. Suppose 26 = 3*m - 8*q + 10*q, 0 = -q + 4. Let f be s(m). Suppose -22*c = -f - 297. Is c a prime number?
False
Let j(t) = 4*t - 15. Let x be j(5). Let q = x - 0. Suppose 0 = -5*u - q*y + 2820, -343 = -2*u + 4*y + 797. Is u a prime number?
False
Suppose -134*a + 1964355 = -119*a. Is a a composite number?
False
Suppose -53362*p = -53368*p + 45606. Is p prime?
False
Let z(w) = 176*w**2 + 54*w - 5. Let v(c) = -2*c**2 - 13*c + 18. Let r be v(-8). Is z(r) composite?
False
Let d(v) = 1157*v - 585*v + 248 - 579*v. Is d(31) a prime number?
True
Suppose -2*y + u - 90 = 0, 5*y + 64 = -3*u - 161. Is 4699948/660 + 3/(y/2) prime?
True
Let m = 3556 - 3174. Is m a prime number?
False
Is 19/(76/49680) + 30/(-5) + 5 prime?
False
Suppose -30*p = -34*p + 27728. Let b(c) = -27*c**2 + 4*c + 9. Let g be b(-13). Let f = g + p. Is f a prime number?
False
Suppose 9*y - 20 = 5*y. Suppose -y*b + 7959 = v, b - 4*v + 2*v = 1583. Is b a composite number?
True
Let j(t) = -513*t**3 - 86*t