= -72539*a**3 - 2*a**2 + 4*a + 4. Is m(-1) a composite number?
True
Suppose -t = 80 + 228. Let n be ((-165)/(-5) + -2)*-7. Let p = n - t. Is p a composite number?
True
Let u be 221/52 - 2/8. Suppose -u*n - 3994 = -2*q - 10470, -5*q = 0. Is n a composite number?
False
Suppose 5*o - 4*o - 41 = 0. Is o + -43 + (0 - -2233) composite?
True
Let j = 2415 - -1574. Is j a composite number?
False
Suppose 5*k - 12 - 13 = 0. Suppose -2*z = -k*z - 15. Let c = 427 + z. Is c composite?
True
Let w = 6 - -1. Suppose 0 = -w*x + 12*x. Suppose 13*y + 139 - 1712 = x. Is y prime?
False
Suppose 8*j - 75*x - 4102504 = -80*x, 4*j = -5*x + 2051252. Is j prime?
False
Suppose 4*l = -5*h + 31771, 7754 = h + l + 1399. Let z = h + -2918. Is z composite?
False
Suppose 9*j - 2847041 = -h, 0 = -4*j + 2*h + 2*h + 1265316. Is j a composite number?
True
Suppose -5*r + 2*b + 400 = -22174, -4*r = 3*b - 18050. Suppose 7*z + 595 = -3416. Let g = z + r. Is g prime?
False
Suppose 3*z + 11221 = 5*z - 5997. Is z composite?
False
Let k = -17 + 21. Suppose -k*g + 10530 = 3*n, -11709 = -5*g - n + 1448. Is g prime?
False
Suppose -3*x = 5*p + 14 - 37, -3*p + 5*x + 7 = 0. Suppose -3*w = p*w + 2177. Let m = -24 - w. Is m composite?
True
Let u = 181 - 166. Is 6/u - (-5826)/10 a prime number?
False
Let b be (-2 - 1242/8) + 232/928. Let y be (-4)/10 + (-9252)/(-5). Let o = b + y. Is o a composite number?
False
Let w = -117 + 137. Let r(g) = -g**3 + 34*g**2 - 9*g + 15. Is r(w) prime?
False
Suppose 4*h + 9*h - 64935 = 0. Let c = h + 4316. Is c a composite number?
False
Let c = 46226 + -4013. Is c a composite number?
True
Suppose 2*y + 5*v = 75321, 0 = 7*y - 12*y - v + 188360. Is y a prime number?
False
Let p(v) = v**3 - v**2 - 2*v - 19. Let k be p(0). Let n = -17 - k. Suppose 6*t + n*s = 2*t + 26406, 19772 = 3*t - 5*s. Is t a prime number?
True
Suppose 0 = 14*c - 4*c - 4500. Suppose c + 4124 = 2*d. Is d composite?
False
Let z = -772089 + 1193362. Is z a composite number?
False
Suppose 7*k + 34 = 24*k. Suppose 0*g = -2*b - 3*g + 14557, k*g = 5*b - 36421. Is b a prime number?
True
Let r = 68 - 66. Suppose 5*q + 2*x - 371 = 0, 4*q = r*x + 2*x + 308. Suppose -4*g - 4*k + 328 = 0, 99 = 2*g + 4*k - q. Is g a prime number?
False
Let u(q) = 2*q**2 - 11*q + 7. Let g be u(5). Is (-1)/(g*3/(-13074)) a prime number?
True
Let o = -41 - -32. Let x = o + 12. Suppose 4*t - 1208 = -4*h, 0 = 2*t + 4*h - x*h - 601. Is t a composite number?
True
Suppose 4*q - 12 = 5*d, -d + q - 18 = 4*d. Let r(n) = -n**2 - 1. Let g be r(1). Is ((-821)/(-2))/(g/d) prime?
True
Suppose -20*x + 80599 = -44817 - 103404. Is x prime?
False
Suppose -3*u = -4*d - 1994, u - 4*d - 801 + 139 = 0. Let h = -397 + u. Is h a composite number?
False
Let g(c) = -7*c + 15. Let v(f) = 11*f - 23. Let t(l) = 8*g(l) + 5*v(l). Let p be t(11). Is 231/(-14)*76/p a prime number?
False
Let w = 28868 - -11765. Is w composite?
True
Let d(w) = w**3 + 49*w**2 - 106*w - 207. Let o be d(-51). Suppose -g - z - 7 - 4 = 0, -5*g - 2*z - 49 = 0. Is (o/g)/(1/5451) a composite number?
True
Let f(n) be the first derivative of n**4/2 + 3*n**2/2 + 13*n + 27. Is f(6) composite?
False
Let f = -557 - -355. Let u = f - -581. Is u a prime number?
True
Let m(v) = -9*v**3 - 55*v**2 + 7*v - 1. Let l be m(-8). Is (-13)/(13/(-3))*l composite?
True
Let o be 56/48*(6 + 0). Let t(d) = 2311*d + 72. Is t(o) a prime number?
True
Suppose 0*t = 5*t + 3*t + 6*t. Let c = -6 - -11. Suppose 2*q + c*b - 407 = t, -2*q - 3*q + 1004 = -b. Is q composite?
True
Suppose 0 = 4*m + m - 10, 2*y - 40 = -m. Let p(g) = 11*g**2 - 20*g + 74. Is p(y) a prime number?
False
Let l = 5699 + -3288. Is l a prime number?
True
Let s = 456 - -33. Let r = -100 + s. Is r composite?
False
Let v be 8 + -7 + 24435 + 5 + -5. Suppose -a + 24448 = 4*c, 5*c - c = -4*a + v. Is c a composite number?
False
Suppose 0 = -25*g + 6*g + 585789. Suppose g = 11*c - 13840. Is c a prime number?
False
Suppose 2*c - 2*u - 58 = 0, -u = -3*c + 10 + 71. Is (-3*(-1)/12)/(c/939016) a composite number?
False
Let d = -75802 + 192587. Is d a prime number?
False
Let j(n) = -6*n - 9. Let f(p) = -p**3 - 6*p**2 - 6*p - 7. Let c be f(-5). Let s be j(c). Suppose -14*g = -s*g - 4169. Is g a composite number?
False
Suppose 4*n - 2*z = 6129 + 419, 4*z - 4900 = -3*n. Let t = n - 841. Let d = 644 + t. Is d prime?
True
Let w(p) = 40462*p - 453. Is w(1) prime?
True
Let p = -73058 + 133371. Is p prime?
False
Let m(d) = -13560*d + 1013. Is m(-8) prime?
False
Suppose -81*i + 4*y = -82*i + 56121, 56161 = i - 4*y. Is i a prime number?
False
Let p = 71 + -72. Is -4*((-8746)/(-8))/1*p prime?
True
Let n(h) = 82*h + 12143 - 157*h - h**2 + 71*h. Is n(0) prime?
True
Let s(a) = -1 - 334*a + 0*a**2 + 20*a**2 + 331*a. Let x be s(5). Suppose -4*y + i = 176 - x, -5*i - 308 = -4*y. Is y prime?
False
Suppose 2*k - l - 4 = -7, 3 = 3*l. Is 15446 - (0 + -10)*k/(-2) a prime number?
True
Let l(v) = v + 6. Let s be l(-4). Let g(u) = 63*u + 988. Let h be g(-11). Suppose -4*c - 4*q + 883 = -c, -s*q + h = c. Is c prime?
True
Let g = 1927190 + -917193. Is g composite?
False
Suppose 280*m - 31885610 + 12684322 = 50740192. Is m prime?
False
Let z(i) be the second derivative of 8*i + 19/12*i**4 + 2/3*i**3 + 2*i**2 + 0. Is z(-1) composite?
False
Let b = -93 - -98. Suppose 3462 = b*t - 4068. Suppose -19*n = -13*n - t. Is n a prime number?
True
Suppose 5*j - k = 218152, -2*k = -2*j - 0*k + 87272. Is j a composite number?
True
Is (900/(-600))/((1/(-6))/((-8986)/(-6))) a prime number?
False
Suppose 10*z - 5*z - 5*m + 5 = 0, 2*m - 2 = z. Suppose 3*w - 4*q + 8*q - 6041 = 0, -3*w - q + 6053 = z. Is w a composite number?
True
Let g = 95 + -89. Suppose 0 = g*y - 59974 - 20900. Is y a prime number?
False
Let i be (-1)/6 - (-4 - (-35)/6). Let n be (22*204)/(-2) + i. Is (n/(-3))/((-4)/(-6)) a prime number?
True
Suppose 4*q - 2*o - 14 = -q, 0 = -q + 3*o - 5. Let n be 2 - (-332*1 + 4 + -4). Suppose n = s + 2*u - 315, 2*u - 2614 = -q*s. Is s composite?
True
Let i be 7 - (-3)/((-9)/(-45393)). Suppose 4*x - i = -4250. Is x a prime number?
False
Let z(x) = 6*x + 3. Let i = -4 + 11. Let t be z(i). Suppose -2*k = h - 208, -5*h + 261 = 2*k + t. Is k a composite number?
False
Let t = -36 - -41. Let x(r) = -t + 19*r**3 + 6 - 6 + r + 2*r**2. Is x(2) composite?
False
Suppose -5*c + f = 126 - 30, -5*f = -c. Let x = -17 - c. Suppose x*j + 2*j - 370 = 0. Is j composite?
True
Suppose -3*v + 5*d = 1, -v - d - 4 = -1. Let n be 1 - v*(5 - 354). Let y = -380 - n. Is y a prime number?
True
Let v(l) = -1956*l + 95. Is v(-2) a composite number?
False
Let w be 18*(4/22 - (-25)/165). Suppose i + m = 6, 3*m - 14 = -5*i + w*m. Suppose i*b = 3*j - 1381, 2*b + 929 = 2*j + b. Is j prime?
True
Suppose 53355 = 3*i - d, -4*i + 71108 = -35*d + 39*d. Is i a composite number?
False
Let b be -3*(2/3)/(-1). Suppose -4*t = -31 + 55. Is (-28818)/(-6)*(-1*b)/t composite?
False
Suppose -16 = -0*i - 4*i. Suppose p - 3*y = i*p - 10128, -3*p - 4*y + 10127 = 0. Suppose -11*t + p = -0*t. Is t prime?
True
Let t(z) be the first derivative of z**4/4 + 3*z**2 + 9*z + 5. Let k be t(6). Suppose -3*n + 1748 = -2*q, -n = -2*q - 315 - k. Is n a prime number?
False
Let z(c) = -c**2 + 6*c + 190. Let y be z(-12). Let w(u) = 8*u**2 + 41*u - 83. Is w(y) a composite number?
False
Is (-938511)/(-3) - (-1 - 0 - 1) a composite number?
False
Suppose 47*f = -4464947 + 66619392. Is f prime?
False
Let n = 4251 - -14239. Suppose 3736 = -6*u + n. Is u a prime number?
True
Suppose 3*u - 3*p - 12813 = 0, 4*u + 5*p = u + 12781. Suppose -u = -4*w + 601. Is w a composite number?
False
Is 2/(-12)*-469311*2 a composite number?
False
Let k = 17 - 20. Let s be 20/(-24)*k*2. Suppose -954 - 391 = -s*w. Is w composite?
False
Let z(t) = -303*t + 4345. Is z(-92) a composite number?
True
Let m be 2317 - 4/(-24)*0. Suppose 42315 + m = 8*r. Is r composite?
True
Suppose 282*m = 260*m + 698918. Is m prime?
True
Let s be (2/(-4))/(4/128). Let j = s - -12. Is ((-2)/j - 0)/((-5)/(-24950)) a composite number?
True
Suppose p = -2*r + 298477, 5*r = 2*p - 708300 + 111328. Is p a composite number?
True
Suppose 0 = 2*p - h - 468 - 49, 3*p - h - 774 = 0. Let m = -220 + p. Is m prime?
True
Let m be 4/18 - (-58)/(-18). Let w(n) = n**3 + 4*n**2 + n - 4. Let i be w(m). Suppose -4*y = -i*u + 250, -5*u + 0*y + 