k = 3 + f. Is k a composite number?
True
Let l(p) be the second derivative of p**5/20 - p**4/4 - p**3/6 - p**2 + 2*p. Let u be l(3). Let g(j) = -j + 1. Is g(u) a prime number?
False
Let q = 1214 - 337. Is q a prime number?
True
Suppose -2*m = -5*m + 24. Let k = m + -2. Let q(y) = -y**3 + 6*y**2 + 9*y - 3. Is q(k) composite?
True
Is (-2 - 0) + 1 + (-1140)/(-1) prime?
False
Is 4 - (-252)/(-2 - -6) a composite number?
False
Suppose 5*w = 15, 3*r - 5*w + 15 + 0 = 0. Suppose r = m + f - 218, -2*m + 182 = -4*f - 254. Suppose -2*y = -152 - m. Is y composite?
True
Let d(s) = 96*s**2 + 1. Let q(f) = -f**3 + 4*f**2 + f - 5. Let h be q(4). Is d(h) a prime number?
True
Let b(h) = 3*h**2 + 5*h - 13. Let w(r) = r**2 + 2*r - 4. Let z(g) = 6*b(g) - 17*w(g). Is z(7) prime?
True
Suppose -134 = -w - 5*n, -567 = -4*w - 2*n - 49. Is w prime?
False
Let y be (-3 - 0) + (-286)/2. Let o = -93 - y. Is o a composite number?
False
Let k(q) = q + 1055. Let j be k(0). Let a(d) = -4*d - 38. Let t be a(-11). Suppose -j = -t*g + g. Is g composite?
False
Suppose 3*z = -2*z - 15. Let r be (-38)/(-2) + 1 + z. Suppose 0 = 5*p - 182 + r. Is p prime?
False
Let p be (-9)/(-6)*4/3. Suppose -3*h + 5 = -2*h. Suppose h*a - 5*i = -2*i + 350, 4*a = -p*i + 258. Is a a composite number?
False
Let g be ((-3)/2)/((-1)/(-346)). Let v be (-3)/(3*-1) + g. Is 3/12 - v/8 a prime number?
False
Let u = 6 + -4. Is 4*u/((-16)/(-178)) prime?
True
Let l(q) = 111*q**3 - 2*q**2 + 5*q - 1. Is l(2) a prime number?
False
Let s(d) = -34*d + 67. Is s(-19) a composite number?
True
Suppose -2*y - 30 = -10. Let r be (-10 - 1)/(1/y). Let l = r - 43. Is l a prime number?
True
Let i = 41 - 25. Suppose 173 = s + i. Is s a prime number?
True
Suppose -2*g = -0*i + 4*i - 328, -5*g = 4*i - 820. Is (-3)/(2 - 1) + g prime?
False
Let n(x) be the third derivative of -x**6/120 - x**5/15 + x**4/6 - 5*x**3/6 + 4*x**2. Is n(-6) a prime number?
True
Let i(l) = 5*l**2 + l + 3. Let d be i(3). Let x = -20 + d. Is x a composite number?
False
Let r = 2193 - 874. Is r a composite number?
False
Let t be -219 - (-1)/(2 - 1). Let p = t - -387. Let c = p + -63. Is c prime?
False
Let j be (0 + -1)*33/(-11). Suppose 0 = -2*k - j*k + 1030. Is k composite?
True
Let s be (0 + -27 - 0)*1. Let d = -124 + 210. Let x = d + s. Is x composite?
False
Let a(r) = r + 1. Let u be a(0). Let l = u + 2. Let b = l + 46. Is b prime?
False
Let b be (-350)/6 - (-1)/3. Let r = 6 + -7. Is (20/8)/(r/b) a composite number?
True
Let v = -6 - -7. Let c be (v - -1) + -1 - 835. Let o = -541 - c. Is o prime?
True
Suppose -6 = -5*k + 34. Let x(v) = 11 + 10*v + 4*v + k*v + 6*v. Is x(8) a composite number?
True
Is ((-1)/(-4)*-11)/(1/(-148)) prime?
False
Suppose -5*s - 2*n + 145 = 0, 0*n - 4*n - 145 = -5*s. Suppose -s = -j + 45. Is j composite?
True
Let l(w) = -536*w**3 - 2*w - 1. Is l(-1) prime?
False
Let u(r) = -r**3 + 14*r**2 + 11*r - 1. Is u(7) prime?
True
Let o(k) be the first derivative of 157*k**2/2 + 2. Is o(1) prime?
True
Let v be -30*(-4)/(-24)*4. Let j = -36 + 183. Let l = j + v. Is l composite?
False
Let g(h) = 5*h - 10. Is g(13) a composite number?
True
Let q(x) = -4*x**3 - 2*x**2 - 2*x - 3. Suppose 9 + 3 = -4*t. Let b be q(t). Suppose -3*y + b = -66. Is y a prime number?
True
Let t = -91 - -88. Let i(h) = -9*h + 1. Let j(w) = -19*w + 2. Let d(v) = 5*i(v) - 2*j(v). Is d(t) composite?
True
Let z = 3 + 82. Is z a prime number?
False
Let l be 8/10*100/8. Let z(m) = -m**2 + m**3 + 3*m + 9*m**2 + 3 - l. Is z(-6) composite?
False
Let v(d) = 266*d + 1. Let r be v(1). Is (-6)/(-9)*r/2 composite?
False
Suppose -2*n + 3*h = -121 - 363, -2*n + 5*h = -488. Is n composite?
False
Let o(k) = k**3 + 6*k**2 - 2*k. Is o(-5) a prime number?
False
Let y(r) = -11*r + 5. Let f be y(5). Let b = -28 - f. Is b a composite number?
True
Let c(a) = 3*a**3 + 4*a. Let k(z) = -4*z**3 + z**2 - 5*z - 1. Let i(m) = 5*c(m) + 4*k(m). Let s be i(4). Is 1*20 + s + 7 composite?
False
Let m be 3 + (-1)/(1/1). Let i(g) = 3*g**2 - 3 + 2*g**2 + 7 - m*g. Is i(-3) prime?
False
Is 8455/6 + 7/(-42) composite?
False
Let c = -270 - -409. Is c prime?
True
Is (-4)/(-22) + (-4682)/(-22) a prime number?
False
Let x(q) = -51*q - 1. Let r be x(-2). Let g = 262 - r. Is g composite?
True
Suppose -4*z + 26 = -5*j, 0*j - 2*j - 17 = 5*z. Let w(h) = 5*h**2 + 8*h - 1. Is w(j) a prime number?
True
Let k = 171 - 108. Let l = k - -98. Is l composite?
True
Suppose -2*o + 2*j - 116 = 2*o, -2*o - 4*j - 48 = 0. Is (o/(-12))/(2/30) a prime number?
False
Is 1266/(-4)*8/(-6) a prime number?
False
Let r(j) = -2*j**2 - 3*j + 4. Let n be r(-4). Let v(d) = 2*d**2 + d. Let h be v(-1). Is h/(-4) + (-852)/n a composite number?
False
Let s = 11 + 12. Let y = 6 - 10. Is y/2*s/(-2) a prime number?
True
Suppose f - 1150 = -63. Is f a composite number?
False
Is -2 + (-6149)/(-9) + 32/(-144) prime?
False
Let w(u) = 3*u**2 - 6*u + 17. Is w(12) a prime number?
False
Suppose 19 = -5*o - 46. Let j = o - -38. Is j prime?
False
Let z(w) be the third derivative of -1/8*w**4 + 0 - 2/3*w**3 + 1/30*w**5 + 0*w - 2*w**2. Is z(5) prime?
True
Let a be 4/(-10) - (-8)/20. Let j = a + 2. Suppose 3*z - 71 = -j*l, 0 = 4*l - 1 + 9. Is z a prime number?
False
Let x = 312 - 181. Is x a composite number?
False
Suppose 0 = -5*s + 17028 - 5173. Is s a composite number?
False
Suppose -18 = -5*r - 3. Let p(d) = -2*d - 6. Let q be p(-4). Suppose -l - 350 = -r*o, -q*o - 2*l = -356 + 136. Is o a prime number?
False
Let v be ((21 + -1)/(-2))/1. Is (-6)/(-15) - 3726/v a composite number?
False
Let m(n) = 2*n**2 - 5*n + 12. Is m(11) prime?
True
Let q = 2941 + -1622. Is q prime?
True
Suppose -2*x + x - 4*w + 25 = 0, -4*x + 86 = 2*w. Suppose -2 = l - x. Is l prime?
True
Suppose 3*n - 1 = -4. Is (-586)/n*9/18 prime?
True
Let d(l) = 39*l**2. Let o be d(-1). Let v be ((-1)/(-2))/(6/60). Suppose -v*w + 332 = 3*p, -o - 97 = -2*w + 2*p. Is w a composite number?
False
Let x = 40 - 26. Suppose 0 = -3*u + x + 43. Is u a composite number?
False
Let f(i) = -i. Let g(o) be the third derivative of -11*o**4/24 - o**3/2 + 3*o**2. Let s(x) = -5*f(x) - g(x). Is s(7) a composite number?
True
Let j(d) = -d**3 - 6*d**2 - d - 2. Let n be j(-6). Let g(q) = -n + 3 - 163*q + 1. Is g(-1) a prime number?
True
Suppose -2*a + 3*i + 10 - 2 = 0, -20 = -5*a - 4*i. Suppose n - 28 = -0*n. Suppose 3*u = -2*u - 2*p + n, -u = a*p - 2. Is u a composite number?
True
Let a be 4/14 + 37/(-7). Suppose 3*b = 17 + 34. Let s = b - a. Is s composite?
True
Let t(c) be the second derivative of -8/3*c**3 - 1/2*c**2 + 0 - c. Is t(-3) a composite number?
False
Let b(r) = -3*r**3 - 3*r**2 + r + 2. Let s be b(-2). Suppose 2*w - s = -2*w. Is w a composite number?
False
Let j = 3171 - 480. Is ((-4)/6)/((-6)/j) composite?
True
Let x = -7 - -2. Let a = 3 + x. Is a + 0 - (0 + -121) composite?
True
Let b(n) = -54*n + 0 + 0 - 1. Is b(-1) prime?
True
Let d = 112 + -29. Is d composite?
False
Let b(u) = 141*u + 7. Is b(14) composite?
True
Let k(v) = 11 - v + 2*v + 4*v + 3*v. Is k(9) a composite number?
False
Suppose 71 + 49 = -3*m. Let o be m/12*(-636)/10. Suppose -3*x + 7*x = o. Is x prime?
True
Suppose 4*h = -0*z + 3*z + 9, 4*h - z = 11. Is 37 - -3 - h/1 a composite number?
False
Suppose -6*a + 12 = -3*a. Suppose 6*c + 10 = c. Is 17 + -4 + c + a composite?
True
Suppose -5*a + 4455 = 5*s, -a + 0*s = -4*s - 911. Is a a prime number?
False
Suppose y = 5*n + 30, -12 = n + n + y. Let g = 197 - 120. Let o = g - n. Is o a prime number?
True
Let c(d) = d**3 + 5*d**2 + 5*d + 2. Let u be c(-3). Suppose -3*o - 23 = -5*b, 8*o - 3*o + 35 = u*b. Let a(p) = p**3 + 7*p**2 - 5. Is a(o) prime?
True
Let t(s) be the first derivative of 49*s**2/2 - 4*s + 1. Let p = 4 + -1. Is t(p) a prime number?
False
Let h(k) = -13*k**3 + 2*k**2 + 4. Suppose -4*y = -4*b - 28, 0 = -2*b + 4*y + y - 26. Is h(b) prime?
True
Let p = -1262 - -1803. Is p a prime number?
True
Let f(d) = 2*d**2 - 2*d + 1. Suppose -3 + 0 = -3*v. Let a be f(v). Is 14/4*16 - a prime?
False
Let u(i) be the first derivative of 3*i**2/2 + 5. Suppose -b - r + 8 = 0, r + 3 = 2*r. Is u(b) composite?
True
Let q(s) = -s**3 - 5*s**2 + 5*s. Let n be 2/3 - (-20)/(-3). Is q(n) composite?
True
Let p(t) = -4 + 2 - 2*t - 1 + 8*t**2. Let d = -10 + 6. Is p(d) a composite number?
True
Is (-2)/(10/45 - 1240/5526) a