 -41467 = -4*w + 3*b, -w + 8*b - 10*b = -10375. Is w prime?
True
Let y(g) = -8*g + 35. Let x be y(0). Let l = x + -116. Let i = l - -176. Is i prime?
False
Let m(u) = 3055*u**2 + 2*u + 9. Let b be m(-2). Suppose -3*n + 7030 = 5*y - 336, -5*n + b = -2*y. Is n prime?
True
Let d = -6 + -9. Let c be 74454/d + (16/10 - 1). Is c/(-14) - (-1)/2 a prime number?
False
Suppose -5*b + 38035 = 2*z, 3*b - 25463 = 3*z - 2621. Let v = b - 3340. Is v a composite number?
True
Suppose -3*w - 3*w + 120 = 0. Let c be (16/w)/(4/(-10)). Is 1*(0 + 191/c)*-2 composite?
False
Suppose 9*g = -15*g + 63096. Is 22/11 + (g - 2) a composite number?
True
Suppose -4983055 = -56*z - 1319199. Is z a prime number?
False
Let o(c) = -4*c**3 + 17*c**2 + 194*c - 17. Is o(-23) prime?
False
Suppose -3 = j - 1. Let w = j - 23. Is 5/w - (-5542)/10 a composite number?
True
Let w be (6/2 + (3 - 6))/(-3). Suppose -3*a = 2*c - 3*c - 25331, -3*a - 5*c + 25319 = w. Is a composite?
False
Suppose -16114 - 1124482 = -7*p + o, -2*p + 325873 = o. Is p a composite number?
True
Let b(i) be the second derivative of -697*i**3/6 + 181*i**2/2 - 141*i. Is b(-10) prime?
True
Suppose 0 = -32*z + z. Suppose -28*s - s + 437755 = z. Is s a composite number?
True
Suppose 879*n = 894*n - 10862925. Is n a prime number?
False
Suppose -w - 5*k - 9825 = 8459, 3*k = 9. Is (-5)/((-10)/w)*-2 a composite number?
True
Let w(u) = -u**2 - 4*u. Let t be w(-4). Suppose 5*s - 28 = 2*o, 5*s + t = -o + 1. Is 145 - (-3 + (-33)/o)*3 a composite number?
True
Suppose 3*l - 2*n = -0*n + 10, 5*n = l + 14. Suppose 15*r - 36 = l*r. Is 4 - ((-7748)/r - 4) composite?
True
Suppose -3*g = 4*s - 2042, 4*s + 6*g = 9*g + 2054. Suppose -2 = 2*l, -174 = -w - 0*w - l. Let b = s - w. Is b a composite number?
False
Let w(z) = -13*z**3 - 7*z**2 + 25. Let h be -2*(-3)/18 + 176/(-24). Is w(h) a prime number?
False
Let o(q) = q**3 + 4*q**2 + 4. Let l be o(-4). Suppose l*z - 10 - 2 = 0. Suppose 2*b - 148 = -4*i, -3*b + 29 = -z*i + 158. Is i prime?
False
Suppose -3*g + 9*g - 48 = 0. Suppose -g*p - 15*p = -81535. Is p a composite number?
True
Is (-58)/29 + 118890/6 a prime number?
True
Let z(b) = 5*b**2 + 8*b + 57. Let c(u) = -6*u**2 - 7*u - 56. Let n(v) = 4*c(v) + 5*z(v). Is n(-23) composite?
True
Is (-14)/7*(-136053)/54 a prime number?
True
Is (3/(-8))/((-279)/(-124))*-44130 prime?
False
Let w = 2 - 0. Suppose -w*g - 5*r = -0*r - 359, -5*g + 840 = r. Suppose 5*k = 4*h + 625, -4*k - 2*h + g = -359. Is k a prime number?
False
Let t = -152 + -151. Let x(l) = -199*l**2 - 2*l - 2. Let m be x(-2). Let h = t - m. Is h prime?
True
Let o = 11373 + 17133. Is (-1)/((18/o)/(-3)) prime?
True
Is (-4)/30 - (-32 - 3021183/135) a composite number?
True
Let k be (2*18)/(18/(-192) + 0). Let v = 462 + 595. Let l = k + v. Is l prime?
True
Is 4/((-216)/6) + (-308)/(-189)*1137723 prime?
True
Suppose 16*g = 9*g - 45773. Let z = 11485 + g. Is z prime?
False
Suppose -34402 - 72386 = -3*i. Let d be i/(-12) + 6/(-9). Is (d + 12)*2/(-6) a prime number?
False
Is ((-1976102)/(-4))/((-25)/(-50)) + 102/(-17) a prime number?
False
Let z(p) = 5*p**3 + 15*p**2 + 17*p + 16. Is z(15) composite?
False
Suppose 4*t - 2*m - 50070 = 0, 0*t + 3*m - 62560 = -5*t. Is t a prime number?
False
Let r be 86133 + 0 + (-6 - 2). Suppose 5*h - r = 4*g, 9*g = -3*h + 4*g + 51638. Is h a composite number?
True
Suppose u - 2*u + 4 = 0. Suppose 4*y + u*p = 1864, 3*y + 0*p + 2*p - 1395 = 0. Is (-1*y)/((-12)/12) a composite number?
False
Let l be (-36)/(-42)*(-2 - -1)*-56. Let g = 51 - l. Suppose -5*a - 15 = 0, -6*a + g*a + 674 = s. Is s prime?
True
Let g be 4*(15/(-6))/(-1). Suppose 4*h - 3*r - g = 2, 0 = 3*r. Is 1135/h + 2/3 a prime number?
True
Let j(f) = 5*f + 35. Suppose -34 - 20 = 9*x. Let c be j(x). Let w(g) = 25*g**2 - 2*g + 16. Is w(c) composite?
False
Let h(u) = 0*u - 4*u + 6*u - 1. Let q be h(4). Suppose -q*y = -5*y - 890. Is y composite?
True
Suppose 0 = -80*p + 294*p - 230417438. Is p a composite number?
False
Suppose 4*y = -5*n + 955719, -7*n = -2*n - 3*y - 955747. Is n a prime number?
False
Suppose 11*l = -24*l + 1120105. Is l composite?
False
Let i = -250895 - -358414. Is i composite?
True
Let y(q) = 2*q**3 - 4*q**2 - q + 96983. Is y(0) a prime number?
False
Let r = 800255 + -530938. Is r a prime number?
True
Let a = 60170 - -6731. Is a a prime number?
False
Let b(w) be the third derivative of 67*w**5/30 - 25*w**4/24 - 2*w**3/3 + 87*w**2. Is b(-3) a composite number?
False
Suppose 17*m = 16*m - 10. Let c be (-2370)/12*12/m. Suppose c = -2*q + 5*q. Is q a composite number?
False
Suppose 0 = 2*l - 5*k - 17, 0 = -5*k - 17 + 2. Let i be (117/6)/(l/174). Suppose 9*g - 28008 = i. Is g composite?
True
Let h be 1 - 256/(-4) - 5. Is 3*(-4)/(h/(-7835)) a composite number?
False
Let o = -614 - -988. Suppose 2*a - 5*a = -10821. Suppose i + 4*g = 639, g - a + o = -5*i. Is i composite?
False
Let a(c) = -2*c**2 + 22*c + 9. Let l be a(11). Suppose l*i + 8 = -10. Is 2605/10*i*-1 a prime number?
True
Let y(r) = -417*r + 102. Let u be y(-18). Suppose -u - 3232 = -8*p. Is p a prime number?
False
Let h(y) = -5*y**2 + y + 3. Let w be h(2). Let v(q) = 54*q - 25. Let x be v(w). Is 1 + (0 + 3 - x) a prime number?
True
Let x be ((-2399)/10 - (-9)/(-15))*-4. Suppose -z + 5*l + 1497 = 0, 3*z - l + x = 5397. Is z prime?
False
Let f = 9002 - 4627. Let c = f + -2144. Is c composite?
True
Let o(q) = 102385*q**2 + 10*q + 10. Is o(-1) a prime number?
False
Let k(c) = 799*c + 2. Let n be k(2). Let w = -803 + n. Is w composite?
False
Suppose -31 = -2*c - 4*d - 9, 3*c - 29 = -5*d. Suppose -5*y - 4*f + 13029 = 0, -f = 8*y - c*y - 13041. Is y prime?
True
Let n = 10724 - -18879. Is n a composite number?
True
Let r(b) be the third derivative of 569*b**5/60 + 5*b**4/24 + 23*b**3/6 + 145*b**2. Is r(-3) composite?
True
Suppose 2*x - 9*x = -910280. Let m be (-2)/(-15) + x/75. Suppose h = z + m, -5*h - z + 8667 = -3*z. Is h composite?
False
Suppose -14*b + 92*b + 63*b = 91944831. Is b a composite number?
True
Let v be (-51)/(-6)*(1 + (-14)/(-2)). Let g be -16*v/16*-3. Suppose 5*t - g - 131 = 0. Is t a prime number?
True
Suppose -22*g = 596759 - 1729880 - 1686113. Is g a prime number?
True
Let r(s) = 2*s - 20. Let g be r(18). Suppose -g*b + 11*b - 10 = 0. Is (-5 - 9040/(-35)) + b/7 composite?
True
Suppose 28*u - 17*u - 23*u = -274980. Is u a composite number?
True
Let m(k) = 35*k**2 - 3*k + 12. Let r be m(2). Suppose 152*p - 44994 = r*p. Is p a composite number?
False
Let u(f) = 6*f**2 + 13*f + 4. Let x be ((54/(-10))/(-3))/(36/120). Let p = -11 + x. Is u(p) a prime number?
True
Suppose s = -3*f - 194, -3*s = -f + 2*f + 566. Let c = 254 - -61. Let a = s + c. Is a a prime number?
True
Let q(w) be the first derivative of 8*w**3 - 25*w**2/2 + 5*w + 165. Is q(-12) composite?
False
Suppose 128*w = -14*w - 39*w + 101323981. Is w a composite number?
True
Suppose 13*x - 40 = -105. Let j(y) = -9917*y - 32. Is j(x) composite?
True
Let l(r) = 303*r - 66. Let d be l(15). Let y = d + -2875. Suppose 167 + y = 7*j. Is j composite?
True
Let g(c) = -4056*c - 61. Let i(u) = u**3 + 5*u**2 - 2*u - 12. Let a be i(-5). Is g(a) prime?
False
Let b = -303 + 688. Let q be -243*(-6)/27*-3. Let v = q + b. Is v a prime number?
True
Let f(x) = 5*x**2 - 20*x - 65. Let j be f(-35). Suppose 10678 = 3*y + 5*b, 0 = -5*y - 5*b + j + 11050. Is y a prime number?
False
Let u = 47810 + -10593. Is u composite?
False
Let i = -656 - -719. Suppose -31*a - 264416 = -i*a. Is a prime?
True
Let b = -52 - -54. Suppose -b*d = 10 - 2. Is 1360 + 3 + -2 + d a composite number?
True
Let u(b) = 46*b**2 + b - 1. Let v be u(-1). Suppose -v*z + 18769 = -29059. Is z a composite number?
False
Let w = 69 - 60. Let k(y) be the third derivative of y**5/12 + y**4/3 + 4*y**3/3 + 11*y**2. Is k(w) a prime number?
False
Let z = 188292 - -15755. Is z a prime number?
True
Let k(c) = 51*c + 37. Let g(y) = -154*y - 109. Let x(l) = -3*g(l) - 8*k(l). Is x(16) a prime number?
False
Let b = -20 + 26. Suppose -3*i - 3 = 0, 2*u - 2*i + 4*i - 286 = 0. Suppose b*m = u + 2130. Is m a composite number?
False
Suppose -4*j + 22 = -2*k, 3*j + 4*k - 5 = -16. Suppose -7*o + 12 = -j*o. Suppose -w = o*z + 134 - 598, -z + 1889 = 4*w. Is w composite?
True
Let p be 40718 + -1 + (-18)/(-6). Suppose 7*x = 4*x + 2*d + 24431, -3*d 