-2) + (-3 - -5) a composite number?
True
Suppose -5*r + 813 + 767 = 0. Let v = -49 + r. Is v composite?
True
Let d = 1455 + 188. Is d a prime number?
False
Let u(y) = 1870*y - 207. Is u(17) composite?
False
Let w(y) = -2437*y + 135. Is w(-8) a composite number?
True
Suppose -8 = -4*u + 4. Suppose 0 = -w + 3*h + 623 + 400, -u*w - 5*h + 3013 = 0. Suppose 0 = -5*m - 206 + w. Is m a composite number?
True
Let t(u) = -7*u**2 + 4*u - 10. Let v(d) = -d**2 - d - 1. Let w(h) = t(h) - 6*v(h). Let x be w(9). Suppose q = x*q - 1724. Is q prime?
True
Let n(q) = -4*q + 9. Let u(o) = -o**3 - 7*o**2 - 8*o - 2. Let z be u(-6). Let k be n(z). Let c = k - -86. Is c a prime number?
False
Is (-80439)/(-9)*162/18 prime?
False
Suppose 0 = 11*i - 691555 + 15000. Is i composite?
True
Suppose -7*b + 15 = -2*b. Let z = 34 + b. Is z composite?
False
Let y(u) = -4*u - 5. Let t be y(5). Let d = 4 + t. Is 6/d + 100/7 a composite number?
True
Let s(z) = 2*z**2 + 2*z - 5. Let v be s(4). Let u = 51 - v. Suppose m - 53 = -u. Is m prime?
True
Suppose 0 = -9*n - 26*n + 528745. Is n a composite number?
False
Suppose -4*r = x - 56787 + 12155, 5*x = -20. Is r a prime number?
True
Let l(f) = 1509*f**2 + 15*f + 67. Is l(-5) a composite number?
False
Let g = 3051 + -1102. Is g a composite number?
False
Let j(c) be the third derivative of -73*c**4/24 + 7*c**3/6 - 4*c**2. Let x be j(3). Let u = x + 333. Is u prime?
False
Let f(c) = 4*c**2 + 9*c + 18 + 19 - 28 - 2*c**2. Let h be (-76)/(-10) - 2/(-5). Is f(h) a composite number?
True
Let d = -4592 + 30829. Is d a prime number?
True
Let s(q) = -4*q**3 - 3*q**2 - 4*q - 2. Let p be s(-2). Suppose 18 = 4*f + 2. Suppose -p = -f*l + 58. Is l a composite number?
True
Let t = 9 - 18. Let j(o) = -o**2 - 13*o + 2. Let a be j(t). Is (0 + 1)/(1/a) a composite number?
True
Let n(b) = 53*b**2 - 12*b + 19. Is n(10) a prime number?
False
Suppose 221 = r - 588. Is r composite?
False
Let m = 70097 + -16454. Is m composite?
True
Suppose -66*m + 62*m = -16. Suppose 4*k - 4*s = 2704, m*k - 5*s = -0*k + 2709. Is k a prime number?
False
Is ((-124)/16)/(-3*(-5)/(-8940)) a prime number?
False
Suppose 5*f = 3*c - 872 + 111, -2 = 2*f. Let o = 475 - c. Is o composite?
False
Suppose 4*p + 87017 = 9*t - 4*t, -52197 = -3*t - 2*p. Is t a prime number?
True
Let z(n) = -13*n**3 - 3*n**2 - 3*n - 1. Let y be z(-1). Let r be 30/y - 1/(-2). Suppose -r*x = b - 30, 2*x + x = -3*b + 60. Is b prime?
False
Let y = -32 + 30. Let l be 1*y*(-6)/4. Is (8 - 3) + -1 + l prime?
True
Suppose 10 = -5*l, -l + 3*l + 3961 = 3*o. Is o composite?
False
Suppose 4*d - 3*t = 1, -2*d + t + 2 - 1 = 0. Let a = d - -2. Suppose -3*q = -f + 111, -q + a = -1. Is f composite?
True
Suppose 0 = g - 6 + 9. Let t(r) = 11*r**2 + 3*r - 4. Let q be t(g). Let w = q - 49. Is w a composite number?
False
Suppose -5*m = -3*i + 24, -2*i + 8 = -i - 5*m. Suppose -4*r - 6 = -c - 7*r, 3*r = -3*c + 6. Suppose -i*p + 9*p - 269 = c. Is p composite?
False
Let y(o) be the second derivative of -57*o**5/20 - o**4/6 + o**3/3 + 3*o**2/2 + 6*o. Is y(-2) prime?
False
Suppose 73*r - 75*r = -9748. Is r composite?
True
Let v(i) = 76*i**2 + 3*i + 1. Is v(-2) composite?
True
Let o = -38 - -40. Suppose 6830 = 4*g - o*c, -3*g + 5112 = 5*c - 10*c. Is g a prime number?
True
Let q = -109 + 114. Suppose 0 = -q*z + 4*z + 5*h + 6, -5*h + 20 = 0. Is z composite?
True
Let r = -47 - -49. Suppose v + 2*v - 3389 = -4*h, 0 = h - r*v - 861. Is h prime?
False
Let v(j) = 316*j + 39. Let u(b) = -158*b - 20. Let z(s) = 5*u(s) + 3*v(s). Is z(3) composite?
False
Let v(f) = -f**2 - 11*f + 11. Let n be v(-12). Let y be 2/(-1) - (n + -1). Is y + 2 + -1 + 252 a composite number?
True
Suppose 260*v - 249*v = 23969. Is v a composite number?
False
Suppose 3*k = -9 + 3, -2*u = 3*k - 6. Let g be (9 + -11)*u/4. Is 2/g*3855/(-10) prime?
True
Let s be 18039/(-9)*-3 + 4. Let f = s - 2184. Is f composite?
False
Let r(h) = 2*h**3 - 13*h**2 - 7*h + 31. Is r(17) prime?
True
Suppose 28*c - 15*c = 97487. Is c prime?
True
Let s be 182/(-6) - (-5)/15. Let a be (3*-2)/(s/(-580)). Let h = -79 - a. Is h prime?
True
Suppose 5*x - 6 = -3*y, 2*x - 3 = 4*x + 3*y. Suppose 2*i = -x*b + 943 + 1924, -2*i - 3818 = -4*b. Is b composite?
True
Let s(l) be the second derivative of -l**6/60 - 13*l**5/120 - l**4/4 - 4*l. Let k(f) be the third derivative of s(f). Is k(-11) a prime number?
False
Suppose h - 25 = -5*y - 7, 0 = -2*h - 4. Suppose 0 = 5*i - y*t - 19, -4 = -i - i - 2*t. Let k(q) = 9*q**2 + 4*q - 4. Is k(i) a composite number?
False
Suppose 2*x + 5*y = 2636 + 1191, -5718 = -3*x - 3*y. Is x a composite number?
False
Let n = -1327 - -4736. Is n a composite number?
True
Suppose t = -4*i - 4*t + 13647, -17095 = -5*i + t. Is i a composite number?
True
Suppose 74 = 3*g - 55. Let w(v) = 27*v**3 - v**2 + 1. Let c be w(1). Suppose c = 2*f - g. Is f prime?
False
Is -1*(-178 + (4 - 4)) a prime number?
False
Is 7998 + (-81)/15 + 2/5 a composite number?
False
Suppose 0 = -2*b + 4*o + 5022, 2*o + 5047 = 2*b + 3*o. Is b prime?
True
Is -1*(-1 - -3)/2*-17677 prime?
False
Is (-2 + -6 + 6)/(-8)*58484 composite?
False
Suppose -27 = 4*s - 3. Let u(d) = -285*d + 23. Is u(s) prime?
True
Let j(d) = -d**3 + 10*d**2 + 9*d + 4. Let u be j(9). Suppose 0 = b - u - 36. Is b a prime number?
False
Let u be ((-2)/3)/((-4)/(-36)). Let t(m) = -279*m - 27. Let c be t(u). Let p = 710 + c. Is p prime?
True
Let o = -97 + 99. Suppose -4*h + 3*h + 1911 = 4*p, 3811 = o*h - 3*p. Is h a composite number?
False
Let n(o) = 73*o**2 - 7*o + 23. Is n(6) composite?
False
Is (-14)/21 - (-91850)/30 a composite number?
False
Let f be (12/15)/((-2)/10). Let b be f/(-10) - (-36)/10. Suppose 164 = b*z - 344. Is z a composite number?
False
Is 161332/5 + (-636)/(-60) + -10 prime?
False
Let f be 2*-1 + 3 + -7. Is 1329/f*6/(-3) a prime number?
True
Let c = 1 - -1. Suppose o + 3 = -f, -c*f - 3*f + 5*o - 65 = 0. Is (1*-2)/(f/44) composite?
False
Let t(u) = -u**2 - 8*u + 15. Let s be t(-10). Is 402/5*s/(-2)*1 prime?
False
Suppose -4*d = -y + 13, 0 = -7*y + 2*y - 5*d + 115. Suppose -y*f = -15*f - 3126. Is f a composite number?
False
Let q be (-24)/16*4/(-6). Let c be 887 + q + -1 + -2. Suppose 8*u - c = 3*u. Is u a prime number?
False
Let q(f) = -192*f - 1. Let k = 15 - 18. Let x(r) = -191*r - 1. Let d(p) = k*q(p) + 4*x(p). Is d(-1) composite?
True
Suppose 0 = 132*j - 137*j + 1595. Is j a composite number?
True
Is ((-7)/(-3))/((-175)/(-2082675)) a composite number?
True
Suppose -4*w = 5*v - 9275, -v + 829 = -2*w - 1012. Is v a prime number?
False
Let y(m) = -4*m - 4. Let p be y(-4). Let h(c) = c**2 - 7*c - 13. Let j be h(p). Suppose -j = -2*g + 3. Is g prime?
False
Suppose -o + 5*w = -247 - 2191, 7356 = 3*o - w. Is o a composite number?
True
Let x = -2 + 0. Let t be (-14)/3*(x - 1). Suppose 0 = -5*b - 5*h + 160, -b + t = 4*h - 9. Is b prime?
False
Let a(b) = -b**3 + b**2 + 4*b + 6. Let w be a(-5). Suppose -5*x + 2*o + 2*o + 559 = 0, 3*x - 3*o - 333 = 0. Suppose -k + x = -w. Is k prime?
True
Let h be 1/((0 + -1)/329). Is 2 - (h - (-1 + 1)) a prime number?
True
Let h(d) = 1883*d**2 - d + 13. Is h(-4) a composite number?
True
Let j = 2724 + -1573. Is j prime?
True
Let q be (-8)/6 + 1098/54. Suppose -4*o + q*o = 2805. Is o prime?
False
Is (-234212)/110*20/(-8) composite?
False
Let u = -29 - -34. Suppose -4*n - 8 = -4*t - 9*n, 5*n = u*t - 10. Suppose -t*r + 322 = -0*r. Is r a composite number?
True
Let t = 412 + -167. Suppose 11*s - 16 = 7*s. Suppose 3*y = p - t, 2*p - 4*y = s*p - 530. Is p composite?
False
Let z = -17477 + 34324. Is z prime?
False
Let u(l) = -l - 11. Let d be u(-14). Suppose -c = -d*c + 12. Is (c/(-12))/(2/(-596)) composite?
False
Let b = 93 + -105. Let m(c) be the second derivative of c**5/20 + 7*c**4/6 + 4*c**3/3 + c**2 - 2*c. Is m(b) a composite number?
True
Let o(p) = -p**2 - 13*p + 19. Let v be o(-14). Suppose v*m = 3*m + 1778. Is m a composite number?
True
Let p(z) = -z**3 + 9*z**2 + 3*z - 1. Suppose -7*c + 24 = -11*c. Is p(c) a prime number?
True
Let x = 15157 - 4534. Is x a composite number?
True
Let m(y) = 4*y**2 + 5*y + 4. Let d(k) = -4*k - 1. Let q be d(1). Let s be (-10)/(-6)*(q - -2). Is m(s) a composite number?
False
Let u be 0/2 + (-5)/(25/(-60)). Is (1 + -128)*(-9 + u + -4) composite?
False
Let j(g) = -895*g + 91. Is 