er?
True
Let f = 72 + -72. Let r be ((-6)/(-4) + f)/(20/13880). Let w = 2000 + r. Is w prime?
True
Let s(a) = 10 + 7 - 15*a + 24*a - 12 - 12*a - 3*a**3 + 2*a**2. Is s(-6) prime?
True
Let r(j) = -j**2 - 2*j + 19*j - 14*j**2 + 11 + j**3. Let t(p) = p**2 - 12*p - 119. Let h be t(19). Is r(h) a composite number?
False
Let q be ((-5)/1 - -3)/((-4)/18). Let k(s) = -22 + 17*s + 27*s - q. Is k(8) prime?
False
Suppose 2*m - 5 = m. Let x be 2/2*(-2 + -9 + 8 + 3). Suppose m*q = 3*i + 1048, 3*i + x*i = -3*q + 624. Is q a prime number?
False
Suppose -143*m = -4*k - 147*m + 8, 0 = -k - 4*m - 10. Let r(b) = -5263*b - 1. Let u be r(-1). Suppose -k*l + 0*l + u = 0. Is l prime?
True
Let v(b) be the second derivative of -b**6/360 - b**5/4 + 19*b**4/12 - 5*b**3/2 - 3*b. Let d(z) be the second derivative of v(z). Is d(-23) composite?
False
Suppose 0 = -3*z - 5*r + 55, 21 - 1 = 4*z - 4*r. Is z/(-22 + 2)*(-1 - 2205) a composite number?
False
Let k(i) = 19*i - 14 - 98*i - 288*i. Let b be (3*1)/(10*9/(-90)). Is k(b) prime?
True
Let d(f) = 2*f**2 + 40*f + 23. Let k be d(-20). Suppose 0 = -k*o + 24*o - 2203. Is o a composite number?
False
Let i(k) = 9*k - 50. Let n be i(11). Suppose -n*x + 132517 = -42*x. Is x prime?
False
Let w(g) be the second derivative of -15*g + 1/4*g**4 - 7/20*g**5 + 13/6*g**3 + 0 + 2*g**2. Is w(-5) a prime number?
False
Let v(a) = 11308*a**2 - 56*a - 319. Is v(-5) composite?
False
Is 103787 - (-132)/(-99)*(-6)/4 a composite number?
True
Let y(z) = -2*z**2 + 58*z + 122443. Is y(0) a composite number?
False
Let q(x) = 33*x - 21. Let s be (-10 - -1)*6/(-9). Let v be q(s). Is (10/(-3))/((-1)/v) - 4 composite?
True
Suppose 5132 = 6*z - 508. Let q = -420 - z. Let f = -911 - q. Is f a composite number?
False
Suppose 3*j - i - 333 = 2160, -3*i = 0. Let m = 1628 + j. Is m prime?
True
Suppose 2*h - 5431 - 2711 = 0. Let w = h - 2870. Is w prime?
True
Let u = 31 - 25. Let b(r) be the first derivative of 3*r**4/2 - 7*r**3/3 - 9*r**2/2 + 13*r - 1. Is b(u) composite?
True
Suppose 0 = 4*g + h - 2*h - 19, 2*g - 7 = 3*h. Let u(v) = 2*v**2 - 10*v + 2. Let q be u(g). Suppose 0*f = 5*s - q*f - 3580, -5*s = -f - 3585. Is s prime?
False
Let z = -13 + 17. Suppose 0 = 5*f + 5, 9*p + f - 344 = z*p. Is p + 12 - (-2)/(-1) a prime number?
True
Is -63746*((-4)/((-20)/(-15)) - (-10)/4) a prime number?
True
Is -1*(-37663)/(-4 - (-87)/21) a prime number?
False
Let o be 4/(-3)*(-12)/(-8). Let b be (-4221)/(-7) - o/2. Let m = -33 + b. Is m a prime number?
True
Let q(v) = v. Let a(i) = -6*i**2 + 12*i + 9. Let l(u) = -a(u) + q(u). Let f(m) be the first derivative of l(m). Is f(10) composite?
False
Suppose 5*i - 3 = -3*b - 0*b, -4*i + 16 = -b. Suppose -258 = i*h + 3*s, h = -0*h - 2*s - 90. Let k = 1059 + h. Is k a composite number?
False
Let x(d) = 2*d**2 + 91*d + 61. Let m be x(-45). Is 25420/m + 11/44 prime?
False
Let j = 589884 - 311843. Is j composite?
False
Let f = -452 - -457. Suppose 0 = -3*d + 15, 17510 = f*l + 4*d - 7*d. Is l composite?
True
Let p(i) = 6*i**3 + 11*i**2 - 14*i + 34. Let b be p(7). Suppose -1386 = -c + b. Suppose 5*u - c + 204 = 0. Is u a composite number?
False
Suppose 3*g - 88603 = -4*j + 17341, 5*j + g = 132441. Is j composite?
False
Let w(z) = z - 7. Let s be w(6). Let v be (4170/(-9))/((-20)/12 - s). Suppose -8*b = -v - 3513. Is b a prime number?
False
Suppose 7*y - 4*y + z = 34169, 5*z = -2*y + 22801. Let g = y - 1326. Suppose 0 = 6*i - g - 2208. Is i a composite number?
True
Let v = 55029 + -27630. Is v composite?
True
Let b be ((-3)/4)/((-15)/(-10))*866. Let f = b + 5478. Is f a composite number?
True
Let s(c) = -2*c**3 + 9*c**2 - 5*c + 1. Let j be s(3). Suppose 20*u - 77 = j*u. Suppose 0*z = -u*z + 11451. Is z composite?
True
Is 12 - 2 - (-4)/(-8)*-852998 a composite number?
True
Let t = -19614 - -35401. Is t prime?
True
Let z(g) = -g**3 - 2*g**2 + 11*g + 6. Let h be z(-5). Suppose 0 = -h*d - 66560 + 189670. Is d prime?
False
Let o(w) = 8247*w + 1868. Is o(47) a prime number?
False
Suppose 0 = 3*m - 41 + 149. Is (-8)/m*337*9 prime?
False
Let t = -294448 - -433190. Is t prime?
False
Let n(t) = t**3 + 13*t**2 - 16*t + 32. Let q be n(-14). Suppose q*z - 18 = 58*z. Suppose z*c = 2440 + 917. Is c composite?
False
Let c(n) = 10*n**2 + 2*n + 1. Let l be c(-7). Suppose 4548 = 3*q + l. Is q a prime number?
False
Let g(i) = -i**3 - 52*i**2 + 191*i + 231. Is g(-64) prime?
True
Let m(x) = 221*x - 45. Let i be (12/9 - -1)*30/5. Is m(i) composite?
False
Is (13 - (-256482)/90)/(16/(-10) - -2) composite?
True
Is (-2039 - -20)*854/(-28)*(-2)/(-3) composite?
True
Let h = 12360 - -4843. Is h prime?
True
Let y = 358 + -356. Suppose u + 3*r - 4259 = 0, 4232 = u - y*r - 47. Is u prime?
True
Let w = 135660 + -77977. Is w composite?
True
Suppose 0 = -19*j + 1847 + 984. Suppose -j*s + 1673 = -142*s. Is s a prime number?
True
Let t = 824978 + -423939. Is t composite?
False
Is 6 + 6 + 11 + 31140 a composite number?
True
Let a = -23531 + 12546. Let x = a - -15576. Is x a composite number?
False
Let k = 57 + -42. Suppose 317 = m - k. Suppose -m = y - 5*y. Is y a composite number?
False
Suppose 4*v - 2*n = -136, v - n = 5 - 40. Let j(p) = -52*p - 59. Is j(v) composite?
False
Let h be (5675 - 1 - 1) + 0 + 1. Let l = h + -3357. Is l composite?
True
Let h be (-8)/36 + 20/9. Suppose -5*a + 1280 = -5*m, 0 = h*a - 4*m - 493 - 13. Is a prime?
False
Let u = 1278042 + -890735. Is u prime?
True
Let t(s) = -12*s - 2. Let j be t(-1). Suppose -g + j*g - 1557 = 0. Suppose 2*k + 119 = 3*p + 7*k, -5*p = 2*k - g. Is p prime?
False
Let l(q) be the first derivative of q**3 + 5*q**2/2 - 11*q + 232. Let r = 3 + 3. Is l(r) prime?
True
Suppose 0 = -3*p - 28*p + 1779865. Is p prime?
False
Let g(o) = -132*o - 9. Let y(t) be the first derivative of 33*t**2 + 4*t + 4. Let n(l) = -6*g(l) - 14*y(l). Is n(-2) prime?
False
Let d = -2680 + 1458. Suppose -9*w - 3*c = -6*w - 5277, -4*w + 7056 = -c. Let r = w + d. Is r composite?
False
Suppose 0 = 28*p - 32*p + 20. Suppose 3*g - p*l = 3224, 6*g - g - 2*l = 5367. Is g prime?
False
Let u = -1384 + 1393. Let r = 30 + -21. Is 4242/r - 3*1/u a composite number?
True
Suppose 78*k = 1800733 + 5240561. Is k prime?
False
Suppose 3002 = f + f. Suppose -2*n - 4*d = -5*d + f, -4*n - 2997 = -3*d. Let p = n + 1076. Is p a composite number?
True
Is -2 + (122493 - 0) - (-1)/(2/8) composite?
True
Let r(j) = -45709*j + 130. Is r(-1) a prime number?
False
Let g = -955 + 443. Let j = g + 1089. Is j prime?
True
Let c be ((-2)/4)/((-62)/(-1860)). Let t(g) = -31*g - 14. Let l(v) = 62*v + 28. Let y(h) = -3*l(h) - 5*t(h). Is y(c) a prime number?
False
Is 47463648/456 - (-3)/57 a composite number?
False
Suppose 0 = 2*p - 12*p - 10. Let k be 19/95 + p/10*-118. Suppose 0 = k*t - 6758 + 266. Is t prime?
True
Let a(o) be the first derivative of 9*o - 2*o**2 - 2 + 3 - 7. Is a(-17) composite?
True
Suppose j - 5 = 0, 49*u - 80660 = 44*u - 5*j. Is u a composite number?
False
Is -284979*(456/(-504) + (-1)/((-14)/8)) composite?
False
Let g be 44/(-33)*(-9)/2. Let k be 1/(1/9 + g/(-27)). Is k + 8 + 2/(-1) + 182 a prime number?
True
Let l = 3 - 2. Let f(x) = 32*x - 20*x**3 + 4*x**2 - 2 - 3*x**2 - 30*x + 270*x**3. Is f(l) a prime number?
True
Let v = 1035 + -183. Let n = -120 + 130. Suppose -6*f + n*f = v. Is f a composite number?
True
Let b(i) = -3011*i + 1421. Is b(-16) a prime number?
True
Let z(s) = 17*s**2 + 24*s - 22. Let f be z(1). Suppose -3*l - f*n = -17*n - 35029, -2*l + 4*n = -23358. Is l composite?
False
Let h(v) = 27330*v**2 - 69*v + 248. Is h(3) prime?
True
Let a(i) = 11*i**3 + 14*i**2 - 4*i + 13. Is a(10) a composite number?
False
Let j be 34/14 + -3 - 180/(-70). Is 8920 - 2*(-3)/j prime?
True
Let l = -3279 + 1159. Let d = 309 - l. Suppose -4810 = -2*z + 3*i + i, -z - 4*i + d = 0. Is z a composite number?
True
Suppose 3*o - 2*q - 1386583 = 0, 3*o - 3*q - 1107132 = 279453. Is o prime?
False
Suppose -428*h + 2950 = -430*h. Let k = -990 - h. Is k prime?
False
Let w(u) be the second derivative of 10*u + 4/3*u**3 + 1/6*u**4 + 0 + 5/2*u**2. Is w(7) a prime number?
False
Is (-9370)/(-20)*(210 - 8) a prime number?
False
Let c = 226 - 45. Let x(r) = 3*r**2 + 82*r - 94. Let l be x(-34). Let g = c + l. Is g composite?
True
Let p(n) = -35495*n - 1078. Is p(-3) a composite number?
False
Suppose -