Let c(j) = 17*j + 5. Let z be c(8). Suppose -2*h - z = h. Let s = h - -82. Is s composite?
True
Let y = -68 + 302. Let x = y - 113. Suppose -5*q + x = -9. Is q composite?
True
Suppose 4*x = 6*x - 1282. Is x a prime number?
True
Let r(b) be the first derivative of -23*b**4/24 - 2*b**2 - 1. Let j(y) be the second derivative of r(y). Is j(-1) prime?
True
Let m(z) = -z**3 - 5*z**2 - 6*z - 6. Let l be m(-4). Suppose 111 = u - 4*x, -l*x + 143 = u + 32. Is (u/(-6))/(2/(-4)) a prime number?
True
Let k = 116 - -95. Is k composite?
False
Let d = -3 - -3. Let w be (13 - d)*(-54)/(-1). Is (-2)/5 + w/30 composite?
False
Let l(w) = w**2 + w + 2. Let f be l(-2). Is -4 - ((-52 - f) + -1) composite?
False
Let d(l) = -l - 5. Let a be d(-9). Suppose 0*u = a*u - 284. Is u a composite number?
False
Let g = -209 + 910. Is g a composite number?
False
Let x(m) be the first derivative of m**3/3 - 5*m**2/2 - 11*m - 6. Is x(-6) prime?
False
Let f(c) = -c + 19. Let h(o) = -2*o - 8. Let j be h(-6). Suppose w = -j*w. Is f(w) prime?
True
Suppose 0*i - 2*z + 244 = 2*i, 2*i + z - 244 = 0. Is i composite?
True
Let m(p) = -p. Let l(s) = 4*s + 1. Let r(g) = -l(g) - 5*m(g). Let h be r(1). Suppose h*n - 3*n = -57. Is n a prime number?
True
Suppose 0 = 2*v + 2*s - 430, 3*v = -5*s + 635 + 16. Is (-2)/2 + 0 + v a composite number?
False
Let j = -5 - -87. Is j prime?
False
Suppose -3*a - 2*a = 0. Let s = 14 - 9. Is 12/10*(a + s) composite?
True
Suppose 0 = -j - 3 + 188. Let u = j - -13. Suppose 5*p + x - 5*x - 331 = 0, 3*p - 3*x = u. Is p a composite number?
False
Is -1 - -4 - (-66 - -2) a prime number?
True
Suppose -80 = -b - 11. Is b a prime number?
False
Suppose 3*i = i + 8. Suppose 4*d - i = 2*d, -2*d = 5*r - 29. Suppose -4*z + r*z = 149. Is z prime?
True
Let u be 3102/(-14) + (-27)/63. Let j = 11 - u. Is j prime?
True
Let n(j) = 3*j**3 + j**2 - 2*j - 2. Let s be n(-4). Suppose 0 = 4*l + 992 + 332. Let f = s - l. Is f composite?
True
Let k(b) = -b - 2. Let u be k(-2). Suppose -2*j + 165 = -l, 5*j - 2*l + 7*l - 420 = u. Is j a composite number?
False
Let o(v) = v**2 + 5*v + 5. Is o(7) a prime number?
True
Let m(v) = -6*v**2 - v - 1. Let c be m(2). Let z = 8 + c. Let y = z + 38. Is y prime?
True
Let v(n) = n**2 + 3*n - 7. Is v(-13) composite?
True
Is (-21)/(-42) - (-2833)/2 a prime number?
False
Suppose 17521 = 5*b - 4*s, -4*b + 14023 = -0*b + 3*s. Is b a prime number?
False
Is (32 + -30)*(0 - 254/(-4)) a prime number?
True
Suppose 4*o + 4 = d + d, 3*d + 3 = 3*o. Is ((-2)/d)/((-8)/(-304)) a composite number?
False
Suppose 6*l - l + 51 = 3*k, -5*k + 57 = l. Let a(w) = 2*w**3 - 8*w**2 + 6*w - 4. Let m be a(6). Is (6/4)/(k/m) a composite number?
True
Let b(m) = -86*m + 3. Is b(-4) a prime number?
True
Suppose 6*i = 3*i - 6. Let z be (-420)/(-9) - i/(-3). Let t = z - 31. Is t prime?
False
Suppose -2*h = 1 - 5. Let i be (-500)/(-2) + 10/(-10). Suppose i = f + h*f. Is f prime?
True
Let w(v) = 10*v + 1. Let x(d) = d**3 + 7*d**2 + d + 9. Let c be x(-7). Let s be w(c). Suppose 0 = 4*k + s - 57. Is k a composite number?
True
Suppose 2*p = -2*m + 5*m - 1797, 0 = -5*p. Is m prime?
True
Let l = 22 + -19. Is ((-9)/6)/(l/(-398)) a prime number?
True
Let x = 6 + -5. Is (x - -1)*273/14 a prime number?
False
Suppose 4*i = 5*i + 2, d + 8 = -5*i. Let z(x) = -3*x - x**d - 9*x + 1 - 14. Is z(-10) prime?
True
Let q(n) = 8*n + 2. Let w be q(2). Let i be (-3)/w*-4*1266. Suppose b + 3*b - i = 0. Is b a prime number?
True
Let i = -85 - -122. Is i composite?
False
Is 1/(1/165) + 4 a composite number?
True
Let a = 25 - 22. Suppose a*d - 135 = -3*u, 0 = 3*d - 2*u - 54 - 71. Is d prime?
True
Let d(h) = h**3 + h**2 - h + 149. Suppose 0*z - 3*z = 0. Is d(z) composite?
False
Suppose -2*c - c + 6 = 0. Suppose 2*i = -c*i. Is 3/(i + 6/4) composite?
False
Suppose -5*a + 876 + 1019 = 0. Is a composite?
False
Let l be (0 - 951/(-9))*3. Suppose -m + 99 = 3*z, -z = 3*m - l + 20. Suppose 2*i - 37 = i - 2*b, 2*b = -3*i + m. Is i a prime number?
True
Suppose -4*a - 4*o = a - 14300, 2*a - 5697 = 3*o. Is 1/5 - a/(-20) composite?
True
Suppose -5*g + 110 = b, -4*b - 4*g + 426 = -46. Let r be b/(-16)*(-844)/6. Suppose -d + r = 4*d. Is d composite?
False
Let h = -9 - -13. Suppose -h = -n + 35. Is n a composite number?
True
Suppose -2*q = 4*c - 246, 4*c - 235 = 5*q + 4. Suppose -295 = -5*o - 5*u, -3*o + 3*u = -4*o + c. Is o a prime number?
False
Suppose -3*k + 834 = 4*u, k - 5*u = -u + 278. Is k composite?
True
Let q(u) = -u + 9. Let a be q(6). Suppose -41 = z + 4*d - 173, 2*d - 416 = -3*z. Suppose -a*p + z = p. Is p a composite number?
True
Let b = 10 + 5. Is (-6)/b - (-824)/10 a prime number?
False
Let w = -37 - 57. Let y = -60 - w. Is y prime?
False
Let r(u) = u**3 + 5*u**2 - 9*u - 1. Let o be r(-7). Let y be 40/18 - (-8)/o. Suppose -y*a + 88 = 4*v, 6*a = 3*a + 6. Is v composite?
True
Let j(s) = s**2 + 4*s. Let u be j(-6). Let g = 19 - u. Is g a prime number?
True
Let h be 1 - 3/((-9)/(-6)). Let b(u) = 3*u**2 + 1. Let c be b(h). Suppose -5*n + 3*j = -2*j - 55, -c*j + 19 = 5*n. Is n a composite number?
False
Let b = -116 - -312. Suppose -103 = -3*i - 2*r + 100, -5*r - b = -3*i. Is i a prime number?
True
Let l = -417 + 754. Is l a composite number?
False
Suppose -31 + 6 = -5*c. Let a be ((-916)/c)/((-4)/20). Suppose 0 = -5*k + 139 + a. Is k a composite number?
False
Let z(h) = h**2 + 2*h + 2. Let t(c) = -c**2 + 2*c - 3. Suppose -8 = -5*q + 7. Let i be t(q). Is z(i) a composite number?
True
Suppose z - 2*v - 841 = 0, -z - 2*v = 140 - 977. Is z a composite number?
False
Suppose -v = -0*v. Let s(k) = 6*k**2 + k - 3 - 6*k**2 + 5*k**2 + v. Is s(-3) composite?
True
Let p(y) = -4*y**2 + 2*y**2 + y**2 - y. Let q be p(4). Let d = 6 - q. Is d a composite number?
True
Let n(k) = 12*k**2 - 19*k - 24. Is n(-11) a prime number?
True
Let p = 4 - -39. Suppose -p = -j + 80. Is j composite?
True
Suppose -2347 = 2*j - 6545. Is j a prime number?
True
Let l(v) = v**3 - 5*v**2 - 2*v + 7. Let w be l(5). Let h = w - -8. Suppose 5 = a - h. Is a a composite number?
True
Let b be (-1)/5 + 52/10. Suppose -3*h + 7 = -b. Suppose 0 = r - h*s + 1, 3*s + 15 = 3*r. Is r composite?
False
Is -291*-1*10/6 a prime number?
False
Let k = 25 - 20. Suppose k*w - 45 = -5*d, -2*w + 28 = w + 2*d. Is w composite?
True
Let g(i) = i**3 + i**2 + 134. Let d be g(0). Suppose d = t + t. Is t a composite number?
False
Let x be (-8)/36 + 403/(-9). Is (-6)/x - (-3553)/15 a composite number?
True
Let t be 0/(-1) - (1 + 1). Let s be 3 + (1 + t - -3). Let b(i) = i**3 - 2*i**2 - i + 4. Is b(s) composite?
True
Suppose 4*k - 5*c - 7342 = 0, -4*k = 2*c - 9753 + 2397. Is k a prime number?
False
Is ((-9)/(-6))/((-3)/(-586)) a prime number?
True
Let y be (40/(-25))/(2/(-5)). Let u be (y/(-8))/(1/(-4)). Let s = 23 + u. Is s composite?
True
Is 4/14 - (-2208)/14 composite?
True
Suppose 0 = -x - b + 3, 0 = 3*x - 8*x + 3*b + 39. Let f(m) = -5 - 3*m + x*m**2 - m - 2. Is f(-5) a composite number?
False
Suppose 24 = -c + 493. Is c prime?
False
Let f = -4 + 6. Suppose 5*k = f*k + 6. Is 24 + 3/(-6)*k a composite number?
False
Let l(m) = 2*m**2 - 2*m. Let c be l(2). Let s be (4/10)/(c/10). Let a(k) = 10*k + 1. Is a(s) composite?
False
Suppose 929 = 3*x - 2*j, 0*j - 928 = -3*x + j. Is x prime?
False
Is ((-2)/(-1))/(1*10/10495) a composite number?
False
Let z(h) = h + 83. Is z(0) composite?
False
Let z(p) = p**3 + 15*p**2 + 13. Is z(-11) prime?
False
Suppose 0 = 5*s - 2*b - 705, 4*s + 2*b = 265 + 317. Suppose 640 - s = u + 2*i, 5*i = u - 462. Is u a prime number?
True
Let j = 6 - 9. Let t(x) = 16*x**2 + x. Let a be t(j). Suppose 3*m + a = 480. Is m a prime number?
True
Let j be (108/(-45))/((-6)/500). Suppose -5*l + 5*u + j = -0*l, 3*u = -9. Is l a composite number?
False
Let p(x) = -x + 2. Let u be p(-3). Suppose h - 2*s - 40 = 3*s, -3*h = -u*s - 70. Is h a composite number?
True
Is 17/(-17) + 2*607 a composite number?
False
Let q(j) = -24*j - 10. Is q(-6) composite?
True
Let b(g) = -g**3 - 7*g**2 + 11*g - 4. Is b(-9) composite?
False
Let h(s) = s**2 - 10*s + 13. Let y be h(9). Suppose -6*p = -y*p - 46. Is p a prime number?
True
Suppose 0 = -0*x + 4*x - 8. Suppose 0 = -5*c + 3*r + 1967, -5*c - x*r = 2*r - 1939. Is c a composite number?
True
Let p = 18 + 139. Is p a composite number?
False
Let q = 1 + 1.