omposite number?
True
Suppose 2*f - 537 = -5*l, 0 = 2*l - f + 6*f - 198. Is l prime?
True
Suppose 170 + 96 = 7*k. Is k composite?
True
Suppose 2*b + 2318 - 615 = 3*j, -3*b = 12. Is j a prime number?
False
Let o be 7*-1 + (3 - 0). Is (-2)/o*1*118 prime?
True
Suppose 0 = v - 4*w + 2, 0*v + w - 9 = -4*v. Let b be 2*(v/1 - 0). Suppose -5*r + 20 = 2*d, 0*r = -4*d + b*r + 40. Is d composite?
True
Suppose y + g + g + 103 = 0, -541 = 5*y - 3*g. Suppose 0*z - 226 = z - 2*x, -4*x = -4*z - 920. Let r = y - z. Is r prime?
True
Let o = -102 + 21. Let r(b) = 178*b**2 + b - 1. Let l be r(1). Let z = o + l. Is z composite?
False
Let b(p) = p + 35. Let q = 0 + 3. Suppose -2*c = q*c. Is b(c) a prime number?
False
Suppose 4*v - 2*v + 52 = -2*m, -2*v + m - 46 = 0. Let g = v - -6. Let t = 37 + g. Is t prime?
True
Let p(i) be the third derivative of -11*i**4/24 + i**3/3 + i**2. Is p(-7) a prime number?
True
Suppose -2*h + 6*h = 236. Let j = -22 + h. Is j composite?
False
Let x be -1 - (-1 - (-1234)/2). Let k = -406 - x. Is k a composite number?
False
Let c = -2 + 5. Suppose -f - c*f = -152. Suppose -7 = 5*r - p - f, r - 5*p + 13 = 0. Is r composite?
False
Is (-2 - -7 - 1) + 123 composite?
False
Let o(d) = -4*d + 1. Suppose 16 = -2*g - 2. Is o(g) a composite number?
False
Let s(p) = p**2 - 4. Let z be s(2). Let t(k) be the second derivative of k**3/6 + 3*k**2 - k. Is t(z) a prime number?
False
Let k be 4/10 + 846/(-15). Let r = -108 + k. Is 6/(2/(-1)) - r a composite number?
True
Let n = -11 + 25. Suppose -3*z - 5*c + n = 0, z + c = 2*c + 2. Suppose 4*w + 0*v = z*v + 132, v = 0. Is w a prime number?
False
Let k = 6 + -8. Is -1*((-102)/2 + k) a prime number?
True
Let k be (-4)/(-6) + 73/3. Let i(x) = 38*x**3 + x - 1. Let t be i(1). Let m = t - k. Is m a composite number?
False
Suppose -5*j + j + 12 = 0. Suppose -5*s + 3*b = -173, -j*s + 5*b - 37 = -144. Is s composite?
True
Let b(q) = q**3 - 3*q**2 - q**2 + 11*q**3 + 22*q - 24*q + 5. Is b(4) a composite number?
False
Let a(i) = 20*i**2 - 7*i + 9. Is a(6) prime?
False
Let y be 2 - 13 - (4 + -3). Is 1/(-3) + (-3592)/y composite?
True
Let l = 7 - 5. Suppose b + l*b + 6 = 0, -x - b - 3 = 0. Is (x + (-6)/(-4))*42 prime?
False
Let c(r) = r**3 - 9*r**2 - 3*r - 3. Let z be c(10). Suppose -4*i + 215 = z. Is i prime?
True
Let i(r) = 19*r + 5. Is i(6) a prime number?
False
Let m = -8 - -11. Suppose -652 = -7*w + m*w. Is w composite?
False
Let p(u) = -203*u + 97. Is p(-14) a prime number?
True
Suppose 0 = -5*v - 5*t - 10, -v - 4*v + 2*t = -11. Suppose -z = -6*z + 15. Is (-91 - z)/(-2)*v a prime number?
True
Let r(c) = -c**3 + 6*c**2 - 4*c + 1. Let w be r(5). Let m(b) = b**3 - 6*b**2 + 3. Is m(w) a prime number?
True
Let f(i) = -301*i**3 - i - 1. Let o(d) = 3*d + 4. Let g(k) = -4*k - 5. Let u(b) = -4*g(b) - 5*o(b). Let x be u(-1). Is f(x) composite?
True
Let k = 84 - 30. Let a = -35 + k. Is a composite?
False
Suppose 2*t - 2039 = -3*z, 2 = 2*t - 0. Is z composite?
True
Let t be 5/((-30)/(-29) - 1). Suppose -t = -3*d + 2*d. Is d composite?
True
Suppose 4*o = 2*o + 956. Is 4/(-6) + o/6 composite?
False
Suppose -6*w + 3*w - 18 = 0. Let i(n) = -12*n + 12. Let b(m) = 13*m - 13. Let t(u) = 5*b(u) + 6*i(u). Is t(w) composite?
True
Suppose d + 3*s - 2*s = 5, 5*s - 25 = 0. Let u be 0*(-2 - (-3 + d)). Is 252/7 - (u + -1) prime?
True
Suppose 16230 = -39*v + 49*v. Is v composite?
True
Let h = 4 - 5. Is 174/5 + h/(-5) a composite number?
True
Let g = -2 + 7. Suppose -g*y - 3*w = -100, 3*w = y + 2*y - 84. Is y composite?
False
Let p = 1 + 4. Suppose -s - p*f = 0, -5*s + 2*f - 15 - 12 = 0. Is 122/4 + s/(-10) prime?
True
Suppose -h + 2*o + 30 = 3*o, 0 = 3*h + o - 98. Suppose -174 = -4*i - h. Is i a prime number?
False
Suppose -8*u + 2*u = -966. Is u a prime number?
False
Let l(s) = 7*s**3 - s**2 - s. Let p be l(-1). Let b(g) be the third derivative of g**5/60 + g**4/6 - 4*g**3/3 - 5*g**2. Is b(p) prime?
True
Let t(x) = -x**3 - 7*x**2 - 6*x + 7. Suppose -3*d - w = -25 + 5, 3*w - 20 = -d. Suppose d*o + 22 + 8 = 0. Is t(o) a composite number?
False
Suppose 0*v + 3*v = 15. Suppose v*c + 126 = 1181. Is c prime?
True
Suppose 7*w = 3*w + 3988. Is w prime?
True
Suppose -2*g - 2*g + 8 = 0, -2*n + 484 = -5*g. Is n a prime number?
False
Let c(m) = -14*m - 1. Let k be c(-6). Suppose 0*t + t - k = 0. Is t a composite number?
False
Let z(n) = n**2 + 3*n - 7. Suppose 0 = 3*o - 2*o + 5. Let f be z(o). Suppose -f*d - 2*q = -155, 10 = -2*q - 3*q. Is d a composite number?
False
Let u = -6948 - -12295. Is u a composite number?
False
Let z(a) = 0*a**2 - 11*a - 2*a**2 - 3*a**2 + 4*a**2 - 1. Suppose 3*m + 35 = -4*g, -3*g - 4*m - 17 = 11. Is z(g) a prime number?
True
Suppose -4*h + 7038 = -2*c, 3*h + 5*c = 195 + 5051. Is h composite?
True
Suppose 0 = -3*q + 5 + 1. Let p = q + 1. Is p a prime number?
True
Let o be (1/(-3))/(9/135). Let w(x) = x**2 - x + 5. Let n(t) = 5*t**2 - 4*t + 20. Let a(d) = 2*n(d) - 9*w(d). Is a(o) composite?
True
Is (3/9)/((-5)/(-1665)) prime?
False
Is (-5)/((-5)/381) + -3 + 3 a prime number?
False
Let c be 27/18 - (-2)/4. Suppose -c*g - r + 218 = g, -2*r = -2*g + 156. Is g prime?
False
Suppose 5*f - 8519 = 486. Is f a composite number?
False
Suppose 0 = 2*z - 4, -152 + 1636 = 5*i - 3*z. Let p = i - 211. Is p a composite number?
True
Suppose 5*d = 2*o - 5, -3*d = -o + 2*d. Suppose o*j + 0*j - 35 = 0. Is j composite?
False
Suppose 4*n - 16 = 0, 0*n + 214 = 2*i - 2*n. Is i composite?
True
Suppose -5*z = -3*s - 2*s - 20, 20 = -z - 5*s. Suppose z*b = -5*b + 10. Suppose -3*y - 4*n + 28 = -109, -b*y = n - 93. Is y composite?
False
Let z(t) = 4*t**3 + t**2 + 1. Suppose 0 = -3*o + 2*o. Suppose 0 = 2*i + j + 1 - 3, o = i + j. Is z(i) a prime number?
True
Let o be (1 - (-1 + 2)) + -1. Let w be (-146)/(o*(2 - 1)). Suppose 24 + w = 5*f. Is f prime?
False
Suppose 9*k - 2417 = -o + 4*k, -o + 5*k + 2457 = 0. Is o composite?
False
Let x = -6 + 8. Let d(y) = 3 + x*y + y + 2 - 2*y. Is d(9) a composite number?
True
Let c(w) = w**3 - 6*w**2 - 7*w + 3. Let o be c(7). Suppose 4*k + o*y - 33 = 4*y, k - 21 = -4*y. Is k prime?
False
Let h(o) = -o + 17 - 5 + 2*o. Let g be h(10). Let q = -8 + g. Is q a prime number?
False
Suppose -6*k + 5856 = 1926. Is k prime?
False
Suppose 2*w = 3*w - 3*h - 131, -h + 131 = w. Let b = -4 + w. Is b prime?
True
Let j(c) be the third derivative of -c**6/120 + c**5/4 - 7*c**4/12 + 13*c**3/6 - 3*c**2. Is j(9) composite?
False
Suppose 2*d + 8 + 12 = v, -4*v - 20 = 2*d. Let b = 129 + d. Is b a composite number?
True
Suppose 3*v = -0*v + 1761. Is v prime?
True
Let m(g) = 60*g - 8. Let h be m(4). Suppose 2*y - 6*y + h = 0. Is y prime?
False
Let p(l) = 3*l**2 - 6*l + 1. Let h be p(-5). Let d = 7 + 14. Let k = d + h. Is k composite?
False
Is (3 - (-805)/(-20))*-4 prime?
True
Suppose 0 = 12*p - 11*p - 1187. Is p a composite number?
False
Let f be (-4)/10 + 80/(-50). Is -1*2/(f/493) composite?
True
Suppose -5*p - 19 = 4*o, -4 - 6 = 4*o + 2*p. Let u(r) = -36*r - 1. Let y be u(o). Is y/20*(-1 + 69) a prime number?
False
Let q = 18 - 19. Is 8/(-4) + (q - -412) prime?
True
Is 0 + (-3 - -6) + 232 a prime number?
False
Suppose -2*h - 5*v - 1033 = 0, h - 5*v + 26 = -468. Is 2/(-8) - h/4 a composite number?
False
Let g be (-111)/(-6) + 2/(-4). Let c = -11 + g. Is 369/c + (-6)/(-21) a prime number?
True
Suppose 5*t - 4*o - 25 = 0, -4*t + 0*o - 4*o = -20. Suppose t = -2*s + 83. Is s a composite number?
True
Let i = -273 - -193. Let w = 49 - i. Is w prime?
False
Suppose -1845 = -3*n + 5154. Is n prime?
True
Suppose -3*c = 2*k - 19, -c + 33 = 4*c + 4*k. Suppose -c*y - 24 + 209 = 0. Is y a prime number?
True
Let d = -238 - -333. Is d prime?
False
Suppose d - 2 = -0*d. Suppose -3*w + 289 = -w + 5*y, 2*y - 304 = -d*w. Is w a composite number?
False
Let y = 41 + 240. Suppose 3*a - y = -4*w, 3*a + 5*w - 3*w - 271 = 0. Is a composite?
True
Suppose f = -0*f + 8. Suppose -f = -l + 11. Is l a prime number?
True
Let z(g) = 7*g. Let a be z(3). Let l(y) = -y**3 + 6*y**2 - 6*y. Let c be l(5). Let q = a - c. Is q composite?
True
Suppose -g - 4*g - 19 = -2*v, -v + 17 = -5*g. Let c(z) = -10*z - 1. Let s be c(-1). Is (237/s)/((-1)/g) prime?
True
Let x(d) = -d**2 - 29*d - 23. Is x(-19) prime?
True
Let v(d) = -243*d - 70. Is v(-13) a composite number?
False
Suppose 0 = 2*p - 2