d(t) = -t**2 - 7*t - 2. Let z be d(-6). Suppose -r - 2*s + 27 = z*r, -r + 10 = 5*s. Suppose i = -q + 49, 0 - 20 = r*i. Is q prime?
True
Let q = 11 - 15. Is (q/8)/(1/(-52)) composite?
True
Let v = 708 + -184. Suppose 2*b = -2*b + v. Is b a composite number?
False
Suppose -4*g = -5*h + 1266, -5*h + 1597 = 3*g + 324. Is h prime?
False
Let o = 5 + -1. Suppose j + b = 0, 0 = -0*j + 4*j - o*b - 24. Is j a prime number?
True
Let r(z) = 10*z**3 + 18*z**2 - 11*z + 28. Let o(y) = 3*y**3 + 6*y**2 - 4*y + 9. Let t(c) = -7*o(c) + 2*r(c). Let q be t(-6). Let b = q + 98. Is b composite?
True
Let p(i) be the second derivative of -i**4/12 - i**3/6 + 337*i**2/2 + 4*i. Is p(0) a prime number?
True
Suppose 6 = -l + 3*l. Suppose l = -2*g - 3. Is (89/g)/(1/(-3)) prime?
True
Let k(h) be the third derivative of -h**5/30 + h**4/6 + 7*h**3/6 + h**2. Let x be k(-5). Let l = -25 - x. Is l prime?
False
Suppose -2*r + 0*l + 426 = 2*l, 0 = 4*l + 8. Is r a prime number?
False
Let w(m) = m**3 - 11*m**2 - 4*m + 49. Is w(12) a prime number?
False
Let k(l) be the first derivative of l**4/4 - 2*l**3 - 4*l**2 - 9*l - 2. Let x be k(8). Let f = x + -18. Is f prime?
True
Suppose 0*c + 2*c = 2. Let k be (-1 - -1)/(c - 3). Suppose 4*y = 3*a - 14, 5*a - 4*y - 26 = -k*a. Is a prime?
False
Suppose 779 = s - 5*w, -4*s + w + 3116 = 2*w. Is s a composite number?
True
Let z be 6/(-15) + 2528/20. Let p = z - 61. Is p a composite number?
True
Suppose -74 = -2*z - 2*r + 290, -z + 192 = -r. Is z composite?
True
Suppose -4*k = -8*k - 84. Let n = k - -286. Is n prime?
False
Let j(f) = -32*f**3 + f. Let o be j(-1). Let v = 69 + -45. Let w = v + o. Is w a prime number?
False
Let y be (1 - -1)*(-3)/(-2). Suppose y*p = -p + 440. Suppose g - p = -g. Is g a prime number?
False
Let b = -13 + 12. Suppose 0*u - 2*s + 16 = 4*u, 17 = 3*u + 4*s. Is (-6)/(u*b) + 17 composite?
False
Is ((-610)/(-3)*3)/2 a prime number?
False
Suppose 8*r - 2019 = 5*r. Is r a prime number?
True
Let b(v) = 0*v - v + 3 - 7. Is b(-7) a prime number?
True
Is (1598 - -3 - 4)*1 a prime number?
True
Suppose 3*o - c - 16 = 0, 0*c = -2*o + 2*c + 16. Let i = o + -4. Suppose 2*y + 0*y - 14 = i. Is y prime?
True
Let h = -366 + 743. Is h a composite number?
True
Let a be -1*(-7)/2*2. Let f = a + 32. Is f a prime number?
False
Let x(g) = g**3 - 3*g**2 + 2. Let f be x(3). Suppose -a + 27 = -3*p - 2, 5*a + f*p = 179. Is a composite?
True
Let v(g) = -2*g + 2. Let n(x) = -5*x**3 + 2*x**2 - 2*x + 1. Let o be n(1). Let z be v(o). Suppose -z = 2*h - 62. Is h a composite number?
True
Suppose -r - 24 = -3*x, 4*x - 4*r + r - 27 = 0. Is x composite?
True
Let m(p) = 0 - 2 + 3 + 4*p**3. Suppose 3*s = -2*h - 3*h + 19, 2*s + 4 = 5*h. Is m(h) a prime number?
False
Suppose 5*l = -3*l + 1688. Is l prime?
True
Suppose 6 = -2*c + 3*c. Suppose 2*t - 21 = -3*l, 0 = -3*t - 0*l + 3*l - c. Suppose -8*v + 15 = -t*v. Is v a prime number?
True
Let j(s) = -s**3 + 20*s**2 - 4*s + 22. Is j(19) a prime number?
True
Suppose 4*l - 2*w + 5*w - 54814 = 0, 0 = 4*l + 4*w - 54812. Is l a prime number?
False
Let j(a) = -7*a - 2. Let u = -6 - -3. Let o be j(u). Suppose -m + o = -3. Is m a composite number?
True
Suppose -4*n + 6*n - 12 = 0. Is (-9)/n - 302/(-4) prime?
False
Let y(q) = -q**2 - 6*q - 4. Let a be y(-3). Suppose 509 = 3*w - a*c, -3*w + 6*w - 481 = -2*c. Is w prime?
True
Suppose 281 = -3*r + 1517. Suppose -r = 5*l - 2607. Is l composite?
False
Let h(s) = -s + 5. Let p be h(3). Suppose -x + 33 = p*x. Is x a prime number?
True
Is ((-1012)/16)/((-5)/20) composite?
True
Let s(a) be the second derivative of a**5/10 + a**4/2 + 2*a**3/3 - 5*a**2/2 - a. Let n be s(-4). Let d = n + 87. Is d a prime number?
False
Let w(m) be the second derivative of 0 - 9/2*m**2 + 5/6*m**3 + 3*m. Is w(8) prime?
True
Suppose -45 = -4*a - a. Suppose -88 = -w - a. Is w a composite number?
False
Suppose 5*o - 3*o - 3*f = -14, 0 = f. Let g = o - -11. Let h = 18 - g. Is h a composite number?
True
Let f = 43 + 106. Is f a prime number?
True
Let r(x) = -x**3 + x**2 - 4*x - 4. Let q be r(-3). Let i = q - 9. Is i a composite number?
True
Let g(j) = j**3 - j + 838. Is g(0) a prime number?
False
Let o(c) = -c**2 + 5*c - 1. Let d be o(2). Suppose -h = -2*h + d. Suppose 5*w + h*r - 1060 = 0, 0*w + 1059 = 5*w + 4*r. Is w a prime number?
True
Let s(o) = -o**3 + 3*o**2 - o + 1. Let r be s(2). Suppose r*j - 5*j - 4*t = -162, -4*t = -j + 105. Is j a composite number?
False
Let h(z) = -154*z - 5. Is h(-9) a prime number?
True
Let p(j) = j**2 - 3*j - 4. Let z be p(4). Is (-6)/(-12)*(74 + z) a composite number?
False
Let f(h) = -h**3 + 11*h**2 + 15*h + 13. Is f(12) prime?
False
Let f be (-2 - -1) + (1207 - 3). Suppose -5*q - f - 112 = 0. Is (q/2)/(2/(-4)) composite?
False
Suppose -3*g + 0*g + 6 = -3*o, 5*o + 2*g - 25 = 0. Suppose -6*n + o*n + 255 = 0. Is n a composite number?
True
Let q = 344 + -229. Is q prime?
False
Let m(k) = -k**2 + k + 1. Suppose -2*q = -0*q. Let b be m(q). Is (b - -1)/(6/93) a composite number?
False
Let u be (-4)/6 + 4/(-3). Is (-195)/u - (-3)/(-6) a composite number?
False
Suppose 16 = -u + 2*a, a = 2*u + 2*u + 29. Let w(y) = 3*y - y**2 - 4 - 3 + y**2 + 2*y**2. Is w(u) prime?
True
Let s(y) = -39*y + 1. Let v be s(1). Let f = v - -53. Is f composite?
True
Let t be (-2)/8 - 546/24. Let k = t + 100. Is k a prime number?
False
Let t be (-10)/(-4) + 7/(-14). Let m = 20 - -114. Suppose -c = -t*z + m, -4*c + 148 - 14 = 2*z. Is z a prime number?
True
Let c = -8 + 11. Let f(m) = 12*m + 1. Is f(c) a composite number?
False
Suppose -4*i - 10 = -3*w, 4*i = 2*w - 2 - 6. Suppose 3*q - 325 = -w*q. Is q a composite number?
True
Let z(o) be the second derivative of 7*o**3/2 + 5*o**2/2 - 6*o. Suppose 2*f - 12 = -3*t, t - 8 = -t - 2*f. Is z(t) prime?
True
Let h(y) = 12*y - 17. Let r(k) = 2*k + 2. Let v be r(5). Is h(v) prime?
True
Is (-4)/6*(-237)/2 composite?
False
Let j be ((-2596)/(-8) + 3)*2. Suppose -5*y + 10*y = j. Is y prime?
True
Let r(w) be the first derivative of w - 5*w**2 - 2 + 4/3*w**3. Is r(7) a composite number?
False
Let t(h) = -2*h**3 - h**2 - h + 1. Let l(m) = 6*m**3 + 3*m**2 + 3*m - 3. Let u(y) = -4*l(y) - 11*t(y). Is u(-2) composite?
True
Let q(y) be the second derivative of -y**4/12 - y**3/6 + 55*y**2/2 - 2*y. Suppose 4*w + 0*g = g - 4, w + 5*g - 20 = 0. Is q(w) prime?
False
Is 6/10 - 72/(-5) a prime number?
False
Let y = -29 + 49. Suppose 5*i + 0*i = y. Suppose -283 = 2*d - 7*d - i*g, 0 = 2*d - 5*g - 133. Is d a prime number?
True
Let p = 585 - 48. Is p prime?
False
Suppose 2*u - 208 = 6*u. Is (-4)/(-26) - 9300/u prime?
True
Let b = -1060 + -298. Let s = -523 - b. Is s prime?
False
Suppose -5*s - 2*q + 1684 + 3029 = 0, 0 = 3*s - 3*q - 2832. Is s prime?
False
Let j(x) = 6*x**2 + 3*x - 26. Is j(15) composite?
True
Let l be (-6)/(-5)*(-20)/6. Let m(g) = -g. Let z be m(l). Let t(i) = 6*i - 1. Is t(z) prime?
True
Let w(v) = -5*v - 10. Let g be w(11). Let u = g - -96. Is u a composite number?
False
Let f be 156*-6*3/(-12). Let w = f - 149. Is w a prime number?
False
Let p = -230 - -340. Let q be 5*4*(-2)/(-10). Suppose -p = -q*h + 2*h. Is h a composite number?
True
Is -2 - (14/63 + (-8482)/18) composite?
True
Let y = 1154 - -4403. Is y a composite number?
False
Let r = -568 - -1119. Is r composite?
True
Suppose -j + 4*w = 2*j - 2553, -5*j + 4255 = -2*w. Is j a prime number?
False
Let b(h) = 126*h**2 - 4*h - 3. Is b(-1) composite?
False
Let r = -1438 - -2073. Is r prime?
False
Suppose 4*d = b - 13, 0 = -2*b + 2*d - d + 12. Suppose 54 = b*p + 4. Is p composite?
True
Let q(r) = -4*r**2 + 2*r + 0 + 4*r**3 - 2*r - 1. Is q(4) prime?
True
Let y be ((-3)/(-2) + -2)*4. Let g be -4*(381/y)/3. Suppose 0*t - 4*a - g = -2*t, -381 = -3*t - 5*a. Is t a composite number?
False
Let w(t) be the third derivative of -3*t**6/40 - t**5/10 - 7*t**4/24 - 3*t**3/2 + 2*t**2. Is w(-4) a composite number?
False
Let r be (-2)/((-226)/(-76) + -3). Suppose -5*k + r = -94. Is k a prime number?
False
Suppose 309 + 287 = 4*c. Is c a composite number?
False
Suppose 58 + 229 = n. Suppose -3*j = -n - 196. Is j prime?
False
Let m(h) = 9*h**2 + h - 1. Suppose -5*j + b + 10 = 0, b + 4*b + 26 = j. Suppose 1 = i - j. Is m(i) prime?
True
Let j be (-5)/15 + (-46)/6. Is 28/j*1*-4 a prime number?
False
Is (-1)/(6/(-64)) - (-2)/6 a composite