 m(u) be the third derivative of 11*u**5/60 + u**4/4 + 7*u**2. Let a be m(-11). Suppose 0 = -8*g + 3*g + a. Is g a composite number?
True
Let j(a) = a**2 + 4*a + 8*a + 0 - 17. Let o be j(-16). Suppose o = q - 6. Is q a prime number?
True
Let l(r) = 55*r**2 + 17*r + 65. Is l(-6) prime?
False
Suppose 0 = -i - 6*i + 24255. Suppose -3*c + 7*c - 2784 = -4*v, -2*c + i = 5*v. Is v a prime number?
True
Suppose -7*r + 101 + 4 = 0. Suppose 0 = -r*o - 3660 + 34605. Is o composite?
False
Suppose -88 + 82 = -2*r. Let c(l) = -l**3 + 3*l**2 - l + 1. Let x be c(2). Suppose 0 = -x*o - r*m + 222, 0*o - 4*m = -4*o + 336. Is o a prime number?
True
Let x be (70/21)/(4/(-6)). Let z = -3 - x. Is (-1 - (-39)/2)*z a prime number?
True
Let y = 2 + -17. Let c be (-2392)/(-20) - (-9)/y. Suppose w = 2*w - c. Is w prime?
False
Let s be (-4)/18 + 148/18. Suppose s = -r + 3*r. Suppose 0 = 5*a + r*i - 383, 0*a = -a - 3*i + 70. Is a a prime number?
True
Let i(p) = p - 1. Suppose -a = -5*b + 18, 3*a - 9 = a + b. Let h be i(a). Suppose 2*v - h = -v. Is v a prime number?
True
Let y = 448 + 564. Let h = y - 693. Is h a prime number?
False
Let x(a) = -a**3 - 5*a**2 - 5*a + 9. Let f be x(-7). Let v be (-5)/(25/(-2)) + 393/5. Let o = f + v. Is o prime?
False
Let c(f) be the second derivative of 167*f**4/12 + 7*f**3/6 - 5*f**2/2 - 2*f. Is c(6) a composite number?
True
Let j = 2 + -1. Is ((-6)/18)/(j/3) - -956 prime?
False
Let s(p) = -3*p + 3. Let l be s(2). Let q(r) = 2*r. Let o be q(l). Is 3/o + 255/2 prime?
True
Suppose 4*s - c = -6*c + 41, 13 = s + 4*c. Let q(z) = 3*z + 18*z - 2 + s*z - 3. Is q(3) a prime number?
False
Let b(f) = -140*f - 21. Let a be b(16). Let v = a - -5404. Is v prime?
False
Let i be -12*((-161)/28 - -8). Let t(f) = -12*f**3 + 3*f**2 - 3*f - 2. Let u be t(-3). Let p = u + i. Is p composite?
False
Suppose -3884 = -y - y. Is 2 - (1 + 1 - 1 - y) prime?
False
Let q be (-66)/(-110) + (-3)/(30/(-4)). Is q*(2 - 577/(-2))*2 composite?
True
Let t(b) = 72*b - 2. Suppose -1 = -d + 3. Let q be t(d). Let n = q + 15. Is n composite?
True
Let a = 277 + -1065. Let t = -337 - a. Is t prime?
False
Let a = 115414 - 56412. Is a prime?
False
Let l(x) = -406*x**3 - 1. Suppose 5*z - 5 = -0. Let y be l(z). Let g = y - -608. Is g composite?
True
Let z be 24/(-10) - 6/(-15). Let n be 4 - (z - -4) - -825. Suppose -5*m + n = -408. Is m composite?
True
Suppose z - 240612 = -5*i, 3*z = i - 60228 + 12112. Is i composite?
True
Let k(a) = -2002*a + 925. Is k(-7) a composite number?
False
Suppose f + 7911 = 10*f. Suppose -f = 92*l - 93*l. Is l prime?
False
Let w(g) = 2*g**3 + 12*g**2 - 3*g + 13. Let d be w(-9). Let s = d + 753. Is s a composite number?
False
Let z(a) = 405*a - 2. Let x be (-1 + -1)*(1 - 4). Suppose -x*w + 3 = -3*w. Is z(w) composite?
True
Let n = -286 + 5547. Is n a prime number?
True
Suppose 3*i + 6*i - 99 = 0. Suppose 0 = -i*v + 19*v - 1328. Is v a composite number?
True
Let x = -4 + 9. Suppose 0 = -3*k, p + 4*p - 3*k = 10. Suppose x*v = u + 3547, -p*v + 1420 = -u - 0*u. Is v a composite number?
False
Suppose 2*p - 5*o - 1223 = 0, 4*p + 1297 - 3748 = 5*o. Suppose -p = -3*v + v. Is v composite?
False
Let x = 372 - -608. Suppose -4*y + 2 = -2*h, 4*y = -5*h - 5 - 0. Is h/(3 - x/326) prime?
True
Let k be (-3 - 22/(-6))*9072. Suppose -k = 4*i + 3*i. Let b = -437 - i. Is b prime?
False
Let w = 1205 - 424. Is w composite?
True
Let h(m) = 3*m**2 + 2*m + 1. Let n be h(1). Suppose -1473 = -9*l + n*l. Is l prime?
True
Suppose 2*t + 560 = h, 0 = 2*h - 0*h + 2*t - 1144. Suppose a - 9*a = -h. Is a prime?
True
Let d(h) = 2*h + 33. Let c be d(-16). Let m(b) be the first derivative of 13*b**4 + b + 1. Is m(c) a prime number?
True
Let k be ((-2)/12 - 8/(-16))*0. Suppose -4*p = -2*x - 16204, -5*p + 0*p - 3*x + 20233 = k. Is p composite?
False
Let h(s) = -86*s + 67. Is h(-36) a composite number?
False
Suppose 32*w + 115847 - 1015399 = 0. Is w prime?
True
Let p(l) = 106*l - 25*l + 12*l + 5. Let f be p(9). Suppose -4*b - 334 = -f. Is b composite?
False
Let j be ((-1155)/6)/11*-10. Suppose -j = -3*a + 86. Is a a prime number?
False
Let c be (13378/8)/(4/16). Suppose 2*b + 2*h = 3348, 2*b + 2*b - 3*h - c = 0. Is b a composite number?
True
Let k(x) = -8*x**3 - 18*x**2 - 30*x - 1. Is k(-13) a composite number?
False
Let y = 990 - -703. Is y a prime number?
True
Suppose 3*z = g + 12, 0*g - 2*g + z - 4 = 0. Suppose g*m - 507 = -3*m. Is m composite?
True
Suppose -5*v + 0*m + 2*m = 1842, -v - m = 367. Let d = v - -997. Is d prime?
False
Let k(d) = -3 + 2*d - d + 183*d**2 + 4 + 286*d**2. Is k(-1) a prime number?
False
Let a(j) = j**3 - 3*j**2 + j + 1. Let p be a(2). Let x be (p/(-2))/((-11)/(-88)). Is x/6 + (-1842)/(-18) a composite number?
False
Suppose 0 = -8*b + 21*b - 202813. Is b prime?
True
Let m(r) = r**2 + 16*r + 8. Let g be m(14). Let v(t) = t**3 - 6*t**2 + 3*t + 11. Let q be v(8). Let z = g - q. Is z prime?
False
Let o(l) = -l**2 + 11*l. Let x be 276/27 + (-6)/27. Let a be o(x). Let b = 84 - a. Is b composite?
True
Let k be (-26)/(-4) + (-1)/2. Suppose -86 = k*a - 8*a. Suppose i + 3*p - 23 = -i, 4*i - a = -5*p. Is i a prime number?
True
Suppose 6*v - 5378 = -902. Is v composite?
True
Let c(p) = -6*p - 57. Let s be c(-9). Is ((-7581)/(-12) + s)*4 composite?
True
Suppose 3087*w - 3077*w - 314830 = 0. Is w a prime number?
False
Let v = -1975 - -3106. Suppose -2*f + 1812 = 4*r, -4*r + v = -4*f - 657. Is r a composite number?
True
Let w(x) = 6*x**3 + 3*x**2. Let u be w(3). Let q(b) = -3 + 68*b + 5 - u*b + 6. Is q(-9) a prime number?
True
Is ((0 - -4)/(-4))/((-4)/29116) a composite number?
True
Let o(u) = 66*u - 14. Let b(p) = 22*p - 5. Let y(t) = -17*b(t) + 6*o(t). Is y(1) a prime number?
True
Is -4 + 2 + 5 - -45280 prime?
False
Suppose -u + 1 = 4*r, -2*r = 3*r - 2*u + 15. Is ((-28)/r)/7 - (-187)/1 a composite number?
False
Suppose 8*t = 3*t + 10. Suppose 12 = 6*g - 3*g. Is t/2*(g + 141) a prime number?
False
Let b(m) = 5*m**2 - 2*m**2 + 1 - 5*m - 2*m**2. Let u be b(2). Let v(n) = -39*n - 4. Is v(u) a prime number?
True
Suppose -b - 6 = -3*r, r + 6 = -2*b + 4*r. Suppose b = -u - 0*u - 5*x - 5, -u - 4*x = 4. Suppose -4*c + 5*w + 3860 - 652 = 0, u = 5*w + 20. Is c a prime number?
True
Let n(m) = -2*m**3 + m**2 - 14*m + 10. Let x be n(-7). Suppose 0 = 2*u - x - 1091. Is u a composite number?
False
Let c(v) = 19*v + 21. Let g(j) = -j**2 - 10*j + 1. Let z be g(-9). Is c(z) composite?
False
Let l(z) be the first derivative of 47*z**2/2 + 4*z + 1. Let s(q) = 3*q + 3. Let v be s(0). Is l(v) composite?
True
Let b(p) = 770*p - 119. Let t(c) = -77*c + 12. Let g(n) = -2*b(n) - 21*t(n). Is g(9) prime?
False
Suppose 3*b + 2*x = 55267 + 14132, b - 2*x = 23125. Is b a prime number?
True
Suppose 4*n = -3*y + 10325, 11*n - 10*n = -3*y + 2588. Is n prime?
True
Let n = 5396 - -8175. Is n prime?
False
Suppose 2*n + 4 = 4*n. Let k(u) = u**3 - 4*u**2 + u + 7. Let l be k(3). Is (l/n)/(1/758) composite?
False
Let j be (-28)/(-21) - 1/3. Let q be (-133 - j)/((-14)/(-42)). Is q*(-2 + (-6)/(-4)) a prime number?
False
Let r be (-518)/(-8) - 8/(-32). Suppose -2*c + 4*w + 168 = 0, -c + r = -4*w - 19. Suppose 2*d = -c + 242. Is d prime?
True
Suppose 24*g - 5661 = 15*g. Is g prime?
False
Suppose -141 + 583 = 13*k. Let s = 3 + 98. Let d = s - k. Is d a prime number?
True
Let a be (-1 + 0)/(17/(-34)). Let v(o) = 3*o**3 + 0 - 5*o + 3 - a*o**3 + 7*o**2 - 3*o**2. Is v(3) prime?
False
Let y(b) = 954*b + 419. Is y(35) a prime number?
True
Let u(j) = -j**3 + 4*j**2 + 2. Is u(-10) a composite number?
True
Let i(o) = -o**3 + 37*o - 6. Let p be i(6). Is (-118295)/(-30) + p + (-3)/18 prime?
True
Let a be -1 + 3 + 0 - -40. Let v = a - -58. Let i = v + -26. Is i a composite number?
True
Let a = -19 - -20. Is (-5 + a)*(-3409)/28 a prime number?
True
Let f(z) = -25*z - 11. Let k(h) = h + 1. Let r(v) = f(v) + 4*k(v). Let g(c) = -3*c + 27. Let o be g(11). Is r(o) prime?
False
Let d(j) = 9*j**2 + 11*j + 12. Let a be d(-12). Suppose -4*b = 4*h - 1156, 2*h = 4*b + h - a. Is b composite?
False
Suppose 0*j - 6*j = -1758. Is j prime?
True
Let d(b) = 41*b**3 + 5*b**2 - 5*b - 3. Let v = 146 + -144. Is d(v) a prime number?
False
Let n = 1532 + -2395. Is (-9)/(-9)*n/(-1) prime?
True
Suppose -5*m + 4 = -11. Suppose 3*v - 3 = 0, -8*q = -m*q + 2*v - 32. Let r(