 Let n be x(2). Let u(k) = k**2 - 16*k + 2. Let g be u(16). Is (-6209)/(-35) - g/n a composite number?
True
Is 13 - 91/13 - (-1 + -12492) a prime number?
False
Let x(a) = -52*a**2 + 3*a + 15*a**2 + 19*a**2 + 20*a**2 + 11*a**3 + 7. Is x(4) prime?
False
Suppose 0 = -2*v + 12. Suppose -l + v*l = 115. Let s = -8 + l. Is s a prime number?
False
Let x be (18130/42)/((-1)/3). Let u = x + 1904. Let i = -307 + u. Is i prime?
False
Suppose -4*h - 5*d = -2*h - 7, d - 5 = -4*h. Let t be (2 - h)*62/2. Let g = 58 + t. Is g a prime number?
True
Let c = -8114 - -17657. Is c prime?
False
Let h be 42900/48 - (-2)/8. Suppose 54*p = 57*p - h. Is p prime?
False
Suppose -3*z = 4*f - 23 - 8, 0 = 4*z - 2*f - 12. Suppose 0 = 3*g - z*g - 20. Is 297 + 0 + (g - -8) composite?
True
Let p = 8801 + -1689. Suppose 4*y + 2*j = p, -1914 = -3*y - 2*j + 3421. Is y composite?
False
Suppose -10*g + 411 + 12209 = 0. Is g a composite number?
True
Let r(l) = -286*l + 7. Let q = 13 + -9. Suppose -8 - 8 = q*n. Is r(n) a composite number?
False
Let i be 8 - (0 - 1)/1. Let g be i + -6 + 3 + 0. Is 1 + (-9)/3 + g a composite number?
True
Suppose 4*o = -3*o - 147. Is 35/o + (-20042)/(-3) a prime number?
True
Let s = 1 + 0. Is -1 + s - (-8)/((-16)/(-354)) prime?
False
Suppose 2*f = 31 - 11. Let t(c) = 90*c - 25. Let y be t(f). Let x = y - 356. Is x a composite number?
True
Is 29433/3 + 3 + (-5)/5 composite?
True
Let b(f) = 96*f**2 + 37*f + 20. Is b(-21) composite?
False
Let x = -167 + 251. Suppose 876 - x = 2*d. Suppose -3*n + 1190 = -0*n + 5*p, 0 = -n - p + d. Is n prime?
False
Let q(f) = 50442*f + 41. Is q(1) prime?
False
Let f(h) = 579*h**2 + 37*h + 5. Is f(-9) prime?
False
Let g be (-1127)/(-28) - (-1)/(-4). Suppose -7*q = -2*q - g. Let t(o) = -o**3 + 10*o**2 - 10*o + 9. Is t(q) prime?
False
Suppose 13*g - 187271 = -26032. Is g a composite number?
True
Suppose -8*n + 11 + 5 = 0. Suppose -2*m = -y - 3*m + 57, 2*y = n*m + 118. Is y a prime number?
False
Let c(s) = s**3 + 4*s**2 + 13*s - 13. Is c(9) prime?
False
Suppose 0 = -2*c - 2*b + 6, 4*b = c - 0*c + 7. Let y = -9 - c. Is y + 10 - 68/(-2) prime?
False
Suppose 3*p - 7*b + 8*b - 40147 = 0, 13361 = p - 5*b. Is p a composite number?
False
Let u = 24 - 21. Let j(y) = -u*y - 14 + y**2 - 2*y - 3 - 7*y. Is j(18) a prime number?
False
Suppose 0 = -5*b - 2*v - 54, -v = 5*b - b + 45. Is b/(-8)*8782/3 prime?
True
Suppose -17 = 4*o - 5*v, 2*v + 2*v - 16 = 2*o. Is o*1004/(-48)*-6 prime?
True
Let j(t) = -157*t + 35. Suppose 2*m + 10 = 3*o - 8, -5*o + 4 = m. Is j(m) a prime number?
True
Let j(x) = 444*x + 5. Let d = -97 - -104. Is j(d) a composite number?
True
Let i(k) = -13*k**3 - 7*k**2 + 2*k + 5. Let g be i(-7). Suppose -4*c + 16424 = 5*l, c = 2*c + l - g. Is c a composite number?
False
Is 3*((-2249389)/204)/((-3)/12) composite?
True
Is (-1)/(-5) - (7 - 1330290/50) a prime number?
False
Let j(n) = n + 36. Let v be j(-18). Let m = v + -18. Suppose 2*d - z = 7*d - 925, m = 3*z. Is d composite?
True
Let h be 411*4*(15/(-4))/(-5). Let i = 4004 - h. Is i a composite number?
True
Is (0 - (-164)/16)/(5/220) prime?
False
Let h = -22 + 22. Suppose 0 = -h*r - r - f + 85, -2*r = 5*f - 176. Is r prime?
True
Let m(h) = -88*h + 3. Let y(a) be the second derivative of a**4/12 - a**3/3 - 5*a**2/2 + a. Let f be y(0). Is m(f) composite?
False
Suppose -52*v + 2585 = -47*v. Is v a prime number?
False
Suppose 3*o - 74285 = -0*q + 2*q, 2*o - 49527 = 5*q. Is o prime?
False
Suppose -11 = j + 5*a + 5, 3*a = -3*j. Suppose -4*t + m + 239 = -861, -4*t = j*m - 1080. Is t prime?
False
Let g(u) = 517*u**2 - 2*u - 2. Let b be 1*(3 + -5)/2. Is g(b) a composite number?
True
Let i(u) = 4*u**3 + 2*u - 2. Suppose 0 = l - 5*l + 4. Let p be i(l). Suppose -p*s = -2*q + 1640 - 662, 3*s = q - 485. Is q prime?
False
Let l(b) be the first derivative of -5 - 4*b + 15*b**2 + 7*b**2 - 2 - b. Is l(6) prime?
False
Let r(m) = -18*m + 89. Is r(-37) a prime number?
False
Suppose 2*w + 821 + 316 = o, -5*w = -4*o + 4551. Is o composite?
True
Let q(i) = -i**3 + 12*i**2 - 6*i - 8. Suppose -5*b - 18 - 12 = 0. Let o(x) = 2*x**3 - 23*x**2 + 11*x + 15. Let s(f) = b*o(f) - 11*q(f). Is s(5) composite?
False
Suppose -1957 = -3*c - 4*m, 0 = 2*c - 3*c - 4*m + 663. Is c a composite number?
False
Let j = 16 - 8. Let a = 59 + -9. Suppose -113 = -5*q - 2*f, 2*q = -4*f - j + a. Is q prime?
True
Let t = -3529 - -9284. Is t a prime number?
False
Suppose -6*d - 210 + 1320 = 0. Suppose 2043 = 4*j - d. Is j composite?
False
Let n be (1/3)/(6/54). Suppose 4*a + n*z - 24 = 0, 0 = -2*a + 2*z + 6 + 6. Is -17*(a/3 - 4) composite?
True
Suppose -4*g - g = -4*y - 57, -g - 4*y = 3. Suppose g*f - 3*f - 1902 = 0. Is f prime?
True
Let o(k) = -3 - 5 + 0 + 594*k + 11. Is o(2) composite?
True
Let s = -5719 - -13236. Is s a composite number?
False
Suppose -4*i + 661 = -599. Suppose -v + i + 2650 = 0. Is v prime?
False
Let f(o) be the first derivative of -o**4/4 + 4*o**3 - 5*o**2 - 5*o - 6. Let d be f(11). Suppose -d*p + p = -395. Is p composite?
False
Let k be (-2 - (-5)/1)*2804/12. Let m = 1822 - k. Is m a prime number?
False
Suppose -4*d + 20 = d. Is d + -4 - (-127 + 0) composite?
False
Let x(s) be the third derivative of s**8/20160 - s**7/420 + 13*s**6/720 - s**5/30 - 4*s**2. Let r(g) be the third derivative of x(g). Is r(-10) composite?
False
Suppose g = -2*g - 108. Let f be (-2)/(-6) - 132/g. Suppose -2*k + f*k = 678. Is k prime?
False
Suppose 3*q - 2*q + 851 = 0. Let l = q + 1355. Suppose 0 = -5*y - 34 + l. Is y a composite number?
True
Let k = -11437 - -39170. Is k composite?
False
Is (-335)/(-268) + (-197007)/(-4) a prime number?
True
Suppose -33 = -5*h + 32. Let x(f) = f**3 + 20*f**2 - 16*f + 14. Is x(h) prime?
False
Is ((-91731)/(-9))/(12/36) a composite number?
False
Suppose 0 = -5*d + 8*d - 189723. Is d composite?
False
Let c be 1/(-3) + 904/(-6). Let p = c + 280. Suppose -p - 84 = -j - 4*u, u = -5*j + 1008. Is j a composite number?
True
Let q(t) = 15*t**2 + 19*t - 83. Is q(-18) a composite number?
True
Suppose 0*w - 2*w = 0. Suppose -9 + w = -3*q. Suppose 0 = q*b - 126 - 357. Is b prime?
False
Is 769*2 + (-5 - 0) + 4 composite?
True
Let t = 33 + -30. Suppose -t*y + 7*y - 24 = 0. Is 508/y*6/4 prime?
True
Let u(g) = -19*g**2 - 3*g + 11. Let l(p) = -8*p**2 - 3*p - 1 + 4*p + 17*p**2 - 4. Let i(s) = 13*l(s) + 6*u(s). Is i(6) composite?
False
Suppose -5*v + 9*p + 11948 = 6*p, -5*v + 2*p = -11947. Is v a prime number?
True
Let o(d) = 2*d**2 - 4*d - 3. Let b be o(-5). Let m = -177 - b. Let s = 203 - m. Is s composite?
True
Suppose -2*w + 7*w - 15 = 0. Let o(y) = -5*y**2 - 2*y - 2. Let i be o(w). Is i/(1 - 9/6) composite?
True
Let r(c) = -c**3 + 8*c**2 + 10*c - 7. Let x be r(9). Let z(w) = 4 + 3 + 0 + 6 - x*w. Is z(-9) composite?
False
Let u(w) = w**3 - 7*w**2 + 4*w - 1. Let p be 0 - (-12 + -1 + 1). Is u(p) a prime number?
False
Suppose -7*t + 1205 + 5004 = 0. Is t composite?
False
Suppose -5 - 1 = -2*i. Suppose 54 = 4*z + u, -i*u = -3*z + 61 - 13. Is 456/z - 3/(-7) composite?
True
Let f be -8*(-422)/(4/2). Suppose 0 = 3*k - 3*c - 304 - 2216, -2*c + f = 2*k. Suppose -4*h = -5*i + 2445, 5*i = -2*h + k + 1573. Is i a prime number?
False
Let b(j) = -70*j**3 + 2*j**2 - 1. Let p(l) = -l**3 + 10*l**2 - 10*l + 6. Let d(q) = 1. Let c(s) = -4*d(s) - p(s). Let h be c(9). Is b(h) a composite number?
False
Let l be (-92)/10 - 5/(-25). Is l/(-12) + (-2793)/(-4) a composite number?
True
Let t = -235 + 140. Let w = 312 + t. Is w a prime number?
False
Suppose 0 = -16*w + 20*w + 8, 3*x + 2*w = 30302. Is x a composite number?
True
Let y(f) = -5*f - 4. Let o be (0 - 3)/((-9)/12). Suppose -18 = 2*p + o. Is y(p) composite?
True
Let o be (-4 - -131)/((-1)/2). Let a = o + 921. Is a a composite number?
True
Suppose -2*q - 128 = -y - 1548, 2*q + 4*y = 1440. Suppose 5*p - 123 = q. Is p a composite number?
False
Let t(v) = -7*v**3 + 3*v**2 + 9*v - 7. Let w be (-54)/12*(-4)/(-3). Is t(w) a composite number?
False
Let m = -3167 + 5420. Is m a composite number?
True
Let r = -6 + 2. Is 530/r*(12 - 14) a composite number?
True
Let s(p) = -2*p**3 + 19*p**2 - 15*p + 16. Let i be s(7). Suppose i = 2*a - 666. Is a composite?
True
Let w(c) = 711*c**2 + 36*c - 70. Is w(2) composite?
True
Let s(t) = 5*t + 43. Let c be s(19). Suppose 0 = -5*f - f + c. Is f composite?
