. Let m = 53911 + b. Is m composite?
True
Let n be 1089/2 - 2/(-4). Suppose -3*i + 4*i + 12*i = 4290. Suppose -2*j - w + 170 = -n, -5*w = -j + i. Is j composite?
True
Let g(p) = -26*p**2 + 15*p - 25. Let s be 13 - 5 - (-4 + 1). Let u be g(s). Let x = 4265 + u. Is x a composite number?
False
Let p be (-2)/(-6) + 110/(-15). Let m(y) = 2*y**3 - 12*y - 7. Let i(n) = -4*n**3 + n**2 + 23*n + 14. Let o(s) = -2*i(s) - 5*m(s). Is o(p) composite?
True
Suppose 14 = -19*i + 21*i. Suppose -10*b + i*b - 1506 = 0. Let d = -173 - b. Is d prime?
False
Let j(h) be the first derivative of 275*h**4/6 + h**3/6 - 3*h**2/2 + h + 15. Let u(i) be the first derivative of j(i). Is u(-2) composite?
True
Let f(p) = -p**2 + p. Let s(q) = -q**3 - 11*q**2 - 5*q + 3. Let c(b) = -4*f(b) - s(b). Is c(-10) prime?
True
Suppose -2*o - 2*p + 3*p = -13, -5*o - 2*p = -28. Suppose 0 = -o*j + 284 + 298. Is j a prime number?
True
Let o(x) be the second derivative of -x**4/12 - 23*x**3/6 + x**2/2 - 8*x. Let q be o(-6). Suppose 4814 = 7*a + q. Is a a prime number?
True
Suppose 7307*y = 7294*y + 1000883. Is y a composite number?
False
Let r(h) = -99*h**3 - h**2 - 7*h - 13. Let a(y) = y**2 - y - 18. Let x be a(4). Is r(x) prime?
True
Let d(l) be the first derivative of l + 14. Let s(m) = -349*m - 7. Let i(p) = -6*d(p) - s(p). Is i(10) a prime number?
True
Let b(q) = -q**2 + 18*q + 13229. Is b(0) prime?
True
Let l be -15*170/(-8) + (-8)/(-32). Let t = l + -141. Let a = t - 81. Is a a prime number?
True
Suppose 569*h = 565*h + 1076164. Is h prime?
True
Suppose 9*r + 4930 = -6707. Let g = r - -2380. Is g prime?
True
Let u be 2508/(-1)*26/(-13). Suppose 5*t + u = 2*z, 0 = 2*z - 2*t - 282 - 4740. Is z composite?
True
Let b(v) = 8*v**3 - 16*v**2 + 33*v - 25. Let g be b(10). Let s = g + -2504. Is s a prime number?
True
Let j(q) = 903*q**2 - 53*q - 23. Is j(6) prime?
False
Let u = -13363 + 4248. Let p = u + 14132. Is p a composite number?
True
Let c be (-5 - (-10)/1 - 4)*2777. Suppose c = 9*p - 634. Is p composite?
False
Suppose -3*k - 116 = -134. Is 8 + -13 + k + (3432 - 0) composite?
False
Suppose -19965 = -3*v + 47874. Suppose 23*f + 1752 - v = 0. Is f a prime number?
True
Let r = -8 + 16. Suppose -5*q = r*q. Suppose -3*c - 1274 = -2*l, -4*l - 2*c + 3742 - 1226 = q. Is l a prime number?
True
Suppose -q + 22 = r - 4*r, 5*q + r - 46 = 0. Let g be ((-35)/q)/((-3)/(-342)). Let s = -148 - g. Is s prime?
True
Let f = 17375 - 3412. Is f a composite number?
False
Let p(q) = 21549*q**3 + 6*q**2 + q - 1. Is p(2) a composite number?
True
Let r = -58508 - -89558. Let w = r - 14899. Is w composite?
True
Suppose 0 = 2*r + 2*a - 10, 10 = 2*r + 3*a - 2*a. Suppose -4*u = -3*w + 24, -4*u - 6 = -3*u - r*w. Let f(d) = -133*d - 53. Is f(u) a prime number?
False
Let z(g) = -3243*g + 4560. Is z(-29) a composite number?
True
Let b(q) = -q + 3. Let g be b(-2). Suppose -j - 5*n - g = 15, -n - 3 = 0. Is (-6)/60*j*2*1949 prime?
True
Let w(c) = 829*c**2 + 96*c - 971. Is w(22) prime?
False
Suppose 2*v = 3*q + 260 - 2951, -3*v = 5*q - 4466. Suppose -898*i + 26643 = -q*i. Is i a composite number?
True
Suppose -5*d - 5*u = -12 - 8, d - 1 = -4*u. Let b(o) be the third derivative of 13*o**5/30 + o**4/4 - o**3/6 + 22*o**2. Is b(d) composite?
True
Suppose -2*w - 3*w + 1424985 = -4*x, -8*w + 2*x = -2279954. Is w composite?
True
Let w(s) = -224*s**2 + 121*s - 32. Let c(h) = 75*h**2 - 41*h + 10. Let r(n) = -8*c(n) - 3*w(n). Is r(23) prime?
False
Let m(l) = 771*l**2 - 4*l + 10. Let h = -325 - -327. Is m(h) prime?
False
Let w(d) be the third derivative of 491*d**5/60 - d**4/4 - d**3/2 + d**2 + 7. Let x be (1/5 - 0) + (-66)/30. Is w(x) a prime number?
True
Let a = -10224 - -21465. Suppose -a = 12*t - 15*t. Is t composite?
True
Suppose 8*q + 26 = -118. Let g = -157 - q. Let s = 250 + g. Is s a prime number?
False
Let l = 20413 - 14473. Let b = l + -325. Is b a prime number?
False
Let y = 60882 + -10675. Is y a composite number?
False
Let v(w) = 23*w**3 - 17*w**2 + 15*w + 10. Let q be v(-6). Let m = q - -18041. Is m prime?
False
Suppose -7*s + 9*s = -3*p + 112412, 30 = 5*p. Is s prime?
True
Let s(c) = -4*c**3 - 12*c**2 - 16*c - 15. Let m(k) be the first derivative of 2*k**3/3 - 7*k**2 + 4*k + 46. Let j be m(6). Is s(j) a composite number?
True
Let y(m) be the first derivative of 5*m**2/2 + 6101*m + 19. Let q be y(0). Suppose 2*g + 3*x = 3049, g - q = -3*g - 5*x. Is g composite?
True
Let k(b) = b**2 - 50*b + 267. Let i be k(44). Suppose -4*j = -3*a - 20611, 0 = i*j + a + 3*a - 15477. Is j prime?
False
Suppose -4*q - 4*h + 4522896 = 0, 3*q - 3392165 = 93*h - 89*h. Is q composite?
True
Suppose -2*z + 8873 = -9993. Suppose -19*g = -20*g - 4*f + 4713, 0 = 2*g + f - z. Is g a prime number?
False
Suppose 132608 + 107296 = 16*t. Let l = t + -6373. Is l a composite number?
True
Suppose -3*w = 11332 - 34756. Let o = -3841 + w. Is o a composite number?
False
Let b = 84 - 166. Let m = 85 + b. Is (-2 - 77)/(m/(-69)) prime?
False
Suppose 0 = -4*j + 4*o + 324852, -324862 = -4*j + 23*o - 21*o. Is j composite?
True
Is (-2790750)/(-14) + ((-2599)/791 - (0 + -3)) a composite number?
True
Let x = -52194 + 259997. Is x prime?
False
Let c = 21796 + -10955. Is c prime?
False
Let i be (-114)/(-2 + -1)*(-13)/(-26). Suppose 0 = -9*v + i*v - 138830. Is v a prime number?
True
Let k(z) = z**3 - 2*z**2 - z + 2. Let h be k(2). Suppose h = 7*f - 3*f. Suppose -j - 1840 = -u - u, f = u + 5*j - 931. Is u a prime number?
False
Suppose 462 - 435 = -9*r. Let o(x) = -376*x**3 - 22*x**2 + 5*x + 2. Is o(r) composite?
False
Suppose 0 = -0*f + 5*f - 2485. Let o = f + -120. Suppose 1203 + o = 4*v. Is v a composite number?
True
Let k(h) = -2*h + 5018. Let l(i) = -i + 2509. Let q(n) = -2*k(n) + 5*l(n). Suppose 0 = -t + 7*t + 2*t. Is q(t) a composite number?
True
Let q = 83 + -83. Suppose q*w = -11*w + 1738. Is w composite?
True
Let i(z) = 3099*z - 3. Let p be i(1). Suppose -s = -3*s + p. Is s + -1*25/(-5) a composite number?
False
Suppose 1283788 = 5*q - g - 2*g, -g - 1 = 0. Is q prime?
True
Let f(b) be the first derivative of 9*b**3 - b**2 - 360*b + 20. Is f(29) prime?
False
Let y(a) = -18*a - 20. Let c(d) = 18*d + 20. Let f(b) = -7*c(b) - 6*y(b). Let i be f(-19). Let v = 545 - i. Is v a composite number?
False
Let v(k) = k**3 + 6*k**2 + 5*k - 5. Let c be v(-5). Let r(d) = 22762 - 9*d**2 - 18*d**3 - 45504 - 8*d + 22748. Is r(c) a prime number?
False
Let h be 11/((-198)/(-12)) + 7/3. Suppose 2*y + 1734 = -4*s, h*s = -7*y + 4*y - 2589. Is 4/14 - 1/(7/y) a prime number?
False
Let w be 8/(-12) - (-13191)/9. Suppose -90*h - w = -95*h. Is h composite?
False
Is (594417/6 + 0/10)/((-5)/(-10)) a composite number?
False
Let s = -181172 + 438415. Is s a composite number?
True
Let c = 205872 + 140827. Is c a prime number?
True
Let b(r) = r**2 - 7*r - 24. Let w be b(10). Suppose -3 = 5*y + f, 4*y + 0*f + 5*f - w = 0. Is 226/12 + (0 - y/6) composite?
False
Let m(q) be the first derivative of q**2/2 - 17*q - 8. Let c be m(15). Let w = c + 151. Is w a composite number?
False
Let s(z) = -2*z + 17. Let g be s(6). Suppose -6*t + 7*t = 5, -g*x - 3*t + 38960 = 0. Is x prime?
True
Let z(q) = -q**3 + 24*q**2 - 9*q + 49. Suppose 0 = 4*o + 41 - 113. Is z(o) composite?
False
Suppose 0 = 51*g + 172*g - 11089121. Is g composite?
False
Suppose -3*v = -2*v - 53291 + 14790. Is v composite?
False
Let q(x) = -53*x - 21. Let m = -27 - -30. Let y(b) = 26*b + 10. Let n(d) = m*q(d) + 7*y(d). Is n(10) composite?
True
Suppose -2*x - r + 7501 = 233, -x = -3*r - 3655. Is x composite?
False
Suppose 6*o + 2049 = -1485. Let k = o - -1132. Suppose 3*b = 3*v + k, -2*b - 3*v + 339 + 8 = 0. Is b prime?
False
Suppose -4*i = c - 8*i - 29, -229 = -5*c - i. Is (-30)/c*12102/(-4) composite?
False
Let i = 146 + -145. Let k(r) = 1501*r**2 + 8*r - 8. Is k(i) prime?
False
Let l(f) be the first derivative of 5*f**2/2 + 29*f + 21. Let j be l(14). Is j/6*(-282)/(-9) a prime number?
False
Suppose -30*p + 25*p + 5*v = -290800, 0 = -p - 5*v + 58154. Is p a composite number?
True
Let k = -50 + 74. Suppose k*i = 28*i - 844. Is i prime?
True
Let x(a) = -7168*a - 11131. Is x(-75) prime?
False
Let i(c) = 1334*c**2 + 19*c + 4. Is i(13) a composite number?
False
Let b = -7050 - -8201. Is b prime?
True
Let j(b) = 1402*b + 13. Suppose 5*v - 75 = -20