(s) = -s**3 - s**2 - 7*s + 10. Let o be r(-9). Let v = -422 + o. Let c = 120 + v. Is c a prime number?
True
Let s be 419 - -1*2 - (-17 + 14). Suppose 2*d = 10*d - s. Is d a composite number?
False
Let h = 1448 + -921. Is h composite?
True
Suppose -2*g + 476 = -1622. Is g a prime number?
True
Suppose 5*q - 4*q - f - 989 = 0, 4*q + 5*f - 3992 = 0. Suppose -5*l + q - 268 = 0. Is l a composite number?
True
Let a be (3/6)/(1/(-382)). Let n(g) = 5*g**2 + 3*g + 94. Let q be n(-7). Let u = q + a. Is u composite?
False
Let q(y) = 66*y**3 + y**2 - 6*y + 24. Is q(5) a composite number?
False
Let m be 20/(-130) - 2/(-13). Suppose m = 51*j - 46*j - 4645. Is j composite?
False
Suppose 8*g = 7*g - 16. Let f be (-44)/12 + (-2)/(-3). Let z = f - g. Is z a composite number?
False
Let h(m) = -2*m + 2. Let q be h(-1). Let s(z) = 0*z**2 - 1 + q*z + 2*z**2 + 0*z - 4. Is s(-8) composite?
True
Suppose 4*j - 8*j + 9 = -3*d, -3*j + 5*d = -15. Suppose -2*s = -5*s. Is (0 - j - -295) + s a prime number?
False
Suppose 5 = -u + 10. Suppose -20 = u*h - 0*m + 3*m, 5*m + 8 = -2*h. Is 89/(-1 + (-2 - h)) prime?
True
Is (-7)/(-49) + 734868/42 a composite number?
False
Let y be 4/2 + 4 + -4. Let s be 4*y/(32/1452). Suppose s = 4*x + 15. Is x a composite number?
True
Let k = 235 - 152. Let l = k + -64. Is l a composite number?
False
Let q(s) be the third derivative of -s**4/24 + 19*s**3/6 + 10*s**2. Let r be q(17). Is 5904/45 + r/(-10) composite?
False
Suppose -37 = -4*y - 29. Suppose 2254 = y*w + 236. Is w prime?
True
Let t be (6/12 - 1)/(1/(-8)). Suppose 0 = -5*z + 3*z + 6582. Is t/14 - z/(-21) composite?
False
Let l = 1829 + -2870. Let t = l - -1694. Is t a prime number?
True
Let s(h) = -h**3 + 7*h**2 + h - 3. Let y be s(7). Suppose 5*o = 3*o - y. Is 80 + (-1 - -2) + o a prime number?
True
Suppose p + 149 = -83. Let o = p - -368. Let b = -71 + o. Is b a prime number?
False
Let m(p) be the third derivative of p**5/60 + p**4/8 + 13*p**3/6 - 20*p**2. Is m(5) prime?
True
Suppose 8*y = -2*q + 3*y + 30763, 0 = 2*q + 4*y - 30766. Is q a prime number?
False
Let j(i) = -i**3 + 10*i**2 + 13*i - 3. Let h be j(11). Suppose f = 3*p + h, 5*f = 4*f - 5*p - 21. Suppose 0 = r - 0*r + 3, 3*z - 303 = f*r. Is z a prime number?
True
Let b be 572/99 + (-2)/(-9). Suppose -b*i - 384 = -1740. Is i a prime number?
False
Is (-5 - 13/(-2))*86 prime?
False
Let u(i) be the second derivative of -73*i**6/60 + i**4/24 + i**3/6 - i**2/2 - i. Let o(p) be the first derivative of u(p). Is o(-1) composite?
True
Suppose -41964 = -27*h + 25*h - f, f - 62945 = -3*h. Is h composite?
False
Suppose -18*u + 37948 = -14*u. Is u a prime number?
False
Let w = 1 + 4. Suppose -2*l - i = -15, 9 = w*i - 6. Suppose -308 = -l*m + 2*m. Is m composite?
True
Suppose -2*x + 5*o = -10184, -x = o - 0*o - 5078. Suppose 4*l + x = 7*l. Suppose 2*d + 336 = l. Is d a composite number?
True
Let w be (-9)/((-36)/16) + -80. Let v = w - -143. Is v composite?
False
Suppose h + 1 = -13. Is (-1811)/(-9) - h/(-63) prime?
False
Suppose 0 = -5*s - 0*l - 4*l + 83, -s - l = -17. Let g = 15 - s. Suppose g = 3*b - 470 - 127. Is b prime?
True
Is 5 + (2417 + -6 - -1) a composite number?
False
Let t = -41 + -279. Let p = 173 + -374. Let o = p - t. Is o prime?
False
Suppose 0 = k - 4, m + 4*k + 2688 = 2*m. Suppose 5*c + 10675 = v, -c + 543 - m = 5*v. Let q = -1467 - c. Is q composite?
True
Suppose -2*y = -5*w - 5253, 3*w - 2*w - 1 = 0. Is y composite?
True
Let l = 92 + -56. Let r = 27 - l. Is (-53)/(1 + 12/r) a composite number?
True
Let i(s) = -s**3 + 5*s**2 + 4*s. Let n be i(6). Let z be 2/(-3)*n - 4. Suppose -5545 = -3*f + z*v, -f + 1127 = -2*v - 722. Is f a prime number?
True
Is 22030/6 + (-5)/(105/14) composite?
False
Let f(n) = -12 - 9 + 0 - 3*n + 7. Let y be f(-11). Suppose 14*g = y*g - 1505. Is g composite?
True
Is 4400 - 3 - (-5 + 18/6) composite?
True
Is (6/1 + -13528)/((-20)/10) composite?
False
Suppose 1459 = -2*o - 253. Let s = 1335 + o. Is s composite?
False
Is (2333/(-2) + 0)/(1/(-2)) a composite number?
False
Is -29*(-1 + 8)*-1 a composite number?
True
Let o(d) = 4*d**2 - 2*d - 5. Let z be o(5). Is (5066/z)/((-4)/(-10)) a composite number?
False
Let i(q) = -228*q - 2. Let d be i(-4). Suppose 4*g = -g + d. Suppose -3*h = -g - 253. Is h composite?
True
Suppose 0 = -3*l + 5*l + 8, -l = -2*r + 8. Suppose -6*o + r*o = -740. Is o a prime number?
False
Let o(t) = -t**2 - t + 10. Let v be o(6). Let i = v - -24. Let z = 409 - i. Is z composite?
True
Suppose 15351 = n - r - r, n - 15354 = -r. Is n a composite number?
True
Let u(x) = x**3 - 20*x**2 - 62*x + 15. Is u(26) a composite number?
False
Let f be (-15 - -17) + 12/1. Suppose 17*h - 2991 = f*h. Is h a composite number?
False
Let s(i) = 51061*i + 109. Is s(4) a prime number?
True
Let k be 6/15*(0/1 - -4820). Suppose 2*p - 8 = 0, 3*o - 5*p - k - 251 = 0. Is o prime?
True
Let n = -1063 + 1780. Suppose n + 1378 = 5*f. Is f prime?
True
Let q(b) = b**3 - 11*b**2 - 10*b - 12. Let o be q(12). Let y = o - 12. Suppose 2*n + 5*x - 597 - 1269 = 0, 3*n + 3*x - 2799 = y. Is n prime?
False
Let o be 1/(-3 + 7 + -3). Suppose -20 = -2*v + 7*v. Is -211*(v - (-2 - o)) a prime number?
True
Suppose 3*y + 17 = -79. Let o = y - -55. Is o prime?
True
Suppose -2*m = -3*n - 2*n - 3023, -2*m - 5*n + 2973 = 0. Is m composite?
False
Let c be 0/((-9)/(9/2)). Suppose 4*d - 5*d + 205 = c. Is d a composite number?
True
Suppose 48*g - 517360 = -32*g. Is g a composite number?
True
Let u(s) be the first derivative of -65*s**2 - 3*s + 13. Is u(-1) a composite number?
False
Is 2128 + 3 + -4 + 8/4 prime?
True
Let l(z) = -z**3 + 3*z**2 + 2. Let h be l(3). Suppose -99 = -h*m - m. Is m a composite number?
True
Suppose -34*k = -37*k + 16041. Is k a composite number?
False
Let y(j) = -49*j + 29 + 14*j - 261*j + 14*j. Is y(-21) prime?
False
Let f(p) = -19 - 35*p + 188*p + 7*p. Is f(6) a prime number?
True
Suppose 3*r = -2*r + 50. Is (-55515)/(-25) + 4/r prime?
True
Let f = 627 - 281. Is f composite?
True
Suppose 8*c + 24 = -40. Suppose -2*z = z - 807. Is (z/(-4))/(2/c) a prime number?
True
Let y = -37176 + 55305. Is y a prime number?
False
Suppose 0 = 2*l - 3*l + 635. Suppose 0 = 2*p + l - 3693. Is p a composite number?
True
Suppose -2*l = 4*a + 32, 2*a + 22 = -2*a + 3*l. Let g = a + 10. Suppose 247 = g*d - 362. Is d prime?
False
Let p be ((-9)/(-3))/3*0. Suppose p*s = 3*s - 447. Is s composite?
False
Let a(i) = -5*i**3 + 2*i**2 + i - 1. Let q(y) = -y**3 + y**2 + y - 1. Let t(o) = -a(o) + 3*q(o). Is t(2) composite?
True
Let u(y) be the third derivative of y**6/120 - y**4/6 - 2*y**3/3 + y**2. Let h be u(8). Suppose -8*r + h = -4*r. Is r composite?
True
Suppose 3*x + 2*h - 15 = 0, 2*x + 9 - 29 = 2*h. Suppose -x*r - 118 = -4549. Is r composite?
True
Suppose j + 3*b = 328, -2*b + b = j - 326. Let t be 70 - ((-2)/(-10) - 21/5). Let v = j - t. Is v a prime number?
True
Let t(h) = h - 7. Let f be t(-12). Let m = f - -21. Suppose -373 = -m*i + 445. Is i a prime number?
True
Suppose -2*g - 1406 = -p - p, -5*p + 3520 = -4*g. Suppose y - 174 = 4*i, p = -y + 5*y - 4*i. Is y a composite number?
True
Let n = 14 - 10. Suppose -n*f + 6 = -f. Suppose -2*a + 892 = f*a. Is a a composite number?
False
Is 6/(-4) - -3 - 3990/(-12) a prime number?
False
Suppose m - 18 = 2. Suppose -g = -3*r + 6, 5*g = 4*r - 6 + m. Is (-568)/g*9/(-6) a prime number?
False
Suppose 994860 - 166901 = 11*f. Is f a prime number?
True
Suppose 0 = 26*j - 30*j - 4, -2*j = -2*s + 26764. Is s prime?
True
Let n be 3/(3/77)*-2. Let h(b) = -48*b + 225. Let a be h(6). Let k = a - n. Is k prime?
False
Let m = 2 - -13. Let c = -12 + m. Suppose -7*d - 4*r = -3*d - 1596, -4*r = -c*d + 1211. Is d a composite number?
False
Let h(t) = t**2 + 7*t + 10. Let u be h(-6). Let m(f) = 147*f**2 - f + 11. Is m(u) composite?
True
Suppose -5*i = -i - 3*x - 17865, 2*x - 4480 = -i. Is (-3)/(-9) - i/(-9) prime?
False
Let g = -21 + 19. Is (-603)/g + 3/(-6) a prime number?
False
Suppose 5*n - 3 = 4*n. Let c(z) = n*z - 3*z**2 + 5*z**2 + 4*z**2 - 3 - 5*z. Is c(4) a composite number?
True
Is -2 + 7097/3 + (-12)/18 a composite number?
True
Suppose -4*o + 788 = -4*n, o + n - 406 = -o. Let z = o + 250. Is z a composite number?
True
Let p(w) = 30*w + 11*w + 11*w - 9 + 0*w. Is p(5) a prime number?
True
Suppose 6*m - 7421 = 