False
Let y be (-4)/((25/(-15))/(-5)). Let l(f) be the first derivative of -f**4/4 - 4*f**3 - f**2/2 + 11*f - 1. Is l(y) a composite number?
False
Let f(r) = 15*r**2 - 4*r - 5. Let m = 20 - 18. Suppose 3*l - m*x - 3*x = -7, -l + 2*x - 2 = 0. Is f(l) a composite number?
False
Let c = -1662 + 550. Let u = c + 1611. Is u prime?
True
Let u = 3764 - 1998. Suppose -2*g = -3*z + z - u, 0 = 2*z + 8. Is g a composite number?
True
Suppose 0 = -3*w - l - 12123, w = -2*w + 2*l - 12132. Let z = -2861 - w. Is z a prime number?
True
Let z be 1*2*(-198)/12. Let h = -28 - z. Suppose 2*n + 3*m - 1353 = 0, -4*m = -h*n - 2*m + 3411. Is n composite?
True
Let z(u) = -143*u. Let a be z(-1). Let x = a - 60. Is x a prime number?
True
Let s = -72 - -75. Suppose -s*f + 3202 = b, b + 3*f + 9594 = 4*b. Is b prime?
False
Let n be (-4)/((-4)/3) + 1063. Let s = n - 747. Is s prime?
False
Let c(j) = -33767*j + 60. Is c(-1) a prime number?
True
Let u(b) = 1 + 0 - b**3 + 4*b**3 + 3*b**2 - 11*b - 6. Is u(4) composite?
False
Suppose t - 3617 - 1592 = 0. Is t a prime number?
True
Let d = 70 + -60. Suppose d*a = 4*a + 9858. Is a composite?
True
Let d = 0 - -2. Let a = 18 + -16. Suppose a*c - 260 = -d*c. Is c prime?
False
Suppose -4*g - 2827 = -d, 0*d = 5*d + 2*g - 14157. Is d a prime number?
False
Let r(x) = -7*x**2 + 42*x - 10. Let i be r(20). Let c = 2913 + i. Is c a composite number?
True
Let x(j) = -69*j - 40. Let w be x(7). Let r = 1022 + w. Is r a prime number?
True
Suppose -240 = -5*g + 725. Let s = 202 + g. Is s composite?
True
Suppose 3*g = 15371 + 29797. Suppose g = -0*z + 4*z. Is 3/18 + z/24 a prime number?
True
Suppose 21*q - 52935 = 39402. Is q a composite number?
False
Let g = -14 + 16. Suppose -g*w = -0*w + 606. Let n = -82 - w. Is n a prime number?
False
Is 2*20217/(-18)*-3 composite?
True
Let h(w) = 608*w + 241. Is h(30) a composite number?
False
Suppose 0 = -5*y + 11 + 9. Suppose -4*o - a = 4, y*o + 2*a - 16 = 6*a. Suppose -2*q = -26 - o. Is q composite?
False
Suppose 0 = -5*w - 31 + 131. Suppose 0 = -w*l + 22990 + 89790. Is l a prime number?
True
Suppose -6*g + 4887 + 4479 = 0. Is g prime?
False
Suppose -139*j - 55431 = -148*j. Is j a composite number?
True
Suppose 9688 = -11*q - 45015. Let s = q + 6990. Is s prime?
True
Suppose 4*v + 5*q - 12326 = v, 2*v - 2*q - 8244 = 0. Is v composite?
True
Let r = -1922 + 6955. Is r a prime number?
False
Let k = -26 - -103. Suppose k - 2078 = -3*f. Is f prime?
False
Suppose 21 = 3*i - 0*i. Suppose 4*n - 935 = -i*n. Is n composite?
True
Let a(m) = m - 4. Let j be a(7). Let s = 1 - -3. Is j/(-1 + s)*58 prime?
False
Let r = 23 - 26. Let s be 31*1/(4 + r). Suppose -n + 6 = -s. Is n a composite number?
False
Is 31*(-35)/(-14)*46/5 composite?
True
Suppose 3 = 5*k - i, -3*k = -k - i - 3. Suppose k = -d + 3*l + 2*l + 288, -5*d = 4*l - 1469. Is d a prime number?
True
Let v(k) be the third derivative of -k**6/120 - 7*k**5/60 - 7*k**4/24 - k**3/3 - 2*k**2. Is v(-9) a composite number?
False
Let j = 7857 + -11226. Is (-1 - -2)/((-3)/j) composite?
False
Is (12/(-9))/((-20)/139155) a prime number?
True
Let b(a) = -12 + 1 + 42*a + 0 + 36*a. Let u(p) = -156*p + 22. Let h(j) = -5*b(j) - 3*u(j). Is h(5) a prime number?
True
Suppose g = -2*x - g, -x - 2*g = 1. Let b be 3 + 998/((-2)/x). Let v = 915 + b. Is v a composite number?
False
Suppose 2381 = 3*f + 4*b, -1586 = -2*f - 7*b + 4*b. Is f composite?
True
Let o(w) = -36475*w - 92. Is o(-1) prime?
True
Let p = -14 + 36. Suppose -p*m = -25*m - 12. Is (10/m)/(12/(-1608)) a composite number?
True
Suppose 4*t + 3*h + 0*h = -58, 5*t = -h - 78. Let x be 5/(-2)*t/10. Is x - 2/4*-58 a composite number?
True
Let m(l) be the second derivative of -1/2*l**2 + 10*l**3 + 0 + 4*l. Is m(3) composite?
False
Let t(o) be the second derivative of 53*o**6/60 + o**5/120 - 7*o**3/6 + 6*o. Let h(p) be the second derivative of t(p). Is h(1) composite?
True
Let i(d) = 88*d + 24. Let o(a) = -29*a - 8. Let x(h) = -2*i(h) - 7*o(h). Let l be x(6). Suppose -w + l = 4*w. Is w composite?
True
Let l(u) = 5*u**2 - 3*u - 2. Let c be l(-1). Is 445 - (c + 3 + -7) composite?
False
Suppose -2*t - m = -4*m - 7, 4*t - m = 19. Let c be 185/35 - (-2)/(-7). Suppose 5*q + t*r = 660, -c*q + 624 = -r - 30. Is q prime?
True
Let d(k) = 65*k**2 - 8*k + 91. Is d(16) prime?
True
Suppose 10531 = 5*x - 18114. Is x a prime number?
False
Let l be (-687)/(-21) - (-2)/7. Suppose -4*t + 91 = -l. Is t prime?
True
Suppose -5*k + 59311 = 2*n, 51468 = 3*n - 3*k - 37530. Is n composite?
False
Let p = 15 + -13. Suppose p*v + v - 3 = -n, 4*n - 44 = 4*v. Let q(a) = 2*a**2 - 4*a + 1. Is q(n) prime?
True
Let i be 2/10 + (-208)/(-10). Suppose 0 = o + 4*o + y - i, 5*y - 5 = 0. Suppose 226 = w - 3*a, 0 = -2*w + a + o*a + 447. Is w a composite number?
False
Let i be (-12)/10*-5*(-68)/(-8). Suppose 0 = t - i + 2. Is t a composite number?
True
Let p = 927 + -32. Is p composite?
True
Let x = 1436 + -735. Is x a composite number?
False
Let i be (-6)/(-3) - ((-2 - 1) + 1). Suppose i*t + 5572 = 8*t. Is t a prime number?
False
Let r(p) = -2*p + 3*p**3 - 1 + 3*p - 6*p**2 + 5*p**2. Let n be r(1). Is n/(2/63) - 1 composite?
True
Let t be (-2 - 1) + 2 + -5 + 7. Is t + -4 + 4 + 3906 a composite number?
False
Let o = 1471 - -2740. Is o prime?
True
Let w(j) = 82*j**2 - 5*j - 5. Let n be w(-2). Suppose 45*a = 42*a + n. Is a a composite number?
True
Let l = 91 + -86. Suppose h = -2, l*h - 2630 = -4*c + 2*h. Is c composite?
False
Suppose 6845 = 5*r - 2*q, 7*q + 4121 = 3*r + 3*q. Is r a prime number?
True
Suppose -4*l + 5*l - 6 = -2*f, 3*l + 4*f - 12 = 0. Let q(s) = s**2 - 4*s + 7. Let j be q(2). Suppose l = 2*g - j*g + 123. Is g a prime number?
False
Suppose 0 = -4*k + 8*k + 36. Let a(w) = 0*w**3 - w**3 - 5*w**2 + 2 - 6*w - 1. Is a(k) prime?
True
Let u(b) = -20*b + 4. Let a(w) be the first derivative of -w**2/2 - 4. Let f(x) = a(x) - u(x). Is f(5) a prime number?
False
Let h = 970 + -306. Suppose 3*g - 5*d - 694 = 0, -h = g - 4*g - d. Is g a prime number?
True
Let r(k) = -3*k**3 - 10*k**2 - 21*k - 4. Let i be r(9). Is i/(-8) + 15/(-20) prime?
False
Let y(l) = 189*l**2 - 3*l + 3. Let p be y(-2). Suppose -h + 4*h - p = -3*d, -5*h - 1056 = -4*d. Is d prime?
False
Is 4 + -6*13615/(-14) a prime number?
True
Is 4 + 397 - (-4 - (8 - 6)) composite?
True
Let z(i) = i - 8. Let f(j) = 2*j - 7. Suppose -4*p = 4*h + p - 8, -3*h - 3*p + 6 = 0. Let m(y) = h*z(y) - 3*f(y). Is m(-4) composite?
True
Let q be (5 + (-20)/5)*(-1 - -2). Let h(k) = 98*k**3 - 3*k + 2. Is h(q) prime?
True
Suppose 109*c = 110*c - 1. Let v(k) = 170*k - 12. Is v(c) prime?
False
Let u = 360868 + -257697. Is u prime?
True
Let r(p) = 14*p + 22 - 3*p + 22*p + 0. Is r(15) prime?
False
Let z(o) = o**3 + 3*o**2 + 3*o + 7. Let k be z(-3). Is ((-3)/k)/(-1) + 7802/4 a prime number?
True
Suppose -5*q = n + 10, -n + 2*n + q + 6 = 0. Let c = n - -1036. Suppose 4*u - r = c, -5*u + r = -r - 1285. Is u a prime number?
False
Let a(w) = -w**2 + 6*w + 17. Let k be a(-9). Let f = 1041 + k. Is f prime?
False
Let a be 0*((-10)/(-3) + -3). Suppose 0 = 3*x - 3, 4*d + 5*x - 12 - 5 = a. Suppose 5*q + 4*i - 50 = 369, 329 = 4*q - d*i. Is q composite?
False
Let q(p) = 4*p**3 + p**2 - p. Let t be q(1). Suppose -t*g + 4864 = -h, -5*g - 5*h - 497 = -6602. Is g a composite number?
False
Let r be ((-4)/(-5))/(23/1265). Is ((-10802)/r)/(2/(-4)) a composite number?
False
Let k(c) = -95*c + 17. Suppose -16 = 4*b + 24. Is k(b) a composite number?
False
Let w(z) = -z**3 + 7*z**2 + 9*z - 6. Let l be w(8). Suppose l*v = 4*s - 830, 3*v - 86 = -s + 132. Is s a prime number?
False
Suppose 7*c - 3*c + 5*m - 25175 = 0, -12591 = -2*c + m. Is c prime?
False
Suppose -4*h = -0*h - 16. Let i be -2*(h - 3) + 41. Let q = -8 + i. Is q composite?
False
Suppose 6 = -2*o - 14. Let b(v) = 5*v**2 + 13*v + 37. Let h(p) = 3*p**2 + 7*p + 19. Let g(j) = -4*b(j) + 7*h(j). Is g(o) a prime number?
False
Suppose -44847 + 4843 = -3*a - w, a = -4*w + 13353. Is a a prime number?
False
Let f(k) = 151*k - 138. Is f(25) a prime number?
True
Suppose 0 = -4*l + 13 - 1. Suppose i + 1484 = l*i. Let n = -411 + i. Is n a prime number?
True
Suppose -3*k = c - 0*k - 18, 2*c - 32 = -4*k. Suppose c*v - 31 = 11*v. Is v a prime number?
True
Suppose -9*q = -34267 - 9590. Is q a composite number?
True
Suppose