 number?
True
Let l = -2347 + 4942. Suppose 0 = 3*z - 0*z - l. Is z a composite number?
True
Suppose -2*n = -3*n + 1, 4*b - 2*n - 18 = 0. Suppose 0 = -b*y - 2*s + 3*s - 349, -3*y + 3*s - 207 = 0. Let d = y + 233. Is d a composite number?
False
Let n(h) = -7*h**3 + 21*h**2 - 25*h + 26. Let j(c) = -3*c**3 + 10*c**2 - 12*c + 13. Let z(o) = -5*j(o) + 2*n(o). Let d be z(7). Is ((-12)/d)/((-2)/596) prime?
False
Let k(f) = -11*f + 17. Let w be k(-14). Suppose n = 1864 - w. Is n a composite number?
False
Suppose -15997 = 27*j - 74128. Is j a prime number?
True
Let f(x) = 15*x + 6089. Is f(0) composite?
False
Is (-298)/(1140/(-220) + -1 + 6) a prime number?
False
Suppose -6*z + z + 1345 = 0. Suppose -5*k + 95 + z = -4*x, 4 = x. Suppose 3*g - g - c = k, -2*g + 2*c = -76. Is g prime?
False
Let n = 516 - 809. Let s = n - -432. Is s a composite number?
False
Suppose -2*g - 2*g = 3*c - 17, 5 = g + c. Let u(l) = 13*l**3 - l**3 + 12*l**3 - 1. Is u(g) composite?
False
Let i(z) = -1000*z - 999. Is i(-20) a composite number?
False
Suppose 3*n - 4576 = -2*n + 2*u, -4*n + 4*u = -3656. Suppose 2*r = 6*r - n. Suppose -2*k + 4*k - d - r = 0, 0 = 3*d - 3. Is k a composite number?
True
Let x(z) = -62*z + 33. Let m be x(-18). Is -1*((-1 - m) + -1) composite?
False
Let m = -29 - -13. Let t = m + 35. Let y = t + 0. Is y composite?
False
Let p(w) = 6*w + 8*w**2 + w + 3 + w. Let h(d) = d**2 - 4*d - 10. Let x be h(5). Is p(x) a prime number?
True
Suppose 0 = -2*m + m + 94. Suppose 2*b - 70 = m. Suppose -5*w = -o - 2*w + 16, -4*o + 3*w = -b. Is o a prime number?
False
Let u(q) = -33*q - 62. Let d = -66 - -58. Is u(d) prime?
False
Suppose -2*n + 152 = 5*j + 2580, 4 = -n. Let m = 1163 + j. Is m prime?
False
Suppose 3*p - 47929 = -5*d, 2*d + p - 19172 = -0*p. Is d composite?
False
Suppose 13*m + 19*m - 142048 = 0. Is m a prime number?
False
Suppose 4*x = -5*s + 62, -4*x + 9 = 2*s - 11. Let p be s/6 + 1/(-3). Suppose 3*w + 66 = 4*i, -76 = -5*i + p*w + 3. Is i composite?
True
Let i = 22259 - -2046. Is i a prime number?
False
Suppose 9912 = -4*n - 4*b, -4*n - 6*b + b - 9907 = 0. Let z = n - -5526. Suppose -2*t + z = 957. Is t prime?
False
Let u(d) = -1815*d + 371. Is u(-9) a composite number?
True
Suppose -x - p + 9 = 0, 4*x - 2*p - 3*p = -9. Suppose -x*j + 756 = -4*w - w, 0 = 3*j - 4*w - 566. Is j a prime number?
False
Suppose 5*p + 2*p - 875 = 0. Suppose -r + 4*x + p = 0, -2*r + 270 = -0*r - 3*x. Is r a composite number?
True
Let x = 40458 + -22577. Is x a composite number?
False
Let z(l) = l**2 - 8*l + 11. Let f = -33 - -39. Let q be z(f). Is (q + 296/3)*3 composite?
False
Let l = 19 - -39. Let m = l - 21. Is m composite?
False
Let d(o) = o**3 + 6*o**2 - 7*o + 2. Let y(t) = 2*t - 1. Let q be y(-3). Let p be d(q). Let r(j) = 82*j**2 + 2*j - 1. Is r(p) a prime number?
True
Suppose -n + 3*n = 4*l + 8, -4*n = -16. Suppose -2*h = -3*g + 2, 2*h + 14 = -l*h - 3*g. Let m(z) = z**3 + 5*z**2 + 3*z + 3. Is m(h) a prime number?
True
Let l be 3/(-2)*43398/27. Let f = 1527 + l. Is 1/2 - f/8 a prime number?
False
Suppose 5*p - 12 = 33. Let w be p/(-3) + 8 + -3. Suppose 2*n - g = 49, 0 = -n + w*g - 7*g - 3. Is n composite?
True
Suppose -14*f + 19*f = 550. Suppose -f - 564 = -2*p. Is p prime?
True
Let v(n) = -3*n**3 - 4*n**2 - 6*n - 11. Suppose -2*t = -4*t + 2*p - 22, 4*t = -p - 19. Is v(t) composite?
True
Let s(v) be the first derivative of -2 + 5*v - v**2 + 5 - 10. Is s(-5) prime?
False
Suppose 3*o = -2*o + 20. Is 1866/o*(-30)/(-45) a prime number?
True
Let k(t) = -3*t - 2. Let s be k(-2). Is 23807/76 + 3/s composite?
True
Suppose -w - 118504 = -4*p - 13591, 0 = 2*p - 3*w - 52469. Is p a composite number?
False
Suppose -5*s + 3*d - 1385 = 0, 0*s - d = s + 277. Let t = s + 682. Suppose -140 = 5*l - t. Is l a composite number?
False
Let i = 7 + -11. Let v(y) = -158*y - 1. Let d(a) = 79*a. Let h(m) = -7*d(m) - 3*v(m). Is h(i) prime?
False
Let u(a) = -a**3 - 7*a**2 - 7*a + 3. Let t be u(-5). Let i be (-6)/4*16/t. Suppose 3*m - 2345 = -i*m. Is m a prime number?
False
Let t = -18155 - -25762. Is t a composite number?
False
Let d be (22/4)/(2/920). Suppose d = v + 797. Is v composite?
False
Suppose -4 = 4*i - 5*i. Let j = -8 + i. Is 298/j*(-7 - -5) composite?
False
Let w be ((-1)/(-3))/(6/(-36)). Let p be (1/1)/(w/(-3614)). Let o = p + -1124. Is o a composite number?
False
Let c(w) = -8 + 1 + w**2 - 2. Let d be -2*190/(-80) - (-6)/(-8). Is c(d) prime?
True
Let a(n) be the first derivative of -11*n**4/4 + 2*n**3 + 3*n**2/2 + 5*n + 5. Let f be a(-4). Suppose -3*l - 3*h = -4*h - 818, -4*h = 3*l - f. Is l composite?
False
Let w(p) = -2*p - 21. Let a(f) = f**2 + 9*f + 5. Let c be a(-6). Let s be w(c). Suppose s*u - 204 - 226 = -3*r, 5*u - 390 = 5*r. Is u composite?
False
Suppose -4*s = 232 + 5404. Let c = -546 - s. Is c composite?
False
Suppose 17*z - 12*z = 15. Suppose 125 = -z*x + 347. Is x a composite number?
True
Suppose -x - 4*l = -21 + 2, 2*l = -x + 11. Let d(g) = -g**2 + 3*g + 2. Let u be d(x). Suppose 0 = -u*y + b - 3*b + 102, -5*y + 4*b = -291. Is y a prime number?
False
Suppose 4*g - s = 227, -3*s + 243 = 5*g - 45. Is g composite?
True
Suppose 4*u = -u + 3975. Let o(x) = -4*x + 48. Let a be o(12). Suppose 3*h - 5*r - u = a, -277 = -h + 5*r - 12. Is h prime?
False
Let d be (-1038)/(-4) + 2/(-4). Suppose 507 = -h - d. Let l = h - -1085. Is l a composite number?
True
Let f be (-16)/(-20) - (-18)/15. Is (-6168 + 1 - -1)*f/(-4) prime?
True
Let k = -5033 + 12754. Is k composite?
True
Suppose -21425 = -3*m + 4*z, 3*m + 3*z + 5062 - 26515 = 0. Is m a composite number?
True
Suppose 0 = -3*k - 2*f - 220 + 9378, 0 = k - 5*f - 3047. Let o = 4307 - k. Is o prime?
False
Is (1*10630/(-2))/(-43 + 42) a prime number?
False
Let u(f) be the second derivative of f**4/12 + 2*f**3/3 + f**2/2 - 5*f. Let b be u(-10). Let r = b - -62. Is r composite?
True
Let j(m) = -m**3 + 18*m**2 - 49*m + 23. Is j(11) a prime number?
True
Is ((-278467)/(-147))/((-1)/(-33)) a composite number?
True
Let s = -4814 + 9240. Let f = s + -2223. Is f a prime number?
True
Is (-6)/(-24)*12 - -2894 composite?
False
Suppose 0 = -4*i - 2*i + 10128. Suppose 0 = -4*v + 2*v - 4*x + i, 0 = 2*v - 2*x - 1670. Is v prime?
False
Let r = -549 + 66. Let b = 169 + r. Let s = b - -459. Is s a prime number?
False
Let m(c) = c**2 + 13*c + 24. Let l be m(-11). Suppose 2*i = -3*f + 593, -2*f - 279 = -3*i + l*i. Is i a composite number?
True
Let l(k) = 1172*k**2 + 6*k + 6. Let x be l(-1). Suppose 363 + x = f. Is f a prime number?
False
Suppose 0*l - 8 = -l + q, 3*l - 27 = 4*q. Suppose -l*p + 14 = 2*p. Suppose 0 = 2*d - 1 + 7, p*w - 5*d = 533. Is w a composite number?
True
Suppose 19 = -c + 2*v - 1, -4*v + 10 = c. Is 5 + 19115/25 + 6/c a composite number?
False
Let j(x) = -x**3 - 8*x**2 + 10*x + 10. Let r be j(-9). Is (-3628)/(-4) + (r - 1) a prime number?
True
Suppose 3*y + 1 = -2, 2212 = n - 5*y. Is n a composite number?
False
Suppose 5*f = 5*k + 23695, -3*f + 6000 = -4*k - 8219. Is f a prime number?
False
Let h(l) = l - 4. Let k be h(9). Suppose -k*q - 5*m = -4*m - 575, q - 2*m - 104 = 0. Let j = q + -61. Is j a composite number?
False
Let o(v) = 959*v + 50. Is o(3) a composite number?
False
Let p(o) = o**3 + 5*o**2 + 3. Let r be p(-5). Suppose r*w + 879 = 3*c, c = -3*c - 5*w + 1172. Is c prime?
True
Is 23866/8 - (-18)/(-72) a composite number?
True
Let o(w) = -5*w**3 + w**2 - 10*w + 1. Is o(-7) a prime number?
False
Let s(i) = -i + 14. Let m be s(10). Suppose -3*k = -3*v + 429, -3*v - 2*k + 425 = -m*k. Is v a composite number?
False
Let l be 5/(-30) - (-39)/18. Suppose -5*c = l*v - 473, -v = c - 0*c - 94. Is c a prime number?
False
Suppose -15*n + 21169 + 131726 = 0. Is n a composite number?
False
Is 12196/(8 - (-54)/(-9)) a prime number?
False
Let y(n) = 263*n + 4. Is y(3) a composite number?
True
Is 2/3*(-323103)/(-22) composite?
False
Let y(k) = 1748*k**2 - 74*k + 3. Is y(3) a composite number?
True
Let p(b) = b**3 + 4*b**2 - 4*b + 3. Suppose 8*i - 6*i + 8 = 0. Is p(i) a prime number?
True
Let l be 3 + 4 - (1 - -1). Suppose 0 = 3*g + l*s - s - 1, g + 5*s + 7 = 0. Suppose -2*b = -g*v - 81, 0*b = -b - 2*v + 23. Is b a composite number?
True
Suppose -64*u - 50622 = -288638. Is u a composite number?
False
Suppose -1041 = -2*y + 227. Let a be (-8)/44 - 57/(-