 -p**3 - 5*p**2 - 14. Is m(-8) a prime number?
False
Let l(d) = 12*d**3 - 4*d**2 + 5*d - 1. Let g(x) = x**3 - x + 2. Let f be g(0). Is l(f) a prime number?
True
Suppose -3*m - 1110 = -8*m. Suppose -2*l - m = -w, -4*l + 472 + 184 = 3*w. Suppose 2*u + 54 - w = 0. Is u a prime number?
True
Let m = 8 + -5. Suppose 72 = m*x - 105. Is x prime?
True
Suppose 0 = -3*d + 2 - 77. Let n be (-10)/d - 2/5. Suppose -a + 25 = -n*a. Is a a composite number?
True
Let b be (-30 + 1)/((-1)/(-9)). Let j = 410 + b. Is j a prime number?
True
Let a = -17 + 13. Is (6/a)/((-6)/488) a prime number?
False
Let z = 1353 + -766. Is z a prime number?
True
Let r = -12 - -6. Let y(j) = -18*j - 9. Let k(o) = -9*o - 5. Let x(d) = -7*k(d) + 4*y(d). Is x(r) a prime number?
True
Is (-4020)/(-16) + 1/(-4) composite?
False
Let z(w) = w + 8. Let m be z(-6). Let g = m - -51. Is g composite?
False
Let c(p) = -p**3 - p - 1. Let b(j) = 3*j**3 + j**2 + 4*j + 6. Let k(n) = b(n) + 4*c(n). Let l be k(0). Suppose 45 = l*y - 245. Is y a prime number?
False
Is (1 + -2)*(-117)/(3/1) a composite number?
True
Suppose -2*r = -34 + 8. Suppose 1 = -a, -r = -j + 2*a - 4*a. Is j a prime number?
False
Let f be (-2 - (1 + -3))/(-1). Let i = f + 1. Suppose -2*u + 27 = i. Is u composite?
False
Let y(m) = 4*m**3 + 3*m**2 - 12*m - 13. Is y(6) composite?
False
Let c be (-10)/4*(-20)/25. Suppose 4*w + 5*z = -0*z + 77, 3*w + c*z - 56 = 0. Suppose s = 4*s - w. Is s prime?
False
Let c be ((-14)/4)/((-1)/6). Let t(b) = b**2 - b. Let s be t(1). Suppose s = -5*z, -3*g + 2*z + c + 36 = 0. Is g a prime number?
True
Let v be (-2 - -2) + -206*1. Let q = -19 - v. Is q prime?
False
Suppose 37*q - 39*q + 1162 = 0. Is q composite?
True
Suppose 2*t = -i + 203, -5*t + 947 = 5*i - 88. Is i a prime number?
True
Let d(r) = r**3 + 17*r**2 - 8*r + 7. Is d(-16) prime?
False
Let t(n) = n**3 + 4*n**2 + 3*n + 2. Let s be t(-2). Suppose s*o + 104 = -0*o. Let h = -7 - o. Is h a prime number?
True
Let s = -13 - 14. Let a(l) = -110*l**3. Let w be a(-1). Let f = s + w. Is f composite?
False
Let k(d) = -4*d + 10. Let h be k(-5). Let i = h - 11. Is i prime?
True
Suppose -10*q + 13137 = -3053. Is q prime?
True
Let n(w) = -w**2 - 5*w - 4. Let o be n(-4). Let i(f) = 4*f - 5. Let l be i(4). Suppose -3*g + 80 - l = o. Is g prime?
True
Let d = 0 + 1. Let a be (-1)/((-18)/15 + d). Suppose -x + 31 = -3*h, 0*h + h = a*x - 183. Is x composite?
False
Suppose -20 = 3*x - 2. Let v = 1 - x. Suppose -3*f = -v - 14. Is f a prime number?
True
Let x(q) be the third derivative of q**7/144 - q**6/72 - q**5/15 + 4*q**2. Let j(v) be the third derivative of x(v). Is j(9) composite?
True
Let b(n) = 3*n**2 - n + 5. Let o(g) = -8*g**3 - 2*g**2 - g. Let a be (-30)/(-20)*4/(-6). Let k be o(a). Is b(k) composite?
True
Suppose 6*s = 11*s - 10915. Is s prime?
False
Let z(p) = -5 + p - 4*p**2 + 1 + 2. Let w be z(4). Let j = w + 87. Is j a composite number?
True
Suppose 315 = 5*t + 4*d, 7*t - 290 = 2*t + d. Is t prime?
True
Let g be (-10)/(-3)*(-114)/(-4). Let i be (-1 - 2) + 3 - 0. Suppose i*s - 5*s = -g. Is s prime?
True
Let a(w) = 2*w**2 - 21*w - 19. Is a(16) composite?
False
Let u = -79 - -117. Is (u/4 - 3)*14 composite?
True
Let g be ((-15)/12)/((-1)/148). Suppose 6*j = j + g. Is j a prime number?
True
Let c be (2257/2)/(4/8). Suppose 3*b = 5*y - b - 2813, b = 4*y - c. Is y a prime number?
False
Suppose 0 = 5*i - 3*s - 5357, -5*i + 0*i + 5365 = -5*s. Is i prime?
True
Suppose -3*t = 0, 4*h - t = -5*t + 12. Suppose h*p - 34 = 2*p. Is p a prime number?
False
Let j = -49 - -102. Is j a composite number?
False
Let j be 2 + -10*(-2)/(-4). Is 4/6 + (-109)/j composite?
False
Suppose -h + 2*h = 2. Suppose 5*s = -h*g - 8, -4*s + 2*g = -2*g - 16. Suppose -2*r + 92 = -s*r. Is r prime?
False
Suppose 0 = -z + 4 - 3. Suppose a - 2*u = -z, 0*a - 5 = -4*a - u. Is 1*(a - -1) - -21 prime?
True
Let k = -3 + 3. Suppose 3*x + k*x - 90 = 0. Suppose -y = -x - 5. Is y a prime number?
False
Is ((-745)/(-3))/(12/36) a prime number?
False
Suppose -4*f = -39 + 115. Let m = f - -38. Is m a prime number?
True
Let o be (8/20)/((-1)/30). Is 1 - (1*o + 3) a prime number?
False
Let a(s) = 27*s**2 + 4*s - 1. Is a(3) prime?
False
Let x be (12/(-8))/(2/(-468)). Suppose -4*m + x - 19 = 0. Is m a prime number?
True
Let z(l) = l. Let t be z(5). Suppose -3*r + 0*s + 363 = -4*s, -3*r + t*s + 363 = 0. Suppose 0 = 5*w + 2*u - r, -5*w - 3*u + 135 = 16. Is w prime?
False
Suppose 0 = 3*m + 3 + 9. Let v be m/(-8) + (-1)/2. Suppose v*p + 573 = 3*p. Is p a composite number?
False
Let y(h) be the first derivative of -2*h - 1 + 2/3*h**3 + 2*h**2. Is y(-4) composite?
True
Let c(k) = -149*k - 2. Let f be c(4). Is f/(-18) - (-10)/(-45) a prime number?
False
Let h = -194 + 138. Let y = h + 40. Is (-1364)/y + 2/(-8) prime?
False
Suppose 2*c - 7*c = 1155. Is (14/(-6))/(7/c) a prime number?
False
Let b = 102 + 53. Let f = b - 61. Is f prime?
False
Let d(c) = -c - 6. Let v be d(-6). Suppose v = 3*a, 0 = -z - 3*a + 2 + 4. Suppose 3*s - z*s + 141 = 0. Is s a composite number?
False
Suppose 0 = -18*p + 16*p + 622. Is p prime?
True
Suppose 0 = 6*k - 2*k. Let l(a) be the third derivative of a**4/24 + 13*a**3/3 - 3*a**2. Is l(k) a composite number?
True
Let n = 1696 - 771. Suppose n = 6*b - b. Is b a prime number?
False
Suppose 5*o = 8*o + 234. Let d = 371 + o. Is d a composite number?
False
Suppose 0 = -o + 1696 - 4962. Is (-14)/(-21) + o/(-6) composite?
True
Suppose 0*r + 30 = 3*r. Suppose 2*c + 22 = 4*g, 3 + r = g - 3*c. Is -2*g/(12/(-21)) prime?
False
Suppose 3*z - 4 = -4*t + 3*t, -2*z = 2*t. Suppose h + z*h = 21. Is h a prime number?
True
Let z = -8 + 5. Is 5 + 9/z + 233 prime?
False
Suppose -2*x = 4*w + 28, -w = -5*w + 5*x - 28. Is (w/(-3))/((-5)/(-45)) prime?
False
Let g(l) = 596*l + 13. Is g(3) a prime number?
True
Let t = 3 + 10. Is t a prime number?
True
Let a be 1 + -3 - -1 - -77. Suppose 3*h = -13 + a. Is h a prime number?
False
Let b = 79 + 348. Is b a prime number?
False
Suppose 0 = -w - 8*w + 4203. Is w a prime number?
True
Suppose 5*j = 2*c + 3*j - 10, 4*c + 4*j = 28. Suppose -2*f + c = -2. Is (-1)/f + 2550/24 a prime number?
False
Let h(m) = -m - 3. Let p be h(7). Suppose -5*g - r + 3*r + 243 = 0, -g = -3*r - 46. Let u = g - p. Is u prime?
True
Suppose -7792 = -6*u + 18686. Is u prime?
False
Suppose 2*r = 6*r - 144. Let l = r + -26. Is l composite?
True
Suppose -2*f = -6*f - 80. Let v = -12 - f. Suppose v*d = 3*d + 285. Is d a prime number?
False
Let u = -1974 - -1381. Is u/(-5) + (-9)/15 a prime number?
False
Let b(k) = 6*k**2 - 7*k - 5. Is b(-6) composite?
True
Let n(w) = 61*w. Is n(7) prime?
False
Let l(s) = -313*s**3 + s**2 + 4*s + 3. Is l(-2) a composite number?
False
Let n = 445 - -74. Is n a composite number?
True
Suppose z - 38 = -2*t - 2*t, -25 = -5*t. Let d = z - -13. Is d composite?
False
Let g(d) = 69*d - 25. Is g(4) composite?
False
Suppose 5*j - 26 = 6*j. Is j/5*(-65)/2 composite?
True
Suppose -50*x = -55*x + 815. Is x prime?
True
Let k(a) = 65*a**2 - 14*a + 30. Is k(7) a composite number?
True
Let k = -5 + 7. Suppose w + 5*l = -20, -5*w + l + 2 + k = 0. Is w - ((-510)/(-3))/(-2) a prime number?
False
Suppose -3*r + 34 = z, -4*z = 7*r - 2*r - 164. Let c = -6 + 8. Suppose c*j = z - 2. Is j a prime number?
False
Is 3/(-12)*2*-1282 a composite number?
False
Suppose -x - p + 4*p + 39 = 0, 2*x - p = 63. Suppose 0*h - 5*h + x = 0. Suppose 0 = v - h*v + 5*b + 405, 3*v - 241 = 2*b. Is v a composite number?
False
Let q be (-18)/(-8)*(-64)/(-12). Let y = q - 7. Suppose -5*t + 5*w + 135 = 0, 0 = y*t + 4*w - 89 - 82. Is t composite?
False
Suppose -5*w = 5*i - 1665, -5*w - 3*i + 1681 = -2*i. Is w prime?
True
Let p = -97 + 314. Is p a prime number?
False
Let a(x) = 9*x + 3 + 7*x + 0*x. Is a(8) composite?
False
Let i = -332 - -2989. Is i prime?
True
Suppose -3*b + 4*j + 7823 = 2*b, -3*j - 6259 = -4*b. Is b a composite number?
False
Let q = 14 + -8. Let z be 3 - (1 + -1 + 1). Suppose -z*u + q*o = 2*o + 4, -o + 8 = 3*u. Is u prime?
True
Let k be (2/3)/((-8)/(-252)). Suppose k = 2*c + c. Is c composite?
False
Let x = 54 - -84. Let a be (2 - 6/4)*x. Suppose a + 46 = 5*t. Is t composite?
False
Suppose 0 = 6*n - 175 - 779. Is n composite?
True
Is 303/1 + -3 + 7 a composite number?
False
Suppose -4*x + d = -d - 128, 5*d =