a composite number?
False
Let o = -9742 + 55121. Is o prime?
False
Let a be 12/5*(0 + (-25490)/(-3)). Suppose -2*u + a = 2*x, 0 = -u + 6*x - 11*x + 10208. Is u prime?
True
Let x(j) = j**3 - 5*j**2 - 14*j + 2. Let l be x(7). Is 8/16*(l - -3440) composite?
False
Let b(z) = z**2 + 842. Let s be b(0). Suppose -592 = y - 131. Let x = y + s. Is x composite?
True
Suppose 4*s + 0*h = -2*h + 16, -2*h = -s + 9. Suppose -4*b + 3*w = -2467, -6*b = -b - 3*w - 3083. Suppose s*d = 6789 + b. Is d a prime number?
True
Let r be -2 - (-42)/15 - (-332455)/25. Suppose 5*l = -10, -l = 4*s - 71 - r. Is s a prime number?
True
Let f = -15223 + 374500. Is f a prime number?
False
Suppose -2*s + d = 3*s - 21, 12 = 3*d. Suppose s*p - 24482 = h, p + 3*h - 4882 = 8*h. Is p composite?
True
Let f = -48283 + 69007. Suppose 3*z - f = -3*a, 6*a = 4*z + 3*a - 27667. Suppose -20*h - z = -57773. Is h composite?
False
Is ((-1428635)/(-26) + 21)*2 a prime number?
True
Let o = -130 - -125. Is (-14062)/o - (-6)/10 composite?
True
Let c(z) = 5125*z**2 + 4*z - 8. Let j be c(-3). Suppose -j = 14*s - 19*s. Is s a composite number?
False
Let d = -68 + 77. Suppose h + 2*h = 0, -3*p + 5*h = -d. Suppose 5*x - 275 = -2*j + 212, -p*x = -2*j + 511. Is j a prime number?
True
Is ((-2235)/30 - -33)/(((-2)/2692)/1) a prime number?
False
Let z(u) = -385*u - 5. Let f be 5 - (-2)/(-8)*0. Let r be 10/f*(-3 + 0 + 1). Is z(r) composite?
True
Suppose 344*n + 99027 = 347*n. Is n prime?
False
Suppose -261*f + 152*f - 757200 = -229*f. Let x be (1 + 1/1)/(-1). Is (x/4)/(((-45)/f)/9) prime?
True
Let x = 60 + -57. Let w = -11 - -1. Is 992/x - w/30 composite?
False
Let i be ((-816)/28)/(-3)*(-35)/(-10). Suppose 27*g + 29407 = i*g. Is g composite?
False
Suppose -59 = n - 6*f + 2*f, 2*f - 222 = 4*n. Let g = -52 - n. Suppose 0 = -g*l - 2*l - 3*d + 5245, 2*l - 5*d = 2098. Is l prime?
True
Is (-2)/(-4)*11*(-185374)/(-77) prime?
True
Let d = 9284 + -2239. Suppose -29*u = -24*u - d. Is u a composite number?
False
Let j(m) = 417*m**3 - 18*m**2 + 7*m - 2. Let u(z) = 3*z**2. Let v(o) = j(o) + 5*u(o). Is v(3) composite?
False
Let u = -187429 - -315638. Is u a prime number?
False
Let n(s) = -s**2 + 22*s - 103. Let m be n(15). Suppose -5*f = 3*a - 5582, 5*f = a + m*a + 5588. Is f a composite number?
False
Suppose 0 = -56*m - 22*m - 47*m + 3779375. Is m composite?
True
Suppose -4*a = -4*w + 11124, 0 = -9*w - 8*a + 13*a + 25021. Is w a prime number?
False
Let z = 560 - 108. Suppose 3*t = p + z, -2*t - 7*p = -10*p - 313. Is t a prime number?
True
Let w be (-2)/14 - (-4701)/(-21). Let y(q) = -q**3 - 12*q**2 - 2*q + 17. Let b be y(-14). Let f = b + w. Is f composite?
True
Let k(y) be the third derivative of -26*y**6/15 + y**5/20 - y**3/3 + 7*y**2. Let r be k(-2). Let a = -625 + r. Is a prime?
True
Suppose 202*x = 62*x + 1408540. Is x a prime number?
True
Let n = -24404 - -36823. Is n composite?
True
Let t = -8392 - -15001. Let m = t - 4456. Is m a prime number?
True
Let a(v) be the second derivative of -v**4/12 + 11*v**3/6 - v**2 - 4*v. Let q be a(11). Is 7323/27 - q/(-9) composite?
False
Let q = 1669537 + -566040. Is q prime?
True
Let g(s) = -58*s**3 - 4*s**2 + 6*s + 2. Let q be g(-3). Let p = 2417 - q. Suppose p = 5*d - 152. Is d a prime number?
True
Let k be 3/7 + (-3 - (-150)/(-7)). Let u = k + 28. Is (-1 - -3)/(u/8630) a composite number?
True
Suppose 6*y - y = 0. Let g(b) be the third derivative of b**4/8 + 2147*b**3/6 - 39*b**2. Is g(y) a composite number?
True
Let w = -1817 - -631. Let m = w + 2001. Is m a prime number?
False
Let l(s) = 56*s**2 - 6*s - 10. Let m be l(10). Is m/2 - 9/(9/(-2)) a composite number?
False
Suppose -2*q - 27 = -11*q. Suppose 5*z - 5*c - 20 = 0, z - q*c - 2 = -0. Suppose 3165 + 2220 = z*g. Is g prime?
False
Suppose -18*h + 56 = -34. Suppose h*a + 4391 = 6*a. Is a a composite number?
False
Suppose 11295 + 25065 = -12*x. Let b = 88 - x. Is b a composite number?
True
Suppose -4*p + y = -3, -y - 3*y + 20 = 0. Suppose -4*x - 2*i = 22, -2*i = 5*x - 6*x + p. Is (-2)/4 - (x + (-6255)/10) prime?
False
Let r(i) = i**3 - 16*i**2 - 53*i - 13. Let t be r(19). Suppose -64*h = -t*h - 1543. Is h a composite number?
False
Let p(u) = -u**2 + 2*u - 53. Let o be p(0). Let b = o - -57. Suppose -2381 - 2303 = -b*w. Is w prime?
True
Let w = -158 + -3. Let s = w - -244. Is s a prime number?
True
Suppose 188*m + 1324502 = 7453866. Is m prime?
True
Let k = 37 + -32. Suppose -2*o + k*w = -2685, -2*w + 2692 = 2*o - 0*w. Suppose -4*j + 1363 = m - 2*j, -m = -4*j - o. Is m composite?
True
Suppose -435*h + 437*h + 1225854 = 4*c, 306481 = c - 4*h. Is c prime?
False
Let m(b) = 911*b + 3001. Is m(6) composite?
False
Suppose 3*d - 438992 - 499111 = 0. Is d a prime number?
True
Let b = -14441 - -39530. Is b a prime number?
False
Let j(y) = 18670*y + 1377. Is j(5) composite?
False
Let c(k) = k**3 - 19*k**2 + 9*k + 33. Let m be c(-19). Let h = m + 21087. Is h a prime number?
False
Let q(s) = 4769*s**3 - s**2 + 12*s - 1. Let n(v) = 1192*v**3 + 3*v. Suppose -3*p = 5*d - 10, 5*d - 10 + 0 = p. Let w(j) = d*q(j) - 9*n(j). Is w(-1) composite?
True
Is -1*(2 + (-3)/3) + 7*35736 composite?
True
Suppose 47*a + 32*a = 713291. Is a a prime number?
True
Let t(h) be the first derivative of 13*h**3/3 - 3*h**2/2 - 4*h - 15. Let j be t(-2). Let o = 157 + j. Is o composite?
False
Suppose -p + 632079 = 8*p. Suppose 0 = -3*k - 3*x + 42138, 0 = 5*k + 5*x - x - p. Is k composite?
True
Is ((-1)/1 - (-61 + 53)) + 96016 prime?
False
Let c(d) be the second derivative of 43*d**4/3 + d**3/6 - 6*d**2 + 2*d + 12. Is c(-5) a composite number?
False
Let x = 2283214 - 1529247. Is x prime?
False
Let m(u) = u**2 - 7*u - 3. Let v be -2*2 - (2 + -14). Let c be 0 + 16 + v + -12. Is m(c) prime?
False
Let f = 1073260 + -595551. Is f a prime number?
False
Let w(h) = 94687*h + 2241. Is w(10) prime?
True
Let h(y) = -3*y**2 + 2*y. Let u be h(-1). Let d(n) = 8*n**2 - 6*n - 28. Is d(u) a composite number?
True
Suppose 18*r = 14*r + 36. Suppose -3*u = -3*w + r, -5 = -3*w - 0*u + 5*u. Suppose -w*h + 7954 + 511 = 0. Is h prime?
True
Let f be (1 + (-4)/3)/(6/(-18)). Let u be (-21 + f)*(-20)/(-40). Let o = u + 141. Is o a composite number?
False
Let i(a) = -a**2 + 5*a + 5. Let c be i(-4). Let o = c + 33. Suppose 0 = o*y - 6*y + 620. Is y a prime number?
False
Let m = -254821 - -732230. Is m prime?
True
Suppose w + 6*l = 4*l + 41473, 3*w = 2*l + 124371. Is w prime?
False
Let f(b) = 3493*b + 1565. Is f(12) a composite number?
False
Let l(k) be the second derivative of k**4/12 + 17*k**3/6 - 13*k**2/2 + 3*k. Let g be l(-18). Suppose -g*i + 1051 = -744. Is i a composite number?
False
Suppose 0*j - 14636 = -4*j. Suppose -5603 = 5*n + r, 5*n = 5*r - j - 1956. Let i = -376 - n. Is i composite?
True
Let x(m) = -m**3 - 15*m**2 - 7*m + 14. Suppose -8 = w + 120. Let f = w - -112. Is x(f) a composite number?
True
Let l(t) = 3*t**2 - 3*t + t - 540*t**3 - 16*t**3 - t + 2 + 7*t. Let p(o) = -o**3 - 18*o**2 - 17*o - 1. Let w be p(-17). Is l(w) composite?
False
Let z be (36/10)/(47/5 + -9). Is (-80205)/(-5)*z/27 composite?
False
Suppose 0 = -2*v + 3*x + 7124, 7*v - 12*v + 2*x = -17821. Let p = 5360 - v. Is p prime?
False
Let s(b) = 3*b - 63. Let z be s(25). Is -771*12/(-16) + z/16 a composite number?
True
Let n(u) = 911*u**2 - 79*u + 11. Is n(7) prime?
False
Let f be (-2 - 28/(-8)) + 11/2. Let c(z) = 98*z**2 + 8*z. Let y be c(f). Suppose -10*h + y = -1452. Is h prime?
True
Let m(h) = -11 + 60*h - 58 + 20. Is m(5) prime?
True
Suppose -16083271 = 12197*b - 12234*b. Is b prime?
True
Let z(i) = i**3 - 15*i**2 + 25*i + 19. Let v be z(13). Suppose 1732 + 62 = v*l. Is l prime?
False
Let c(m) = 2*m**2 + 8*m - 3. Let j be c(5). Let f be 4 + (-1)/4 + 15/12. Suppose -f*b = -4*b - j. Is b prime?
False
Suppose -25473 = 16*d - 37*d. Is (0 - (-6 + 5))*d a composite number?
False
Let x = 5579 + 7638. Is x composite?
False
Let g be ((-24)/(-16))/((-3)/(-1828)). Let n = 549 - 880. Let q = n + g. Is q prime?
False
Is 6615488/(-256)*-4*1 - 6 a composite number?
True
Let c(p) = -257*p - 6. Let x be c(-7). Suppose 4*m - 216 = -3*f + 161, 0 = -m + 4*f + 80. Suppose -m = -5*b + x. Is b composite?
True
Let p(d) = 31*d**2 + 50*d**2 - 19*d**2 + 7. Let r be p(-4). Is ((-11)/33)/((-3)/r) a composite number?
True
Let y(g) = 2*g**