omposite number?
False
Suppose 2*i + 1870 = 2*a, 4*a - 5*i - 2801 = a. Is a composite?
False
Suppose 3*b - 5612 = l, 5*l - 2 = 3. Is b composite?
False
Let a(x) = -x + 14. Let j be a(14). Suppose 6*m - 20 = m, -2*q - m + 594 = j. Is q composite?
True
Let x(z) = -12*z - 3*z**2 + 9 + 0*z**2 + 4*z**2 + 0*z**2. Let s be x(-8). Suppose 0 = 4*l - s + 13. Is l composite?
True
Let j(a) = 4*a**3 + 6*a**2 + 12*a + 11. Is j(11) a prime number?
False
Let v(w) = 4*w - 17. Let o be v(5). Let r(p) = 13*p**3 - 7*p**2 + 4*p - 5. Is r(o) a prime number?
False
Let k(q) be the third derivative of 11*q**5/30 - 3*q**4/8 + 2*q**3 + 13*q**2. Is k(5) prime?
False
Suppose 5*v + 60 = -5*g - 0*g, 4*v - 4*g + 32 = 0. Let u = v + 13. Is 401/3 - 2/u prime?
False
Is 1347/(-6)*(-44 - -1 - -5) a prime number?
False
Let t = -5 - -12. Let h = t - 7. Suppose h = -g + 2, 0 = -2*u - 3*g + 130 + 34. Is u a prime number?
True
Suppose 0*l + 16016 = 5*l - 3*r, 5*r = 3*l - 9600. Is l prime?
False
Let l(y) = -32*y - 5. Let k(g) = g**2 - 8*g + 9. Let u be k(7). Suppose 2*r = 3*d + 16, u*d + r + 4 = -2. Is l(d) a prime number?
False
Suppose 2*d + 3*k = -k + 23190, -2*d + 23204 = -3*k. Is d a prime number?
False
Let j(g) = -g**3 - 26*g**2 + 29*g + 57. Let v be j(-27). Suppose -3929 + 25037 = 3*b. Suppose a = -v*a + b. Is a composite?
False
Let a(j) = -j**3 - 8*j**2 - 5*j - 11. Let p be a(-7). Is (-658)/(-5) - (-15)/p a prime number?
True
Let i = -56264 + 112063. Is i prime?
True
Let i(a) = 7 - 4 + 2*a + 2*a - 2*a. Let u be i(3). Let n = 106 + u. Is n a prime number?
False
Let z(h) = 10*h**2 + 16*h - 5. Suppose -4*g + 3*g - 32 = -3*n, -g = n - 12. Is z(n) a composite number?
False
Suppose -3*o + 22 = 5*s, 7 - 18 = -3*s - 4*o. Suppose 0*d = -4*d + 8. Suppose -s*z + 267 = -d*z. Is z composite?
False
Let i = -12 - -10. Let k(r) = 2*r**3 - 9*r**2 - 16*r + 19. Let p(o) = -o**3 + 10*o**2 + 15*o - 18. Let a(w) = i*k(w) - 3*p(w). Is a(-11) prime?
False
Let a(g) = 1 + 27*g + 1 + 21. Is a(5) prime?
False
Let u = -1105 - -2484. Is u a prime number?
False
Let k = 9595 - 648. Is k a prime number?
False
Let a(p) = -3*p**3 + 10*p**2 + 22*p + 16. Let b be a(-6). Suppose 0 = -0*u + 4*u - b. Is u a composite number?
False
Suppose 1 = -l, -3*t - 3*l + 85 = -7*l. Suppose 2*f - 4*m = f + 3, -3*f + 3*m = -t. Suppose -f - 94 = -3*x. Is x a composite number?
True
Let h(i) = -3801*i - 16. Let o be h(-3). Let r = 17584 - o. Is r a composite number?
False
Let p(w) = w**3 + 39*w**2 + 26*w - 39. Is p(-31) composite?
True
Let d = -4511 + 7268. Is d composite?
True
Is ((-1684571)/35)/(-1) - 6/(-15) a prime number?
True
Let r = 18713 - 11434. Is r a prime number?
False
Let y(a) = -1436*a. Let c be y(-1). Let m be 2*(-15)/(-20)*2. Suppose c = g + m*g. Is g composite?
False
Suppose 2*b - 4*y = -7*y - 42, 2*y = -2*b - 42. Let p = b - -29. Let h(j) = -j**3 + 10*j**2 - j - 7. Is h(p) a composite number?
False
Let b(t) = 10*t - 3. Suppose 2*k - 1 = k. Suppose 2*s + 3*s - z = 19, -s = -3*z - k. Is b(s) a prime number?
True
Let z(x) = -x**3 - 8*x**2 - 8*x - 5. Let m be z(-7). Let n be m/(-4) - 1110/(-12). Suppose 4*c - n = -0*c. Is c a prime number?
True
Suppose -3*k - 421 = -9910. Is k prime?
True
Let j be (5 - 2)/(0 - 1). Let c be -2 + 1 + 2 + -2. Is j/6*(-109 + c) composite?
True
Let j(b) = -24*b - 6. Let k be j(-25). Let r(p) = -2085*p**3 - p**2. Let t be r(-1). Suppose -k = 2*o - t. Is o a composite number?
True
Suppose 0 = -2*o - 2*a + 137890, 0 = -2*o - 3*a + 27405 + 110483. Is o prime?
True
Let l(f) = 9*f**3 - 3*f - 13. Is l(7) prime?
False
Suppose -4*l + 11*l - 266791 = 0. Is l a prime number?
True
Let v(r) = 52*r**3 + 3*r**2 - r + 2. Let q(s) = s**3 - s**2 - s + 1. Let b(z) = q(z) + v(z). Is b(2) a prime number?
True
Suppose 4*x + x = 0. Is (306 + 1)/(x - -1) a prime number?
True
Let i(l) = 348*l**3 - 4*l**2 - l + 25. Is i(4) a composite number?
False
Let w(g) = -1. Let q(f) = 204*f - 19. Let u(j) = q(j) - 6*w(j). Is u(4) a prime number?
False
Suppose 0 = -5*t, 4*f + 0*f = -4*t + 16. Let s be (-11)/f + 1/(-4). Let g(k) = -12*k - 2. Is g(s) composite?
True
Is (452964/9)/(4/3) prime?
True
Let y be -186*(-365)/(-30)*-3. Suppose -4*n = y - 17761. Is n composite?
True
Suppose 15*t = 22*t - 36029. Is t composite?
False
Suppose -5*z + 5*i = -0*i + 4980, -4977 = 5*z - 2*i. Let k = -622 - z. Is k a composite number?
False
Let s = 1 - -2. Suppose 0 = 2*v + s*v - 4*f - 13, 4*v - 29 = -3*f. Suppose 34 = 3*q - v. Is q a prime number?
True
Let b be (6 - 7) + (1 - 233). Let l = 804 + b. Suppose 5*c = -t + l, -c - 341 = -4*c - t. Is c a prime number?
False
Is 15/10 - (-73228)/8 a prime number?
False
Let w = -471 + 5222. Is w a prime number?
True
Suppose -q = 1352 + 278. Let l = 3963 + q. Is l composite?
False
Let d(r) be the first derivative of 29*r**3/3 + 7*r**2/2 + 9*r + 2. Is d(-5) composite?
True
Suppose 4*q - 17 = 3. Suppose -2*s + 4*y + 178 = 0, q*s + 2*y = 4*y + 485. Suppose 0 = -6*k + s + 705. Is k a composite number?
True
Suppose -142*t - 197272 = -150*t. Is t composite?
False
Suppose -2*k + 2*c + 0*c - 8892 = 0, 22230 = -5*k - 2*c. Suppose 4*o - 2*m = 3*o - 93, -o - 96 = m. Is k/o - 2/(-10) composite?
False
Let z(m) = m**2 - 5*m + 3. Let q be z(5). Suppose -5*x = -q*o - 68 - 266, -2*o = -x + 71. Is x prime?
False
Suppose 2*u = 4, m - 17*u + 5 = -13*u. Suppose p = 6 + 11. Is (p + -2)*53/m a prime number?
False
Let g = -189 - 36. Let p be ((-6)/15)/((-1)/55). Let o = p - g. Is o composite?
True
Let u be (-1)/(3*1/(-9)). Suppose -2*z + u*k + 538 = 0, 3*z - 561 - 224 = -k. Is z a prime number?
True
Suppose 0 = t - 1 + 2. Is (-6 + 44/(-8))/(t/2) a prime number?
True
Let x = -14626 - -33083. Is x composite?
False
Suppose 4*j - 13166 = 34702. Is j a composite number?
True
Let t be (-2 - 0) + 2 + 0. Suppose -3*k + 5646 - 1269 = t. Is k composite?
False
Let i(k) = 2*k**3 - 3*k**2 + 2*k - 2. Let y be i(2). Let d = 6 - y. Suppose d = -5*m + 222 + 473. Is m composite?
False
Is 115953/11 + 14/(-77) a prime number?
False
Let u be (118/2)/(1 - 0). Suppose -u*l + 60*l = 133. Is l prime?
False
Suppose -17*v + 1003 - 13158 = 0. Suppose -418 = k + 2*l, 2*k = l - 753 - 63. Let a = k - v. Is a prime?
False
Is (-319847)/33*(-1 + -2) prime?
True
Suppose 0 = -2*u - u. Suppose -88 = -u*r - r. Suppose -r - 252 = -4*j. Is j a prime number?
False
Suppose -5*j - 10*w = -7*w - 107698, -w + 86164 = 4*j. Is j a prime number?
False
Suppose -2*n - 4*l + 1324 = 2*n, 4*l + 1664 = 5*n. Let a = -183 + n. Is a a prime number?
True
Let z(q) = 2*q**3 + 31*q**2 + 19*q - 19. Let o(r) = r**3 + 15*r**2 + 9*r - 9. Let l(p) = 13*o(p) - 6*z(p). Is l(-7) prime?
False
Suppose 0 = 5*x - 2*b - 9438, 5*x + 4*b - 11516 = -2072. Let u = x + -895. Suppose y + 2*y = u. Is y a composite number?
False
Let o(u) = -10*u + 2*u**2 + 0 - 2 - 7*u**3 + 12*u. Is o(-2) a prime number?
False
Let d(h) = -h**3 + 22*h**2 - 34*h + 51. Is d(16) a prime number?
False
Let x(j) = 23*j**3 - j**2. Let n be x(-1). Let z = -32 - n. Is (-44)/z*(-10)/(-1) composite?
True
Suppose -5*l = g - 14, -2*l - g = -6 - 2. Let y(z) = 749*z + 1. Is y(l) composite?
False
Is 3 + -8 + (3262 - 18) a prime number?
False
Let i = 64 + -59. Is i/((-20)/(-1272)) - (2 - 1) a prime number?
True
Suppose 31*r = 29*r + 4198. Suppose -s = -3, 16762 = -4*m - s - r. Is m/(-7) - (-6)/21 prime?
False
Let n = 4627 + -3145. Is -1 - 7/((-21)/n) a prime number?
False
Let f be ((-30)/(-75))/((-4)/10). Let o(s) = -912*s - 1. Is o(f) a prime number?
True
Let c(o) = -43200*o**3 - 7*o**2 - 6*o. Is c(-1) a prime number?
False
Suppose 0 = -5*y - 1 - 4. Let z(p) be the third derivative of -2*p**6 - p**5/30 - p**4/24 + p**2 - 3*p. Is z(y) composite?
False
Suppose 3*c + 2*p - 5 = 0, -2*p + 3*p = 2*c - 1. Is (759 + 10)/(c/5) prime?
False
Let w(j) = j**3 + 5*j**2 + 4*j + 8. Let s(n) = 3*n**3 + 11*n**2 + 7*n + 17. Let d(g) = 2*s(g) - 5*w(g). Let z be (-1 - 24)*6/(-30). Is d(z) a composite number?
True
Let v be (-1)/4 + (1 - (-12)/(-16)). Suppose -3*g + 6618 - 603 = v. Is g composite?
True
Let a(z) be the third derivative of z**7/2520 - z**6/144 - 7*z**5/120 + z**4/8 + 5*z**2. Let u(w) be the second derivative of a(w). Is u(-8) prime?
True
Let o(s) = 73*s**3 + 5*s**2 - 6*s + 7. Let v be o(4). Suppose -4*y + v + 1093 = 0. Is y composite?
True
Suppose 0