*p + 54 = 0, 0 = 2*y + 4*p - 0*p + 6. Let r be m(y). Suppose 6*x - r = 3*x. Is x a composite number?
True
Let h(w) = 18*w**2 + 3*w + 2. Let y be h(-1). Suppose y*a - 54814 = 64101. Is a prime?
False
Let o(p) be the second derivative of -37*p**5/20 - p**4/6 - p**3/2 + 3*p**2/2 + 70*p. Is o(-3) composite?
True
Let w = -66355 + 156108. Is w prime?
True
Let u(b) = 143*b**2 - 14*b - 23. Let a be u(11). Let l = a + -11983. Is l prime?
False
Let r(q) = 8*q**3 + 11*q**2 + 8*q + 33. Let v(s) = 4*s**3 + 5*s**2 + 4*s + 16. Suppose 0 = 5*u - u - 36. Let p(k) = u*v(k) - 4*r(k). Is p(5) a composite number?
False
Let w(z) = 164*z**3 - 3*z**2 - 4*z + 1. Let p be w(3). Suppose 7*a = 3*a + 2*f + 42, -2*f + 18 = 2*a. Is ((-2)/(-2))/(a/p) a composite number?
False
Suppose 4*k - 5*k = -3. Suppose -17*b + 17740 = k*b. Is b a prime number?
True
Suppose -85885750 = -138*l + 15237752. Is l composite?
True
Suppose -17349*a + 6594 = -17343*a. Is a a composite number?
True
Let k = -111372 + 344231. Is k prime?
False
Suppose -f + 2738 + 3278 = 3*l, 2*l - 4028 = -5*f. Suppose 0 = w + 2*n + 586, -4*w = n + l + 361. Is 15/5 + -8 - w a prime number?
True
Let o(q) = 4*q**3 + 8*q**2 - 3*q - 2. Let x = -14 - -22. Suppose -3*v = z + x, -13*v - 9 = -2*z - 14*v. Is o(z) composite?
False
Suppose -5*k + 54275 = 3*o, 2*k - 22552 + 863 = 3*o. Let t = 20463 - k. Is t a prime number?
False
Suppose 0 = 3*z + 5*w - 46251, -2*z + 10725 + 20153 = -4*w. Is z a composite number?
False
Let u(h) = -1600*h + 7507. Is u(-39) composite?
True
Let j(s) = 337*s**3 + 6*s**2 + 38*s - 299. Is j(8) prime?
True
Suppose 12 = 20*y - 8*y. Is y*8 - (-1416 - -7) composite?
True
Let o be (6/9 + 575/15)/(-1). Let f(h) = -418*h - 269. Is f(o) a prime number?
True
Let q = 21 + 94. Suppose -u + 6*u + 25 = 0, -5*l + 3*u = -q. Is 1364 + 5/(l/8) a prime number?
False
Suppose 0 = -9*h + 10*h - 8. Let m be h/18*(-171)/(-38). Is (-757)/m*(-48)/24 prime?
True
Let g(i) = -20*i + 138. Let t be g(8). Let n(w) = -w**3 - 15*w**2 - 31*w - 113. Is n(t) a composite number?
True
Is (-1318920)/(-9) - -2 - 19/171*-3 prime?
False
Let c = -232937 - -416784. Is c a composite number?
True
Let o = -8 + 5. Let r be (3 - 0) + 1 + o. Is (r - -3) + (278 - 4) a composite number?
True
Suppose -46 + 12 = 2*h + 2*c, 5*c = 3*h + 19. Let p = -14 - h. Is 2/(p + 292/284) composite?
False
Let h be 18/21*7 + -1. Suppose -12 = -4*j, 14157 - 2477 = 5*w + h*j. Is w composite?
False
Let y(v) = 639*v**2 + 132*v + 515. Is y(-4) composite?
False
Let r(n) = n - 27. Let l be r(-15). Let w = l + 46. Suppose w*t - 3*t = 58. Is t a prime number?
False
Is (-67 + 64 - (-24275)/(-2))*-2 prime?
True
Let j = 565 + 350. Suppose a - c - j = 0, a - 4*c = 905 - 2. Is a a prime number?
True
Suppose 487*v + 2147016 = 511*v. Is v a prime number?
True
Let l be 193 + 0 + (0/(-3))/6. Let o be 1/2*2 + 1 + l. Suppose -4*x = x - o. Is x composite?
True
Let c(x) be the first derivative of 107*x**4/12 - 2*x**3/3 + x**2 - x - 29. Let a(k) be the first derivative of c(k). Is a(2) composite?
True
Let b(o) = 72*o - 62. Let t be b(7). Suppose t*q - 43405 = 437*q. Is q prime?
True
Let s = -35208 - -94409. Is s a prime number?
False
Suppose 20*s + 21 + 219 = 0. Let z(l) = 42*l**2 + 9*l + 29. Is z(s) a composite number?
True
Let l(m) = -3*m - 86. Let r(t) = -2*t - 43. Let d(w) = 4*l(w) - 7*r(w). Let u be d(23). Suppose 4*h - 3*k - 1380 = -5*k, 0 = -h - u*k + 340. Is h prime?
False
Let m(y) = y**2 + 17*y + 22. Let w be m(-14). Let g be -60*-2*(-76)/w. Let l = -307 + g. Is l prime?
True
Let h be ((-73070)/(-45) - 0) + 2/9. Let l = 11685 - h. Is l a prime number?
True
Suppose 2*d - 4 + 19 = -5*l, 0 = -2*d - l + 5. Suppose -128 = -d*x + 15917. Is x composite?
False
Suppose 5*l + 35*w - 34*w - 368574 = 0, 221122 = 3*l - 5*w. Is l a composite number?
True
Suppose 55 - 71 = -8*s. Is (-5 - 4869)*((-1)/1)/s composite?
False
Suppose -21*v - 712546 = -3819086 - 294809. Is v a composite number?
False
Suppose -12*s = -16*s + 20. Suppose 2*i - s*l + 0*l = 18660, -5*i + 46617 = 4*l. Suppose 5*y = -0*y + i. Is y prime?
False
Suppose 4*u = -s + 707907, 537*s - 539*s + 3*u + 1415737 = 0. Is s prime?
False
Suppose 4*c + 13 = 37. Let l be 3 + 0 - (-1713)/c*106. Is l/30 + (-8)/(-60) composite?
False
Let t = 560 - 518. Suppose -c + 93 = d, t = -4*c + 3*d + 442. Is c composite?
False
Let g = 15 + -1. Let z be (7/g)/((-2)/(-4)). Is (-3 - -802) + (z - 3) a prime number?
True
Let j = 54 - 52. Let g be (-3 - (-174)/(-9))*12/j. Let d = 819 - g. Is d a prime number?
True
Let f(r) = -231*r**3 + 5*r**2 + 11*r + 25. Suppose -13*x - 145 + 106 = 0. Is f(x) a prime number?
False
Let g(v) = v**3 - 5*v**2 + 6*v - 3. Let u be g(4). Suppose -49 = u*t - 6*t. Let o = 198 - t. Is o composite?
False
Let k(m) = -20803*m - 443. Is k(-4) a prime number?
False
Is ((-17721440)/(-33) + -9)*3 a prime number?
False
Suppose 3*f - f + l - 4050 = 0, -2*f = 3*l - 4042. Suppose j - f = 2892. Is j prime?
True
Let i(t) = 2*t - 18. Let b be i(10). Suppose 4*h = -b*y + 1524, -2*h - 5*y + 0*y + 746 = 0. Suppose -x + h + 243 = 0. Is x a composite number?
True
Let i(b) = 19*b**2 + 10*b + 1. Let x(r) be the second derivative of r**4/12 + r**3/6 - r**2/2 + 13*r. Let j(m) = i(m) - 4*x(m). Is j(6) composite?
True
Let a be -9*(4/(-3) + -1 - -1). Suppose a*d = -22*d + 46954. Is d a composite number?
False
Suppose -3*q + 1 = -8*q + 2*s, 0 = -2*s + 6. Is (q - 60585/(-12))/((-23)/(-92)) a prime number?
False
Let g(h) be the first derivative of 23*h**3/3 - 15*h**2 - 70*h + 40. Is g(-11) a composite number?
True
Let p(n) = 13582*n**2 + 200*n + 383. Is p(-2) prime?
True
Suppose -4*y = 5*k - 69747, -25*y + 29*y - k - 69777 = 0. Is y a prime number?
True
Let a(n) = 12*n**2 - 5*n + 1. Let v be a(-4). Let s = v - -3278. Is s a composite number?
False
Suppose -3277 - 387 = -v - t, -3*v + 10984 = -5*t. Suppose 8*o - 3833 - v = 0. Is o composite?
False
Suppose 0 = 73*g - 64*g - 5*w - 2597794, -3*g + 865948 = -5*w. Is g prime?
False
Let o be 16/(-1 + 3) - 6/2. Suppose 2 = -3*v - 2*n, 0*n - 2 = o*v + 4*n. Let r(q) = -150*q - 7. Is r(v) prime?
True
Suppose 4*d - 5 = -n, -43 = 5*d + 3*n - 44. Suppose 0 = 5*o + u + 4*u - 30625, d*o - u = 12256. Is o prime?
False
Let q(y) = -1519*y - 1. Suppose -2*f = -5*s + 12, -2*f - f = 4*s - 28. Let n = 2 - f. Is q(n) composite?
False
Suppose 0 = -12*l + 66478 + 37454. Is l composite?
True
Suppose 4*l + 2166 = -1070. Suppose 0 = -5*h + 8334 - 22934. Let m = l - h. Is m composite?
False
Suppose -70*t - 440594 = -83*t + 2077233. Is t prime?
True
Suppose -4*n + 156102 + 16975 = u, -865407 = -5*u + 2*n. Is u composite?
False
Let p(c) = -12*c**3 + 4*c**2 - 30*c - 93. Is p(-5) a prime number?
True
Let w(d) = 0*d**2 + 558*d**3 + 3*d**2 - 1510*d**3 + 25 + 13*d. Is w(-3) a prime number?
True
Let j(x) be the third derivative of -11*x**6/40 - 7*x**5/60 + x**4/24 + x**3/3 - 30*x**2. Let t be j(3). Let l = 2336 + t. Is l prime?
False
Suppose 0 = w + 2*j - 84, -2*j - 6 = 2. Let l = w - -348. Suppose l = 3*n + 59. Is n a prime number?
True
Suppose 20*p - p - 8127155 = 0. Is p a prime number?
False
Let u be 2 + -1 + 8 + 3. Suppose 0 = -4*y + 3*p + 23, y = -0*p + 2*p + u. Is y/((20/1195)/2) a prime number?
True
Is (-1847)/(((-8)/80)/(1/10)) a composite number?
False
Let b be 4*((-3)/(-2) + -1). Let g(s) be the first derivative of 73*s**4/4 + 3*s - 316. Is g(b) composite?
False
Let n(s) = -s**2 - 21*s - 40. Let m be n(-5). Suppose -m*v + 53*v - 50011 = 0. Is v a prime number?
True
Let z = 31 + -27. Suppose -o - 3*y = 4*o - 7, 0 = -z*o - 4*y + 4. Is 1/o*3330/15 a prime number?
False
Is (24958951/(-76))/(7 - (-87)/(-12)) prime?
True
Let m(s) = -s**2 + 12*s + 20. Let l be m(12). Suppose 95380 = l*b - 234160. Is b prime?
True
Let q(c) = -c**3 - 21*c**2 + 12*c - 7. Let t be q(-9). Let k = t + 2832. Is k a composite number?
True
Let m(n) = -7*n**3 - 14*n**2 + 10*n + 3. Suppose 4*x = -y - 54 + 15, -27 = 3*x + 3*y. Is m(x) a prime number?
True
Let u(t) = t**3 - 2*t. Let c(h) = 1411*h**3 - 6*h**2 - 2*h + 5. Let y(j) = c(j) + u(j). Is y(2) a composite number?
True
Let z(s) = 29980*s**2 - 98*s + 271. Is z(3) a composite number?
True
Let x be (-6)/27 - ((-376)/36)/2. Suppose -3*u = 5*t - 14, -5*u - t = -x*t - 11. Suppose 13 = u*g - 161. Is g a prime number?
False
L