 prime?
False
Let y(j) be the third derivative of 3*j**5/10 - 5*j**4/8 + 25*j**3/3 + 143*j**2. Is y(-17) composite?
False
Suppose 0 = 5*m + 4*l - 106459, -12*m + 10*m + 4*l + 42578 = 0. Let b = m + -13006. Is b a composite number?
True
Suppose 5*f + s = 18790, 3*f - 11274 = 3*s - 0*s. Suppose -3*a + 8*a + 4660 = 5*c, 0 = 4*c + 2*a - f. Is c a composite number?
False
Suppose -3872150 = -0*v - 19*v - 31*v. Is v composite?
True
Suppose 0 = -2*m + 2*a + 42524, 41514 - 147873 = -5*m - 2*a. Is m a prime number?
True
Let v = 100415 - 8794. Is v a composite number?
False
Suppose -3*h = -15, -4*z + 361526 = 1730*h - 1728*h. Is z a prime number?
True
Suppose 15871*s - 10218204 = 15835*s. Is s a prime number?
False
Suppose -3*z = 5*n, 3 + 0 = -n. Suppose 0 = z*c + 2*p - 1344, 4*c = -p + 3*p + 1068. Suppose v = -v + c. Is v composite?
True
Let o be 6*(0 - 20/(-6)). Suppose -l + o = 4*l. Suppose l*u = -4*z + 3*u + 1559, 5*u = 2*z - 807. Is z prime?
False
Let s(c) = c**3 + 7*c**2 + 11*c + 7. Let t be s(7). Suppose -1335 = -3*x + 2*x. Let y = x - t. Is y a composite number?
True
Let j = 23 - 21. Let h be 305/(0 - j/2). Let d = -90 - h. Is d composite?
True
Is (12 - 453638)*(-5)/10 composite?
False
Is (-32)/(-36) - 6891319/(-171) a prime number?
False
Let i(n) be the first derivative of 3557*n**4/4 + n**2 - n + 15. Let r be i(1). Let d = r - 1973. Is d a prime number?
False
Let o = -7719 - -12299. Let v = o + -1801. Is v prime?
False
Let h be 184/18 - (3 + (-25)/9). Suppose -h = 5*o, 5*g = -o - 0*o + 31083. Is g prime?
True
Suppose -53354 = -156*f + 170*f. Let v = 13398 + f. Is v prime?
True
Suppose -3*z + 3*c + 33922 = -986, 4*c + 23262 = 2*z. Is z a composite number?
True
Let x = -148532 - -345363. Is x a composite number?
False
Let y = 10 + 22. Suppose 0 = 3*r - k - 36, 2*r - k = -3*k + y. Suppose 0 = r*g - 22*g + 3987. Is g prime?
True
Let s be ((-200)/(-15))/(2/(-117)) - 1. Let m = 6150 - s. Is m a prime number?
False
Suppose -175*v + 43912662 = -10652863. Is v a composite number?
False
Let v = 20 + -12. Let p(a) = 6 + 56*a - 124*a - a**3 + 12*a**2 + 56*a. Is p(v) prime?
False
Let t(v) = 1796*v + 4895. Is t(79) composite?
True
Suppose -4*p + 13740 = 4*g, p - 2*p = -5*g - 3447. Let a = 4044 + p. Is a a composite number?
False
Suppose 2*o + 4*l - 3*l - 3 = 0, 9 = -o + 3*l. Suppose o = 12*z - 28589 - 26047. Is z a prime number?
False
Let w(s) be the first derivative of -59*s**3/3 + 2*s**2 - 11*s + 10. Let r(b) = -30*b**2 + 2*b - 5. Let q(o) = -9*r(o) + 4*w(o). Is q(3) composite?
True
Suppose -17*j = -2*u - 18*j + 4, u + 2*j + 4 = 0. Suppose 3*b = -2*h + 25715, u*h - 42171 = -3*b + 9250. Is h prime?
True
Suppose -7 = -7*d + 35. Let i(v) = 26*v**2 - 4*v + 13. Let y be i(d). Suppose -y = -2*r - 167. Is r a prime number?
True
Suppose -2*j + 21456 = -31090 - 9188. Is j a composite number?
True
Let s(v) = -6967*v - 284. Is s(-3) a prime number?
False
Is 30*(39114/108 - 20/(-4)) composite?
True
Let o(w) = w**3 + 31*w**2 + 56*w - 89. Is o(35) a composite number?
False
Suppose 0 = 2*y - 2*g - 0*g - 6456, 5*g = -25. Suppose -9799 = -4*t - y. Suppose 6*v - 2862 = t. Is v prime?
True
Let j be (-1)/(1*5/20). Let c(y) = 1019*y - 13. Let o be c(j). Is (-10)/5 + o/(-3) prime?
True
Let v = -550 - 595. Suppose 559 = 3*r - 2*i + 2817, 0 = -5*i - 10. Let q = r - v. Is q a prime number?
False
Is 13 + 2 - -8*4487 prime?
True
Let r = 17 - 18. Let c be 40/10 - (0 - r). Suppose 4*f + 3*l - 36 = -8, -2*f + 14 = c*l. Is f a composite number?
False
Suppose 0 = -406*m + 387*m + 86393. Is m a composite number?
False
Suppose 221934 = 1780*g - 1774*g. Is g prime?
False
Suppose 0 = -30*y + 12*y + 370*y - 63064672. Is y composite?
False
Let a(u) = 39*u - 17. Let l(i) = -2*i**2 - 11*i - 5. Let k be l(-5). Suppose k*t + 30 = 3*t. Is a(t) composite?
False
Let m = 209019 - -32476. Is m a prime number?
False
Let g be (-6 - -1) + 7 - (2 - -1). Let u be g/(1/(4 - 2783)). Let c = u - 1418. Is c a prime number?
True
Let n = -18 - -18. Is (-4 + 5 - -1364) + (n - 4) a prime number?
True
Suppose 0 = 107*w + 49307192 - 127012839. Is w a composite number?
False
Suppose -18*j - 1984 = -26*j. Let n = j - -5. Is n prime?
False
Suppose 105*k = 15*k + 957870. Is k prime?
False
Let t(b) = -21*b + 64. Suppose 5*p + q = 2*p - 110, 60 = -2*p + 2*q. Is t(p) a prime number?
False
Let q be ((-12072)/(-16))/(2/4) + -1. Suppose q = 8*s - 820. Is s composite?
True
Suppose 7 = 5*c - 18. Let z be (-4)/(-14) - (50/35)/c. Suppose -2*g - 3*n = -n - 168, -2*g - 4*n + 162 = z. Is g a prime number?
False
Suppose 31681 = q - 2*w, 0 = 4*q - 102*w + 103*w - 126751. Is q a prime number?
True
Let g(f) = -4*f**2 - 46*f - 45. Let x be g(-23). Let q = -582 - x. Is q prime?
True
Suppose 5*o + t + 1780 = 5*t, 0 = 4*t. Let p be 1 + (3 - o) - 3. Let g = p + -200. Is g composite?
False
Let x(y) = 1627*y**2 - 2*y + 2. Suppose 8 = -4*s, -3*q = -s - 2 - 3. Let h be x(q). Suppose -4*w = -2*l - 2162, -w - 2*w = 4*l - h. Is w a composite number?
False
Let v = -496 + 501. Suppose 27*k = 23*k + z + 2879, -v*z - 3610 = -5*k. Is k a prime number?
True
Suppose 0 = -7*a + 3*a. Suppose 0 = -4*l + 3*w - 6*w, -2*w = 8. Suppose a = 2*b + l*b - 1465. Is b a composite number?
False
Let j(x) be the first derivative of x**6/360 - 7*x**5/40 + 25*x**4/24 - 5*x**3/3 - x**2 + 22. Let a(r) be the third derivative of j(r). Is a(34) prime?
True
Is 7/(105/45) - -44918 a composite number?
True
Suppose 4*c + 6*h - 22 = 4*h, 0 = 2*c - 2*h - 2. Is ((-848)/(-40))/(-3*c/(-30)) composite?
False
Suppose -9*d + 13*d - 2565458 = -10*d. Is d composite?
False
Let f(i) = -21*i**2 + 39*i - 13. Let c(a) = -24*a**2 + 37*a - 13. Let o(q) = -6*c(q) + 5*f(q). Is o(6) prime?
False
Let q(b) = 918*b - 360. Let l be q(53). Suppose -3*m = 12, l = 2*y - 37*m + 39*m. Is y prime?
True
Let y = 181 - 182. Is y - (-32034)/14 - (-51)/(-357) a prime number?
True
Let s(m) = m**2 + 15*m - 20. Let i be s(-16). Is (1/1)/(i + (-3113)/(-778)) a composite number?
True
Is (4516292/(-110))/(1/(5/(-2))) composite?
False
Is (-90 + 85 - (2 - 150846)) + -12 prime?
True
Let t(z) = 492*z**2 + 17. Suppose -2*l + 3*r - 7 = 0, r + 21 = -2*l - 2*l. Let p be t(l). Suppose s + 2*b = 4099, 3*s = -0*b + 4*b + p. Is s a prime number?
False
Let y = -1384617 - -2939018. Is y a composite number?
False
Let j(d) = d**3 - 11*d**2 - 1. Let p be j(11). Let q be 32/12 + p/(-3). Is 290/((3 + q)/3) composite?
True
Let i(m) = 176*m**2 - 257*m + 3. Is i(8) a prime number?
False
Suppose 5*c - 1247 = 2*i, 79*c - 4*i + 1271 = 84*c. Is c a prime number?
True
Let m(a) = 143*a**2 + 5*a - 5. Let x = -183 - -178. Is m(x) prime?
False
Let g = 471318 - 208885. Is g a prime number?
True
Suppose 0 = -a + 2*w - 4, 10*w - 14*w = -4*a. Suppose 0 = -2*s + 4, 2*s - 9570 = -a*n - s. Is n prime?
False
Let m(f) = -3164*f - 431. Is m(-8) a prime number?
False
Let b(p) = 31*p**2 - 5*p + 15. Suppose 134*i - 141*i = 56. Is b(i) a prime number?
True
Let k be 9 + 5/(35/1309973). Suppose 3 = -j, -6*g + j = -g - k. Is g a prime number?
False
Suppose -3*x = -24 + 15. Suppose 0 = 5*d - 20, -i = 3*i - x*d - 66804. Is (3/(-3))/(-5 + i/3342) a prime number?
True
Let u = -458 - -448. Is u/4*(12 + -13 + -3193) a prime number?
False
Suppose -7*k + 42 = -k. Suppose 0 = k*p - 14*p + 168. Suppose 21*c - p*c + 117 = 0. Is c a composite number?
True
Let x = 1128 - 1126. Let v(d) = -1763*d + 26. Let w(l) = -882*l + 13. Let b(i) = 3*v(i) - 7*w(i). Is b(x) prime?
False
Is 1354/3*(-4617)/(-162) a prime number?
False
Suppose -396*z = -4460986 - 319288418. Is z a prime number?
True
Let z(s) = s**2 - 5*s - 19. Let p be (4 + -1)/(-6) + (-102)/(-12). Let g be z(p). Suppose -g*x + 4*x = -257. Is x a prime number?
True
Suppose -16*x - 377974 + 1262246 = 0. Let a = x - 35550. Is a a composite number?
False
Let w = -170 - -175. Suppose 2*x = 4*y - 25282, 18972 = -3*y + 6*y - w*x. Is y prime?
False
Suppose -924 - 2625 = -2*t - g, 0 = 4*t + 5*g - 7095. Let l = t + 728. Is l prime?
True
Suppose -154*o = -152*o - 10, 4*g - 4*o - 68576 = 0. Is g a composite number?
True
Let j = -6 + 24. Suppose j = -4*p + 2*u, -3*p + 2*u - 10 = 6. Let d(m) = -25*m**3 + 4*m**2 + m - 3. Is d(p) prime?
True
Let j(o) = 2*o**2 - 12*o + 12. Let n be j(3). Is (-121320)/(-27) - 7 - 4/n a composite number?
True
L