256 = -3*a - p*i, -a + i + 355 + 72 = 0. Is a composite?
True
Suppose 0 = -6*x + 482 - 440. Let m(r) = 9*r**2 - 15*r + 25. Let t(h) = 4*h**2 - 7*h + 13. Let z(p) = -3*m(p) + 7*t(p). Is z(x) composite?
False
Let d = 0 + 3. Let z be (-4 + 902)*3/(-6). Is z*(-5 + 12/d) a composite number?
False
Let d(p) = 4972*p + 4695. Is d(7) a composite number?
False
Let z(c) = -2731*c - 7 - 2285*c + 8. Is z(-2) a composite number?
True
Let z = 149 + -116. Let o = 100 + z. Is o a composite number?
True
Let o(g) = 2*g**3 - 41*g**2 - 15*g + 11. Let u be o(21). Suppose -2*l + 28 - u = -5*m, 59 = -l - 2*m. Is 3/2*(-119206)/l a prime number?
True
Is ((-10 - -135628) + 8)*4/8 a prime number?
False
Suppose -5*c + 4*k = 5*k - 37452, 0 = -3*c + 3*k + 22482. Suppose -15441 = -n + 4*z, c = n - 2*z - 7940. Is n a composite number?
True
Suppose 5*d = 40 - 10. Let r = -4 + d. Suppose 660 = 5*i - i - r*u, 4*i + 4*u - 684 = 0. Is i a prime number?
True
Let l = 36 + -13. Let a = 499 + l. Suppose -2*z + 4*p = -a, 0 = -2*z + p - 3*p + 492. Is z a prime number?
True
Let r = 262 - 262. Suppose 23*i - 5*i - 10566 = r. Is i a prime number?
True
Suppose s + 2*g - 20925 - 75282 = 0, 0 = 5*g + 10. Is s a composite number?
False
Let r(l) = -171272*l + 557. Is r(-12) a prime number?
True
Let v be 4 - (2/(-4))/((-12)/2928). Is v/(-177) - 2270/(-6) composite?
False
Let c = 233 - 231. Suppose 4*v - 13381 = 4*f - f, c*v = 2*f + 6692. Is v a prime number?
True
Suppose b = 2*h + 1170, 0 = -h - 5*b - 296 - 289. Suppose 0 = 4*k + 283 + 4093. Let p = h - k. Is p prime?
True
Let v(p) = -144*p + 5. Let y = -2 + -8. Let x be v(y). Suppose 5*b = 4*t - 9*t + x, -t + 2*b = -289. Is t composite?
True
Let a = 478200 + 386434. Is a a composite number?
True
Let w = -58497 - -18383. Let k = w + 56421. Is k a composite number?
True
Let g = 251274 - 149581. Is g a composite number?
False
Let s(k) = 6459*k + 1445. Is s(36) a prime number?
True
Let f(k) = -k - 5. Let h be f(8). Is h*(-767 + (-16)/8) a composite number?
True
Is -3*(-649441)/(-273)*-77 prime?
False
Let u = -889 - -2520. Suppose -4*n - 2*r + 3068 = 0, -2302 = -3*n - 3*r + 2*r. Let i = u - n. Is i prime?
True
Let b = 3443 - -467. Let r be (-4)/14 - ((-18542)/21 + (-5)/15). Let v = b - r. Is v a composite number?
True
Suppose 3*y + 617*h - 310071 = 613*h, 2*y = -4*h + 206710. Is y composite?
True
Let f(u) be the first derivative of 6*u**3 + 6*u**2 - 19*u + 51. Is f(6) a prime number?
True
Suppose 8*h - 15*h + 119 = 0. Suppose -19*y + h*y = -58. Suppose -32*m + 465 = -y*m. Is m a composite number?
True
Let u(r) = r**3 - 9*r**2 + 9*r + 6. Let f be u(8). Suppose 2353 + 125061 = f*a. Is a prime?
False
Let o(z) = -6*z + 34. Let a be o(9). Is (26559/(-6) + 2)/(a/40) composite?
False
Let b = 57 - 87. Let y = 29 + b. Is (9 - (-1 + y))/((-1)/(-179)) a prime number?
False
Let i be 4*(1/(-4) + (-3 - -4)). Let z be i/((-15)/325)*56/(-10). Let w = 3781 + z. Is w a prime number?
False
Let t(d) be the third derivative of -d**4/4 - 7*d**3/6 + 36*d**2. Let y be t(-2). Suppose -y*b + 6*k + 1499 = 5*k, -b - 2*k = -291. Is b composite?
True
Let h(o) = -o**3 - 44*o**2 - 26*o + 87. Let n be h(-33). Let m = -5533 - n. Is m prime?
True
Let k = 9 - 1. Suppose k = i + 3*f, -6 = -0*i - i - f. Suppose -3*q = -q + 4*y - 630, i*y = -3*q + 941. Is q a prime number?
True
Let p be ((-27)/90*58)/((-2)/20810). Suppose -30*y + y = -p. Is y a composite number?
True
Suppose -3*g = 5*v - 1353583, 3*v - 2127057 = -5*g + 128936. Is g prime?
True
Let u(q) = 96*q**3 + q**2 - 1. Let c be u(1). Suppose 148 = 100*z - c*z. Is z prime?
True
Suppose -187*n = -189*n + 73660. Suppose -5*m = -5*y - n, m - 2*y = -3*y + 7372. Is m prime?
True
Let w be 84/60 - 2/5. Let s be 117/5 + w - (-4)/(-10). Suppose 95 + s = m. Is m a composite number?
True
Let n(a) = -176*a**3 + 6*a**2 - 66*a - 441. Is n(-10) a composite number?
False
Let m be 4*(-6 + (-17448)/(-32)). Suppose 2*w = l - 0*l - 1083, -5*w = 2*l - m. Is l prime?
False
Let y(j) = -2 + 4*j - 7 - 2 + 3*j + 13*j**2. Let k be y(-8). Let t = 2084 - k. Is t a prime number?
True
Suppose -9*u = -0*u - 378. Let m be 72/u + ((-8)/(-14))/2. Is m*(0 - (-2692)/8) prime?
True
Suppose 3*x - 71387 = -4*h, 3*x - x = -h + 47583. Suppose 8*n - x - 2947 = 0. Suppose 2*d + a + 3*a = 3342, n = 2*d + a. Is d composite?
True
Suppose 2*c - 2 = -3*a, 4*c - 9 = -a + 5*c. Suppose 0 = -a*l - 1983 + 14579. Is l composite?
True
Let h = -13 + 18. Let w be (324 - 9)*2/h. Is 0 - 0 - (7 - w) composite?
True
Let q = 933793 + -535114. Is q a prime number?
False
Let h(a) = -a**3 - 2*a**2 - 6*a - 5. Let n be h(-1). Let y(k) = 420*k**2 + 3*k - 1. Let w be y(2). Suppose n = 9*t - 14*t + w. Is t composite?
False
Let t be (-777 - (-8 - -3))/(-1 + -1). Suppose 0 = s - 2*s + t. Let l = s - 55. Is l prime?
True
Suppose 4*d = -12, 8*c - 2888 = 3*c - 4*d. Let q = c - -627. Is q prime?
False
Let c(g) be the first derivative of 2433*g**2/2 + 28*g + 18. Is c(3) a composite number?
True
Let c(a) = -a + 22. Let y be c(13). Suppose -8816 = w - y*w. Suppose 5*x + w = 2*q - 1165, 0 = -2*x + 6. Is q a composite number?
True
Let u = 996079 - 612486. Is u prime?
False
Let w(p) = -430*p**3 + 14*p**2 - 60*p + 75. Is w(-8) a prime number?
False
Suppose -u - 4*r - 140 = -4*u, -5*u + 272 = 3*r. Let x be (-2)/(-13) + -4*2/u. Suppose x = 2*f + 2*q - 6414, 2*f - 4*q = -9*q + 6426. Is f prime?
True
Let p(x) = 582*x**2 - x + 12. Let y be -6 + 5 + -5 + 1. Is p(y) a composite number?
True
Let f = 63 - -319. Let c = -95 + f. Is c composite?
True
Let p(s) = -7*s**3 + 329*s**2 - 32*s + 121. Is p(-36) composite?
False
Let o(t) = -14*t + 3151. Let p(a) = -a**3 + 35*a + 6. Let d be p(6). Is o(d) prime?
False
Suppose -2*g - 3*c + 5101 = 0, 11*c = 5*g + 8*c - 12742. Let m = g + -1076. Is m composite?
True
Let f = -6884 - -12302. Let p = f + -3091. Is p composite?
True
Let i(n) = -n**3 + 24*n**2 - 44*n + 7. Let b be i(22). Suppose 0 = b*d - 5441 - 1160. Is d a composite number?
True
Is 380587/5 + 0 + (2 - (-48)/(-20)) a prime number?
False
Let i = 367025 - 122086. Is i prime?
True
Let a(f) = f**3 - 2*f**2 - 2*f + 3. Let q be a(3). Is (-7)/14 - (-1113)/q a prime number?
False
Let f = 314716 + 58303. Is f a composite number?
False
Suppose -6*h = -3*h - 1536. Let d = 942 - h. Suppose d = -4*b + 6*b. Is b a prime number?
False
Suppose 5*i + 137557 = 4*x, -181*i + 180*i - 68783 = -2*x. Is x composite?
True
Suppose 11*u - 13*u = -86. Suppose 2*h = -2*h - 3*o - u, h + o = -10. Let x(p) = 6*p**2 - 24*p - 7. Is x(h) a composite number?
False
Suppose -282 = -9*a + 3*a. Let v = a - 45. Suppose s - 541 = -v*y + 128, 2007 = 3*s + 3*y. Is s prime?
False
Is ((-149755284)/60)/(-21) - (-4)/(-10) prime?
False
Suppose -5*x - 5*c = 35, -5*c + 5 = -x + 28. Let w(m) = -m**2 - 4*m - 8. Let h be w(x). Is (1 - 0) + 1461 + (h - -1) a composite number?
False
Suppose 0 = -t + 5*s + 25, 4*s + 3 - 12 = -5*t. Suppose -t*w = -15, -w + 8976 = 3*f - 0*w. Suppose 33*j - f = 30*j. Is j a prime number?
True
Let l = 741 + -482. Let y(n) = -n**3 + 32*n**2 - 38*n + 85. Let o be y(31). Let t = l - o. Is t a prime number?
False
Let y be ((-3)/(-1) - -1) + (-1414)/2. Let i(u) = 210*u**2 + 2. Let q be i(3). Let l = q + y. Is l prime?
False
Let q = -166508 - -302521. Is q a composite number?
False
Let q = 674 - 615. Let t = 6172 - q. Is t a composite number?
False
Let o(y) = y**2 + 4*y - 6. Let z be o(3). Is 8304/z - (-8)/20 a composite number?
True
Let u(v) = 179*v - 11. Let m be u(-1). Is (m/35 - -6) + (-12603)/(-7) composite?
False
Is 2688389956/1332 + 6/27 a composite number?
True
Is 5 + 9/(-3) + (-715630)/(-2) prime?
True
Let d(q) = 16*q**3 + 3*q**2 - 3*q - 7. Let f = -152 - -157. Is d(f) a prime number?
True
Suppose -37044*u + 37057*u = 670813. Is u composite?
True
Let o be ((-10)/(-15))/1 - 12/18. Let r(x) = x**2 - 10*x + 9619. Is r(o) prime?
True
Suppose -2*m + 30 + 46 = 0. Let n = 30 - m. Is (422/n)/(10/(-40)) a prime number?
True
Let m(y) = -556035*y**3 + 6*y**2 - 26*y - 28. Is m(-1) a prime number?
False
Let d(w) = 74*w**2 + 2*w - 17. Let p = 27 - 38. Is d(p) a composite number?
True
Suppose -11690 = 6*v + 14266. Let n = 6799 + v. Is n a composite number?
False
Suppose 2*x - 116753 - 35615 = 161798. Is x composite?
True
Let w be ((0 + 2)/(-2))/(5/12905). Let