20016 = -3*m - 4*k, 4*m = -2*k + 26694. Is m composite?
False
Suppose -3098 = -4*g + 2*g + 3*k, k - 3090 = -2*g. Let q = g - 821. Let t = q - 394. Is t a prime number?
True
Let k(p) = 5*p**2 - 3*p - 3. Let x be k(-2). Suppose -3*y - v = 3*v + 8, -3*v = -5*y - x. Let z(h) = -2*h**3 - 4*h**2 + 3*h + 5. Is z(y) a composite number?
True
Is ((-821)/13)/(44/(-572)) a composite number?
False
Suppose -9 = -4*t + d + 3, 3*d = -t - 10. Suppose t*k - 4 = 6. Suppose 6*g = k*g + 145. Is g a prime number?
False
Is 95/(-19) + (3/(-3) - -803) prime?
True
Suppose 0 = -5*q + 84790 - 18135. Is q composite?
False
Let v = 18 + -17. Is 5*(81 - (-3 + v)) a composite number?
True
Suppose -4*b = 5*s - 220247, 2*s = 3*b - 8*b + 88109. Is s prime?
False
Let r(c) = 4*c**3 + 9*c**2 - 30*c - 10. Is r(9) composite?
True
Let l(b) = -1. Let j(d) = 24*d - 12. Let v(x) = -j(x) + 5*l(x). Suppose 10 = -k - k. Is v(k) a prime number?
True
Let s(p) = 220*p - 107. Is s(21) a prime number?
True
Suppose -4*d - u - u = -42328, 4*u = 5*d - 52923. Is d a prime number?
False
Let q(j) be the first derivative of 171*j**4/4 - 4*j**3/3 + 3*j**2/2 - j - 17. Is q(2) a composite number?
True
Let g(p) = 7*p**2 - 104*p - 37. Is g(53) a prime number?
False
Let h(t) = t**3 - 6*t**2 + 1. Let c be h(3). Let r = 26 + c. Suppose -678 = -5*u - 3*g + 410, -3*u - 5*g + 656 = r. Is u prime?
False
Suppose -u + 0*u = 105. Let j = 291 + u. Suppose -5*a - 3*w + j = 0, -153 = -2*a - 2*a - w. Is a a composite number?
True
Let l = -106 + 185. Is l a prime number?
True
Let n = 0 + -2. Let s(d) = 34*d**3 + 3*d**2 + 6*d + 9. Let k(h) = -69*h**3 - 7*h**2 - 13*h - 20. Let o(m) = -3*k(m) - 7*s(m). Is o(n) prime?
True
Suppose 3*n = -0*k + 4*k + 19954, -2*k = n - 6668. Is n a composite number?
True
Let q(g) be the first derivative of g**3/3 + 631*g**2/2 - 6*g + 8. Let n(w) be the first derivative of q(w). Is n(0) prime?
True
Let b(m) = 8*m - 4. Let v be b(1). Suppose v*t + 957 = -l + 2*l, -3808 = -4*l - 4*t. Is l a prime number?
True
Suppose -14*w + 110138 - 17836 = 0. Is w a prime number?
False
Suppose -s + 54 = -3*h, 3*s - h - 56 = 74. Let r = 221 + s. Is r composite?
False
Let f(j) = 4*j + 453 - 3*j + 14. Let k(p) = p**2 + 6*p. Let w be k(-6). Is f(w) a prime number?
True
Is (-12)/(-33) - 2084768/(-352) composite?
False
Let k be (14/(-8))/((-24)/(-192)). Is k/(-28)*(1034 + 0) composite?
True
Let x = 15404 + -10653. Is x a composite number?
False
Let j be 22/(-3) - 24/36. Let p be (-14)/(-8) - 2/j. Suppose -6 = -p*h, 5 = 2*q - h - 0*h. Is q composite?
True
Suppose -3*k + 3*o + 1251 = 0, -392 = -k + 3*o - 7*o. Let u be 309*(-99)/135 - (-4)/(-10). Let j = u + k. Is j a prime number?
False
Let z = -7 + 9. Suppose 3*k = -2*v + z, -4*k = -k + v - 1. Suppose 2*b + k*b = 278. Is b a composite number?
False
Is ((-4)/5)/(0 + 6/(-36555)) a prime number?
False
Let p(i) = -i + 4. Let q be p(0). Let w be ((-12)/(-8))/((-6)/(-16)). Suppose -44 + 251 = q*d + h, -3*h + 197 = w*d. Is d a composite number?
False
Suppose 9723 = -13*t + 39480. Suppose -t + 9338 = 7*i. Is i composite?
True
Let p(m) = -7*m**2 - 9*m + 3. Let z be p(11). Is (-1 - z) + 1 - 2 prime?
True
Suppose 0 = -2*b - 6, -2*b = 5*c + 55 + 6. Is (-180 + c)*(-2)/2 a composite number?
False
Let n = 123 + -120. Let v(x) = 320*x**2 - 4*x + 25. Is v(n) a prime number?
False
Let x be (104/28 - 2)/(2/7). Is ((-967)/2)/(5 + (-33)/x) a composite number?
False
Let z(w) = 69*w - 128. Is z(15) a composite number?
False
Let u(h) = 9 - 17 + 18 + 9 + 145*h. Is u(6) a composite number?
True
Suppose 20 = 9*p + p. Suppose y = -p*g + 464, 3*y = 3*g - 6*g + 693. Is g a composite number?
False
Let d = 2989 + -1028. Is d a composite number?
True
Let q = -97 - -65. Let l = q + 190. Is l prime?
False
Let u = -1920 + 6597. Is u composite?
True
Let t(q) = -20*q + 13. Suppose 4*j + 5*n - 137 = j, 5*n + 58 = 2*j. Suppose 6 - j = 3*k. Is t(k) prime?
True
Let z(u) = 4*u**2 + 28*u + 9. Is z(16) prime?
True
Let w = 12439 - -1152. Is w prime?
True
Is (-21288)/(-16)*8/6 composite?
True
Let o(t) = 485*t**2 - 16*t - 40. Is o(-3) prime?
True
Suppose -3*u = -0*u - 2220. Suppose -u = -6*a + 4594. Is a prime?
False
Let z = 29813 + -10848. Is z a composite number?
True
Suppose 7*t = 4*t + 573. Suppose 0 = -3*m + 32 - t. Is (m*3)/(-2 - -1) a prime number?
False
Suppose 2*v = 434 + 64. Suppose -t = -0*t + 5*w - 83, 3*t - v = w. Is t a composite number?
False
Let n = -13 + 13. Suppose -4 = -2*h - n*h, 3*h = -d + 479. Is d prime?
False
Let m be 44/3*(-11)/((-66)/(-9)). Let h = m + 29. Is h a composite number?
False
Suppose 5*h = -20, h + 4 - 8 = -4*z. Suppose -l + 3*d = -z*d + 8, -2*l - 3*d = -10. Suppose 0*t = l*t - 5*u - 282, -5*t = u - 651. Is t a prime number?
True
Let r(l) = -12969*l - 12969*l + 25931*l + 6*l**2 + l**3 - 9. Let g(b) = 2*b + 1. Let d be g(3). Is r(d) a prime number?
False
Let s(h) = 8*h**2 - h - 12. Suppose -13*a = 77 + 144. Is s(a) a prime number?
False
Suppose -4*w + 2*z + 4 = -18, 0 = -2*w - 3*z + 7. Let t = -5 + w. Suppose 0*h - 3*h + 39 = t. Is h a composite number?
False
Suppose -5*k + 3*k + 4*p + 4318 = 0, p = -k + 2162. Is k composite?
False
Suppose -151*c = -152*c + 4969. Is c composite?
False
Let i(p) = 6*p**3 - p**2 + 3*p - 1. Suppose -2*h - 12 = -2*f, -2*f - 1 + 9 = 2*h. Is i(f) prime?
True
Is 9689067/207 - (-10)/(-115) composite?
False
Let u = 5 + 1. Suppose -n - 349 = -u*n - 2*p, -203 = -3*n + 2*p. Is n a composite number?
True
Let q be (4/(-8)*6)/(-1). Suppose -q*r + 5535 = -2*n, 3*r + 4*n = -r + 7360. Is r composite?
True
Let d(z) = 7*z - 15 + 291*z**2 + 197*z**2 + 20. Is d(-2) a composite number?
True
Let y(x) be the third derivative of 7*x**5/40 + 5*x**4/24 + 5*x**3/6 + 3*x**2. Let p(b) be the first derivative of y(b). Is p(6) composite?
False
Let m(a) = -4*a**3 + 35*a + 107. Is m(-18) composite?
True
Suppose -2*v - 13*u + 10*u + 11478 = 0, -4*u + 17217 = 3*v. Is v a composite number?
True
Suppose -2*w + 5*m + 7087 = 0, 0 = 2*w + 2*w + 2*m - 14162. Is w prime?
True
Let s(y) = -y**3 - 3*y**2 + y + 8. Let d be s(-3). Is ((-1762)/d)/((-12)/90) prime?
False
Let r be 3 + 1 + (6 - 4). Suppose h - r*h - 30 = 0. Is (-626)/(-4) - 3/h composite?
False
Let m be 14/4 - (-1)/2. Suppose -5 = -8*y + 35. Suppose -m*x - 3*k = -1043, k + 1280 = -0*x + y*x. Is x a prime number?
True
Suppose 2*j = j - 5*z + 91, -2*j - 5*z + 167 = 0. Suppose 24835 = 81*s - j*s. Is s prime?
True
Let g = 4849 - 2802. Is g a prime number?
False
Let r be 12*((-489)/9 + -3). Let x = 1625 + r. Suppose -x = -4*a + 67. Is a a prime number?
True
Let z be -4 + 4 - 3 - 1. Let d be (-1 - 0) + (-1 - z). Suppose 3*x - 4*w - 209 = 0, 0*x - 5*w + 124 = d*x. Is x a prime number?
True
Suppose 2340*w = 2325*w + 805245. Is w prime?
False
Let b = 76 - -489. Suppose -5*x + 12 = -2*x, 2*i = -x + 8. Suppose -7*u = -i*u - b. Is u a composite number?
False
Is (-559 + -4)*4*2/(-8) a composite number?
False
Let f be (12/27)/(-2) - (-13453)/(-9). Let i = f + 2286. Is i a prime number?
False
Let s(f) = -f**3 - 6*f**2 - 3*f + 8. Let w be s(-4). Let t(b) = -b**3 - 11*b**2 + 7*b - 7. Is t(w) composite?
False
Suppose 0 = 11*l - 10*l - 3223. Is l a prime number?
False
Suppose 0 = -5*k + 5 + 25. Let y be 3/(k/2536) - -3. Suppose 2*s = 4*h - 2*h - 632, -3*s + y = 4*h. Is h prime?
True
Let g(a) = -7*a**2 + a**3 - 1 - 1 - 1 + 8. Let l be g(7). Is (-6)/(-15) + 243/l prime?
False
Suppose 2*f + 6 = 0, 2*a - 4*a - 23 = -3*f. Let z = a - -18. Suppose 4*n - 518 = z*n. Is n a composite number?
True
Let o = -100727 + 199798. Is o a composite number?
True
Let i(w) = -w - 16. Let k be i(-9). Let z = 9 + -23. Let n = k - z. Is n a composite number?
False
Suppose 0 = -5*p + w + 7352, 8*w + 2933 = 2*p + 5*w. Is p composite?
False
Let z = -2054 + 5191. Is z composite?
False
Let c(r) be the second derivative of 5*r**4/6 + r**3/2 + 3*r**2/2 + 11*r. Is c(8) prime?
False
Let p = 149 - 144. Suppose -5*k = p*n - 236 - 499, 5*n - 3*k = 751. Is n a prime number?
True
Let i(u) = 4*u**2 - 11*u - 6. Let k(v) = v**2 - v - 1. Let j(n) = i(n) - 2*k(n). Is j(-5) a composite number?
True
Is (2 - 72/27)/((-4)/6714) composite?
True
Suppose x + 8 = -m - m, 5 = -5*x - 3*m. Is 1/x*-1*-1318 a composite number?
False
Let d = 4828 - 7309. Let v = d + 3803. Is v composite?
True
Suppose -5*