omposite number?
False
Suppose -632*b = -306*b - 305*b - 25641147. Is b composite?
True
Suppose 10*a + 1016741 - 2408431 = 0. Is a composite?
False
Let l(z) = 4*z - 83. Let t be l(26). Let a = 67 - t. Is a a composite number?
True
Let p = 286038 - 29839. Is p a composite number?
False
Let i(f) be the second derivative of 107*f**4/12 - 4*f**3/3 + 11*f**2 + 4*f. Is i(5) composite?
False
Let o(c) = 31*c**3 - 11*c**2 + c + 36. Suppose -2127*p + 2124*p + 33 = 0. Is o(p) composite?
True
Let d(x) = 139*x**2 - 4*x - 9. Suppose 0*u + 6 = u. Let z be d(u). Let s = z + -3490. Is s composite?
False
Let g(f) = 37660*f + 3797. Is g(5) prime?
True
Suppose -87898332 = -98*s - 16*s. Is s prime?
False
Suppose -38109 = -9*b + 1347. Suppose i - 6979 - b = 0. Is i prime?
False
Is (-1 - 39/(-33)) + 615525/11 a composite number?
True
Is 8 - (38/(-114))/(2/204246) a prime number?
False
Let t = 10 + -8. Suppose 6 = -3*x, t*q + 0*q - 18854 = 5*x. Suppose -3*w = -w + 4*n - q, 4*n = -5*w + 23585. Is w prime?
True
Let p = -226 + 406. Suppose -p*y = -183*y + 1761. Is y a composite number?
False
Suppose -19*l + 6*l = 65. Let i be 20/(l/10*1). Is 16/i*(-18470)/4 a prime number?
True
Let v(w) = 379*w + 27. Suppose 15*i = 9*i + 24. Is v(i) composite?
False
Suppose 189*k - 15 = 186*k. Suppose 2*s + 7792 = 5*c - s, k*s - 1564 = -c. Is c composite?
False
Let d(q) = q**3 + q**2 - 3*q - 8275. Let u be d(0). Let x = 10360 - u. Is x a prime number?
False
Is ((-164)/1148)/(2/(-4441906)) composite?
False
Let o(a) = 4*a**3 - 7*a**2 + 3*a - 1. Let k be o(-6). Let x = 2100 + k. Suppose 6668 - x = 3*j. Is j a prime number?
True
Let h(v) = 134*v**2 + 327*v + 3. Is h(10) composite?
False
Let w(o) = o**3 + 16*o**2 - 7*o - 16. Let s be w(-16). Suppose n - 340 = -3*k, 2*k = 5*n - s - 1689. Is n prime?
False
Let j = 13925 + 1934. Is j prime?
True
Is (814312/6)/((70/60)/((-14)/(-16))) composite?
False
Is (-3 + 5)*10714 - 10 composite?
True
Let k(r) = -r + 0 + 2*r - 6*r - 120*r**3 - 4*r**2 + 1. Let n be k(-3). Let g = n - 2105. Is g prime?
False
Let y(o) = 26651*o - 10489. Is y(18) prime?
True
Let n be (2 + -5)*(7 - 8). Suppose -n*m - 1386 = -g, -4*m - m = -10. Let t = g + -899. Is t composite?
True
Let x(v) = -1516*v + 24. Let z be x(-3). Let i = z + 1637. Is i composite?
True
Let z(a) = 3*a**2 - 10*a - 37. Suppose -p + 3*p - 42 = -5*g, -4*p + 58 = -3*g. Is z(p) a prime number?
True
Let s be (4 - (-60)/(-14)) + (-65)/(-7). Suppose s*z - 4*z - 17340 = 0. Let q = z - 1097. Is q a prime number?
True
Let z = 187 - 50. Let j be ((-1118)/52)/(2 - z/68). Let u = -749 + j. Is u a composite number?
True
Suppose 0 = -4*q + 4*g + 1236500, q = 4*g - g + 309133. Is q a prime number?
True
Let x be (1729 - -3)/4*-5. Let a = 4182 + x. Is a composite?
False
Let u = 679709 - 358618. Is u a composite number?
False
Suppose 41*h - 2255492 - 357479 = 0. Is h prime?
False
Let v(g) = 360155*g - 176. Is v(1) a prime number?
False
Let o = -44 + 43. Let y be 1/(-1)*(0 - o)*1. Is (7 + -167 - (0 - y))*-1 prime?
False
Let i = 142 - 135. Suppose 28043 = i*y - 29735. Is y a composite number?
True
Let k(j) = 4*j**3 - 8*j**2 - 2*j + 1. Suppose -3*x + 4*s = -112, 0*s + 3 = -3*s. Let q = x - 30. Is k(q) a prime number?
False
Suppose 5*l - 2*s - 34023 = 0, -117*s = -119*s - 8. Is l a composite number?
False
Suppose 2220753 = 27*j + 246918. Is j composite?
True
Let r = 83 - 77. Suppose -r*o = 4*o + 30. Is 0/(-1) + 11838/(-18)*o prime?
True
Let c = 24416 + 53037. Is c composite?
True
Suppose 32*v + 11618 = 34*v. Let l = v + -2924. Suppose 1177 = 2*t - 3*j, -5*t - 3*j + l = j. Is t a prime number?
False
Suppose 0*g = -5*g + 30. Suppose -b = -4*a + 18, 2*a - b = -g*b + 20. Suppose 2*i + 2*i - 360 = -r, -a*i - r = -451. Is i a composite number?
True
Let r be ((-282)/(-4))/(129/(-10148)). Suppose z + 6825 + 1783 = 0. Let i = r - z. Is i composite?
True
Is (24 - 3)/7*(-70682)/(-6) a composite number?
True
Let m(b) = b**3 + 8*b**2 + 13*b - 116. Let c be m(12). Suppose 39*v + 229 = c. Is v a prime number?
False
Let f = 20 - 36. Is (4/f*47)/((-5)/1340) prime?
False
Let m = 2446172 - 1513411. Is m prime?
True
Let c(a) = -a**3 + 8*a**2 + 2*a + 5. Let j be c(8). Let t(q) = 14*q**2 - 4 - 4 - j*q**3 + 22*q**3 - 22*q - 3. Is t(-12) a prime number?
True
Let z be -2 - -4 - (-1 - -29). Let j(y) = 4*y**2 + 7*y - 63. Is j(z) a composite number?
False
Suppose 52*s = 56*s + 3100. Let o = 1026 - s. Is o a prime number?
True
Suppose -121*i + 125*i - 1464388 = -2*t, -3*i - 6*t + 1098291 = 0. Is i prime?
True
Suppose 0 = -10*z + 13*z + 2*i - 6986669, -3*i = -4*z + 9315587. Is z a prime number?
False
Let p(m) = -2*m + 11. Let x be p(3). Suppose -y - 3483 = -x*w, 5*w + 5*y = 2*w + 2101. Suppose 3*t + w = 10306. Is t prime?
True
Let i(c) be the third derivative of 31*c**6/40 - c**5/30 + 5*c**4/12 - c**3/2 - 9*c**2. Let t be i(2). Suppose 7*x - t = 4*x. Is x a prime number?
True
Is (-2)/6 - ((-5)/45 + (-14280740)/36) prime?
False
Let m = 475789 + -236822. Is m a composite number?
False
Let x(i) = -2*i**2 - 8*i - 3. Suppose 0 = -25*m + 29*m + 12. Let j be x(m). Suppose -j*p + 279 = -1758. Is p composite?
True
Let x = -248 + 253. Suppose -8580 = -5*h + x*i + 16705, 2*i - 20228 = -4*h. Is h a prime number?
False
Let z(n) = 4*n + 39. Let t be z(-7). Suppose t*a = 10*a + 3433. Is a a composite number?
False
Let q = -11983 - -1931. Let z be q/(-21) - (7/(-3) - -2). Suppose z = -7*j + 8*j. Is j prime?
True
Suppose -36944 = -3*t - v, 18037 = 5*t - 3*v - 43541. Let u = 18632 - t. Is u a composite number?
False
Let y(o) = o**2 - 3*o - 15. Let f be y(8). Let x be (-1 - 60/(-4))*f. Suppose 0 = -8*t + x + 3482. Is t a prime number?
True
Let w = -601 + 630. Let a(g) = 755*g + 324. Is a(w) a prime number?
False
Let x(v) = 14*v**2 - 8*v - 2. Suppose -k - 10 = 3. Let c be x(k). Let j = -1561 + c. Is j composite?
False
Let r(k) = 954*k**2 - 45*k - 839. Is r(-12) a composite number?
False
Let r(z) = 21690*z - 2257. Is r(25) a prime number?
True
Suppose 28*p = -2*t + 29*p + 107320, 3*p + 18 = 0. Is t prime?
True
Suppose 2 = -5*m + t, -3*m + 8*m + 8 = 4*t. Let j be (0 - 5)*(-1 - 0). Suppose -j*p + 4*x + 1963 = m, 0 = -3*p + 4*x - 7*x + 1167. Is p a prime number?
False
Let c(w) = -222*w**3 - w**2 - 5*w + 7. Let a = 335 - 338. Is c(a) a prime number?
True
Let n(a) = -a**2 - 8*a - 9. Let l be n(-8). Let m = l - -13. Suppose 0 = -3*q + r + 2521, -r + 2*r - 3352 = -m*q. Is q a composite number?
False
Let q = 251 + -407. Let g = 96 + q. Let z = g - -179. Is z a prime number?
False
Let u(y) = y**2 - 4*y - 21. Let v be u(-3). Suppose v = 2*d + 11*d - 78377. Is d a prime number?
True
Let x(l) = 31*l**2 - 22*l - 196. Let r be x(32). Let q = r - 19935. Is q prime?
True
Let s(w) = -2*w + 32. Let q be s(22). Is (q/(-9))/(28/32403) composite?
False
Let v = 251 + -243. Is (-2 + v)*(-15629)/(-6) composite?
False
Suppose -d = -3*b + 6263 - 2008, -b - 5 = 0. Let u = d - -6029. Is u a prime number?
True
Let d = -65 - -71. Is 41032/8 - (d - 4) prime?
False
Let y be (-1)/((9/2)/9). Is 32197/(-11)*(y + -2 + 3) composite?
False
Let s(a) = -106*a**3 - 3*a**2 - 14*a + 1. Let p be s(-5). Is (-5)/(-4) + p/8 prime?
True
Let f(h) = 2*h**3 - 4*h**2 + 8*h - 12. Let s(a) = a**3 + 6*a**2 - 2*a - 5. Let x be s(-6). Suppose 25 = x*o - 2*o. Is f(o) prime?
False
Let h(w) = 53*w**2 + 16*w + 27. Let c be h(6). Let r = 4186 + c. Is r prime?
True
Let k = 455 + -1106. Let r = 3140 + k. Is r composite?
True
Let b(d) = -150*d + 23. Suppose 4*t = -t + 20. Suppose -2*u - 18 + t = 0. Is b(u) a prime number?
False
Let m(c) = -3 - 9*c + 3*c + 3*c**2 - 31 + 4*c. Let d(n) = 9*n**2 - n + 1. Let s be d(-1). Is m(s) a prime number?
True
Let o be (-100)/900 - 11431/(-9). Suppose -2*q = -4*q - 1794. Let b = q + o. Is b composite?
False
Let s(q) = 7*q**2 - 5*q - 19. Suppose 0 = -2*z - 6*z - 80. Is s(z) a composite number?
True
Let y = 18 + -28. Let w(j) = -j**3 - 10*j**2 + 3. Let t be w(y). Suppose -421 = -2*o + o - 2*h, t*h = 12. Is o a composite number?
True
Let j(h) = h**2 - 22*h - 123. Let t be j(-6). Is 6*(-3)/t + 120847/5 composite?
False
Let m(s) = -3800*s**3 - 43*s**2 - 185*s - 41. Is m(-5) composite?
False
Let f(i) = i**2 - 13*i - 2. Let x(u) = u**2 - 12*u - 3. Let b(r) = -3*f(r) + 4*x(r). Let y be b(-6). Is (-63)/y - 5198/(-