True
Let x = -33 + 23. Let y(n) = -5*n**3 - 18*n**2 - 10*n + 5. Let s(g) = -9*g**3 - 35*g**2 - 21*g + 9. Let p(k) = -4*s(k) + 7*y(k). Is p(x) prime?
False
Let l(h) = 686*h**3 + 2*h**2 - 3*h + 4. Let w(y) = 687*y**3 + 2*y**2 - 2*y + 3. Let k(q) = 3*l(q) - 4*w(q). Is k(-1) composite?
True
Let x = 102 + -96. Is 38*(-212)/(-12)*9/x a prime number?
False
Let w = 16 + -11. Suppose 2*j = j + w. Suppose 5*z + 2*n + 0*n - 21 = 0, 3*z - j*n + 6 = 0. Is z a composite number?
False
Suppose 6*z + 3*v = z, 5*v = 3*z + 34. Let u be (-17)/z - 2/(-6). Suppose -4707 - 735 = -u*h. Is h a prime number?
True
Let d(q) = 19*q**2 - 9*q - 67. Is d(15) a composite number?
False
Let h(v) = -10*v**2 - 5*v + 7. Let k(j) = j**3 + 15*j**2 - 15*j + 21. Let m be k(-16). Let x be h(m). Let f = x - -519. Is f composite?
False
Suppose -2*u + 5868 = 4*o, 13803 = 4*u - 4*o + 2019. Is u a prime number?
False
Suppose a - 4*r = 347, -5*r = 3*a - 1225 + 235. Is a prime?
False
Suppose 0 = j - 1 - 1. Let o be 3/6*j + 112. Suppose -4*k - o = -861. Is k composite?
True
Suppose 0 = -5*d + 2*d + 3*r + 2805, -3*d + 4*r + 2810 = 0. Suppose 5*i - 135 = d. Is i a prime number?
False
Suppose -3736 = -5*g + 454. Is g prime?
False
Let n = -15581 + 26226. Is n composite?
True
Let z(u) = 18245*u - 23. Is z(2) composite?
False
Let a be 114/22 + -5 - (-31308)/(-11). Let k = a + 5943. Is k a prime number?
False
Let m(c) = 5*c + 0*c + 7 - 3 + 2 - c**2. Let y be m(5). Is 5 - y - 220*-1 prime?
False
Suppose 0 = -i - 2*i. Suppose x + 2 = -i. Is x - ((-110)/2 - 4) composite?
True
Is 353 + (16 - (-6 - -16)) prime?
True
Let h(q) = -q - 8. Let l be h(-13). Suppose 2*f + 4 = l*k - 2*k, 0 = -4*k - f - 2. Suppose -2*v + k*t = t - 287, 2*t = -6. Is v prime?
False
Suppose -5*l + 2*q - 20 = 0, -5*l - q = 2*q - 5. Is ((-17)/l)/((-5)/(-310)) prime?
False
Suppose -2*i - 24 = -0*i. Is (-8)/i*-89*-3 a composite number?
True
Let k = 3804 - -335. Is k a prime number?
True
Let r(w) = -w - 2. Let q be r(-7). Suppose -2*k = -5*c + 3, -7 = 3*k - q*c - 0. Is (-82)/k*30/5 prime?
False
Suppose 0 = 3*j - 52 + 1. Let k be (-35)/(-7) - (4 + -13). Suppose -327 = k*b - j*b. Is b a prime number?
True
Suppose 0 = 10*u - 70971 + 10541. Is u prime?
True
Suppose -37*r = -51086 - 53217. Is r prime?
True
Let f = 1846 + -905. Is f composite?
False
Suppose 2*q - 5*q = -2*k - 14, -2*k = 3*q - 10. Suppose 0 = 8*j - 3*j - 10. Suppose -i + 5*x = 2*i - 106, q*x - 78 = -j*i. Is i a prime number?
True
Let n = 8 - 6. Let p(b) = -9*b - 9. Let f be p(-2). Suppose l = -3*o + 474, 0 = -n*l - l + f. Is o a composite number?
False
Let s = -997 + 3824. Is s composite?
True
Let w = -151 + 155. Suppose -12*f = w*f - 2032. Is f composite?
False
Let x(c) = 1663*c - 27. Is x(2) composite?
False
Suppose -7376 = -4*u + 3*f, -3*u + 5*f + 2896 = -2625. Is u a composite number?
False
Let t be 471/18 + 1/(-6). Suppose 31*w = t*w + 545. Is w a prime number?
True
Let u = 521 - 517. Suppose -m = -3*w + 10, 2*w - 3*m = 7*w - 40. Suppose 0*k + 3*k - u*b - 629 = 0, k = -w*b + 178. Is k prime?
False
Let d(p) = 40*p**3 - 3*p**2 - 4*p - 3. Let f be d(-2). Let u = -140 - f. Is u a composite number?
True
Suppose -26036 = -5*q - 50*v + 47*v, q = -4*v + 5197. Is q a composite number?
False
Let i(r) = 11*r**2 + 17*r + 19. Is i(-54) prime?
True
Let l = -446 + 866. Suppose 5*h = -5*c - l - 1210, 0 = -3*h - c - 970. Let y = -135 - h. Is y a prime number?
False
Suppose 9208 = -86*k + 94*k. Is k prime?
True
Suppose 10*r + 126010 = 20*r. Is r a composite number?
False
Let d = 95 - 31. Suppose 6*w + 2*w - d = 0. Is (41/(-2))/(w/(-80)) a composite number?
True
Let j(i) = 537*i**2 - 16 - 139*i**2 + 15 - 3*i. Is j(-2) a composite number?
False
Let a(p) = 157*p**2 - p. Let n be a(3). Suppose -n = 11*z - 4633. Is z composite?
False
Let j(k) = k**3 - 3*k**2 + 4. Suppose 0 = v + 4*v - 15. Let i be j(v). Suppose 3*x + 2*o + 147 = 918, -2*x - i*o = -514. Is x prime?
True
Suppose 18*s - 10*s = 35312. Is s composite?
True
Suppose l + 25 = -o, -l + 4*o - o - 33 = 0. Is (18/l)/(2/(-777)) a composite number?
True
Let f(k) be the second derivative of 0 + 0*k**2 + 1/12*k**4 + 2*k - 1/3*k**3. Is f(5) a prime number?
False
Let y = -23 + 60. Suppose 40*w - y*w = 2406. Is w a prime number?
False
Suppose 8*m + 81 = -239. Is (1 - (-978)/(-4))/(m/80) prime?
True
Suppose 0 = -5*c + 5*w + 5295, -w + 702 = 2*c - 1422. Is c prime?
True
Let f(h) = h**3 - 15*h**2 + 21*h - 11. Let s be f(14). Let k = 140 + s. Let n = k - -60. Is n a composite number?
True
Let j(k) = -2*k**2 + 2*k - 2. Let n be j(1). Is 1/n + (-3605)/(-14) a prime number?
True
Let k = -48 + 58. Suppose -4*v - 2577 = -c, 0 = -5*v - 0*v - k. Is c a composite number?
True
Is (((-793575)/10)/9)/((-1)/2) a composite number?
True
Suppose 3*s = n + 3 + 8, -48 = -8*s - 2*n. Let p = 2 - -1. Suppose 3*i = s*t + 638, p*i + t = 4*t + 636. Is i a composite number?
False
Suppose 10984738 - 3919897 = 69*u. Is u prime?
False
Let a = -33 + 56. Let v = a - -36. Is v prime?
True
Let n(c) = -2*c - 10. Let k be n(-5). Suppose -5*f + 10770 = -k*f. Suppose -4*g = -f - 434. Is g a composite number?
False
Let o be (-22)/99 + ((-1519)/9 - 1). Let b = o + 732. Is b a composite number?
True
Let i(j) = 4*j - 36. Let f be i(11). Let a(s) = 35*s**2 + 5*s - 13. Is a(f) a composite number?
False
Suppose -92*k + 1255382 = -954642. Is k a composite number?
True
Let u(m) = 7*m**2 + 4*m - 2. Let h be u(4). Let b = h + -89. Is b a composite number?
False
Suppose -5*y = m - 39, -9*y + 5*y + 2*m = -20. Suppose -o = -2*l + 4*l + 10, -2*o - 2*l - 10 = 0. Let i = y + o. Is i a composite number?
False
Let s(r) = 12*r**2 - r - 10. Let g(d) = 5*d + 4. Let p(n) = 4*n + 3. Let z(a) = 3*g(a) - 4*p(a). Let w(k) = s(k) - 6*z(k). Is w(7) prime?
True
Let k = 23306 - 2475. Is k composite?
True
Let f = 45 + -20. Suppose -4*k - f = 5*h - 9*k, 5*k - 25 = 2*h. Suppose -7*x = -h*x - 1799. Is x composite?
False
Is 21306 - (-3 + 11/(33/12)) a prime number?
False
Suppose -4*w + w - 5*o - 14029 = 0, -3*o = 6. Is w/(-9) - (-2)/(-9) a composite number?
True
Suppose 3*f + 2*f - 20 = 0. Suppose q + 0*q = 4*s - 11, s - 14 = f*q. Suppose -58 = -4*w - s*x, w + 7*x - 22 = 4*x. Is w prime?
True
Suppose 0 = -n + 5*u + 779, 3*u - 4007 = -12*n + 7*n. Is n a prime number?
False
Let t = -141 - -592. Is t prime?
False
Suppose -x = 3*h - 18, -2*x - 8 + 50 = 4*h. Let m = x + 236. Is m prime?
True
Let y(n) = n**2 + 5*n + 2. Let u be y(-8). Is 13/(u/88) - 2/(-1) composite?
True
Suppose -8*x + 975 = -89. Is x composite?
True
Let k(a) = -a**2 - 10*a + 15. Let d be k(-11). Suppose d*u - 705 - 619 = 0. Is u prime?
True
Let w(v) = -v**3 - v**2 + v - 16. Let q be w(0). Let s = q - -18. Suppose 0 = -s*x - x + 273. Is x composite?
True
Let w = 0 + -7. Let n(j) = -j**3 - 3*j**2 + 6*j - 8. Let y be n(w). Let r = 229 - y. Is r composite?
False
Suppose 23*b - 17*b - 57396 = 0. Is b prime?
False
Suppose -u + 2 = -y + 2*y, -u - 2 = -y. Is (-15)/(-15)*(-1)/(y/(-1042)) a composite number?
False
Let x be 7 + -6 - 2*557. Let t = x - -2026. Is t a composite number?
True
Let i = 23 + -48. Let l = i - -156. Is 1*(-1 - -4) + l a prime number?
False
Suppose 5*p = 4*j + 29671 + 26768, -p = 3*j - 11284. Is p composite?
False
Suppose 4*l = 3*l + 966. Let w = l - 103. Is w composite?
False
Suppose 0 = -3*d + 6263 - 860. Is d composite?
False
Let a be ((-4)/(-6))/((-40)/(-72060)). Let v = a - 763. Let z = 931 - v. Is z a composite number?
True
Suppose 0*o + 6 = 3*o. Let u be (1 - (0 - 49))/o. Suppose i = -i + r + 1167, 0 = -5*r - u. Is i a prime number?
False
Let n be (-3 + 6)*205 - -4. Suppose 5*q = 3*p - 634, -3*q = -3*p - q + n. Is p a prime number?
False
Suppose 3*n - 2*v = 110, 10 + 0 = 2*v. Suppose -19*y = -15*y - n. Is y prime?
False
Let a be (3 + -2)*-8*-268. Suppose -3*u - 3 = 2*c, 9*c - 12 = 4*c - u. Suppose c*h - 3*v - a = -v, -5*v = h - 743. Is h prime?
False
Let p(u) = -5*u + 32. Let n be p(6). Suppose 7*s = n*s + 5245. Is s a composite number?
False
Suppose -19*j - 6620 = -29*j. Is j composite?
True
Let q = -598 - -1839. Is q a prime number?
False
Let o be 4/((-32)/(-12))*2. Suppose -1765 - 1517 = -o*u. Is u composite?
True
Suppose -6*x = -3*x - 9753. Is x a composite number?
False
Let i = 230 + 1029. Is i composite?
False
Suppose f - 4625 - 