?
True
Let z = -269 + 272. Suppose 2*v - 5*r = 12607, 0*v = z*v + 2*r - 18939. Is v prime?
True
Let v = 52 + -48. Let o be v + (2 - 2) + -2. Suppose 0 = w - 5, -w - 819 = -o*s - 2*w. Is s a prime number?
False
Let u = -946 + 15436. Let y = u + -8509. Is y prime?
True
Let b(s) = s**2 + 7*s - 2. Let a(k) = 2*k**2 + 13*k - 3. Let y(i) = 3*a(i) - 5*b(i). Let d be y(-5). Is d/8*4*(-74)/(-3) prime?
False
Let r(s) = 5*s - 83. Let p(i) = i. Let x(f) = 4*p(f) - r(f). Is x(-6) composite?
False
Suppose -6 = -2*n - 0. Suppose -3*k = -m - k + 1160, 5*m + n*k - 5735 = 0. Suppose -m - 1635 = -5*l. Is l composite?
False
Let k be (-1)/((-7 + 1)/(-6)). Let v = 48999 + -71427. Is v/(-32) + k/(-8) prime?
True
Suppose 4*a - 3*g - 140578 = 0, 5*a - 242*g - 175721 = -238*g. Is a a prime number?
True
Suppose -17207 = -2*i + q, -12*i - 3*q = -14*i + 17201. Is i a composite number?
True
Let j(h) = 5*h + 2 - 3 + 2 + h**3 - 7*h**2 + 8. Let o be j(6). Suppose a + 2 = -3, 4*a - 1489 = -o*u. Is u composite?
False
Let o(i) = 73*i**2 + i. Let k be o(1). Let j = 76 - k. Is (-7)/14 + (-3214)/(-8)*j a prime number?
False
Let h(v) = 4*v + 34. Let g be h(-6). Suppose -g*i - 2 + 32 = 0. Is i/(-12)*(-12069 - 7) a prime number?
True
Suppose 15*q = 5*q + 309310. Is q a composite number?
False
Let f = 1700 - -1662. Suppose -24*s = -40294 - f. Is s a composite number?
True
Suppose 3*o - 45 = d - 4*d, -2*o - 6 = -d. Suppose d*w - 1045 = 7*w. Is w composite?
True
Let c = 28 + -26. Is c/6 + 10444/6*1 composite?
False
Is (733011/(-815))/(3/(-335)) a prime number?
False
Suppose 0 = r - 64 - 707. Suppose 5*j - 4346 = -r. Suppose j = 4*s - 89. Is s a composite number?
True
Suppose -2*n = -11 + 5. Suppose 4*o - 4249 = -5*k, n*o + 3*k = -2*o + 5308. Is o prime?
True
Suppose -13*p - 615469 = -15*p + 5*i, 0 = -p + 2*i + 307733. Is p prime?
False
Let y be (-1)/3*(-6 + -21). Suppose -23505 = -y*a - 6*a. Is a a prime number?
True
Suppose -g + 0*g + 5*k + 3 = 0, -5*k - 6 = -2*g. Suppose -1339 = -g*r + 1547. Suppose r = l - o + 11, 3*l - 2865 = -3*o. Is l prime?
True
Let u = 37483 - 9750. Is u a prime number?
True
Let k be (-5)/((-20)/71612) - (8 - 3). Suppose 4*n - 394 = k. Is n prime?
False
Let z = -131458 + 228515. Is z a prime number?
False
Suppose 0 = -73*o + 434*o - 241509. Let v = -566 + 148. Let t = o + v. Is t prime?
True
Suppose 32*f + 178*f - 8926050 = 60*f. Is f a prime number?
False
Let h(u) be the third derivative of 55*u**4/6 + 167*u**3/6 + 3*u**2 - 6*u. Is h(8) composite?
True
Suppose 4*s + 433 - 441 = 0. Let j = 6 + -6. Suppose j*a = -s*a + 3594. Is a a composite number?
True
Suppose 4*g + y = -1922, 693 + 749 = -3*g - y. Is 30/5 - (g + -1) a prime number?
True
Suppose w - 8 = -2*n, -3*w + 1 = -n - 9. Is ((-699)/n)/(920/(-112) - -8) composite?
True
Suppose 0 = 23*x - 27*x - 8, 2*p - 1951110 = 4*x. Is p composite?
False
Suppose 0 = 5*f + 28 - 73. Suppose f*t = 4*t + 4835. Is t composite?
False
Suppose -4 - 6 = -2*d, 20 = 3*k + d. Suppose 76*c + k = 81*c. Is 551/(-2)*c*(-4)/2 a composite number?
True
Suppose 9*u + u - 106500 = 0. Let k = 23309 - u. Is k a composite number?
False
Let g = 34 + -66. Let c = 32 + g. Suppose 0 = -0*a - 5*a - o + 2446, c = 4*a - 4*o - 1952. Is a a prime number?
False
Let n(f) = 0*f**2 + 8 + f**2 + f**2 - f**2 + 9*f. Let a be n(-9). Let j(y) = 3*y**2 + 6*y + 9. Is j(a) prime?
False
Suppose 17*y - 305 = -2957. Let v = y - -347. Is v composite?
False
Is (33 + -32)/((-3)/(-5219931)) a prime number?
True
Let b be 0/((0 + 3)/3). Suppose b = 3*y + y - 164. Suppose 10*w - y - 89 = 0. Is w composite?
False
Let n be (-6 + -2 - -3) + 88. Let k = -95 + n. Is (-38073)/k + (-2)/(3 - 11) prime?
False
Suppose y + h + 4*h = 8, -4*h + 12 = -2*y. Let p be (y/(-3))/((-3)/18). Is ((-2)/4)/1*(p - 758) a composite number?
True
Suppose -3*m + 6157 = -2*y, m - 7*y = -10*y + 2056. Is m a prime number?
True
Suppose 7*r - 3*r - 3*w = 12, r = -3*w + 3. Is ((-2053)/r)/(7/(-25 - -4)) a prime number?
True
Suppose -30*i + 158 + 862 = 0. Suppose -4948 = -2*p + 5*y, p = -i*y + 37*y + 2473. Is p a composite number?
True
Suppose 5*k - 4*u - 37229 = 133814, -4*k + 136829 = -5*u. Is k a composite number?
False
Suppose -o - 4*o + 2*f + 44020 = 0, -o + 8801 = -f. Let i = o + -519. Is i a prime number?
True
Let t(w) = 527*w**2 - 19*w - 1. Let k be t(-3). Let c = k - 1582. Is c prime?
True
Let i(l) = 5*l**3 - 31*l**2 + 54*l + 685. Is i(43) a composite number?
True
Is (6871086565/(-114))/(-35) - (-1)/6 a prime number?
False
Suppose -2*d + 5180 = 5*n, -4*d - d + 12950 = -4*n. Suppose -k + 703 = -5*i + 27970, -5*i = -2*k - 27269. Let a = i - d. Is a a composite number?
True
Let v = 18018 - 10553. Is v a composite number?
True
Let j = 1174125 + -685178. Is j composite?
False
Let f = 26 - 24. Let w be ((-1329)/f)/((-3)/(-4))*-2. Suppose -7*d + w + 251 = 0. Is d prime?
False
Let t = 508802 + -284103. Is t prime?
True
Let d(g) = g**2 + 14*g - 1. Let x be d(0). Let y = -16 + 10. Is (y/8)/(x/388) a prime number?
False
Let d(r) = -582*r**3 + 3*r**2 + 2*r - 5. Let w be ((-30)/(-18) - 1)*(-2 - 1). Is d(w) a composite number?
True
Is (-942442)/203*(-35)/10 a composite number?
False
Let d(u) = u**3 + 77*u**2 - 16*u + 445. Is d(-57) a composite number?
False
Let m = 992 - 668. Let h = -131 + m. Let p = h + 114. Is p prime?
True
Let q(f) = f**2 + 9*f + 17. Suppose -n = g + g + 5, -3*n - 4*g = 17. Let p be q(n). Suppose -4*l = 16, -4*x - l + 1492 = p*l. Is x prime?
False
Let d(q) = 4828*q**2 + 32*q - 97. Is d(3) composite?
False
Let w be ((-3)/(-4))/(5/20). Let a(h) = -37*h + 14. Let l be a(w). Let y = -86 - l. Is y prime?
True
Let p(l) = -2*l + 0*l - 33*l**2 + 4 + 34*l**2. Let i be p(0). Suppose i*n + 4*u = 852, 0 = 5*n - 5*u + u - 1047. Is n composite?
False
Let m = 18056 - 10406. Let y = m - 2185. Is y a composite number?
True
Suppose 19*y - 37 = 20. Suppose -4*s + 4216 + 8938 = y*l, -5*s + 16439 = 2*l. Is s composite?
True
Let j be (-39 - -1)/(18/(-5778)). Suppose -5*n = -p + j, 2*p - 4*p = -5*n - 24376. Is p a composite number?
True
Let g(c) = -412*c - 2. Let h(v) = -1231*v - 10. Let p(w) = -1230*w - 11. Let d(b) = -5*h(b) + 4*p(b). Let t(f) = -3*d(f) - 8*g(f). Is t(-1) a prime number?
False
Let y be (4/(-10) - 0)*-5. Let d = -460 + 463. Suppose d*f + 3*k - 6*k = 186, 4*k = y*f - 130. Is f prime?
True
Let t(y) = 11*y - 2. Let m be t(3). Suppose -m = -8*r + 41. Let g(u) = u**3 - 5*u**2 + 10*u - 19. Is g(r) prime?
False
Let k = -833078 - -1220719. Is k a prime number?
True
Let g(n) be the first derivative of -n**5/60 - 35*n**4/24 - 17*n**3/6 + 21*n**2/2 - 11. Let x(y) be the second derivative of g(y). Is x(-12) a prime number?
False
Suppose 51*z - 47*z = 1747828. Is z composite?
False
Is -117471*(1/9)/(5 - 128/24) a composite number?
False
Suppose 53*b + 108*b - 42810858 = 53382295. Is b composite?
False
Let x = 4 + -16. Let q(v) be the second derivative of -v**5/20 - 5*v**4/12 - 5*v**3/6 + 7*v**2 - v + 560. Is q(x) composite?
True
Let k(b) be the second derivative of 53*b**3 - 11*b**2 + 4*b + 55. Is k(2) a prime number?
False
Suppose 0 = -2*h - 6*f + 4*f + 330868, 0 = 5*h + 2*f - 827191. Is h a composite number?
True
Suppose -5*t - 2*r + 2281 = -0*r, 4*t - 1835 = -5*r. Let b = t - 185. Let u = b + -161. Is u prime?
True
Let k(c) = 3*c**2 + 16*c + 37. Let h be k(-12). Let r = h - 128. Is r a composite number?
False
Is (-62438)/(((-990)/(-125) - 10) + 4/50) composite?
False
Suppose -858424 = -5*s - h, -9*s = -10*s - 2*h + 171683. Is s a prime number?
False
Suppose i - 1 = 0, 0 = -47*x + 42*x - 3*i + 733508. Is x a composite number?
False
Let z(j) = j**2 - 58*j + 168. Let m be z(3). Is -13641*(1 + 0)*(-1)/m a prime number?
True
Let y(b) = -7049*b**3 - b**2 + 4*b - 39. Is y(-5) a composite number?
True
Let r(h) = -h**3 - 11*h**2 - 11*h - 11. Let l be r(-10). Let a be ((-31)/(-3))/(l*2/(-36)). Is (a/24)/(1/76*1) a composite number?
True
Let l(a) = -276*a**3 - a**2 - a. Let k be l(4). Is 4/(-30) + k*28/(-240) a composite number?
False
Suppose 153270 = 3*h + 3*d, -1033*h + 4*d = -1028*h - 255387. Is h prime?
False
Suppose 0 = 3*t - 3*b - 93, 3*b + 63 = t + t. Suppose -36*a + t*a = -22746. Is a a composite number?
True
Let r = 829 - 377. Suppose -5*v + 5*m - 3185 = 0, -5*v - 2741 = 3*m + r. Let y = v - -1011. Is y com