?
True
Let j = 270 + -186. Let f = j + -424. Let p = 589 + f. Is p composite?
True
Suppose 9*q = 32 + 4. Suppose q*s - 9 = s. Suppose -2*t + 1115 = s*t. Is t composite?
False
Let c(h) = -22*h - 2. Let w be c(-4). Let x = w + -81. Suppose x*z + 4*m = 2*z + 82, 83 = 3*z + 5*m. Is z a composite number?
True
Let c(f) = -f**3 + 3*f**2 - 16487. Let p be c(0). Let y = -8316 - p. Is y composite?
False
Let o = 2 + -31. Let a = -30 - o. Is (-4)/8*(-3 - a)*155 composite?
True
Suppose -2*o - p = -274600, 2*o + 37*p = 38*p + 274588. Is o a prime number?
False
Suppose 3*f - 8958 = 6*f. Let s = f + 6304. Suppose 6*w + 0*w = s. Is w a prime number?
False
Let p be (-81)/(-15) - (-4)/(-10). Suppose p*s - 12612 = s. Suppose -4*l - 3*d = -666 - 3545, -3*l + s = 4*d. Is l a prime number?
False
Let m(p) = -35*p. Let i be m(2). Let k = i - -70. Suppose k = 50*c - 48*c - 914. Is c a prime number?
True
Let s(a) = 7*a - 23. Let v be s(6). Is ((-410)/4)/(v/(-38)) prime?
False
Is 9/((-126)/(-196)) + 11663 composite?
False
Let j = -69 + 49. Let x = j + 21. Is (2/x)/((-4)/(-758)) a composite number?
False
Let g be 72 + (-1 - -3)/(-2) + -2. Suppose g*p - 66*p = 5013. Suppose 6*j - 711 = p. Is j composite?
False
Let x(z) be the first derivative of -257/2*z**2 - 12 + 21*z. Is x(-4) composite?
False
Let v(k) = -625*k + 23. Let b be v(-4). Let c = b - -4482. Suppose 0 = -4*w + 4*o + 4836 + 4484, -2*o + c = 3*w. Is w composite?
False
Let a(o) = 5781*o**3 + 2*o**2 - 20*o + 33. Is a(2) a prime number?
False
Is 110/(-495) - (-13263546)/54 a prime number?
True
Let z = 3394 + -433. Let k = z - -148. Is k prime?
True
Let x(q) = -23021*q - 4356. Is x(-5) a prime number?
True
Suppose 3*k + 48 = 6*k. Suppose k*d - 3*d = 50791. Is d prime?
True
Let n = -288053 - -546900. Is n a composite number?
False
Suppose -126094 = -4*m + 100*v - 95*v, -m - 4*v + 31555 = 0. Is m a composite number?
False
Let r = 443 - 438. Suppose 4*i = -4*v + 32768, -11 = -r*v - 16. Is i composite?
True
Let j(g) = 144*g**3 + 30*g - 163. Is j(6) a prime number?
True
Let h = -3162 + 11294. Suppose -9*c + 20381 - h = 0. Is c prime?
True
Let h(f) = f**3 - 11*f**2 - 13*f + 16. Let j be h(12). Let w(g) = 14*g**2 - 8*g + 11. Let y be w(j). Suppose 3*d + y - 1760 = 0. Is d a composite number?
True
Suppose 28*l - 24*l = -50800. Is 2*(l/(-8) + -1) a prime number?
False
Suppose -540 = -6*d + 11*d. Let o = 37 - d. Let y = o - -38. Is y prime?
False
Suppose 4*r + 5*r - 153 = 0. Let i be (-2)/17 - (-87)/r. Suppose -2*m + i*m = 642. Is m composite?
True
Let j(v) = v**3 + 38*v**2 - 8*v - 63. Suppose 2*z - 2*c + 38 + 36 = 0, 0 = 4*c - 20. Is j(z) a prime number?
True
Let r(u) = -16572*u**3 + 3*u**2 + 149*u + 449. Is r(-3) a composite number?
True
Let b be (-58)/18 - 8/(-36). Let g be (b - (1 - 2))*(-3)/(-6). Is 1/(372/(-373) - g) prime?
True
Let j(c) = 6*c - c - 12*c + 6*c + 1372*c**2. Let i be j(1). Let h = i - 464. Is h prime?
True
Suppose -32 - 19 = 17*f. Is f*((-1559)/3 + 6) prime?
False
Suppose -3*q - 40*p + 42*p = -1134671, -5*p + 1512887 = 4*q. Is q prime?
True
Suppose -3*k - 40185 = 3*l + 2*l, -3*l = 3*k + 24105. Let y = 9583 - l. Is y prime?
True
Let i(f) = f**3 - 7*f**2 - 5*f - 14. Let z be i(8). Suppose z*m - 43554 = -9004. Is m a prime number?
False
Is 4761864/108*6/4 prime?
True
Let l(m) = -2081*m + 20 - 232*m - 14 + 29. Is l(-4) composite?
True
Let g(i) = i**2 + 44*i + 3. Let r be g(30). Let z = -1168 + r. Is z a composite number?
True
Suppose -19 = -9*v + 251. Suppose c + v = 31. Suppose c = y, -7*s - 51 = -8*s - 2*y. Is s a composite number?
True
Let n = -105422 + 210589. Is n a composite number?
False
Let h = 424 + -418. Let b(i) = 59*i**2 + 5*i - 1. Is b(h) composite?
False
Let b(z) = z - 20. Let p be b(19). Let v be 3 - (-2 + p)*-1. Suppose -3*x + 5*x - 614 = v. Is x composite?
False
Suppose 44*l = 1295235 + 1043233. Is l a composite number?
False
Let f = 2654 - 2652. Let b = 6 - 4. Suppose 4*r = -2*n + 1154, -b*r + 1465 = 3*r - f*n. Is r a composite number?
True
Let j(o) = 43*o**2 + 81*o + 463. Is j(32) prime?
True
Let u(k) = 96*k**3 - 22*k + 63. Is u(4) a composite number?
True
Let m = 411305 - 228008. Is m a composite number?
True
Let p(x) be the first derivative of 19*x**3/3 - 3*x**2/2 - 2*x + 9. Let a be p(4). Is 1 + (a - -1) - (-32 - -31) composite?
False
Let k = -543 - -1936. Suppose -188 = -17*c + k. Is c a prime number?
False
Suppose -172882 = 2*v - 3*i - 595502, -v = -5*i - 211338. Is v prime?
False
Let u = 232648 + -56667. Is u composite?
True
Let q = 7537 - -34642. Let s = -27898 + q. Is s prime?
True
Let h(c) = 17*c**2 - 6*c - 27. Suppose -240 = -9*k - 96. Is h(k) a prime number?
True
Let t = 39667 - 21006. Is t composite?
False
Let s = 728101 + -351944. Is s a prime number?
False
Let d(u) = 7 + 1 + 5*u**2 + 2*u - 17. Suppose 0 = -3*z + 15, -2*z + 35 - 5 = 5*v. Is d(v) a prime number?
True
Suppose -5*b = -10, -8*s + 6*s + 5*b + 6954 = 0. Let o = s + -1731. Is o a prime number?
False
Is 7176/180 + -40 + (-3074914)/(-30) a composite number?
False
Let k = -50 - -48. Let i be 0 + 1 - (5 + k). Is (35/(-20) - i)*844 a composite number?
False
Let w = 54 - 49. Suppose 0 = 14*d - 13*d - 5*g - 35142, 0 = 4*d + w*g - 140593. Is d prime?
False
Let c(f) = -2*f**3 - 3*f**2 + f + 4. Let l be c(-2). Suppose -4*t = -l - 18. Is 8386/t - ((-16)/(-6) + -2) prime?
False
Suppose -6*x + 29 = -13. Suppose -11*a + x*a = -4. Is 4 - (-364 - (a - -2)) a prime number?
False
Let x(j) = -10*j + 233. Let w be x(23). Suppose w*c - 4*y - 122141 = 0, -2*c = -4*y - 66385 - 15045. Is c a prime number?
False
Let l(f) = 144 - 227 + 19*f + 193*f**2 + 138. Is l(-3) composite?
True
Let u = 232486 - 132989. Is u a prime number?
True
Suppose -2*t - 1 - 4 = -3*f, 5*f + 4*t = 45. Suppose -10 = -3*z - f*q, -z + 4*q = 2*z + 35. Is -1 - 1/(z/2050) a composite number?
False
Let k(j) = j**3 + 16*j**2 - 26*j + 59. Let g be k(-28). Let r = g - -23980. Is r composite?
False
Let q(o) = o**3 + o**2 + 3*o - 3. Let l be q(4). Let m = -83 + l. Suppose -m*w = -4*w + n - 24367, -n + 36552 = 3*w. Is w composite?
True
Let w(r) = r**2 - 15*r - 12. Suppose 0 = 2*q - 3*p - 29, 20 = q + p + 3. Let n be w(q). Suppose 3*m - 1568 + 36 = -5*i, n*i + 2*m = 1226. Is i composite?
False
Suppose -84*o - 125194 = -86*o. Is o prime?
True
Suppose -4*x = t - 49145 - 132677, 2*t - 90902 = -2*x. Is x prime?
False
Let a(d) = d**3 - 6*d**2 - 15*d + 5. Let m(g) = -g**3 + 5*g**2 + 17*g - 5. Let k(f) = -3*a(f) - 4*m(f). Is k(11) a prime number?
False
Suppose -11*f = -15*f - 256. Let p = f - -107. Suppose -p*n = -39*n - 3404. Is n a prime number?
False
Suppose 301*u - 299*u = -2*i + 1304182, -5*i - 3*u = -3260455. Is i prime?
False
Is 123855*1 - (0 + -2)*(52 + -51) a composite number?
True
Let y = 47125 + -16728. Is y a composite number?
True
Let b(d) = -d**3 - 20*d**2 + 15*d - 124. Let l be b(-21). Suppose -4*y - 4*u = -6640, 2959 = 3*y + l*u - 2018. Is y a prime number?
True
Let d = 759675 + -498790. Is d composite?
True
Let f(j) = -3 - 36 + 5*j + 2*j. Let m be f(6). Suppose -2*l + 3*n = -9731, -m*l - 4*n = -7*l + 19456. Is l a composite number?
False
Is (40/6)/5 - 3193663/(-33) prime?
True
Let j = 473 - 719. Let u = j - -385. Is u a prime number?
True
Is (3/(-2))/(138/(-720084)) prime?
False
Suppose -8*a - 37615 = -14*a + a. Is a prime?
True
Is 148068/252 - (-4)/(-7) composite?
False
Let c be (-30)/(-12)*4/10. Let h(r) = 53*r**2 + 2*r - 2. Let l be h(c). Suppose -2*p = -5*p, -3*p = w - l. Is w a composite number?
False
Suppose -2*t + 0*s + 4*s = -10654, -5*t + 26647 = -4*s. Let g be 1/(6/t)*2. Let v = 2628 - g. Is v a composite number?
True
Let t be 15/(-25)*5 + 7. Is (-1922544)/(-528) + (t/(-22))/1 a composite number?
True
Let o(q) = 2*q**2 - 29*q - 88. Suppose -4*d = -66 - 42. Is o(d) a prime number?
True
Let s(w) = -90*w**2 + 4*w + 59. Let u(y) = -91*y**2 + 4*y + 58. Let n(a) = -7*s(a) + 6*u(a). Is n(6) prime?
False
Let a = 695 + -697. Is 2*((-129451)/a)/7 a prime number?
True
Let y be (406/4 + -3)*346/1. Suppose -4*t + 2*c - 3*c + y = 0, 4*t + 4*c = 34072. Is t a composite number?
False
Is 6/4*((-3769641408)/72)/(-52) a prime number?
True
Suppose -3438720 = -66*f + 6665401 - 719779. Is f a prime number?
False
Let l(h) be the first derivative of -23*h**5/40 + 13*h**4/12 + 22*h*