 c prime?
False
Suppose 4*r = -30*m + 27*m - 14071, 0 = -2*m - 3*r - 9382. Let d = m - -10674. Is d prime?
False
Let l(b) = -7*b**3 - 4*b**2 - 5*b + 13. Let k(q) = 8*q**3 + 3*q**2 + 5*q - 14. Let j(w) = -2*k(w) - 3*l(w). Is j(5) prime?
False
Suppose 12 = -6*j + 132. Suppose 4*p - j = 0, -2*g = g + p - 1148. Is g prime?
False
Let m be -2 + -5 - -3 - -7. Suppose 4615 = 5*a + 2*g + m*g, -3*g = -2*a + 1826. Is a a composite number?
False
Let m = 401745 + -61996. Is m a prime number?
True
Let t(j) be the first derivative of -j**4/4 - 5*j**3 + 27*j**2/2 - 38*j - 218. Is t(-21) prime?
False
Let s = 41 + -37. Suppose -s*c - 1853 = -3*z + 8946, -5*z + c = -17970. Is z composite?
False
Let x be ((-89)/(-2) + 2)*10/15. Let w(h) = h**3 - 28*h**2 + 2*h - 84. Is w(x) composite?
False
Suppose -f = 4*l - 3, -5*l = -l - 5*f + 15. Suppose l = -5*a + a - 1380. Let i = a - -1022. Is i prime?
True
Let r(q) = -209*q + 6. Suppose 4*p - j + 6 = 0, 0 = 5*p - 5*j + 2*j + 4. Let b be r(p). Let c = 615 - b. Is c prime?
True
Let c(a) = -6*a + 2. Let z be c(1). Let h(k) = 15*k + 16. Let m be h(z). Let l = 127 + m. Is l a prime number?
True
Suppose 12 = -5*j + 27. Suppose 2*x - 3*p = 17492, -2*p = j*x + 2*p - 26221. Is x prime?
False
Let t = 11236 + -4985. Suppose 8830 = 11*z - t. Is z a prime number?
False
Let r be -1 - -2 - (-5 - 8). Let d be -11*(2 + 6)*35/r. Let j = d + 411. Is j prime?
True
Let n = -90340 + 152201. Is n a prime number?
True
Suppose -27739323 + 133684727 + 89445988 = 96*j. Is j prime?
False
Suppose -9*z + 3 - 21 = 0. Let r be 90/z - (-7)/7. Is (-844)/r + 4/(-22) a prime number?
True
Let k be ((-244)/1464)/(31/(-30) + 1). Suppose 40*p - 82125 = -k*q + 36*p, 3*q - 5*p - 49312 = 0. Is q a prime number?
False
Let m(d) = d**2 + 5*d - 18. Let y be m(8). Suppose -69*c - 48365 = -y*c. Is c composite?
True
Suppose 565494 = -678*j + 684*j. Is j composite?
True
Let z = -506 + 544. Let d(g) = -g**3 + 42*g**2 + 33*g - 83. Is d(z) a composite number?
False
Let c = 79347 - -48268. Is c composite?
True
Is 10863664/196 - (3 - 66/21) prime?
False
Suppose -2*l + 82 = z, 266 = 4*z - z - 4*l. Let t = z + -75. Is 557/(-2)*(3 - t)/4 a composite number?
False
Let l be (-4)/12 - 704/12. Let t = 60 + l. Let n(y) = 937*y - 4. Is n(t) a composite number?
True
Suppose 195 = 36*p + 15. Suppose 5*j + 245 = 10*j. Suppose -3*s - 12 = -0*s, -4*s + j = p*v. Is v a prime number?
True
Let v = -174 + 181. Suppose 3*k + v*q - 12*q - 20472 = 0, 5*k = 5*q + 34110. Is k prime?
False
Suppose 2*w = -i + 1670729, -9 = -5*i + 6. Is w composite?
True
Suppose 2*v + y = 116322, 110*y - 107*y = 5*v - 290783. Is v prime?
False
Let m(i) = i**3 - 15*i**2 + 4*i + 3. Let g be m(8). Let t = g + 640. Suppose -2*r + t = 3*k, 0*r + 225 = 3*k + 3*r. Is k composite?
True
Let q = -42 + 46. Let v(r) = r - 4. Let o be v(q). Is (-30190)/(-20)*2*(o + 1) a prime number?
True
Let l = 136077 - 37760. Is l prime?
True
Let w = 297714 + -203863. Is w prime?
True
Let p be (-6)/12*38/(-4)*16. Suppose 0 = -6*g - 20 - p. Is 934/6 - g/12 prime?
True
Let s(n) = -n**3 - 9*n**2 + 11*n + 14. Let p be s(-10). Suppose -9 - 3 = p*o, 4*o = 4*q + 35532. Is 2/((-4)/3)*q/9 a composite number?
False
Let h(t) = -t**3 + 3*t**2 + 11*t - 24. Let n be h(-12). Suppose 15*l - 9*l - n = 0. Is l prime?
False
Suppose 0 = 4*x - 3*k - 251983, -x - k + 57933 = -5054. Let l be x/24 - (-2)/3*-1. Suppose 6*m - l - 13030 = 0. Is m prime?
True
Let b(g) = -5491*g**3 - 20*g**2 + 3*g + 79. Is b(-5) a composite number?
False
Let c(j) = 7*j**2 - 5*j - 7. Let x be c(9). Suppose 0 = -3*u - 6*a + 3*a + 768, -a - x = -2*u. Is u a composite number?
False
Let w be (1/(-4) - (-51)/12) + -14419. Let o = 27344 + w. Is o composite?
True
Let l(z) = 5*z - 9. Let c(a) = 2*a**2 + 4*a - 4. Let n be c(-4). Let x be l(n). Is (-85)/x + (-1324)/(-6) a composite number?
True
Let z = 753 - -1013. Suppose -3*t = -4*t - 2*v + 1775, v = t - z. Is t a prime number?
False
Suppose 2*x = -x + k - 21, 4*k - 28 = 4*x. Let y(f) = -3 + 5 + 2 - 187*f. Is y(x) a prime number?
False
Let s(l) = 2*l**2 - 2*l - 2. Let z be s(0). Let d(y) = -624*y - 18. Let p be d(z). Suppose 143 = -h + p. Is h prime?
True
Let v be 59/((2/8)/(8/16)). Let y(o) = 4 - 4 + 3*o + v*o**3 + 2 - 4. Is y(1) prime?
False
Let w(k) = 711*k + 4387. Is w(30) a composite number?
False
Suppose -5*l + 2*o = -111011, -4*o - 24263 - 42352 = -3*l. Is l a prime number?
False
Suppose 27410 = 24*c - 43510. Suppose -v + n = -10, 2 = -3*v + n + 22. Suppose 4*s = t + 2353, -v*t + t - c = -5*s. Is s prime?
True
Suppose 1195142 = 29*i + 224193. Is i a prime number?
False
Let h(a) = a**3 + 20*a**2 + 2*a - 2. Let n be 9/5*(1 + -6). Is h(n) a prime number?
False
Suppose -5*q + y - 81 = 0, 0 = -3*q + 23*y - 18*y - 31. Let o = 110 - 10. Let t = q + o. Is t prime?
True
Let d(m) = 561*m - 86. Let b(t) = -559*t + 88. Let z(i) = 3*b(i) + 2*d(i). Is z(-7) a prime number?
False
Let h(a) = 2*a**3 - 15*a**2 + 8*a - 4. Let r be -2*(81/6)/(-9). Suppose -g + 25 = r*u, -5*g - 5*u + 11 + 74 = 0. Is h(g) a composite number?
True
Suppose -5*t + 2*n = -55050 - 37653, 5*t - n = 92699. Is t a prime number?
True
Suppose -8*u + 48 = -4*u - 4*y, 4*u + 5*y = 30. Suppose -27697 = -u*p + 10333. Is p a composite number?
False
Let p(s) = -s + 3. Let o be p(-7). Let j(i) = 5*i - 5 - i**2 + 10 + 3*i**2 + i**3 + 0*i**2. Is j(o) a prime number?
False
Suppose 5*g + 5*l - 62555 = 0, -12*g - 62555 = -17*g - 3*l. Is g a prime number?
True
Let a(n) = 14*n**2 + 4*n - 6. Let r = 1 - -3. Let q be a(r). Let c = 345 + q. Is c prime?
False
Suppose -2*q + 3*d + 1445706 = 0, -4*q + 542*d - 539*d + 2891424 = 0. Is q composite?
True
Let p = 14090 + -30953. Let b = -10330 - p. Is b composite?
True
Let s(h) = h**3 - 37*h**2 - 15*h - 58. Let u be s(30). Let g = 13197 + u. Is g a composite number?
False
Let c be 2/6 - 11/(-3). Suppose -5*v - f = -73, -12*v = -7*v - f - 67. Suppose c*i - 14 = v. Is i a prime number?
True
Suppose -5*p - 51 = -3*s - 8*p, 0 = 2*s - 2*p - 22. Let j(m) = 32*m**2 + 3*m + 155. Is j(s) prime?
True
Let r be -1*3 + 13/((-91)/1280307). Is (-2)/(3*16/r) a prime number?
True
Let b(q) = 49948*q - 12801. Is b(5) composite?
True
Let f(u) = 2*u**3 - 6*u**2 + u + 1. Let w be f(3). Suppose 10767 = w*s - s. Is s a prime number?
False
Suppose 1984*f - 1973*f - 1285933 = 0. Is f prime?
True
Is (-1 - 4687/4)*-38*(-11 - -13) a composite number?
True
Let f(v) = -250*v**3 - 2*v**2 - v. Suppose 3*g + 3*r - 8*r = -9, 2*r = 3*g. Let z be f(g). Is z/9*12/(-8) prime?
False
Let v(o) = 1367256*o + 1693. Is v(4) a composite number?
True
Suppose -113114 = -38*i + 36*i + 2*x, -2*i - 2*x = -113114. Is i a prime number?
False
Is (-70 - -3429) + (0 - 0) prime?
True
Let j(k) = 291220*k**3 - k**2 - 242*k + 242. Is j(1) a prime number?
False
Let u(d) = -d**3 + 3*d**2 + d + 2. Let r be u(4). Let s(z) = -2*z**3 + z**2 + 3. Is s(r) a prime number?
False
Suppose -2*f = -126997 - 85683. Suppose m - 21265 = 5*q - q, -5*m + 5*q + f = 0. Is m prime?
True
Suppose 5*g = 439*y - 443*y + 1128885, 20 = 4*y. Is g a composite number?
True
Let d(l) = 2469*l**2 + 24*l - 77. Is d(4) a prime number?
False
Suppose 18*t + t + 50*t - 14902689 = 0. Is t composite?
False
Suppose 1278958 = -300*v + 329*v. Is v prime?
False
Suppose -4*o = -20, -5*a - 5*o + 8315 = -4*o. Suppose -5*y = -2*z + a, -3*z + 4*z + 5*y = 801. Is z a prime number?
True
Suppose 7*z + 549037 = 9*z - 3*x, -3*x = 2*z - 549031. Is z a composite number?
False
Let f(j) = 6*j**3 - 18*j**2 + 14*j + 19. Let s be f(-8). Let x = s - -6254. Is x a composite number?
True
Suppose -20*d - 15901 - 32839 = 0. Let p = d + 7400. Is p composite?
True
Let q = 53126 - 20763. Is q a composite number?
False
Suppose 9*s - 145541 = 129049. Suppose 5*a - s = 19105. Is a prime?
True
Suppose -5*v = -6*v + 12588. Suppose -i + 12568 = i - 2*p, 3*p - v = -2*i. Suppose 11*u = i - 1393. Is u a composite number?
True
Let g be (-40)/7 - ((-148)/(-28) + -5). Is (-12 + 1 - g)*-331 a composite number?
True
Let b(y) = 2*y**2 + y - 3. Let j be b(1). Is ((-66370)/(-40))/(2/(8 + j)) composite?
False
Let f = -50222 - -112293. Is f prime?
True
Let i(g) = 4*g**2 + 25*g + 77. Let y be i(-24). Suppose 124 + y = 3*p. Is p a composite number?
True
Let l(k) = -38*k - 20. Let c be l(2). Suppose 0 = -7*u + 