False
Let a(y) = 85*y + 13. Let j be a(-11). Let k = 1463 + j. Is k composite?
False
Suppose -o - 2 = -18. Let g = -13 + o. Suppose 4*x + 0*x - n - 235 = 0, -x - g*n + 49 = 0. Is x prime?
False
Let i = 36 + -33. Suppose 6*r - i*r = 393. Is r a composite number?
False
Suppose 4*x - 3*x = -4*z + 1176, -5*z + 2*x + 1483 = 0. Is z a prime number?
False
Let v be 60/150 + (-688)/(-5). Suppose -c + 5*a = 4 - 15, -c - 3 = 2*a. Let y = c + v. Is y prime?
True
Let m = -11085 + 15868. Is m composite?
False
Let o = 338 - 91. Is o a prime number?
False
Suppose -3*g - 2*u + 783 = 0, 0 = -3*g + 6*g - 5*u - 804. Is g a composite number?
False
Suppose 4 = h - 4. Suppose -h = l - 167. Is l a composite number?
True
Suppose -51 = -b + 20. Let o = 8 - 6. Suppose 2*s - g - b = 0, -114 = -s - o*s - g. Is s a prime number?
True
Let h be 72/(-16) - (-2)/4. Let r be (-6)/24 - 1/h. Is 1*(1 - -92) - r a composite number?
True
Let t(l) = -8 - 23 + 278*l + 20. Is t(6) prime?
True
Let r(s) = 5*s**2 + 1. Let b be r(-1). Suppose b*a = 2*a - 2*d + 436, 3*a = 5*d + 353. Is a a prime number?
False
Let v be (-6)/(0 + 3/(-2)). Let c(u) = 53*u + 1. Let y be c(v). Is (y - 2)/(2/2) prime?
True
Let d(b) = 15*b**2 - 24*b - 29. Let l be d(-20). Suppose -3*c - 6064 - 2520 = -4*j, l = 3*j + c. Is j composite?
True
Let s be 916/9 - 2*(-1)/9. Suppose -s*b = -101*b - 977. Is b prime?
True
Suppose -4*z - 3*x + 21 = 0, -4*z - 6*x = -x - 27. Suppose -2*t - z = -3*t. Is 69 + (t - 3) + -2 prime?
True
Is (-25562)/(-6)*(108/(-4))/(-9) a prime number?
True
Suppose l = -2*w - 3*w - 23, 2*l - 2*w = 2. Let f be l/(-9) - 32/(-12). Suppose f*i - 27 = 3. Is i prime?
False
Let q(v) = v**3 - 20*v**2 + 12*v + 11. Let u(p) = 3*p**2 - p - 10. Let t be u(-3). Is q(t) a composite number?
False
Suppose -5*b + 79711 + 60204 = 0. Is b a composite number?
False
Suppose 0 = -3*x + 76 - 64. Is x + 0/1 + 66663/27 a composite number?
False
Let k = -94 - -266. Suppose -k*s + 170*s + 4604 = 0. Is s a composite number?
True
Suppose -11*i + 4*z + 15772 = -7*i, 11825 = 3*i - 4*z. Is i prime?
True
Let n(u) = -u**2 - 4*u - 1. Let m be n(-2). Suppose 3835 = m*z - 248. Is z a composite number?
False
Suppose -243*y - 134911 = -250*y. Is y prime?
True
Let h(x) = x**3 - 13*x**2 + x + 6. Let u(m) = 3*m - 15. Let y be u(9). Let k be h(y). Let f = k + 337. Is f composite?
False
Let w = 1936 - 795. Is w a prime number?
False
Let y = 12035 + -7952. Is y prime?
False
Let s(z) = -129*z. Let y be (4 - 1)/(12/20). Suppose -y*r = 8 - 3. Is s(r) prime?
False
Let d = 61 - 106. Let h = d + 27. Is 274/(h/(-14) + -1) a composite number?
True
Let j(p) = -p**3 - 10*p**2 + 32*p + 29. Is j(-20) prime?
True
Suppose -2 = -2*o, -147 = -c + 2*o + 284. Let y(x) = -16*x - 58. Let l be y(-18). Let w = c - l. Is w prime?
False
Suppose 0 = -4*w - 8, 5711 = 5*c + 4*w - 7306. Is c prime?
False
Let d = 350956 - 22413. Is d a prime number?
True
Let m be 2/(-8) - (-102)/24. Suppose 2*w - 4*r = 170, -m*w - w + 395 = 5*r. Suppose 28 = -n + w. Is n a prime number?
True
Suppose 0 = 2*d + 5*y - 1, 3*d + y = 8 - 0. Suppose 0 = 4*x - 3*a - 3, -2*x - a - d*a = 26. Is x*(169/(-3))/1 a prime number?
False
Let v(y) = 131*y**2 - 1. Suppose 0 = 4*c + 4*u - 24, -c - 4*u + 16 = -u. Let h be v(c). Suppose 0*k = -2*k + h. Is k prime?
False
Let v(a) = -250*a - 9. Let d be (-4)/(-3) + 48/(-9). Is v(d) a composite number?
False
Suppose 0 = 2*n - 24 + 8. Is 3*1/(-12) + 5610/n composite?
False
Let p = 1 - 1. Let s(d) = d**3 + 5. Let a be s(p). Suppose 2*y = -a*j - 0*y + 85, 2*j = y + 43. Is j a prime number?
True
Let f(r) be the third derivative of 73*r**4/6 + 2*r**3/3 - 4*r**2. Let p be f(4). Is (p + 0)*2/8 a prime number?
True
Suppose -5*n = -0*n + 3*y + 2, 2*n + 4*y = -12. Suppose -n*f + 15 + 487 = 0. Suppose -b = -3*x - 57, x - f = -5*b - x. Is b a composite number?
True
Let s be ((-30)/(-21))/(-5)*-7. Suppose 4*w + 2*d - 18 = 0, -w + s*d + 6 = w. Suppose -t + w*t - 759 = 0. Is t prime?
False
Let m(h) = h**3 + 12*h**2 - 10*h + 1. Is m(-12) prime?
False
Let h(s) = -s**2 + 10. Let u be h(0). Is 1/2 + 7005/u composite?
False
Let l = 11773 + -6864. Suppose 4*j = 3*j + l. Is j a prime number?
True
Let h = -925 - -2094. Is h composite?
True
Let j(h) = 17*h - 1. Let t be j(1). Suppose 2011 - 646 = -7*r. Let y = t - r. Is y composite?
False
Let r(g) = 3*g**2 - 3*g - 1. Let q(w) = w**2. Let x(j) = 5*q(j) + r(j). Is x(-8) a prime number?
False
Let y = 4855 + -870. Suppose -z + 3*w + 797 = 0, 4*z + w = -z + y. Is z composite?
False
Let l be (34*2/(-8))/((-3)/(-6)). Is 7327/l*1*-1 composite?
False
Is 2/8 - -1*(-43026)/(-24) a composite number?
True
Let g = -32725 - -54582. Is g a composite number?
True
Suppose n = 1 + 2. Suppose n*j = -y - 2*y + 12, 0 = 2*j + 4*y - 8. Suppose -j*t = -2*t - 878. Is t a composite number?
False
Suppose f - 36896 + 610 = -3*u, -u + 2*f = -12107. Is u prime?
True
Let w = -793 + 1189. Let d = w + 685. Is d a prime number?
False
Suppose -7*x = -416 - 921. Is x a composite number?
False
Suppose -5*u + 1 = 4*r + 3, 2 = 5*r + 4*u. Suppose -d = -4*c - 529, 0*c = -d - r*c + 547. Is d composite?
False
Suppose s - 6*s + 40 = 0. Let w(z) = 7*z**2 + 7*z - 8. Let v be w(s). Suppose -t - 5*c = 174 - v, 1520 = 5*t - 5*c. Is t a composite number?
False
Let d(x) = 4*x**3 + x**2 - 3. Let s be d(-3). Let o be s - (-2 - (-4 + 2)). Is 0/(-3) + o/(-2) prime?
False
Let z(l) = 1831*l + 4. Let t be 6/2*(-15)/(-45). Is z(t) a prime number?
False
Let y(t) = -t**3 - 7*t**2 - 6*t - 6. Let w be y(-5). Suppose 0 = 5*b + 2*p + 245, -p - 3*p + 215 = -5*b. Let l = w - b. Is l a composite number?
True
Let t = -28 - -28. Suppose t = 6*n - n - 2215. Is n composite?
False
Let f = 13 + -8. Is (-5)/25 + 456/f a composite number?
True
Suppose -2*u + 18 = -3*m, 0*m = 3*u - m - 20. Let o(y) be the first derivative of -y**4/4 + 3*y**3 - 3*y**2 - 7*y + 36. Is o(u) prime?
False
Let o = -7706 + 1713. Let c = 10902 + o. Is c a prime number?
True
Let o(h) = -h**3 + h**2 + 5*h - 2. Let j be o(-4). Let u be 3*j/3*-5. Let d = 435 + u. Is d prime?
False
Let g(s) = -8*s + 158. Let c(r) = -3*r - 24. Let x be c(-8). Is g(x) a composite number?
True
Let r(d) = d**3 - 10*d**2 - 18*d + 13. Is r(12) composite?
True
Let n(d) = 372*d**2 + 33*d + 161. Is n(-6) composite?
True
Let f be (-15)/((-5)/(-2) + -4). Let w be 0*(-3 + f/3). Suppose w = 5*z - 10*z + 385. Is z composite?
True
Let j = 1172 + -205. Is j composite?
False
Suppose -75 - 176 = -4*d - t, -4*d + 271 = -3*t. Suppose c = 247 - d. Suppose -n + 5*w + 890 = 4*n, n - c = -4*w. Is n a prime number?
True
Let u = -9725 + 19648. Is u a prime number?
True
Let s be (-12)/(4/(-1)) - 7. Let l = 12 + s. Let g(x) = 16*x + 3. Is g(l) a prime number?
True
Suppose -l + 4*u + 7 = 0, -4*l - 47 = 4*u - 15. Let a = l + 9. Suppose 0 = -k - 2*w + 647, 1 = -w + a. Is k composite?
False
Is (64/8 - 3354)*1/(-2) composite?
True
Suppose y = -4*z + 905, 3*y + z = 5*y - 1846. Is y a prime number?
False
Let x(m) = -m**3 - m**2 + m + 409. Suppose 4*t - 22 = -2. Let g be (2 + -2)/(-4 + t). Is x(g) a prime number?
True
Suppose -2*k - 16 = -5*w - 0*w, 5*w = 5*k + 25. Let f be 8 - (w + -2 + 0). Let h(q) = -q**3 + 12*q**2 - 6*q + 3. Is h(f) a prime number?
True
Let s = 12 - 12. Let r = 2 - s. Suppose -479 = -4*m + r*h - h, 2*h - 10 = 0. Is m a composite number?
True
Let h(f) = -f**3 + 11*f**2 - 4*f + 17. Let s be 8 - -1 - (1 - 2). Is h(s) a composite number?
True
Let z = 22 - -38. Suppose 0 = -2*s - 4*k + z + 230, -k + 743 = 5*s. Is s a prime number?
True
Suppose -3*t + 3*v = -9, -3*v = t - v + 6. Is (1901*(-1 - t))/(-1) prime?
True
Suppose -88*h = -82*h - 67218. Is h prime?
False
Suppose 0 = 4*l - 5*m - 15097 + 5909, 0 = 4*l + 5*m - 9148. Suppose -l = -32*g + 28*g. Is g composite?
True
Suppose -4*x - x = 41350. Is (-5)/(25/x) - (-4 + 1) composite?
False
Suppose -2*w + 37611 = -4*x - 855, w = -2*x + 19213. Is w composite?
True
Let f(b) = -b**2 - b - 2. Let z be f(4). Suppose 380 = 4*g + 2*j + 1502, 5*g + 1435 = 4*j. Is 11/z*(1 + g) prime?
False
Let d(t) = -t**2 + 3*t + 5. Let o be d(5). Let n be 232/6*(o - -2). Let b = -57 - n. Is b composite?
False
Let y = -4 - -1. Let m(b) = 16*b**2 - 3*b - 4. Let c be m(y). Suppose 5*h - 106 = c. Is h prime?
False
Let h(p) = 1586*p**2 + 15*p + 14. Is h(-1) a 