t d be 4/14 + (-60)/(-35). Suppose -r = 3*r - 2*z - 358, -2*z = -d*r + 180. Is r a prime number?
True
Let r(n) = n**3 - 2*n**2 - 11*n + 12. Let i be r(8). Is i/12 - (-4)/(-6) composite?
True
Let k(b) = 19*b**2 + 4*b + 1. Let w be k(-9). Suppose 179 - w = -5*h. Is h a composite number?
True
Suppose 42 = -u - 2*u. Let o be 2/(-3) - u/(-6). Is -154*o/((-18)/(-3)) a composite number?
True
Suppose -4*s + 13581 = -3247. Is s a prime number?
False
Suppose -8*c + 43077 + 7715 = 0. Is c a prime number?
False
Let f be -3 - (-1)/((-1)/(-155)). Suppose 0*x = 2*x - 3*i - 133, 3*x - f = -5*i. Is x a prime number?
True
Let d(v) = -v**3 + 3*v**2 - 1. Let g be d(2). Suppose 0 = 3*i - g*o - 81, 4*i + 2*o = 59 + 37. Suppose 3*l + 0*l = r + i, r = 5. Is l composite?
True
Let u be (-4)/(-14) + 9858/42. Suppose 4*g - 9*g + u = 0. Is g composite?
False
Suppose 0 = f - 313 + 105. Let t = f + -131. Suppose 0 = -3*k - 4*g + t, -k - g + 13 + 11 = 0. Is k a prime number?
True
Let q(v) = -v**2 + 9*v + 10. Let s be q(10). Suppose 5*x - 4*y = 170, -y - 65 = -2*x - s*y. Suppose 2*r + x = 7*r. Is r prime?
False
Suppose -12 = -3*p - 3. Suppose 4*y - 50 = 3*f, -p*y + 65 = -2*f - 3*f. Is (-152)/(-10) - (-2)/f a composite number?
True
Let d(z) = -z**3 + z + 1. Let s(b) = -3*b**3 - 4*b**2 + 4. Let u be (4 + -1)/((-9)/6). Let v(a) = u*d(a) + s(a). Is v(-5) prime?
True
Let w = 1 - -2. Suppose -55 = -2*j - w*j. Is j prime?
True
Let r = 325 + 196. Is r composite?
False
Let h = 6 + 1. Let i(m) = -m**3 + 6*m**2 + 8*m - 5. Let c be i(h). Suppose q = -3*x + 34, c*q = -3*q + 3*x + 152. Is q prime?
True
Suppose 0*s = -2*s + 4. Suppose s*q - 619 + 85 = 0. Is q a prime number?
False
Suppose 3*a - p - 3*p = 3169, 0 = -a - p + 1061. Is a a prime number?
False
Let c = 80 + 259. Let d be ((-4)/6)/((-2)/6). Suppose -6*w - 174 = -d*u - 2*w, -4*u + c = w. Is u composite?
True
Let w = -5 + 8. Let z(n) = 25*n + 4 - 46*n + 6*n**2 + 17*n. Is z(w) a prime number?
False
Let f = 208 + -620. Let i = -221 - f. Is i composite?
False
Let o = 204 - 355. Let j = 12 - o. Is j composite?
False
Let n = 2718 - 1148. Suppose 0*f = 2*f - n. Is f prime?
False
Let t(y) = y**3 + 6*y**2 + 3. Let z be t(-7). Let l = 311 + z. Is l composite?
True
Let h be (-2 - -1)/((-3)/321). Suppose d + 3*g - h = 0, 5*d - 4*d - 4*g = 79. Suppose -t = 4*t - d. Is t composite?
False
Suppose 2*f = 1495 + 1503. Is f composite?
False
Suppose -10 = -5*y - 0*y. Is -74*(y - (-27)/(-6)) composite?
True
Let g(z) = -15*z**3 + z**2 + 3*z + 2. Is g(-1) a composite number?
True
Let s(g) = -9*g + 58. Is s(-17) prime?
True
Let h = 5 + 1. Let i(v) = -v**2 + 6*v + 4. Let d be i(3). Let t = d - h. Is t prime?
True
Let c(i) be the second derivative of -i**5/20 + 3*i**4/4 + 5*i**3/6 + 13*i**2/2 - 5*i. Is c(9) prime?
False
Let r = 4 + -4. Suppose 5*n = -2*j + 239, r*j + 4*j + 257 = 5*n. Is n composite?
True
Let c(j) = j**2 - 11*j - 17. Let x be c(13). Is x/3 - 7 - -509 a prime number?
False
Let h(u) = -9*u - 5. Let r(a) = a**2 + a + 32. Let n be r(0). Let z be (1/2)/((-4)/n). Is h(z) prime?
True
Let d = 13 + 0. Is 8982/78 + (-2)/d a composite number?
True
Suppose -b = -3*b - 686. Let s = b - -488. Is s composite?
True
Let u(b) = b**3 + b. Let a be u(2). Is 7422/a - 60/(-75) prime?
True
Let i(x) = 16*x**3 - x**2 + 2*x - 1. Let l be (2 - 1)/((-1)/(-2)). Is i(l) a prime number?
True
Let k be (6 + -2)*(-3)/(-6). Suppose 10 = 2*f + 2*a, 5*a - 3*a = f - k. Is (-4)/f*(-130)/2 composite?
True
Let c(v) = -4*v**3 - 10*v**2 - 4*v - 2. Let s(k) = -7*k**3 - 19*k**2 - 7*k - 5. Let i(o) = -5*c(o) + 3*s(o). Is i(-8) composite?
False
Suppose 3*d = -52 - 113. Let u = d + 86. Is u a prime number?
True
Let h(j) = -j**3 - 2*j**2 + 39*j + 9. Is h(-11) composite?
True
Let n(z) = -z - 4. Let x be n(11). Let v = x - -52. Is v a composite number?
False
Let n = -315 + 1889. Let m = n + -1053. Is m a composite number?
False
Let c(x) be the second derivative of -x**4/12 - 11*x**3/6 + 3*x**2/2 - 2*x. Is c(-6) a prime number?
False
Let w be (-4)/2*(-4)/8. Is (-238)/(-4) + w/(-2) a composite number?
False
Let c(f) = 6*f**2 - 12*f + 11. Is c(8) a prime number?
False
Suppose 2 = v + 8. Is (98/21)/((-4)/v) prime?
True
Suppose -3*b + 21595 = 4*b. Is b a composite number?
True
Let t = -86 - -577. Is t prime?
True
Suppose 3*d - 12 = -d. Is (-6)/9 + 1349/d a prime number?
True
Suppose 0 = -6*x + 3*x + 12. Let z = 23 - x. Is z a prime number?
True
Let r be (-8)/16*(0 - 4). Suppose -5*t + 750 = 3*l + 302, -r*t + 4*l + 174 = 0. Is t a composite number?
False
Suppose 0*c = 4*i + 3*c - 3, 2*c - 25 = 5*i. Let k(g) = 2*g**2 + 6*g + 4 - 2 - 4*g. Is k(i) prime?
False
Suppose 7*g - 7443 = 6452. Is g prime?
False
Let n = 527 - -1868. Suppose -2*b - 5*p + 558 = -400, -5*b + n = -3*p. Is b composite?
False
Is (-2979)/(-63) + (-4)/14 a composite number?
False
Suppose 2*w = -0*w. Suppose 4*v - 4*l + 5*l = 15, w = 2*v - 4*l - 12. Suppose -260 = -5*t + 3*j, 0 = -5*t - v*j + 9 + 286. Is t prime?
False
Let z = -2 + 0. Is z + 2 + 1*127 a composite number?
False
Let o(b) be the first derivative of b**6/360 - b**5/120 + 3*b**4/8 - 2*b**3/3 + 2. Let l(q) be the third derivative of o(q). Is l(7) prime?
False
Suppose 4*n = -y - 4*y + 10, -2*y - 24 = -4*n. Is (y/4)/(2/(-1180)) a composite number?
True
Let q = 6 - 5. Let h be (2 + -3)*(q + 1). Is (93/(-12))/(h/8) a prime number?
True
Let i(z) = z + 11. Let w be i(-8). Suppose 0 = -4*m - 28 + 188. Suppose -w*y = y + g - m, 0 = 5*y + 3*g - 43. Is y composite?
False
Suppose -2*o + 3 = -1. Suppose -4*n = o*x - 0*x - 22, -5 = 5*x - 5*n. Suppose -14 = x*c - 44. Is c a composite number?
True
Suppose x = 3*x - 364. Suppose 42 - x = -4*k. Is k a composite number?
True
Let a(z) be the second derivative of z**5/20 + 35*z**2/2 - 7*z. Is a(0) a prime number?
False
Let i(s) = s + 1. Let z be i(-1). Let f = 2 + z. Is f a composite number?
False
Let t(l) be the third derivative of -l**5/60 + l**4/24 + 145*l**3/6 + 3*l**2. Is t(0) a prime number?
False
Let z = -1434 + 2021. Is z a prime number?
True
Suppose -2*z + 10 = 3*z. Suppose z*m - 6 = -m. Suppose -2*v - 5*c + m*c + 17 = 0, 0 = -2*v + 2*c + 12. Is v prime?
True
Let x(h) = h + 43. Let s be -1 + 0 + 2 + -1. Is x(s) prime?
True
Let s(n) = -541*n. Is s(-5) a prime number?
False
Let b = 9 - 5. Suppose b*j = 5*q - 197, -2*q = q - 2*j - 117. Is q a prime number?
True
Let m(b) = 10*b - 1. Let a be m(1). Is (a - 8)/(2/68) a prime number?
False
Suppose t = -2*t + 9. Suppose 3 = t*o + 36. Let k = 32 + o. Is k composite?
True
Let i(y) be the second derivative of 2*y**4/3 + y**3/3 - 5*y**2/2 - 4*y. Let t(s) = s**3 + 5*s**2 - 4*s + 7. Let q be t(-6). Is i(q) composite?
True
Let h be ((-10)/((-8)/(-4)))/(-1). Is 0/h - -4*1 composite?
True
Suppose -j = -2*j + 3. Let a(n) = 0*n - 6 - j*n + n + 13. Is a(-7) a composite number?
True
Let a = 196 - 75. Is a prime?
False
Suppose -4*y + 226 = -2*y. Suppose 3*u - 64 = y. Is u a prime number?
True
Suppose -o + 2*l + 2*l = -18, 0 = -5*o - 2*l + 90. Let h(b) = -3*b - 15. Let d be h(-7). Is (-12)/o - (-64)/d a prime number?
False
Let k(a) = -4*a - 6. Suppose 0 = -3*m - 2*m - 15. Let d = -2 + m. Is k(d) prime?
False
Let q be ((-7)/(-2))/((-1)/(-2)). Suppose -4*g - q = -39. Let w = g - -27. Is w a prime number?
False
Suppose 5*v = -10, -3*q - 6*v + v - 22 = 0. Is 6/q*(-2086)/21 composite?
False
Suppose -1323 - 1418 = -t. Is t composite?
False
Let w(v) = -v**2 + 8*v - 9. Let o be w(6). Suppose 0 = -4*i + k + 1, -i - 2*k + 1 = o. Suppose i = -4*p - f + 64 + 10, 3*f = 3*p - 63. Is p composite?
False
Let o be (0 - (-1)/(-2))*-16. Suppose -o*s = -3*s - 10. Suppose 148 = 2*x + s*x. Is x a prime number?
True
Suppose 1005 = 16*s - 11*s. Is s prime?
False
Suppose -9*u + 4*u + 2545 = 0. Is u prime?
True
Is 2*-395*2/(-4) composite?
True
Suppose l - 2*p + 5*p - 210 = 0, -4*l = -3*p - 855. Is l composite?
True
Let m(q) = -q**2 - 4*q + 7. Let z be m(-5). Suppose z*v - 8 = -2*v. Suppose -v*f - 399 = -5*f. Is f composite?
True
Let y = -293 + 1051. Is y a composite number?
True
Let h(y) = -3 + 6*y + 4*y - 13*y. Let a(r) = -r**2 + 3*r - 4. Let x be a(4). Is h(x) a composite number?
True
Let z = 21 + 157. Is z prime?
False
Let a(n) = 2*n**3 + n - 2. Let m(s) = s**2 + 3*s - 1. Let f be m(-4). Is a(f) a prime number?
False
Let m(y