 - m. Is a a prime number?
True
Let u(j) = -1722*j + 59. Is u(-4) prime?
True
Is 140/(-910) + 284676/13 a composite number?
True
Suppose 0 = 3*c + 3*c - 84. Let i(u) = -u + 18. Let o be i(c). Suppose o*v + 5*p = 1281, 0 = -2*p + 2. Is v a prime number?
False
Suppose d = 6*d + 4*u - 159, -4*d - 3*u = -128. Let b be (-10735)/d - 2/7. Let w = -204 - b. Is w a composite number?
False
Let k(b) be the third derivative of 2*b**4/3 - b**3 - 8*b**2. Is k(4) prime?
False
Suppose 3*g - c - 6 = -16, 15 = 2*g - 5*c. Let h(t) be the first derivative of 10*t**3/3 + t**2/2 + 2*t - 25. Is h(g) a composite number?
True
Let g(x) = -89*x**2 - 3*x - 5. Let i be g(-9). Is (5 + -2 + -5)*i/2 composite?
False
Let k(n) = 13064*n - 37. Let i(c) = 3266*c - 9. Let u(y) = 9*i(y) - 2*k(y). Is u(1) a prime number?
True
Suppose -4*r = -79 + 19. Let t(p) = 5*p**2 - p - 3. Let o be t(2). Is 2237/o + (-2)/r a prime number?
True
Is (-21)/((2/(-3))/(4/18)) prime?
True
Suppose -3*h - 174 = -612. Suppose -u = u - h. Is u - (-4 + (3 - 3)) composite?
True
Suppose -2*a + 2*x - 3*x = 0, -4*x = a + 14. Let h be (-39)/(-6) - (-3)/6. Suppose -a*w + h = -w. Is w a composite number?
False
Suppose -14 - 4 = -3*r. Let h(q) = 5*q**2 - q + 2. Let u be h(1). Is 1143/u*4/r prime?
True
Let r = -169 - -325. Let p = -22 - -26. Suppose -p*u + 8*u = 4*h + r, -5*u + h + 191 = 0. Is u a prime number?
False
Let j(c) = 3*c**2 + 10*c + 15 + 9*c - 6*c - 2*c. Is j(-7) prime?
False
Suppose -k + 458 = 123. Suppose 3*r = -k + 1328. Is r composite?
False
Let x be (-77)/(-21) + 2/(-3). Suppose x*z + 1143 = 6*z. Is z composite?
True
Let m(x) = 10*x**2 - 11*x - 40. Is m(-59) a composite number?
False
Let r(a) = -179*a - 17. Let u be r(-12). Suppose -570 = 7*z - u. Is z a prime number?
True
Let h = 1715 + 1326. Is h prime?
True
Suppose 4*r + 5*x - 44 = 0, -3*r - 2 = 4*x - 9*x. Let c(j) = -11 + 21*j**2 - 9*j**2 + j - 7*j + 12. Is c(r) composite?
False
Let x(b) = -26 - 6*b + b**2 + 15 - 8. Let l be x(8). Let f(v) = -15*v + 8. Is f(l) prime?
True
Let y = -1655 + 4362. Is y prime?
True
Let b = 236 - 102. Let y = b - 83. Is y a composite number?
True
Let k = -1718 - -4759. Is k prime?
True
Let w(a) = -2*a + 1. Let d be w(-2). Suppose -k = -i + 53, 0*k + 265 = d*i - k. Is i a composite number?
False
Let c = 0 + 2. Suppose c = m - 3*m - 4*w, w + 3 = 0. Suppose -3*f + 3*a + 168 = 0, f - 2*f - m*a = -68. Is f a prime number?
False
Let w(h) = -h**3 - 12*h**2 - 2*h + 13. Let r be w(-13). Suppose -5*c + 2*c = -9. Suppose 0*d - 3*l = d - r, 0 = 5*d - c*l - 1058. Is d composite?
False
Let q(b) be the third derivative of 2*b**5/3 - 3*b**4/8 - 13*b**3/6 - 10*b**2. Is q(-6) a prime number?
True
Suppose -5*g + 5*u + 25 = 0, 0 = 3*u - 0*u. Suppose -5*t + 1 = -f, -25 = -4*t - t - g*f. Is (-3)/t - (0 + -26) a prime number?
True
Let k be 1581 - 2/((-10)/5). Let b = 2793 - k. Is b prime?
False
Let x be ((-3612)/24)/(1/(-2)). Suppose 4*v = 1313 - x. Is v composite?
True
Let c be (-5)/(-10) + 5/2. Let g be (0 - c)*(-4)/6. Suppose 3*m = -g*h - 0*h + 961, -m = h - 322. Is m a composite number?
False
Let i = 29 + -24. Suppose 3*j = 4*z + 2 - i, -2*j + 9 = z. Suppose -5*b + r + r = -333, -4*b - j*r + 248 = 0. Is b composite?
True
Suppose -3*f = -a - 29, -47 = 4*a - 4*f + 53. Let d(i) = -i**2 - 40*i - 32. Is d(a) composite?
False
Let m = 54491 + -8674. Is m a composite number?
False
Let r(t) be the second derivative of -7/6*t**3 - 3*t + 11/2*t**2 + 0. Is r(-8) prime?
True
Suppose 0 = -15*s + 35*s - 104380. Is s prime?
False
Let z = -38811 + 58112. Is z prime?
True
Let z(b) = b**2 + 6*b - 13. Let w be z(-8). Suppose -h - 4*l + 4 = 0, 5*h + w*l - 32 = -12. Suppose -359 = -h*t + 149. Is t composite?
False
Is ((-16098)/(-6))/((-9)/(-117)) prime?
False
Let f = -98 - -120. Is 387 + f - (1 - 1) prime?
True
Let z(l) = -2*l + 1. Let b be z(3). Let y(s) = s**2 + 6*s - 2. Let n be y(b). Let q(i) = -i**3 - 5*i**2 + 3*i - 10. Is q(n) composite?
False
Let v(c) be the first derivative of -c**4 + 2*c**3 + 2*c**2 - 7*c - 11. Is v(-4) composite?
True
Is -55592*40/(-48) - (-1)/3 prime?
True
Suppose 2*s = -3*s + 25. Suppose s*p - 3987 = -4*p. Is p a composite number?
False
Suppose 2*d + d + 9 = 0. Let i = -48 - -48. Is 272/8 - (i + d) prime?
True
Suppose 2*j = -4*o + 34276, o + 25693 = 4*o - 2*j. Is o a composite number?
True
Let u = 828 + -265. Let d = u + -312. Is d composite?
False
Let d = 15309 + -9646. Is d prime?
False
Let v = -6839 - -3881. Is v/(-14) + 14/(-49) a composite number?
False
Let d = 3306 + -2327. Is d a prime number?
False
Suppose 3*m + 0*m = 6. Suppose 3*g + 3 = 0, m*x - 4*g + 281 = 1163. Is x prime?
True
Is ((-9)/(-21))/(69/1963717) prime?
True
Let s(q) = q**3 + 5*q**2 + 6*q - 1. Let w be s(-3). Is (4 + (-1 - 296))*w prime?
True
Let v(s) = -s**3 + 7*s**2 - 2*s - 6. Let g be v(7). Let k be 5/g + 722/8. Let z = 147 - k. Is z prime?
False
Let f(c) be the third derivative of -129*c**4/8 - 5*c**3/6 + 3*c**2. Is f(-4) a composite number?
False
Let y(v) = 33*v**2 - 2*v + 3. Let f be y(3). Is 28536/14 - (-7)/(f/(-12)) composite?
True
Suppose 126*b = 117*b + 12735. Is b a composite number?
True
Let t(x) = 231*x - 18. Let l be t(5). Suppose r - 4*r = -l. Is r composite?
False
Suppose u + 12 = 4*c, 2*u + 18 = -c - 3*u. Suppose -147 = -c*q + 111. Is q a prime number?
False
Is 36504/40 + (-12)/(-30) a prime number?
False
Is (-359)/(-3)*3*(-12 - -73) prime?
False
Let h = 2310 - 745. Let w = h + -856. Is w a prime number?
True
Let d(a) = -a**2 + 89. Let r(b) = -b**3 - 5*b**2 + 4*b - 1. Let s be r(-6). Let x(q) = q**3 - 11*q**2 + q - 11. Let m be x(s). Is d(m) composite?
False
Suppose 0 = -4*v + 4*n + 12, -5*v + 7 = 6*n - 3*n. Suppose -v*k + 1918 = 300. Is k composite?
False
Let q(u) = -u**3 - 23*u**2 - 2*u + 12. Is q(-23) a prime number?
False
Suppose 2*f - 14*f + 223404 = 0. Is f a prime number?
True
Suppose 2*p - 6*p = 2*z - 221018, 4*p - 552545 = -5*z. Is z a composite number?
True
Suppose -2*k = -3*n - 99413, -5*k + 9125 = 3*n - 239439. Is k prime?
True
Let d = 1405 + -2046. Let t = 1692 - d. Is t a composite number?
False
Let u be ((-10)/30)/((-1)/36). Let s = 6 - u. Is (-42)/(-28)*(-2596)/s prime?
False
Let t(w) = 18*w**2 + 2*w + 9. Let m be t(7). Suppose -3*z = 4*u - m, 0 = -u + 3*u + 8. Is z a prime number?
True
Suppose 4 = -2*u, -19*p - 46718 = -23*p + 5*u. Is p a prime number?
True
Let g(b) = -7*b**3 - 20*b**2 + 25*b + 109. Is g(-14) composite?
True
Let g = 14157 + -7526. Suppose -12*p = -7925 - g. Is p a composite number?
False
Let h(d) = 7*d**2 - 11*d + 35. Is h(22) prime?
True
Let d(n) = n**3 - 13*n**2 - 13*n - 14. Let x be d(14). Suppose x*y - 3*y + c + 113 = 0, -y - 4*c = -29. Is y composite?
False
Let m = 125 - -109. Suppose 7*b = -1540 + 441. Let q = b + m. Is q a composite number?
True
Let c = -1843 + 3128. Is c composite?
True
Let p(q) be the first derivative of -q**4/4 + 4*q**3 - q**2/2 - 7*q + 15. Is p(5) a prime number?
True
Suppose 3*j - 4*o = 4, 5*o - 25 + 7 = -2*j. Let u be j/30 - (-11019)/45. Suppose u = 3*z + 2*k, -k + 65 = z + 3*k. Is z prime?
False
Let z = -5125 + 7284. Is z a composite number?
True
Let s = -2138 + 3368. Let f = s - 779. Is f prime?
False
Suppose 2130 = 15*v - 13*v. Let l = -362 + v. Is l a composite number?
True
Let d be (12/(-16))/(1/(-4)). Let i(o) be the third derivative of 25*o**4/8 - o**3/3 + 14*o**2. Is i(d) a composite number?
False
Suppose -425 = -u - 4*a, -3*u - 3*a - 817 = -5*u. Let n = 786 - u. Is n a composite number?
False
Suppose 0 = -748*r + 755*r - 61453. Is r prime?
True
Let y be 1 + -1 + 6021 - (-25 + 25). Is 14/49 - y/(-21) a composite number?
True
Let s(y) = 37*y**2 - y + 3. Let t be s(-3). Suppose 83 = 2*a - t. Is a composite?
False
Let z = -18 + 20. Suppose 0 = -z*d + 7*d - 515. Is d composite?
False
Suppose 0 = t - 8. Let g(z) = -4*z**2 - 3*z + 2. Let p(h) = 7*h**2 + 5*h - 5. Let q(y) = 5*g(y) + 3*p(y). Is q(t) prime?
True
Let v(i) = 3*i**2 + 1. Let u be v(-1). Suppose -7486 = -4*g - 2*w, 3*w - 9355 = u*g - 9*g. Is g composite?
True
Suppose -1624 = -5*s + 4376. Suppose -2*i - 248 + s = k, 2860 = 3*k + 4*i. Suppose -2*j + k = -0*j + 2*x, -4*j = 5*x - 1909. Is j composite?
True
Let q = -4868 - -16645. Is q prime?
True
Is 3021 - (54/6 - 5) a prime number?
False
Suppose 5*a = -5, -3*a + 0*