 w be -1*(0/h)/(-3). Suppose w*y + 1842 = 3*y. Is y prime?
False
Let o(z) = 3*z - 6. Let q be o(2). Let u be (-91)/(-52) + (-7)/4 + 2. Suppose q = -u*t + 1343 + 155. Is t composite?
True
Let h = 1163 - 2132. Let v = h - -4682. Is v prime?
False
Let n be (-1 - -3) + (-6)/(-18)*0. Let t = -3 - n. Is 72 - 4*t/(-20) a composite number?
False
Is ((-59)/236 - (-112414)/8)/(1/2) prime?
False
Let t(y) be the first derivative of y**4/4 + 4*y**3/3 - y**2/2 + 14*y + 23. Let a be t(-5). Is a/18 + 5/(-3) + 763 a prime number?
True
Let m = 126142 + 2605. Is m composite?
False
Suppose 293814 = 3*u + 6*r, 5*u = 50*r - 49*r + 489734. Is u a prime number?
False
Suppose 1137 = -y - 305. Let a(r) = -62*r**2 - 94*r + 393. Let z be a(4). Let j = z - y. Is j prime?
True
Let r = 93 - 86. Let u(t) = 209*t**2 + 60. Is u(r) a prime number?
True
Is (0 - 2/(-6))/(96/90290016) prime?
True
Let n(j) = -300*j**3 + 7*j**2 + 11*j + 23. Is n(-5) a prime number?
True
Suppose 2*i - 4860 = -0*i. Let w be 97/582 - 2*17/(-12). Suppose -3*j + 3*r + 2421 = r, r - i = -w*j. Is j composite?
False
Suppose 2*o = -5*i + 450536 - 5258, -4*o = -i - 890644. Is o composite?
False
Let h(w) = -2*w**3 + 13*w**2 - 2*w + 4. Let a be h(6). Suppose -2*b + a = -16. Suppose 0 = 26*q - b*q - 596. Is q a composite number?
False
Suppose 0 = -5*t + 8*t - 17820. Suppose -10611 = -9*u + t. Is u + 1/((-1)/(-2)) a prime number?
False
Let o(w) be the third derivative of w**5/15 + w**4/2 - 15*w**3/2 + 8*w**2. Let q be o(-21). Is -1 + q/15 + 6/30 a prime number?
True
Let n(g) = 26196*g + 1399. Is n(19) composite?
True
Let c = -132258 + 361997. Is c composite?
False
Suppose -6 - 24 = 3*j. Let y = 20 + j. Let u(s) = 10*s - 21. Is u(y) a prime number?
True
Suppose 0 = -50*l + 52*l - 4, -3*g = l + 7. Is 5/g - 19184/(-12) a composite number?
False
Let l = 42 - 38. Suppose 8 = 2*q, 7*u - 2*u = -l*q + 41. Suppose 0 = u*x - 3*x + 2*b - 672, -667 = -2*x - b. Is x prime?
True
Let w be 4/(-14) - (12 - 510275/35). Let h = w - -2492. Is h prime?
False
Let o(k) = 17*k**2 - 94*k + 6. Is o(-35) composite?
False
Suppose w + 30 = -2*w. Let m(y) = 2. Let r(v) = -10*v**2 + 14*v + 15. Let j(b) = -5*m(b) - r(b). Is j(w) composite?
True
Suppose r = 2*u - 8616, -30*r = u - 28*r - 4298. Suppose m - u = 3*q, -m + 7*q + 4304 = 6*q. Is m composite?
True
Let z be 1710/(-4) + 3/(-6). Let o be ((-91)/(-14))/((-2)/4)*-49. Let d = z + o. Is d prime?
False
Let q = 132 + -65. Let h = q - 61. Suppose h*z = 2049 + 729. Is z prime?
True
Let w(l) = -l**3 + 27*l**2 + 25*l - 18. Let u = 472 - 489. Is w(u) a composite number?
True
Is (81 - 6460988/(-152)) + 6/8*2 composite?
False
Let x(n) be the first derivative of -940*n**4 + n**3 + n**2 - 14. Let l be x(-1). Suppose 5*u = l - 1516. Is u a prime number?
True
Suppose p = 3*j - 56, 2*j - 4*p - p = 59. Suppose 0 = 4*l, -3*c - 5 = l - j. Suppose 4*d - 5*s = 4517, -9*s = c*d - 6*s - 4477. Is d a composite number?
False
Let h = 220532 - 116047. Is h a composite number?
True
Suppose 0 = 79*n - 48*n - 2327449. Is n a composite number?
False
Is (0 - (-4 - -5))/(0 + 1/(-36749)) a prime number?
True
Let y = -146 + 140. Let d be (-3)/y*0*5/(-15). Suppose d = 4*z - 3898 - 1498. Is z prime?
False
Let k(v) = -v**3 - 3*v**2 + 9*v. Let t be k(-5). Suppose 0 = 4*u - 5*u + t. Suppose u*n + 578 = 7*n - 3*l, -315 = -n - 5*l. Is n prime?
False
Suppose 3*m + 14 = -4*z + 25, -5*m + 3*z = -28. Suppose -5221 = m*g - 29776. Is g a composite number?
True
Suppose 3*u - 3*a - 1621477 = -2*u, a = 5*u - 1621469. Is u a prime number?
True
Suppose 0 = 3766*q - 3738*q - 5186692. Is q a composite number?
True
Is (4 - (-9 + 1)) + (246372 - -1) prime?
False
Let l be -4 - (-40)/(-3 + 7). Suppose -4*i + 111 - 7 = 0. Is (i/l + -4)*921 composite?
False
Suppose 0 = -0*x + 2*x + 4. Suppose -6 = 83*n - 80*n. Is n*x/(-16)*(15 - 4403) a composite number?
False
Let k be 0 + 379 + (-32)/(-16). Suppose 0 = o + 2*o - k. Suppose -g = o - 461. Is g a prime number?
False
Let l = 184 + -296. Let m = l - -1511. Is m a prime number?
True
Is 3 - ((-4735780)/42 + 8 - (-4)/6) prime?
False
Suppose -22*j + 1644 = -1370. Let l = 388 - j. Is l a composite number?
False
Suppose -x + 107611 = -3*k, 84*x - 90*x + k + 645598 = 0. Is x prime?
True
Let t(q) = 2300*q**2 + 392*q + 13. Is t(-16) prime?
True
Suppose 6*i - 67717 = 106424 + 22053. Is i composite?
True
Let k(f) = -20 + 0*f**3 + 25*f**2 - f**3 + f**2 + 0*f**3 - 51*f. Is k(23) a composite number?
True
Suppose 2*r + 2*r = 104. Suppose 107*i + 3870 = 21*i. Let f = r - i. Is f a prime number?
True
Let u be (-4)/8*(2 + -500). Let d = -549 + u. Let i = 481 + d. Is i a composite number?
False
Suppose -20*h = -56*h + 5544. Is 2617/(-5 + (h/(-4))/(-7)) prime?
False
Let y = 492 + -363. Suppose -11 = -2*n - 67. Let o = y - n. Is o a composite number?
False
Let x = -93226 + 274287. Is x a composite number?
False
Let d be 5*2/(-14) - (-30)/(-105). Is d/((-4)/(-46)*1/(-106)) a prime number?
False
Is (-10196120)/(-12) + 21 + (-22)/6 + 3 a prime number?
False
Let x = -4 - -7. Let v be 0 + (4 - (-2 + x)). Let r(l) = 8*l**3 + 2*l**2 - 4*l + 1. Is r(v) prime?
True
Let d be (452/(-6))/(40/700)*6. Let z = d + 3314. Is (z/8)/(3/(-14)) a composite number?
True
Suppose 91*i - 5880325 = 8404218. Is i a composite number?
True
Let d(q) = -q**2 - 22*q + 54. Let t be d(-24). Suppose -2*a + 2 - 8 = 0, -y - 2*a + 17125 = 0. Suppose s = t*s - 2*h - y, h = 2. Is s a prime number?
False
Let b(j) = -23*j**2 + j + 81. Let x be b(10). Let v = x - -3130. Is v prime?
False
Let c(s) = -s**3 - 5*s**2 - 14*s - 17. Let j(l) = -l**2 - 2*l + 4. Let n be j(3). Is c(n) a prime number?
True
Suppose -48177052 = -7*g + 7*g - 44*g. Is g composite?
True
Let i = -42 + 45. Suppose -q + 4*k = 14, i*k - 5 = 2*k. Suppose -q*p - 3*p + 14049 = 0. Is p composite?
True
Let z be (176/(-28))/2*(-35)/10. Let t(a) = 4*a**2 - 32*a + 121. Is t(z) composite?
True
Suppose 0 = -11*v + 12*v - 5*q - 338089, -5*v = 5*q - 1690625. Is v composite?
False
Let p be (4 - (-11)/(-3))/(2/(-102)). Let r(l) = -2*l**3 - 25*l**2 + 6*l + 34. Is r(p) prime?
False
Suppose 145*r = 25303 + 409552. Is r a prime number?
True
Let k(q) = 11*q + 8*q + 5*q**2 - 17 - 22*q + 15*q**2. Is k(-12) a prime number?
False
Let r be (-8 - -1 - -9) + -2. Suppose r = -11*x + 156366 - 28249. Is x a prime number?
False
Suppose -5*n - 11*n + 4168976 = 0. Suppose 14274 = -41*j + n. Is j a composite number?
False
Let l(a) = -481*a + 38. Let j be l(-11). Is 6/(18/j) + 4/6 a prime number?
True
Let n(r) = -r**3 + 5*r**2 - 4*r + 2. Let z be (1 + 5 - 6) + 2 + 0. Let g be n(z). Is (1 - 5/3)*(-2637)/g prime?
True
Let m = -17 + 19. Suppose -7 = 5*u + m*u. Is u + 21243/9 - (-2)/(-6) composite?
True
Let p(g) = -13*g**3 - 2*g**2 - 5*g**2 + 0*g**2 - 3 - 9*g. Let o be p(-5). Let m = -175 + o. Is m composite?
True
Let l(b) be the third derivative of b**6/120 - b**5/4 + 31*b**4/24 - 7*b**3/6 + 49*b**2. Is l(18) a prime number?
True
Let w(o) = -2*o**3 - o**2 + 3*o - 6. Let n be w(2). Is (-10835)/n + 5 + (-3)/(-12) a composite number?
False
Let n(p) = 26*p + 33. Let i(h) = 24*h + 34. Let r(z) = -6*i(z) + 7*n(z). Is r(7) a prime number?
True
Suppose 814651 + 626707 = 5*u + 477803. Is u a composite number?
True
Let k = 117292 + -48581. Is k prime?
True
Let h = -132 - -157. Suppose h*t = 17541 + 15884. Is t a prime number?
False
Let v(q) be the first derivative of -5*q**4/4 + 16*q**3/3 - 9*q**2/2 + 29*q + 28. Is v(-12) prime?
False
Suppose 15*m - 13*m = 0. Suppose 3*w + m*n - 7379 = n, 2*w + 4*n - 4910 = 0. Is w a prime number?
True
Let o be 30963 + -4 + -4 - (-3 - 0). Suppose 0 = 9*p - o - 54839. Is p composite?
False
Suppose 3*z = 185 - 536. Let n = z - -216. Suppose 5*b - 836 = -3*c + n, -b + 5*c + 187 = 0. Is b a prime number?
False
Suppose -5*t = 4*a - 13, t = a - 5 + 4. Is 3689/3 - (56/21 - a) a prime number?
True
Is (((-69206)/(-4))/((-21)/(-42)))/(1/1) a composite number?
False
Let o(w) = -110*w + 19. Let r(d) = 112*d - 18. Let p(a) = 4*o(a) + 3*r(a). Is p(-3) a composite number?
True
Let b = 916 + 6848. Suppose 66*t - b = 70*t. Let f = t + 3662. Is f a prime number?
True
Suppose 0 = 11*k - 4*k. Suppose 4*n - 5*j - 3 = k, -6 + 5 = n - 3*j. Suppose 0*q + 183 = q + 5*b, n*b + 820 = 4*q. Is q a prime number?
False
Suppose 4*w + x = w +