((-4)/k). Let r = -18 + q. Is r prime?
True
Let a = -62512 + 108053. Is a a prime number?
True
Let o(i) = 1 + 4*i**2 - 56456*i**3 - 5*i**2 + 9746*i**3. Let z be o(-1). Is z/75 + 2/10 prime?
False
Let l(z) be the third derivative of -z**6/120 + z**5/5 - 3*z**4/8 + 3*z**3/2 + 9*z**2. Is l(10) a composite number?
True
Let x(w) = 32*w**2 + 24*w + 43. Is x(-15) composite?
False
Suppose 0 = -6*t + 4*t + 47992. Is (-1)/(t/(-11996) + 2) prime?
True
Is 13/26 + (2 - 558/(-4)) prime?
False
Is (-8)/18 - (84608/(-18) + -3) a prime number?
True
Suppose 9*p + 3 = 12*p, 0 = -4*k - p + 52917. Is k composite?
False
Let a(g) = 8*g**2 + 69*g + 188. Is a(-55) composite?
False
Is 2415*1 + (-5 - (-6)/6) a composite number?
False
Let m(f) = -f**2 + 7*f - 9. Let b be m(9). Is (-4)/(-18) - 23943/b a composite number?
False
Suppose -3*t + 3 = 4*j - 3, -5*j - 8 = -4*t. Let x(f) = -2*f + 359. Let d be x(j). Suppose 4*v = 3*p - d, -5*p = -4*v - 719 + 118. Is p prime?
False
Suppose 5*w + y - 451 - 85 = 0, 2*w + 4*y - 218 = 0. Let u = -72 + w. Let x = u + -16. Is x a prime number?
True
Let s(m) be the second derivative of -16*m**3 + 5*m**2/2 + 2*m. Is s(-4) composite?
False
Suppose 0*n - 2*n + 3928 = 0. Suppose i = 4*v + n, 3*v - 2*v = -i + 1954. Suppose -2*k - z + 1394 = 424, -2*z - i = -4*k. Is k a prime number?
True
Suppose -87062 = -26*q + 37296. Is q a prime number?
True
Suppose 0 = 2*j + 4*o + 523 + 107, -3*o = 2*j + 625. Let g = -194 - j. Is g a prime number?
False
Suppose 0 = 1381*u - 1389*u + 160808. Is u a prime number?
True
Let f(r) = 3642*r + 41. Is f(7) prime?
False
Suppose 0 = 5*j + 2*p - 18, -j - 15 = -5*p + 3. Is 0 - ((-8)/(j + 0) - 2455) prime?
True
Suppose n - 25 = -4*n. Suppose -n*j + 354 + 1 = 0. Is j composite?
False
Suppose -14*g = 9*g - 135631. Is g a composite number?
False
Let d(k) = k**3 + 33*k**2 + 13*k + 18. Is d(-31) a prime number?
False
Let g(b) = 7305*b - 62. Is g(5) a prime number?
False
Let s = -28 + 21. Is 4090/8 - s/(-28) a prime number?
False
Suppose 13*r = 25861 + 31898. Is r prime?
False
Let y be 64/((-2 + -6)/(-4)). Let r = 73 + -42. Suppose y*w = r*w + 69. Is w prime?
False
Let w(l) = -l**3 + 13*l**2 - 12*l + 3. Suppose -5*s + 0*s = -60. Let f be w(s). Suppose -852 = -u - f*u. Is u composite?
True
Let g(w) = -2*w**3 - 3*w**2 - 3*w + 6. Suppose 2*c - 22 = -4*x + 8, -21 = -x - 5*c. Let a be g(x). Let u = a + 841. Is u composite?
True
Let m(j) = 7*j**2 + j - 1. Let y be m(-1). Let v(c) = -25 - y*c**3 + 25 - c + c**2. Is v(-2) prime?
False
Let w be 298/2*(-28 - -29). Let b = w - -810. Is b a prime number?
False
Let n(p) = 3*p**2 - p + 5. Let u = 17 - 22. Is n(u) prime?
False
Let m = 4057 + 2057. Suppose -v + m + 115 = -4*g, 2*v + 3122 = -2*g. Is (-12)/18 + g/(-6) a prime number?
False
Let t(v) = -553*v - 108. Is t(-13) a composite number?
True
Let k(j) = j**2 - 3*j + 2. Let y be k(3). Let g = y + 3. Suppose -g = p - 88. Is p composite?
False
Let u = -11 + 1. Let a = 13 + u. Is a - (3 - 5)*14 a prime number?
True
Let r be 1 + 2 - (34 + -1). Is (-4493)/(-3) - r/(-45) composite?
True
Let u be 264/21 + (-6)/(-14). Let g(w) = -2*w**3 + 9*w**2 + 17*w - 9. Let j be g(u). Is j/(-21) + (-2)/(-7) a composite number?
False
Suppose 0 = -3*c + 4*c - 3. Let k be -25 - -1*(c + -5). Is (18/k)/(2/(-267)) a composite number?
False
Let n(f) = f**2 - 8*f - 4. Let a be n(9). Suppose -4 = -l - a. Let u(i) = -163*i**3 + i + 1. Is u(l) prime?
True
Is ((-148)/(-6))/((-86)/(-16383)) a composite number?
True
Let s(w) = 43*w**2 - 3*w - 2. Let m be s(-1). Let g = -7 + m. Is g composite?
False
Let t(g) = -g. Let w(o) = -5*o - 10. Let v(h) = -6*t(h) + w(h). Let r be v(13). Suppose -4*x + n + 48 = -908, -3*n = r*x - 717. Is x composite?
False
Let h(k) be the first derivative of -k**4/4 - 17*k**3/3 + 3*k**2 - 11*k + 27. Is h(-20) a prime number?
True
Let v = -160 - -159. Is (-1082 + (-10)/2)*v a composite number?
False
Let g(k) be the third derivative of k**5/30 - 7*k**4/24 - 5*k**3/6 - 2*k**2. Suppose 3*v = -0*v - 24. Is g(v) composite?
False
Is 2 - (2/4)/(7/(-22666)) a prime number?
True
Let o(v) be the second derivative of 1/2*v**4 + 0 + 7/2*v**2 - 3/2*v**3 - 4*v. Is o(6) a composite number?
True
Let m(p) = p**2 - 3*p + 4. Let h be m(2). Is (-307)/2*(h + -16)/7 a composite number?
False
Suppose 0 = -2*x - a + 35569, -54944 = -5*x - 2*a + 33977. Is x prime?
True
Suppose 0 = -4*o - 2*h + 74482, 4*o - 5*h + 31132 = 105593. Is o prime?
False
Let w be -7 + 5 - (1 + 4). Is -647*(-1 + 5 + w) composite?
True
Let y(n) be the first derivative of -7*n**4/2 + n**3/3 - 3*n**2/2 - 3*n - 4. Is y(-2) a composite number?
True
Suppose -7*v = -6*v. Suppose -3*x - 5*m + 534 = 0, 5*x - 4*m = -v*x + 890. Is x prime?
False
Let c be (-10)/(-2) + 9/(-3). Let t(l) = 4*l + 1 + 3*l - c. Is t(2) a prime number?
True
Suppose -11754 = -5*w + z, 0 = -2*w - 0*w - 2*z + 4704. Let r = -1009 + w. Suppose 0 = -3*t - m + 2015, -t = t + m - r. Is t prime?
True
Suppose 2*z + 3*z - 31 = -2*j, 12 = 4*j. Suppose 0*w + 2*w + z*b = 614, 2*w = -4*b + 614. Is w a composite number?
False
Is 320/(-1760) + 41/11*9903 a composite number?
True
Let m(v) = -v**2 + 83*v - 41. Is m(51) a composite number?
True
Let r be ((-2)/4)/((-9)/(-8748)). Is 5*(4 + (-3 - 0) - r) a composite number?
True
Suppose -4*c + 3*x = -24850, -c + 18643 = 2*c - 5*x. Is c prime?
True
Let b be (-10)/7*7/(-2). Suppose -b*y + 4355 = -0*y. Is y composite?
True
Let c(q) = -17*q**3 + 4 - 12*q**3 + 9*q + 28*q**3 - 2*q**2. Let m be (4 + -1)*(-1 - 1). Is c(m) a composite number?
True
Let l(g) = 5*g**2 - 12*g - 7. Let h be l(11). Let j = -87 + h. Is j composite?
False
Suppose -3*h = 5*j - 23519, -h + 4703 = j - 0*h. Is j a prime number?
False
Suppose -s = 4*s - 110. Suppose s = -0*w - 4*w + 2*b, -5*b = 5. Is -1090*(2 + 15/w) a composite number?
True
Let h = -386 - -4799. Suppose -6*q = -3*q - h. Is q a prime number?
True
Suppose -7*n + 160 = -120. Suppose 0 = -2*p + n - 28. Suppose p*q = 3*q + 393. Is q prime?
True
Let j = -14 + 15. Let w = -1 + j. Suppose 2*x + 6 - 48 = w. Is x a composite number?
True
Suppose 5*n + m - 10797 = 16379, 5*n - 27174 = m. Is n prime?
False
Let c = -3681 - -6334. Is c prime?
False
Let y be (4/16 + -1)*40/(-1). Suppose -509 = -7*v + y. Is v prime?
False
Let g(l) = -l**3 - l + 4. Let m be g(0). Suppose -m*b - 4*s = -7220, 7*b + s = 2*b + 9009. Is b composite?
False
Suppose 5*v + 2*h = 28, 12 = 4*v - 0*h - h. Suppose 0*l = 2*l - v. Suppose -5*x + 805 = -l*n, -n = -3*n. Is x prime?
False
Suppose -3*n + 11387 = -2710. Is n a composite number?
True
Suppose 5*b + 4*s = 14653, -2*s + 6*s + 12 = 0. Is b composite?
True
Let y(c) = 2*c - 5. Let b be y(5). Suppose b*n - 10 = -0*n. Suppose -p + 258 = 3*q, n*p - 2 - 4 = 0. Is q composite?
True
Suppose 4*x = -2*j - 2462, -x + 2*j = -0*x + 628. Let b = -367 - x. Is b a composite number?
False
Let m(z) = 28*z**2 + 46*z + 17. Is m(-18) a composite number?
True
Let x = -407 - -1278. Is x a prime number?
False
Let c(y) = 45*y - 2. Let l be c(-2). Let s = l - -189. Is s a composite number?
False
Let t(z) = 2*z**2 + 16*z - 18. Let x be t(25). Suppose 6*l - x - 12 = 0. Is l prime?
False
Let o = -4241 - -14010. Is o a composite number?
False
Let v = -6 + 4. Let q be (375 - 3) + v + 5. Suppose q + 20 = 5*z. Is z prime?
True
Let f(l) = 191*l - 723. Is f(7) prime?
False
Let m = 1043 - -1950. Is m a prime number?
False
Let g be 0/(4*4/8). Suppose 2*v + 4*n = -2*v - 44, g = -3*n - 6. Let i = 46 + v. Is i a prime number?
True
Let u = -3 - -5. Suppose 4*h = -0*c - u*c + 16, 3*c = 0. Let k = h + 3. Is k a composite number?
False
Suppose q - 594 = -4*i, -5*i = -4*q - 0*i + 2271. Suppose -121 - q = -5*s. Is s a composite number?
False
Let k = -18 - -63. Let o = 64 - k. Is o prime?
True
Suppose -103853 = -70*m + 53*m. Is m a prime number?
False
Let z(h) = h**3 - 10*h**2 - 2*h + 22. Let t be z(10). Suppose 4*k - 139 = -2*r - 11, 0 = -2*k - t*r + 62. Is k composite?
True
Suppose 3*z - 27834 = -3*z. Suppose 0 = -4*o - 5*q + 2482, 1518 = -5*o + 3*q + z. Is o a prime number?
False
Let f be (36/(-20))/((-2)/790). Suppose -2*q + f = 5*w, 4*q - 198 + 45 = -w. Is w a prime number?
False
Let z = -9224 + 28063. Is z composite?
False
Let d = 136 + -151. Is (-5015)/d - (-6)/9 a composite number?
True
Let u(i) = 21*i**2