 composite number?
True
Suppose 23 = 6*d - 1. Suppose d*r - 12*r = -9496. Is r a composite number?
False
Let k(w) = w**3 + 8*w**2 - 13*w - 6. Let j(r) = 2*r**3 + 16*r**2 - 25*r - 13. Let q(s) = -3*j(s) + 5*k(s). Let t be q(5). Is 2/(-1) - t/(3 + -1) a prime number?
True
Let s be (33 - 2)/(-3 + 4). Is (4846/(-8) + 1)/(s/(-124)) a prime number?
False
Let y(x) = 214*x**2 + 10. Let k be y(-4). Let p = k - 1771. Let d = 3816 - p. Is d a composite number?
False
Let h be 1 + 0 + -3*(3 - 4). Let j(l) = h*l + 9 - 8*l - 12*l. Is j(-5) prime?
True
Suppose 21 - 33 = -3*c. Is 0/c + (15 - -4706) composite?
False
Let u(b) = 2557*b - 12. Let p be u(-6). Is (p/(-45))/(1/5) a composite number?
True
Let o(q) = -3*q**2 - 23*q - 2. Let g(s) = 10*s**2 + 70*s + 5. Let d(x) = 3*g(x) + 8*o(x). Is d(-11) a prime number?
True
Let v(y) = y**2 + 6*y + 6. Let i be v(-3). Let q(x) be the third derivative of -139*x**6/120 + x**5/60 + x**4/12 + 5*x**3/6 - 193*x**2. Is q(i) a prime number?
True
Let a = 87643 - 60824. Is a composite?
True
Is (13 - (-15705400)/60) + 4/(-6) a composite number?
True
Let i = 82296 + -40853. Is i prime?
True
Let v(r) = -2 - 1 + 5*r**2 + 19 + 12*r. Suppose -34*o + 45*o = -77. Is v(o) a composite number?
True
Suppose -a + 4*g + 17 = 0, 4*g + 13 = -5*a + 2. Let r(o) = 4 - a - o + 6 + 24*o**2. Is r(-4) prime?
True
Let k(v) = -1796*v - 37. Let g be k(-9). Suppose -43912 = -5*x - 4*l + g, 3*x + 2*l = 36023. Is x a composite number?
False
Suppose -3*b + 379163 = -2*f - 637326, 0 = -3*f + 15. Is b a prime number?
False
Let c(n) = n - 5. Let g be c(0). Let j = g + 36. Suppose -4*u + 4*r = r - j, 0 = -4*u + 4*r + 32. Is u prime?
True
Suppose 0*d = -5*d + 10, -5*d = -t - 9. Suppose -12 = 243*z - 231*z. Is (-12)/(-9)*(3 + t + z) a prime number?
False
Let m(f) = -3659*f**3 + f**2 - f + 46. Is m(-3) prime?
False
Let t be (-78339)/(-12) - 3/12. Let k be (17/(-66 + 15))/((-2)/12). Suppose 2*z + z = k*j - t, 4*z = -j + 3253. Is j composite?
True
Let v = -10153 - -35905. Let a = -17089 + v. Is a a prime number?
True
Let j = 157 - 155. Suppose -2*v + y + 7346 = 0, -7334 = -j*v + 3*y - 5*y. Is v composite?
False
Let k(b) = -451*b + 13. Suppose 13*u = 5*u + 24. Suppose 0 = 4*x + 3*c + 19, u + 4 = -2*x + c. Is k(x) a prime number?
False
Let c = -26 - -30. Suppose 0 = c*j - 15 + 11. Is -3 - (3 - 280)*j composite?
True
Suppose 6*r - 151216 = -2*r. Suppose a = -2*f + 4*f - 9457, 0 = 4*f + 2*a - r. Is f a composite number?
True
Let a be 19 + -2 - 27/9. Is (-16 + a)/(4/(-46)) composite?
False
Suppose 3*c + 28602 = 9*c. Let g = c - 2836. Is g a prime number?
True
Suppose -39473 = -6*m - 5069. Let b = m - 1947. Is b a prime number?
False
Suppose 1522 = 2*c + 3*z, -113 = -c - 5*z + 655. Suppose -5*a + c = 203. Is a a composite number?
True
Suppose -7*i = -9 - 54. Suppose 4*g - 2*w - 2 = 0, -3*g + 5*w = i - 0. Suppose -2*r + 3*s + 1680 = 0, 0 = -g*r + 6*r + 3*s - 3378. Is r a composite number?
True
Let l(o) = 16447*o + 32. Let z(u) = 4*u. Let x(f) = l(f) + 4*z(f). Is x(1) a composite number?
True
Let g(o) be the first derivative of 10*o**3/3 - 3*o**2/2 - 6*o + 1. Let z be g(5). Suppose s + 4*c = 202 + z, 1685 = 4*s + 3*c. Is s prime?
True
Let z(m) = 591*m + 8. Is z(15) prime?
False
Let h(p) = -p**3 - 54*p**2 + 94*p - 68. Is h(-57) composite?
True
Let c(g) = 84*g**2 + 23*g - 2. Suppose -239*v + 21 = -242*v. Is c(v) a prime number?
False
Let z = 70 - 60. Suppose 16 - z = 2*b. Suppose -b*c + g = -1742, -3*c = -5*c - 2*g + 1148. Is c prime?
False
Suppose -134507 = -u + 5*a - 39156, -2*a + 190702 = 2*u. Is u composite?
True
Let c be (-16 - (-1 - 3)) + 1. Let a = 14 + c. Suppose 5*w - 546 = -j, -a*j - 2703 = -8*j + 2*w. Is j a composite number?
False
Let n(h) = 41*h**2 + 4*h + 5. Let d be n(4). Suppose -d = 44*j - 45*j. Is j a prime number?
True
Let z = -179 - -189. Suppose -z*b + 94491 = -b. Is b a prime number?
True
Let b(i) = i - 17. Let g be b(15). Let t be (-9 + 10)*(0/g)/(-3). Suppose 4*v = -5*u + u + 3120, -u - 5 = t. Is v a composite number?
True
Suppose -257*q + 129274870 = -160050847. Is q a composite number?
True
Let d(l) = 17*l + 13. Let z(c) = -6*c - 4. Suppose -2 + 9 = -b - 5*h, -2*b = 3*h. Let y(n) = b*d(n) + 8*z(n). Is y(16) prime?
False
Let o = -296 - -289. Is 2/o - (-63158)/14 a composite number?
True
Suppose 3*t = -3*x + 33090, 4*x = -230*t + 234*t + 44096. Is x a prime number?
True
Let p(b) = b**3 + 13*b**2 - 2*b - 16. Let i be p(-13). Let k = -6 + i. Suppose -w = -2 - 3, k*t + w = 3553. Is t composite?
False
Let m be 3/5 + (-285)/(-25). Is (m/(-24))/((-2)/18548) a composite number?
False
Let w = 556 + -551. Is 42/(-350)*w + (-146788)/(-5) a prime number?
False
Suppose 0 = -7*c + 1954 + 258. Suppose q + 4*h - 593 = 0, 3*q - h - c - 1424 = 0. Is q composite?
True
Let z(g) = -261*g**2 - g. Suppose 5*q - m + 4*m = -30, 0 = m + 5. Let l be z(q). Is (l/9)/((-5)/(30/4)) a prime number?
False
Let h = -246 + 357. Let r = -105 + h. Is r/(-8) - 78712/(-32) composite?
False
Let d(u) = 2*u**3 + 14*u**2 - 14*u - 19. Suppose 15*f - 67 = 68. Is d(f) prime?
True
Let y(l) = l**3 - 20*l**2 - 19*l - 37. Let d = 81 - 60. Let i be y(d). Suppose -2*u = -2*o + 11508, 4*u = i*o - 0*u - 28769. Is o a composite number?
True
Suppose -192968 = -4*u + 2*q, 2*q - 30 = 7*q. Is u prime?
True
Let r = 64687 + -19526. Is r composite?
False
Suppose 30 = -9*h + 8*h. Let a be 2/(-2) + 3389 - (h + 33). Suppose -11*o = -6*o - a. Is o a prime number?
True
Let b = 880897 + -482028. Is b prime?
False
Suppose 2253594 = 18*t - 1838940. Is t a composite number?
False
Let l = 10 + 179. Suppose k = l + 109. Is (-3)/9*3*(-1 - k) composite?
True
Let o(y) = -15*y**3 - 12*y**2 - 27*y - 28. Let j be o(-7). Suppose 2*f = -u + j, -5*f + 22*u = 25*u - 11795. Is f a prime number?
False
Let l(o) = -o**3 + 115*o**2 + 168*o - 53. Is l(96) prime?
False
Let t(q) = 139*q**2 - 6*q - 20. Suppose -2 + 128 = -18*v. Is t(v) a prime number?
True
Let g(z) = 2*z**3 - 31*z**2 - 16*z + 21. Let m be g(16). Is (m/14 - 1)*16374 a composite number?
True
Let a = -7235 + 15637. Suppose p + 2*f = 3199, -4*p - a = -5*f - 21250. Is p composite?
True
Let c(s) = 10*s**3 + 42*s**2 - s + 55. Let t(v) = 3*v**3 - 9*v**2 + 12*v**2 + 18 + 11*v**2. Let m(r) = 2*c(r) - 7*t(r). Is m(-15) composite?
False
Suppose 0*r - r = -63320 + 12289. Is r composite?
False
Is (-10)/(-6) + 2464336/84 a composite number?
False
Is (2 - -27 - -1100)*1*37 prime?
False
Suppose 2*s + 240 = -18*s. Is ((-120)/s - 9)/(1/1561) a prime number?
False
Suppose u - 44103 = -4*q, -107*q - 2*u = -103*q - 44098. Is q prime?
True
Suppose -35 = 3*v - 83. Let d = v + 8. Is (-12268)/(-6) + 8/d a prime number?
False
Let w = 20776 - 6159. Let g = 21572 - w. Suppose 3933 = 8*y - g. Is y a prime number?
True
Let c(y) = 67818*y**2 + 39*y - 17. Is c(2) composite?
False
Let p be -4 - 6*14/(-4). Let m = 21 - p. Suppose -m*d + 647 = 5*x, 4*x + d = -x + 638. Is x a prime number?
True
Is (((-219251)/(-2))/(-1))/(4 + 18/(-4)) a composite number?
False
Let f(m) = -89*m - 47. Let u(q) = q**2 - 24*q - 33. Let t be u(22). Let l = t + 71. Is f(l) a prime number?
True
Suppose -5*i - 3*k = -34034, -11*i + 14*i - 20422 = -k. Suppose -l = -5*v - i, 0 = 2*l + 4*v - 6411 - 7247. Is l prime?
True
Let s(g) = 80*g + 9. Suppose 4*v - 36 - 8 = 0. Is s(v) a composite number?
True
Let a = -93572 - -163999. Is a a prime number?
False
Let z(i) = -60*i + 189. Let t be z(3). Let g(s) = 51*s**2 + 10*s - 20. Is g(t) prime?
True
Suppose -61 = -0*k - 4*k - 5*g, -5*g + 52 = 3*k. Let n(j) be the first derivative of j**3/3 + 15*j**2/2 + 7*j + 5279. Is n(k) composite?
False
Suppose 2*o - 156600 = -2*g, 2*o + 85333 = 3*g - 149592. Is g composite?
True
Let j = 226540 + 125053. Is j prime?
False
Suppose 0*a + 3*n - 19 = -2*a, 0 = 5*a - 2*n. Let x be 1 - -3 - (a - -252). Let o = x + 557. Is o prime?
True
Suppose 588*s - 622*s + 222938 = 0. Is s prime?
False
Let m = 228381 + -153076. Is m composite?
True
Suppose 0 = 27*r - 226248 - 46047. Is r composite?
True
Suppose 2*c = c + 90901 - 10592. Is c a prime number?
True
Suppose -4*y = 5*w - 231604, -32*y + 28*y - w = -231604. Is y a composite number?
False
Let v(i) = -i**3 - 4*i**2 - 58. Let k be v(21). Let w = -6756 - k. Is w a prime number?
True
Let m be 32/(-14) + 2 - 1152/(-112). Let