Suppose -2*r - 34 = -2*m - r, 3*r + 86 = 5*m. Let b(d) = d**3 - 15*d**2 - 3*d + 13. Is b(m) composite?
True
Let y(l) = -19*l**3 + 3*l**2 + 2*l + 1. Let n = -16 - -26. Let t(h) = h**2 - 9*h - 12. Let p be t(n). Is y(p) a prime number?
False
Let g = 276 + 2453. Is g a prime number?
True
Suppose 5*p = 25, 5*v - 3*p - 25 = 2*p. Let f(b) = b**3 - 13*b**2 - 8*b - 6. Let m(w) = -w**2 - w - 1. Let u(h) = f(h) - 4*m(h). Is u(v) a prime number?
False
Suppose 0*a - 4*b = -a + 9, -2*b = -a + 7. Suppose 12 + 28 = -a*f. Let k = f + 27. Is k prime?
True
Let z = -69023 - -182086. Is z prime?
True
Let z(a) = a**2 - 6*a - 4. Let o be z(7). Suppose 6*g = o*g - 3. Is (g + -1 + 9)*23 composite?
True
Suppose 0 = -0*c - 11*c + 61457. Is c a composite number?
True
Let p = 48738 - 22147. Is p composite?
False
Suppose 0 = 3*u + 2*u - 3*v - 18, 2*v - 4 = -2*u. Let d be (-54)/(-12)*2/u. Suppose 129 = d*l - 144. Is l composite?
True
Let b = 395 - -839. Let d = 307 + b. Is d prime?
False
Let n be 2/(-9) + (-132)/(-108). Let a be 3 - (-1 - (1 - n)). Suppose -m = 4 - 5, 3*w - a*m - 767 = 0. Is w a composite number?
False
Is 3*2488/24 - (0 + 4) a prime number?
True
Suppose -9217*q + 9210*q + 409801 = 0. Is q a composite number?
False
Let c(u) = -28 - 2*u + 98*u**2 + 53 - 24. Let s be ((-4)/(-8))/(1/2). Is c(s) a composite number?
False
Suppose -5*o - u + 25 = 2*u, -5*u = -5*o - 15. Let w be (7 + o/(-1))*1. Suppose -392 = -w*m + 3. Is m a prime number?
True
Let q(c) = c**3 - 15*c**2 - 16*c + 7. Let z be q(16). Let f(k) be the second derivative of k**3/2 - 3*k**2 - k. Is f(z) composite?
True
Let h(a) be the second derivative of a**5/20 + 2*a**4/3 + 5*a**3/3 - 3*a**2/2 + a. Is h(-5) a composite number?
True
Is 4941/18 + 2/(-4) a prime number?
False
Suppose -3*o + o - n = -69466, -3*o + 104209 = -n. Is o composite?
True
Suppose -3*q = -y + 6, -q + 4*q = -3*y + 6. Is q/(4/(-66))*368/24 prime?
False
Suppose -4*b + 4 = -3*b. Let f = -1702 - -2971. Suppose 0 = -b*t - q + 1024, t + 4*t + 4*q = f. Is t a composite number?
False
Let n(c) = 5 - 8*c**2 - 5*c**3 + 6*c**3 - 15*c - 2. Is n(10) composite?
False
Suppose 2*u = -2*b + 31 + 97, 3*b - 15 = 0. Let m = u + -26. Is m a composite number?
True
Suppose -4*s = 7 - 19. Suppose -118 = p - s*p. Suppose -730 - p = -3*q. Is q prime?
True
Let w(a) = -a**3 + 11*a**2 - 4*a - 7. Let k(h) = -h**2 + 9*h - 7. Let l(i) = i**3 - 5*i**2 - 4*i - 5. Let g be l(6). Let d be k(g). Is w(d) a composite number?
True
Let j = -29 - -75. Let y = j - 24. Is y a composite number?
True
Suppose 9*j - 6*j - 15 = 0. Suppose -j*t - 8 = -23. Suppose 115 = 2*o - t*g + 4*g, 5*g - 233 = -4*o. Is o a prime number?
False
Let o(c) = -24*c**3 + 2*c**2 + 43. Is o(-6) a prime number?
False
Let x(r) = 46*r + 6. Let w(u) = 9*u + 1. Let f(y) = 11*w(y) - 2*x(y). Let g be f(-8). Is (g/(-3))/(0 + 1) a prime number?
True
Let d(n) = 11*n - 1 - 2 + 5*n**2 - 6*n**2 - 5. Let f be d(10). Suppose p - 63 = -f*p. Is p a composite number?
True
Is (-464)/64*(-3 + -265) composite?
True
Suppose 10 = -d + 5*i, 3*d - 2*d + i - 14 = 0. Let l be (-1322)/(-10) + (-2)/d. Let f = l + 131. Is f prime?
True
Let d(m) = 2*m**2 + 4*m - 3*m**2 + 16*m**3 - 1 + 8*m**2. Let h be d(-4). Let b = -622 - h. Is b prime?
True
Suppose 0 = -3*a + 4*x + 266, -a + 2*x = 4*x - 92. Suppose q = 287 + a. Is q a prime number?
False
Let q be 5 + (4/2 - 0). Suppose q*c - 15*c = -10136. Is c a composite number?
True
Let r be (-24)/48 + 2/4. Suppose -3*j - j + 20 = r. Suppose -2*p - p - 3*i + 129 = 0, j*p - 236 = 2*i. Is p a composite number?
True
Let u = 26272 + -13586. Is u a prime number?
False
Suppose 416 = 5*d - 14. Suppose -f + 139 = j - 5*f, 0 = -3*j + 2*f + 457. Let x = j - d. Is x prime?
False
Let w(f) = f**3 + f**2 + 2*f + 1. Let s be w(-2). Let t = s - -12. Suppose 0 = t*r - 3*r - 52. Is r prime?
False
Suppose -x - 2*x - 2*l + 43699 = 0, 29106 = 2*x - 4*l. Is x prime?
True
Let z(d) = d**2 - 3*d + 40. Let m be z(0). Let x = 349 + m. Is x prime?
True
Let u(c) = c**3 - c**2 - 6*c - 3. Suppose 24 = -2*x + 6*x. Suppose 2*p = -3*b + 10, 0 = 4*p - 5*b - 26 + x. Is u(p) prime?
True
Suppose 2*o + 2*o - 8 = -2*v, 2*v + 6 = 3*o. Let q be (-4222)/(-4) - o/4. Suppose q = 8*u - 3*u. Is u a composite number?
False
Let s be 4/(-3)*2892/8. Suppose -2*n + 4*g = -4*n - 1722, -3*n + 3*g = 2556. Let c = s - n. Is c prime?
True
Let f = 350919 - 206758. Is f a composite number?
False
Suppose 10*c - 6*c = -36. Let u(h) = -5*h + 5*h - 5*h**2 - h**3 + 10 + 3*h. Is u(c) prime?
True
Suppose 4*q + 0*j - 17759 = j, 4*j - 22225 = -5*q. Is q a composite number?
False
Suppose 0*b + 1184 = 4*b. Suppose 0 = -2*j - d + 10, -2*j - d + 18 = 2*j. Suppose b = j*t - 148. Is t a prime number?
False
Suppose 0 = 1155*z - 1149*z - 16914. Is z composite?
False
Suppose -122*n + 91893 = -119*n. Is n a composite number?
False
Let i be 12/16 + (-31)/4. Let t(z) = -34*z - 3. Is t(i) a prime number?
False
Let d = -68 + 98. Let n be 4/3*d/20. Suppose 56 = n*i - 4*s, -i + 54 = i - 2*s. Is i composite?
True
Let v = -10597 - -34260. Is v a composite number?
False
Let b be (-2 + (-202)/(-4))/((-8)/(-208)). Suppose -771 - 2213 = 4*i. Let y = b + i. Is y a prime number?
False
Is (-1 - 0)*(-33 + -1438) prime?
True
Let h = 5782 + -2418. Suppose -4*i = 3*d - 2689, -4*i - h = -9*i - d. Is i composite?
False
Let c = 2091 + -3048. Let j = -650 - c. Is j prime?
True
Let p = 65 + -63. Suppose 5781 = p*w - 4765. Is w a composite number?
False
Suppose 0 = -21*u - 53834 + 176831. Is u prime?
True
Suppose 148 = t - 47. Let f(m) = -14*m - 35. Let u be f(-3). Suppose t = u*l - 176. Is l composite?
False
Suppose h + x = 3905 + 1992, 0 = -3*x - 6. Is h prime?
False
Let x = 36 - 27. Let p = 14 - x. Is ((-381)/(-15))/(p/25) a prime number?
True
Suppose 0 = 2*w - 1538 - 1424. Is w prime?
True
Is (4/(-18) - 0) + (-832220)/(-36) composite?
False
Let c(a) = a**2 + 4*a - 2. Let p be c(1). Let x be (-2)/1 + 3 + 1942. Suppose -2*v = 4, -p*w - x = -8*w - v. Is w a composite number?
False
Let d(j) be the second derivative of -16*j**3 - 1/2*j**2 + 2*j + 0. Is d(-2) a composite number?
False
Is ((-93)/62)/(3/(-1570)) a composite number?
True
Let a = -136404 - -287999. Is a a prime number?
False
Let l(p) = 2*p**2 - 18*p - 3. Suppose 85 = -4*v + 21. Is l(v) a prime number?
True
Let l(p) = -842*p + 27. Is l(-11) a prime number?
False
Let u(t) = 9479*t**3 - 5*t**2 + 42*t - 75. Is u(2) a prime number?
True
Suppose 3*g - 17 + 8 = 0. Suppose -4*a + 2179 = -g*a. Is a a prime number?
True
Suppose 0*z = 7*z - 77. Let t(c) = -z - 7*c**2 + c**2 + 6*c**2 + 7*c + 4*c**2. Is t(12) a prime number?
False
Suppose 5*j - 10507 = b - 2*b, -3*j - 5*b + 6313 = 0. Is j a composite number?
True
Let t(h) = -h - 18. Let j be t(-9). Let b = j + 27. Let f = 32 - b. Is f a composite number?
True
Let b = -108 - -156. Suppose 52 = -5*z + c + 2*c, -4*z + 4*c = b. Is (z/(-4))/(6/69) a composite number?
False
Let i be 1805/(-6) + (-2)/12. Let t = 534 - i. Is t a composite number?
True
Let s(k) = 5*k**2 + 2*k**2 + 0*k**2 + 9*k + 15 + 0*k**2. Is s(6) a composite number?
True
Let a(w) = 12 - 5*w + 6*w - 2*w. Let r be a(6). Suppose 5*o - 8 = -4*f + 5*f, 2*o = r. Is f prime?
True
Let b = 146 - 157. Let j(o) = -161*o - 6. Is j(b) a prime number?
False
Let y(v) = 4*v - 25. Let w be y(5). Let a(i) = -8*i**3 - 3*i**2 - 9*i - 3. Is a(w) prime?
True
Suppose -2*j = -12 + 2. Suppose -p + 3*i + 175 = -i, -3*p - j*i + 593 = 0. Is p prime?
True
Let i be ((-3)/(-1))/((-12)/8). Let d be (-1)/((i - -1)/1). Is (-1*3)/(d/(-37)) a composite number?
True
Let t = -2 + 12. Let l be (t/(-4))/((-2)/(-4)). Let r(d) = -97*d + 6. Is r(l) prime?
True
Let t = 73 - 69. Let u(b) = -b - 5. Let d be u(-6). Suppose -d = 3*x - 4, -3*x - 665 = -t*y. Is y a composite number?
False
Let i(p) = -108*p - 43. Is i(-5) composite?
True
Let o(n) = -n**3 + 2*n**2 + 8*n - 9. Let a be o(4). Let j = a + 12. Suppose 4*s = -v + 73, 5*v = -j*s + 462 - 182. Is v prime?
True
Suppose -4*z + 6533 = -12047. Suppose -9*c + 4*c = -z. Is c composite?
False
Suppose -3*g + 8828 = 2*z, 4*z - 2*g - 17672 = -0*z. Is z composite?
True
Let m = -348 + 576. Suppose -2*g - m = 2*g. Let j = g + 94. Is j a prime number?
True
Is ((-104)/52)/((-4)/3466) a prime number?
True
Suppose 0 = -8*r + 5*r - 2*c - 645, -2