 Let k = q - 5. Let l(x) = 798*x**2 + x. Is l(k) a composite number?
False
Let y(x) = -18*x**3 + x**2 + 2*x. Let r be y(-1). Let j = 430 - r. Is j a prime number?
False
Let g(i) = -i**3 + 24*i**2 + 17*i - 18. Let v(k) = -23*k**2 - 17*k + 18. Let b(r) = 2*g(r) + 3*v(r). Let w be b(-14). Suppose 42*o = 46*o - w. Is o prime?
False
Suppose 0*i = -5*i - 255. Let v = 494 + i. Let k = v + -240. Is k composite?
True
Is 4*(-10 + 7326/8) composite?
False
Suppose -139*v + 136*v = -3*t - 198492, 4*v + t - 264651 = 0. Is v a composite number?
True
Let t(l) be the first derivative of -l**3/3 - 4*l**2 + 2*l - 5. Let s be t(-8). Suppose 0*a - 7 = -a + 2*k, -5*a - s*k = -59. Is a composite?
False
Suppose -88*b - 404787 = -91*b. Is b a composite number?
True
Suppose -5*h = -1242 - 1123. Is h composite?
True
Suppose 79510 - 30405 = 5*b. Is 11/66 - b/(-6) a prime number?
True
Let r(a) = -a**2 - 6*a + 12. Let v be r(-7). Suppose -2868 = k - v*k. Is k prime?
False
Suppose 3*u - 1235 = -4*x, 2*u - 828 = -x + 3*x. Is u a prime number?
False
Let v be 0 + (-4)/(-2) + 10. Suppose -d - 4 = -x, -5*x - 2*d - d + v = 0. Let a = 82 + x. Is a a prime number?
False
Let x(n) = n**3 + 10*n**2 - 4*n + 25. Is x(-8) composite?
True
Let c(t) = -t**3 + 2*t**2 + 16*t - 19. Let b be c(5). Is 9741/27 - b/63 a composite number?
True
Suppose 12874 + 23416 = 10*c. Is c prime?
False
Let a(t) = -1053*t - 269. Is a(-12) prime?
False
Let m be ((-52)/12)/((-6)/(-198)). Let t = 380 + m. Is t a composite number?
True
Let z be 1/3 - 178/(-6). Is (-4)/z - (-149591)/195 a composite number?
True
Let g = -212 + 553. Is g composite?
True
Let m(b) = -b**3 + 5*b**2 - 4*b + 4. Let f be m(4). Let o(i) = 2*i - 3. Let v be o(f). Suppose 0*k + 255 = v*k. Is k a prime number?
False
Let p = 100 - -149. Is p a composite number?
True
Let k(z) = z + 10. Let u be k(-7). Let f be (-3 - (u - -192)) + -4. Let l = -17 - f. Is l a composite number?
True
Let n(q) be the second derivative of 0 + 1/4*q**4 + 5/6*q**3 - 4*q + 9/2*q**2. Is n(7) a prime number?
True
Let r be ((-9280)/15)/(-8)*(57 - 0). Suppose -4*b + r = -3532. Is b composite?
True
Suppose 4*f = 3*i + 12122, -3*f = 4*i - 8*i - 9095. Let v = f + -1470. Is v prime?
True
Let q = -13 + 22. Let t(x) = -x**3 + 9*x**2 + x - 4. Let z be t(q). Is 1654/z + (-3)/(-15) prime?
True
Let o(s) = -s**3 - 8*s**2 + 8*s - 5. Let p be o(-9). Suppose p*z - 1497 = -m, -3*m + 4*z = 1097 - 5524. Is m composite?
False
Suppose 5*w = 2*w + 2409. Suppose -l + 3*x - 14 = -x, 0 = -5*l + 2*x + 2. Is (w + (-3)/3)/l a composite number?
False
Let s(q) = 245*q**3 - q**2 + 2*q - 1. Let p be s(1). Suppose -2*y + 2*r = -522, 4*y - p = 3*y + 5*r. Is y composite?
True
Let i(o) = o - 7. Let h be i(14). Suppose -4*q + h*q = 345. Is q prime?
False
Suppose -3692373 = -92*k - 246881. Is k prime?
False
Let h be (-3)/2 - 135/(-18). Suppose -3*j - h = -0*j. Is (4/(-16))/(j/1016) composite?
False
Suppose 2*j + 53353 + 8615 = 4*k, -k - 3*j + 15499 = 0. Is k a prime number?
True
Let p(y) be the second derivative of -y**5/20 - 3*y**4/4 - 19*y**2/2 + y + 3. Is p(-12) prime?
False
Let q(v) = 11*v**2 - 29*v + 223. Is q(14) composite?
False
Let x(n) = -7*n. Let u be x(-1). Suppose u*v - 9*v = 0. Suppose 265 = -v*a + 2*a + z, -4*a + 3*z + 515 = 0. Is a a prime number?
True
Let o(y) = y**3 - 8*y**2 + 7*y + 4. Let x be o(7). Suppose -x*i + 88 = 680. Let u = 207 + i. Is u a prime number?
True
Suppose 5*n - n - 2328 = 0. Suppose 3*m - m - n = 0. Suppose -13*p = -10*p - m. Is p composite?
False
Let m(s) = 3*s**3 - 4*s**2 + 4*s - 2. Let p be m(2). Let w = 20 - p. Is (-1)/w - (-1958)/12 a composite number?
False
Is ((-97388)/(-4) + 9)/2 a composite number?
True
Suppose 0 = -3*y + 6*y + 99. Is (-97)/(-11) + (-6)/y a composite number?
True
Let c = -10 + 5. Let q = 50 - c. Let n = q + 0. Is n prime?
False
Let w(m) = -17 + 16*m - 16*m + m**3 + 14*m**2 + 0*m**3. Let d be w(-13). Let j = 295 - d. Is j a prime number?
False
Suppose 3*n + 27 = -3*i, -i + 3*n + 6 = -5. Let a(g) = 2*g**2 - 2*g - 5. Let y be a(i). Suppose 2*x + 49 = 5*q, -q - 3*x - y = -5*q. Is q prime?
True
Suppose n - 1533 = 624. Is 11/11 + 1 + (n - 2) a prime number?
False
Suppose 3*i + 1608 + 1516 = u, u = 2*i + 3119. Is u a prime number?
True
Suppose 2*j + u + 19 = 4, 0 = -2*u - 6. Suppose 4*h + 15 = 5*k, 3*k - h + 3*h = -13. Is 3/k - j - -112 composite?
True
Let w = 27309 - 16052. Is w prime?
True
Let b = 42 - 38. Is 1 + (b - -1147 - 1) composite?
False
Suppose 0 = -4*k - l - 922, 0 = 5*k - l - 233 + 1390. Let f = k - -500. Is f a composite number?
False
Let x(w) = 3*w**2 + 5*w + 4. Let m be x(-4). Let z(p) = 18*p - 5 - m*p + 8*p. Is z(-4) prime?
True
Suppose w + 4 = -3*w. Let i be 0/((0 + w)*2). Suppose i = -3*d + d + 194. Is d a prime number?
True
Is (1/(-3))/((-4)/3516) prime?
True
Let q = -47 - -50. Suppose -a - 3*b + 636 = q*a, -5*a = 2*b - 795. Is a prime?
False
Let r = 112 - 112. Suppose -5*m - p + 2348 = r, -2354 = -5*m - 2*p - p. Is m composite?
True
Let j be 11 - (-2 - -1 - -3). Is 3/(-2)*(-1146)/j composite?
False
Suppose -2*s + 14 = 2*v, -2*v = -v - 3. Let y(o) = 24*o**2 + 7*o - 9. Is y(s) prime?
False
Let s(c) = -16*c**2 + 3*c + 4. Let b be s(-2). Is -14*(b/4 + 2) prime?
False
Let b = 5 - 2. Suppose 0 = -t - b + 1, -3*a + 4439 = 2*t. Is a a prime number?
True
Suppose -270775 = -535*m + 530*m. Is m a composite number?
True
Let v(a) = -a**3 + 20*a**2 - 10*a + 29. Is v(13) composite?
True
Let u(d) = 38*d**3 + 2*d**2 - 3*d + 1. Let a be (-1)/1*-4*2. Let s = 10 - a. Is u(s) a composite number?
False
Suppose 0 = 7*p - 3*p - 4. Let m(f) = 284*f - 1. Let c be m(p). Let r = -140 + c. Is r prime?
False
Let c = -23 - -25. Suppose 0 = c*q - 5*r - 227, -191 = -3*q - r + 141. Is q a composite number?
True
Suppose 5*m - 2792 = 3*y, 12*m - 5*y = 9*m + 1688. Suppose -5*x + x + m = 0. Is x a prime number?
True
Suppose -24 = -3*y - 5*o - 8, 5*y - 20 = -5*o. Suppose -5*l - 3 = y, 0 = 2*p + 4*l - 4866. Is p a prime number?
False
Suppose 0 = -3*p - p + 12. Let i be -12*(-1*(-1 + -1) - 1). Is (-16)/i*p + 487 composite?
False
Suppose -5 = -5*p + 20. Let h(u) = 52*u - 8. Let x be h(p). Suppose -211 = -j - 4*v, -2*j + x = -3*v - 203. Is j prime?
True
Suppose 18*n = -20*n + 159638. Is n a composite number?
False
Let b(c) = -4*c**3 + 12*c**2 - 2*c + 2. Let y(p) = 5*p**3 - 13*p**2 + 2*p - 3. Let q(v) = 3*b(v) + 2*y(v). Let o be q(8). Let s = -177 - o. Is s a prime number?
True
Let r(t) = -7343*t - 4. Is r(-1) composite?
True
Let q(b) = 8*b**3 - 77*b**2 + 29*b + 31. Is q(14) a composite number?
False
Suppose 0 = 5*j + 5, 2*j - 3475 = -2*q + 3*j. Suppose 1392 + q = 3*k. Is k a composite number?
True
Let z(k) = 42*k**2 - 50*k - 51. Is z(-22) composite?
False
Let j(n) = 4*n**3 + n. Let i be j(1). Suppose -2*c + i*c + 12 = 0, 2*a + 4*c = 270. Is a prime?
False
Let y(l) = -3*l**3 - 2*l**2 + 5. Let a be y(7). Let p = 1816 + a. Is p composite?
True
Let s = -9 - -13. Suppose -3*y = -s*g - 64, -2*g + 12 = y - g. Suppose -y = x - 71. Is x a composite number?
True
Let l = 17638 + -401. Is l a composite number?
True
Is (60/(-9) - -7) + 15680/3 a composite number?
False
Suppose 3*y + 0*y = 2*k + 8052, 0 = -3*y + 4*k + 8046. Suppose 4*v = 2*b + y, 1252 + 94 = 2*v - 4*b. Is v a composite number?
True
Let k(l) be the first derivative of 5/2*l**2 + 2/3*l**3 - 7*l + 7. Is k(-6) a prime number?
False
Let y = 70 - 55. Is 12/y + 2255/25 a composite number?
True
Let v = -1381 + 1461. Let l(o) = -o**2 + 2*o - 3. Let r be l(-4). Let y = v + r. Is y a prime number?
True
Suppose 2*n - 16 = -5*t, -5*n + 1 + 6 = -4*t. Suppose t*m + 159 + 1779 = 4*d, 0 = 4*d + 5*m - 1973. Is d prime?
True
Suppose 117628 = -14*j + 42*j. Is j composite?
False
Let q(j) = 2*j**3 + 6*j**2 - 8*j + 9. Let y be q(4). Suppose t = -g + 5*t - 9, -3*g + 41 = 5*t. Suppose g*r = 4*r + y. Is r a prime number?
True
Suppose 827 = q - 2*h, 3*h = h + 2. Is q composite?
False
Suppose 0 = 12*m - 8203 - 16985. Is m a prime number?
True
Let d(t) = 4*t**2 + 4. Let m be d(3). Let u = -36 + m. Suppose -4*b = u*f - 2528, 0 = 2*b + 5*f - 2*f - 1265. Is b a composite number?
False
Suppose 2*h + 2*q - 6 = 0, 3*q = 2*h - 5 + 4. Suppose 59 = -h*c + 3*c. Is c a composite number?
False
Suppose -11586 = 22*d - 28*d. Is d prime?
True
Let u(l) = 29*l**3 +