se
Let c(r) be the first derivative of -19*r**3/6 - 4*r**2 - 2*r - 6. Let u(l) be the first derivative of c(l). Is u(-6) prime?
False
Let m = 4174 + -2327. Is m a prime number?
True
Suppose 5*f + 2083 = 21478. Suppose -c = 0, 3*d + 2*c + 2*c = f. Is d a prime number?
False
Let f(u) = 7*u**3 - 65*u**2 - 45*u - 19. Is f(20) a prime number?
False
Suppose -r - 35 = -1445. Let c be r + 0 - (-68)/17. Let b = c - 871. Is b a prime number?
False
Let a = -30 - -39. Suppose -d + a = 2*d. Let t = 544 - d. Is t composite?
False
Is 3 + (-51864)/(-9)*3 prime?
True
Let f(j) = 246*j - 391. Is f(18) a prime number?
False
Suppose 15 = -5*w - 3*r, 5*w = w - 2*r - 10. Suppose b + b - 6 = w. Suppose 0 = b*h + t - 185, h + t = -4*h + 309. Is h a prime number?
False
Suppose -9*f = -5*f - 2*a - 20272, -15203 = -3*f + 2*a. Is f a composite number?
True
Let a = -17 + 9. Suppose 4*t = t - 5*s + 31, -s + 5 = 0. Is 3 + a/t + 382 a prime number?
False
Let i = 15 - 12. Suppose 0 = 3*k - 6*l + l - 311, -4*l = -i*k + 307. Is k a prime number?
True
Let r(l) be the second derivative of l**4/24 + 85*l**3/6 - l**2 + l. Let m(u) be the first derivative of r(u). Is m(0) a prime number?
False
Suppose -2*m + 10 = 5*j - 2, -m = -4*j + 20. Suppose -y + 197 = -j*f - 67, -756 = -3*y + 3*f. Let w = y + 11. Is w composite?
True
Suppose 0 = -0*x - 17*x - 5882. Let w be -73*(-1 + 1 + 3). Let u = w - x. Is u composite?
False
Suppose -1 = 2*o - 3. Let u be ((-45)/(-4))/(o/(-4)). Let y = u - -130. Is y prime?
False
Let i be -1*570/5 + 2/1. Let n = 215 + i. Is n prime?
True
Let b be (-8)/(-36) - (-8)/(-36). Suppose -p = -b*p + 2. Is 17/p*(-7 - 7) a composite number?
True
Let o(c) = 2*c**2 - 5*c + 2. Let v be o(3). Suppose -10 = v*i - 4*s, -5*s + 29 = 3*i - i. Suppose i*r + 2 = 6, 0 = -2*b - r + 288. Is b prime?
False
Let u be (-1)/3 - ((-3342)/(-18) + 5). Let x = 440 - u. Is x composite?
False
Let x(b) = -b**3 + 4*b**2 + 5*b. Let v be x(5). Suppose 13*h = 15*h - 4. Suppose 0 = -4*t + 2*k + 1622, -t + v*k + 413 = h*k. Is t composite?
True
Suppose 123 = v - 121. Let b = 484 - 243. Suppose -5*c + v = -b. Is c a prime number?
True
Suppose 3*r = 47 + 19. Let d(t) = 2*t - 21. Is d(r) prime?
True
Let z(v) = -13*v + 6. Let y be 18/4*40/12. Suppose -s = 3*h + 2*h - y, 3*s - h + 19 = 0. Is z(s) prime?
True
Let m be (-135)/(-30)*2/3. Suppose -3*j = 4*q - 323 - 1812, -3*j + m*q + 2163 = 0. Is j prime?
False
Let p(o) = 3*o + 38. Let v be p(-12). Suppose -v*y + 6*z - z = -15445, y - 5*z = 7730. Is y prime?
False
Suppose 0 = -2*a - 0*a + 70. Suppose 5 - a = -3*m. Is m a prime number?
False
Let l(x) = -155*x - 8. Let b be l(-6). Suppose 4*v + b - 3102 = 0. Is v composite?
True
Let x(j) = -j**3 + 12*j**2 + 15*j - 23. Let n(p) = p**3 - 7*p**2 - 7*p + 4. Let f be n(8). Is x(f) a prime number?
True
Let a = 56 - -2. Is a/8*(43 + 1) prime?
False
Let q(h) = 208*h**2 + 3*h + 3. Let p(s) = -209*s**2 - 4*s - 4. Let n(m) = 5*p(m) + 6*q(m). Is n(-1) composite?
True
Let r(j) = 2502*j + 29. Is r(4) a composite number?
False
Let w(v) = -v**3 - 6*v**2 + 9*v + 16. Let t be w(-7). Suppose -o - 2*c + 3655 = 0, c - 7306 = -t*o - 2*c. Is o a composite number?
True
Let w = -39 - -248. Is w prime?
False
Let b(o) = o**2 - o - 25. Let i be b(6). Is (i + -3)*(-298)/(-4) a composite number?
False
Suppose 17499 = h - 5*y, y + y - 52565 = -3*h. Is h composite?
False
Suppose -2*x - 3 = -7, -3*h + 33157 = -x. Is h prime?
False
Let v(f) = f - 4. Let j be v(6). Suppose p + 17 = 3*d, 5*d - 3*p - 27 = -j*p. Suppose 2*t - d*k - 1140 = 0, 0*t + k = -t + 563. Is t prime?
False
Is ((-12942)/(-6))/(2 - 1) prime?
False
Suppose -2*n = 5*q - 90285, 10*q = 8*q - n + 36113. Is q prime?
True
Let i = -24 - -24. Suppose i = -8*w + 4*w + 4432. Suppose -w = -0*j - 2*j. Is j a composite number?
True
Let i = -9 - -47. Let q = i - -68. Is q composite?
True
Let v(h) = h**2 + 7*h + 5. Suppose 6*w = w - 35. Let l be v(w). Suppose 4*z - t - 196 = 0, l*t = -3*z + 2*z + 49. Is z a composite number?
True
Let q(s) = -5*s + 187. Suppose 3*d = -5*h + h, 5*h = 3*d. Is q(h) prime?
False
Let b be -6*5/(-15)*570. Is b/54 - (-1)/(-9) a prime number?
False
Let f(n) = 919*n**3 + 2*n**2 - 5*n + 3. Is f(1) prime?
True
Suppose 0 = -3*k - 2*b + 5267, -b + 6*b = -3*k + 5279. Let t = -1052 + k. Is t a composite number?
False
Suppose -9*t + 12*t = -5*i + 227414, 4*i - 2*t = 181918. Is i a composite number?
False
Let a(f) = -8*f - 3. Let t be a(-6). Suppose 0 = 2*p + 3*m + 243, -p + m - t - 69 = 0. Is (-1*5)/(9/p) prime?
False
Let m(d) = -6*d**3 + 2*d**2 + 4*d - 4. Let b be m(-3). Suppose -2*l + 2746 - b = 0. Is l composite?
False
Let w(n) = 4*n**3 + 4*n**2 - 3*n - 5. Let l be -2*(12/(-8))/(-1). Let i be (4/l)/((-2)/6). Is w(i) a composite number?
True
Let c(s) = 9*s - 13. Let l be c(2). Suppose -610 - 315 = -l*t. Is t composite?
True
Suppose 3*s + x - 2*x - 110192 = 0, -4*x - 183651 = -5*s. Is s a prime number?
False
Let q be 2/4 - 2187/(-18). Suppose -4*c = -q - 1362. Is c a prime number?
False
Let z(h) = 4*h**3 - 2*h**2 - 6*h - 3. Suppose 98 = -2*i + 104. Is z(i) a composite number?
True
Suppose 11136 = 2*u - 4*c, 4*u + 4*c - 22322 = 2*c. Is u prime?
False
Let p(l) = 3*l**3 - 5*l**2 + 13*l - 115. Is p(16) a prime number?
False
Let b(n) = 138*n + 49. Is b(18) prime?
False
Let a(c) = 21*c**3 + 2*c**2 - 146*c - 48. Is a(11) a prime number?
True
Suppose -51*t + 50*t + 2453 = 0. Is t a composite number?
True
Let o(q) = -110*q**3 + q**2 - 5*q - 5. Let k = -12 + 10. Is o(k) composite?
True
Suppose 5*m + 3*a - 34 = 0, m + 0*a - 2 = a. Suppose -m*x + 4*v = -4735, -4*v - 367 - 564 = -x. Is x composite?
True
Let y(q) = 9586*q - 329. Is y(3) prime?
True
Let u be (-1 + 7)/(33/22). Suppose -789 = -u*f + 799. Is f a composite number?
False
Let p(u) = -2*u + 29. Let y be p(13). Suppose 11*o - y*o = 1192. Is o prime?
True
Let t(n) = 2 - 4*n**2 - n**3 - 12 - 6*n**2 + 2*n**3 + 11*n. Let p be t(9). Is (628/p)/((-1)/(-2)) prime?
True
Let j = 65387 - 35364. Is j prime?
False
Suppose 4*j = 3*v + v + 2976, -2*v = j - 741. Is j prime?
True
Let q(b) = b**3 - 6*b**2 - b + 6. Let a be q(6). Suppose -2*h + 8313 + 5245 = a. Is h prime?
True
Let s = 1069 + 82. Is s a prime number?
True
Suppose -s = 2*c - 64705, 114*s - 109*s = 5*c - 161770. Is c composite?
False
Suppose -62 = -2*y - 4*x + 24, -5*y - x = -197. Suppose -3 = 4*g - y. Suppose -3*z + g*q - 4*q + 583 = 0, 2*q = z - 195. Is z a composite number?
False
Suppose -3*x = -7353 + 162. Let g = -994 + x. Is g a prime number?
False
Let r be 2 + 0 + -3 + 7. Suppose r + 2 = 4*y. Let n = 44 + y. Is n composite?
True
Is ((-14)/(672/(-6684)))/(2/8) prime?
True
Suppose 0 = 3*z - 6. Suppose 130 = -z*b + 3*b. Let g = b - -163. Is g prime?
True
Let l = 21151 + -10512. Is l a prime number?
True
Let i be (-5 + 4)*311*-2. Let m = i + -379. Suppose 5*c - m = 482. Is c composite?
True
Suppose 2*n - 7*n - 4*b - 18 = 0, -4*b - 12 = 2*n. Is (1*n)/(4/8) - -911 composite?
False
Let b = 6 - 4. Suppose -3*o = 3*h - 135, 5*h - 2*o - 234 = b*o. Is h a composite number?
True
Suppose 0 = -3*c - 2*v + 12, -4*c + 0*v + 16 = -3*v. Suppose -c*j + 4571 = 3*j. Is j prime?
True
Is (8 + (-210)/20)/(1/(-4742)) a prime number?
False
Let d = -595 + 4722. Is d prime?
True
Let z = 16969 - -14708. Is z composite?
True
Let s = 6575 + -4692. Suppose -32*v + s = -31*v. Is v composite?
True
Let l(f) = -1025*f - 17. Is l(-2) composite?
True
Suppose 1668 = -3*g - 3*g. Let b = g + 1333. Is b prime?
False
Is -3*((-421070)/30 + 4) a prime number?
False
Suppose 2*u - u - 2 = 0. Suppose 0 = u*j + 2*z - 1666, -5*z + 825 = -j + 2*j. Is j a prime number?
False
Suppose 0 = 5*i - 35. Let t(v) = v**3 - 5*v**2 + 5. Is t(i) a prime number?
True
Suppose -15*l + 151869 = 54834. Is l composite?
False
Let a = -251 + 468. Suppose -5*q - 335 = 5*s, 3*s - a - 65 = 4*q. Is (-7 - -3)*q/6 prime?
False
Let j be (-4345)/(-6) - (-6)/(-36). Suppose 7*n - j + 227 = 0. Is n prime?
True
Let n be 124/(-10) + (-26)/(-65). Is ((-4)/(-6))/(n/(-8766)) composite?
False
Suppose o - 176 = 4*r, -2*o = -r - 7*o - 23. Let d = 89 + r. Suppose d = -w + 143. Is w composite?
False
Let m(r) = 111*r**3 + 7*r - 61. Is m(9) composite?
True
Suppose 3*b - 6 = 0, -2*b - 17 = -3*m - 3*b. Suppose 390 = m*l - 695. Is l a composite number?
True
Suppose 2*g -