 composite?
True
Let g(r) = -2*r**3 - 16*r**2 - 6*r + 13. Let f(p) = -3*p**3 - 17*p**2 - 7*p + 12. Let l(k) = 3*f(k) - 4*g(k). Is l(11) a composite number?
True
Let g = 3779 - 180. Is g a prime number?
False
Suppose -4*u = -5*c + 20, u + 2*c + 5 = -c. Let k be (-2)/u + 3865/25. Suppose -161 = -2*b - 0*b + a, -2*b + k = a. Is b prime?
True
Suppose 2*s = 5*s - 78. Let w = -70 - -72. Suppose -12 - s = -w*a. Is a prime?
True
Let q(y) = -8*y. Let d be q(-1). Suppose -2*h = -4*n + d, -6*n + 5*h = -n. Suppose n*b + 296 = 1972. Is b prime?
True
Suppose 0 = -3*y + 35 + 25. Suppose s = -s - y. Is (-378)/s + (-2)/(-10) a prime number?
False
Let h(c) be the third derivative of c**6/120 - c**5/10 - 25*c**4/24 + 17*c**3/6 + c**2 - 2*c. Is h(18) composite?
True
Suppose -5*x - 5 = 0, 5*w + x = 5*x + 34. Suppose -4*b = -42 + w. Is b prime?
False
Suppose g - r = 562, 2*g + 3*r - 623 - 476 = 0. Is g a prime number?
True
Suppose 4*u - 12 = 4. Suppose -3*k = 3*h + 2*h - 640, 0 = -u*k - 5*h + 860. Let w = -86 + k. Is w prime?
False
Let o(b) be the second derivative of -3*b**5/20 - b**4/2 - 7*b**3/6 - 9*b**2/2 - b. Let m be (-1736)/310 + 6/10. Is o(m) a prime number?
True
Suppose -12 = 3*b, -2*l = -2*b + 6*b - 3160. Suppose 5*s - 2392 = -5*m + 188, -3*s + l = -5*m. Is s prime?
True
Let u = 8486 - -767. Is u composite?
True
Let s(p) = p - 18. Let i be s(15). Let u be (-6)/(-12) + i/(-2). Suppose u*x + 15533 = 9*x. Is x prime?
False
Let n = 8 + -6. Suppose -4*l - 2*v + 47 + 15 = 0, n*l = 4*v + 16. Suppose -l = -3*m + m. Is m a composite number?
False
Let q = 12543 - -17146. Is q composite?
True
Let f(k) = 21*k**2 - k + 1. Suppose 2*o - o + 2 = -3*b, -4*b = -8. Let d = o - -11. Is f(d) composite?
True
Suppose t - 33 = -t - 5*f, -23 = -2*t - 3*f. Suppose t*o + 0*o - 8 = 0. Let c(q) = 111*q**2 + 3*q - 1. Is c(o) a composite number?
False
Suppose 5*r + 9 + 6 = 0, -i - 5*r = -6982. Is i a prime number?
True
Let g(n) = 38*n**2 + 5*n + 1. Is g(6) prime?
True
Is 8/(-44)*(-1379928)/48 a prime number?
True
Let o(s) = -s**3 + s**2 + 10*s + 10. Let q be o(-7). Let k(c) = c**2 + 29*c + 18. Let y be k(-16). Let d = y + q. Is d prime?
False
Let s = 566 + -344. Let t = s + -20. Is t a composite number?
True
Is (-12)/54 + 45094/18 + -2 a prime number?
True
Let v(s) = -75*s - 93. Let o(u) = -38*u - 47. Let p(m) = 9*o(m) - 4*v(m). Is p(-12) prime?
False
Suppose -13*m - 15 = -18*m. Suppose 1 = 2*n - 3, 5*z + m*n - 2601 = 0. Is z a prime number?
False
Suppose -919 = -5*l + 4*l. Suppose 0 = -n - 4*m + l, -3*m + 4*m - 4500 = -5*n. Is n a prime number?
False
Suppose 4*d + v = 21080, d = -4*d + 3*v + 26333. Is d a prime number?
False
Let m = 7 + -5. Let o(f) = -5*f**3 - 2*f**2 - 3*f - 2. Let y be o(-1). Is -842*y/(-8) - m a prime number?
True
Let g(t) = 112*t**2 + 11*t + 37. Is g(-12) composite?
False
Let r = 8 + 8. Suppose g + 10 = 4*f, -3*f = -0*g - 5*g - r. Is 5/10*-293*g a composite number?
False
Is 24 + -20 + (-26460)/(-4) a composite number?
False
Let r = 9 - 2. Suppose -2 = -p, -2*b = -r*b - 4*p + 9033. Suppose -4*v = -5*o + b, -v = -2 - 3. Is o prime?
False
Let l(t) = 14*t + 11. Suppose 0 = -i - 2 + 5. Is l(i) prime?
True
Suppose -9 = 4*o - 29. Suppose o*c - 4 = 11. Suppose 771 = 6*p - c*p. Is p composite?
False
Let o = -1119 - -1954. Is o a composite number?
True
Let x(s) = 1579*s**2 + 30*s - 156. Is x(5) composite?
True
Let x be (-4 - 102) + (-4)/(-1). Is (-12)/x - 138051/(-51) composite?
False
Let u(c) = 0*c**3 - c**3 - c**2 + 5*c**2 + 5 - 2. Let t be u(4). Suppose -3*h - q + 325 = 0, 3*q - 321 = -t*h - 0*h. Is h prime?
True
Let w(p) = p**3 - 3*p**2 + 2*p + 1. Let k be w(2). Let n be (0 + k/4)*12. Is n/2 + (-169)/(-2) prime?
False
Let q(s) = s**3 + 5*s**2 + 2*s + 2. Let c be q(-2). Suppose 0*h = -5*h + c. Suppose 5*b - 17 = j - h*j, 0 = -3*b + 2*j + 5. Is b prime?
True
Is 1236 + (-3 - 2)*-1 a composite number?
True
Suppose 6*h + 1 = -5. Let f be (1*(-5 + 0))/h. Suppose 4*u - 5*o + 230 = 582, 0 = 5*u + f*o - 395. Is u prime?
True
Let a = 302 + -68. Suppose -3 = -4*j + 1, a = 5*b - j. Is b prime?
True
Let r be -4 - -3 - (-3 - 0). Let z(x) = -x + 4*x + x**3 + 0*x**2 - r*x**2. Is z(2) composite?
True
Let g = 675 + -362. Let l(z) = -z**3 - 13*z**2 - 11*z + 4. Let o be l(-10). Let b = g + o. Is b a prime number?
True
Let a = -102 - -2740. Is a composite?
True
Suppose -22181 = 32*t - 88773. Is t a composite number?
False
Suppose k = -21444 + 7245. Is (-18)/(-99) - k/11 prime?
True
Suppose 133*k - 126*k - 62293 = 0. Is k composite?
True
Let y(w) be the first derivative of 3*w**3 + w + 12. Is y(-1) prime?
False
Let f = 30961 - 12780. Is f composite?
False
Let d(w) = -66*w + 8. Suppose -6*o + 2*o - 28 = 0. Let b(r) = -22*r + 3. Let l(x) = o*b(x) + 2*d(x). Is l(4) prime?
True
Suppose -y = 4*y + 3*l - 9946, 0 = 4*y - l - 7967. Is y prime?
False
Suppose 0 = 85*h - 83*h + 8, u - 5*h = 18139. Is u a prime number?
True
Let n be (-4)/8 - (-6)/4. Let g be 1101/((-12)/(-4)) - n. Suppose 3*w - 237 = g. Is w prime?
False
Suppose -2*x - 15 = -u, u + 3*u - 3*x - 35 = 0. Suppose -5*a + 8 = -h, u*h - 2*h = -5*a + 16. Suppose h*w - 126 = 136. Is w prime?
True
Let k = -4655 + 19993. Is k a prime number?
False
Suppose 3*v = 5*v - 158. Suppose 3*r - 2*x + x - v = 0, 0 = 2*x + 2. Is r composite?
True
Let x(s) = -13*s - 56. Let z be x(-5). Suppose z*p - 21768 = p. Is p prime?
False
Let k(l) be the first derivative of 0*l + 478/3*l**3 - 1/2*l**2 - 1. Is k(-1) prime?
True
Let d(u) = -194*u + 1. Let k(s) = s + 1. Let j(m) = -d(m) - 6*k(m). Is j(5) a composite number?
True
Let d = -712 + 1371. Suppose -4*g + d = -g - 5*a, 215 = g - 4*a. Is g composite?
False
Let p be ((-60)/8)/(1/(-2)). Suppose 5*g = -k + 9 + p, g = 3*k - 8. Suppose -f + 0*f = k*z - 79, -3*z = f - 81. Is f a composite number?
True
Suppose 8515 = -l + 13662. Is l a prime number?
True
Let y(i) = 497*i**3 + 7*i**2 - 11*i + 4. Is y(3) composite?
True
Suppose 2*h = -2527 + 9941. Is h a prime number?
False
Let b = 64 + -584. Is 27*b/(-12) - -1 a composite number?
False
Let m(s) = -s**3 - 3*s**2 + 7717. Is m(0) a composite number?
False
Let a(p) = p - 3. Let d be a(8). Suppose -2*t = -4*n + 53 + 2665, d*t - 2739 = -4*n. Is n composite?
True
Suppose 16625 + 59 = 2*g. Is (2/(8/g))/((-3)/(-6)) a prime number?
False
Let m(i) = -i**2 + 2*i - 4. Let f be m(-10). Let s(q) = -q**2 - 24*q - 21. Let a be s(-23). Is -2 + ((-6)/a - f) prime?
False
Let j be (-12)/(-78) - 32704/(-26). Let z = j - 557. Is z prime?
True
Let s = -43 - -29. Let h = -109 + 108. Is s/(h + 3)*-2 a composite number?
True
Let j(i) = -i**3 + 3*i**2 + 2*i - 1. Let y be j(3). Suppose -3*l - 3*x = -3408, 3*x = -7*l + y*l + 2275. Is l prime?
False
Let r be 160/(-8)*12/10. Let k be r/((-3)/1) - 3. Suppose -k*t = -0*t - 1175. Is t a prime number?
False
Suppose -61*k = -637320 + 151333. Is k a prime number?
False
Let s(k) = 47*k**2 - 6*k. Let d(l) = -2*l - 7. Let a be d(-9). Let r be s(a). Let x = r - 3862. Is x composite?
False
Is 560/980 + (-1217138)/(-14) composite?
False
Let b(a) = -1. Let j(g) = -44*g - 7. Let q(c) = -6*b(c) + 2*j(c). Let w be q(-6). Suppose 0 = 5*y - m - w, -4*y - 2*m = -3*m - 417. Is y a composite number?
False
Let c be 5 + -4 + 3 + 0. Suppose c*w + 8506 = -5*p, 0*p - 4*p = -4*w - 8488. Is (-2)/(-8) + w/(-16) composite?
True
Suppose -2*u + 4 = m - 2, 4*m = -2*u + 24. Let a be (4/(-5))/(m/(-2805)). Suppose 0 = l + 3*n - 179, -2*l - n = n - a. Is l a prime number?
True
Suppose -137*i + 168*i = 266755. Is i a composite number?
True
Let v = 79 + -73. Let p(t) = -t**2 + 27*t + 5. Is p(v) composite?
False
Suppose 3*g + 4*m = 0, 0 = -3*g + m - 0*m. Suppose g = -3*c + 3*p - p + 6, c - 4*p - 12 = 0. Suppose c = 2*h - 29 - 33. Is h a composite number?
False
Is -1*(-1*18711 - (2 - 0)) a composite number?
False
Suppose 5*g = v + 15, 4*v = 2*g - g + 16. Is 0 + (3*588 - v) a prime number?
True
Let j(z) = 8*z**2 - 20*z - 61. Is j(-19) prime?
False
Let c(a) be the second derivative of -10*a**3/3 - 21*a**2/2 + 7*a. Is c(-4) composite?
False
Let j = 819 + 1838. Is j a composite number?
False
Suppose 4*z + 2*h = 6, 6*z - 5*h - 45 = z. Suppose 0 = 7*p - z*p + 15. Is ((-1315)/2)/p*2 a composite number?
False
Let p = 12751 - 3122. Is p composite?
False
Let i(j) = -3*j**3 + 2*j**2 - 3*j + 5. Is i(