s a prime number?
True
Let p(m) = 4*m**2 + 11*m - 5. Let n be p(-5). Suppose 0 = -4*c + n. Suppose c*o = 12*o - 1594. Is o a prime number?
True
Let w be (15/10 + 0)*-5098. Let d = w + 22576. Let y = 25592 - d. Is y a composite number?
False
Suppose 4*t + 13*t - 226831 = 0. Let c = t + -6612. Is c composite?
True
Let x = 120173 - 52584. Is x prime?
True
Let w(t) = -39 - 11 - 47 - 315*t - 49 - 18. Is w(-5) a prime number?
False
Let l be (8/(-12))/(5 + 48/(-9)). Suppose -l*w = -3*w + 1657. Is w a prime number?
True
Let r(i) = i**2 + 10*i + 31. Let y be r(-7). Suppose -m - 4 = 0, 11*m + 8 = 2*l + y*m. Suppose 2*d = 2*b - 4786, -l*b + 0*d = -d - 4784. Is b prime?
False
Suppose -5*j = -2*i - 1954, j - 1958 = -4*j + 4*i. Suppose 0 = 5*a - 15*a + j. Is a a composite number?
True
Let l = 146486 - -70401. Is l a prime number?
False
Let d(l) = 116*l**3 + 7*l**2 - 41*l - 3. Is d(13) a prime number?
True
Let z = 40 - 18. Let k = 25 - z. Suppose -3 = k*u, -2*q - 3*u + 17 = -86. Is q composite?
False
Let u(f) = -35770*f + 197. Is u(-3) a composite number?
False
Let z = 390 - 385. Suppose r = -d + 3*r + 4925, -5*r = z*d - 24550. Is d composite?
True
Let f(a) = a**3 + 4*a**2 - 4*a - 4. Let l be f(2). Suppose -l = -10*d + 28. Is (37/d)/(3/12) prime?
True
Suppose 0 = n - 4, -44*j = -49*j - 3*n + 1285557. Is j prime?
False
Suppose -432 = -30*g + 168. Suppose q = 2*s - 14206, -23*s = -g*s - 3*q - 21309. Is s a composite number?
False
Let q be 17/((-510)/157068) + 2/(-5). Let n = q + 10497. Is n a prime number?
True
Suppose -68 + 75 = z. Let k(w) = 57*w**2 + 9*w + 5. Is k(z) prime?
True
Let c(w) be the first derivative of 87*w**2 + 4*w + 3. Let d be c(3). Suppose 0 = -5*t - 4*v + 2609, 4*t - 3*t - d = -5*v. Is t prime?
True
Suppose -2*i - 4107 = -s, -31*s - 15 = -36*s. Let n = i + 4489. Is n prime?
True
Suppose 0 = -169*s + 164*s + 13720. Let n = s + 342. Is n composite?
True
Let b(y) = 1529*y**2 + 39*y + 461. Is b(-14) a composite number?
True
Let d(q) = -q**2 + 20*q - 95. Let t be d(9). Suppose 4*w + 5337 = 4*g - 10051, 2*w + 15388 = t*g. Is g a composite number?
False
Let y be (6/(-4) - (-20)/40)/(-1). Let a(l) = 2861*l**2 + 2*l - 2. Is a(y) prime?
True
Suppose 5*d - 130178 = -3*a - 24727, 0 = -3*d + 3*a + 63261. Is d a prime number?
True
Let v(t) = -1119588*t + 35. Is v(-1) a composite number?
False
Let s(v) be the third derivative of 349*v**5/60 - v**4/6 + 5*v**3/6 + v**2 - 196*v. Suppose 0 = -5*a - 2*y + 4, 3*y - y = -6. Is s(a) prime?
False
Suppose 4*f - 20 = 0, -2*j + j - f + 21 = 0. Let z(g) = 33*g - 26. Let l be z(j). Suppose 0 = -71*h + 73*h - l. Is h prime?
True
Let k be (-180)/(-4) - 2 - -3. Let c = k + -43. Suppose c*o = 2*s - 252 - 1652, -2*s + o = -1912. Is s prime?
False
Let f = 490 - -1825. Let d = 4084 - f. Is d composite?
True
Suppose -11*s + 15*s = -4*x + 1173040, 3*x = -5*s + 1466294. Is s a prime number?
True
Suppose 0 = 4*t + f - 20, -2*t + 10 = -0*t - 2*f. Suppose -5*z - 10 = 0, 5*z - 9906 = -t*b + 2269. Is b composite?
False
Let m(d) = -6*d**2 + 25*d + 37. Let t(i) = -17*i**2 + 74*i + 112. Let f(r) = 11*m(r) - 4*t(r). Suppose -12*a = -102 - 78. Is f(a) a prime number?
False
Suppose -7*g + 47010 = -35779. Is g prime?
True
Is (1 + (-2544)/(-10))*20/4 a prime number?
True
Suppose 89*n - 4*i = 83*n + 768618, 3*n + i - 384291 = 0. Is n composite?
False
Suppose 126*n - 131*n = -20. Suppose 2*x = 6*b - 8*b + 8502, 2*x - n*b - 8490 = 0. Is x a prime number?
False
Is 4519844/14 + 60/(-12) composite?
True
Let d = 28236 - -12751. Is d prime?
False
Suppose -k - 190346 = -2*o, -4*o - 7*k + 380692 = -5*k. Is o composite?
True
Suppose 330*k - 700934 = 304*k. Is k composite?
False
Suppose -10*f + 8089 = -3461. Let d = f - 684. Suppose 8*b - 14305 = d. Is b a composite number?
False
Let z = 176 + -120. Suppose 0 = -z*q + 51*q + 10. Suppose -3*r + q*o = -6161, -4*r + 0*o + 4*o + 8216 = 0. Is r a composite number?
False
Suppose 0 = 2955*a - 2951*a - 988. Let x = -71 + 50. Let l = x + a. Is l a composite number?
True
Suppose -3*y - 2 = -n, y + 8 = -y + 2*n. Is y/3*-6 + 9397 composite?
True
Let i be 563094/49 - 4/(-14). Let u be (-6)/(-9)*-1 + i/12. Suppose b = u + 956. Is b a composite number?
False
Suppose -192*c + 199*c - 49 = 0. Let z(i) = 1264*i - 81. Is z(c) a prime number?
False
Suppose -13*u + 40*u - 326079 = 0. Suppose 4*n = 5*k + u, 4*n - 12047 = -9*k + 8*k. Is n a composite number?
True
Let h = 13572 - 8371. Is h a prime number?
False
Let d be 2004857/319 - 4/(-22). Suppose -2*k + 2089 = -d. Is k a prime number?
False
Suppose -5*l - 5*f + 701750 = 0, 3*l = 63*f - 64*f + 421044. Is l a composite number?
True
Let t(z) = -1555*z - 4824. Is t(-43) a composite number?
True
Is (20/8 - 4) + (-317527)/(-14) a composite number?
False
Suppose -5*p - 5*w + 5 = 0, 0*p + p + 2*w = 2. Let x(j) = 3*j**2 - j + 73. Let a(f) = -7*f**2 + 3*f - 145. Let i(m) = 4*a(m) + 9*x(m). Is i(p) composite?
True
Let z(u) = 119*u**2 - 28*u + 74. Let v(s) = 10*s**3 + 2*s**2 - 7*s + 4. Let y be v(1). Is z(y) a composite number?
False
Suppose 5*t + 7990 = -10*s + 5*s, -5*s - 7993 = 2*t. Is ((-72)/(-108))/((-2)/s) a composite number?
True
Suppose 4*x + 22 = 90. Let p(g) = 720*g - 229. Is p(x) a prime number?
True
Suppose 13*b = -2*b - 50955. Let u = -1920 - b. Is u a prime number?
False
Let n(m) = -1121*m**3 - 6*m**2 + 2*m + 2. Let r be n(2). Is r*(0 + (-6)/12) composite?
False
Let p(h) = -11415*h + 59. Is p(-2) a composite number?
True
Let s(m) = 37*m**2 + 8*m + 26. Let p(i) = 2*i**2 - i + 1. Let q be p(2). Is s(q) prime?
False
Let n(j) = 5*j + 20. Let r(s) = -s**3 + 7*s**2 + s + 3. Let f be r(6). Suppose f = 9*h - 6*h. Is n(h) composite?
True
Let d(s) = 441*s**3 + 5*s**2 - 84*s + 497. Is d(6) prime?
True
Let s be (-1216984)/(-11) + (-7)/(-77) - 3. Is (-16)/(-36) - s/(-72) prime?
False
Let t(c) be the third derivative of 297*c**5/20 + c**4/8 + 5*c**3/6 - 5*c**2. Let a be t(-2). Suppose 5*s = 2*z - a - 660, s = -z + 2094. Is z a prime number?
True
Suppose -251*b = -84*b - 51840512 - 63447437. Is b a prime number?
False
Let y = -91 - -91. Suppose 4*w - 399 = -3*x - y*x, -3*x + 201 = 2*w. Suppose i + 5*f - 55 = w, f = -3*i + 406. Is i composite?
True
Let f(r) = r + 32 + 10 + r. Let g be f(-22). Is (8/4)/((-3)/(1977/g)) a composite number?
False
Let s(o) = 194 - 247 + 166 + 20*o. Is s(19) prime?
False
Let f = 222 - 248. Let u(h) = -205*h - 133. Is u(f) prime?
True
Suppose -32*v + 3858494 = 33*v - 2415111. Is v a composite number?
False
Suppose 0 = -149*x + 2558364 - 865873. Is x a prime number?
False
Suppose 0 = -3*m + 4*s + 735185, 24*m = 19*m + 2*s + 1225327. Is m a prime number?
False
Suppose 5*g - 2*m = 161645, 4*g - 54*m + 55*m - 129316 = 0. Is g composite?
True
Let p(j) = 2*j**3 + j**2 - 27*j + 27266. Is p(0) prime?
False
Let p(t) = -t**3 - 59*t**2 - 97*t - 58. Is p(-65) a composite number?
True
Let t be ((-7)/1)/(-1*(8 - 7)). Let c(v) = -2*v**2 + 14*v + 13. Let g be c(t). Let x(u) = 6*u**2 - 7*u - 22. Is x(g) a prime number?
False
Let d be (-2)/((-1132065)/(-377361) + -3). Suppose -19*x + 1053774 = d. Is x composite?
True
Let l be ((-20)/(-15))/(4/12). Suppose -8914 = -l*y + 7282. Is y a prime number?
True
Let z = -36 + 35. Let w(s) = -5*s**3 + s**2 + s. Let r be w(z). Suppose 3*n - r*l - 2723 = 0, -2*n + 4*l = -0*l - 1814. Is n a composite number?
False
Suppose 103529 = 3*l + 2*g, -16*g + 12*g + 172547 = 5*l. Is l a composite number?
False
Is 116/(-174) + 2 + (-5539018)/(-6) a composite number?
False
Let h(d) = 5479*d**2 - 54*d - 101. Is h(8) prime?
False
Suppose 261261894 = 607*m + 68189155. Is m composite?
False
Let p(d) = 70*d - 12. Let u be p(12). Suppose -3768 - u = -4*c. Is c composite?
True
Let j = 202718 - 62401. Is j composite?
False
Suppose -4*j = -5*b - 204570 - 19318, 4*b = -16. Is j a composite number?
False
Suppose 579103 - 1513825 = 5*h - 23*h. Is h prime?
True
Is (-6 - 3 - -3 - -4)*158/(-4) a prime number?
True
Let k(u) = -59*u**3 - 7*u**2 - 2*u + 37. Let i be k(-7). Suppose -l = 5*z - i, -7978 = 3*z - 5*z - l. Is z composite?
False
Suppose 4*z = -54*z - 99*z + 6887119. Is z prime?
True
Let c(r) = 6224*r**2 + 146*r + 811. Is c(-6) a prime number?
True
Let o(i) = -i + 19. Let b be o(9). Suppose 4*g + b = -2*t, t - 3 = 5*g + 20. Suppose 8*x - t*d = 4*x + 1010, 7