49/(-35)) - -6726 a prime number?
False
Let k(p) = -3*p + 3. Let n be k(11). Let x be ((-62)/6)/(10/n). Let b = 366 + x. Is b prime?
True
Let o(p) = p**2 - p + 2. Let s be o(0). Suppose -s*d = 5*m - 3605, -395 = -m + 4*d + 304. Is m a composite number?
False
Suppose 0 = 2*g + 75 - 2027. Suppose 5*x + 4*i = 2*x + g, 0 = 3*i - 12. Suppose 0 = -4*b - 16, 3*z + b + x = 1813. Is z a prime number?
True
Let d(x) = 44*x - 55. Let b be (7/(-4) - -1)/(2/(-48)). Is d(b) a composite number?
True
Is 9910/1 - (-1 + 10) composite?
False
Suppose 31*d - 25*d = 4044. Is d composite?
True
Let i(n) = -5 + 13*n - 148*n - 3. Is i(-3) composite?
False
Let w = 1 + 3. Let q(t) = 11*t**3 + 3*t**2 - 1 + 3*t - 4*t**2 - w*t**2. Is q(4) a composite number?
True
Let j = 33 + -89. Is (3 - j/(-12))*-417 composite?
True
Is (2/4)/((-74)/(-5325188)) prime?
False
Let v(f) = -f**2 + f. Let o(p) = -4*p**2 + 10*p - 5. Let m(k) = -o(k) + 2*v(k). Is m(-13) a prime number?
False
Suppose 4*s - 4626 = s. Suppose 0 = 8*j - 2*j - s. Is j a prime number?
True
Is (-7)/1 - (-95225 - -55) a composite number?
True
Suppose 0 = -u - 3*u + 44. Suppose u = 2*s + 5*r - 20, 5*r = 4*s + 13. Is 1*(-1 + 203 + s) prime?
False
Suppose 4*c - 33265 = 100003. Suppose 19*a + 390 = c. Is a a prime number?
True
Let k be (-6)/(-8) - 606/(-24). Let z = -2 - k. Is (-28)/(-5) - z/70 a composite number?
True
Suppose 0 = -10*s + 333103 - 112973. Is s a composite number?
False
Suppose 3*o = o - 56. Let i = 38 + o. Let a(t) = t**3 - 7*t**2 + t - 9. Is a(i) a composite number?
True
Suppose -11*z + 5*x + 238310 = -6*z, 238319 = 5*z - 2*x. Is z composite?
True
Suppose 2*g + 2*s - 3316 = 0, -2*g - 3*s + 8*s = -3309. Is g composite?
False
Let m(n) = n + 4. Let y be m(5). Is (y + -11)/((-336)/166 - -2) prime?
True
Let m(r) = r**3 + 5*r**2 + 3*r - 4. Let k be m(-3). Let h(i) = 64*i + 7. Is h(k) prime?
False
Let s = -13 - -18. Let t be (1 - 3) + (s - -141). Let j = 295 + t. Is j a composite number?
False
Let p(y) = 243*y + 41. Let s(a) = -a. Let o(f) = p(f) + 2*s(f). Is o(8) prime?
False
Suppose 0 = 4*m + 5*y - 13823, 4 = 2*y + 6. Is m a composite number?
False
Suppose 5*z + 0*z + 2985 = 0. Let b = z - -916. Is b composite?
True
Suppose -11 = -4*s + 5*y + 11, 0 = 2*s + 3*y. Suppose 0 = n + s*q - 155, 4*n + n - 5*q = 795. Is n composite?
True
Let q(b) = -7*b + 1. Let o be q(1). Is (-3766)/o - (-4)/3 a prime number?
False
Let p = -36 - -48. Let z = 2 + p. Is z prime?
False
Suppose -3*d + 12 = 3. Suppose -4*z + 21 = m + 1, -d*z + 15 = 0. Suppose -4*c = -m*c - 212. Is c a prime number?
True
Suppose 3*t + 4*v - 5109 = 0, -t + 3*v = 2*v - 1710. Suppose -z + t = -344. Is z composite?
True
Let f = 15 - 13. Let n(r) = f + 13*r + 1 - 1 + 0. Is n(7) a prime number?
False
Let t = 13244 - -1000. Suppose -6*a = 6*a - t. Is a prime?
True
Let g(a) = -a**2 + 43*a + 63. Is g(26) a prime number?
False
Let x(j) = j. Let m be x(3). Let w be (-12)/18 + 44/m. Is 6/(-21) + 1110/w a composite number?
False
Let j = 33433 + -16436. Is j a composite number?
True
Let y be 1*(-3)/(-6)*8. Suppose k - y*c - 235 = 0, 4*c + c = 20. Is k prime?
True
Let n be (-198)/(-7) - (-4)/(-14). Let c be 104/n - (-2)/7. Suppose -c*p + 3*s + 0*s = -316, 4*p + 3*s - 316 = 0. Is p composite?
False
Let v(q) = 2*q**3 + 5*q**2 + 13*q - 1. Is v(6) a composite number?
True
Let w(k) = -k**3 + 2*k**2 + 10*k + 6. Let o = -9 + 2. Is w(o) a composite number?
True
Suppose 2*v + 1164 = -2*v. Let g = -157 - v. Suppose 23 = z - g. Is z a composite number?
False
Suppose 2*u - 5 = 5. Suppose n + 5 = u*v - n, 4*v - 11 = 3*n. Is (-11 - -1767) + (-1)/v a prime number?
False
Suppose 0 = 5*v + 53 - 13. Let g(x) = 34*x**2 + 12*x + 31. Is g(v) a prime number?
True
Let z = 92 - 16. Suppose -l + 225 - z = 0. Is l a composite number?
False
Let t(z) = -z**2 + 5*z + 2. Let y be t(5). Suppose 0*n - 684 = -2*n - 2*r, -y*n - 4*r + 684 = 0. Let w = 553 - n. Is w prime?
True
Suppose -2*x + 673 + 108 = -f, -x = 5*f - 407. Let q = -215 + x. Is q prime?
False
Let f = -15555 - -22460. Is f a prime number?
False
Let t(a) = 83*a**3 + 2*a**2 - 3*a + 1. Let x(k) = -k**2 - 6*k - 3. Let m be x(-5). Is t(m) prime?
False
Let j = -30085 + 64182. Is j prime?
False
Let o(v) = -248*v - 28. Let p be o(-25). Suppose m - p = -3*m. Is m composite?
False
Let d = -7 - -12. Let j = -6 - -326. Suppose 2*o - 3*o - 2*v = -66, -j = -d*o - 5*v. Is o prime?
False
Is (-5)/((-10)/(-24158))*2/(-2) prime?
False
Let v = -28 + 42. Let p be (v - -1)*8/24. Suppose -p*g = -4*g - 295. Is g a composite number?
True
Suppose 5*v + 628 = 13208. Suppose -4*j - 4*s = -v - 1592, -4*j - s + 4108 = 0. Is j composite?
True
Let s(n) = 17*n**2 + 70*n - 20. Is s(15) a prime number?
False
Is (634/1)/(8/32) - -1 composite?
True
Suppose 3*k + 2*k = 0. Suppose k = -s - 13 + 2. Let q = 280 + s. Is q a prime number?
True
Let l = 154 - -130. Suppose 4*u + 2*d = l, -3*d - 7 = -19. Suppose 3*s + 5*z = u, s + 3*z = 23 - 0. Is s prime?
True
Suppose 0 = -z + 5, -2*z = 3*o - z - 911. Let c = o - -255. Is c composite?
False
Let v(i) = -i**3 - 12*i**2 + 13*i + 2. Let j = -20 - -7. Let l be v(j). Suppose -l*r + r = -479. Is r a composite number?
False
Suppose -u + 8 = 3*n, 4*n - 10 = n + u. Is 347 + 0/((-3)/n + 0) prime?
True
Let a(u) = -14 + 29*u - u**2 - 26 + 3. Is a(21) composite?
False
Let a(r) = r**3 + 11*r**2 - 6*r - 1. Let w be a(-9). Let v(i) = 37*i**2 + i - 2. Let z be v(3). Let o = z - w. Is o composite?
True
Suppose 4*s = 5*r - 15, -5*r + 10 + 5 = -s. Suppose 0*c + r*c - 18 = 0. Suppose c + 49 = w. Is w prime?
False
Let q(a) = 7*a**3 - 15*a**2 + 6*a + 7. Let z(u) = -20*u**3 + 44*u**2 - 17*u - 20. Let y(k) = -17*q(k) - 6*z(k). Let g be y(9). Is 86 - (-1)/(0 + g) composite?
True
Is (44/(-16))/(1/(-916)) prime?
False
Suppose 3628 = 41*p - 39*p. Is p a composite number?
True
Suppose 8*c = 5*c + 2955. Is c a prime number?
False
Let d(h) = -h**2 + 9*h - 10. Let o be d(7). Suppose -5*x + c = -1797 - 303, -1696 = -o*x + 4*c. Is x prime?
True
Suppose 2*n + g = 6*n - 13812, -6906 = -2*n - 2*g. Is n prime?
False
Suppose 59 = -4*z - 5*t, 2*z + t - 8 = 3*z. Let k = z + 8. Is 13/(k/(-132)*4) composite?
True
Let s = -3 - -17786. Is s composite?
False
Let r be 68/17 - (1 + 0). Let u(d) = 6*d**3 + 2*d + 1. Let a be u(r). Suppose -3*y + 598 = a. Is y a prime number?
False
Suppose -3*l = v + 52, 3*v = 5*l + 50 + 18. Is 46*l/(-14) + 3/7 prime?
True
Suppose 2*k = 3*j + 1276, -8*k + 9*k - 637 = 2*j. Is k a composite number?
False
Let f(j) = j**2 + 12*j + 14. Let t be f(-11). Suppose 4*r - 486 = -2*k, -k - 625 = -2*r - t*r. Let z = 463 + r. Is z composite?
False
Let j(f) = 2560*f**3 - f**2. Let a(g) = g**3 + 7*g**2 + 12*g + 11. Let c be a(-5). Is j(c) composite?
True
Let i be (-2 + -1)/(9/(-12)). Is ((-2)/3)/(i/(-11010)) composite?
True
Let i(u) be the second derivative of 223*u**3/6 + u. Let o = -39 + 40. Is i(o) composite?
False
Suppose -3*m = -4*y + 4460, 2*y + m - 4*m = 2224. Is 18/(-6) + (y - 0) prime?
False
Let k(o) = -42*o**2 + 23*o - 5. Let b be k(22). Is 2/8 + b/(-36) composite?
True
Let a = 817 + -299. Suppose -6*z + 244 = -a. Is z a composite number?
False
Let p(i) = -26888*i - 45. Is p(-2) prime?
True
Let c(s) = -3*s - 11. Let b be c(-5). Suppose -43 = -4*v + d, v - 3*v = b*d - 8. Suppose 14*z = v*z + 260. Is z composite?
True
Let h(s) = 1747*s + 185. Is h(12) a composite number?
False
Suppose 0 = 5*f - d - 25, -5*d = 3*f - d - 38. Suppose f = -2*i + 2*a + 2, -i + 4*a = -10. Is (4842/(-6))/(i/2) prime?
True
Let f(o) = -o**3 - 4*o**2 + 13*o + 1. Let z be f(-6). Is (-16)/40 - 9177/z prime?
False
Is 3641088/224 + (-1)/(-7) prime?
False
Suppose -3*i - 3*n + 0 = -3, -4*i - n = -19. Suppose u - i*u = 0. Let j(l) = -l**2 - l + 211. Is j(u) prime?
True
Let p(j) = -30*j**3 - 4*j - 3. Let h be p(-2). Suppose -3*d = 3*d - 3588. Let v = d - h. Is v composite?
False
Let k(l) = l**2 - 14*l - 13. Let q be k(15). Suppose -5*j = -q*j - 6153. Is j composite?
True
Suppose 9*d = 15*d + 3540. Let z = -276 - d. Is z composite?
True
Let q = 66107 - 43006. Is q prime?
False
Suppose 4*c = 7*c - 78. Let d = c - 22. Suppose d*m - 3*v - 1163 = 0, -4 + 1 = -v. Is m a composite number?
False
Let u = -14 - -33. Suppose -6*h - 7 = -u. Suppose -3*k - 15 = 0, h*k = -5*a - k + 3160. Is a prime?
False
Let