True
Suppose 4*l - 1231555 = -5*h, -4*h + 8*l - 44099 = -1029287. Is h composite?
True
Let q(x) = 782*x**3 + 3*x**2 - 5*x - 11. Is q(2) prime?
True
Let w = 77 - 56. Suppose 0 = -18*y + w*y - 4113. Is y a composite number?
True
Suppose 0 = 6*x - 51155 - 39452 + 19189. Is x a prime number?
True
Let l(u) = -5*u + 7. Let g(k) = 5*k - 8. Let c(n) = -6*g(n) - 5*l(n). Is c(-33) composite?
True
Suppose 185 = 5*s + 6*m - m, 4*m + 230 = 5*s. Let g = s + -42. Suppose 0*w + 5*i + 7291 = 3*w, 3*w - 3*i - 7299 = g. Is w prime?
True
Let l(o) be the first derivative of 221*o**4/4 + 2*o**3/3 - 2*o**2 + 4*o - 31. Is l(1) a composite number?
False
Suppose 2*l = -4, 6*z - 38 = 2*z + l. Let y(v) = 7*v**3 - 6*v**2 - 14*v + 8. Is y(z) a composite number?
True
Let b(l) = 651*l - 1513. Is b(20) composite?
True
Let h(k) = k**3 + 86*k**2 - 91*k + 803. Is h(-76) composite?
False
Let k = 868950 - 463529. Is k composite?
True
Let k(c) = -c + 10. Let l(d) = -1. Let a(r) = k(r) + 4*l(r). Let n be a(6). Suppose 0 = 5*i - 4*b - 15375, 5*i + b = -n*b + 15400. Is i prime?
True
Let o(m) = -m**3 + 3*m**2 + 6*m + 7. Suppose -2*u - 35 = -3*d, 6*u - u = 3*d - 74. Is o(u) composite?
False
Let s(v) = 548*v + 102. Let z be s(-15). Let m = -3847 - z. Is m composite?
False
Let i(t) = 755*t**2 - 36*t - 790. Is i(-13) prime?
False
Let v be (-32502)/(-90) + 5 + 2/(-15). Suppose -15 = 9*q - v. Suppose -p + q = -0*n + n, 0 = 2*p - 3*n - 78. Is p prime?
False
Let a(q) = -8864*q - 1645. Is a(-6) prime?
True
Is 10/(-165) - (41277728/(-132) - 7) a prime number?
False
Is (-2)/(-42) + 1409830518/6363 a composite number?
False
Let l(t) = 4*t**3 + 21*t**2 + 4*t - 470. Is l(21) composite?
True
Let d = 134833 - -633348. Is d composite?
True
Let h = 34917 + -11571. Suppose -6*b + h = -0*b. Is b composite?
True
Suppose -3*r - 2 - 22 = 0. Suppose -136 + 133 = -d. Is d + (r - -4) - -398 a prime number?
True
Suppose -22*a - 83000 = -2*a. Let f = a + 16793. Is f prime?
False
Let p be 3104 + 0 + 0/7. Let h = p - -349. Is h a composite number?
True
Let u = 868452 + -452591. Is u prime?
True
Let l be (56/10)/((-6)/(-120)). Suppose -5*s - l = -3*n, -3*s + 3*n = -8*s - 88. Let h(v) = -32*v + 22. Is h(s) a composite number?
True
Let v = -169514 + 1386019. Is v composite?
True
Suppose 0*i - 5*i - 22 = -j, 0 = -2*j - i. Suppose 8 = -2*z - j. Is (-573)/z + 10/25 composite?
True
Suppose 2*a = -2*a - 3*u + 95205, a - 23800 = -2*u. Suppose 16*h = 22*h - a. Is h a composite number?
False
Let a = -11550 + 36005. Let w = a + -15888. Is w a prime number?
False
Let u = -13317 - -4180. Let h = -5188 - u. Is h prime?
False
Let m(p) = 97*p**2 + 25*p + 143. Suppose 0 = -194*u + 202*u + 56. Is m(u) a composite number?
False
Let q = -358 + 361. Suppose -q*s + 74416 = 23299. Is s a composite number?
True
Suppose 0 = 4*r + 4*c - 602724, 43*r - 5*c = 47*r - 602728. Is r composite?
True
Suppose 12*v - 13*v + 25*t + 272511 = 0, 0 = v - 2*t - 272603. Is v a composite number?
True
Suppose 1988 = -3*h + 13529. Let u = h - 1256. Is u prime?
True
Suppose 0 = -3*u + 2*u - 2. Let b(t) = 3*t**2 - 37*t + 46. Let y be b(11). Is (-31763)/(-46) - y/8*u a prime number?
True
Let u(n) = n**3 - 8*n**2 - 5*n + 55. Let g be u(7). Let r = g + 40. Suppose -4*c = -r*c + 22687. Is c a prime number?
False
Let p(n) = 1759*n**3 - 75*n**2 + 555*n - 15. Is p(8) a composite number?
False
Is 1/(-4*12/(-5553744)) composite?
True
Let j(s) be the second derivative of -7*s + 2*s**2 + 0 - 1/5*s**5 - 11/12*s**4 - 2/3*s**3. Is j(-7) composite?
True
Let m(o) = -1593*o + 1450. Is m(-23) prime?
False
Let y(c) = -2*c**2 + 2*c - 1. Let i be y(1). Let k be (5907 + 0)*i*-2. Suppose 13*o - 19*o = -k. Is o composite?
True
Suppose 0 = 3*t + y - 5512134, -3*t - 87*y = -84*y - 5512128. Is t a prime number?
True
Is (6*1/18)/((-4)/(-803028)) composite?
False
Let f be -1 + (-4)/14 - 2/(-7). Let z(y) = 2774*y**2 - 3. Is z(f) a prime number?
False
Let p(v) = 3969*v + 2312. Is p(21) a prime number?
True
Suppose -13*t + 12957675 + 2906264 = 0. Is t a prime number?
False
Let f = 339 + 505. Let l = f + -258. Is l a prime number?
False
Let m(d) = -169*d**2 - 93*d + 188. Let b be m(2). Suppose 3*i - 3*q + q - 2879 = 0, -4*i + 3847 = -q. Let g = b + i. Is g prime?
False
Let d be (-16 + 21)*888/10. Suppose -5*m = -5*l + 5460, 0*l - 5*m + 2149 = 2*l. Suppose 5*c + 0*c = -2*k + d, c - l = -5*k. Is k a prime number?
False
Suppose 0 = -26*l + 24*l + 8. Suppose n = g - 8103, l*n + 24629 = 5*g - 15888. Is g a composite number?
True
Let p(l) = -157*l**2 - 5*l + 5. Let q be p(-3). Let i = -402 - q. Let m = 1430 - i. Is m composite?
False
Let z(t) = t**2 - 2*t. Let q(j) = 35*j**2 + 18*j + 17. Let v(x) = q(x) + 3*z(x). Is v(-10) a prime number?
True
Suppose 4*i + 74 + 1262 = 0. Let h = 715 - i. Is h a prime number?
True
Is (-8464479)/(3/(-4)*(-10 + 14)) composite?
False
Let d(m) = -3*m**2 - 52*m - 15. Let y be d(-17). Suppose -i + 7*v - y*v + 5104 = 0, 2*i + v - 10153 = 0. Is i composite?
True
Let a = -40831 + 61199. Is a - (-5)/2*(-3 + 1) a composite number?
True
Suppose -10*y = 4337 + 5313. Suppose -10094 = -5*k + 2*g, -k + 10*g + 2005 = 5*g. Let c = y + k. Is c a prime number?
False
Suppose 0 = 3*w + 32*x - 34*x - 370751, 0 = -3*w - x + 370739. Is w a prime number?
True
Let n = 17 - 11. Suppose -5271 = -n*f + 13011. Is f a composite number?
True
Suppose -3*b + i = b + 1300, 3*i - 12 = 0. Let v(w) = 15*w + 62. Let d be v(-16). Let l = d - b. Is l prime?
False
Suppose f = -8*n + 4*n - 44, -2*f + 22 = -3*n. Is (42020/50)/(n/(-25)) a composite number?
True
Suppose -7*k - 32 = 10. Let g(y) = -356*y - 187. Is g(k) a composite number?
False
Is 57578 - (-133)/(-14 + -5) a composite number?
False
Let k = 20465 + 28002. Is k a composite number?
True
Let w(d) = d + 4. Let p be w(-1). Let r be (-6)/(114/(-40) + p). Let t = r - -695. Is t composite?
True
Suppose 2900*i = 2894*i + 948846. Is i a prime number?
True
Let m(y) = 5*y - 1. Let i be m(1). Let u(p) = 31*p**2 - p + 5. Is u(i) prime?
False
Is 166937925/2603 - (-1)/((-2)/(-4)*19) a prime number?
False
Let a(g) = -65*g**3 + g**2 - g - 4. Let q be -1 - ((-26)/(-12) - 3/18). Is a(q) a prime number?
False
Let a = 285469 + -135468. Is a prime?
True
Let p(q) = -12*q**3 + 10*q**2 - 53*q + 142. Is p(-25) a prime number?
False
Suppose 62*z + 96 = -152. Let y(f) be the third derivative of 23*f**5/60 - f**4/6 - f**3/3 - 5*f**2. Is y(z) prime?
False
Suppose -249*k + 76019823 = 48*k. Is k a composite number?
True
Let c(j) = 1131*j - 16. Let k(a) = a**2 - 10*a - 72. Let y be k(15). Is c(y) a composite number?
True
Suppose 10 + 4 = -2*a. Let t be (188/4)/((7/8)/a). Let s = 1007 - t. Is s a composite number?
True
Let m be (-70)/25 - (-4)/(-20). Is 4/(72/(-39678))*m composite?
True
Let b(c) = -374*c**3 + 5*c**2 + 3*c - 7. Suppose 0 = -31*h + 30*h - 2. Is b(h) a composite number?
False
Suppose -10*c + 6*c = -x - 39178, 5*c - x - 48972 = 0. Let h = c - 6543. Is h a prime number?
True
Let j be (11/2 - 4) + (-2)/(-4). Let u be -3 + j - (22 - 3). Is (0 - 227/(-2)) + 10/u prime?
True
Let f = -31 - -122. Let c = f - -59. Suppose 0 = -2*n + 112 + c. Is n a prime number?
True
Suppose 5*q = -2*o + 282091, -353*o + 351*o + 282084 = -2*q. Is o a composite number?
True
Suppose -23*d + a = -21*d - 445470, 2*d + 5*a = 445422. Is d composite?
False
Let p(b) = 6479*b**2 + 54*b - 85. Is p(2) prime?
True
Suppose -8*j + 1 = -39. Suppose 0 = -j*k + 25, 6*p - k = 3*p + 1657. Is p prime?
False
Suppose 19*y - 9*y - 552858 - 305572 = 0. Is y a prime number?
True
Let j be -21 + 22 + (-3 + 4 - -98897). Suppose -9740 - j = -9*z. Is z a composite number?
False
Suppose -4*i + 21564 + 54559 = 3*r, 3*r = 5*i - 95147. Is (i/(-20))/((-1)/2) a composite number?
True
Is ((-12)/15)/((-540)/338159475) composite?
False
Is (-64)/36 - -2 - ((-208097680)/144 - -12) a prime number?
False
Suppose 149*p - 150*p = -5*r + 594260, 2*r - 237716 = -2*p. Is r prime?
False
Let o(v) = 10*v**2 - 541*v + 21. Is o(-62) a prime number?
False
Suppose u = -5*k + 199, 2*k + 38 = 3*k + 2*u. Suppose 3*h + k = 13*h. Suppose h*f - 3*x = 1394, x = -4*f - 4*x + 1378. Is f prime?
True
Suppose -8*v = -62 - 2. Let o be (0 - (-3 + 0)) + 8/v. Is (o/(-12))/1 - 2119/(-3) a prime number?
False
Let w(o) = 1255*o**2 + 928*o**2 - o - 1 - 188*o**2 -