 number?
True
Suppose 3*h - 3*q = -h + 28491, -5*h - q = -35609. Suppose 4*j - h = 1126. Is j composite?
True
Let v(s) = 239*s**2 - 21*s - 61. Is v(-3) a composite number?
False
Suppose -w + 5*g - 10544 = 0, w - 2*g = -5*g - 10560. Is (0 - 1)/(6/w) a composite number?
False
Let z = -43 + 55. Is 3/z*-2*(-6932)/2 composite?
False
Suppose -7*o + 2*o + 10 = 0. Suppose 0 = o*t - 0*t + 4*p + 22, 3*t + 29 = -2*p. Is 166804/99 + (-1)/t a composite number?
True
Is 8/(40/(-3)) - (-1247488)/55 prime?
False
Let n(l) = 1589*l + 2. Let i(b) = -530*b - 1. Let y(w) = 11*i(w) + 4*n(w). Is y(4) composite?
True
Let l = -217 - -620. Is l a composite number?
True
Let v(l) be the first derivative of l**4/4 + 14*l**3/3 + l**2/2 - 7*l + 20. Is v(-9) composite?
False
Let a(b) = b**3 - 3*b**2 + 15*b - 27. Let k be a(14). Let m = k - 1581. Is m composite?
True
Let z be (-4 - 0)*(-1737)/12. Let h = -181 + -91. Let o = h + z. Is o a composite number?
False
Let c be 3*(-1)/1 + (202 - -5). Is 0 + c/(-8)*-10 - 2 a prime number?
False
Suppose -2*m = 1 + 3. Let z be (-2)/(-2)*m + 15. Let r(d) = 4*d - 15. Is r(z) a prime number?
True
Suppose 4*y = -3*b + 17, -2*y - b + 5 = 4*b. Let g be (56/(-504) - 9290/(-18)) + -4. Suppose -w - y = -3, -k + g = -5*w. Is k a composite number?
True
Suppose 5*s = -4*r - 91, 0 = 5*s - r - r + 67. Is -254*(4 + -2)*s/12 a prime number?
False
Let l(s) = -s**2 + 45*s + 305. Is l(32) composite?
True
Suppose 0 = -16*n - 24*n + 111880. Is n prime?
True
Suppose -2*s = 4*s. Suppose -200 = -2*h - 3*b, 3*h - h + 5*b - 192 = s. Is h a composite number?
True
Let z(u) = 3*u**3 - 36*u**2 + 23*u - 31. Is z(16) prime?
False
Let p(r) = 4*r - 7. Let b be p(3). Suppose 0 = b*i - 3*j - 2245, 3*j + j - 898 = -2*i. Is i a composite number?
False
Let m(y) = y**3 - 3*y**2 - 2*y. Let i be m(-1). Let w(r) = -257*r**3 - r**2 - 4*r - 7. Is w(i) a prime number?
True
Suppose 0 = -4*r + 5*b - 1 + 3, -3*r + 1 = -4*b. Suppose z + 3*z = -2*h + 20, -r*h - 2*z = -14. Is (12/8 - h)*-158 prime?
True
Suppose -139*n = -143*n + 46628. Is n a composite number?
False
Let m(w) = 156*w**2 - 11*w + 89. Is m(6) composite?
False
Let s be 1*(2 + -3) - (-4 - -1). Suppose -s*q - 3*q = -1765. Is q a prime number?
True
Let c be -3 - (-2 + 0) - -3. Suppose c*u = -2*u + 3868. Suppose 3*n = u + 686. Is n prime?
False
Suppose 350 - 1229 = -3*h. Is h a prime number?
True
Let g(p) = 3*p**2 + p. Let l be g(-1). Let k(s) = 113*s + 117*s + 65*s**2 - 233*s. Is k(l) prime?
False
Suppose 79343 = 5*o + 3*b, -2127 - 61345 = -4*o - 3*b. Is o a composite number?
True
Let o(z) = -z**3 - 7*z**2 - 7*z - 12. Suppose 2 = 3*h + 23. Is o(h) a prime number?
True
Let w(h) = h**3 - 10*h**2 - 10*h - 16. Let q be w(13). Let c = q - 127. Let p = -115 + c. Is p a prime number?
False
Suppose -5*y + 33 = -7. Let l be 2/y - 510/(-40). Suppose l + 22 = d. Is d a composite number?
True
Suppose 0 = -q + 5*p + 124, -2*q + 344 - 108 = 2*p. Is q prime?
False
Let t = 67 + -65. Suppose 0 = t*d - 6*d + 2692. Is d prime?
True
Let z = 8 - 3. Suppose -z*v = y + y - 20, -v + 4 = 2*y. Suppose -x = 3*r - 56, -188 - 52 = -v*x + 4*r. Is x prime?
True
Let n(p) = -10460*p - 9. Is n(-1) a composite number?
True
Suppose 4*k - 15 = 2901. Suppose f - 741 = b, 3*f - 5*b = 4*f - k. Is f composite?
False
Let n = 168551 + -114216. Is n composite?
True
Suppose -n - 13348 = -4*t, -n = -t + n + 3337. Is t composite?
True
Suppose 32287 = 10*l + 10497. Is l prime?
True
Let c be (282 - 3)*12 - 2. Suppose 0*f - 6677 = -2*r + f, r - c = -2*f. Let y = 5313 - r. Is y a composite number?
False
Let r be 3*((-20)/6 + 3). Is r*309/(-15) + (-12)/(-30) a composite number?
True
Let t be (-12 + 12)*(-2)/(-4). Let n(x) = -2*x. Let d be n(-2). Suppose d*w - 379 - 201 = t. Is w prime?
False
Let h(d) = -d**3 - 13*d**2 - 27*d + 6. Is h(-17) a prime number?
True
Suppose 4*h + 53 + 7 = 0. Let t(w) = 7*w + 15. Let b be t(-3). Is (-5679)/h - b/15 composite?
False
Let j(r) = 3*r - 4*r + 583*r**3 + 583*r**3. Is j(1) a prime number?
False
Suppose -32*x = -16*x - 312656. Is x a prime number?
True
Let k = 3561 - -4154. Suppose -5*v - t - k = -0*v, 0 = -2*v + 3*t - 3069. Is 1/2 - v/12 composite?
True
Let p(o) = -o**3 - 15*o**2 + 4*o + 17. Let n be p(-9). Let r = n - -728. Is r a composite number?
False
Let x = 4925 - 3084. Is x composite?
True
Suppose -10084 = -9*d + 5*d. Is d prime?
True
Let x be 8/(-24) - (0 - (-7)/(-3)). Is x/4*(145 - 11) a composite number?
False
Let r = -38 + 38. Suppose -1 = 3*f - t, -5 = -4*f - r*f - 5*t. Suppose f = -2*l - 3*l + 1255. Is l composite?
False
Let m(r) = -38*r - 16. Let j be m(6). Let s = 561 + j. Is s a prime number?
True
Suppose -o + 3 + 0 = 0. Let c(s) = 2*s - s - o + 2 + 4. Is c(7) composite?
True
Suppose 22 = 5*k - 3*j, 4*k = -3*j + 21 + 2. Suppose 2*g + 9 = f, -2*f + 5 = k*g - 58. Is f composite?
False
Let q(t) = -38*t + 5. Let v(c) = -4 - 4 + 38*c + 3. Let h(p) = 5*q(p) + 4*v(p). Is h(-4) a prime number?
True
Suppose 8 = -k + 3*k. Let r(o) = 3*o**2 - k - 7*o + 6*o + 3. Is r(-1) a composite number?
False
Let j(u) = -u**3 - u**2 + u + 144. Let a be j(0). Suppose 3447 = -43*s + 9854. Let k = a + s. Is k prime?
True
Let b = -7 + 9. Suppose -5*q - b*h + 8 + 8 = 0, -3*q = 5*h - 21. Suppose -n + 2*n + q*p - 267 = 0, -5*p + 797 = 3*n. Is n a composite number?
True
Let r(y) = 5*y**2 + 34*y + 25. Let t(l) = l**2 + 7*l + 5. Let c(a) = -2*r(a) + 11*t(a). Let n be c(-9). Is (-673)/((-3)/(n - 2)) composite?
False
Let w be (-47 - 1 - 1) + -3. Let a = w - -27. Let j = a + 48. Is j a composite number?
False
Is ((-1)/(-2)*-22)/(32/(-38816)) a composite number?
True
Suppose -42*u - 8*u + 475450 = 0. Is u prime?
False
Suppose 8*d = 9*d. Let u(f) = f**3 - 6*f - 3 - 4 - 4*f**2 - 7 + d. Is u(7) prime?
False
Is ((-45)/9 - -3115) + -1 prime?
True
Is ((-3)/6)/(7308075/913510 - 8) prime?
False
Let o be 104/(-8) + 0 + 0. Let v = o - -23. Is (-12)/(-20) - (-1904)/v a prime number?
True
Suppose -4*k - 5*b = -21, 3*k + 2*b = -0*b + 21. Suppose 1948 = 13*c - k*c. Is c a prime number?
True
Suppose -3*h = -2*r + 46384, -40*h + 42*h + 4 = 0. Is r composite?
False
Let j(v) = 4*v**3 - 25*v**2 + 15*v - 1. Is j(25) a composite number?
True
Let z(x) = 1 + 2*x - 2*x + 0*x + 4*x**2. Let y be z(-1). Suppose 27 + 25 = 2*c - y*a, 2*c = 3*a + 56. Is c prime?
True
Let z(x) = -x**3 + 6*x**2. Let h be z(3). Let m be (h/(-12))/3*-4. Is 145/((3 - m) + 1) prime?
False
Let u = -105 - -405. Let d = -196 + 363. Let n = u - d. Is n a prime number?
False
Let t(g) = -80*g + 191. Is t(-7) composite?
False
Suppose -3*z - 50 = 2*z. Let l = z + 10. Suppose l*b = -b + 67. Is b a composite number?
False
Suppose j = r - 30866, -2*r - 36586 + 98320 = -4*j. Is r prime?
False
Let y(n) = -n**3 - 21*n**2 - 31*n + 162. Is y(-29) a composite number?
False
Let p be 28/(-2)*(-402)/12 + 0. Suppose 4*y = j - y - 150, -4*y + p = 3*j. Is j composite?
True
Let m be ((-3)/(-2))/((-6)/24). Is (m - -7)/(3/573) prime?
True
Suppose 0 = v + 2. Let i be -3*v/(-3) + 448. Suppose -3*p = -0*a + a - i, 5*p - a = 746. Is p a prime number?
True
Let j be 1585/25 + 4/(-10). Let z = j - 8. Is z composite?
True
Let j be 22/4*(-12)/(-3). Let u = -15 + j. Suppose u*c = 2*c + 715. Is c composite?
True
Let i(y) = -y**2 + y - 1. Let j(h) = 4*h**2 + 9*h - 17. Let b(w) = -3*i(w) + j(w). Is b(5) a composite number?
False
Let p(k) be the second derivative of k**6/80 + k**5/120 + k**4/3 - 3*k. Let o(d) be the third derivative of p(d). Is o(6) a composite number?
True
Let d(w) be the first derivative of 0*w**2 - 2 + w + 34/3*w**3. Is d(3) a prime number?
True
Let b = 3239 - 4768. Let c = 3376 + b. Is c a prime number?
True
Let f = -2511 - -52124. Is f prime?
True
Suppose -2*n = r - 3*n - 1090, -2*r - n + 2183 = 0. Let g = r - 754. Is g composite?
False
Suppose -1287 = 15*x - 7392. Let h = 11 - 7. Suppose h*b - x = 3*b. Is b prime?
False
Let i(m) = -143*m + 54. Let o be i(-13). Suppose 7866 = 11*a - o. Is a a prime number?
False
Let t be -6 + 2 - (0 - 4). Let b(j) = -2*j + 251. Is b(t) a prime number?
True
Suppose 2*m = -2*q + 10, -5*q + 2*m = -3*q + 2. Suppose -5*k + 2*k = -z - 158, 110 = q*k + 4*z. Suppose 4*i = 5*i - k. Is i a composite number?
False
Suppose -5*d - 4*m = -0*m - 81369, -5*d + 81373 = 3*m. Is d a prime number?
False
Let o(k) = k*