2 + 3 + g*q**2 - 4 - 2. Is y(-4) prime?
True
Suppose -4 = -4*d + 3*d. Suppose -2*k - 2*g - 5 = -g, -4*g - d = 0. Is (2 + 460/(-8))*k composite?
True
Let g(t) = -17*t**3 - 29*t**2 - 23*t - 17. Let r(a) = 6*a**3 + 10*a**2 + 8*a + 6. Let n(i) = -4*g(i) - 11*r(i). Is n(5) a composite number?
True
Let h(t) = -283*t + 130. Is h(-19) a composite number?
False
Suppose -87471 = -7*z - 2*z. Is z prime?
True
Let z(q) = -2*q**2 + 2*q + 1. Let b be z(2). Let f be (-353)/(-2 + b/(-3)). Let x = -148 + f. Is x prime?
False
Suppose 5*a - a = -4*c + 6172, -c = -5*a - 1513. Is c a prime number?
False
Let h be 25 + (-6)/3 - -4. Suppose 2*a + 87 = 5*q - 2*a, 4*a - h = -q. Is q a prime number?
True
Suppose 0 = 4*y + 2*h - 22920, 4*h + 14286 - 48668 = -6*y. Is y a composite number?
True
Let g(j) = -244*j + 3. Let i(c) = 122*c - 1. Let k(m) = -4*g(m) - 9*i(m). Is k(-1) a prime number?
False
Is (0 - -16*5) + 3 a composite number?
False
Let o(w) = 2*w**2 + 6*w + 4. Let m = 40 + -31. Let z be o(m). Suppose 3*j = z + 722. Is j a composite number?
True
Let d = -765 + 3268. Is d a composite number?
False
Let o(z) = 137*z**2 + 4*z - 8. Let y(u) = -136*u**2 - 4*u + 7. Let g(r) = -3*o(r) - 4*y(r). Let x be g(2). Suppose x = 5*t - 1599. Is t a composite number?
True
Suppose -2*a + 2*g + 73176 = 0, -2*a - 2*a = g - 146357. Is a prime?
False
Is ((-2)/3)/(2 + (-1575400)/787695) a prime number?
False
Let l(y) = -y**3 - y**2 - 41*y - 83. Is l(-18) a prime number?
True
Let p(z) = z**2 + 627. Let y be p(0). Let m(v) = -44*v - 162. Let u be m(6). Let f = y + u. Is f a composite number?
True
Let m = -5 + 36. Suppose 4*u + 2*i - 124 = 4*i, -u + 3*i + m = 0. Is u a composite number?
False
Is 4/34 - (5 - (-1648310)/(-85)) a composite number?
False
Let i be (-4)/((-32)/(-404))*-8. Suppose i = 5*r - 851. Is r a composite number?
False
Let m(b) = -b**3 + 8*b**2 + 7*b + 3. Let u(o) be the second derivative of o**5/20 + 5*o**4/4 + 8*o**3/3 + 10*o**2 + 6*o. Let s be u(-14). Is m(s) composite?
False
Suppose 449 = -q + u + 2758, u = -q + 2317. Suppose -4*j + 6331 + q = 0. Is j prime?
True
Let y(d) be the second derivative of 221*d**4/12 - d**3/3 + d**2/2 + 3*d + 2. Suppose -3*v - 5*z = 16, 4*v + z - 4*z + 2 = 0. Is y(v) a prime number?
False
Let j(w) = 595*w - 199. Is j(2) composite?
False
Let g(z) be the third derivative of -z**5/60 - 7*z**4/12 + z**3/2 - z**2. Is g(-10) prime?
True
Let j = 119 + -105. Is j a composite number?
True
Let f be ((-76)/12)/((-1)/(-3)). Let b = 8 - -58. Let m = b - f. Is m a prime number?
False
Let o(l) = l + 2. Let h be o(4). Let q(m) = 5*m**2 + 10*m - 14. Let s be q(h). Suppose 0*a = -2*a + s. Is a prime?
True
Suppose 2*z - 4*d - 16 = 0, 3*z + d - 1 - 30 = 0. Suppose 4*i = 3*x + 15403, 0 = -z*i + 6*i - 5*x + 15363. Is i a prime number?
True
Is (-9285494)/(-530) + (-8)/10 composite?
False
Let o be (6 - 5)/(372/370 - 1). Suppose c - 300 = o. Is c a composite number?
True
Let y(v) = 20*v**2 - 9*v - 13. Is y(-6) a composite number?
False
Let n be (-1)/2 + 81/18. Suppose 2*t + 35 = 7*t. Suppose 0 = t*q - n*q - 21. Is q prime?
True
Let l = -173004 + 270659. Is l a prime number?
False
Let n = -29743 - -61974. Is n a prime number?
False
Let n = 3025 - 738. Is n prime?
True
Suppose -7*z = -4*z - 8*z. Is 5 + -6 + 1974 + z a composite number?
False
Suppose -3*v - 5*s = -0*s - 194, 3*s + 161 = 2*v. Suppose 3*x = f + x - v, -3*f + 5*x + 222 = 0. Is f a composite number?
False
Let i be ((-1)/2)/((-7)/2142). Let b = i - 26. Is b prime?
True
Let j(v) = -v**3 + 3*v**2 + 2*v - 4. Let c be j(3). Suppose c*x + 4*d - 466 = 0, -x + 186 = -d - 32. Is x a composite number?
False
Is 9/(-12) + (-193529)/(-28) prime?
True
Suppose 0 = -2*l + 6*l - 808. Let d = l + -15. Is d a composite number?
True
Let o(v) be the third derivative of -v**4/4 + 5*v**3/6 + 12*v**2. Let a be (-59)/6 + (-1)/6. Is o(a) a prime number?
False
Let c be (10/(-3))/((-6)/9). Suppose c*k - 3*v = 773, 4*k + k - 777 = 2*v. Is k composite?
False
Let a(i) = -222*i + 19. Let j be (-6)/5*(-10)/(-3). Is a(j) composite?
False
Let s(j) = -j**2 + 10*j + 8. Let y be s(11). Let l(b) = 169*b**2 + 6. Is l(y) composite?
True
Suppose h + h = -4*x + 2174, 5*h = -4*x + 5459. Let a = h - 726. Let l = -186 + a. Is l prime?
False
Let c be 2*-1 - (-12)/6. Suppose 4*d - 6 = 3*h - 0*d, c = -5*h - 2*d + 16. Suppose h*o - 24 = 158. Is o composite?
True
Is (-7)/((-98)/(-889))*-6 a prime number?
False
Let s = -47878 - -85521. Is s prime?
True
Let m(u) = -10*u**2 - 18. Let v(p) = -9*p**2 - 17. Let a(t) = 6*m(t) - 7*v(t). Is a(-9) a composite number?
True
Let v(i) = 3255*i**2 - 44*i - 322. Is v(-7) a composite number?
True
Is 18/72 - 2373708/(-16) a composite number?
True
Let c = 8340 - 691. Is c a composite number?
False
Suppose 3*x + 11 + 4 = 0. Let m be (126 - 2)*(-1 - x). Suppose 4*i + 2438 = 5*p + 3*i, -3*i - m = -p. Is p composite?
False
Suppose 8*b - 4*b + 48 = 5*p, 0 = -4*p. Is 8/b + 2105/3 composite?
False
Let y(q) = q**3 - q**2 + 83. Let r(j) = -2*j**2 - 5*j - 2. Let u be r(-2). Suppose u*s = 2*s. Is y(s) a composite number?
False
Suppose -3*o + 184174 = 5*i, -6*o = 2*i - 5*o - 73669. Is i a composite number?
False
Suppose -206*x + 216*x - 374810 = 0. Is x prime?
False
Let g(n) = -n**3 - 3*n**2 + 8*n + 27. Suppose -2*r - 27 = 3*v, 3*r - 32 = 3*v + 10. Is g(v) a composite number?
False
Let p(k) = -k**3 + 31*k**2 + 10. Let j be p(31). Let f(m) = 22*m + 34. Is f(j) a prime number?
False
Let m be (1 - 3) + (-10)/(-2). Suppose 4759 = m*k + 1732. Is k prime?
True
Let w(c) = -3*c + 3. Let u be w(-4). Let k = u - 12. Suppose -g - 2*v = k*g - 726, g - 180 = -v. Is g prime?
False
Let y be ((-178)/12 + (-2)/4)*-48. Let z = y - 343. Is z prime?
False
Let l(t) be the third derivative of 37*t**5/60 + t**4/6 + 5*t**3/6 + 6*t**2. Let o be l(-2). Let a = 204 - o. Is a composite?
False
Let l(d) = 7*d**2 - d - 1. Let m be l(-1). Let k(c) = -2*c**2 - 4*c + 1. Let a(j) = -2*j**2 - 3*j + 2. Let b(f) = -6*a(f) + 5*k(f). Is b(m) a prime number?
False
Suppose 3*q + 16 = 7*q. Suppose -f - 9256 = -4*o - 5*f, 4*o - q*f = 9216. Is o composite?
False
Let q = 12025 + 360. Suppose -6*n = -833 - q. Is n a prime number?
True
Let l = 164 - -13. Let f = l - 82. Is f a composite number?
True
Let k be 8/3*3/(-2). Let y be (-2471)/(-35) + k/(-10). Suppose 3*w + y - 224 = 0. Is w composite?
True
Suppose -5*t + 46295 = -6*w + 11*w, -4*t + 37056 = -w. Is t a composite number?
True
Suppose -7*i - 9 + 44 = 0. Suppose 11157 = 5*f - 3*n, i*n + 2241 = f + 2*n. Is f prime?
False
Suppose 3985*t = 3989*t - 117228. Is t prime?
False
Let m be 2 + (22968/(-3))/4. Let p be (m/12)/((-8)/(-12)). Let t = p - -532. Is t prime?
True
Let d(y) = -7*y**3 + 2*y. Let b be d(-2). Let x be (-70)/(-15) - 2/(-6). Suppose b = x*a - 513. Is a prime?
True
Let a(g) = 9*g**3 + 3 - g**2 - 2*g**2 - 10*g**3 - g**2. Let y be a(-4). Suppose -j + n = 6*n - 147, -y*n = -5*j + 707. Is j a prime number?
False
Suppose -7*d + 10*d - 26439 = 0. Is d prime?
False
Let c(n) be the second derivative of 221*n**3/6 + n**2/2 + 14*n. Is c(2) a composite number?
False
Suppose 3*u = 4*j - 1243, 3*j = -u + 60 - 457. Let n = u + 1226. Is n prime?
False
Let a = 42 - 40. Suppose -2221 = -5*h + 3*i, -2*i - a*i - 8 = 0. Is h a composite number?
False
Suppose -3*u = -4*n - 63759, 3*n - 34512 - 7994 = -2*u. Is u prime?
False
Let i(d) = -d**3 + 3*d**2 + 5*d + 3. Let z be i(4). Is (-21732)/(-84) + 2/z a composite number?
True
Let t(w) = -6*w**3 + 2*w**2 - 8*w - 45. Is t(-13) a composite number?
True
Let x be (5 - -4) + -3*1. Suppose x*l - l = 385. Let c = l - 24. Is c a prime number?
True
Suppose 5*j = -89 + 694. Suppose m + 59 = o, -2*m - 54 = -o + 67. Let g = j + m. Is g a prime number?
True
Let k(a) = 10959*a**2 + 11*a - 15. Is k(2) a prime number?
False
Let m(w) = 92*w**2 + w + 3. Let u be m(-2). Let s = -250 + u. Is s prime?
False
Suppose -2*p - 14 = 6*r - r, p = -r - 1. Suppose -p*k = f - 54 - 1162, 2*k = -f + 1215. Is f a composite number?
False
Suppose 536202 = 4*b - 2*f, 0 = -52*b + 57*b - 2*f - 670255. Is b composite?
False
Suppose -4*i + 140623 = -92085. Is i a prime number?
False
Suppose 0 = -8*w + 92936 + 10368. Is w a prime number?
False
Let w(u) = u**3 + 11*u**2 - 20*u - 5. Let k be (-18)/(2*((-12)/(-16))/1). Is w(k) a compo