Is m(g) a composite number?
False
Let v = 81 + 1280. Is v prime?
True
Let i(v) = 2*v**3 - 6*v**2 - 8*v - 5. Is i(7) a prime number?
True
Suppose 0 = 2*k - 148 - 70. Is k prime?
True
Let o(n) = 4*n**2 - 4*n + 9. Is o(-6) prime?
False
Let g be (-1)/2 - (-11)/2. Suppose -g*m + 504 = -301. Is m a prime number?
False
Is (2/6)/(12/8388) a prime number?
True
Let r(d) = 3 + 0 + 3*d - 7*d**3 - d**3. Let u be r(-3). Suppose 2*z = c + 108, -u = -4*z - 6*c + 5*c. Is z composite?
False
Let u(i) = 69*i**2 + 4*i + 3. Is u(4) a prime number?
True
Let q(m) = -73*m - 1. Is q(-2) a composite number?
True
Suppose 0 = 2*r - 189 - 125. Suppose 0*q - r = -q. Is q prime?
True
Suppose 2*p = 4*n + 344, -4*p - 33 + 133 = -n. Let q be 1/(48/50 - 1). Let s = q - n. Is s a composite number?
False
Suppose 3*u + 175 = 5*m + 488, -5*m - 91 = -u. Is u prime?
False
Let g(i) be the third derivative of -i**5/60 - 11*i**4/24 + i**3 - 3*i**2. Is g(-7) a prime number?
False
Is 2 + 246 + 3*1 a composite number?
False
Suppose k + 2*t = -157 - 21, 0 = -2*k - 2*t - 352. Let q = k + 323. Is q a prime number?
True
Let b = 18 - 11. Is (-2)/(-2)*(b - -492) a prime number?
True
Let k = -27 + 17. Let t = 25 - k. Is t prime?
False
Let a(j) = 4*j**2 - 12*j + 25. Let v(l) = l**2 - 3*l + 6. Let p(d) = -2*a(d) + 9*v(d). Is p(5) composite?
True
Let y(q) = -q - 2. Let d(g) = g + 3. Let j(s) = 6*d(s) + 5*y(s). Let o be j(0). Suppose 6*l - 2*l = o. Is l a composite number?
False
Suppose -55 = -3*t + 14. Let h = t + 2. Is h a prime number?
False
Let t = -9 - -6. Let f be (26/4 - t)*-2. Let o = 33 + f. Is o a composite number?
True
Suppose -4*x - 9128 = 304. Let z = x - -3341. Suppose 3*w = -62 + z. Is w a prime number?
True
Let g = 8 + -14. Is (-388)/g*(-3)/(-2) a prime number?
True
Let o(z) = 9*z**2 - 5*z - 3. Suppose -s - 4 = -0*s. Is o(s) composite?
True
Suppose -2*x - 186 = x. Let u = 189 - x. Is u a composite number?
False
Let w(k) = 66*k - 7. Is w(3) a prime number?
True
Let a(b) = 4*b**2 + 3*b + 5. Let k be (-1 - -3)/(6/(-9)). Let s(h) = h**3 + 4*h**2 + 4*h - 1. Let m be s(k). Is a(m) a composite number?
True
Let r be (-17)/(-4) - (-2)/(-8). Suppose r*u = u + 168. Suppose 0 = -6*h + 2*h + u. Is h composite?
True
Suppose 0 = -w + 5*w + 1080. Let u = w - -523. Is u a prime number?
False
Let t = 36 - 2. Suppose 4*v - 2*v - t = 0. Let u = -4 + v. Is u a prime number?
True
Let d(x) be the third derivative of x**4/24 - x**3/2 + 3*x**2. Let y be d(3). Suppose -2*f = -y*f - 422. Is f prime?
True
Suppose -834 = -3*s - 0*s. Let p = 393 - s. Suppose 7*o - p = 2*o. Is o a prime number?
True
Suppose -5*u + 25 = y + 7, 9 = 3*u. Suppose y*c + 20 = -c. Is 216/5 - (-1)/c composite?
False
Let w(p) = p**2 + 7*p - 1. Is w(6) a composite number?
True
Let v = 1912 + 457. Is v composite?
True
Suppose 0*w - w = -3. Suppose 3*t = w*x, x = -t - 0 + 4. Suppose 2*j + t*s = 1104, 2 = -3*s - 1. Is j composite?
True
Let j = -450 + 313. Let d = j + 298. Is d composite?
True
Let w be ((-6)/(-4))/((-1)/2). Is 72 - (0 + w/(-3)) a composite number?
False
Suppose -4*n + 2748 = -4*y, -2*y - 492 = 2*n - 1874. Is n a composite number?
True
Is 3 + (5 - 3) + 882 a composite number?
False
Let j = 282 - 195. Is j prime?
False
Let x = -2 + 1. Is (x + 3)/((-6)/(-267)) composite?
False
Suppose 0 = 5*u - 9 - 11. Suppose -96 + 244 = u*f. Is f composite?
False
Suppose 65 = g - 75. Suppose -10*p = -6*p - g. Is p composite?
True
Let z be (12/20)/((-2)/(-10)). Suppose 0 = -z*y + 150 + 705. Suppose -5*b = -4*v - v + y, 0 = 4*v - b - 228. Is v a prime number?
False
Let s(x) = -x**3 + 5*x**2 - 3*x + 3. Let d be s(5). Is ((-4)/(-6))/(d/(-918)) a prime number?
False
Let r(s) be the third derivative of s**6/120 + s**5/10 - s**4/24 - s**3 - s**2. Let j be r(-6). Suppose j = -p - 3*n + n, 3*p + 5*n - 1 = 0. Is p prime?
True
Let z = 6 - 5. Is 42*(-3 - -8) + z a composite number?
False
Let l be 4/(-2) + -3 + 5. Is 16/(1 + l) + -2 a composite number?
True
Suppose -a = 3*i - 877, 3*a + 1145 = 4*i - 33. Is i composite?
False
Let l = 105 - 16. Is l composite?
False
Suppose -4*u + 429 = -279. Is u a prime number?
False
Suppose -5*c + 5*n = -1240, c = -2*c - 4*n + 765. Is c prime?
True
Suppose 13*a - 18*a = -265. Is a composite?
False
Let p(j) = 577*j**2 + j. Let h be p(1). Let g = h - 275. Is g prime?
False
Let m = -74 + 106. Let o = m - 9. Is o a prime number?
True
Let o = -1 + 5. Is (-1)/(o/34)*-38 a composite number?
True
Let n = 22 - 19. Suppose -4*u - 5*b = -2324, -b - 2*b = n*u - 1743. Is u a prime number?
False
Let g = 384 - 197. Is g a prime number?
False
Let v = 189 - 86. Is v a composite number?
False
Let k(a) = a**3 - 3*a**2 + 7*a. Suppose 0 = 2*u - 0*u - 60. Suppose 0 = 5*y + 32 - 7, -p + u = -5*y. Is k(p) prime?
False
Let b = 10 - 127. Let l = -58 - b. Is l composite?
False
Suppose 2*t - 2 = 4*t + 3*f, -2*t = -4*f - 12. Suppose 0 = 2*m + t*m - 52. Is m a composite number?
False
Let f = 0 - -3. Suppose f*m + 2*y - 1107 = -0*y, -4*y = -4*m + 1456. Is m a composite number?
False
Let s = 65 + 24. Is s a prime number?
True
Let m = -39 + 124. Is m a prime number?
False
Let r = 11 - 5. Let q(f) = 61*f - 9. Let k be q(r). Is 2/(-2)*k/(-3) prime?
False
Suppose -2*r + 6*r = -3*f - 12, 3*f + 3*r + 9 = 0. Suppose f = -5*y - 0*y + 35. Is y prime?
True
Let c(h) = -h**2 - 2. Let m be c(-4). Is (-8145)/m - (-2)/4 composite?
True
Suppose 0 = -0*p - 2*p - 4. Let l be (p + 1)/(-1) - -3. Suppose b + x = 2*b - 8, -2*b - l*x + 46 = 0. Is b a composite number?
False
Let h = 662 + -281. Is h a prime number?
False
Suppose -16*b = -7*b - 2223. Is b prime?
False
Let l(r) be the first derivative of -r - 4*r + 18*r**3 - 2 + 4*r. Is l(-1) prime?
True
Let t be 1/(-3) - 68/3. Let p = 64 - t. Is p composite?
True
Suppose 0 = 3*t - 4*l + 17, 5*t - 5*l = -0*l - 25. Let o = 356 - t. Is o prime?
True
Let d(s) = s**2 + 7*s - 4. Let m be d(-7). Let k(y) = -y**2 - 10*y - 1. Is k(m) a prime number?
True
Let x be ((-1)/2)/(1/(-2922)). Let n = 2798 - x. Is n a prime number?
False
Suppose -5*m + 116 = -4*m. Suppose 8*b + 144 = 4*x + 3*b, -2*b + m = 4*x. Is x a prime number?
True
Let m(b) = -2*b**3 - 3*b**2 + b + 3. Let u be m(-3). Let x = 64 - u. Is x composite?
False
Let p(s) = s**3 + 3*s**2 - 2*s - 3. Is p(10) composite?
False
Suppose 232 + 902 = 3*a. Suppose 4*g - a = 98. Is g composite?
True
Let f(k) = k**3 - 5*k**2 + 2*k - 4. Let i(v) = 5*v**3 - 25*v**2 + 9*v - 20. Let x(q) = -11*f(q) + 2*i(q). Is x(3) composite?
True
Let i be (-68)/(-6) - (-2)/3. Suppose -4*v + i = -3*v. Let n = 145 + v. Is n a composite number?
False
Let x(j) = -j**3 + 5*j**2 + 7*j - 6. Let w be x(4). Suppose -136 - w = -2*v. Is v a prime number?
False
Is (-26682)/(-42) - 6/21 prime?
False
Let u = -420 + 893. Let d = u - 214. Is d prime?
False
Let z = 93 - 62. Suppose -5*q - z - 9 = 0. Is (q/20)/((-2)/190) prime?
False
Is (((-807)/9)/(-1))/((-1)/(-3)) a prime number?
True
Let s(x) = -x - 3. Let c be s(-6). Suppose -c*g = 6, 2*k - 5*k - 5*g + 5 = 0. Is ((-97)/(-3))/(k/15) a composite number?
False
Let h(q) = -196*q - 57. Is h(-26) a prime number?
True
Suppose -5*t + 1439 = -1456. Suppose -134 = 5*o - t. Is o composite?
False
Suppose -4*b - 5*a = -368, -180 = -4*b + 5*a + 188. Let z = 21 + b. Is z composite?
False
Let p be (0 - 1/1)*-86. Suppose -2*i = -p + 12. Is i a composite number?
False
Suppose 0 = -4*g + 35 - 3. Let t be 3/9*1*3. Let f = g - t. Is f a prime number?
True
Let u = 54 - -109. Is u a prime number?
True
Suppose 5*v + q - 43 = 0, 2*q = -v - v + 14. Let i = 42 - v. Is i a prime number?
False
Let a be (-4)/((3 - 2) + -3). Suppose 2*k + a = -2. Is 32 + (1 + 1)/k a composite number?
False
Let g = 4765 + 82. Is g composite?
True
Let p(n) = n**2 + n + 5. Let a be p(0). Suppose 0 = a*f - 5*q - 45, f - 2*f = q - 19. Is f a composite number?
True
Let z(q) = -q**2 - 7*q - 6. Let b be z(-6). Is -339*(-4)/(12 - b) prime?
True
Suppose -4*x + 0*x = 380. Let u(k) = k**3 + 6*k**2 - 5*k + 2. Let i be u(-7). Let t = i - x. Is t a prime number?
True
Let c be (10 - 4) + (-1 - 2). Is (1/c)/(6/468) prime?
False
Let b = 1 - 1. Let w be -1 + 5 + (b - -1). Suppose w*s - 7*s = -14. Is s prime?
True
Let a = -64 + 195. Let x = a - 52. Is x composite?
False
Let f be (-18)/(-3)*(-10)/2. Let u be 1/5 + (-834)/f. Is ((-10)/(-4))/(2