 j*a = 4*k + 1657, 3*k - 2*k + 3*a = -403. Is (0 - 3)/(-3) - k a prime number?
False
Let d(o) = 7*o - 11. Let g be d(9). Let j = -42 - -105. Suppose -g = -c + j. Is c composite?
True
Let k(x) = 191*x**2 - 2*x + 24. Is k(5) composite?
False
Let k(f) = f**3 - 6*f**2 + 10*f - 4. Is k(7) a prime number?
False
Let q(m) = m**3 + 15*m**2 - 18*m - 43. Let b(c) = -c**3 - 14*c**2 + 18*c + 43. Let w(g) = 4*b(g) + 3*q(g). Is w(-14) a composite number?
False
Let i = -9697 - -6923. Let p = 5337 + i. Is p prime?
False
Let d(m) = m - 1. Let k(b) = b**2 + 17*b - 25. Let r(g) = 3*d(g) - k(g). Is r(-9) a prime number?
True
Suppose j = -2*x - x + 6, x = j + 2. Let q be (-4)/(-16) - (-295)/4. Suppose -20 = -3*t - 4*n + 23, 4*t + x*n = q. Is t prime?
False
Let a(g) = -g**3 - 2*g**2 + 2*g. Let r be a(-3). Is ((-795)/(-6))/(r/6) prime?
False
Suppose 0*z - 2*z + 4*u = -3274, 3*u = 5*z - 8192. Let f = z - -994. Is f a composite number?
False
Let y = -2627 + 5028. Let t = 3678 - y. Is t a composite number?
False
Let r = -5137 - -8034. Is r prime?
True
Suppose 0 = -9*q + 7*q + 4. Suppose -4*n + 5*j + 673 = 0, -3*n - 2*n + 837 = -q*j. Is n prime?
True
Let c = 2089 - 1285. Suppose m + 5*m = c. Is m a composite number?
True
Let z = -6485 - -9528. Is z a composite number?
True
Let v(m) = 515*m**2. Let o(r) = 257*r**2. Let p(k) = 13*o(k) - 6*v(k). Is p(-1) a prime number?
True
Is (-3)/15 + (-11)/(55/(-45246)) prime?
True
Suppose 5*z - 3*o - 84 = 0, 0 = 4*z - 0*o + 4*o - 48. Let c = z + -15. Suppose c = -5*x + 895 - 260. Is x prime?
True
Let g(v) be the first derivative of 26*v**2 - 204*v**2 - 503*v**2 + 6 - v. Is g(-1) composite?
False
Suppose 5*z + 2 + 13 = 3*l, 0 = 4*z - 5*l + 25. Suppose j - 31 = -3*y, -3*y + y - 4 = z. Is j composite?
False
Let k = -7 + 11. Suppose -5*o - 6 = k*y - 30, o + y = 5. Suppose l + 571 = o*z - 0*l, -3*z = -l - 428. Is z a prime number?
False
Suppose 11385 = n - p, 4*p = 3*n - 4*n + 11395. Is n a prime number?
False
Let p = 39793 + -15564. Is p a composite number?
False
Suppose 4*h + 2*k + 27417 = 124205, 0 = 2*h + 5*k - 48394. Is h a composite number?
False
Suppose 0 = 5*f - 5*r - 1352 + 332, -f = 3*r - 192. Is f a composite number?
True
Suppose x - 85450 = -4*f, -9*f - x + 106813 = -4*f. Is f prime?
False
Let w(t) = 949*t - 2. Let l be w(1). Let x = 1578 - l. Is x a composite number?
False
Let g be 140/25 - (-4)/10. Suppose 0 = -g*x + x + 5885. Is x composite?
True
Suppose 0 = -2*a + 4, 3*i + 2*a = -0*a + 10. Suppose -5010 + 1142 = -i*l. Suppose h - l = -h. Is h a prime number?
True
Let d = -2199 - -1236. Let t = -634 - d. Is t composite?
True
Suppose -26 = 27*h - 14*h. Suppose -2*g + 4*p + 50 = -7*g, -2*g - 37 = 5*p. Is g/h - 1 - -143 a prime number?
False
Let j be 1 + -4 + (4 - -1). Let k(v) = 127*v - 1. Let w be k(j). Is 1 + w - (-1 + -2) composite?
False
Suppose 16*q - 10*q - 56310 = 0. Is q composite?
True
Let f(q) = 2*q**2 + 18*q - 103. Is f(25) a composite number?
False
Let f = -9109 + 15530. Is f a composite number?
False
Let d(w) = -w**3 - 9*w**2 + w + 13. Let b be d(-9). Suppose -c + 21 = -0*c - 5*f, 0 = 4*c + b*f + 12. Is 0 + (100 - -3)*c composite?
False
Let b = 18 - 15. Let x be (1/3)/(5/45). Suppose -g + x*z + 10 = 0, -2*z + z - 54 = -b*g. Is g prime?
True
Let f(a) = a**3 - 2*a**2 + 1. Let k(u) = 8*u**2 - 1 + 4*u**2 + u - 9*u**2. Let r(y) = -2*f(y) - 3*k(y). Is r(-3) prime?
True
Let c(h) = 47*h + 40. Let m be c(-6). Let n = 509 + m. Is n a prime number?
False
Is ((-16)/(128/(-111368)))/(0 - -1) a prime number?
True
Let k = 2960 + -723. Is k prime?
True
Let m(f) = -8*f + 32. Let c be m(4). Is 1*(-4 + c + 57) a prime number?
True
Suppose -3*p = 2*r - 20, 2*r - 5*r - 3*p + 33 = 0. Let n = r - 15. Is 0 - (n + 95)/(-1) prime?
False
Let c(y) = 8599*y**3 + 4*y + 3. Is c(2) a composite number?
True
Let k(c) = -18*c + 0*c + c + 6. Is k(-9) a prime number?
False
Suppose 4*r = -v + 748, v - 1493 = -v - 5*r. Let i = -163 + v. Is i a prime number?
False
Let n(a) = 80*a**2 + 6*a + 6. Let v be n(-2). Let i = v - 203. Is i composite?
True
Suppose -453*u = -457*u + 13084. Is u a prime number?
True
Let d = 3262 - 1618. Let k = -859 + d. Is k a composite number?
True
Suppose -6 - 6 = 4*f. Let p be -35 + (-2)/f*3. Is p/(-6) - 12/(-8) a prime number?
True
Suppose -8*y + 4 + 28 = 0. Suppose 2*u - 2354 = -y*m, -m + 448 + 725 = u. Is u prime?
False
Let r(w) = -9*w + 86633. Is r(0) a prime number?
False
Is 1/((-1)/(-13278)) + (2 - -3) composite?
True
Suppose -3*f - 2*z + 17865 = -5*z, z + 17857 = 3*f. Is f a composite number?
True
Let f = -1004 - -500. Let u be f/(-81) + (-4)/18. Is 512/u - 2/6 prime?
False
Let s = -92 + 103. Suppose -5*k - 7062 = -s*k. Is k a prime number?
False
Let f(i) = 2*i - 32. Let m be f(11). Is (-1353)/(-15) + (-38)/m + -3 composite?
True
Suppose 3 + 2 = m. Let o(v) = -v + 4. Let u be o(m). Is (0 - u)*(26 + 5) a prime number?
True
Let i(k) be the second derivative of -73*k**5/120 - k**4/12 - 3*k**3/2 + k. Let d(n) be the second derivative of i(n). Is d(-1) prime?
True
Is (6/(-20))/((-13)/141310) a composite number?
True
Is 10/65 + (-20034)/(-78) prime?
True
Let z = -4237 + 23610. Is z a prime number?
True
Let o be (1*-1)/((-6)/(-84)). Is (-5556)/o + 1/7 a prime number?
True
Suppose -14818 = -16*g + 63534. Is g prime?
False
Suppose 1022 = -3*d + 3029. Is d a prime number?
False
Suppose -5*t = -0*t + 2*k - 17, -2*k = -2. Let l be -4*((-7)/4 + t). Is (-424)/(-3) - l/(-15) composite?
True
Suppose 0 = -25*d + 8*d + 17. Is 48/(-12) - (d - 3784) a prime number?
True
Suppose 0 = -3*j - 9, -3*k + 3*j = -36 - 54. Suppose -k*p = -22*p - 425. Is p a prime number?
False
Let k be (-18)/(-4)*(11 + -9). Is k/3*(-7419)/(-9) composite?
False
Let c = -67814 + 98991. Is c prime?
True
Let i be (-52)/6*18/(-12). Let l(j) = 3*j**2 - 9*j + 3. Is l(i) a composite number?
True
Suppose 2*j + 4 = j. Let k(a) = -459*a + 17. Is k(j) a composite number?
True
Let z(q) = 7 + 3*q**2 + 6*q - 4 - 1. Let a = 4 + -10. Is z(a) a composite number?
True
Suppose -8 = -2*r - 2. Let h = 97 + -97. Suppose -2*j - 4*p + 129 = j, h = -r*p. Is j a composite number?
False
Is 546/156 + 18126/4 a composite number?
True
Suppose 0*g = -5*g - 4160. Let i = -476 - g. Suppose 0 = -3*w - w + i. Is w a composite number?
False
Let z(s) = 2*s**3 - 28*s**2 - 21*s - 34. Let c(p) = 5*p**3 - 83*p**2 - 64*p - 101. Let n(m) = -3*c(m) + 8*z(m). Is n(-23) a composite number?
True
Let s(i) = -5 + 215*i**2 - 357*i**2 + 11*i + 204*i**2. Is s(-6) a prime number?
True
Is (120/(-300))/(4/(-7530)) a composite number?
True
Let l be ((-12)/(-4))/(9/(-24)). Is (0 + -1)*3448/l prime?
True
Let r(c) = 34*c**2 + 3*c - 1. Let b be r(1). Suppose 0 = -n - x + b, -7 - 17 = -n + 3*x. Is n a composite number?
True
Is 1 - 1500/(-22) - (-52)/(-286) a composite number?
True
Let u(r) = -r**3 + 6*r**2 - 9*r + 1. Let m be u(4). Let o(b) be the second derivative of -b**5/20 + b**4/6 - b**3/2 - b**2/2 + 2*b. Is o(m) a composite number?
False
Let m(o) = -o**3 - 11*o**2 - 16*o + 20. Let n be m(-9). Suppose 3*a - 2*c = -6*c + 255, n*c = 4*a - 340. Is a composite?
True
Let r(o) = -2*o**2 + 11*o + 10. Let z be r(8). Is (3585/z)/((-2)/4) composite?
False
Suppose 4*z + 20 = 3*v, 0 = 5*v - 0*v + 5*z + 25. Suppose -22*u + 20*u + 4 = v. Is 54 + u + -1 + 2 a prime number?
False
Let x = 205 + 5632. Is x prime?
False
Let l be 27*-2 - (4 - 0 - 3). Is l/(-10)*1*202 a prime number?
False
Let w = 12 + -21. Let o = -4 - w. Suppose 451 = o*m + 21. Is m a composite number?
True
Suppose -468723 = 14*f - 2536649. Is f a prime number?
True
Suppose 4*z + x - 9 = 0, -2*x - 4 - 4 = -5*z. Suppose 1 = -t + o, 4*t + 0*o - z = 2*o. Suppose 3*k = -t*n + 123, 2*k = n - 4*n + 177. Is n a prime number?
False
Suppose -2060 = 26*v - 9054. Is v composite?
False
Let n = 25329 + 2014. Is n a composite number?
True
Suppose -184 = -3*w - w. Suppose 4*s - 89 = -0*s - h, 0 = -2*s - 2*h + w. Is s composite?
True
Let y(z) = z**2 - 3*z + 2. Let o be y(4). Suppose o*q = 10*q - 8. Suppose 3*i - 1903 = -4*m, -3*i - 5*m + q*m = -1908. Is i prime?
True
Suppose 21*x - 10*x - 4785 = 0. Let n be (-66)/(-14) - (-4)/14. Suppose 3*g = -f + 5*g + x, -n*f = 2*g - 2235. Is f a composite number?
True
Let v = 44202 - 23567. Is v composite?
True
Suppose 0 = -2*a + 5*a + 12. Is (a/(-