 + w*y + 185. Is y a prime number?
False
Suppose -4*p - 33*w + 32*w + 118621 = 0, -2*p = 5*w - 59333. Suppose -5*x - 14797 = -2*b, 4*x = 4*b + 6*x - p. Is b a prime number?
True
Suppose h + 2*t = -3*h + 18, 3*h - 9 = 3*t. Suppose h*z = -5*z + 23481. Is z composite?
False
Let x(p) = p**3 - 4*p**2 - 54*p - 58. Is x(25) composite?
False
Let x(r) = 46*r**3 + 5*r**2 - 6*r + 17. Let d = -59 - -63. Is x(d) a prime number?
False
Let j = -1067 - -1582. Suppose j = g - 181. Suppose -w = -2*t - g, -2*t = 4*w - 2384 - 390. Is w composite?
True
Let i(l) = 135*l + 62. Suppose 11*h = 10*h + 13. Is i(h) a prime number?
False
Suppose 2*i - 5132 = -816. Is (-4)/(-2) - i*(-24)/16 composite?
True
Let y be 0*((-2)/(-4) + -1). Suppose y = -z - 3*w - 218 + 34, -5*z = 2*w + 959. Let l = -2 - z. Is l prime?
True
Let x = 15300 - 8317. Is x prime?
True
Suppose 0 = 5*n - 10*n + 15. Let z = -100 + 690. Suppose 3*d + 239 = 5*d + n*y, 5*d + 5*y - z = 0. Is d composite?
True
Let x(t) = -4*t**3 + 34*t**2 + 13*t + 20. Let y be x(9). Is 2340 - (y/(-5) + 2) a composite number?
False
Let x = 77 + -77. Suppose x = a + 5*a - 9210. Is a a prime number?
False
Let p = 16502 - -31883. Is p a prime number?
False
Let s(w) = 3572*w**3 + 14*w**2 - 4*w + 5. Is s(10) a composite number?
True
Let x(y) = 7*y**2 + 89*y + 161. Is x(-26) composite?
False
Let f = -7 - -13. Suppose -f = -5*u - 2*l, -u - 4*l + l + 9 = 0. Is (u - -1)/(3/267) a prime number?
True
Suppose 0 = -60*a + 32637 + 555372 + 998931. Is a a prime number?
True
Suppose -217 + 105 = -4*p. Suppose p*u - 18 = 25*u. Suppose -u*c + 4*c = 3*r - 6161, -5*r + 4*c + 10239 = 0. Is r composite?
True
Let l be (118/(-6))/((-11)/(-3) + -4). Suppose 5*v - l + 14 = 0. Suppose v*j + 479 = 10*j. Is j a composite number?
False
Let h = -2491 - -1656. Let u = -1996 - h. Let w = -340 - u. Is w a composite number?
False
Let s(u) be the first derivative of -5*u**3 - 42*u + 27/2*u**2 + 1/4*u**4 - 13. Is s(19) composite?
True
Suppose 26736700 = 137*z - 77552353 - 49447278. Is z composite?
True
Let s(g) = -30*g - 1. Let a = 28 + -27. Suppose -p - a = 3*v, 2*p = -2*p - v - 26. Is s(p) a composite number?
True
Let h(q) be the second derivative of 37*q + 0 + 31/2*q**2 - 17*q**3. Is h(-5) prime?
True
Let y(l) = l**3 + 15*l**2 - 9*l - 30. Let u be y(-15). Is 1 - (-14)/7*u composite?
False
Suppose 0 = -4*j - 2*j + 18. Let r = 5 + -5. Suppose -j*t - 2*v = -2359, r*v = -3*v - 3. Is t a composite number?
False
Let l(s) = -500*s**3 + 4*s**2 - 8*s - 37. Is l(-3) composite?
False
Let p = 5 - -38. Let v = -41 + p. Suppose -q + c = 2*q - 961, -618 = -v*q - 5*c. Is q a prime number?
False
Let v(t) = -2*t**3 + 202*t**2 - 48*t + 553. Is v(93) composite?
True
Let h(y) = 15*y**2 + 60*y + 5. Let o be h(-4). Suppose 3*w - 8021 = -0*j - 4*j, -10000 = -5*j + o*w. Is j a composite number?
False
Suppose 14 = 11*b - 19. Suppose 4*d + 0*d - 28 = b*f, -5*d - 5*f = 0. Suppose 0 = i - 5*a - 1718, a + 4*a = d*i - 6917. Is i a composite number?
False
Let v be (-1)/(5/3 + -2). Suppose -3*f = 2*j + 2*j - 14, 0 = -5*f + 10. Suppose v*m - 449 = j*m. Is m composite?
False
Is (-403831780)/(-3190) - (-2)/(-58) a composite number?
True
Suppose -16744 = 39*n - 514891. Is n a composite number?
True
Suppose -19537500 - 10128800 = -100*h. Is h prime?
True
Let u(y) = 11*y**3 + 6*y**2 - 9*y + 3. Let k be u(6). Let g = 34422 - k. Is g a prime number?
False
Suppose 8 = -6*a + 4*a. Let m be 3/4 - (-1 - 7/a). Suppose f = -u - 2*f + 368, m = 4*u + f - 1439. Is u a composite number?
False
Let q(c) = -c**2 - 16*c + 5. Suppose -13*a - 32 = -11*a. Let n be 30*(-5 - -3 - a/10). Is q(n) a prime number?
True
Is ((-120412)/(-2))/(-139 + 141) a composite number?
False
Let k(l) = 142567*l**2 - 5*l - 6. Let z be k(-1). Suppose 3*i - r = r + 85541, 5*i - r = z. Is i composite?
False
Let p(x) = -212*x - 109. Let i be p(-7). Suppose j + 4*o = 7*o + i, j - 1389 = -4*o. Is j a composite number?
False
Let g be 9*(-9)/(-324) - (-9621)/(-4). Let w = 4842 + g. Is w a prime number?
True
Suppose -5*p + 3*p - 8 = 0, -4*f = -2*p - 4. Is (-4)/(f + 2) + 12088/8 prime?
False
Let p(m) = 6*m**2 + 42*m + 2093. Is p(-31) a composite number?
True
Let r be (8512/(-21))/2*-6. Let c = -402 - 7. Let n = c + r. Is n prime?
False
Let r be 2/(-10) + 32*4/40. Suppose 23 = r*i + 68. Let u(z) = z**3 + 18*z**2 + 28*z - 4. Is u(i) composite?
False
Suppose 41*m + 1406098 - 12893601 = 0. Is m prime?
True
Let q(i) = 6418*i**2 - 266*i - 11. Is q(6) prime?
False
Let n = -51 + 54. Suppose -3*g + n = 0, 3*w - 2*g - 3880 = -0*w. Suppose -23*a + 25*a = w. Is a a prime number?
True
Let y(l) = 422*l**2 + 93*l - 36. Is y(-13) a composite number?
True
Suppose -19 = -7*l + 6*l. Suppose -24*z + l*z + 81275 = 0. Is z a composite number?
True
Let y be (-32*1 + 2)*(-12)/15. Let b be (y/2)/((-15)/(-3970)) - 0. Suppose 6*l = -2*l + b. Is l a prime number?
True
Let q = 19148 - 12079. Is q a prime number?
True
Suppose -15463707 = -352*u - 3850460 + 45129505. Is u a prime number?
True
Let q(t) = 8546*t + 195. Is q(11) a prime number?
True
Let j(k) = -k**3 + 4*k**2 - 4*k + 6. Let g be j(3). Let u(b) = 4*b**2 - g*b**2 - 53 + 52 + b. Is u(4) composite?
False
Let h = 240742 - 34119. Is h prime?
True
Let m = 31749 + -10408. Is m prime?
True
Suppose -4*t - 2 - 2 = -s, 5*t = -5*s + 20. Suppose -3*w + 2*w = s, -4*w + 6820 = 4*u. Is u composite?
False
Let x(d) be the third derivative of -d**6/120 + d**5/60 - 55*d**4/24 + d**3 - 44*d**2. Is x(-17) a prime number?
True
Suppose -23*r + 5*r = -36. Let u be ((-9)/(-6))/(r*2/24). Is (-3522)/u*(-12)/8 a composite number?
False
Let i(f) = -f**3 + 7*f**2 - 18*f + 49. Let x be i(5). Let u(v) = v**3 - 8*v**2 + 16*v - 24. Is u(x) prime?
False
Is (7 + -4 + 182264 - -11)/1 a prime number?
False
Let q(o) be the third derivative of o**5/30 + 7*o**4/12 - o**3/2 + 25*o**2. Let m be q(-7). Let v(d) = 310*d**2 + 8*d + 13. Is v(m) a composite number?
True
Suppose -4*z + 1 - 13 = 0. Let o be z*-28*(-10)/(-12). Let b = -39 + o. Is b composite?
False
Let u = 9 + -12. Suppose 37*p - 372 + 76 = 0. Is 173 + u - p/2 composite?
True
Let k be 24/(-10)*60/4. Let s = k - -36. Let i(m) = m**3 + m**2 - 2*m + 743. Is i(s) composite?
False
Suppose 0*y - 5*y + 4*i + 3653711 = 0, 730741 = y - i. Is y composite?
False
Let m be 1/((-55)/10 - -5). Is m/((-12)/5654) + (-2)/(-3) a composite number?
True
Let h = -3062 - -52651. Is h composite?
True
Let c be 3*3/(-27)*(-1 - 17). Suppose -c*y - 1 = -19. Is y + -7 + (397 - -2) a composite number?
True
Suppose -4*r = 3*u - 0*r - 225225, -5*u + 375370 = 5*r. Is u a prime number?
False
Suppose 103 + 287 = 39*s. Let q(f) be the second derivative of 3*f**4/4 - 2*f**3/3 + 17*f**2/2 + f. Is q(s) a composite number?
False
Suppose -3*q + 4*a = 6*a - 31, 0 = 4*q + a - 33. Let x(p) = -p**3 + 10*p**2 - 16. Is x(q) composite?
False
Let m = 78 - 76. Let q be (2/m + 312/(-2))/(-1). Suppose 42*t - 47*t = -q. Is t a prime number?
True
Suppose -51*d = -52*d. Suppose -3*w - 2*w - 3*q + 77 = d, -29 = -w - 4*q. Suppose w*p = 6*p + 1183. Is p a composite number?
True
Let y = -228 + 255. Suppose -y*c + 8*c = -71003. Is c prime?
False
Let t(r) be the second derivative of 433*r**3/6 + 8*r**2 - 19*r. Is t(5) composite?
True
Let q = 474515 - 308747. Suppose 42*t = 18*t + q. Is t prime?
True
Let z = -94466 - -204913. Is z a prime number?
False
Let v = 23 + -18. Suppose 4*s - 2966 - 4997 = -v*d, 2*s = -5*d + 7959. Is d a prime number?
False
Suppose 17*o - 19*o + 184510 = -2*k, 5*o - 461247 = -2*k. Is o prime?
True
Let a(g) = 795*g - 3348. Is a(17) prime?
False
Suppose -4*j - v = -21611, -j = -4*v - 6385 + 961. Suppose 0 = -q + 2*g + g + 1088, 3*g - j = -5*q. Is q composite?
True
Is 9*-2*11/66*(-827972)/6 composite?
True
Let y be (1 - (-13)/(-3))*(4 + -13). Let i = y + -22. Suppose i*m + 2*m - 21570 = 0. Is m a prime number?
False
Let d(b) = -4493*b**3 - 2*b**2 + 8*b + 7. Is d(-2) composite?
True
Is -3*((-3)/(-2))/(7 - (-5462041)/(-780286)) a prime number?
False
Is ((-1319422)/(-5) - (-12)/20) + 8 a prime number?
False
Suppose 12*q - 9 = 9*q, 5*r = -2*q + 16. Suppose 4*g + r*n = 11764, -5*g - n = -11752 - 2953. Is g prime?
False
Let r(u) be the first derivative of 89*u**2/2 + 48*u - 22. Let o be r(20). Suppose o - 6271 = -3*b. Is b a composite number?