?
True
Let v(c) be the third derivative of 13*c**5/15 - c**4/3 - 7*c**3/6 + 53*c**2. Is v(6) a prime number?
False
Let t(w) = -5344*w + 249. Is t(-32) prime?
False
Let n = 58 + -32. Let q be (-3 - 7/(-2))*n. Suppose q*l + 339 = 16*l. Is l prime?
True
Let o(r) = -r**2 + 14. Let z be o(-6). Let u = z - -25. Suppose -u*k + k = -326. Is k composite?
False
Suppose -s - 2*s = -480. Let n = 180 + s. Let k = n - -67. Is k prime?
False
Suppose 5*m - m - 1904 = 0. Let h be (-2 - 257) + -1 + (417 - 422). Let y = h + m. Is y composite?
False
Let m = 21 - -6012. Suppose m + 10843 = 4*u. Is u prime?
True
Let c(t) = -t**3 - 4*t**2 + 4*t + 6. Let s be c(-5). Suppose -f + 2*y = 3 - 5, -y - s = -3*f. Suppose w - p = -f*p + 913, -2*w + 1810 = -2*p. Is w prime?
True
Let r(g) be the third derivative of 35*g**4/24 + 119*g**3/6 - 10*g**2 + g. Is r(22) a prime number?
False
Is (-662)/4*3*(-18)/27 a prime number?
True
Suppose -166 + 110 = -7*m. Suppose -2*j + 3*x + 3277 = 0, -3278 = -m*j + 6*j + 4*x. Is j prime?
True
Let d(w) = 49*w**2 + 733*w + 157. Is d(-67) a prime number?
True
Let c(w) = 3491*w + 107. Let m be (((-24)/5)/3)/((-2)/5). Is c(m) a composite number?
False
Let s(w) be the first derivative of w**3/3 - 7*w**2/2 - 6*w - 15. Let h be s(8). Suppose -181 = -4*c - 3*u, h*u - 218 = -5*c + u. Is c a composite number?
False
Suppose -4*s = -4*d + 36, -s - d + 21 = -4*s. Is (s + (4 - 2))*(-1049)/2 prime?
False
Suppose -11*l + 8*l = 33. Let k(h) = 180*h + 79. Let b(j) = 60*j + 27. Let d(x) = l*b(x) + 4*k(x). Is d(17) a composite number?
False
Let t(s) = -2*s + 20. Let p be t(11). Let z be 2*(-3 - p)*46/4. Let r = z + 1188. Is r a prime number?
False
Suppose 14*b = -0*b + 28. Suppose -4*r + 5*l = -6 - 12, b*l = 5*r - 14. Suppose 582 = r*z - 952. Is z a prime number?
False
Let z be 9 + -7 + (-2)/2. Let l be (-62)/(z - 0) + 0. Let j = 273 + l. Is j composite?
False
Let u(b) = 83*b + 52. Let a be u(5). Suppose -4*q = -3*q - a. Is q a prime number?
True
Let j = 9023 + 13943. Is j prime?
False
Let q(d) = 4882*d - 7. Let t(a) = 3*a - 31. Let s be t(11). Is q(s) a prime number?
False
Let i(q) = 6615*q + 1. Is i(2) prime?
False
Suppose 9*g = 12*g - 1515. Suppose 32*f - 27*f = -g. Let t = f - -672. Is t a composite number?
False
Suppose 148*p = -4709562 - 1937422 + 58166820. Is p prime?
False
Let p = -763 - -1145. Is p prime?
False
Suppose -22*o = -3*m - 19*o + 211908, 0 = -11*m - 4*o + 776921. Is m prime?
False
Let x(o) = o**3 - 2*o**2 - 2*o - 1. Let b be x(0). Is ((-22911)/(-14) + -7)/(b/(-2)) a composite number?
False
Suppose -4*w = 3*s - 39021 + 3046, 0 = 4*s + 2*w - 47960. Is s prime?
False
Suppose 3*a - 745947 = 4*v, 14*a = 9*a - 4*v + 1243309. Is a a composite number?
False
Is (-4 + 143140/30)*(-78)/(-4) prime?
False
Suppose 0 = -2*b - 157 - 387. Let v = 2335 + -1314. Let g = b + v. Is g composite?
True
Suppose 161*m + 933920 = 165*m + 3*v, 5*m = -2*v + 1167393. Is m a prime number?
True
Suppose 31*s - 144 = 39*s. Let r(w) = -206*w + 79. Is r(s) a composite number?
True
Let m be 833/21 + 1/3. Suppose 2*q = m - 22. Is ((-12)/q - 2/6)*-21 composite?
True
Is (-1 - 1338386/(-6))*((-7)/14 + 2) prime?
False
Let m be 1*(2/(-2) + 8/2). Suppose 5*v - 3335 = m*v - 5*r, 4*v = -5*r + 6645. Is v composite?
True
Suppose -2*h = 2*l + 21376 - 149612, 2*h = 2*l - 128256. Is l prime?
True
Let h be 78/8 + (-81)/(-36) + -3. Is (-18*(-1)/(-2))/(h/(-1101)) composite?
True
Suppose -4*z + 3267 = 5*f, z - 176 = -4*f + 649. Suppose 5*h = -4*k + 22 + 133, 0 = 4*h - k - 103. Suppose 7 - h = -5*p, 2*p = w - z. Is w a prime number?
True
Let o = 6912 - 18895. Let a = o - -26496. Is a a prime number?
False
Is 8 + ((-38877296)/18)/(-8) + 2/(-9) a composite number?
True
Let u(v) = -v**3 - 20*v**2 + 18*v - 34. Let h be u(-30). Suppose -3*m + h = g - 13263, 8 = -2*m. Is g a prime number?
True
Let a(r) be the second derivative of -1/20*r**5 - 23/6*r**3 - 7/6*r**4 + r - 1/2*r**2 + 0. Is a(-16) a composite number?
True
Suppose 0 = 74*u - 6287889 + 1183591. Is u a prime number?
False
Let k = -147905 - -269124. Is k composite?
True
Is (25217 - 570) + (0 + -1)*-2 composite?
True
Suppose -4*n = 0, 6*n = 4*h + n + 36. Let p(u) = -433*u - 20. Is p(h) prime?
True
Let n(a) = -6*a + 24. Let c(v) = -5*v - 31. Let o be c(-7). Let r be n(o). Suppose 0 = -f - 3*s + 877, r*s + 1754 = 2*f - 2*s. Is f composite?
False
Suppose 13*f - 92815 = 36986 + 12380. Is f a composite number?
False
Suppose 3474*j - 3468*j = 140358. Is j a prime number?
False
Let t(i) = -i - 2. Let v be t(-2). Suppose v = -2*o - 1 + 5. Suppose -1040 = -0*g - o*g - 4*u, -5*u = -3*g + 1527. Is g a composite number?
True
Suppose -q - 2*q = 0. Suppose -4*n + 118 = -3*s + 587, q = -4*s + 5*n + 624. Suppose 0 = 2*v + t - s, -5*v = 3*t - 4*t - 367. Is v a prime number?
False
Let i be -2 - (-60*27)/3. Let p be 2/7 + 193578/(-98). Let f = i - p. Is f prime?
False
Let j be (-10)/(-4)*(-64)/80. Let t(o) = -4*o**2 - 70*o - 74. Let f(u) = u**2 + 23*u + 25. Let z(i) = j*t(i) - 7*f(i). Is z(-25) a prime number?
True
Suppose 2268*i - 13701 + 68178 = 2277*i. Is i a prime number?
True
Let i(g) = 103*g + 16. Let k = -44 + 51. Let f be i(k). Suppose 5*q + 375 = 2*t, 4*t + 3*q + 0*q = f. Is t a composite number?
True
Suppose 0 = 3*y - 2*j - 6824, -9100 = -4*y + 6*j - 4*j. Let x = y - 778. Let l = x + -927. Is l a prime number?
True
Suppose -w = -0*x - x + 3, 27 = 5*x - w. Let a be 3/2*20/x. Suppose -3*y = -a*q - 440, 2*q + 436 = 3*y + q. Is y a prime number?
False
Suppose k - 3505 - 5700 = 0. Suppose 2*g = t - 2457, -4*t - 2*g = -613 - k. Is t a prime number?
False
Let d = 55 + -42. Suppose -5*g = 2*m - 21, 2*g - 3*g + 4*m = -d. Suppose -4*t - 5*o = -g*t + 483, -5*o = t - 523. Is t prime?
True
Let n(d) = 2946*d**2 - 51*d + 107. Is n(2) composite?
False
Suppose -15 = -6*k + 9. Suppose 5*d + 0 + 2 = 2*y, -17 = -3*y + k*d. Is 8659/y + 20/(-110) a prime number?
True
Let x = 92 + -90. Suppose -3*s + x*i + 2913 = 0, -11*s - 2922 = -14*s - i. Is s composite?
True
Suppose 2*f - 127991 = -3*x, 28*f - 33*f = x - 319984. Is f composite?
False
Let h = -42563 + 72779. Suppose i + 4*o - 7574 = -0*o, -h = -4*i + 4*o. Is i a composite number?
True
Let i(q) = 476*q**2 - 18*q + 125. Let d be i(7). Let x = -12764 + d. Is x a composite number?
False
Let g(l) = 20*l**3 + 4*l**2 + 14*l - 11. Let r(p) = -2*p**3 + 6*p**2 + p + 3. Let d be r(3). Is g(d) prime?
False
Let x(q) be the third derivative of q**8/1440 + q**7/1008 + 31*q**6/720 + 7*q**5/60 - 15*q**2. Let o(p) be the third derivative of x(p). Is o(10) prime?
True
Let c = 13153 - -20896. Is c prime?
False
Suppose 72*a = 25434 + 5818158. Is a prime?
False
Let z(o) = -o**2 + 4*o + 6. Let w be z(5). Is ((-10821)/(-12))/(15/12 - w) a composite number?
False
Let x = -132872 + 88444. Let q be x/(-8) + 3/6. Suppose 2*p + 3*r = -r + q, 0 = -2*p + 3*r + 5554. Is p prime?
True
Suppose -107*z - 24795395 = -183726240. Is z a composite number?
True
Let j(a) = -2*a - 497. Let u be j(0). Is ((1 - u)/2)/((-234)/(-2262)) composite?
True
Suppose -2*c - 7137282 = -4*w, 4*w - 11158441 + 4021163 = -2*c. Is w/255 - 1/3 a composite number?
False
Let f = 44 + -17. Let u = 44 - f. Let d(y) = 8*y**2 - 23*y + 16. Is d(u) composite?
True
Suppose -20*p + 43109 = -12*p - 36947. Is p a composite number?
False
Let x = -125 + 129. Suppose 0 = y - 4, -x*i + 15977 = i + 3*y. Is i a prime number?
False
Suppose 2*f = -25*k + 24*k + 84021, -420153 = -5*k + 2*f. Is k prime?
False
Let k(v) = 40*v**3 + 4*v**2 + 4*v - 10. Let b(h) = -h**3 + 1 - h**2 + 4*h**2 - 2*h**2. Let m(w) = 5*b(w) + k(w). Is m(4) composite?
True
Let b = 102379 + -29550. Is b a composite number?
True
Let l = -148 - -148. Suppose 5*i - 9770 = -l*i. Is i prime?
False
Let w(k) = 6*k - 52. Let u be w(12). Let c be (u/7)/((-3)/(-21)). Is (2 - 2795/c)*-4 composite?
True
Suppose -13 = -a - a + f, -3*a + 4*f + 22 = 0. Suppose a*j + 329 - 11531 = 0. Is j composite?
False
Suppose -23*p + 37*p + 347438 = 0. Is 8/(-20) - p/5 a composite number?
True
Let k(y) be the second derivative of 524*y**3 + 41*y**2/2 + 176*y. Is k(2) a composite number?
False
Let m be 4618/4 - 2/4. Let o be ((-1560)/(-325))/((-3)/(-10)). Suppose 18*r = o*r + m. Is r a composite number?
False
Let f = 7370 + -4207. Is f a composite number?
False
Su