 Let t = 1607 + a. Is t a prime number?
True
Let i = 41 - 27. Let d be 20/(-35) - (-49638)/i. Suppose d = 4*g + g. Is g a composite number?
False
Let w(n) = n**3 - 3*n**2 + n - 6. Let f be w(9). Let g = f + -229. Is (-2 - -1) + g + -6 a composite number?
True
Let l(f) = 82*f - 1. Suppose 5*k - 6 - 4 = 0. Is l(k) a prime number?
True
Is (-26)/(-221) - 1126042/(-34) composite?
False
Let u(j) = 2*j**2 + 6 - 4 + 2*j**2 - 7 + 4*j. Is u(-10) a prime number?
False
Let a be (24/(-28))/(6/(-28)). Suppose 3*k - j - 2010 = -a*j, 5*k = j + 3362. Suppose 4*d = k + 556. Is d composite?
False
Is (-6 - (-26)/4)*6022 composite?
False
Suppose 0 = -3*a - 5*m - 9, a + 6*m = 2*m - 3. Let z(i) be the first derivative of 20*i**3/3 + i**2 + 3*i + 21. Is z(a) a composite number?
True
Suppose -2*r = -t - 5, 0*t + 20 = 4*r - 4*t. Let q be 2/(1*(2 + -6 - -5)). Suppose r*g + 934 = q*g. Is g a prime number?
True
Let l(v) = -209*v - 416. Is l(-23) a prime number?
True
Suppose 16*a = 270085 + 56907. Is a composite?
True
Let f(x) = x**2 + 5*x - 17. Let g be f(-7). Is (g/4)/((-39)/(-26))*-374 composite?
True
Let g(z) = z**2 + 9*z + 5. Let t be 10*((-36)/15 + 2). Let r be g(t). Is 88/(-16)*(r - -1) composite?
True
Let w = 80 + 758. Suppose 4*s - 3*f = w, -356 = -2*s + 4*f + 58. Is s composite?
False
Let r be (-5)/(-35) + 12/14. Is ((-63)/(-27))/(r/33) prime?
False
Let n(h) = h**2 - 6*h + 9. Let l be n(6). Suppose -l*m + 2896 = -8435. Is m composite?
False
Let c(w) be the first derivative of -2*w**2 - 15*w - 4. Let l be c(-5). Let a(m) = 23*m**2 + m + 3. Is a(l) prime?
False
Let f(s) = -7*s**3 + 10*s**2 + 11*s + 1. Let x(u) = 7*u**3 - 9*u**2 - 10*u - 1. Let t(d) = -6*f(d) - 7*x(d). Is t(-4) prime?
False
Let m(j) = 19*j**2 + 22*j - 19. Is m(31) a composite number?
True
Is 6/((-72)/(-43618)) - (-2)/12 prime?
False
Let u = -19464 - -50771. Is u composite?
False
Let u(d) = 2*d**2 + d - 1. Suppose 0*b = 4*b - 20. Suppose b*p - 4*f + 3 = 0, -3*f - 15 = p + p. Is u(p) a prime number?
False
Let w(b) = -15*b**2 - 11*b + 20. Let u be w(-8). Is 1 - u*(-4 + 5) a composite number?
False
Suppose 23410 = 5*s - 3*d, 12*d - 17*d = -4*s + 18715. Is s a prime number?
False
Suppose -45*o + 68*o - 73577 = 0. Is o a composite number?
True
Suppose 2*l - 198 = 172. Suppose 3*q = -l - 103. Let k = -50 - q. Is k composite?
True
Suppose 78 = -7*b + 4*b. Is 4877/7 + b/(-91) prime?
False
Suppose 0 = 3*d + 4*l - 5, -13 = -3*d - l + 5*l. Suppose a = d - 0. Suppose -a*g - g + 3*x = -2540, -2*x - 2540 = -4*g. Is g a prime number?
False
Let w = -27 + 48. Suppose 5*j + 5*k = 0, 3*k + w = 5*j - 3. Suppose -4*d = 5*y - 273 - 250, j = y. Is d a composite number?
False
Suppose 5*z = 3*g - 428, -2*g - g = 2*z - 463. Suppose -12*j = -19*j - 889. Let k = g - j. Is k a prime number?
False
Is (28/(-4))/14*-10154 composite?
False
Let o = 146 + -140. Is 816/10 + o/15 a composite number?
True
Suppose -6*n - 452 + 10826 = 0. Let a = n - 986. Is a a composite number?
False
Let s(l) = -196*l - 6. Let w = -68 + 63. Is s(w) a composite number?
True
Let p(c) = -c**3 + 2*c**2 - 3*c - 3. Suppose 5*d - 1 = 14. Suppose 0 = d*f + 10 - 1. Is p(f) composite?
True
Suppose -5*o - 4*t + 26013 = -2*t, -3*o = t - 15607. Is o composite?
True
Suppose -3*a + 4*u + 2 = -2*a, -3*u = -a + 3. Suppose -4*f + a*f = 8. Suppose -93 - 223 = -f*w. Is w a composite number?
False
Let s(m) = 6*m**3 + 4*m**2 + 8*m - 1. Is s(5) composite?
True
Suppose l = -l - 104. Let n = l + 141. Is n a prime number?
True
Suppose 3*r + 0*r - 1913 = -5*a, r = 4*a + 615. Is r prime?
True
Suppose -2*m = 14*n - 13*n - 16423, -4*m + 82109 = 5*n. Is n prime?
True
Let b(w) = 4*w**2 + 14*w + 9. Let z = -27 + 16. Is b(z) a prime number?
False
Suppose -3*k = -0*k - 12. Suppose -2*t - 3*d + 31 = 0, 29 + 23 = 4*t - k*d. Is (259/t)/((-2)/(-4)) composite?
False
Let h(r) = 2*r**3 - 9*r**2 - 6*r + 6. Let q(a) = 5*a**3 - 17*a**2 - 11*a + 13. Let m be 0/7 - (-1 - 2). Let t(v) = m*q(v) - 7*h(v). Is t(-11) a prime number?
True
Let z(y) = 4*y**3 - 23*y**2 - 9*y + 59. Is z(16) composite?
True
Let z = -1610 + 2517. Is z a prime number?
True
Suppose 5*s + u + 0*u + 4250 = 0, 3386 = -4*s + 2*u. Suppose -3*k + 0*k - 1776 = 0. Let b = k - s. Is b prime?
True
Suppose -511 = -2*d - 2223. Let t = d + 2255. Is t prime?
True
Suppose -7*j + 3*j - 19334 = 2*d, -2*d + 6 = 0. Is 15/3*j/(-25) a prime number?
True
Let f(j) = -j**3 + 30*j**2 - 20*j + 1. Is f(28) prime?
True
Suppose -113592 + 5342 = -5*a + 3*j, -5*a - 2*j = -108225. Is a a prime number?
True
Suppose 6890 = -3*r + 8*r. Let o = r + 165. Is o prime?
True
Let g = -4668 - -9865. Is g a prime number?
True
Let t = 0 + 10. Suppose 2*h - 2 = 0, 0*r + 4*r = 2*h + t. Suppose r*b = 4*b - 91. Is b prime?
False
Let x(i) = -37660*i + 7. Is x(-1) prime?
False
Is (-23)/(-138) - 800605/(-30) a composite number?
False
Let o(n) = -7*n**2 + 2*n - 3. Let w(t) = -15*t**2 + 4*t - 7. Let c(g) = 13*o(g) - 6*w(g). Let p be c(0). Is (46/p)/(2/51) a composite number?
True
Suppose -554 = h - 4*s, 0*s - 569 = h - s. Let n = 1527 + h. Is n a prime number?
True
Suppose -9*d - 43147 = -367039. Is d/((-24)/4)*2/(-4) prime?
True
Let h be 3 + -1*72*-1. Suppose h = 3*d + 2*d - 2*p, 31 = 3*d - 4*p. Suppose m = 48 + d. Is m composite?
True
Suppose 0 = 5*g - 68 + 68. Suppose -6*q + 11*q - 2765 = g. Is q a composite number?
True
Let r = -2281 - -3188. Is r a prime number?
True
Let i be (-2 + (-7)/(-2))*144/54. Is ((9330/i)/(-5))/((-4)/8) a prime number?
False
Is (1424/40)/((-2)/(-835)) a prime number?
False
Suppose 5*h - 6 = r, 4*h - 3*h = r + 2. Is 8298/27 - r/(-3) a composite number?
False
Let m(q) = q + 0*q + 45 + 1. Let i(s) = -s**2 - 2*s + 8. Let j be i(2). Is m(j) prime?
False
Suppose w - 5*b + 2079 = 5*w, 0 = -2*w - 5*b + 1037. Is w a prime number?
True
Let m(y) = 464*y - 25. Is m(4) prime?
True
Suppose i - 2*i - 6 = 0. Let b = i + 609. Is 2/5 - b/(-5) prime?
False
Is 2495 - -121 - (2 + -1 + 4) a prime number?
False
Let a = 25 - 17. Suppose 0*g = -4*g + a. Suppose 0 = -x + 2*x - g*o - 11, x + 5*o = -3. Is x prime?
True
Suppose -22*o + 170 = -17*o. Suppose -2*a + 16 = 2*i + 4, -2 = 5*i - 3*a. Suppose i*n - c - 37 = 0, 4*c + o = 5*n - 3*n. Is n composite?
False
Suppose 8*v - 4*v + 2*z - 386 = 0, 510 = 5*v - 3*z. Suppose 6*n - 2*t = 5*n + 79, -n + v = 3*t. Is n a composite number?
True
Suppose 2*j + 717 = -j. Let d = j + 421. Suppose 0 = -3*g - d + 737. Is g prime?
False
Let u(x) = -x**3 + 8*x**2 - x + 8. Let n be u(8). Suppose n = f + 4*r + 237, -3*r = 4*f - 5*r + 876. Is (-1)/(2/f)*2 a prime number?
False
Let c(p) = 4*p**3 - 3*p**2 - 2*p - 1. Let z(g) = -3*g - 4. Let r be z(-3). Let d(o) = -o**3 + o**2. Let x(m) = r*d(m) + c(m). Is x(-2) a composite number?
False
Let i be (-5)/((-10)/4) + 5967/9. Suppose 1388 + i = n. Is n a composite number?
False
Suppose -u = -5*u + 40. Let q(a) = 13 + 17*a**2 + 2*a**3 + 10*a - 4*a**2 - 25*a**2. Is q(u) a prime number?
False
Let l = -4571 - -26352. Is l prime?
False
Let i be (3/6)/(8/(-1680)). Let p = 304 - i. Is p composite?
False
Suppose 6*o = 34 - 214. Is (-5)/(o/9909) - 10/20 composite?
True
Suppose 0 = -8*d + 3*d + 20. Suppose 2922 = -d*f + 10*f. Is f composite?
False
Is ((-6)/5)/(80/(-86600)) prime?
False
Suppose 2*h + h + k - 55883 = 0, -2*h + 37270 = -3*k. Is h a composite number?
True
Suppose 2*c + 3*o - 6 = -0, 4*o = 2*c + 8. Suppose -1496 = -5*i + h, c = -2*i - 0*i - 4*h + 594. Is i prime?
False
Suppose -76 - 204 = 5*p. Let c = p + 124. Let q = -17 + c. Is q a prime number?
False
Let m(w) = -73*w + 1. Let p(d) = d**2 + 7*d + 6. Let y be p(-5). Is m(y) a prime number?
True
Let t be ((-2)/(-8))/(7/169036). Suppose -4*y + 2*v = -2*v - 8056, t = 3*y - 2*v. Suppose 0 = 5*i - 7254 + y. Is i prime?
True
Suppose -1988 = -u - 7*d + 2*d, 0 = 2*u + 2*d - 3952. Is u composite?
False
Suppose -10092 = -2*j - 5*p, -15163 = -2*j - j + 5*p. Is j a prime number?
True
Let x(g) = 7*g + 23. Let f be x(0). Let t(n) = n**3 - 23*n**2 + 31*n + 38. Is t(f) prime?
True
Suppose 0*q - 5*q = -325. Suppose -453 = -2*g + q. Let w = g - -258. Is w a prime number?
False
Suppose 3359 = 3*y - 4*t, 0 = 11*y - 8*y + t - 3349. Is y a composite number?
False
Let s = -20 + 20. Let f(z) = z**3 - z - 88. Let a be f(s). Is 22/(-4 + a/(-20)) prime?
False
Suppose 1 + 1 = h. Su