65 - 439 = 5*i - 2*j. Is i a prime number?
False
Let p(c) be the first derivative of -19*c**4/24 + 22*c**3/3 - 21*c**2/2 + 15. Let f(g) be the second derivative of p(g). Is f(-13) a composite number?
True
Let z be 4/20*-5*(1 - 1). Suppose 0 = -2*p + 2*q + 7894, -5*p + 4*q + 19731 = -z*q. Is p a composite number?
False
Let q(r) = r**2 - 3*r. Let z be q(-1). Suppose 15*a - 25663 = z*a. Is a prime?
True
Suppose 0 = -3*l - 74 - 16. Let b be (-1)/(-3) + (-50)/l. Suppose -3*p = -2*x + 811, 0 = -x + b*p + 2*p + 393. Is x prime?
False
Is -88*4302/(-60)*5 + -1 a composite number?
False
Suppose j - 51*q = -54*q + 72872, -3*q = -6. Is j prime?
False
Let x be (6/(-9))/(4/(-12)). Suppose -x*s = -s - 96. Suppose -s = -y + 163. Is y a composite number?
True
Let t = -1880 - -1235. Let c = t + 287. Let f = 845 + c. Is f prime?
True
Let h = 839357 - 375370. Is h a prime number?
True
Let q = 27238 + -21257. Is q prime?
True
Suppose -4076 = -9*a + 2998. Let x = a + 301. Is x a prime number?
True
Let m = 125004 - 84343. Is m a composite number?
True
Let q = -40 - -45. Suppose -5*c + 2345 = q*k, -4*k = 3*c - 36 - 1845. Let r = -283 + k. Is r composite?
False
Suppose -4*n + 145789 = i, -4*i - 64*n + 583198 = -62*n. Is i a prime number?
False
Let n(z) = 69*z**2 - 5*z - 4. Let v(r) = 5*r - 9. Let q be v(3). Let a be n(q). Let s = a + -1081. Is s a composite number?
True
Let b(x) be the first derivative of 2697*x**2/2 - 92*x + 40. Is b(7) prime?
True
Suppose 29 = 2*x - o, 4*o = -4*x + o + 73. Suppose -802065 = -x*d - 17*d. Is d a composite number?
True
Let w be 1*3 - (-2)/(-8)*12. Suppose 5*k = 2*s + 3*s + 50, 2*s = w. Let u(m) = 227*m - 24. Is u(k) composite?
True
Suppose 130*y + 1001187 = 90*y + 67*y. Is y composite?
True
Suppose 3*z - 10 = -11*i + 9*i, -5*z = -10. Suppose 3*q + 190 = l, -i*l = q + 49 - 394. Let d = l + 78. Is d composite?
True
Let y = 8813170 - 5957091. Is y prime?
True
Let z(p) = 21*p**2 + 86*p + 61. Is z(32) composite?
False
Let c(m) = -21106*m - 3139. Is c(-33) prime?
True
Suppose 0 = 4*l - 28, 3*q + 4541 = -3*l - 4726. Suppose -4*h = -4869 + 1785. Let z = h - q. Is z a prime number?
False
Suppose 0 = -b + 1, 43*b = 3*z + 39*b - 123746. Suppose 2*y = -4*o + z, o + 4*y - 13723 = -3414. Is o a composite number?
False
Let g(a) = -8*a + 20. Let m be g(-11). Let n(z) = 104*z + 3*z**2 - 7 + 2*z**2 - m*z + z**2. Is n(-5) a composite number?
False
Suppose 4*i = -205*i + 3389353. Is i composite?
False
Suppose -166*f = -162*f - 4. Let c be 3*f/(-15) - (-16)/5. Suppose -c*o + 771 = o - 5*u, o + u - 204 = 0. Is o composite?
False
Is (-1394042)/(-7) + 5640/2632 prime?
True
Let t(v) = 15*v**2 - 3*v + 19. Let x(n) = 44*n**2 - 10*n + 57. Let d(j) = -17*t(j) + 6*x(j). Let q = 11 - -5. Is d(q) a composite number?
False
Suppose 3*j + 24*j - 50814 = 0. Suppose -1786 = -4*n + j. Is n a prime number?
False
Suppose y + i - 261998 = 0, -3*i + 246686 = 2*y - 277307. Is y a prime number?
False
Let z be -22988*-15*(-9)/(-108). Let o = z - 20234. Is o a composite number?
False
Suppose 12*q - 108 = 8*q. Suppose -2*m = -s - 25, 5*s + q = -0*m + 3*m. Let k(v) = 8*v**2 - 8*v - 17. Is k(m) prime?
True
Let c(v) be the second derivative of -701*v**3/6 - 5*v**2/2 + 474*v. Let s be (6/(-15))/(2/10). Is c(s) prime?
False
Let h(x) = 2*x**2 - x - 12. Let u be h(3). Suppose 0*j + 2*j = -u*c + 1022, -1571 = -3*j + 5*c. Is j composite?
True
Suppose 0*m - 4*j - 18 = 2*m, -5*j - 17 = 2*m. Let a(v) = 45*v**2 - 29*v + 4. Let x(i) = 31*i**2 - 19*i + 3. Let t(w) = 5*a(w) - 7*x(w). Is t(m) prime?
False
Suppose 0 = -19*h + 8104090 + 12724231 - 3027088. Is h a composite number?
False
Suppose -4*x + 19*x = -6*x + 2224887. Is x a prime number?
False
Let x(i) = 12*i + 157. Let v be x(-14). Is 39680/6 + v/33 prime?
False
Suppose -f + 3 = 4*n, -4 = 2*f + 7*n - 4*n. Is 6 + f + 1 - -377 a prime number?
True
Suppose 2*k = 3*s + 57334 + 5001, 6*s = -18. Is k prime?
False
Let j(h) be the second derivative of 83*h**4/12 + 2*h**2 - 2*h. Let q = -144 - -147. Is j(q) prime?
True
Suppose -3*a = 2*m - 7907, -5*m = 5*a - 10120 - 9640. Suppose -2*p + 7*o - 4*o = -m, 3*o + 9868 = 5*p. Is p composite?
False
Let h = -2003 + 1371. Is (-510)/90*(-1 + h) prime?
False
Let a be 186/4*(-40)/3. Let t(z) = -222*z + 143. Let k be t(5). Let x = a - k. Is x prime?
True
Let o be 4/(-30) + 77/15. Suppose 2*g + 4328 = o*w - 603, 5*g - 1955 = -2*w. Suppose 3*n = -4*c - 0*n + w, 0 = 2*c + n - 493. Is c prime?
False
Let s = 66696 + 44593. Is s prime?
False
Let y(q) be the second derivative of 0 - 2/3*q**3 + 17/2*q**2 + 35/12*q**4 + 3*q. Is y(6) a composite number?
True
Suppose -2*r - 2*g - 1132 = -0*r, -r = -4*g + 561. Let d = r + 1028. Suppose -4*u + 45 - d = -2*h, 206 = h - u. Is h composite?
True
Let x(y) = 58*y - 6 - 227*y + 32. Is x(-5) a prime number?
False
Let g(u) = -464*u**3 - 3*u**2 - 8. Let j(p) = -928*p**3 - 5*p**2 - p - 15. Let t(n) = -5*g(n) + 3*j(n). Is t(-2) a prime number?
False
Suppose 0 = -2*w - w + 2*v - 8221, -v = -5*w - 13711. Let z = 4280 + w. Is z composite?
True
Let u be (-1)/2 - 72/(-16). Suppose 0 = 4*w + 4*g + 374 - 34, -79 = w + u*g. Is 0 + 1 - (-1 + w) a composite number?
False
Let h = 317 + 393. Is 6 - ((-19)/2 - -1)*h composite?
True
Let a(j) = 14*j**3 + 4 + 0*j**2 - 24*j + 13 + 41*j**3 + 4*j**2 - 2*j**3. Is a(4) a composite number?
True
Let y be (-2)/5*3/(12/80). Is y - (-8 - 180220/4) a prime number?
False
Let p = -2048 - -550. Is 2/(((-10490)/p - 3) + -4) prime?
False
Is (-11)/(374/(-609416))*(-478)/(-8) a prime number?
False
Let r = 41980 - -123434. Suppose 8*y = -36430 + r. Is y prime?
False
Is (367572/8)/(42/28) prime?
True
Let n(a) = -67*a - 105. Let f be n(12). Let v = 1658 + f. Is v prime?
False
Suppose 0 = -34*a + 110*a - 2051012. Is a prime?
True
Suppose 9*i = 6 + 30. Suppose 0*q = 4*q - r + 4, r - i = 2*q. Suppose q = -94*f + 95*f - 4405. Is f a composite number?
True
Let h be -1*(-1)/(-1)*-4. Suppose -26*g = 10*g - 144. Suppose -g*i + 9187 = 3*l, 3*i = -h*l - i + 12244. Is l prime?
False
Let p(m) = -10*m**2 - 90*m - 17. Let a be p(-32). Let w = 12128 + a. Is w composite?
False
Is -4 - -164392 - (-6)/24*-20 a composite number?
True
Let w = -949882 - -1742343. Is w a prime number?
True
Suppose -27*s + 25*s = -17900. Suppose 2*j + 5*v = 3*j - 2996, -4*v = 3*j - s. Is j composite?
True
Is (-8806994)/(-12) - -20*(-11)/(-264) composite?
True
Let u = 1513 - 157. Is 5/(6/u*8/4) composite?
True
Let y = -21143 - 598147. Is (-2)/(-17) - (y/34)/5 a composite number?
False
Let f be 3 - 468/(-6) - (-8)/(-2). Suppose 0 = -74*k + f*k - 15423. Is k prime?
False
Suppose -2*m - 30 = -5*m. Suppose -m*d + 14*d - 4148 = 0. Let z = -622 + d. Is z a composite number?
True
Let n = 29522 - 8696. Suppose -13*c + n = -5213. Is c a prime number?
True
Suppose 8540238 = 42*b - 0*b. Is b composite?
False
Suppose -2*m + g + 469928 = 0, -3*m - 4*g + 2*g = -704899. Is m composite?
True
Let x(z) = z**2 + 26*z + 8. Let c be x(-24). Let g = -37 - c. Suppose -2*q = 4*l - 4542, 0*q - 6828 = -g*q - 3*l. Is q prime?
True
Suppose -3*z - 165980 = -17*p + 12*p, 3*p - 99582 = 3*z. Is p a prime number?
True
Is (86912 + 114)*(-1)/(-2) a composite number?
True
Let m(l) = 60*l**3 - l + 26. Let s(t) = -60*t**3 + t - 25. Let j(i) = -2*m(i) - 3*s(i). Let v(r) be the first derivative of j(r). Is v(-2) a prime number?
True
Let j(m) = 310*m**2 - 5*m - 17. Let a be j(4). Let i = a - 2804. Is i prime?
False
Let k = 20 - 47. Let j be (-3*(-3)/k)/((-1)/6657). Let d = j + -234. Is d a prime number?
False
Suppose 0 = -5*j - 3*q + 5*q + 777196, 3*q - 621743 = -4*j. Is (-177)/413 + j/7 prime?
False
Suppose 0 = 3*o - 4*p - 6491, 4*o - 13432 = 3*p - 4782. Is o composite?
False
Is 2/14 - 12/(-14) - (-732456)/18 a composite number?
False
Let l(z) = 2*z + 11. Let i be l(-3). Suppose i*t = 3*f + 588, -2*t + 393 = -2*f + t. Let g = f + 758. Is g composite?
False
Suppose 23 - 59 = -5*d + 3*q, 22 = 5*d + 4*q. Suppose -d*o + 7354 + 26690 = 0. Is o prime?
False
Suppose 114 = 25*i - 11. Suppose -i*a = 3*x - 1721 - 3222, 0 = 5*x - 3*a - 8261. Is x a composite number?
True
Let t = 144 - 101. Let g(o) = -5*o + 12 + 60*o**2 - 39*o**2 + t*o**2. Is g(-5) a prime number?
True
Suppose 76*a + 78918864 = 124*a. Is a a prime number?
True
Let v(n) = -3*n**3 - 31*n**2 - 11