 13*g**2 - 4. Is a(10) composite?
True
Suppose 9*s = -3*s + 60. Let c be (-1062)/(-10) - 1/s*1. Suppose -7*v + 727 + c = 0. Is v a prime number?
False
Let j = -22 + 43. Let w be 12/j*35/10. Suppose p - 2*v = -p + 266, -3*v + 266 = w*p. Is p prime?
False
Suppose -4*b + 35 = 63, 5*b = v - 122194. Is v prime?
False
Suppose -283582 = -121*p + 95*p. Is p a composite number?
True
Let z(q) = -q**2 - 18*q + 44. Let t be z(-20). Suppose 4*h = -2*m + 8930, t*m + 3*h + 17871 = 8*m. Is (13/(-13))/((-1)/m) prime?
False
Is (4246505/(-25) - 5)/(10/(-25)) composite?
True
Let q(k) = 285613*k + 1635. Is q(2) prime?
False
Let k(v) = 9*v + 33. Let i be k(-4). Let x be ((-12)/8)/((-5)/((-50)/i)). Suppose -7*j + 5*j + 434 = 4*s, 2*j + x*s = 437. Is j prime?
True
Suppose -2*o + 3 = o + 2*g, -2*o - 4*g = -10. Let v be -566 + 8/(-2) - (-3 - o). Let n = v + 950. Is n a composite number?
True
Let o = -58 - -61. Let h(s) = 14*s**3 + 9*s**2 - 5*s - 13. Let q(x) = x**3 - x**2 + x + 1. Let z(v) = h(v) + 6*q(v). Is z(o) prime?
True
Is ((-10608)/16 + -11)*633/(-6) a composite number?
True
Let d(b) = -b**3 + 26*b**2 + 5*b - 74. Let v be d(12). Suppose v = 2*n + 2*w, 5*w + 300 = -3*n + 3293. Is n a composite number?
True
Let m(l) = 704*l**2 + 872*l - 139. Is m(24) prime?
False
Let t(u) = -u**3 + 12*u**2 + 4*u - 45. Let r be t(12). Suppose -4*q + 7236 = -4*o, -r*q - 3*o + 1508 = -3931. Is q a prime number?
True
Let o = 89 + -84. Suppose 4*f + 2751 = 4*t - 837, o*t - 3*f = 4493. Is t a composite number?
True
Let g(p) = 3735*p + 1243. Is g(4) a prime number?
True
Suppose 30*r - 1204339 = 73658 + 86613. Is r a composite number?
True
Let u be 7/4 + 5/20. Let r(o) = -91*o**3 + 2*o**2 + o - 1. Let d be r(1). Is 2*(-1)/(u/d) a composite number?
False
Suppose 4*m + 4*i - 46252 = 0, 45*m + i = 40*m + 57795. Is m composite?
True
Let b be 7 + -5 - (-1 - 1). Suppose 3*m - 10 + 0 = 2*t, b*m = 4*t + 12. Suppose 3*s + m*o = o + 1503, -3*s + o + 1487 = 0. Is s a prime number?
False
Let g(u) = 4*u**3 + 27*u**2 - 10*u + 43. Is g(28) a composite number?
False
Suppose 0 = s - 3*f + 111, s = 2*f + 25 - 139. Let c be 6/6*(-1 - s). Is (-7)/((-35)/15) + c prime?
False
Suppose -u - 82068 = -2*a - 3*u, 4*a - 164166 = 2*u. Is a prime?
True
Let b be (-4 - -2)*(-3998)/4. Let r = -3635 + b. Is 15/10*r/(-6) composite?
False
Let x be -1403*(85/(-35) - 9/(-21)). Let p = x + -1749. Is p prime?
False
Let h(i) = -1233*i + 319. Is h(-6) a prime number?
True
Let a = -1616 - -2477. Let l = -277 - 21. Let v = l + a. Is v a composite number?
False
Let z(m) = -264*m**3 - 9*m**2 + 21*m + 55. Is z(-6) a composite number?
False
Let m = 80 + -69. Let d = -11 + m. Suppose -q + 171 - 26 = d. Is q composite?
True
Let x(r) = 84*r - 123. Let s(a) = -169*a + 242. Let t(z) = -4*s(z) - 9*x(z). Is t(-3) prime?
True
Let t be 15903 - ((-1 - (4 - 4)) + 1). Suppose s = 2*a + 2656 - t, 0 = 3*s + 4*a + 39711. Is s/(-9) - (174/54 + -3) prime?
True
Let y(r) = r**3 + r**2 + 8131. Let x be -4 + 15/(105/28). Is y(x) a composite number?
True
Let s be ((-1318)/(-3)*-2)/((-4)/6). Suppose -4*l + s = -20206. Is l prime?
True
Suppose 5*h - 6 = 3*v, -2*h + 3 - 6 = -3*v. Suppose -4*z + 2158 = h*b, 3*z + b - 1619 = -b. Is z composite?
False
Let d(o) = -3*o**2 - 16*o + 14. Let a be d(-6). Is -3 - (-2111 + (a - (9 + -4))) a prime number?
True
Suppose 10*f - 17 = -7. Is (((-22769)/2)/f)/((-70)/140) a prime number?
True
Let p(a) = 870*a**3 - 12*a**2 + 10*a - 3. Is p(5) a composite number?
False
Let q = 398470 + -262959. Is q a composite number?
False
Suppose 0*x + 3*x - 912 = 0. Suppose 488 = 2*k - 3*b, 0*k + 253 = k + 3*b. Suppose k + x = y. Is y a prime number?
False
Let k = 3200 - 1441. Is k composite?
False
Let c = -36 + 39. Suppose c*a = k + 11 - 3, 0 = 5*a + 4*k - 2. Suppose u - a = 0, -u + 753 + 830 = 3*i. Is i prime?
False
Let j(h) be the first derivative of -h**4/4 - 10*h**3/3 - 13*h**2 - 12*h - 284. Is j(-17) a prime number?
False
Suppose -1290*g - 2176190 = -1300*g. Is g composite?
False
Let m be (-3)/(-7) + 8892/(-266). Let x(i) = -204*i + 133. Is x(m) a composite number?
True
Suppose 0 = -5*j + 13611 + 25694. Let q be -3*5/(-10)*2. Suppose q*n = -4*n + j. Is n a composite number?
False
Let t be ((-4)/(-10))/(6/630*-3). Let w be 6 + (2 + t)/4 + 1. Suppose -3*p = -2*y - 75 - 18, -124 = -w*p + y. Is p composite?
False
Let d be (-1)/(2/4) - (-8)/2. Is d/(-10) + (27573/15 - 3) prime?
False
Let v(l) = -l**3 + 4*l**2 + 5*l + 59999. Is v(0) prime?
True
Let p = -45 + 39. Let g be p/(-33) - (-120)/66. Let x = 45 - g. Is x a prime number?
True
Let q = 175025 + -120666. Is q a composite number?
True
Is (-1)/((-4)/(-18186))*(-160)/240 a prime number?
False
Suppose -15*q + 14*q = -12. Suppose -23040 + 87996 = q*b. Is b prime?
True
Suppose 25*w - 18*w - 10*w + 12093 = 0. Is w a composite number?
True
Let o(x) = -473*x**3 - 8*x**2 + 52*x + 295. Is o(-6) composite?
False
Is (4 + -2)/(-6) + -1*(-35755478)/33 a composite number?
True
Let k = 1254 + 1594. Is (3/4 - 2)/((-8)/k) prime?
False
Let u = 155643 + -67214. Is u prime?
False
Is (-86)/215 + (-1144482)/(-30) a prime number?
True
Let j(l) = 140*l**2 - 59*l + 199. Is j(-18) composite?
True
Suppose 0 = 5*c - 5*v - 18025, -10819 = -3*c - 4*v + 6*v. Let w = -1986 + c. Is w a prime number?
False
Let j = -30700 + 132111. Is j a composite number?
False
Is 155671082/630 - 44/(-990) composite?
True
Let x = -14108 + 19845. Is x composite?
False
Let l = 76 - 44. Let i = l + -28. Suppose -i*m + 2 = -50. Is m composite?
False
Suppose -x + 3*x = 34436. Let f(c) = -c**3 - 14*c**2 - 48*c - 15. Let t be f(-9). Suppose -t*k - 886 = -x. Is k a prime number?
True
Suppose 0 = -60*o + 67*o - 28. Is (-139506)/144*-6 - (-1)/o a prime number?
True
Suppose 5*l + 1865 = 5*x, 4*x = 7*x - l - 1123. Suppose i + x = 11060. Is i a composite number?
True
Suppose -4*w + 4*f = -36, -18 = -4*w - 3*f - 3. Let r be 3/(w/(-8))*(5 + -4). Let z(u) = -155*u - 7. Is z(r) prime?
True
Let x = 2086 + -3771. Let m = x + 4144. Is m composite?
False
Let p be 2/4 - (3/(-6) - -4). Is ((-23)/2)/(p/(3486/7)) a prime number?
False
Let f(n) be the first derivative of 7*n**3 + 9*n**2/2 + 13*n + 51. Is f(-7) prime?
False
Let g = 3033 - -164038. Is g prime?
True
Is (903392/(-10) - 3/(-15))*325/(-75) a prime number?
False
Let b be (-1 - 5)/((-90)/75). Let r(n) = -n**3 + 2*n**2 + 7*n. Let h be r(-5). Let f = b + h. Is f prime?
False
Is -10 + 27 - 23 - (-192354)/2 composite?
True
Suppose -4*n = -2*n - h - 130, 0 = 5*h. Let u be ((-156)/(-20))/(1/n). Let r = 1208 - u. Is r a prime number?
True
Suppose 0 = 4*k - 5*q + 29, -5*q + q = 4*k + 20. Let i(n) = 44*n**2 - n + 16. Let s be i(k). Suppose -34*o = -36*o + s. Is o prime?
False
Let b(r) = 2256*r**2 + 21*r - 109. Is b(7) a composite number?
True
Let j(y) = y**2 - 4*y + 3. Let n be j(3). Suppose n = -5*w + w + 252. Suppose 0 = -5*v + 2*v + w. Is v a prime number?
False
Is ((-679108)/(-105) - 42/441) + (-6)/10 prime?
False
Suppose 394 + 3413 = 3*s. Let b be (-1 + 5)*(-147 + -2). Let r = s + b. Is r a composite number?
False
Let j(k) = -k**2 - 10*k + 44. Let x be j(-10). Suppose -x = 3*m - 5*m. Is m a composite number?
True
Suppose -2*j + 5*z = -353157 - 253287, 0 = 5*z + 10. Is j a prime number?
True
Let k(a) = 50*a**2 + 3*a + 6. Let v = 44 - 35. Is k(v) prime?
False
Let m(a) = -3*a - 42. Let r(j) = j + 14. Let z(u) = 6*m(u) + 17*r(u). Let t be z(-17). Suppose 0 = -k + 3*w + 4186, 4*k - k - 12594 = -t*w. Is k composite?
True
Suppose c = -4*h + 15841, 3*h - 31717 = 61*c - 63*c. Is c prime?
False
Let q(z) = z**2 + 5*z + 7. Let w be q(-6). Suppose -7425 = -8*t + w*t. Let a = -388 - t. Is a a composite number?
False
Let l be 1/3 + (-26)/(-12)*-2. Is -7 - (-2 + l - 11700) composite?
False
Suppose 2*p + 0*p = -4*t + 28, -2*p - 20 = -4*t. Suppose t = 3*d - 9. Suppose 0 = 7*k - 2*k + 2*b - 184, -4*k + d*b = -167. Is k prime?
False
Suppose -2*z + 10007 = -5715. Suppose -76*i + 77*i - z = 0. Is i prime?
False
Let d be (-298)/10 - (-4)/60*-3. Let j(p) = p**2 - 21*p + 64. Is j(d) a prime number?
False
Let h(n) = -6*n - 86. Let u be h(-13). Let d(f) = -86*f - 7. Is d(u) a composite number?
True
Let a(m) be the second derivative of -6*m**3 - 119*m**2/2 + 117*m. Is a(-27) composite?
False
Let a(w) = 43*w**2 - 2*w + 2. Let g be a(1)