 m(3) composite?
True
Let m(n) = 68*n**3 - 13*n**2 + 3*n - 1. Is m(5) composite?
True
Suppose 16 = -c - 2*d - 0*d, 20 = -5*c + 5*d. Let w(k) = 36*k**2 + 19*k + 9. Is w(c) a prime number?
True
Let b be (0/(-3))/((-2)/(-1)). Let v(r) = 4*r**2 + 3 - 4*r + b - 2*r. Is v(7) a composite number?
False
Suppose -u - 6*x + 3*x = -17849, -x - 17845 = -u. Is u prime?
False
Suppose s = -5*z + 77, -4*z - 6*s = -3*s - 55. Let k = z - 16. Suppose 4*l - 7*l + 66 = k. Is l composite?
True
Suppose 0 = -12*j + 11*j + 15. Suppose 0 = -j*y + 16*y + 2. Let s(d) = -33*d + 5. Is s(y) a prime number?
True
Suppose -2*d - 1297 - 871 = 0. Let y = d - -599. Let i = y + 706. Is i a prime number?
False
Suppose 3 = 3*f - s + 2*s, -4*s = 12. Suppose 3 = 4*t - 3*q - 0, -2*q - 2 = f*t. Suppose t = -3*i + 6*i - 177. Is i a prime number?
True
Let m(d) = 121*d**2 + 23*d - 151. Is m(6) prime?
False
Let u = -20635 - -36912. Is u composite?
True
Is ((-95)/15 + 6)/((-1)/124071) composite?
False
Suppose -k + 3*k + 22 = 0. Let m(c) = 7*c**2 + 3*c + 7. Is m(k) prime?
True
Let c(z) = -z**3 + 5*z**2 + 6*z - 17. Let p be c(7). Let d(b) = -12*b**2 + 2*b - 3. Let l be d(2). Let w = l - p. Is w prime?
False
Suppose -42903 = -12*n - 13971. Is n composite?
False
Is (-1)/(-8) + 10/((-640)/(-1682744)) a composite number?
False
Let d = -26325 - -56144. Is d prime?
True
Let b(z) = -z + 30. Let m be b(-17). Let j = m - -154. Is j a composite number?
True
Let o(c) = 11*c**2 + 7*c + 41. Is o(-23) prime?
False
Let b = 14 - -5067. Suppose -5*i - h = b, 2*i + 1319 = 2*h - 723. Is i/15*(-2 - 3) a composite number?
True
Let h = -13 - -13. Let r be (-8)/(-16)*(0 + h). Suppose -n + 333 - 74 = r. Is n a prime number?
False
Let o(d) = 4140*d + 19. Is o(3) a composite number?
True
Let q(x) = -84*x + 11. Let b be -2*(-7)/(-14) - (4 - -1). Is q(b) prime?
False
Let r be (-4)/(-16) + 13655/20. Suppose -r = -5*w + 4652. Is w a composite number?
True
Let r(c) = 12*c**2 + 2*c - 2. Let z = 4 - 2. Let f be r(z). Suppose f = -0*u + 2*u. Is u prime?
False
Let k(b) = b**2 + b. Let j be k(1). Suppose -3*l + 584 = -j*l. Let n = l + -415. Is n a prime number?
False
Let w(b) = -13*b + 21. Let d be w(-6). Suppose -2*l = 4*n + l - 133, 3*n + 3*l - d = 0. Is n composite?
True
Suppose 659 = -75*q + 76*q - 2*n, 5*n + 3285 = 5*q. Is q a prime number?
False
Let g = -14850 - -20893. Is g a prime number?
True
Let b be 21/(-5) + (-6)/(-30). Let c(p) = -p**2 + 6*p. Let l(g) = g**2 - 12*g + 1. Let o(a) = b*l(a) - 9*c(a). Is o(5) prime?
False
Let a(j) be the second derivative of -29*j**5/20 + j**4/4 - j**3/2 - 2*j**2 - 30*j. Is a(-3) a composite number?
True
Suppose 4*p + 0*k - 5 = k, -2*p - k + 7 = 0. Is 2783/46 + (-3)/p a composite number?
False
Let x be -6*4/6 - -22. Suppose 0 = 4*y + x + 66. Is (-3430)/y + (-1)/3 composite?
False
Suppose -5*j + 49380 = 5*w, -30819 + 1196 = -3*w - 2*j. Is w prime?
True
Suppose 0 = 2*k + 7 + 3. Let z(i) = -i**3 + i**2 - 6*i - 21. Is z(k) prime?
False
Is (-423600)/(-168) - (-6)/(-14) a composite number?
False
Let x be 18/24 + (-3005)/(-4). Suppose 3*o = -2*g + 370, -4*g + x = o + 2*o. Is g prime?
True
Let f = -533 + 3552. Is f prime?
True
Let u(h) = 178*h - 39. Is u(14) a composite number?
True
Let y be (-292)/3*(1 + -4). Suppose d + 2*v - y = -3*d, -4*v + 296 = 4*d. Let w = d + 21. Is w composite?
True
Let k = 1301 + -726. Suppose 2*h = h. Suppose h*n + k = 5*n. Is n a composite number?
True
Let w(r) = 3*r**2 - 37*r + 18. Let p be w(12). Let a(l) = 11*l**2 - 16*l + 19. Is a(p) a prime number?
False
Let m be (-5 + 4/2)*16/(-6). Is (-307)/((-28)/m - -3) composite?
True
Suppose -10 = 2*z, -5*c = -0*z + z - 5. Suppose -260 + 1094 = c*y + i, -2091 = -5*y - i. Suppose -2*v - 478 = -4*x, 4*v = -3*x - 44 + y. Is x prime?
False
Let a = 65608 + 17225. Is a a prime number?
False
Let s = 5645 + 26556. Is s a prime number?
False
Suppose 73 = -k - 2*h, -5*k = -0*h - 3*h + 404. Let b = k - -264. Is b a prime number?
False
Let r(b) = 1800*b - 439. Is r(17) a composite number?
False
Suppose 143935 = -288*p + 293*p. Is p a composite number?
True
Let d be 6/8 + (-37)/(-4). Let h(k) = k**2 - 9*k - 7. Let c be h(d). Suppose 4*g + 39 = 5*l, -4 = -l - c*g - 0. Is l a composite number?
False
Let a = -1747 - -3842. Is a a prime number?
False
Let p(x) = -x**3 + 4*x**2 + 3*x - 3. Let o be p(4). Let s be 15*((-15)/o)/(-5). Suppose -l = 4*l + 20, -i = -s*l - 231. Is i a prime number?
True
Let d(a) = -4*a**3 - 6*a**2 + 3*a - 18. Is d(-13) composite?
False
Suppose -3*u = 2*u - 245. Suppose -u*q = -47*q - 5218. Is q a composite number?
False
Suppose -3*u + 3*g - 38 + 5 = 0, 3*u + 3 = -3*g. Let a be (-6)/(-4) - 3/u. Suppose -a*b + 5*n + 3582 = -0*b, -5*b + 9001 = -n. Is b a prime number?
True
Let z be (-117)/(4/(-16)*2). Let l = 382 - z. Let u = l - -241. Is u prime?
True
Suppose -2*y + 18 = 5*n - 98, 4*y = -4*n + 100. Let s = n + -44. Let g = s + 41. Is g composite?
False
Is ((-20)/(-12))/(18/763722) a prime number?
False
Let r = 16 - 11. Let q(d) = 36*d**2 - 2 + 3 - 4 + r*d. Is q(-4) prime?
False
Let g(l) be the second derivative of -28*l**3/3 - 7*l**2/2 - l. Let a = 1387 - 1393. Is g(a) a prime number?
False
Let u(k) = 4*k - 14 + 7*k - 2*k**2 + 0*k + 12*k. Is u(9) a prime number?
True
Is (29258/4)/(-1 + 9/6) a composite number?
False
Let u(g) = 16*g**2 - 2*g + 3. Let m(a) = -a**2 - 4*a + 2. Let s be m(-4). Let d be u(s). Suppose 4*b = -d + 359. Is b prime?
False
Suppose 3*m = 18*m - 684705. Is m composite?
True
Let a(j) = j**2 - 5*j + 14. Let f be a(12). Let o = f + -70. Suppose -130 = -3*z - o. Is z composite?
True
Let c = 15171 - 7264. Is c composite?
False
Let i = 4 - 18. Is 8/28 - 5*898/i prime?
False
Let p(t) = -2*t - 7. Let o be p(-9). Let d be 0 - (3 + -2) - o. Is (-50)/d + 2/(-12) a prime number?
False
Suppose -3*n = -3714 - 1200. Suppose -2*s - 3*x + 1637 = 2*x, 2*s - n = -4*x. Is s composite?
False
Let z(c) = -7*c + 15 + 0*c + 4*c - 7*c. Let j(m) = m. Let o(x) = j(x) + z(x). Is o(-12) composite?
True
Suppose -2*j = j - l + 26, 5*j = l - 40. Let r = j + 20. Is r prime?
True
Suppose 34*d = 27*d + 39221. Is d a composite number?
True
Let f(m) = -m**3 + 5*m**2 - m - 5. Let j be f(4). Let r be -1 - 0 - (j + -6). Is ((-3855)/(-30))/(r/(-4)) a prime number?
True
Suppose -3*n + 26947 + 25126 = 4*g, -1 = n. Is g a prime number?
False
Suppose -15 = -2*j - 5. Suppose -2*n - 2292 = 3*v - 0*n, j*v - 4*n = -3842. Let b = 1148 + v. Is b a composite number?
True
Is (7 + -4)*(-1 - (-12540)/9) composite?
False
Let k = -94 + 1722. Suppose k = l - 3*x, 0 = 3*l - 4*l - 3*x + 1646. Is l prime?
True
Let f = -9456 + 14117. Let y = f + -2050. Is y a prime number?
False
Let q(x) = -12954*x - 1. Is q(-1) a prime number?
True
Let p = 278 + -274. Let k be (-2990)/(-3) - 1/(-3). Suppose 0 = 2*i + 5*v - 4*v - k, 2*i + p*v - 982 = 0. Is i a prime number?
False
Suppose -195 = h - 6*h. Let c be (2/(-6))/((-10)/90). Suppose -w + 2*x = -h, -c*w + 85 = 3*x + 4. Is w composite?
False
Suppose -4*x + 6063 + 2609 = 0. Suppose -z - 1116 = -w, -w - 5*z + 1156 = 22. Let b = x - w. Is b a prime number?
True
Let d(b) = 2*b + 79*b**3 + 15*b - 15*b - 4*b**2. Is d(3) prime?
False
Suppose 0*x - 2*x = -3*m - 283, -5*m = -5*x + 710. Let u = x - -108. Is u a composite number?
False
Is 35217/1 + 1 - (320 + -315) a prime number?
False
Let j = 445 - 43. Let c = j + -199. Is c composite?
True
Let s(n) = 22*n**2 - 11*n + 16. Let p be s(7). Suppose 3*m = -y + 206, -y - 2*m + p = 4*y. Is y a prime number?
False
Let t(w) = 84*w + 9. Suppose -7 = -2*f + f. Let z be t(f). Suppose 3*g + 0 = z. Is g composite?
False
Suppose d - 37 + 4 = 0. Suppose t + d = 83. Let k = t - 3. Is k a composite number?
False
Let u = -11 + 13. Suppose -4*q - 2*t = -10048, 0 = 3*q + u*t - 1820 - 5715. Is q a prime number?
False
Let z = 545 - 283. Let l = z - 79. Let w = l - 94. Is w prime?
True
Let q(j) = 8*j + 16. Let r be q(-9). Let u be ((-2)/(-7))/((-8)/r). Suppose 0 = t + y - 91, 19 = u*t + 4*y - 167. Is t a prime number?
True
Let m = 24 - 20. Suppose -2*v - 40 = -268. Is v/m*(-4)/(-3) a composite number?
True
Suppose 57307 = 7*w - 103000. Is w prime?
True
Let w = -198 - -319. Is w prime?
False
Let l be (-56)/(-2)*(9 - 10). Let s = 30 + l. Suppose 4*m - 39 + 9 = r, 0 = -4*m + s*r + 32. Is m a prime num