b, 3*b = -3*v + 1395. Is v a prime number?
True
Suppose -2*d = -39*d + 1005623. Is d composite?
False
Suppose -204*n = -215*n. Is ((-35)/5 - -1566)*(3 + n) composite?
True
Suppose 0 = -5922*s + 5880*s + 5046258. Is s a prime number?
False
Suppose 3*c - 4202151 = -2*t, 0 = -85*c + 88*c - 5*t - 4202088. Is c prime?
False
Suppose 44*y - y + 430 = 0. Is ((-123978)/y)/(54/90) a composite number?
False
Let r be 2/(-12) + 1554/36. Suppose 4*v = -2*n + 136, v + 4*n = 2*v - r. Suppose v*j = 40*j - 9905. Is j composite?
True
Let q(o) = 165*o**2 - 11*o + 55. Is q(12) composite?
True
Suppose -c = -4*b - 537, 310 + 232 = c - 5*b. Let m = c - -844. Is m a prime number?
True
Is 3*(-8956120)/180*3/(-2) composite?
False
Let z(h) = h**3 - 21*h**2 - 113*h - 23. Let n be z(26). Suppose -406*m + n*m = 133211. Is m prime?
True
Let d be (-21258)/24*(-8)/(-3). Is 8/28 + d/(-14) prime?
False
Let u be (4 + (-35)/7)*-41830. Suppose -124*p + 134*p - u = 0. Is p a prime number?
False
Let z(b) be the third derivative of 13/6*b**3 + 55/12*b**5 + 0*b + 0 + 25*b**2 - 1/12*b**4. Is z(-4) a composite number?
False
Let a = -2905 - -3337. Suppose 0*r + r - 2395 = 0. Let i = r + a. Is i prime?
False
Suppose 0 = 5*s + g + 18, -3*s - 26*g + 31*g = 22. Is (-14)/s*(-102104)/(-28) a composite number?
False
Let n = 89 - 83. Suppose 0 = 3*a - n*a - 45. Is 229 - ((-18)/a)/(10/25) composite?
True
Let z = 1972058 - 670389. Is z prime?
True
Let w = 16977 - 6908. Let k = w - 3068. Is k prime?
True
Let s(y) be the second derivative of y**3/3 - 4*y**2 - 14*y. Let l be s(-4). Is ((-60)/l + 2)/((-3)/(-36)) a composite number?
True
Suppose 4*v + 5*m - 272285 = 0, 3*v = m - 3*m + 204205. Is v composite?
True
Let w(o) = -875*o + 124. Suppose 2*b = -p + 3*p + 8, 4*b - 1 = p. Is w(p) a prime number?
False
Suppose -3*l + 40000 = c, -5*c + 11*l = 7*l - 200057. Is c prime?
True
Let r(j) = -2*j - 37. Let x be r(-22). Suppose 11 + 3 = x*f. Suppose 307 = f*h - 67. Is h a composite number?
True
Let q = 75741 - -98396. Is q prime?
True
Let k(a) = a**3 + 2*a**2 - 2*a + 6. Let g = -57 + 54. Let l be k(g). Suppose 389 = 3*o + 4*w, -w = 1 - l. Is o a prime number?
True
Suppose -3*w = -w + 2. Is 7181 + (-2 + 6)*w a composite number?
False
Suppose 0 = -15*v + 38707 + 28583. Is v a prime number?
False
Let s(f) be the second derivative of 263/6*f**3 + 0 - 13/2*f**2 + 8*f. Is s(16) a composite number?
True
Let p(i) = 43*i**2 - 13*i - 34. Let v be p(-4). Let j = v - -495. Is j a composite number?
False
Suppose -22963 = -5*k + 4*l, -4*k + 15051 = 5*l - 3344. Let n = -3234 + k. Is n prime?
True
Let u = -320943 + 633870. Is u prime?
False
Let f(q) = 15*q + 168. Let k be f(-11). Suppose 0 = -k*b + 2*t + 12895, b - 5*t - 4299 = -4*t. Is b prime?
True
Suppose 688*p = 675*p + 621101. Is p prime?
True
Let d be (-124)/(-93)*(-6 + 0/(-2)). Is d + 6 - ((-1 - -1) + -1545) composite?
False
Is (4404022/(-294))/((-1)/3) composite?
False
Let g(s) = 3*s + 15. Let y be g(-4). Let x be 2 - (4 + (-6)/y). Let p(f) = f**3 + f**2 + 3*f + 745. Is p(x) a prime number?
False
Suppose -54*s - 2551081 = -8719015. Is s a composite number?
False
Let t = 99 + -103. Let u be (-2)/(t/(-15))*6/(-9). Suppose 5115 = u*m + 5*n, -2*n + 6*n = m - 998. Is m prime?
False
Let z(t) = 2382*t**3 - t**2 + 9*t - 7. Is z(2) prime?
False
Let a(p) = 51946*p**2 - 115*p + 418. Is a(3) prime?
True
Let l(s) = -4*s - 39. Let u be l(-9). Let n be (612/(-16))/(u/80). Suppose -f + n = 11*f. Is f a prime number?
False
Let c(u) = 73*u**3 - u. Let w be c(-1). Let p = -73 - w. Is p/(2/2) + (-15 - -805) a composite number?
True
Let d(w) = -w**2 - 30*w - 107. Let a be d(-26). Let q(b) = -1304*b + 31. Is q(a) composite?
False
Let h(k) = 2*k + 17. Let x(d) = 3*d + 26. Let f(m) = 8*h(m) - 5*x(m). Let z be f(-2). Suppose z*b - 3455 = -4*r + 4685, 0 = -4*b - 16. Is r prime?
True
Let m be (1 + 9)/((-301)/(-28) - 11). Let x(i) = -3*i + 101. Is x(m) composite?
True
Suppose 2*x - 32 = -24. Suppose -x*j = 0, 0*j = 4*l + 2*j - 11996. Is l prime?
True
Suppose 0 = 2*b - g - 401747 - 65348, -2*b + 467092 = -2*g. Is b a composite number?
False
Suppose 23*f = 24*f - 5697. Suppose f = 11*i - 6*i + 2*r, -3*r - 3435 = -3*i. Is i a composite number?
True
Let r(k) = -k**2 + 11*k + 10. Let g be r(12). Let w be g/(-15) - (-130404)/45. Suppose 0 = 3*i + j - 3588, 3*i - 5*j - w = 672. Is i composite?
True
Suppose 5*v - 2*v + 13205 = 4*c, 0 = -2*c + 5*v + 6585. Is c composite?
True
Let d(j) = 931*j - 1143. Is d(68) prime?
False
Suppose -43*k - 390407 = -3*j - 39*k, -5*k = 5*j - 650620. Is j prime?
False
Let c(d) = 103219*d - 1077. Is c(14) a composite number?
False
Let k = 104 - 102. Suppose -h = -3*j + 383, k*h + 655 = -3*j - 147. Let f = 126 - h. Is f composite?
False
Is (3 - 27477/(-2))/(5*(-18)/(-1140)) composite?
True
Let l(p) be the first derivative of -19/2*p**2 + 9*p + p**3 + 8. Is l(14) a prime number?
True
Suppose 35 = 14*q - 105. Let s(l) be the third derivative of l**6/120 - l**5/60 + 5*l**4/6 + 7*l**3/3 - 2*l**2. Is s(q) a prime number?
False
Let q = 58597 - 103917. Is (1 - 2/4) + q/(-16) a prime number?
True
Is 2 + 3761281 + 6*(-20)/30 prime?
True
Let p(b) = 141*b**2 + b - 1. Let g be p(5). Let h = 1732 + g. Is h a composite number?
False
Is ((-1259970)/8)/((-40)/(-32) + -2) a composite number?
True
Let s(z) = 1352*z - 21. Suppose 3*r - 5*o = 1, 5*r + 3*o - 5*o = 8. Is s(r) prime?
True
Suppose -g + 120110 + 258119 = 2*c, 0 = 3*g + 2*c - 1134675. Is g prime?
True
Let q(m) = 5*m + 40. Let f be q(-7). Suppose -3*u = -w + 3049, -1945 - 1096 = -w - f*u. Is w a composite number?
True
Let q = 68 - 59. Suppose -5*r = q*j - 7*j - 3, 0 = 5*j - 3*r + 39. Is -3 - (-856)/(-6)*j prime?
True
Let x be 2/(6/195*5). Let y be (5 + (-9)/(-2))*(x + 1). Suppose 3*v - 968 = -5*p, 187 = v - p - y. Is v prime?
False
Let w(y) = y**3 + 9*y**2 + y + 7. Let l be w(-9). Is l/5*(84060/(-8) - -5) prime?
True
Suppose 3*v = -4*d + 167, 2*d + v - 31 - 50 = 0. Suppose 7*x - d = -17. Is ((-69)/x)/(-1 + 96/102) a composite number?
True
Let k(q) = -3*q**3 - q - 2. Let o be k(-1). Let j be (32/6)/(o/6). Is 10345/40 + 6/j prime?
False
Suppose 2*o + 48 = 10*o. Is o*2/12 + 308 composite?
True
Let m = -643555 + 1348692. Is m prime?
True
Let l(w) = 90556*w - 1407. Is l(4) a prime number?
True
Let k = 111979 + -55224. Is k prime?
False
Let l(u) = -u**3 - 24*u**2 - 14*u + 67. Let a be l(-28). Suppose -q + 4*w = -a, -4*w + 18023 = 6*q - q. Is q a prime number?
False
Let n(b) = -18*b + 7. Let k be n(-4). Suppose -3*g = 96 - 966. Suppose 77*l = k*l - g. Is l a prime number?
False
Let l be (-22)/(-5) + -6*6/90. Is (-2 - l)/(27/(-18)) + 26179 a composite number?
False
Let u = 1920507 - 916796. Is u a composite number?
False
Let t be 16/(-6)*-33*(-5274)/(-24). Suppose t = 7*u - 16565. Is u a composite number?
True
Let q(y) = -y**2 - 30*y - 337. Let t be q(-23). Let p = -457 - -884. Let s = p + t. Is s composite?
False
Let x = 86413 - 59326. Suppose -x = 401*o - 404*o. Is o prime?
True
Suppose -5*r - 8 - 32 = -5*a, 0 = -2*a + 3*r + 21. Let u(c) = 135*c**3 - 3*c**2 + 2*c + 6. Let q be u(a). Is (q + -2)*(-3)/(-12) a prime number?
True
Let b be 12/((-5 - -4)*2*1). Is ((-22054)/b)/((-176)/(-24) - 7) a prime number?
True
Suppose -4623517 = -149*u + 130*u. Is u a prime number?
True
Let k = -48629 + 131266. Is k a composite number?
True
Let d(p) = 34*p**2 + 68*p + 97. Is d(33) composite?
False
Let g = 21489 - 13240. Is g a prime number?
False
Suppose 4510129 = 14*i - i. Is i a prime number?
True
Is (218976/28 + -5)*(7 + 0) a composite number?
False
Let p(c) = c**3 - 8*c**2 + 18*c - 15. Let w be p(5). Suppose 47*d - 32*d - 378735 = w. Is d a prime number?
False
Let y be 3/(((-66)/(-10316))/(-11)). Is (-1)/((-8)/(-4)*1/y) composite?
False
Let d = -40 + 51. Suppose d*o = 6*o + 2855. Suppose -4*a - o = -2*t + t, 0 = 2*a + 10. Is t a composite number?
True
Suppose 0 = -6*l + 2*l + 40. Suppose 6*q = q - l. Is ((-1)/q)/(2/7036) a prime number?
True
Let y(v) = -5*v + 1110 + 108 + 349. Let w(u) = u**2 - 4*u - 165. Let c be w(-11). Is y(c) composite?
False
Suppose 2*g + 5*q - 246115 = -8894, g - 118600 = q. Is g a composite number?
False
Let v = 31 + -37. Let l be 2/5 - v/45*-3. Suppose -r + 0*r + 677 = l. Is r composite?
False
Let t(n) = -85*n + 402. Let s b