pose -2*m + 3*h + 1108 = h, -566 = -m - i*h. Is m composite?
False
Let j(c) = 21*c**2 + 33*c + 233. Is j(-11) composite?
False
Suppose 5*a = 3*h - 26472, 2*a + 8825 = -h + 2*h. Is h a prime number?
True
Let j be 10*(36/8 - 4). Suppose -j*d + 270 = -560. Is d composite?
True
Let j(s) = -56*s**3 + 4*s**2 - 5*s - 14. Let p be j(3). Let q be 144/2*(-122)/4. Let g = p - q. Is g a prime number?
True
Let h = -16 - -19. Suppose 368 - 48 = c - 3*k, -h*k - 637 = -2*c. Is c prime?
True
Let j(n) = n**2 - 8*n + 10. Let q be j(8). Suppose q = 3*w - 23. Let r(u) = u**3 - 9*u**2 - 7*u - 16. Is r(w) a composite number?
False
Let g = -44587 + 66072. Is g a composite number?
True
Is (-68060)/(-16) + 3/(-4) composite?
False
Suppose -39*k + 140646 - 17601 = 0. Is k a prime number?
False
Is (-5)/(-4) + (-7598)/(-8) composite?
True
Suppose 2*q = -3*b - 647, 4*q - 3*b - 211 = -1514. Let n = 233 + 591. Let t = n + q. Is t a prime number?
True
Let j(p) = 12*p**3 + p**2 - 2*p - 4. Let g be j(5). Let f = 2350 - g. Is f composite?
False
Let n(k) = 2*k + 7. Let q be n(-7). Let a = q + -5. Is a/18 + (-173)/(-3) a composite number?
True
Suppose 6*r - 2*r = -8. Is (1528/12)/((-16)/(-6) + r) composite?
False
Let k = 5 + -6. Is 8/(-5) - k - (-2233)/5 a prime number?
False
Let y = 942 - 534. Let f = y + -205. Is f prime?
False
Let o(d) = -d**3 + 8*d**2 - 7*d + 1. Suppose n = -n + 14. Let a be o(n). Is (4 - 5)*a*-667 prime?
False
Let o(q) = -27*q - 12. Let s(d) = -27*d - 12. Let x(b) = -5*o(b) + 6*s(b). Is x(-7) a composite number?
True
Suppose -2*g - 3*o = -4315, -5*o = 3*g - o - 6470. Suppose 5*d = -0*d + g. Suppose 4*z = h - 97, -4*h = -0*z - 2*z - d. Is h a prime number?
True
Let l(q) = -q**2 + 9*q + 3. Let p be l(7). Let o = p - 14. Is (-3)/o*-147 - 2 prime?
False
Let n be (1085/21)/(2/(-6)). Is 10/((-15)/(-3)) - n a composite number?
False
Let d be 1*(4 - (-2 - -1)/1). Is d*5/(25/87) a composite number?
True
Let n = -16 - -18. Let q(v) = -3*v**3 - 2*v**2 - 8*v + v**2 + 7 - 2*v**n. Is q(-5) a composite number?
False
Is 222649/34 - 6/4 prime?
True
Let r be -2 - (-1 + 0)/(-1)*-491. Suppose -7*u + 10*u = r. Is u a composite number?
False
Let p(w) = -w**3 + 5*w**2 - 4*w - 1. Let n be p(2). Suppose -n*x = 5*g - 1023, 5*x + 4*g = -0*g + 1705. Is x a composite number?
True
Let i be 12/3 - 0 - 7. Let r be ((-16)/(-4))/(i/(-39)). Let s = -18 + r. Is s composite?
True
Let v(f) = f**3 - 9*f**2 + 2*f - 2. Let a be v(9). Let q be (310/(-40))/((-2)/a). Is (q/4)/(5/20) a prime number?
False
Let w = -6 + -7. Let o = w - -17. Suppose -5*z + 139 = 3*a, z + 0*z + o = 0. Is a a composite number?
False
Suppose -k - y = 21, k + 2*y = -19 + 1. Let c(m) = -10*m + 53. Is c(k) a prime number?
True
Let o = -1048 + 1681. Is o a prime number?
False
Let v(g) = 136*g**3 - 3*g**2 + 10*g - 27. Is v(6) a prime number?
False
Let g be 168/(-6)*(-74)/8. Let r = g + -96. Is r a prime number?
True
Let x = 8224 + -4821. Is x a composite number?
True
Suppose -5*v = -n + 2*n - 43313, 4*n - 8655 = -v. Is v a prime number?
True
Suppose 4*a = -v - 9, 4*a = -a + v - 9. Let k = 18 + -41. Is k/((a + 4)/(-4)) prime?
False
Let z(b) = -3*b**3 + 3*b**2 + 2*b + 3. Let l be z(-3). Suppose -3*n - l + 915 = 0. Let g = 437 - n. Is g a prime number?
True
Suppose -f = 3*b - 1192, -14*b = -10*b + 20. Is f prime?
False
Let v(z) = -9*z**3 - 2*z**2 - 3. Let g be v(-3). Let r = g + 154. Suppose -252 = -4*q + r. Is q a prime number?
True
Let i = -27170 - -49169. Is i composite?
True
Let t(u) = u**2 - 42*u - 4. Let i be t(18). Let q = i + 1251. Is q a composite number?
True
Let w = -18 + 23. Suppose h + w*y - 208 = 0, 2*y - 48 = 2*h - 524. Is h composite?
False
Let t(x) = -6*x - 5 + 5*x**2 + x**3 - 2*x**3 + 4 - 11*x**2. Let d be t(-5). Suppose -3*o + d*k + 613 = 0, -412 = -2*o - 0*o + 2*k. Is o prime?
True
Suppose 0 = 5*i - 3 - 32. Let y = 27334 - 18748. Is y/21 - (-1)/i composite?
False
Let j(m) = 5*m**2 - 40*m + 56. Is j(19) a prime number?
False
Suppose -4*i + 16 = 2*n - n, -4*i + 2*n + 28 = 0. Suppose 2*t - 423 = -a - 0*a, i*t = -a + 1056. Is t a prime number?
True
Let g(c) = 604*c**3 - 5*c**2 - 6*c - 1. Let q be g(-1). Let w = 1719 + q. Is w composite?
True
Suppose -4*l - 22 = -4*t + 18, -5*l = 4*t - 31. Is (-1338)/t*11*(-24)/16 composite?
True
Let u = -17 - -19. Let n be (-10)/(u*3/(-24)). Is (-32)/n + (-794)/(-5) composite?
True
Is (-1 + 2)/(8/12968) prime?
True
Let o be 4/32 + (3 - 3566/(-16)). Let p = 1767 - o. Is p composite?
True
Let q = 1668 - 17. Suppose 0*l = 2*l + 3*c - 2337, 5*l - 5*c - 5805 = 0. Let v = q - l. Is v a prime number?
True
Let t(x) = x**2 + 8*x - 4. Let r be t(-9). Suppose -r*y + 731 = -224. Is y a prime number?
True
Suppose 3*a - 4 + 0 = 4*i, -4*i = -4*a + 8. Suppose -4039 = q - i*q. Is q a prime number?
False
Let o(k) = 43*k**2 - 58*k - 37. Is o(-22) composite?
False
Let y = 152 - -311. Let n = 496 - 748. Let v = n + y. Is v a composite number?
False
Let h = 225 - 45. Let z(d) = d - 2. Let q be z(4). Suppose -q*r + 58 = -h. Is r composite?
True
Let p(r) = 1 - 5*r**2 - 8*r**2 + 17*r**2. Let k be p(-5). Suppose 0 = 2*w - c - k, w + 2*c = 3*w - 96. Is w composite?
False
Let j be (-608)/(-6)*(-21)/(-4). Let i = -378 + j. Let h = i - -37. Is h a composite number?
False
Let y(x) = -804*x + 223. Is y(-10) a composite number?
False
Suppose -3*x - x = 3*t - 6175, 2*x = -2*t + 3088. Let r = x + 502. Is r composite?
True
Let v = 74467 - 44198. Is v prime?
True
Suppose 7*x + x = 3024. Is (-8 + 9)*(x - -1) composite?
False
Is 14588/10 + (-6)/(16 + -46) a composite number?
False
Let k be ((-56)/49)/(4/(-14)). Suppose k*w + w = 2280. Let l = -313 + w. Is l a composite number?
True
Is 1/(((-6)/6)/(-22423)) composite?
True
Suppose 4 = 3*b - 2*s, -b - 3*s + 6 = 1. Suppose -x + 2*m = -2*x + 1190, -5*x = b*m - 5910. Suppose 0 = 5*n - 1525 - x. Is n prime?
True
Let t(m) = 56*m**2 - 25*m + 13. Is t(7) a prime number?
False
Suppose -2*y = -0*y - 4. Suppose 3*o - 104 = o - y*j, 4*j = 3*o - 142. Suppose -35 = -l + o. Is l prime?
False
Is ((-90)/(-60))/((-3)/(-226)) a prime number?
True
Let h be (-1 + -1)*(-10)/4. Suppose 2746 = h*j + 941. Is j prime?
False
Let u(z) = -z - 3. Suppose -1 = -5*k + 9. Suppose p - k*a = a - 4, -p + 2*a = 5. Is u(p) prime?
False
Is 23/3 + -8 - 80130/(-9) composite?
True
Let x(d) = 228*d**2 - 9*d - 6. Is x(-5) composite?
True
Suppose i + 4*s = -13, 4*s - s + 6 = -2*i. Suppose i*q = 6*q - 789. Is q prime?
True
Suppose a - 873 = 2*b - 9395, 8506 = 2*b + 3*a. Is b a prime number?
True
Let m be (14/4)/(16/176896). Is m/63 - 6/27 a prime number?
False
Let z be 9/((-81)/(-102))*30. Suppose 936 = 4*m + z. Is m composite?
False
Suppose 0 = -5*a - 5*a + 10840. Let j = a + -245. Is j a composite number?
False
Let y(l) = 101*l**3 + 4*l**2 - 6*l + 6. Let b be y(3). Let o = 4502 - b. Is o a prime number?
False
Let x be 1*(-6)/(3 + -1). Let w(g) = -109*g + 4. Is w(x) a composite number?
False
Let d be (-12)/18 - (-2)/3. Suppose 4*u - 5*i = -d*u + 4, 0 = -4*u + 3*i + 12. Is ((-2)/u)/((-4)/708) a composite number?
False
Let q = 300 + -187. Is q composite?
False
Let t(l) = 7*l + 2*l**3 - 2*l**3 + 9*l**3 + 5*l**2 + 5. Is t(6) composite?
True
Let j be 1 - -1 - (9 + -12). Suppose -j*y + 23 = 3. Suppose -l = -5*n + y*l + 770, 5 = -l. Is n prime?
True
Suppose -2*t = -4*t - 344. Let c = -243 - t. Let p = -18 - c. Is p a composite number?
False
Let x(n) = 37*n**2 + n - 3. Is x(-8) prime?
True
Let k(c) = 3*c**3 + 4 - 6*c**2 - c**3 - c**3 - 7*c + 3. Let n be k(7). Suppose n*s - 5*s = 506. Is s a composite number?
True
Let b(u) be the first derivative of u**4/4 - 7*u**3/3 + u**2/2 - 2*u - 4. Let v be b(7). Suppose -j - v*i - 1470 = -6*j, -j - 2*i = -297. Is j composite?
True
Let w = -6117 - -12038. Is w prime?
False
Let s = -6420 + 17799. Is s prime?
False
Let w(q) = q**2 + 6*q - 1. Let g be w(-6). Let f = g - -22. Suppose -3*y = -0*y - f. Is y prime?
True
Suppose 9*m - 11*m = 0. Suppose -3441 = -m*y - 3*y. Is y prime?
False
Let h be 0*(3/(-2))/3. Suppose 2*b - 9 + 57 = h. Is (-616)/b - (-2)/6 composite?
True
Suppose z = 5*z. Suppose z = -2*w + 5*w - 138. Is w a prime number?
False
Let w(a) = -a**3 + 7*a**2 - 6*a + 8. Let d be w(6). Let t be (70/d)/(6/744). Suppose o - t = -4*o. Is o a prime number?
False
Suppose s - 12720 = -x