True
Let z(s) = s**3 - 8*s**2 + 8*s - 3. Let c be z(7). Suppose -k + 0*k + 940 = -2*t, -t = -c*k + 463. Let d = 1036 + t. Is d composite?
True
Suppose 1 + 3 = m. Suppose m*w = w + 15. Suppose 5 = -z, -w*v + 232 = -v - 4*z. Is v a composite number?
False
Let j = 31 - 27. Suppose -3*i - 4*m + 36 = -m, -2*i + j = -2*m. Let o(p) = 3*p**2 - 6*p - 8. Is o(i) prime?
True
Let a(p) = 13*p**2 - 47*p - 293. Is a(24) composite?
False
Let o(c) = -502*c + 61. Is o(-30) prime?
True
Suppose 5*o - 5961 = -a, 5*a - 11592 = o + 18161. Is a prime?
False
Suppose -2*l + 322 = -212. Let d = 898 - l. Is d a prime number?
True
Suppose -243 = -4*p + 849. Suppose 5*x + 864 = -0*u + 4*u, 5*x = 3*u - 868. Let w = x + p. Is w composite?
False
Suppose -11*x + 5235 = -21616. Is x prime?
True
Is 7883/5 + (1 - (-9)/(-15)) prime?
False
Let t(a) be the second derivative of -a**8/6720 - a**7/630 + a**6/90 + a**5/30 - a**4/3 + 3*a. Let k(r) be the third derivative of t(r). Is k(-7) prime?
False
Suppose -z - z = -8. Suppose 19 = -l - 5*u, -2*l + z*u = l - 19. Is 0 + -1 + 37 + l composite?
False
Let h be (-158)/8 + (-1)/4. Let g(a) = -a**3 - 17*a**2 + 28*a + 39. Is g(h) a composite number?
True
Suppose -o - 2*z = 563 - 30, -4*o = -5*z + 2171. Let m = o + 372. Let f = 164 - m. Is f a composite number?
False
Let c(y) = 84*y - 4. Let b(i) = -43*i + 1. Let z(q) = -7*b(q) - 3*c(q). Let p be (-69)/(-9) - (-2)/6. Is z(p) a prime number?
True
Let h(k) = k - 8. Let z be h(6). Is 1002/1*z/(-4) a prime number?
False
Let a be 16/6*-1*3. Let s(d) be the second derivative of 5*d**4/12 - 19*d**3/6 - 3*d**2/2 + 114*d. Is s(a) a prime number?
False
Suppose 0 = -y - 2*y. Suppose -q + 5*i + 1409 = y, -6997 = -5*q - i + 2*i. Is q a prime number?
True
Let j = 373 - 194. Suppose -2535 + j = -2*m. Suppose 4*v = 2*t + m, -v = 2*t + 77 - 374. Is v composite?
True
Let s(p) = -13*p**2 + 148*p**2 - 10*p - 1 - 5 + 8*p. Is s(5) a composite number?
False
Let f(l) = 11*l**3 - 3*l**2 + l - 1. Suppose 0 = 2*v - 2 + 6. Let i be v + 1/((-4)/(-16)). Is f(i) prime?
False
Let m be 432/28 - 3/7. Suppose -5*u = -m, -4*u + 6 = -h - u. Suppose 4*r = 4*w - 564, h*w - 443 = -4*r + 2*r. Is w composite?
True
Let y = 5550 - 10996. Is 4*(y/(-8))/7 prime?
True
Suppose 2*f = -6, 0 = -l - 2*f + 19234 + 27379. Is l a prime number?
True
Suppose 3*i = 4*r - 11, 1 = -i - 0. Let a(g) = 118*g + 1. Is a(r) prime?
False
Let d = 349832 + -246535. Is d prime?
False
Suppose -3*p = -5*b - 282307, -b + 4 = -3*b. Is p composite?
False
Let j(m) = m**3 - 7*m**2 + 3*m + 2. Let v be 6*(1 + 1/(-2)). Suppose -2*x + c - 9 = -v*x, x + 4*c - 15 = 0. Is j(x) a prime number?
True
Suppose -3*w + 2 = -0*s - 2*s, -4 = w - 3*s. Is (254/w)/(3/33) a composite number?
True
Let v(u) = -9*u + 50. Let w be v(5). Let l(h) = 2*h**3 + 9*h**2 + 3*h + 3. Is l(w) a prime number?
False
Suppose 0 = -5*k - 8 - 2. Let j be 224 - (k + 1 - 1). Suppose 5*b - 1100 = -5*p - 0*b, -p - 4*b = -j. Is p prime?
False
Suppose 0*j - 5*j + 2*x = -6997, 0 = -5*x - 5. Is j composite?
False
Suppose 0 = -4*u - 16, 3*q - 3*u = 4*q - 24059. Is q a prime number?
True
Let s = 7 + 400. Is s prime?
False
Let g(h) = 10*h**3 - 10*h**2 - 7. Let p be g(-7). Let j be (p/(-34))/((-6)/(-8)). Suppose -130 = -4*d + j. Is d a prime number?
True
Suppose 0 = -2*o - 3*o - 175. Let p = -32 - o. Is 2660/p + 6/18 a prime number?
True
Let k = 17043 + -9856. Is k a composite number?
False
Let r(b) = 3*b**2 - 28*b**3 + 0*b**2 - 5*b**2 - 10*b**3 - b. Let i be r(-2). Suppose 3*h = h + i. Is h composite?
False
Is 48/(-4)*1*13773/(-12) a composite number?
True
Let q = -113 - 94. Let w = 448 - q. Is w composite?
True
Let u = -47 - -54. Suppose 3793 - 11220 = -u*k. Is k composite?
False
Let y = 12735 + 11516. Is y a prime number?
True
Suppose 0 = 5*o - 3*k - 1667, 0*o + o + 5*k = 311. Is o composite?
False
Let p(y) = 2290*y**3 + y**2 - 2*y + 2. Is p(1) a prime number?
False
Let v(p) = 195*p**2 + 2. Let o(q) = -196*q**2 - 1. Let n(c) = -2*o(c) - 3*v(c). Let i(s) = -387*s**2 - 9. Let f(y) = 3*i(y) - 7*n(y). Is f(1) prime?
True
Let o(t) = -t**2 - 4*t + 9730. Let a be o(0). Suppose 0 = 8*l - a + 1914. Is l a prime number?
True
Let r(h) be the third derivative of h**6/120 + 2*h**5/15 - 7*h**4/12 - h**3/2 - 17*h**2. Is r(10) prime?
True
Let a(i) = i**3 - 9*i**2 + 3. Let n be a(9). Suppose c - 58 = -n*g - 0*g, 4*g - 74 = 2*c. Is g a composite number?
False
Let v(y) = y**2 - 2*y - 1. Let x be v(4). Is ((-262)/4)/(x/(-28)) composite?
True
Is 2/(-5) - 862496/(-40) composite?
True
Is -1041*31*1/(-3) prime?
False
Is 0 + 9921/24 - 6/16 a prime number?
False
Let i = -138841 + 197498. Is i a composite number?
False
Is 1732 + 7 + -2 + (0 - 2) prime?
False
Suppose 0 = r + u - 10, 0 = r + 4*u - 19 - 3. Suppose -3*c - 150 = -r*c. Suppose -56 - c = -2*p. Is p a composite number?
False
Let i(z) = 116*z**2 - 6*z - 5. Let g be i(-3). Suppose 5*k - g = -2852. Let p = -120 - k. Is p prime?
True
Let s be -15*3/(-27)*3. Suppose 2*c = s*c + 9. Is 524 + -2 - (-3)/c a prime number?
True
Let t = -7609 - -22196. Is t prime?
False
Let x(v) = 8637*v**2 - 4*v. Is x(-1) a prime number?
True
Let g(c) be the third derivative of -7*c**5/8 + c**4/3 + 5*c**3/3 - 4*c**2. Let h(d) be the first derivative of g(d). Is h(-7) prime?
True
Suppose w = 4*d + 172, 4*d + w = -3*w - 152. Let p = d - -91. Is p composite?
True
Let d(l) = 53*l**2 + 37*l + 125. Is d(-27) a composite number?
True
Suppose y - 6*y = -15, 3*x - 3*y - 2802 = 0. Let g = x - 644. Is g a prime number?
True
Suppose 19*i = 24*i + j - 68902, i - 2*j = 13787. Is i prime?
True
Suppose 0 = 3*q - 7*q - 12, 5*f - 7045 = -5*q. Suppose -1940 = -8*h + f. Is h prime?
True
Suppose -6916 = -10*z + 1114. Is z a prime number?
False
Let j = -6 - -7. Let i be j/(3/1116)*1. Suppose -112 = 4*x - i. Is x prime?
False
Let a = 77 - 69. Suppose -3616 = -a*d + 7272. Is d a composite number?
False
Let s(n) = 49*n**2 - 2*n + 11. Is s(3) a prime number?
False
Let f(t) = -t + 655. Let q = 21 - 16. Suppose 0 = -0*h + q*h. Is f(h) a composite number?
True
Suppose 109718 = 2*g - 6*t + t, 2*g = 4*t + 109722. Is g a composite number?
False
Let y = 33 + -11. Suppose -3*p - y = 2. Is 2*(-12)/p - -74 a prime number?
False
Suppose 0 = 33*t - 104414 + 30692. Is t a composite number?
True
Suppose 3*z - 5 = 2*z + p, 4*p - 15 = -3*z. Suppose z*n = -2*o + 4445, -3*n + 2667 = 2*o - o. Is n composite?
True
Is 77835/(-10)*70/(-21) a prime number?
False
Suppose 3*n - 9 = -3. Let w be 149/n + 3/(-6). Let q = w - -309. Is q composite?
False
Let a = -4772 + 8973. Is a composite?
False
Suppose 4863 = -k + 4*k - w, -5*k + 4*w = -8105. Is k a prime number?
True
Suppose -2*h + 2345 = 5*n, 2*n - 7*n + 2375 = -4*h. Suppose 6*v - n = 3*v. Is v composite?
False
Is (-146721)/(-6)*(-20)/50*-5 a composite number?
False
Let f = 7 - 4. Let k = f + 0. Suppose 2*w = -3 - 7, -3*l = k*w - 132. Is l prime?
False
Suppose 3*s + 7*f + 24 = 2*f, -3*s - 4*f - 21 = 0. Let g = s + 3. Suppose g*r + 262 = 2*r. Is r a prime number?
True
Suppose 7096 + 44794 = 10*p. Is p prime?
True
Suppose i = n + 15, -2*n - 5 + 1 = 0. Let a(p) = -59*p - 16. Let y(q) = 29*q + 8. Let k(s) = i*y(s) + 6*a(s). Is k(6) prime?
False
Let t(f) = -2*f**3 - f**2 - 18. Let r(o) = -3*o**3 - o**2 - 27. Let y(l) = -5*r(l) + 8*t(l). Is y(-7) composite?
True
Suppose 1542 = 6*r - 3*r. Suppose r = -0*s + s. Is s a composite number?
True
Suppose d - 150 = -500. Let j = 492 - -487. Let r = d + j. Is r prime?
False
Suppose -z + 6 = 4, 3*r - 2*z = 2. Suppose 0*d + 403 = 5*d + u, d = r*u + 74. Suppose 0*k + k + x - d = 0, -5 = x. Is k a composite number?
True
Suppose 29*n + 13732 = 33*n. Is n prime?
True
Let h = 1569 - -6800. Is h prime?
True
Let z = 579 + 1460. Is z composite?
False
Let x be (-2 - -1)*1*47. Suppose 10*a - 15*a + 77 = -g, g = -4*a - 86. Let m = x - g. Is m composite?
True
Let y be (3 - 0) + 16 + -293. Let j = -391 - y. Is j/6*-16 + -1 composite?
False
Suppose 0 = -462*p + 493*p - 6072187. Is p a prime number?
False
Let o(a) = 3373*a**2 - 73*a - 235. Is o(-3) a composite number?
False
Suppose -4*f + 3*r - 23 = 2*r, -5*f = r + 22. Is 2/(-8) + f/(40/(-33562)) prime?
False
Suppose -10*a + 4144 = -6*a. Suppose -z + a = -5*z. Let f = 494 + z. Is f a prime number?
False
Let n = 43 - -32. Let o = n + 136. Is