o composite?
True
Let m = 45910 + -23477. Is m a composite number?
False
Is 7*1994621/14 - 21/6 a prime number?
True
Let p(d) = 219*d - 16. Suppose 4 = f + 5*h + 19, 4*f + 4*h = -44. Let i be 1 + f/6 + 175/15. Is p(i) a composite number?
False
Suppose 2*c + 21 = 4*w + w, 3*c = -4*w + 3. Let u(z) = 13 - 2*z**2 + 4*z**w + 7*z - 11*z - 16. Is u(4) composite?
True
Let j(q) = 243*q**2 - 10*q + 28. Let i be j(11). Suppose 3*w + 5*k - i = 0, -2*w + k = w - 29297. Is w a composite number?
False
Let b(y) be the first derivative of 5*y**3/3 - 3*y**2/2 + 35*y + 2. Let f be (20 - 5)/(2*(-1)/2). Is b(f) composite?
True
Let r = 137 + -132. Suppose r*k + 4*c = 4*k + 605, -k + 5*c = -587. Is k a composite number?
True
Suppose -101698 = -3*c + 2*t, 2*c = -3*t - 42861 + 110651. Suppose -5*s + c = -3*h, 4*s + h = 6*s - 13559. Is s prime?
True
Let u be 0 + 48/3 - -4. Let n = 25 + u. Let f = n + -38. Is f composite?
False
Let n be (-1)/5 - (-2538)/(-10). Let h(f) = 2*f**3 + 95*f**2 + 19*f + 27. Let q be h(-48). Let l = n - q. Is l prime?
False
Let o(f) = -74*f - 304. Let d(r) = 76*r + 303. Let v(k) = -3*d(k) - 2*o(k). Is v(-45) composite?
False
Let o = -162 - -185. Suppose -o*k + 32656 = -18013. Is k prime?
True
Suppose r - 8022262 = -5*b, -249 = -r - 252. Is b composite?
True
Let s = 9 - 3. Suppose -x + 66 = -2*i - 259, -i + 1010 = 3*x. Suppose s*o = 11*o - x. Is o a composite number?
False
Suppose -57*j = -54*j + 1392. Let d = j - -1693. Is d a composite number?
False
Let r be ((-594)/77 - -8) + (-1314)/(-7). Let o = 1491 + r. Is o a composite number?
True
Let c(p) = -217*p**3 - 14*p**2 - 14*p - 5. Is c(-2) a composite number?
True
Let z(n) = n + 1. Let q(s) = -4*s - 1122. Let g(d) = -q(d) - 5*z(d). Is g(0) a composite number?
False
Let w(d) = 3*d**3 + 2*d**2 - 12*d + 19. Suppose 0 = 29*h - 34*h + 30. Is w(h) a prime number?
False
Let o be 6/15 - -1*222328/(-20). Let v be o/21*3/(-2). Let i = -523 + v. Is i a prime number?
True
Let y = -529 + 696. Let d = 192 - y. Is d a prime number?
False
Let d(u) = -4*u**3 - 33*u**2 + 13*u + 883. Is d(-25) a prime number?
True
Let l(y) = 48*y + 76. Let g be l(22). Let k = -713 + g. Is k composite?
False
Suppose -2*j = -2*a - 2, 2*a - 2*j + 4*j = -6. Let r be (-615)/(-55) + a/11. Suppose -r*f + 976 + 6427 = 0. Is f a composite number?
False
Is 1/(4/(-664060) - 0)*-1 composite?
True
Suppose 2*z + 23*s - 51690 = 19*s, -4*z = -4*s - 103284. Is z composite?
True
Let r(v) = -99*v**3 - 20*v**2 + 49*v - 13. Is r(-14) prime?
True
Let n be (-2)/(-4) - 4/(-8)*23. Suppose -n*p + 12779 = p. Is p a prime number?
True
Suppose -136*t + 299339231 = -25*t + 52*t. Is t composite?
False
Let p(b) = -56*b - 6. Let r be p(-1). Suppose -o = 43 - r. Suppose 0 = -o*f + 15*f - 4696. Is f composite?
False
Let r(d) = 4*d**2 + 5*d + 5. Suppose z + 4*h = -11, z - 4 = 4*h + 1. Let l be r(z). Suppose -5*s + m + 326 = 0, s - 4*m - 95 + l = 0. Is s prime?
False
Is (-7 - -24836) + -1 + (7 - 0) a composite number?
True
Let q be (-10)/(2 + (-1668)/832) + -2. Suppose -2*l = -2, 3*c + 2*l + 0*l - q = 0. Suppose -c = -f + 5*x, 2*x + x = -2*f + 1423. Is f a prime number?
False
Let t = -234142 - -709311. Is t a prime number?
True
Let u(y) be the second derivative of 0 + y**3 - 23*y - 15/2*y**2 + 5/6*y**4. Is u(6) a composite number?
True
Let y be (25/75)/((-2)/12) + -4552. Let b = y - -6491. Is b a prime number?
False
Let u = 945767 + -369624. Is u a composite number?
True
Suppose 55*d - 6*d = 280721. Is d composite?
True
Is 10/((-2)/(-1)) - (-52564572)/543 composite?
True
Let a = 19652 + -871. Is a composite?
True
Let g(j) = 2442*j**2 - 21*j - 21. Let f(h) = 1221*h**2 - 11*h - 11. Let d(c) = -11*f(c) + 6*g(c). Is d(-2) composite?
False
Suppose 0 = -3*h + 3*u + 13146 + 14406, -45900 = -5*h - 5*u. Suppose 32*y + h = 34*y. Is y composite?
False
Suppose 42*h + 195412 = 14*h. Let p = 12284 + h. Is p prime?
False
Let h(x) be the second derivative of -1/6*x**4 + 7*x + 1/2*x**2 + 0 - 11/5*x**5 - 1/6*x**3. Is h(-2) prime?
True
Let f(m) = -129196*m + 471. Is f(-1) composite?
True
Suppose -10301 = -x + a, -5*x + 163*a - 162*a + 51529 = 0. Is x composite?
True
Let i be ((-200)/35)/(2/(-7)). Suppose -i = -5*s + 5, -2*s = -3*l + 2582. Let u = l - 445. Is u composite?
False
Suppose -682*h + 80098111 = -62216875. Is h composite?
False
Let h = 6021 - -87680. Is h a composite number?
False
Let n(y) = 464*y**3 + 24*y**2 - 113*y + 23. Is n(10) prime?
True
Let t be -6 + (-28)/(-6) + 134/(-3). Let s = t - -48. Suppose y + 11937 = s*h, 2*h - 2*y + 11952 = 4*h. Is h a prime number?
False
Let l = 245781 - 59870. Is l prime?
False
Let q(z) = 7677*z + 4297. Is q(6) a prime number?
True
Suppose 6*r = 8*r + 6*r - 1442776. Is r composite?
False
Let g = 80 - 67. Let z = 23 - g. Suppose -5*a = -z*a + 4435. Is a composite?
False
Suppose 3*g + 72*u = 74*u + 347885, -g - 5*u = -115973. Is g composite?
False
Let a(t) = -t**3 + 26*t**2 - 24*t + 13. Let q(v) = 4*v**2 + 45*v - 9. Let p be q(-11). Is a(p) a prime number?
False
Suppose -975*m + 962*m = -25116. Let a(x) = 6*x**3 + x**2 + 6*x + 2. Let y be a(6). Let f = m - y. Is f a prime number?
False
Suppose -7*s + 5 = -58. Is s/(-24) - (-14054)/16 a prime number?
False
Suppose 13*g - 64 = -5*g + 8. Let b(s) = 9*s**2 + 3*s**3 + 5*s + 3 - 4 - 4*s**2. Is b(g) composite?
True
Let z = -22836 - -6572. Let v = 22787 + z. Is v a prime number?
False
Let v = 25 + -20. Suppose -2*p - 688 = -b - 4*p, p = 3*b - 2029. Suppose n - b = -v. Is n prime?
True
Let l(b) = 320*b**2 + 51*b - 445. Is l(12) composite?
True
Suppose 4*r - 3*d = -4*d - 23010, -2*r - 3*d - 11510 = 0. Suppose -3*k = 9, 6*s = 2*s - 5*k + 34581. Let c = s + r. Is c composite?
False
Suppose -107962 - 82359 = -3*t + 4*m, 0 = -3*t + 5*m + 190322. Is t prime?
True
Let u(f) = -25 - 75*f + 159*f - 79*f. Let i be u(5). Suppose i = -q + 86 + 309. Is q a composite number?
True
Is 5 + (-20009180)/(-44) + -1*2/22 prime?
True
Let o = 13 - 13. Suppose 512 = 20*y - 12*y. Suppose t - 1335 - y = o. Is t a prime number?
True
Let v be (-24)/72 + (-13)/(-3). Suppose -v*f = -191 + 43. Is f/((-9)/5 + 2) a prime number?
False
Suppose -14*q + 84 = 14. Suppose 16 = -3*c + 2*x, -q*x = 3*c - 9 - 10. Is (c/(-2))/(-4 - 7389/(-1847)) prime?
True
Let m(u) = -7420*u**3 + u**2 - 8*u + 6. Is m(-4) a prime number?
False
Suppose 2*o + o = -5*p, 0 = 3*p + 2*o + 1. Let d be 6/27 - ((-4352)/18)/1. Suppose -5*k + 196 = -p*r, -4*k + d = -5*r + 80. Is k a composite number?
True
Is 7*(-61312)/(-2) + (-15 - -5)/(-2) prime?
False
Let t = -50 + 50. Suppose k - 9*k + 88 = t. Is (-506)/k*(-26)/4 a composite number?
True
Suppose 9 = 2*y + 59. Let m be y/(-10)*8/5. Is (3/(-6))/(m/(-2776)) composite?
False
Suppose 0 = -3*w - 8*w + 3*w. Suppose 2*u + 816 = 2*c, w = 2*u + 1 - 3. Is c a prime number?
True
Let i be (-2)/(60/(-86)) + (-14)/(-105). Suppose -2*k + 24809 = i*r, 8*r - 57877 = r - 2*k. Is r a composite number?
True
Let v be -4*(-3 + (-28)/(-8)) - -5. Suppose -v*n - 791 = 4*l - 4784, 0 = -n - 5. Suppose 0 = h - l - 595. Is h composite?
False
Let c = -87 + -247. Let h be 1 + (c + -2)*-12. Suppose -5*p + h = -2*y, -7*p + y + 3227 = -3*p. Is p a composite number?
True
Suppose -9*v + 12*v - 4*p = 2894355, -5*p + 1929547 = 2*v. Is v a prime number?
False
Suppose -3*v - 25 = -421. Let a = v - 69. Let o = 114 - a. Is o composite?
True
Let r(i) = -i**3 + 20*i**2 + i - 13. Let k(s) = 3*s + 38. Let z be k(-6). Let h be r(z). Suppose -3*j - 5 = h, -m + 2*j + 165 = 0. Is m a prime number?
True
Let v = 26 + -34. Let r be (1 + v/2)*1 + -453. Let t = -205 - r. Is t composite?
False
Suppose -5*x = -3*o - 19, 10 = -4*x + o + 21. Let t be 3*-2271*x/(-9). Let s = 2391 - t. Is s prime?
True
Let w = 4016 + -408. Suppose -4788 - w = -4*r. Is r prime?
True
Suppose -49 = -9*c + 14. Let v be (-7 - 2)/(2/(-76)). Suppose k = c*k - v. Is k a composite number?
True
Let i = 77113 - 35246. Is i composite?
True
Let n(d) = d**3 + 14*d**2 - d - 11. Let r be n(-14). Suppose r*y - 2625 - 17172 = 0. Is y prime?
True
Let b = 7961 - 3535. Is b + (-5)/(-5 - -6) prime?
True
Suppose -6871 = -5*q - 3*o + 6*o, q - 3*o - 1367 = 0. Let l = 4125 + q. Is l prime?
True
Let f = -62446 - -138039. Is f composite?
True
Let o(b) = 2383*b**3 + 6*b**2 - 14*b + 19. Is o(4) a composite number?
True