ose -14*p - 1555002 = -7924232. Is p a composite number?
True
Let m(k) be the third derivative of 3*k**6/20 - k**5/30 + 11*k**4/24 - 13*k**3/3 - 11*k**2. Let y(t) be the first derivative of m(t). Is y(-5) a prime number?
True
Let s(p) = -35*p + 83 + 61*p - 3*p**2 + p**3 - p**2 - 15*p**2. Is s(29) prime?
False
Suppose -10*b + 2*k - 129684 = -12*b, 0 = 2*b + 3*k - 129689. Suppose 0 = 18*l + 5*l - b. Is l prime?
True
Let j(u) = u + 1. Let k(r) = 9*r**2 + 8*r - 50. Let s(m) = 4*j(m) + k(m). Let q(v) = v**2 - 4*v + 3. Let c be q(5). Is s(c) prime?
False
Suppose 6*y - 21 = 21. Suppose 6*a - y*a - 1 = 0. Is 4 + 0 + 2576 + a prime?
True
Let z = -215 + 219. Let m(h) = 4*h**3 - 3*h**2 + 6*h + 27. Is m(z) composite?
True
Let c be (-2 - 6/(-8))/((-11)/44). Suppose 3*x - 2*x - 4*a - 18821 = 0, 0 = 4*x - c*a - 75240. Is x prime?
False
Let w(d) = 75*d**2 + 148*d - 2053. Is w(15) a prime number?
False
Let a be (-1)/(2/(-124)) + (3 - 1). Let x = a - 61. Suppose 0 = 8*w - x*w - 2445. Is w a composite number?
True
Let s(q) = -35*q**2 + 6*q - 16. Let o(x) = 12*x**2 - 2*x + 5. Let c(b) = -17*o(b) - 6*s(b). Let p(t) = -5*t - 21. Let f be p(-6). Is c(f) prime?
True
Let b be 0/(0 + -3 - (-16 + 12)). Suppose b = 3*v - 2*d + d - 2251, -v + 755 = 2*d. Is v prime?
True
Suppose 11*s + 4*r - 246717 = 8*s, -2*r - 12 = 0. Is s prime?
False
Suppose j + 5*c - 6307 = 0, 0 = 6*j - 9*j + 2*c + 18853. Suppose 5*m + 506 = s + j, 2*s - 4636 = -4*m. Is m a composite number?
True
Suppose -4*s + 4 + 20 = 0. Suppose i + 2 - 5 = -3*z, 2*i = s. Suppose z = -7*a + 118 + 99. Is a composite?
False
Suppose 2*s + 2282 = -5*n + 9*n, -3*n = -s - 1711. Let a = n - -457. Is a prime?
False
Let f = -38 - -8. Is 26 + f - (-3888 - -1) a composite number?
True
Let v = 54781 + -3188. Is v a prime number?
True
Let k(f) = 2*f**3 - 12*f**2 + 16*f + 2. Let u be k(-7). Let b = u - -3943. Is b composite?
True
Suppose 166*r - 170*r + 140 = 0. Let y(q) = 317*q - 197. Is y(r) composite?
True
Is ((-153)/(-476) - (-3)/(-42)) + (-85207)/(-4) composite?
True
Suppose y + 2*m + 0*m + 2 = 0, -y = -3*m + 2. Is 70595/105 + y/(-3) a prime number?
True
Let m(n) be the third derivative of -53*n**6/60 + n**5/15 - n**4/12 - n**3 - 238*n**2. Is m(-2) prime?
False
Let r(c) = -c - 4. Let f be r(-9). Suppose -6 = -f*o + 3*o - 2*j, 4*o + 5*j - 15 = 0. Suppose o = -7*k - 279 + 776. Is k prime?
True
Suppose 169 - 43 = 14*u. Is (1758/u)/((-14)/(-231)) prime?
False
Let o = 135435 - 58258. Is o composite?
True
Let w(d) = -12*d**2 - 21*d + 3. Let x be w(-3). Let s = x - -57. Suppose 0 = -s*q + 23*q - 18472. Is q prime?
True
Let u = 20554 + -8483. Is u a composite number?
False
Let o(m) = 2*m**3 + 15*m - 19. Let d be o(13). Suppose -72*y + d = -67*y. Suppose 11798 = 12*v + y. Is v prime?
True
Suppose -4 = -g, -2*s - 28 = 3*s + 3*g. Is 6/s + 26772/48 prime?
True
Suppose 100*t - 1404884 = 196*t - 100*t. Is t a prime number?
False
Let c be (-1 - 55)*(-2145)/(-20) + -3. Let q = c - -14074. Is q composite?
True
Suppose -3*t + 134457 = 2*x, -t - x + 44819 = -6*x. Is t a composite number?
False
Let c = 38 + -32. Let b be c*1 - 26/13 - 12. Let d(v) = -153*v + 35. Is d(b) a composite number?
False
Let k(f) = 51*f**3 + 2*f**2 - 5*f + 4. Suppose 2*b = 9 - 1. Let z be k(b). Suppose 2*x - 3*o = z, 1713 = x + 4*o + 84. Is x prime?
True
Let v = 1271849 - 793528. Is v composite?
False
Let b(z) = 802*z + 5. Let c(m) = 1. Suppose 6 = -5*t - r, t - 3*r - r = -18. Let o(i) = t*c(i) - b(i). Is o(-2) composite?
False
Let h be 5/(-7) - -1 - 14/49. Suppose h*u - u - 2*z - 7744 = 0, 3*z + 9 = 0. Is (-3)/12 - u/8 composite?
False
Let v be -2 + 3233 + (-4 + 6)*-1. Let m = 1642 + v. Is m composite?
False
Suppose 8*h - 20 = -2*h. Suppose 5*d - 7978 = -2*g, -4*d + h*g + 5643 + 725 = 0. Is d prime?
False
Let r be 4/12 - 99518/6. Let b be 16/(-48) - r/6. Is -4*b/(-16)*1 a composite number?
False
Is ((-692)/3)/(332/(-25149)) a composite number?
True
Suppose -188736 = -53*n + 51*n. Let h = n - 52165. Is h composite?
True
Let m be (-2)/(-8) + (-18604)/(-16). Let n = -2232 - -1350. Let s = m - n. Is s composite?
True
Suppose 0 = -2*q - 4*p + 102842, 2*p = 4*q + 3*p - 205635. Is q composite?
False
Suppose -g + 44 - 19 = 0. Let k = g - 26. Is k*2*1788/(-24) a composite number?
False
Suppose 0 = -79*c + 58*c + 454650. Suppose 0 = -n - 4*h + 4307, 5*n = 2*h + h + c. Is n a prime number?
True
Let s(h) = 106*h**3 - 58*h**3 - 4*h**2 - 14*h + 37 - 47*h**3. Is s(16) a prime number?
False
Let n(a) = -5904*a**3 + 3*a**2 + 24*a + 56. Is n(-3) prime?
False
Suppose -26*k + 28*k = -28. Let h = 9 + k. Let z(s) = 5*s**2 + 7*s + 7. Is z(h) prime?
True
Let q(r) = -16*r**3 - 2*r**2 - r + 13. Suppose 20*c = 15*c - 20. Is q(c) prime?
True
Let j be -1 - -19 - (-2 - -5). Suppose 0 = -j*w + 20*w - 10. Suppose w*b + 7478 = 4*v - 1848, v = -5*b + 2348. Is v a prime number?
True
Let x be 5 + 15/12 + (-2)/8. Suppose x*o - 7*o = 0. Suppose -a + 254 = -o*a. Is a prime?
False
Suppose -2*d + 3*y = -29188, 59*d - 60*d = -y - 14593. Is d a composite number?
False
Let k(p) = 4506*p + 7. Let a be (-19)/(-19)*(-1)/(-1). Is k(a) a prime number?
True
Suppose 3*t - 5*o - 1775252 = 0, 6*o = 10*t + 3*o - 5917411. Is t prime?
True
Let d(p) = 460*p**2 - 2*p - 547. Is d(-8) a composite number?
False
Suppose 0 = -3*j + 9*j - 73034 - 35284. Is j composite?
True
Let b = -823 - -825. Suppose 3*y - 49260 = 3*o, 5*y = -b*o + 6*o + 82103. Is y composite?
True
Let j be (-35)/(-20)*-4 - -979. Let z = j + -389. Is z a prime number?
False
Let r = -787 + 805. Suppose 0 = -r*d + 538320 + 748050. Is d a prime number?
False
Let h = 142 + -114. Suppose -h*l = -22*l - 786. Is l a prime number?
True
Is (-21291186)/(-756) + 9/162 a composite number?
False
Let g = -1320 - -2036. Let x = -307 + g. Is x prime?
True
Is 107/214 - 3248354/(-4) a composite number?
True
Let o(m) be the second derivative of 34*m**3/3 + 33*m**2/2 + 10*m. Let a be o(18). Let c = a + -724. Is c composite?
True
Let d(w) = -97*w + 164. Suppose 0 = g - 6*f + 3*f + 14, 0 = f - 3. Is d(g) a composite number?
True
Is 72/(-90) + (-4998)/(-10) prime?
True
Let a(d) = -14*d + 7. Let o be a(-13). Suppose 2*r = 2*t + 168, -3*r = -3*t + t - 253. Let k = o + r. Is k a prime number?
False
Let j = -5109 + 9028. Let d = -2168 + j. Is d prime?
False
Let q(t) = -2169*t + 86. Let i be q(-8). Suppose -p + 4380 + i = 0. Is p composite?
True
Let o = -200 + 199. Is (o - 4/(-7)) + 13301980/1778 prime?
True
Let k = 56 + -53. Suppose b = k*m - 2*b - 3957, 2*m + 4*b - 2626 = 0. Let r = m - 610. Is r composite?
True
Let h(t) = 2*t**3 + 76*t**2 + 73*t - 3. Let w(f) = -f**3 - 25*f**2 - 25*f + 1. Let o(d) = -2*h(d) - 7*w(d). Is o(12) a composite number?
True
Is 220262/1 - (76 + -93) a prime number?
True
Let s be 3/(-9) + (-32)/(-6). Suppose -3*l + 2032 = s*n, 2*n - 5*l = -6*l + 813. Is n a prime number?
False
Suppose 2*l - 23 = -2*f - 5, 4*l - 4 = 4*f. Suppose 0 = 4*g - q - 12, -g = -3*q + 1 - f. Is 44 - (-8 + g + 2) a prime number?
True
Suppose 0 = -3*x + m - 1 - 15, -16 = -x - 5*m. Is (-5114)/x - ((-63)/(-14) + -3) a prime number?
True
Suppose -360 = 3*f - 3*p + 704406, -5*p - 234952 = f. Is 52/(-65) - f/15 a composite number?
False
Is (-39)/15 + 2 - (-395462970)/1575 composite?
False
Suppose 8*s = 9*s + 346. Let m = s - -613. Suppose 5*c - m = 3928. Is c a composite number?
False
Let l(g) be the second derivative of 5*g**4/6 - 5*g**3/2 - 127*g**2/2 - 39*g + 4. Is l(18) a prime number?
True
Suppose -45302941 = 28*l - 125*l - 11054084. Is l a composite number?
False
Suppose 5*p = 5*b + 235, 2*b - 4*p + 100 = -0*b. Let w = b - -43. Is (w - 1081)*(-9)/18 composite?
False
Let v = -29145 - -196598. Suppose 58428 + v = 29*x. Is x composite?
False
Suppose -4*d + 3*p = -192465, -2*d + 96235 = p - 2*p. Is (-1 - d/16)*2*-1 a prime number?
False
Let i(w) = 8*w**3 + 6*w**2 + 4*w. Let y be i(-1). Is 1439*(y - -3)*(-5)/15 prime?
True
Let s = -33 - -45. Suppose 0 = -2*a + s - 26. Let r(m) = -24*m - 41. Is r(a) a composite number?
False
Let o(v) be the third derivative of -13*v**4/24 + 1151*v**3/3 - 24*v**2 - 1. Is o(0) a prime number?
False
Let f(j) = j**3 - 21*j**2 - 21*j - 15. Let s be f(22). Let n(i) = 4*i**3 - 2*i - 7. Is n(s) composite?
True
Let s be 20/25*((-22)/(-4) - 3). Suppose 0 = x + s*w - 231