 Let p(c) = -c**3 - 7*c**2 - c - 3. Let u be p(f). Suppose 0 = u*o - 24 - 28. Is o composite?
False
Let a be 31 - (1 - 0)/1. Let f be (-2)/10 + 126/a. Let r(s) = s**2 - s - 5. Is r(f) composite?
False
Let h(p) = -6*p + 1. Is h(-11) prime?
True
Suppose 95 = 6*b - b. Is b a composite number?
False
Let f be (-1)/3*(-1 - 20). Let n(p) = -p**2 + 11*p - 8. Let l be n(f). Suppose -2*o - 5*d + 22 = 0, o - l = -o - 4*d. Is o a composite number?
True
Suppose -3*o = z - 8, 3*o - z - 13 = -o. Suppose w + 0 = o. Suppose -3*n + n + 5*y = -89, 0 = n - w*y - 46. Is n a composite number?
False
Suppose 0 = -5*h + 8 + 12. Suppose -q + 4*q = 5*m - 140, m - h*q = 45. Suppose -m = -5*x, -4*x - 16 = -4*d + 52. Is d composite?
True
Let y(u) = 3*u**2 + 7*u - 15. Is y(-16) composite?
False
Suppose 4*d - 12 = -3*a, d - 4*d + 9 = -3*a. Let v = -9 + d. Is (0 - -3)/(v/(-44)) a prime number?
False
Suppose -u + 3*c = 4, 0 = -5*u + u + 4*c - 16. Let l be 1/u + (-65)/(-20). Is 105/l + 4/2 a prime number?
True
Let w = -316 - -448. Let r = w + -79. Is r a composite number?
False
Let b = 7809 - 4858. Is b a composite number?
True
Let u(v) = v**2 + 6*v + 7. Let p be u(-5). Let y = p + -2. Suppose 2*n - 14 - 56 = y. Is n a prime number?
False
Let n(o) = -65*o - 52. Is n(-9) prime?
False
Let z be 4/6 + 508/12. Let b = z + -28. Is b a prime number?
False
Let y = 1222 + -681. Is y prime?
True
Let t = 399 - 148. Is t composite?
False
Suppose -4*a + 4*s = -7*a, -s = 4*a. Suppose a = -h - 0*h. Suppose -5*i + 40 + 15 = h. Is i a prime number?
True
Let d(h) = 7*h**2 - 2. Let t(k) = 3*k**2 - k - 1. Let w be t(-1). Let m be d(w). Let c = 60 + m. Is c a composite number?
True
Let y = 6974 - 4095. Is y composite?
False
Suppose -5*c = -25, 2*n - 4*c = -3*n + 985. Is n a composite number?
True
Suppose -2*c = -11 + 7. Suppose -4*v - 6 = -22, -x + 401 = c*v. Is x prime?
False
Let x be 4 - (-3 + 5) - 0. Suppose 0 = x*k - 5*k + 159. Is k composite?
False
Let i(p) be the second derivative of p**4/12 - 3*p**2 + p. Let a = 10 - 5. Is i(a) prime?
True
Suppose m + 2*m - 19 = -n, 2*n = 4*m - 12. Suppose 0 = -4*t + n*j + 33 + 1503, 3*t = 5*j + 1142. Is t prime?
True
Let h(g) = g**3 + 6*g**2 + 1. Let k(f) = f**2 + f - 1. Let i(s) = -h(s) + 3*k(s). Suppose 46 = -7*c + 11. Is i(c) composite?
False
Let w be -4*((-3)/2 - -1). Let a be 0 - -3 - (w - 2). Suppose -u - 62 = -a*u. Is u composite?
False
Suppose q - 3091 = -2*u + 5*u, -u = -3*q + 9305. Is q composite?
True
Let b = 17 - 8. Let d(g) = 14*g + 13. Is d(b) composite?
False
Let p(d) = 7*d**2 + 7*d - 1. Let a(t) = 7*t**2 + 8*t - 2. Let n(w) = -3*a(w) + 4*p(w). Is n(-3) a prime number?
True
Let c(u) = 29*u**2 - 2*u + 1. Is c(2) composite?
False
Is -2*(-3 - (-314)/(-4)) a prime number?
True
Let z(j) = -2*j**2 - 10*j - 2. Let s be z(-5). Let g = 51 - s. Is g prime?
True
Let l = 110 - 30. Suppose 4*y + o = -o + 130, l = 2*y - 2*o. Is y prime?
False
Let z = 12 - 7. Suppose 0*f - z*f = -70. Let j = 45 + f. Is j a composite number?
False
Let m = 7 + -1. Suppose -2*n + m*n - 328 = 3*u, 4*u + 411 = 5*n. Is n a prime number?
True
Let v = 526 + -335. Is v a composite number?
False
Let x = 1 - -49. Suppose -38 = -f - q, -174 + x = -3*f - q. Is f a prime number?
True
Let p = 11 - -32. Is p a composite number?
False
Suppose 865 = 5*h + 80. Is h prime?
True
Suppose -r = -3*u + 515, u = -r + 6*u - 509. Is (-2)/((-8)/r)*-3 prime?
False
Let p = -91 - -153. Let d = 28 + -11. Let r = p + d. Is r a prime number?
True
Let u(t) = 47*t**3 + t. Let l be u(1). Suppose -51 = -3*y + l. Is y composite?
True
Let y(t) be the second derivative of -t**5/20 + t**4/6 + t**3/2 + 2*t**2 + 2*t. Let u be y(3). Suppose 229 = 3*d - o, 3*d + 0*d = u*o + 223. Is d composite?
True
Is ((-54)/4 + -5)*(-21 + -1) a prime number?
False
Suppose -2*m + 13 = -0*m + a, 0 = 2*a - 10. Suppose m*h - 18 - 10 = 0. Is h prime?
True
Let z = 15431 + -8070. Is z a composite number?
True
Let l(t) = t**3 - 6*t**2 + 3*t - 2. Let n be l(6). Is (-2)/(-8) - (-1228)/n a composite number?
True
Suppose 4*z - 14458 = -l - l, -3*l + 3*z = -21714. Is l a composite number?
True
Let w(s) be the second derivative of -s**4/8 + 7*s**3/6 + s**2 - 2*s. Let x(l) be the first derivative of w(l). Is x(-8) a composite number?
False
Suppose -s - 2*s = 3. Let n be -1 + 1 + s + -1. Is n/4 + (-142)/(-4) prime?
False
Suppose 1124 + 4678 = 3*b. Is b prime?
False
Let n(t) = -t**3 + 2*t**2 + 2*t - 3. Let w be n(2). Let g be (42/9)/(w/24). Let o = g + -57. Is o a prime number?
False
Let h(w) = -1063*w - 8. Is h(-1) prime?
False
Let s = -7 + 9. Let y = 85 - 35. Suppose y + 56 = s*b. Is b composite?
False
Let u = -4 + 8. Suppose -u*r + 13 = -3. Is r prime?
False
Suppose -10 = -5*n, -924 - 142 = 4*p - n. Let z = 54 - p. Suppose 4*r + 52 = z. Is r a prime number?
True
Is 86/301 + 38561/(-7)*-1 a composite number?
True
Let t(l) = -2*l**2 + 20*l - 8. Is t(9) a prime number?
False
Suppose 0 = 2*b + 5*g - 21, 0 = 5*b - 3*g - g + 30. Is (-7 - -895) + (b - -1) a composite number?
False
Suppose -4*g = 16, -4*n = -3*g + 6*g - 520. Is n a prime number?
False
Let j(x) = -5*x + 8. Let n(p) = 4*p - 13. Let t(w) = 1. Let k(r) = n(r) + 6*t(r). Let g(a) = -3*j(a) - 4*k(a). Is g(-6) composite?
True
Let o be ((-6)/1)/2 - -5. Is 2/(-4) + 13/o a composite number?
True
Let h(n) = -n**3 + 13*n**2 - 8*n + 11. Is h(9) a composite number?
False
Let o = -8 - -8. Let w be (-4)/14 + (-288)/(-28). Suppose -f = 3*s - w, s + f - 4 = -o*f. Is s prime?
True
Let i be (-1)/(-5) + 38/10. Suppose i*q + 4*f = 3*q + 27, 4*q + 5*f = 75. Is q prime?
False
Let y(q) = -q + 1. Let o be y(-3). Suppose d + 213 = o*d. Is d a composite number?
False
Suppose -2*h = -6*h + 8. Let q(g) = g**2 - 1. Is q(h) a composite number?
False
Suppose 3*d + 2*d - 25 = o, -4*o + 20 = 4*d. Suppose -2*t + 652 = -o*n - n, -t - 2*n + 331 = 0. Is t composite?
True
Suppose -5*v = 4*i - 4, 0 = -v - 3*v. Is 644/7 + i*3 composite?
True
Suppose 3*s - 102 - 372 = 0. Is s a composite number?
True
Suppose -q + 4*u = -401, -3*q + u + 1077 = -159. Is q a composite number?
True
Let w = -166 + 371. Is w prime?
False
Let x = -22 + 27. Suppose -x*g = -6*g + 409. Is g composite?
False
Let g = 11 - -32. Is g prime?
True
Let z(r) = -r**2. Suppose 0*h = 3*h. Let a be z(h). Is 23 - 0 - a/(-3) composite?
False
Let z(t) = -t - 5. Let f be z(-2). Let o = -1 - -3. Is (f + o)/(3/(-159)) a prime number?
True
Let i(a) = 23*a + 7. Let b be ((-12)/14)/((-5)/35). Is i(b) composite?
True
Let m(p) = 20*p + 7. Let k = 28 - 25. Is m(k) a composite number?
False
Suppose 0*i + 4516 = 2*i. Is i a prime number?
False
Let w = -220 - -378. Is w prime?
False
Let o(d) = -14*d + 2. Let n be o(3). Is -28*(-5)/(n/(-6)) a prime number?
False
Let t be 1/(-4) + 5148/48. Suppose -t = 4*c - 423. Is c a prime number?
True
Suppose -3*g + 4 = -2. Suppose -g*y = -5*y + 114. Is y composite?
True
Let a be (9/(-15))/((-1)/15). Suppose -5 - a = -c. Suppose 0*q - 2*q = -c. Is q prime?
True
Let u be (-1 + 294)/((-2)/10). Is (u/15)/(2/(-6)) a composite number?
False
Suppose -4*c + 132 = 4*x, -4*c = -2*x + 71 - 23. Suppose 5*h + 10 = x. Suppose 5*k - 3*v = 25, 5*k - 19 + h = v. Is k composite?
False
Let h(m) be the second derivative of 8*m**3/3 - 3*m**2 - 5*m. Is h(5) composite?
True
Suppose -462 - 678 = -5*r. Let g = 5 + r. Is g a prime number?
True
Let v(c) = 78*c**2 - 4*c. Let a be v(-3). Let x = -421 + a. Is x a composite number?
False
Let t = -11 + 17. Let b(y) = 2*y + 2. Let q be b(t). Suppose -3*f - 6 - 5 = -2*i, 0 = 3*i - 2*f - q. Is i prime?
False
Let d be 2/(-13) + 162/39. Suppose 5*f - 148 = -5*b + 37, -d*f + 5*b = -148. Is f a prime number?
True
Is 394 + (4 + -7 - -6) a composite number?
False
Suppose 0 = 4*x + 2*h - 28, 4*x + 1 = -4*h + 29. Let d = 1 + x. Is (-6)/d + (-1578)/(-24) a prime number?
False
Let i be (30/4 + 2)*2. Suppose n - 4*r = -6 + i, -4*n + 72 = 4*r. Let m = n + -11. Is m prime?
False
Suppose 4*k + 0*w + 4*w - 1504 = 0, 0 = -5*w + 15. Is k a composite number?
False
Suppose -m + 6*m + 12 = -4*p, 4*m + 6 = -2*p. Suppose m = d + 3*d. Suppose 4*w + 12 - 56 = d. Is w composite?
False
Suppose -5*h = -656 + 21. Is h a prime number?
True
Suppose -z - 3*z - 28 = 0. Let d be 9/5 + z/(-35). Suppose v - 357 = -d*v. Is v prime?
False
Let h(m) = 7*m**2 - 2*m + 