9). Suppose 5*a - z = 3*v, -a + 4*v - v = -197. Is a a composite number?
True
Let d be (0 - -3510) + (4 - -1). Suppose z + d = 4*z - 4*l, 5*z = 2*l + 5877. Is z a composite number?
True
Let y = -6117 - -15908. Is y prime?
True
Suppose 20*a - 191308 = 166672. Is a prime?
False
Let o(x) = -9235*x + 99. Is o(-4) a prime number?
True
Let b(p) = 5*p**2 + 12*p + 15. Let q(r) = 2*r + r - 4*r - r**2 - r**3 - 1. Let v(d) = b(d) + 6*q(d). Is v(-4) prime?
True
Let q(s) be the first derivative of s**4/4 + 17*s**3/3 + 7*s**2 - 15*s - 140. Suppose 0 = 3*x + 25 + 14. Is q(x) a prime number?
True
Suppose -3*m = -0*j + j - 27, 0 = -2*m + 4*j + 32. Is 132022/110 + 8/m prime?
True
Suppose -4704 = 7*d - 45577. Is d composite?
False
Let c(q) be the second derivative of 7*q + 1/20*q**5 - 4/3*q**3 + 3/4*q**4 + 0 + 1/2*q**2. Is c(-8) prime?
False
Let l(y) = 2939*y - 212. Is l(11) composite?
False
Suppose 5*d - 4924 = 47881. Let k = d - 5522. Suppose 3*g = 4*r - k, 2*r + 0*g - 4*g - 2522 = 0. Is r prime?
True
Suppose 2*g + 3*g - 1030 = 0. Suppose -5*c = w + 33, 17 = w - 2*c - 3*c. Is 2 - -1 - (w - g) a composite number?
True
Suppose 8 = -2*i + 48. Suppose 0 = 4*m + 4 - i, 0 = 5*o - 2*m - 677. Suppose s - 84 = o. Is s composite?
True
Let l = 10419 + -4856. Is l a composite number?
False
Suppose m + 15 = -4*m. Let z = -250 - -261. Is (z/m)/(5/(-1005)) prime?
False
Let b be 10 + -2 + 1 + -2. Suppose y = x - b, -y + 0 = 5. Suppose -j - 58 = -x*j. Is j a composite number?
True
Suppose 4*q - 2*q - 60 = -5*a, 4*q = -2*a + 136. Suppose 0 = 5*w - 6280 + q. Is w a composite number?
False
Let n(z) be the second derivative of -7*z**3/6 - 6*z**2 - 15*z. Let f = 4 + -17. Is n(f) prime?
True
Suppose 4*n = -2*u + 50808, -3389 = n - 2*u - 16086. Is n a composite number?
True
Let l(y) = 16*y**2 - 17*y - 103. Is l(-14) prime?
True
Let n(v) = -182*v - 4. Let j(y) = -183*y - 4. Let u(d) = -3*j(d) + 2*n(d). Is u(3) a prime number?
False
Is (-2183*5/15)/(2/(-6)) a prime number?
False
Is (2 - (-62)/2)*23047/57 a prime number?
False
Suppose 2814 = 16*x - 2*x. Is x composite?
True
Let z = -132 + 283. Suppose -3*o = 13 + 11. Let t = o + z. Is t prime?
False
Suppose 41*u - 125230 = -43763. Is u a composite number?
False
Suppose 30 = -4*b - 2*i, 3*i - i = 2*b + 24. Let o be (-6)/4*30/b. Suppose 3*g = -g + 3*k + 437, o*g + 3*k - 580 = 0. Is g prime?
True
Suppose -o - o + 12 = 0. Let y be ((-10)/3 - -3)*o. Is (0 + -109)/(-3 - y) a prime number?
True
Let j = -93 - -13. Is j*9*-1 - 3/3 a composite number?
False
Let r(z) be the first derivative of 111*z**2 + 7*z - 17. Is r(6) prime?
False
Let x be ((-8)/(-6))/((-1)/(-6)). Suppose 1611 = x*i - 2141. Is i a composite number?
True
Let c(i) = -17368*i + 171. Is c(-2) a prime number?
False
Suppose -8*r = -16 - 0. Let n(l) = 6 + 19*l**2 + 7*l - 16*l**2 + 7*l**r. Is n(-5) a composite number?
True
Suppose -n + 4*n - 4*y - 4024 = 0, 5*n + 2*y - 6672 = 0. Suppose -2*z + 517 = -5*i, 0*z - 5*z - 2*i = -n. Suppose -488 = -2*w + z. Is w prime?
False
Let n(r) = 38*r**2 + 14*r + 51. Is n(-8) prime?
True
Let a = 2721 - 1570. Is a a prime number?
True
Let n be (-1*1)/((-14)/(-56)). Let q be (-45)/(-6) + (-2)/n. Is 4/8 - (-260)/q composite?
True
Suppose -2*z = 2*v - 320 + 104, 4*z - 4*v = 440. Is z prime?
True
Let u = 46 - 143. Let t = u + -19. Let o = t + 295. Is o a prime number?
True
Suppose 2*x = 5*l - 18, 0 = -5*l - 3*x - 3 + 1. Suppose 0 = -z - 3*i + 1631, 5*z + 4*i = l*z + 4903. Is z prime?
True
Let i(r) = 250*r + 7. Is i(6) a composite number?
True
Suppose -v + 0*b - 3*b + 709 = 0, -3*v - b + 2111 = 0. Suppose -2*o = -c + 241, -c = 2*c - o - v. Is c a composite number?
False
Let l be 10526/4 - ((-66)/(-12) + -5). Let p = l - 1282. Is p composite?
True
Let m = -24 + 29. Suppose -c - 2 = c, -5*w + 2160 = -m*c. Is w prime?
True
Suppose -7 = -3*t - 4. Is 1/(1/17291)*t a prime number?
True
Let l(r) = -5*r. Let g(z) = z. Let i(o) = 6*g(o) + l(o). Let y be i(6). Suppose -2722 = -2*x + 3*j, -2*j = -y*j. Is x composite?
False
Suppose -24*i + 47422 = -21*i - n, -15824 = -i - 3*n. Is i a composite number?
False
Let y(i) = 3*i + 3. Let w be y(1). Suppose -2*c + 5*v + 163 = 0, 356 = 4*c + 2*v - w*v. Is c composite?
True
Let w be 29 + 2/2 + -1. Let i = w - 20. Is (-621)/6*(-6)/i composite?
True
Let y(f) = f**2 - 8*f - 19. Let p be y(0). Is (p - 3)*502/(-4) composite?
True
Let b(k) = k**2 - 8*k + 3. Let x be b(3). Let t = x - -14. Suppose -2*a - 4*j = -174, -j - t = 3. Is a a composite number?
False
Let b = 3 + -3. Suppose b*v + 259 = v. Is v a prime number?
False
Let h(q) = 87*q**2 - 19*q - 155. Is h(-10) composite?
True
Let t(k) = -6*k - 3. Let x be t(-1). Suppose 3*h + 9493 = 5*n, n - h - 7600 = -x*n. Is n a prime number?
True
Let p(t) = 8739*t**2 - 16. Is p(-3) a prime number?
False
Let d = 20263 + -12102. Is d prime?
True
Let g be (-4)/(-6) - (-4)/(-6). Is g - (1 - (-4 + 216)) a composite number?
False
Let m(c) = 37*c**2 + 20*c - 95. Is m(24) a prime number?
False
Is ((-32018)/7 + 13)*(-1)/1 prime?
True
Let c be (-14)/(-2) + -2 + -1. Suppose -g + 12 = c*v, v + v = g. Suppose -146 = -4*u + 2*u + 2*d, -d + 297 = g*u. Is u a composite number?
True
Let d(a) = a**3 + 22*a**2 + a + 28. Let n be d(-22). Suppose -n*u + 15*u = 9873. Is u prime?
True
Let j = 24 - 42. Let u be 6*40/j*6. Let m = u - -113. Is m prime?
False
Let r(p) = -6*p**3 - 4*p**2 - 6*p + 6. Let x be r(-7). Let n = -271 + x. Is n prime?
False
Suppose 0 = -12*u + 14*u - 4. Suppose -2*t + 4*w = -2094, -3*w = -2*t - u*w + 2085. Is t composite?
True
Suppose 0 = 2*d - 840 - 556. Let v = d - 395. Is v composite?
True
Suppose 21 - 1 = 5*r. Suppose 4*x = 2*p - 28, 2*x - 21 = 5*x - r*p. Is 561*(x/(-3) + -2) prime?
False
Suppose -z = -0*z + b - 187, 3*z - 5*b = 521. Let w = -85 + z. Is w a prime number?
True
Is (-1337)/28*84/(-3) a prime number?
False
Let v = 79 + -74. Suppose -647 = a - 4*a - v*s, -4 = -s. Is a composite?
True
Let b = 11 - -46. Let r = 214 - b. Is r prime?
True
Let q(y) = -1595*y**3 + 5*y + 4. Is q(-1) prime?
False
Let s(y) = -133*y**2 - 4*y + 9. Let a be s(3). Let h = a - -1849. Is h a composite number?
True
Let h = 1442 + -768. Suppose -8*l + h = -6*l. Is l composite?
False
Let z be ((-6)/(-4))/((-7)/(-14)). Suppose -10 - 2 = z*u. Let k = u + 23. Is k composite?
False
Suppose 14183 = 3*h - 5*q, -6*h - 5*q = -2*h - 18864. Is h prime?
True
Let i(j) = 5*j**2 - 2*j - 2. Suppose -3*z - 4*p = -7*p + 3, 3*z = -4*p + 32. Suppose -z*l - 2 = -3*l. Is i(l) a prime number?
False
Let c(j) = -485*j - 165. Is c(-10) prime?
False
Let q(v) = 15*v**3 - 25*v**2 + 7*v + 1. Let h(p) = -7*p**3 + 12*p**2 - 3*p - 1. Let t(k) = 13*h(k) + 6*q(k). Let b = 8 + -3. Is t(b) a prime number?
False
Let l(h) = -3*h - 10. Suppose 0 = -2*t + 3*t + 16. Is l(t) a prime number?
False
Suppose 19*s - 88994 = 148449. Is s a composite number?
False
Suppose -390*l - 529912 = -398*l. Is l composite?
False
Is ((-5)/1)/(10/(-1676)) prime?
False
Suppose 30*w = 445897 + 46793. Is w a composite number?
True
Is (-28100)/(-8) - 1*(-2)/4 composite?
True
Suppose 0 = a + 3, p + 2*a + 12 = -36. Let o be (51 + -4 - 4)/1. Let g = o - p. Is g prime?
False
Let f(x) = 4 - x**2 - 16 + 5*x + 8. Let g be f(3). Suppose -4*t = 5*r - 1685, g*t + t + 1348 = 4*r. Is r composite?
False
Let b = -566 - -1654. Suppose 3*o - b = 988. Suppose 0 = 5*g - 98 - o. Is g prime?
False
Let g be 2/(-5) - (-1464)/10. Let c = -957 - -1687. Suppose -5*y = -0*y - z - c, -g = -y + z. Is y composite?
True
Let f be 2/4*6 - (-10128 - -1). Suppose -351 + f = 11*k. Is k a prime number?
False
Let h(f) = 2*f**3 - 5*f**2 + 2*f + 1. Suppose 2*p - 8 = -0*p. Let c be h(p). Let w = 152 - c. Is w a prime number?
False
Suppose -3175 = -9*a - 682. Is a composite?
False
Let f(i) = 2*i**2 - i. Let x be f(2). Let y be (1524/x)/(4/6). Suppose 9*t - y = 6*t. Is t a prime number?
True
Let i(d) = 29*d**2 + 35*d + 23. Is i(34) a prime number?
False
Suppose -5*o = -5*u + 1735, -4*u + 8*u + o - 1388 = 0. Let f = u + 30. Is f a composite number?
True
Is 1986396/60 + 12/30 a composite number?
False
Let i(g) = 2564*g + 951. Is i(7) composite?
False
Let b(u) = 2006*u**3 + 2*u**2 - 7. Is b(2) composite?
True
Let t(l) = -6*l + 4. Let q be t(0). Suppose 0 = -q*o - 3*n + 120, -148 = -4*o + 3*n + n. Is o a composite num