rime?
False
Let k(m) = m**3 + 13*m**2 + 12*m + 4. Let f be k(-12). Suppose f*v - 6*v + 262 = 0. Is v a composite number?
False
Let x be -2*(-2)/12*15. Suppose -16 = 4*t - x*v, -2*v = t - 0*v - 9. Is 34 - (-2 + (t - 0)) a composite number?
True
Let f be 4/6*246 - -2. Suppose -3*x + x + f = 0. Is x a composite number?
False
Let x be 3*((-1)/3 - -1). Suppose -x*j - 122 + 22 = -4*q, 2*j = 5*q - 104. Let h = 79 + j. Is h a composite number?
False
Let b(u) = u**3 - u**2 - 2*u + 3. Let f be b(2). Suppose f*r = -r + 228. Is r a composite number?
True
Let b(h) = -h**2 - 8*h - 5. Let z be b(-7). Suppose z*f = -f - 3*j + 156, 0 = 5*j + 25. Is f a composite number?
True
Let b be 0/(3/6*4). Suppose 4*p + b*p + 64 = 0. Let y = 22 + p. Is y prime?
False
Suppose -3*t + 4*y + 6 = 0, -5*t = 2*y + 15 - 51. Is 214/t + (-4)/6 prime?
False
Suppose -177 = n - 470. Is n prime?
True
Let h = -1015 + 4088. Is h composite?
True
Suppose 3*x - 9 = 0, 7208 = d + 3*d + 4*x. Is d a prime number?
False
Suppose -3*d + 268 - 106 = 0. Let l = d - 35. Is l prime?
True
Is 2867/6 - (-3)/18 prime?
False
Suppose 5*f - 5 + 15 = 0. Is 158/(1 + 1) + f composite?
True
Suppose -691 = -5*w + 17024. Is w composite?
True
Let t(b) = 21*b**3 - b**2 - 8*b + 3. Let f(d) = d**3 - d + 1. Let w(a) = 6*f(a) - t(a). Is w(-2) a composite number?
True
Suppose 4*r - 19 = 9. Suppose -5*m + 2*j = -433, 3*j - 16 = r*j. Is m a composite number?
True
Suppose -3*y = -y. Let d = 0 + y. Suppose 0*u + 5*u - 335 = d. Is u prime?
True
Suppose o - 3*p = -3 + 5, 0 = 2*o - 2*p - 4. Suppose 0*s - 248 = -o*s. Suppose -q = -5*q + s. Is q a prime number?
True
Suppose -y - 4*t + 8 = 0, -5*y + 4*t + 8 = -8. Suppose 2*w - 50 = -j, -5*j - 70 = -y*w + 30. Is w a prime number?
False
Suppose -3*b - 2*o - 4 = 0, -3*b + 9 = -5*o - 1. Suppose -26 = -g - b*g. Is g prime?
False
Let g(j) = -60*j + 1. Is g(-2) prime?
False
Let a(j) = -6*j - 3. Let f = 4 + -7. Is a(f) a composite number?
True
Suppose -3*p = 9, 2*i + 3*i - 22 = 4*p. Let a be 3 - ((-2 - 2) + i). Suppose 7 = -u - 5*l + 94, -a*l + 475 = 5*u. Is u a composite number?
False
Let p = 0 - -3. Suppose -3*w = -h - 916, 0 = p*w + 3*h - 672 - 264. Is w prime?
True
Let o be ((-120)/9)/(6/(-27)). Let x = -23 + o. Is x a prime number?
True
Let h(y) be the first derivative of -25*y**3/3 + 5*y**2/2 + 4*y + 3. Let z(k) be the first derivative of h(k). Is z(-6) composite?
True
Let i(k) = -540*k**3 + 2*k**2 + k. Is i(-1) prime?
True
Let r(f) = 8*f + 2. Let d(w) = w**2 - 5*w + 5. Let a be d(4). Let k be 75/18 + a/(-6). Is r(k) composite?
True
Let c(a) = -a**3 + 2*a**2 + a + 2. Let b be c(3). Let r be (-2)/(b/9)*6. Is r*2 - (-5 + 4) a composite number?
True
Let d be (3 - -7)/(-2)*-1. Suppose 0 = d*p - 90 - 75. Is p prime?
False
Let h = 520 + -191. Is h composite?
True
Let k(b) = 22*b**2 - 7*b - 2. Let n be k(-5). Suppose -3*h = -v + 109, -5*v = 2*h + 2*h - n. Is v prime?
False
Let j = 342 + -103. Is j a prime number?
True
Suppose 0*p + 2*p - 2234 = 0. Is p a composite number?
False
Let c(w) = -2 - 10*w + 5*w + 4 + 2*w**2. Is c(-5) a composite number?
True
Suppose 4*y + 4*v = 1900, -y + 4*y = -2*v + 1429. Is y prime?
True
Suppose 0*d = d - 2, 68 = w - d. Let z = 107 - w. Is z a prime number?
True
Let l(r) = 4*r - 3. Let v be l(2). Suppose 4*n + 4 = -2*w, -n - 1 = 3*w - v. Suppose -2*f - f - w*x = -118, 3*f = -x + 116. Is f a prime number?
False
Let m be (2/3)/(8/60). Let b(q) = q - 6*q + 28*q. Is b(m) prime?
False
Suppose a - 4*n = 676 + 125, 1647 = 2*a + n. Is a prime?
True
Suppose -c = 2*i - 125, 5*i = c + 6*i - 129. Suppose -c - 88 = -o. Is o prime?
False
Suppose -3*k + 1757 + 148 = -3*u, 4*k + 5*u - 2540 = 0. Is k a prime number?
False
Let v(z) = z**2 - 8*z + 8. Let d be v(7). Is 993/(-6)*(-3 + d) prime?
True
Let w be (-14)/28 - (-125)/2. Suppose d - w = 9. Is d composite?
False
Let t(y) = -y**3 - y**2 + 4*y. Let a be t(-3). Suppose -a*h + 53 = -2*h - 5*n, -4*h + 18 = 2*n. Suppose 0*l - l + h = 0. Is l prime?
True
Suppose -5*j = -3*j - 2*q + 84, 0 = -3*j + q - 120. Let t = j - -78. Is t a composite number?
True
Suppose -2*g + y + 64 = -2*y, 4*g - 3*y = 128. Let b = 54 - g. Suppose 0*z - b = -z. Is z prime?
False
Suppose 2*w - 15 - 93 = 2*j, -3*w + 168 = -5*j. Is w composite?
True
Let g(m) be the second derivative of -m**5/20 - m**4/3 + 3*m**3/2 + m**2/2 - 2*m. Is g(-7) a composite number?
True
Suppose 4*p + d = -0*d + 11, -p + 5 = -2*d. Suppose 169 = p*g + t + 3*t, -5*t + 5 = 0. Is g composite?
True
Let r(q) = 84*q**2 + q + 2. Is r(-1) a prime number?
False
Suppose -2*c = c + 27. Let o = 2 - c. Is o a prime number?
True
Suppose -2*c = -3*c - 4. Let a be (2/c)/((-4)/344). Suppose 0 = u + a - 134. Is u prime?
False
Let p(s) = s**3 + s**2 + 2*s + 491. Is p(0) a prime number?
True
Let x(a) be the third derivative of a**6/120 + a**5/30 - a**4/6 - a**3 + 4*a**2. Is x(5) a prime number?
True
Suppose 2*g - 5*g = -t + 170, -5*g = t - 138. Is t a prime number?
False
Let p(v) be the first derivative of 7*v**2/2 - 7*v + 5. Is p(6) composite?
True
Let p be 2/(-9) + (-58)/(-18). Suppose -p*v + 185 = 2*v. Is v prime?
True
Let x be 295 + (0 + -2 - 0). Let y be x + 4 - -1*1. Is y/6 + 2/(-3) a composite number?
True
Suppose 386 = 2*y + 96. Is y a composite number?
True
Suppose 25*s = 3*s + 24178. Is s a prime number?
False
Let l = -156 + 271. Let c = 166 - l. Is c a prime number?
False
Let r(m) = -6*m - 5*m**2 - m**3 - 6 - 2*m**2 + 1. Is r(-7) a composite number?
False
Let n(c) = -13 + 198 + c + 6. Let q = 2 + -2. Is n(q) composite?
False
Let g be (-6)/(-5)*(-30)/9. Let n be (3 + g)/((-1)/(-3)). Is n/9 + (-120)/(-9) prime?
True
Suppose 0 = 4*i - 5*i + 15. Is i a prime number?
False
Let q = 195 - -48. Suppose 4*k + 2*x = 960, q = -3*k + 4*k + 2*x. Is k a composite number?
False
Let m = -6 + -2. Let u(r) = r**2 + 7*r - 8. Let d be u(m). Suppose -3*w + 41 = -y, d*w + 2*y - 30 = -2*w. Is w composite?
True
Let h(k) = 3*k**2 - 3*k - 3. Suppose -3*x = -4*c + 24, 3*x = -19 + 7. Suppose j + c = 1. Is h(j) prime?
False
Suppose 2 = -4*y - 2. Let f be -1 + (1 - 1) + 3. Is (f + -115)/(y*1) prime?
True
Suppose 6*g = 4*g. Suppose g = -4*l + 2*d + 312, 3*l + 69 = 4*l + 4*d. Is l a prime number?
False
Let p = 17 + -12. Suppose -9*n + p*n + 1028 = 0. Is n a prime number?
True
Suppose k = 3*k. Suppose k = -t + 6*t - 95. Suppose -3*c + 2 = -t. Is c prime?
True
Suppose v - 3*v - 388 = 0. Is 2/6 - v/3 a composite number?
True
Suppose 4 = -0*m - 2*m, -r - 3*m = -33. Let t be ((-2)/5)/((-1)/(-5)). Is (-1)/((-1)/r) + t prime?
True
Let a be (-1 - -5)/(-2 - 0). Is a/1*(-1266)/12 composite?
False
Let l = -595 + 1074. Is l composite?
False
Suppose -6*f = -7*f + 1949. Is f a composite number?
False
Suppose 0 = 5*c - 37 - 68. Is c a composite number?
True
Suppose -3*g + 11 = -3*x - 46, 2*g + 3*x = 38. Is g a prime number?
True
Let g(u) = -u**3 - 5*u**2 + u + 2. Is g(-9) composite?
False
Let y be 114/(-18) + 4/(-6). Let l = -3 - y. Suppose 0 = -l*s - 622 + 1554. Is s a composite number?
False
Let f(h) = 5*h - 5*h + 0 - 10 + 13*h. Let l be f(10). Suppose 5*b + 2 = -2*u + u, -5*u + b + l = 0. Is u a composite number?
False
Let q(w) = -w + 19. Let p be 0/(-3) - 1 - -1. Is q(p) a composite number?
False
Suppose b = 5*g + 3790, b + 4*g + 0*g - 3817 = 0. Is b prime?
False
Suppose -4*w = -8, h + 9 - 376 = -4*w. Let o = h + -196. Is o a prime number?
True
Let c = -243 - -502. Is c a composite number?
True
Let b(n) be the second derivative of 5*n**5/4 + n**4/12 + n**2/2 + n. Is b(3) prime?
False
Suppose -2*d - 2*f + 714 = -260, 0 = -2*d - 5*f + 962. Is d composite?
False
Suppose 7*v - 2*v - 4915 = 0. Is v prime?
True
Let p = 6977 + -3958. Is p a prime number?
True
Suppose 276 + 2254 = 2*c. Suppose -8*f = -3*f - c. Is f composite?
True
Is (-267)/(-39) - 7 - (-30242)/26 composite?
False
Let w(z) = 5*z**3 + 3*z**2 - 3. Let m be w(-3). Let q = 166 + m. Is q a composite number?
True
Is 3 + (-1)/(4/(-224)) composite?
False
Let u = 7005 - -2956. Is u a prime number?
False
Let b(f) = -f**3 + 9*f**2 - 8*f + 11. Let r be b(8). Let j(p) = 3*p**2 + 6*p + 9. Let a be j(-6). Suppose -5*h + a - r = 0. Is h composite?
True
Let o(z) = -70*z - 9. Let v be o(3). Let t = v - -316. Is t composite?
False
Let s be (1 - 1)*(-1 - -2). Let b = s + -2. Is b - (-1 + 0) 