et y be a(-4). Is y/322 + (-4)/46 prime?
True
Suppose -27 + 111 = 2*s. Is 40621/s + (-2)/12 a composite number?
False
Suppose 395*h - 406*h + 244277 = 0. Is h prime?
False
Let x = 43 + -45. Let k be 1 + x - (-4)/(-2)*2. Let j(q) = -27*q**3 - 3*q**2 + 12*q + 11. Is j(k) a prime number?
True
Let f be (-6)/5*140/6. Let s = -3 - f. Let x = 46 - s. Is x a prime number?
False
Suppose 2*j - 42541 = 4*n + 17285, -5*j + 149521 = n. Is j a prime number?
False
Let r(f) = f**3 - 12*f**2 + 21*f + 2. Let s be r(19). Suppose 4*j = h + 72 + s, 0 = 5*h + 20. Is j prime?
False
Let r(k) = 21*k**2 - 52*k + 17. Let j be r(9). Suppose j*c - 1249*c = 14519. Is c composite?
False
Suppose 0 = 4*w + 2*b - 306, -8 + 28 = -4*b. Suppose 2*s - 5*s = -4*d + 25, 4*s - 60 = -4*d. Suppose d = j - w. Is j prime?
True
Is (-13 + 856251/(-55))/(4/(-10)) a composite number?
False
Let v(i) = -5*i**3 - 19 - 12 + 4*i - 14 - 5*i**2 + 22. Is v(-5) composite?
False
Suppose -345683 = -45*n + 32*n. Is n prime?
True
Suppose 2*m + 4*b - 1644 = 0, -2*b + 3*b = 2*m - 1624. Let h be (0/(-18 + 10))/6. Suppose h = 4*s - 6*s + m. Is s composite?
True
Let a = -33 - -57. Let o be -10634*(-3)/a*-12. Is o/(-12)*2 + 9/(-6) a prime number?
True
Let d(y) be the second derivative of -y**5/20 + 7*y**4/12 - 4*y**3/3 + 9*y**2/2 + 25*y. Let t be d(6). Let n(l) = 95*l**2 - 5*l + 7. Is n(t) prime?
True
Let t = 2 - -2149. Let o = t + -1074. Suppose v + a = -0*v + 1080, -v + o = -2*a. Is v prime?
False
Suppose 0 = -18*i + 40*i - 3417194. Is i prime?
True
Let f(j) = 351*j**2 + j - 14. Let b be f(3). Let i = b + -729. Is i a prime number?
False
Let x = 153674 - -45305. Is x a composite number?
True
Let o be 26/(((-16)/(8/2))/14). Is 13/o - 226564/(-14) a prime number?
True
Let v be (-34)/(-8) - (-6)/144*-6. Suppose -4*r + b - 1859 + 5166 = 0, -3310 = -v*r + 2*b. Suppose 5404 = 10*o - r. Is o prime?
False
Let q(s) = -157*s + 6. Let p be -1 - 0 - (1 + -17). Suppose -25 = 5*j + 4*b, -3*b = -3*j + 6*j + p. Is q(j) a composite number?
True
Suppose -2*o = 9 - 1. Let j be 2/o + (-2)/(-4). Is (-4 + 3)/(j + (-2)/1886) prime?
False
Suppose -3*m - 3*c = 19206, 0*m + 12795 = -2*m + c. Let u = -4038 - m. Is u a composite number?
True
Let z = -10 - -9. Let d be (-1 + 36/20)*(z - -6). Suppose -4*c - 5*f + 4216 = -d*f, 4*f + 4236 = 4*c. Is c prime?
False
Let z = -5401 + 5589. Let n be 0/(-1 - -1*3). Suppose n = 5*w + 3 - z. Is w composite?
False
Suppose 287*p = 275*p + 576852. Is p a prime number?
False
Let o = -32 + 35. Suppose 2229 = o*h - 4*t, 23*t = -h + 19*t + 743. Is h prime?
True
Let d(w) = w**3 - 5*w**2 - 6*w + 19. Let q be d(8). Let b = 330 - q. Is b prime?
True
Suppose -3*w + 3*n - 4*n = 2, 2*w + 10 = -5*n. Let x(h) = -3*h + 2. Let f be x(w). Suppose 10*r = f*r + 4184. Is r prime?
True
Suppose -5*o + 382 = -3*r + 4*r, 0 = -r + 2. Let b(q) = 29 + 71 - 67 + o*q. Is b(7) a composite number?
True
Let d be 7/4 + (-1)/(-4). Suppose 4*l + k = -78, 5*l - d*k - 3*k = -110. Is (-22*l/(-8))/(-1) prime?
False
Suppose 1414*o = 1467*o - 20252201. Is o composite?
False
Suppose -2*z + 3*a = -94, -a = 2 + 2. Let k = z + -38. Suppose -4*u + 1321 = -k*d - 2*d, u - 319 = 5*d. Is u a composite number?
True
Let y be 272/44 - (-7)/((-154)/4). Suppose y*k - 40207 = 11735. Is k prime?
False
Let w be ((-710720)/(-700) - (-4)/14)*20. Suppose w = 6*g - 3*g - h, -33820 = -5*g - 5*h. Is g a prime number?
False
Let b(u) = u**3 + 13*u**2 + 5*u + 70. Let w be b(-13). Is (6 - 18190/(-5)) + w a prime number?
False
Suppose 12*f = -16*f - 7*f + 2155895. Is f prime?
False
Let j = 40851 - -19906. Is j composite?
False
Suppose -4*l + 6*l + 70 = 0. Let z = 43 - l. Let k = z + 41. Is k a composite number?
True
Let z be (-2)/((-14)/3)*(4 - -3). Is (1/(-2))/(z/(-8058)) a prime number?
False
Is 186262/(-2)*(87/(-81) - 104/(-1404)) a composite number?
False
Let b(r) = 56*r**2 + 51*r - 761. Is b(36) composite?
False
Let u(z) = -72*z**3 - z**2 + 5*z + 3. Suppose -4*f = 2*i + 24, 2*i + f = 5*i + 1. Is u(i) a composite number?
True
Let b(j) = 5*j**3 + 60*j**2 - 138*j - 131. Is b(24) a composite number?
False
Let r = 11555863 - 3102096. Is r a prime number?
False
Is (-1)/(-1) - 705*-1*1452/30 a composite number?
False
Suppose -t - 93786 = -22*t. Suppose -5*b = -10 - 10, v = 2*b + t. Is v composite?
True
Let t be ((-51)/9 - -5)/((-4)/18). Let w(m) = -m + 16 - m**t + 14*m**2 + 4*m - 3*m + 2*m. Is w(13) a composite number?
False
Let q(i) = 386*i**3 - 9*i**2 + 9*i + 1. Is q(3) prime?
True
Suppose 235*y - 288744 = 232*y - b, y - 4*b = 96235. Is y prime?
False
Suppose 5*s + 4*c - 5490 = 0, 5*s - 4*c = s + 4392. Let a = s - 438. Let h = a - -533. Is h a prime number?
True
Suppose 2*v - 8 + 4 = 2*k, 5*k = -5*v + 40. Suppose 625 = 4*o - 3*o - 2*q, -5*q + 3170 = v*o. Is o a composite number?
False
Let c = 731781 - 293692. Is c composite?
True
Let b = -134764 + 421623. Is b a prime number?
True
Suppose 0 = -l - 4*o + 19133, -38245 = 20*l - 22*l - o. Is l a prime number?
True
Let k be (-1)/(2*((-116)/(-40) - 3)). Suppose 4*q - 14692 = 4*y + 7564, -27830 = -k*q + 3*y. Is q a composite number?
False
Let a = 550 + -551. Is (-391415)/75*a - (-16)/120 composite?
True
Suppose -24*o + 18 = -15*o. Suppose 3*s - 5*w = 4*s - 179, -358 = -o*s + 2*w. Is s a composite number?
False
Is 14/(-70)*(741847 + -1 + 1)*-5 a composite number?
False
Is ((-17 - -21) + 2)*1058194/12 composite?
False
Let z(b) = -42*b + 47. Let d(k) = -6*k - 15. Let l(s) = s + 1. Let f(a) = -3*d(a) - 15*l(a). Let x be f(-14). Is z(x) composite?
True
Let p(y) = -y**2 - 14*y - 49. Let l be p(-8). Is ((-110)/(-20))/(1/(-202)*l) prime?
False
Is ((-5689527)/(-222))/((-1)/(-3) - (-1)/6) prime?
True
Let a(x) = -11*x**3 - x**2 - 4*x - 3. Let p be a(-3). Let t = 624 + p. Is t a composite number?
True
Let r(z) = 5622*z**3 - 7*z + 8. Suppose -3*f - 1 = -4. Is r(f) prime?
True
Suppose 5*h - 30 + 11 = -j, -4*h - 4 = -4*j. Suppose -2406 = -j*r + 2854. Is r a prime number?
False
Suppose 31063554 = 1372*h - 1343*h - 13873193. Is h a prime number?
False
Let f(y) = 723*y**3 - 2*y. Let t be f(1). Suppose t = -3*o + 2794. Is o composite?
False
Suppose 3*r - 41*r + 1217178 = 0. Let l = r - 15244. Is l a composite number?
False
Let l(g) = -20*g + 15. Let i(b) = b + 1. Let d(v) = -6*i(v) + l(v). Let t be (-3 - (2 - 2))/((-9)/(-15)). Is d(t) prime?
True
Let k = -68 - -67. Let q be (0 - k)/((-2)/20). Let o(w) = -w**2 - 19*w - 11. Is o(q) prime?
True
Suppose o = 2*u + 88, o + 4*o = -5*u + 410. Suppose -135 = -4*q + 181. Suppose -z + k = -q, -k - k = -z + o. Is z a composite number?
True
Suppose -p + 5*d = -412483 - 78681, 0 = 2*p - 5*d - 982293. Is p a composite number?
False
Let z(w) = 995*w - 146. Let n be z(11). Let p = n + -3676. Is p prime?
False
Suppose 111249 = l + 4*o, -60 = 2*o - 74. Is l a prime number?
False
Let u = 82 - 85. Let y(v) = -164*v + 29. Is y(u) a prime number?
True
Suppose -4*f + 5*i + 68871 = 0, -3*i = -13*f + 18*f - 86098. Is f a prime number?
False
Let r = -246451 + 418737. Is r a composite number?
True
Let m = -13 + 26. Suppose 0 = 4*h + 4*b - 44, -2*b = 5*h - 59 + 1. Suppose 785 = m*p - h*p. Is p a composite number?
True
Let y(k) be the third derivative of 56*k**5/15 + k**4/8 + 45*k**2. Let n be y(2). Suppose 2*x + n = 2*b, -2*x = -b + x + 451. Is b prime?
False
Suppose -833 = -3*b - 0*z + z, -4*b - 5*z + 1117 = 0. Suppose b = 4*t + 38. Is 4/20 + 3/(t/2216) a composite number?
True
Let v(i) = i**2 + 4*i + 7. Let h be v(-3). Suppose 3351 = -r - h*r - 3*z, -3*r + 2*z = 2003. Let b = r + 1126. Is b composite?
False
Let d = -259 + 261. Let q(y) = 285*y**2 + 7*y - 13. Is q(d) composite?
True
Let d(a) = a**3 + 15*a**2 + 2*a + 30. Let f be d(-15). Suppose 3*j - 2*r - 15253 = f, -j + 5362 - 263 = 3*r. Is j a prime number?
True
Let q = -100 - -114. Suppose 21*l - q*l - 42 = 0. Is (16292/l)/(6/9) a prime number?
True
Let a(i) = 25609*i**2 + 55*i - 55. Is a(1) composite?
False
Suppose 0 = t + 460 - 1404. Let f(p) = 3*p - 935*p**2 + 5 + 0*p + t*p**2. Is f(-9) composite?
True
Let c(b) be the second derivative of b**4/12 + 5*b**3/2 + 11*b**2 - 6*b. Let v be c(-15). Is (-4)/v + -7 + 87570/55 prime?
False
Let b be 298 - (15/4 + 1/4). Let p = -138 - -223. Suppose -p - b = -u. Is u composite?
False
Let m(f) = -5*f**2 - 5*f. Let p be m(-