rime?
True
Let v(p) = 3*p**2 + 9*p + 5. Let r(o) be the second derivative of -o**5/20 + o**4/12 + o**3/2 + 3*o**2/2 - 2*o. Let q be r(3). Is v(q) composite?
False
Let c(s) be the third derivative of s**7/2520 - s**6/120 + 7*s**5/120 + s**4/24 + 2*s**2. Let g(d) be the second derivative of c(d). Is g(-6) a prime number?
True
Let r = 42 - 86. Let g = r + 77. Is g composite?
True
Suppose 4*f = -11 + 43. Let a(m) be the third derivative of -m**6/120 + 11*m**5/60 - m**4/3 - m**3/6 + 3*m**2. Is a(f) a composite number?
False
Suppose -h + 3*v = 24, v = -4*h - 44 - 0. Let a(n) = -n**3 + 6*n**2 - 4*n + 3. Let w be a(4). Let y = h + w. Is y prime?
True
Let k = 12 + -8. Suppose k + 45 = q. Is q prime?
False
Let v = 795 + -538. Is v a prime number?
True
Suppose s + 4*u - 111 = 0, 3*s - 348 = -2*u + 5*u. Is s a prime number?
False
Let o be ((-36)/6)/(2/(-2)). Let h be (-2)/6 - (-44)/o. Suppose 0 = 2*f - h*p + 2*p - 62, -f = -p - 31. Is f a composite number?
False
Suppose 1596 - 311 = 5*l. Is l prime?
True
Let a(m) = 3*m**2 + 2*m - 5. Let q(c) = 7*c**2 + 4*c - 10. Let w(r) = 5*a(r) - 2*q(r). Let z be w(-4). Suppose z*p + 1 = 67. Is p a prime number?
False
Suppose -203 = -3*s + 2*f, -3*s + 5*f = -0*f - 206. Is s a composite number?
False
Let q(h) = -h**3 + 6*h**2 - h + 8. Let d be q(6). Let b be 2/12 - (-1165)/30. Suppose -7 = -d*i + b. Is i a composite number?
False
Suppose -5*o + 3 = -2. Is o + -3 + (30 - 5) composite?
False
Let f(r) = -10*r + 7. Let h be f(-5). Let z = h - 37. Suppose z - 6 = 2*u. Is u composite?
False
Suppose 5 = 3*w - 4. Let q(j) = j**2 - 2*j + 3. Is q(w) a prime number?
False
Suppose -2*w + w = -2605. Suppose 2*s = -3*s + w. Is s composite?
False
Let p(c) = -c - 1. Let j(s) = 73*s + 4. Let v(b) = -j(b) + 3*p(b). Is v(-5) prime?
True
Suppose 2*c + 3*c = 4*g + 1325, -5*g + 25 = 0. Let o = c + -36. Is o a prime number?
True
Let x be (-1)/3 - (-14)/6. Suppose -5*d = -d - x*z - 28, 5*d - 45 = 5*z. Suppose d*i + 5 = 0, 82 = 4*y + 3*i - i. Is y a composite number?
True
Let g(x) = 10*x + 16. Is g(15) a composite number?
True
Suppose 4*n = -h - 3, -3*h + 16 = 2*n + h. Let p(t) = -48*t + 1. Is p(n) composite?
False
Suppose -2*s + 0 = -10. Let w(a) = 1. Let g(t) = -5*t + 15. Let q(z) = -g(z) + 15*w(z). Is q(s) composite?
True
Suppose 10 = s - 8. Suppose 304 = 2*v + s. Is v a prime number?
False
Let l(v) = -v + 9. Let p be (-4)/14 - 195/(-21). Let i be l(p). Let k(z) = z + 21. Is k(i) prime?
False
Let b be (-7)/((-14)/(-20)) + 2. Let k = -12 + b. Let r = 47 - k. Is r prime?
True
Let l(s) = 11*s + 3. Suppose 3*p - 15 = -2*p, -z - 5*p + 19 = 0. Is l(z) composite?
False
Let c(t) = -t**2 + 25*t - 33. Is c(17) a composite number?
False
Let l = 152 + -83. Suppose -5*g - 3*f = -11, 3*g = 7*g + 3*f - 10. Is (g - 1) + l/3 prime?
True
Let r be (-6)/(4 - (-3 - -6)). Let s be (-18)/r*4/(-6). Let m(w) = 34*w**2 + 2*w - 1. Is m(s) composite?
False
Suppose -3*p + 2*u = 5*u - 2868, 0 = -5*p - 4*u + 4777. Is p a composite number?
False
Suppose -3*r = -200 - 202. Suppose -o = -5*y + 59 - 317, 4*o = -4*y - 192. Let c = r + y. Is c a composite number?
False
Suppose 6*c = c + 5. Suppose k + c = 14. Is 4 + -2 - k*-11 prime?
False
Let k(x) be the first derivative of -201*x**2/2 - 5*x - 8. Is k(-2) prime?
True
Suppose -4*j + 21 = 5*p, 7*j - 14 = -2*p + 4*j. Let s be (p/(-2))/(-1)*20. Suppose 3*w - 37 = -s. Is w prime?
False
Let x(m) = -m - 5. Let l be x(-11). Suppose -3*r + l + 0 = 0. Is 117/r - 3/6 a composite number?
True
Suppose 2*i - 5 = 7. Let h(g) = g**3 - 5*g**2 - 3*g + 1. Is h(i) a composite number?
False
Suppose 0 = -4*w, 3*w = -5*x - 2*w + 190. Suppose n - 22 = 2*z + 3*z, -4*z = -n + 20. Suppose 2*q - 4*l = -n + x, q = 5*l - 2. Is q composite?
False
Suppose -14*s + 16*s - 2314 = 0. Is s prime?
False
Suppose 481 = 3*s - 5*f + 150, -s + 116 = 4*f. Is s - (-3 + (5 - 3)) prime?
True
Let n(r) = -r - 6. Let a be n(-4). Is (-1 - 0)*a + 57 a prime number?
True
Suppose n = -4*v + 84, -3*v + 3*n = -0*n - 48. Suppose -l + 2*t = -87, -333 = -4*l + t - v. Is l a composite number?
True
Suppose 3*n = -3*p + 2028, n + 4*p = 6*n - 3353. Is n a prime number?
True
Is (23/1)/((-7)/(-77)) prime?
False
Let r(l) = -16*l**2 + 4*l + 2. Let k be r(-3). Let p = -283 - k. Let m = -34 - p. Is m a composite number?
True
Let d(b) = b**3 - b**2 - b - 1086. Let x be d(0). Let q = -407 - x. Is q composite?
True
Suppose v - 3*q = 1405, -3*v = -5*q - 1288 - 2911. Is v a prime number?
False
Let n = -316 - -890. Is (n/(-14))/(2/(-14)) prime?
False
Suppose r - 3*t - 11 = 3, 5*r + 3*t = -2. Suppose 0 = -r*d + 129 + 185. Is d a prime number?
True
Suppose 0 = -4*r - 110 + 422. Let f(c) = 2*c**2 + 3*c. Let i be f(-2). Suppose i*n = r + 188. Is n prime?
False
Let h(t) = -14135*t + 187. Let i(f) = 152*f - 2. Let d(m) = 6*h(m) + 561*i(m). Let u be d(-1). Is ((-4)/(-6))/((-4)/u) prime?
False
Is (-4522)/(-8) - (-1)/(-4) composite?
True
Let i(o) = -o**3 + 6*o**2 + 6*o - 5. Suppose -5*y - 13 = -y - 5*h, -4*h = -y - 17. Let t be 6 - -1 - (-2 + y). Is i(t) composite?
False
Let y(n) = 4*n**2 + n + 5. Let x(c) = -2*c**2 - 2. Let l(f) = -5*x(f) - 3*y(f). Let v be l(-4). Let u = v + 104. Is u a composite number?
False
Suppose 2*p + 0*p - 24 = 4*k, 23 = 2*p - 3*k. Suppose -2*j = 2*j + 2*f - p, 4*j - 3*f - 5 = 0. Is j a composite number?
False
Suppose 416 - 3809 = -9*t. Is t prime?
False
Let v(u) = 3*u - 1. Let m be v(1). Suppose -182 = -3*c - m*s, 2*c + 0*c = -4*s + 132. Let a = c + -39. Is a composite?
False
Let l(b) = 3*b + 4. Suppose 27 = 2*n + 5. Is l(n) a composite number?
False
Let i(k) be the second derivative of -1/2*k**3 - k + 5*k**2 + 0. Is i(-8) a prime number?
False
Let x = 2198 - 837. Is x composite?
False
Let z(d) = 88*d**2 - 2*d - 1 - 3 + 4 - 1. Is z(-1) a prime number?
True
Suppose 0 = 11*r + 3*r - 3122. Is r prime?
True
Let y(p) = 16*p - 7. Let m be y(5). Let h = m + -50. Is h a composite number?
False
Suppose 3*o - 2543 = 3772. Is o a composite number?
True
Let z(b) = 4*b**3 - 6*b**2 - 12*b - 13. Let o(m) = 9*m**3 - 11*m**2 - 25*m - 25. Let q(r) = -3*o(r) + 7*z(r). Is q(11) composite?
False
Let t(k) = 11*k**2 + 3*k - 1. Is t(-6) a prime number?
False
Suppose 50 = -5*l - 0. Let y = 16 + l. Is y composite?
True
Let g(k) = 1323*k**2 - 4*k. Is g(1) a composite number?
False
Is ((-191)/(-2))/((-1)/(-2)) composite?
False
Suppose -3*i - r = 4*r - 41, 3*i + 3*r - 33 = 0. Suppose 1 = 4*j - i. Suppose -3*y + 3*w + 36 = 0, 0 = -5*y - 0*w + j*w + 45. Is y composite?
False
Let u be ((-3)/(-2))/(24/(-128)). Let l(y) = -7 - 2*y**3 - 2*y + 3*y**3 + 9*y**2 - 6*y. Is l(u) prime?
False
Suppose 3*q - 4331 + 584 = 0. Is q a composite number?
False
Let d = 853 + -402. Suppose -5*w + 3*z + d = 5*z, -3*w = 2*z - 273. Is w a composite number?
False
Suppose -3*x = -0*x + 114. Let p = -16 - x. Is p prime?
False
Let q be (-4)/10 + (-44)/(-10). Let m be (6 - 2)*2 + -2. Is ((-30)/q)/(m/(-8)) a prime number?
False
Let r be (2/(-6))/(1/(-3)). Is 1 + r - (-6 - 25) a prime number?
False
Suppose 0*m = 3*m + 1401. Let i = -244 - m. Is i composite?
False
Let w(a) = a**3 - a**2 + 4*a + 8. Let o be w(6). Suppose 2*f - o = -2*f. Is f composite?
False
Let j(g) = g**2 + 12*g + 13. Let x be j(-11). Suppose 3*h - 493 = -4*y + 6*y, 0 = x*h - 5*y - 347. Is h a prime number?
False
Let f(b) = -27*b + 24. Is f(-25) a prime number?
False
Let i = 8 - 7. Is ((-3)/(-1))/i - -62 prime?
False
Let n = 10 + -8. Is (5/(-5))/(n/(-42)) composite?
True
Suppose -4*k = -2*d + k - 10, 2*d = -2*k + 18. Suppose a + d*j - 234 = 0, j + 3 = 2. Is a a composite number?
False
Let s(j) = 267*j - 8. Is s(6) a prime number?
False
Suppose l - 2 - 155 = 0. Is l prime?
True
Let c(y) = 29*y**2 - 8*y - 38. Is c(-7) a composite number?
False
Let d(s) = 3*s + 4. Let m(c) = c**2 + c + 3. Let u be m(0). Is d(u) a prime number?
True
Let x(a) = -a + 5. Let f be x(4). Let t be (f - 7)/((-6)/(-4)). Is (-2)/t*4 - -17 a composite number?
False
Let t be -1 + 6 - (-2 + 5). Suppose 0 = -0*x + t*x - 10. Suppose -x*j + 580 = -j. Is j a prime number?
False
Let v(a) be the third derivative of -a**4/2 + 7*a**3/6 + 2*a**2. Suppose -s + 2*s + 7 = 0. Is v(s) a composite number?
True
Suppose -2*x - 22 = -3*x. Is x prime?
False
Let l(j) = -8*j + 7. Is l(-9) composite?
False
Let h be (4 + -2 - 1