n - 9*n + r. Is n prime?
False
Let p be 2085/12 - (-3)/12. Let y(q) = 13*q**2 + 3*q + 3. Let h be y(-2). Let i = h + p. Is i composite?
False
Let j(p) = 79*p**3 - 4. Let n(k) = -10902*k**3 - 316*k + 869. Let h(u) = -u + 1. Let b(w) = 316*h(w) - n(w). Let i(q) = -4*b(q) + 553*j(q). Is i(1) composite?
False
Let q(n) be the first derivative of n**3/3 + n**2 - 4*n + 10. Let o be q(7). Suppose c + o = 2*c. Is c prime?
True
Suppose 4*s + 12*m - 13*m = 108174, 108168 = 4*s + 2*m. Is s a prime number?
True
Is 4/(-10) + (-238773)/(-95) prime?
False
Let c(z) = 3*z - 6. Let y(v) = v**3 + 2*v**2 - 2*v - 1. Let k be y(-2). Let j be c(k). Is -4 + j + 2*66 prime?
True
Let r(u) = -u**2 - 9*u + 2. Let y be r(-9). Suppose -b + 363 = -4*d, -y*b + 5*d = -113 - 619. Is b a prime number?
False
Suppose -d = 5*q + 2, 5*q - d + 0*d = 2. Let f(v) = 0*v**2 + 2*v + v**2 + 319 + v - 4*v. Is f(q) a composite number?
True
Suppose 135 = -14*f + 5*f. Let s be 1/(-3) + 296/(-12). Let g = f - s. Is g a prime number?
False
Let d(i) = i**3 + 21*i**2 + i + 1. Let f be d(-21). Let b(t) = -t**3 - 20*t**2 - 6*t - 26. Is b(f) a prime number?
False
Is (-1 + 6/12)*-2222 a prime number?
False
Suppose 0 = -5*u + 5*a + 49443 - 13778, 4*a = 0. Is u composite?
True
Suppose 0 = r, -z = 4*r + 49 + 70. Let a = 482 + -278. Let o = a + z. Is o composite?
True
Let t(o) = 1843*o - 24. Is t(17) composite?
False
Suppose 287420 = -30*p + 1176890. Is p prime?
False
Let u = -2 + 0. Is 225 + (2 - (2 - u)) a composite number?
False
Let f = -13 + 17. Let a be 2/f + 1270/4. Suppose -5*c = -i - 804, -2*c + a = -3*i - i. Is c a composite number?
True
Let u = -7 + 157. Suppose a - u = -11. Is a prime?
True
Let g(b) = b**3 - 9*b**2 + 12*b + 5. Let w(p) = -6*p. Let x be w(-1). Suppose -x*h + 3*h + 27 = 0. Is g(h) a composite number?
False
Is (-1741)/(1 - (-12)/(-6)) composite?
False
Let c = 159715 - 83154. Is c a prime number?
True
Let q be (8 + -13)/((-10)/6). Let v(i) = 6*i**2 + i - 6. Let x be v(-6). Suppose q*l + 63 = x. Is l composite?
False
Is (-15206)/12*((-14)/7 + -4) composite?
False
Let k(n) = n**2 - 24*n + 42. Let g be k(23). Suppose -g*x = -10*x - 207. Is x prime?
True
Suppose 3*b = 5*h + 72098, -2*b - 2*h = -67771 + 19711. Is b composite?
True
Suppose -2*z = 10, -21*i - 3573 = -25*i + 5*z. Is i a composite number?
False
Suppose -73940 = -5*n + 5*p, 0 = -25*n + 23*n + 5*p + 29573. Is n a composite number?
True
Let u = 11 - 11. Suppose 7*p - 2*p = u. Suppose -b + p + 19 = 0. Is b composite?
False
Suppose -13 = -3*n - 2*l, -4*n - 1 + 5 = -4*l. Suppose -2*y + n*k + 1228 = 0, -3070 = -5*y - 0*y + 4*k. Is y prime?
False
Let u(n) = n**3 - 17*n**2 + 17*n - 29. Is u(20) prime?
True
Let v be (-148)/(-18) - (-8)/(-36). Let d(k) = 2*k + 26. Let p be d(v). Is ((-21)/p)/((-2)/4456) a composite number?
True
Let d = -3123 + 9154. Is d prime?
False
Let j(t) = 30*t**2 + 2*t - 43. Is j(-13) prime?
False
Suppose -6*p + 553 = -5*p + 4*a, -4*a + 1691 = 3*p. Let d(c) = -c**3 + 5*c**2 + 7*c + 2. Let g be d(-6). Let x = p - g. Is x prime?
False
Suppose 10*b - 5*w = 13*b - 78408, 3*b - 2*w = 78387. Is b a composite number?
True
Let d be (-3 - -5)/2 - -2. Suppose -3*p = 3*f - 3735, -4*p + 0*p - 3763 = -d*f. Is f a composite number?
False
Let k be (6 - (3 - 1)) + 1. Let v be 2*3*3/9. Suppose -48 = -h - 0*h + k*s, -72 = -2*h - v*s. Is h a prime number?
False
Let q = 28 + -36. Is (12/(-3) - q) + 1945 prime?
True
Let k = 32 + -30. Suppose 3*l - 2*j = 7*l + k, -2*l - 2*j = 6. Is l/(-4)*(-1420 + -18) composite?
False
Let x(m) = m**3 + 16*m**2 - 16*m + 20. Let p be x(-17). Suppose -3*v = -4*r + 4171, 0 = 5*r - 2*v - p*v - 5215. Is r composite?
True
Let o = -2 - -3. Let w(z) = 75*z**3 - 2*z**2 + z. Let q be w(o). Let y = q + -15. Is y prime?
True
Suppose -3*j = -8*j - 20. Let i(k) = k**2 + 3*k - 6. Let r be i(j). Is 5*382/r*-1 prime?
False
Let a = -3967 + 14870. Is a a composite number?
False
Let i = 13517 + 10734. Is i a composite number?
False
Let a(m) = 752*m**2 + m. Suppose 6*x = -4*x - 10. Is a(x) composite?
False
Let u(c) = 9*c**3 - 2*c**2 + 2. Let k be u(7). Let s = -1342 + k. Is s a prime number?
False
Let k = -103 + 67. Is 8/k + (-2909)/(-9) a composite number?
True
Let y(p) = 19*p + 0*p + 2*p - 7. Let x(b) = -b**2 + 7*b + 36. Let u be x(10). Is y(u) prime?
False
Let r(a) be the second derivative of -a**5/20 + a**2/2 + 11*a. Let o(u) = -6*u**3 - 14*u**2 - 7*u + 7. Let x(q) = -o(q) + 5*r(q). Is x(-8) prime?
False
Let o be (-4)/((-3 - -1)/2). Let t be ((-5)/(-2))/(7/1330). Suppose -w + t = 3*z, o*z - 5*w - 395 = 213. Is z composite?
False
Let p(j) = j - 1. Let b(z) = 5*z + 1. Let i(x) = b(x) - 4*p(x). Let u be i(-2). Suppose -4*q = -5*k + 297, -u*q + 47 = 2*k - 58. Is k a prime number?
False
Let f be (214*(-9)/(-6))/1. Suppose 0 = 2*c + f + 677. Let j = -290 - c. Is j prime?
False
Let h = 169 - 47. Let j = h - -89. Is j composite?
False
Let o = 1385 + -312. Is o composite?
True
Let b = 12 + -3. Let t(q) = 2*q + 9*q**2 - 6 + 5 - 4 + 5*q. Is t(b) composite?
False
Let j = -16 - -32. Let s = 13 - j. Is (-2 - -418) + (0 - s) prime?
True
Is 7*((-23004)/(-28) + -2) a composite number?
False
Let o(i) = -3*i - 10. Let q be o(-6). Suppose -190 = -q*b + 1818. Is b prime?
True
Let c = -11 - -7. Let q(g) be the first derivative of -g**4/4 + 2*g**3/3 - g**2 + 5*g - 79. Is q(c) prime?
True
Suppose -4*q - 3*q = -2*q. Is (-226)/4*(q - 2) composite?
False
Suppose 0 = 110*m - 80*m - 121530. Is m a composite number?
False
Let k = -18 + 26. Suppose 0 = -2*p + 2 + k. Suppose 3*q - 6 = 0, -p*q - 138 = -4*w - 0*w. Is w a composite number?
False
Let o(a) = 2147*a - 15. Is o(2) a prime number?
False
Is (2295576/56)/9 - 6/(-21) a composite number?
True
Let z(g) = -5*g**2 - g + 3. Let b be z(4). Let x(o) = o + 21. Let t be x(13). Let d = t - b. Is d prime?
False
Let v = -37 + 42. Suppose -4584 = -v*f + 9571. Is f a prime number?
False
Let v(m) be the third derivative of m**5/12 - m**4/12 + 5*m**3/6 + 14*m**2. Is v(2) prime?
False
Suppose -4*z = -3*n - 14, -2*n = -3*z + 8*z - 29. Let t be (5/(-40) - (-60291)/24) + 0. Suppose z*y + 1290 = 2*q, 3*y - 595 = 3*q - t. Is q a prime number?
False
Let s(k) = -12*k + 2. Let p be s(1). Let g = p - -11. Suppose 2*h + 5 = -g, -133 = -y + 2*h. Is y composite?
False
Suppose 0 = 3*m - 0*m. Suppose 2*r + m = 4. Suppose r*q - 4*q = -374. Is q prime?
False
Let u = -3 - -2. Let v(x) = -2364*x**3 + x**2 + 7*x - 4. Let i(p) = -1576*p**3 + p**2 + 5*p - 3. Let l(c) = -7*i(c) + 5*v(c). Is l(u) a prime number?
True
Let h(x) = -x**2 + 15*x + 17. Let p be h(16). Suppose r = 12 - p. Is (-246)/(-2) + r + -15 a prime number?
False
Suppose -7*o + 16 - 16 = 0. Is 144 + 0 + (o - -5) a composite number?
False
Is (-10)/45 + 198332/36 composite?
True
Let y(k) = k**3 + k**2 - k - 1. Let q(v) = -21*v**3 + 4*v**2 - 3*v - 4. Let h(f) = -q(f) + 2*y(f). Let i be h(-1). Is 6/i + (-5343)/(-12) prime?
False
Let o(a) = -16*a**3 + 6*a**2 + a - 1. Suppose 0 = 2*v - 4*p - 4, 0 = p - 0 + 3. Is o(v) composite?
True
Suppose 29*r = 30*r + 2903. Is (-2)/4*(0 + r)*2 composite?
False
Let i = 139724 - 91543. Is i a composite number?
True
Let n = 808 + 1429. Is n a prime number?
True
Is (-20707)/((-3)/(9 - (-24)/(-4))) prime?
True
Is (-50)/(-275) - (18203/(-11) + 0) composite?
True
Is (-2)/(-3) + (-1258390)/(-210) a prime number?
False
Suppose -10 = -3*q - 4. Suppose -6*j - 2*l + 2085 = -j, 429 = j - q*l. Is j prime?
True
Suppose 0 = 2*c - 3*c + 4196. Is (c/8)/(3/6) prime?
True
Let a = 12 + -12. Let v(h) = 33 + h + 65 - 24 - h**2 + 2*h**2. Is v(a) a prime number?
False
Let j be (-4)/6 - 56/(-12). Suppose 0 = -2*o - 2*h, -j*h + 3*h = 3*o - 4. Is (o/6)/((-2)/(-666)) a composite number?
True
Is 35/(-45)*-118821*3 prime?
False
Suppose 6*t + 3267 = -2151. Let w = -514 - t. Is w prime?
True
Let v = -2 + 6. Suppose -c = 3*c - v*r - 404, -309 = -3*c + r. Let s = 23 + c. Is s composite?
False
Let c be 160/(-560) - (-3726)/7. Suppose 2*p - 165 = -p. Let n = c + p. Is n prime?
True
Suppose n - 2*n = 0. Suppose n = 5*a - a - 1004. Is a a prime number?
True
Let w be (-7)/(-14) - ((-6)/4 + 2). Suppose g - 67 - 1732 = w. Is g composite?
True
Let z = 140 - -1791. Is z composite?
False
Let v be (-20)/(-8) - (-2)/4. Let q be (-154 + 4)/(3/(-6)). Suppose 0 = -f + 2*p + 63, -5