. Let s = i + 51. Is (-3)/(((-36)/(-1228))/s) a prime number?
True
Let c = -73 - -372. Suppose -v - s + 108 = 0, -5*s = -v - 2*v + 300. Let x = c - v. Is x a prime number?
False
Suppose -13 = -3*m - m + b, -2*m - 5*b = -1. Let p be m*18 - (21 - 20). Suppose 0 = 52*g - p*g + 211. Is g prime?
True
Let l be (-314)/(-13) - 5*4/130. Suppose -9*j = -l*j + 36285. Is j a composite number?
True
Let o(d) = 1935*d - 7. Suppose 0 = 5*p + 2 - 12. Is o(p) a prime number?
True
Suppose -2*p = -4*c - 6, -3*p = -c - 13 + 4. Suppose 3*j + p*j + 48 = 0. Is (3 + -4 - -7)/(j/(-268)) a prime number?
False
Suppose 54*a = -9*a + 378. Let g(t) = 498*t**2 - 1. Let n be g(-1). Suppose -b + n = a. Is b a composite number?
False
Let o = 437 + -177. Suppose -266*w + 42474 = -o*w. Is w a prime number?
True
Is ((-144561)/(-6) - 2/4) + 4 prime?
True
Suppose 2*h - 381026 = 22*g - 25*g, -3*h = -g - 571517. Is h prime?
True
Suppose 0 = -6*o - 3*o + 361206. Suppose 5*i = -5*s - 0*i + 40110, 0 = -5*s + i + o. Let b = s + -4779. Is b composite?
True
Suppose 0*w + 6 = 3*w. Is 6 - (-3244 + (w - 3)) prime?
True
Suppose a + 7*d = 3*d - 3252, 6486 = -2*a + d. Let v = a - -7205. Is v prime?
False
Let s(b) = 29*b**2 - 3*b + 1541. Is s(-41) a composite number?
True
Let s be 232*171/6 + 6. Suppose -s = -4*k + 314. Is k a prime number?
True
Let u(j) be the third derivative of 7*j**5/60 + 19*j**4/12 - j**3/6 + 18*j**2. Let a(d) = d**3 + d - 18. Let w be a(0). Is u(w) prime?
True
Is (-1241650)/(-7) - (351/63 + -6) a composite number?
False
Is 336437/(7 - (-15)/(-4)*120/75) a prime number?
True
Suppose -2*f - f = q, 3*f = 4*q. Suppose q*j = j - 3013. Is j a composite number?
True
Suppose 7630998 = 7*t + 1783513. Is t a composite number?
True
Let n(p) = -14462*p - 9165. Is n(-8) a prime number?
True
Let s(b) = -73*b + 10. Suppose 0 = -4*p + 8, 5*p - 12 + 2 = 2*i. Suppose z - 3 = i, 3*d - 3*z + 7 = -23. Is s(d) a composite number?
False
Let s be (-359976)/20 - 2/10. Let t = -6410 - s. Is t prime?
False
Suppose -3*q + 5*k + 66 = 15, 0 = 3*q + 5*k - 51. Is (q/((-459)/185202))/(2/(-3)) prime?
True
Let f(r) = r**2 - 12*r - 62. Let b be f(16). Is (249/b)/(((-483)/70)/(-23)) a prime number?
False
Let x(p) = 1285*p**2 - 108*p - 15. Is x(-8) composite?
False
Suppose 7463 + 4681 = 2*u. Let p = u - -265. Is p a composite number?
False
Suppose -4*a + 5*t + 1940589 = 0, 0*a + 4*t + 1940584 = 4*a. Is a a prime number?
False
Let b(s) = 3*s**2 - 91*s + 535. Is b(49) a composite number?
True
Let j(s) = 7*s**2 - 2. Let o(z) = -5*z**2 - 3*z. Let m(x) = -j(x) - 2*o(x). Let i(a) = a**3 + 5*a**2 + 3. Let r be i(-5). Is m(r) a prime number?
True
Suppose 415064 = 45*v + 59*v. Is v prime?
False
Let p = 33793 - 8136. Let k = -13728 + p. Is k prime?
False
Let a(q) = -18*q**3 - 24*q**2 - q - 1. Let r be a(8). Let t = -4280 - r. Is t a composite number?
False
Suppose 5*l = -3*r - 8, -l = -3*r - 3*l - 14. Is r/(-39) + (-145299)/(-13) a composite number?
False
Suppose -120*h - 112*h + 36442758 = 26*h. Is h prime?
False
Suppose 140*m - 2280046 = 2165094. Is m prime?
True
Is 1673982/21 - ((-108)/(-21))/(-9) - -5 composite?
True
Let n(x) = 37*x**2 - 36*x - 15. Let v(h) = -9*h**2 + 9*h + 4. Let l(s) = -2*n(s) - 9*v(s). Is l(-5) a prime number?
False
Let r(w) = -w**3 - 6*w**2 + 12*w - 8. Let d be r(-8). Let l = d - 21. Is l a composite number?
False
Let v(c) = -50*c**3 + 3*c**2 + 1. Let l be v(3). Let b be (-8)/2 - 205*(-3 - -2). Let f = b - l. Is f a prime number?
True
Let b = -146 - -150. Suppose 0 = 5*h + 3*u - 8545, -3*h + b*u = -1625 - 3502. Is h composite?
False
Let r(w) = 461*w + 1620. Is r(79) a prime number?
True
Let j(v) = 4*v + 68. Let t be j(15). Is (622/3)/(t/2112) a prime number?
False
Suppose 7*r - 16 - 12 = 0. Suppose r - 46 = -6*i. Suppose -436 = i*y - 2585. Is y a prime number?
True
Let b be 242 - (4/12 - (-42)/(-18)). Suppose 0*v = v - 5*t - b, -5*v - 2*t = -1301. Is v composite?
True
Suppose -2101788 - 795626 = -32*h + 6*h. Is h a prime number?
True
Let q(x) = -10*x**3 - 2*x**2 - 4*x + 4. Let t be q(9). Let a = -4233 - t. Is a a composite number?
False
Suppose -3*g + 366366 + 489672 = 3*g. Is g prime?
True
Is (-8710796)/(-28) - ((-234)/(-126) + -1) a prime number?
True
Let q = 780 - 427. Is q*(5 + -2)*(2 - 1) prime?
False
Let o(c) = -11*c + 9587. Suppose -q - 2 = -5*b, -4*b + 7*q - 4*q + 6 = 0. Is o(b) a prime number?
True
Let k(i) = 2*i - 6. Let c be k(4). Suppose 2*w - 3478 = -2*v, 5*w - c*v + 5078 = 13745. Is w a prime number?
False
Suppose -8*y + 10*y + 6 = 0. Let i be (793/y - -4)/((-1)/3). Suppose 0*r + i = r. Is r a composite number?
True
Let u(y) = 7 - 5*y + 5*y + 24 - 10*y. Let g be u(-4). Is g - (-9)/3*6/(-9) composite?
True
Suppose -8*y + 76 = 11*y. Is 28/y + -9 + 2787 a composite number?
True
Suppose -3*c + 4*q + 244 = c, -2*c + 5*q = -107. Let g = -566 + c. Let m = g + 879. Is m a prime number?
True
Suppose p - 15 = 5*w, 0*w + 3*w + 27 = -3*p. Let t be (2/(-8))/((11/w)/(-11)). Is (-579)/(-3) + -1 + (t - 0) prime?
True
Is (((-1639270)/(-50))/((-2)/10))/(-1) a prime number?
True
Let g = 68 - 66. Suppose 5*r = -4*u + 2769, 4*u + 842 + 288 = g*r. Is r a composite number?
False
Let a(m) be the second derivative of -m**4/6 + 7*m**3/3 - 5*m**2/2 - 9*m. Let o be a(9). Is -2 + 1 + (-1 - o) a composite number?
True
Let u(t) = -6*t + 5 + 3*t - 36. Let x be u(-11). Suppose -4*z = -h + x*h - 459, 4*h - 2*z - 1926 = 0. Is h prime?
True
Let c(b) = b**3 + 12*b**2 + 11*b + 7. Let k(d) = d**2 + d - 1. Let n(z) = -c(z) - 3*k(z). Let v be n(-14). Is 2/(v + (-4)/(-8818) + 4) a prime number?
True
Let g = -55 + 55. Suppose n + g + 4 = 0. Is 10 + n + 122 + 2/(-2) a prime number?
True
Let h(q) = 24*q**3 - 4*q**2 + 25*q - 20. Is h(9) a prime number?
True
Let t = -14 + 17. Let d(r) = -27 - r - r**2 - 6*r**t + 5*r**3 + 1178. Is d(0) prime?
True
Let v(i) = -155*i**3 - 50*i**2 - 193*i - 1. Is v(-6) prime?
False
Let k = 366 + -363. Suppose 32*m - 4927 = -z + 30*m, -14821 = -k*z + 2*m. Is z a composite number?
False
Suppose 3*d = -5*p + 5633, -3*d + 1623 + 632 = 2*p. Let i = p + -791. Is i prime?
False
Is 657032/(-10)*1505/(-172) a prime number?
False
Suppose -2*m + 11 = -5. Suppose -2*x = -m + 4. Is (((-6)/9)/(x/1623))/(-1) a prime number?
True
Suppose -13*y + 325891 + 165119 = 0. Suppose 5*m = -5*q + y, -7556 = 3*q - 4*q + m. Is q prime?
False
Suppose -172 = 17*f - 155. Is (1/(-1))/(f/16671) - 0 a composite number?
True
Let j = 23072 + -19413. Is j a composite number?
False
Let x = -2935 + 4522. Let p = 13389 + -13387. Is 6/6*(x + p) a prime number?
False
Let h = 39238 + -17245. Is h a composite number?
True
Let i(u) be the third derivative of -u**6/60 + u**5/60 - u**4 - 7*u**3/3 - 118*u**2. Is i(-13) composite?
False
Suppose -4*c - 148 - 134 = p, -5*p - c = 1334. Let b = 53 - p. Is -1*(-4 - -6) + b prime?
True
Is -4049*(-2 - (-6 - -11)) a prime number?
False
Suppose 1065092 + 343089 = 60*o - 1818199. Is o prime?
True
Let w(t) = -305981*t - 363. Is w(-1) composite?
True
Let n = -4855 - -7507. Suppose 0 = 2*m - 3472 + 510. Let x = n - m. Is x a composite number?
False
Suppose f = 2*t - 4, -f - 4*f - 4*t = 76. Is ((-18)/27)/((-4)/f)*-541 a composite number?
True
Let z(y) = 108*y**2 + 65*y + 143. Is z(-20) a prime number?
True
Suppose -2*a + o - 6*o + 370016 = 0, 0 = -4*o + 24. Is a a composite number?
False
Let g(s) = 0 + 29*s**2 + 6*s + 0 + 3 - 2*s. Let n be g(-1). Suppose 0 = 28*z - 24*z - n. Is z composite?
False
Suppose 5569086 + 1367729 = 38*i - 2835759. Is i a prime number?
False
Let y be 24/(-72) + (-4)/(-3)*4. Suppose 0 = -5*x + o + 30158, 78*x - 75*x - 18108 = y*o. Is x composite?
True
Let o be (18 + -16)/((-2)/(-17)). Let k = 19 - o. Suppose m + i = k*i + 247, -5*m + i + 1251 = 0. Is m prime?
True
Let v be (28/(-8)*2)/(-1). Suppose -v - 97 = -8*t. Suppose 3*g + 22430 = t*g. Is g composite?
False
Suppose -5*l + 0*l + a + 18010 = 0, l - 3621 = 4*a. Suppose -5*t + 3*m = -l, t - 203 - 522 = 3*m. Is t composite?
False
Let z = 8885 - 5614. Is z composite?
False
Suppose 3*f + 3*p = -6, 0 = -5*f - 3*p + 2*p - 6. Let m be 13/((-26)/(-8)) + f + -1. Suppose -a - m*q + 131 = -0*q, 5*q - 20 = 0. Is a a prime number?
False
Let g(y) = -y**3 + 6*y**2 + 15*y + 8. Let r be g(8). Suppose 0 = -r*p + p - 613. Suppose 0 = 3*c - 2*a - p, 