f(a) = -70*a - 58. Let y be f(-10). Let k = y + 1929. Is k a composite number?
True
Let q = 194 - -170. Suppose -11764 = q*d - 368*d. Is d composite?
True
Suppose -5*z + 11 - 1 = -2*h, -2*h + 2 = z. Suppose -m + 5*u = -981, -m + 2*m = z*u + 987. Is m composite?
False
Suppose 14*u - 231929 = 394277. Is u a composite number?
False
Let n(t) = t**3 - 5*t**2 + 20*t - 27. Let g(i) = -5*i - 189. Let b be g(-40). Is n(b) prime?
True
Let m(s) = -20*s**3 + 9*s**2 - 82*s - 764. Is m(-13) a composite number?
False
Let q = 798 - 1611. Let g = q + 5674. Is g prime?
True
Let i(y) = 6774*y**2 - 34*y + 827. Is i(15) a prime number?
False
Let d(h) = -24854*h - 1205. Is d(-6) a prime number?
True
Let b(l) = -6*l**2 + 18*l + 2. Let p be b(3). Suppose 3*i = p*i + 6193. Is i prime?
False
Let u be 0 - ((-825)/9 + (-1)/3). Suppose 0 = 2*o - 2*d - u - 3778, -8 = -2*d. Is o a prime number?
False
Let h be (6*48/9)/1. Let s be (-1531*9/(-3))/(3/h). Is (s/28 - -1) + 2/7 a composite number?
True
Is 238*11 - (-37 + 46) prime?
True
Is 246545/7 - 50/(-175) composite?
False
Let c be (-14)/77 + (-1 - (-67932)/(-22)). Let y = c + 8158. Is y prime?
False
Let v(q) = 3*q**3 - 58*q**2 - 37*q + 361. Is v(53) a composite number?
True
Suppose -4*r + 6482 = -2*v, -3*r + 4855 = -3*v + 8*v. Let o(i) = -129*i + 52. Let g be o(-6). Let w = r - g. Is w prime?
False
Suppose -5*l = -0*l - 300. Suppose 2*v - l = -10*v. Suppose v*j - 4*j - 3997 = 3*d, -2*j + 7994 = -4*d. Is j composite?
True
Suppose 3*g - 7616 = -2*p, -6*g - 15250 = -4*p - 3*g. Suppose -i = -2*v + p, 2*v + 8*i - 4*i - 3786 = 0. Is v a prime number?
False
Is 54/(-45) - 63056/(-80) a prime number?
True
Let l = 16426 - 10419. Is l prime?
True
Let l = 12185 + -21225. Let z = -4817 - l. Is z a prime number?
False
Let o = 152443 - -3210. Is o composite?
False
Suppose 212814 = 3*v - w, 4*v + 4*w = w + 283739. Is v a prime number?
True
Suppose -7*s + 3*s - 32 = -4*w, -5*w = -s - 20. Suppose -w*d + 8*d - 4359 = -4*n, n = 2*d + 1093. Is n a prime number?
True
Let l = 37275 + 14756. Is l prime?
False
Suppose 6*r - 66 = -12. Suppose 2*f = 4*m - r + 3, 3 = -3*f + 4*m. Suppose -f*g + 5*q = -8335, 5*g - q + 6*q = 13945. Is g a composite number?
True
Let m be (-2)/((-6 - -2)/4 + -1). Is (4 - (-2 + 5)) + m + 7277 a composite number?
True
Suppose -59*c - 48*c = -122*c + 2322615. Is c composite?
False
Let v = 136034 + 24275. Is v a prime number?
True
Let j = -6620 + 9424. Suppose -601 = v - j. Is v a composite number?
False
Suppose 7*r - 8*r = 12. Let q(f) = -f - 4. Let u be q(r). Is (-4)/1 - (u + -419) a composite number?
True
Let b = 331946 - 208185. Is b composite?
True
Is 47*(19 - 4 - -15016) composite?
True
Suppose 93*r + 71654 = 104*r. Let u = 427 + r. Is u composite?
True
Suppose -4*y - 7311702 = -2*t, -4*t - 3*y = -2*t - 7311751. Is t prime?
False
Suppose -4*w = 5*x - 114, 10*w - 66 = 8*w + 2*x. Suppose 19621 = 3*s + 2*c, -27*s + 4*c = -w*s + 26160. Is s composite?
True
Suppose -3*c = -n - 12, 0 = -3*c - n - 2*n. Suppose 2*h = h + c*t + 3211, -2*t = 4*h - 12900. Is h a prime number?
False
Let w(j) = -116 + 482*j + 59 - 17 - 47. Is w(10) a prime number?
False
Let z(b) = 20059*b + 13343. Is z(76) composite?
True
Suppose l = -37*k + 36*k + 4447, 5*l = 5*k - 22285. Suppose k = 2*t - 7*v + 12*v, -5*v - 4472 = -2*t. Is t prime?
False
Suppose -4*r = -3*r - 5*o + 255, -5*o + 495 = -2*r. Let h = 431 + r. Is h a prime number?
True
Let t(o) be the first derivative of -o**4/4 - 26*o**3/3 - 16*o**2 + 31*o + 147. Let c be (-9)/(-6)*104/(-6). Is t(c) a prime number?
True
Suppose 5*d = -3 + 3. Suppose 2*g - 10 = 0, d*f - 3*g = 2*f - 289. Suppose 5*a - 290 = 3*a + 2*r, a - f = -r. Is a a prime number?
False
Suppose 3*r + 7*q - 131260 = 6*q, -5*q = -2*r + 87501. Suppose -20*h + 274947 + r = 0. Is h a prime number?
False
Suppose 0 = -56*l + 51*l - 75875. Let f = 28238 + l. Is f a prime number?
True
Suppose 0 = -2*x - 11*l + 14*l + 803818, l = 4*x - 1607616. Is x a prime number?
True
Suppose 4*f + 65 = -3. Let i be (-2)/f + 1608/204. Let t(l) = 2*l**3 - 3*l**2 + 7*l + 19. Is t(i) prime?
True
Let k(y) = -92*y - 69. Suppose 3*p + 7*u = 11*u - 42, 0 = -3*p - 3*u - 21. Is k(p) prime?
False
Let b(n) = 9*n + 33. Let v be b(-4). Let m be v*(-80)/(-72)*42/5. Let f(a) = -a**3 - 26*a**2 + 37*a + 49. Is f(m) composite?
True
Let n = -20 + 22. Suppose 4*s - o - 1407 = 0, 7*s - n*s - 1745 = 4*o. Suppose u - 333 = -a, -5*a + 4*u + s = -4*a. Is a a prime number?
True
Suppose 5*s + 6574 = 614. Let g = 2393 + s. Is g composite?
False
Suppose 4*q - 309436 = -5*i, 9*i - 4*i = -3*q + 309432. Suppose 2*l - 11*y - 30918 = -6*y, 4*l = -2*y + i. Is l prime?
False
Let n(j) = j**3 + 5*j**2 - 4*j - 7. Let p be 8*(-1)/(-2) - 10. Let o be n(p). Is o/(-190) + 8149/10 prime?
False
Let d(q) = -546*q - 40. Let c = 879 + -898. Is d(c) a prime number?
False
Let d(w) be the third derivative of -w**4/8 - 3*w**3/2 + 16*w**2. Let l be d(-4). Suppose -3*b + 217 = m, 0 = -l*m - 4*b + 2*b + 651. Is m a prime number?
False
Let g(n) = -12*n**2 + 6*n + 5. Let j be g(-2). Let m = 55 + j. Suppose 2*t + 11 - 333 = m. Is t a composite number?
True
Let q(d) = d**3 + 24*d**2 + 22*d - 20. Let l be q(-23). Let s = 4 + -6. Is l + 77 + 2/4*s composite?
False
Suppose 5*w = 2*l - 67, 34 = 4*l + 3*w - 61. Suppose 4*k - 3*a = 52844, 4*k - 23*a - 52844 = -l*a. Is k a prime number?
False
Suppose 0 = 5*q - h + 58, q - 3*h = 2*h - 2. Is 2128/(-176) - q - (-203028)/11 prime?
True
Let o be (24/(-14))/(-2*8/56). Let d = 9908 - 5122. Suppose 0 = -o*s + 4*s + d. Is s prime?
True
Suppose 9399 = 3*r - 10761. Let u = -4682 + r. Is u prime?
False
Suppose 0 = -l - 6*w + 10781, w + 1232 = 2*l - 20343. Suppose 5*i = -2*y + l, -4*i + y = -3515 - 5125. Is i a prime number?
False
Let l(s) = -4*s**3 + 7*s**2 + s - 5. Let o be l(-7). Suppose 0 = -2*f + 15*f + 13468. Let h = o + f. Is h prime?
False
Let p = 123 + -121. Suppose -12 = 21*t - 17*t, -p*v = 3*t - 125. Is v a prime number?
True
Suppose -37 = -7*j - 2. Suppose j*y - 5*l + 7*l = 8627, 4*y = -5*l + 6888. Is y prime?
False
Suppose 64*w - 56*w = 120. Let h(f) be the first derivative of 7*f**3/3 - 7*f**2 - 52*f - 6. Is h(w) a composite number?
True
Let k be -1 - 7/(49/(-42)). Suppose 39471 = k*g + 4*v, 20 = 3*v + 23. Is g a prime number?
False
Let q = -83 - -124. Let c = 47 - q. Suppose -2*p - 808 = -c*p. Is p a composite number?
True
Let r be (-7 - (-555)/12)/(1/4). Suppose 2*f - r = 289. Is f a prime number?
True
Let b(g) be the first derivative of 91*g**5/120 - 5*g**4/6 - 38*g**3/3 - 36. Let w(y) be the third derivative of b(y). Is w(3) a composite number?
True
Let h(l) = 4532*l + 5087. Is h(106) a composite number?
False
Suppose -n - 3*k + 6 = -6, -3*n - 3 = -4*k. Let h(z) = z + z**2 + 16 - 679*z**n + 59*z**3 - 15. Is h(-2) a prime number?
False
Suppose 0 = -33*w + 81 + 150. Suppose -4*s + 73403 = w*s. Is s a composite number?
False
Let q(r) be the first derivative of 795*r**2/2 + 52*r - 59. Is q(3) composite?
False
Let k be (-17)/((-51)/(-792))*5/(-3). Suppose -k = 3*f - 5207. Is f composite?
True
Suppose 12*n + 3*q = 14*n - 1119079, 0 = -4*n - 6*q + 2238170. Is n a prime number?
True
Suppose 50*n - 8940049 - 11126742 = -59*n. Is n a composite number?
True
Let w = -1035098 - -1938603. Is w composite?
True
Let i(o) = 1 + 2 + 6*o - 5 - o**3 - o**2. Let c(d) = 2*d**2 - 56*d - 64. Let h be c(29). Is i(h) composite?
True
Let u(m) = 30*m + 30. Let q be u(-1). Suppose q = 6*b + 4578 - 89220. Is b composite?
False
Let y(u) = u**2 + 13*u - 4. Let j be y(-5). Let l = j + -27. Let v = 738 - l. Is v a composite number?
False
Let k be -12*7/(-28) - 25200. Let v = k + 55232. Is v a composite number?
True
Suppose 2*k - 4894 = 3*o, -5*k - 3*o - 1602 + 13795 = 0. Suppose 1622 = 17*j - k. Is j a composite number?
False
Suppose -a = 4*q - 21, 12 = 2*a + 5*q - 18. Suppose 0 = -c - a, 2*c + 22 + 3 = 5*h. Suppose 0 = 5*w - 4*w - h*y - 479, -4*w - 4*y = -1916. Is w prime?
True
Let b be (5 + 75/(-12))/((-4)/16). Suppose d - p - 4887 = 0, -b*d + 17463 = 5*p - 6992. Is d a prime number?
True
Let m be 69/15 - (-4)/10. Suppose 5*d - 4083 = -w, -24*d + 25*d = 4*w - 16374. Suppose -m*n = -5*b - n + w, -3296 = -4*b - 4*n. Is b a prime number?
True
Suppose -6*x + 16 = 40. Is 1542/x*22/(-33) a composite num