Is t(8) a prime number?
True
Suppose 2 = 2*s, o - 3*o - 5*s + 53 = 0. Suppose -o*y + 28091 = -37837. Is y a composite number?
True
Let t(r) be the second derivative of 7*r**4/6 + 7*r**3/3 + 13*r**2/2 - 5*r - 11. Is t(-8) prime?
True
Is (-17 - -21)/1 - -185515 a prime number?
True
Let w(u) = 2*u**2 - 2*u - 1. Let a be w(2). Let r be ((-6317)/2)/(4/(-8)). Suppose 0 = -4*m - j + 9300 - 899, a*m + 4*j - r = 0. Is m a prime number?
True
Suppose -37034420 - 15948263 = -169*h. Is h prime?
True
Let k be ((-33)/(-6))/11 + 2/4. Let f(b) = 1587*b**2 + 0*b + 333*b**2 + 4*b - 467*b**2. Is f(k) a prime number?
False
Let z(w) = 3*w**3 + 12*w**2 + 317*w + 146. Is z(48) a prime number?
False
Let a be (-3912)/(-2) + 2/1. Let u = -5180 + 5199. Let s = a - u. Is s prime?
False
Suppose -11161 + 26353 = 8*t. Suppose -t = 11*z - 14*z. Let q = z + -2. Is q a prime number?
True
Let k = -4425 - -8020. Is k a prime number?
False
Let k(a) = 761*a + 678. Is k(23) prime?
True
Let t = -573863 + 199256. Is 1/11 - (t/99 + -1) composite?
True
Let j = -3875 + 600. Let y = -2234 - j. Is y a composite number?
True
Let w(f) = 2*f - 20. Let i be w(10). Suppose 2*d - 5*c + 2*c - 53 = i, -5*c - 80 = -3*d. Is 2 + (-7606)/(-10) + 10/d prime?
False
Suppose -4*g + 2*i + 0*i = 8, 3*i - 12 = 2*g. Let t be (3697 + 4)*(1 - g). Let s = t - -854. Is s composite?
True
Let v(d) = -2*d - 9. Let j be v(-7). Let m(i) = 7*i + 26. Let p be m(-3). Suppose j*t = -p*s + 4260, -5*t + 1068 + 3199 = -2*s. Is t composite?
False
Suppose 0 = 101*m - 93*m - 73368. Suppose -32*i + 35*i = m. Is i prime?
False
Let y = 244 - 427. Let m(x) = -105*x - 1. Let a be m(-3). Let v = y + a. Is v a prime number?
True
Let q(f) = 267043*f**2 - 150*f - 150. Is q(-1) a prime number?
False
Suppose -5*s + 58284 = n, -4*s + 3*n = -s - 34974. Is s a prime number?
True
Let z(y) = y**2 + 12*y + 13. Let n be (32 + -38)*(-1)/2 - -11. Is z(n) prime?
False
Let y be (-3 + 3)*(1 + (-3 - -3)). Suppose -2*b = -b - 4*o + 5, y = -b - 2*o + 1. Is (-2 - b)/(1 + 1098/(-1095)) a prime number?
False
Let q(s) = -105*s - 145. Let a be q(-28). Suppose 1160 = k + 7*h - 2*h, 2*k - 2264 = 4*h. Let z = a - k. Is z prime?
False
Suppose 2392*q = 2228*q + 61555924. Is q a prime number?
True
Let p(c) = 541*c**2 + 3*c - 9. Let w = -89 + 91. Is p(w) composite?
False
Let c(y) = -y**3 + 14*y**2 + 120*y - 12. Let j be c(20). Is 5 - (2/(j/(-18)) - 2159) composite?
False
Let m = -111012 - -668695. Is m a composite number?
True
Suppose 0 = 3*d + 4*d - 266. Let n = d - 36. Let a(h) = 226*h**3 + 5*h**2 - 6*h + 3. Is a(n) a composite number?
True
Let w(p) = 474*p + 39. Let u be w(4). Let n = -926 + u. Is n prime?
True
Let i be -11 + 15 + (2 - 4). Suppose -5*j - d - d = -922, i*j - 367 = d. Suppose -372 = -2*k - 2*n, -5*n - j = 2*k - 541. Is k prime?
True
Let a(x) = 4*x**2 + 2*x + 4. Let p be a(-2). Let u(c) = c**3 - 12*c**2 - 14*c - 23. Let m be u(p). Let b = -190 + m. Is b composite?
False
Let j(n) be the second derivative of 10*n**4/3 - 3*n**3/2 - 9*n**2 + 2*n - 14. Is j(-5) a prime number?
False
Let x(w) = -11*w + 3*w**3 + 11 + 7*w**3 - 35*w**3 - 6*w**2. Is x(-6) prime?
True
Suppose -2*h = 6 + 4, -3*y = 4*h - 484. Suppose 0 = -167*s + y*s - 427. Is s a composite number?
True
Let h be 3 - (-5 + 5 + -21). Is (-14660)/(-6)*8*h/128 a prime number?
False
Let a = -9315 - -4879. Let d = 10893 + a. Is d a composite number?
True
Suppose h - 12476 - 2130769 = 2*f, h - 2143266 = 5*f. Is h a prime number?
True
Let w = 113 + -110. Suppose 20172 = -2*c - w*o, 2*c + 5675 = o - 14513. Is (-1)/(c/(-2019) + -5) a composite number?
False
Suppose g = -2*t + 11917, 45*t - 44*t - 59558 = -5*g. Is g a composite number?
True
Let y be (((-216)/(-15))/(-6))/(2/(-5)). Suppose 0*k - 8*k = -183888. Suppose 0*o + k = y*o. Is o a prime number?
False
Let r(i) = 4521*i**2 - 94*i - 716. Is r(-7) a prime number?
True
Suppose 9*d + 4 = 7*d. Let f be (3 + 7/d)*0. Suppose f = -r + 4*u + 2119, 1958 = 2*r + u - 2235. Is r prime?
True
Let z = -119 + 33. Is 3463/(5/3 + z/129) composite?
False
Suppose -14*q + 49368 = 15390. Let n = -770 + q. Is n composite?
False
Let f = 234 + -271. Let k(z) = -97*z - 350. Is k(f) composite?
True
Suppose 4*s - 27327 = -3*w + 2*s, 0 = 4*w + 2*s - 36438. Let q = w - 1508. Is q a composite number?
False
Let w(n) = 139*n - 136. Let s = 53 + -38. Is w(s) a prime number?
True
Let d(s) = -322706*s**3 - s**2 - 5*s - 1. Is d(-1) a composite number?
False
Suppose 2*a = 4*a + 5*m + 1747, 0 = -a - 3*m - 872. Let l = -352 - a. Is l a composite number?
True
Suppose -41377 = 7*u + 610484. Is u/(-189) - 4/(-14) a prime number?
False
Let l be 27/18*8/3. Is (-2)/l + (-435105)/(-54) prime?
False
Let q(y) = 3*y**2 - y - 198. Let h be q(17). Suppose -5*p + 2145 = -0*p. Let t = h - p. Is t a composite number?
False
Let r = -149 - -95. Let s be 27330/r + (-1)/(-9). Is (s + -17)/((-2)/4) a prime number?
False
Let l = 248417 + 129042. Is l a prime number?
True
Let j be 30/165 + (-4)/22. Is j + -7*(-2 + -365) a composite number?
True
Suppose 624 - 2872 = -b. Suppose 7*s - 3331 = b. Is s a composite number?
False
Let s = -799424 + 1355961. Is s prime?
True
Let o = -316 + 779. Suppose -3400 = -j + o. Is j composite?
False
Let x = 31 + -28. Suppose v = -3*v - 4*r + 2080, 0 = v - x*r - 524. Let q = v - 358. Is q prime?
True
Suppose y = -5*h - 25, y - 3*h - 14 = 1. Suppose 24*d - 5553 - 5079 = y. Is d a prime number?
True
Let m be (4/(-16))/(4/(-48)). Suppose -m*f + 26418 - 4279 = 4*o, 0 = f + 4*o - 7385. Is f a prime number?
False
Let t(w) be the first derivative of -216*w**2 - 71*w - 6. Is t(-6) a prime number?
True
Let a(f) = -f**3 - 28*f**2 + 4*f + 29. Let y be a(-28). Let m = -81 - y. Suppose 0 = -m*h + 23 + 171. Is h prime?
True
Let m(f) = 55*f**3 - 20*f**2 - 4*f + 13. Let g be m(7). Let u = 26764 - g. Is u a composite number?
True
Let k be (-2 - -4) + (-8)/4 + 1. Is -3 + (5 - k) - (-672)/1 composite?
False
Let m(x) = 1249*x**3 + 5*x**2 - 8*x + 7. Let c(h) = -h**2 + 22*h + 25. Let i be c(23). Is m(i) prime?
False
Is 20618686/22 + 4 - 10 prime?
True
Let o(a) = -1284*a**3 - 2*a**2 + 30*a + 169. Is o(-5) a prime number?
False
Let j(r) be the second derivative of 3*r**5/20 - r**4/4 - r**3/2 - 5*r**2 - r. Let m(l) = -166*l + 1169. Let i be m(7). Is j(i) a composite number?
True
Let n be 5*-1*(77 - 6). Is -4 + n/(-5) + (0 - 2) prime?
False
Suppose -16*v = -23*v + 302057. Suppose 8*c - 10713 = v. Is c a composite number?
False
Let o = -9454 + 62855. Is o composite?
False
Let n = 575 - 1393. Let g = 6349 + n. Is g a composite number?
False
Let b(x) be the second derivative of 3*x**4/4 + 35*x**3/6 - 15*x**2/2 + 24*x + 2. Is b(-18) a prime number?
False
Suppose 2*r - 998 = 3*g, 0 = 4*r - 4*g - 1290 - 698. Suppose 0 = r*y - 497*y + 4684. Is y a composite number?
False
Let k(j) = j**2 + 7*j - 3. Let p be k(-6). Suppose -76 = -7*q + 134. Is q/(-20)*28986/p prime?
True
Let i be (-4)/((-80)/45)*40/6. Suppose -28*z = -i*z - 310609. Is z a prime number?
True
Let r(z) = 55*z**2 - 10*z - 40. Let l be r(6). Let n = 10473 + l. Is n a composite number?
True
Let c = -379 - -621. Suppose 228*t = c*t - 319466. Is t a composite number?
True
Suppose 122517 = 4*m + l, 0 = 3*m - 0*l + 7*l - 91844. Is m prime?
True
Let w = 413311 - 238196. Is w a composite number?
True
Let t = 504 - 500. Suppose 2*a + k - 1865 = 0, 225 - 1162 = -a - 2*k. Suppose -t*v + a + 447 = -2*b, 3*v + 4*b = 1061. Is v a prime number?
True
Let y be (-34)/(-3) + (-4)/(-6). Let d = -3971 + 3947. Is d/(-9) + -3 + 7480/y composite?
True
Let b(t) be the third derivative of 0*t + 21*t**2 + 0 - 1/6*t**3 - 13/60*t**5 + 1/120*t**6 - 1/8*t**4. Is b(16) composite?
False
Suppose 149*k + 492876 = 4370975 + 6777636. Is k a composite number?
True
Let q = 206680 - -192579. Is q a prime number?
False
Let k(b) = 188*b - 559. Let i be k(3). Let d = 1054 - 400. Let u = i + d. Is u prime?
True
Suppose -3959 = 5*s + 2*t, 4*s + 2182 = 4*t - 974. Let l = s + 1789. Let q = -639 + l. Is q a composite number?
False
Let c = 281365 - -52402. Is c a prime number?
False
Is (-342634)/6*((0 - -6) + (-9 - 0)) a composite number?
False
Let h(y) = -y**3 - 8*y**2 + 10*y + 13. Let b be h(-9). Let c(j) = -107*j + 685*j - 1 + 51*j. Is c(b) composite?
True
Let c(t) = 10*t + 66. Let d be c(-6)