 g(-7) a composite number?
False
Suppose 0 = 13*s - 16357 - 31054. Is s composite?
True
Let a be 3396 + -2 + (0 - -1). Suppose -5*k - 3*i + a = 0, -3395 = -k - 4*k - i. Is k a composite number?
True
Let q(r) = 243*r - 24. Let w be q(21). Is (2/(-6))/(15236/w - 3) prime?
True
Let w = 59366 - 23079. Is w composite?
True
Suppose -243578 + 7286 = -12*y. Suppose 30*q = 23*q + y. Is q composite?
True
Suppose 0 = -2*h - 5*t + 277, -683 = -4*h - 4*t - 147. Suppose 0 = -5*n + 394 + h. Suppose u - 82 = n. Is u a prime number?
False
Let n be 196/42 - ((-2)/6 + 1). Let h(c) = 10*c**2 + 2*c + 9. Is h(n) a composite number?
True
Let w(s) = 4*s - 8 + 95*s**2 + 2*s + 20*s. Is w(-5) composite?
False
Suppose 16 = 3*d - 7*d. Let b(h) = 3*h**2 + 3*h - 1. Let z(s) = 1. Let q(m) = b(m) + 2*z(m). Is q(d) prime?
True
Let o be 28570/15 - 2/3. Suppose 2*d + o = 6*d. Let t = -225 + d. Is t composite?
False
Let a(j) = -j**2 - 16*j + 7. Let m be a(-14). Suppose m = k - 44. Is k a composite number?
False
Let t(o) = -205*o - 5 + 3 + 68*o + 3. Let p be t(-1). Suppose -3*g = -a - 32 + p, 103 = a - 4*g. Is a a prime number?
False
Suppose y - 4 = 4. Let a be (-6)/y*4/(-3). Let l(m) = 86*m + 1. Is l(a) a composite number?
True
Let g be 30 + -37 + (-2 - -11). Suppose -1 = 4*z - 21. Suppose -4*w = -3*w - g*r - 77, z*r = w - 68. Is w a composite number?
False
Suppose -97*u + 3315743 + 583172 = 0. Is u a composite number?
True
Is (-2)/(-9) + 1896392/288*4 composite?
False
Let o = 696 + -492. Suppose -5*f + c + 12 = -3*f, -c = 3*f - 13. Suppose f*j + 2*z - 789 = 0, 263 = 3*j - 2*z - o. Is j a prime number?
True
Let q(c) = -71*c - 44. Let f be q(-14). Suppose -4*o - f = -7122. Is o a composite number?
False
Let x(z) = 22*z + 23. Let k(c) = 22*c + 23. Let i(l) = -2*k(l) + 3*x(l). Is i(18) a composite number?
False
Suppose 5*m - b - 6 = 0, -3*b + 7*b + 4 = 0. Is 22 - (-3 + 2/m) composite?
False
Let u be (-18)/(-108) - (-2)/((-24)/1694). Let y = 278 - u. Is y composite?
False
Let f(x) = x**2 + 3*x + 3. Let q be f(-2). Let m = 1 + q. Is -3 - (24/m)/(-2) a composite number?
False
Let w(n) = -2*n**2 + 19*n - 20. Let b(l) = -2*l**2 + 19*l - 21. Let o(x) = -2*x - 2. Let v be o(2). Let q(c) = v*w(c) + 5*b(c). Is q(16) prime?
True
Let p = 20030 + -12507. Is p a prime number?
True
Let c(r) be the first derivative of 2*r**3/3 + 7*r**2 + 19*r + 17. Is c(18) prime?
True
Suppose -3*v - 850 + 2413 = 0. Is v a composite number?
False
Let p be (-1)/9 + 146/18. Is 0 - -71 - (p/(-4) + 4) prime?
False
Let a = -1796 + 2893. Let d = a + 638. Is d composite?
True
Let j = 308 - 608. Is (-4226)/(-30) + (-40)/j prime?
False
Let m(v) = 2*v**3 + 2*v**2 - 8*v + 6. Let w be m(6). Let b = w + -161. Is -3 + (-1 - -4) + b composite?
True
Is 10/(-4)*178/(-5) prime?
True
Let t = -164 + 250. Suppose 4*n = 3*y - 115 - 4, -4*n = -2*y + t. Is y prime?
False
Let r(x) = 58*x**2 - 11*x + 23. Is r(4) composite?
False
Let n(f) = 98*f**3 + 7*f**2 - 4*f - 14. Is n(5) a composite number?
False
Suppose 0*a + 2*a - 2*o = 12, 2*a - 4*o - 10 = 0. Let u(k) = 2 - 334*k + a - 6. Is u(-1) a composite number?
False
Let l = 912 + 1141. Is l prime?
True
Let g(x) = -11048*x**3 - 3*x**2 + 9*x + 11. Is g(-1) a composite number?
False
Is ((-1)/(-8))/((-8)/(-181952)) a prime number?
True
Let k(b) be the first derivative of -6*b**2 + 23*b + 18. Let q be (-3)/9*3*15. Is k(q) a prime number?
False
Let r = -796 + 809. Suppose 0*l + l - 9 = 0. Suppose r*m - 556 = l*m. Is m composite?
False
Suppose -g - g + 18798 = -4*u, 37576 = 4*g - 3*u. Is g a prime number?
True
Suppose 5*k + 3*h + 84 = 0, -3*k - 9 = -3*h + 27. Is (-10)/k + (-1893)/(-9) prime?
True
Suppose -6*d = -d - 5045. Is d prime?
True
Let n = -55 + 55. Suppose -5*i + 1791 + 914 = n. Is i a prime number?
True
Let f(u) = -163*u - 212. Is f(-17) a composite number?
True
Let u = 3 + -3. Suppose u = -n - 5*k + 587, -5*n + 3*k + 3039 = 2*k. Let l = n + -210. Is l prime?
True
Let f = 4944 + 575. Is f composite?
False
Let s = 1450 - 79. Is s a prime number?
False
Let w = -447 - -698. Is w a prime number?
True
Let f be (-1 + -667)*(-7)/2. Let q = 2346 + -3887. Let m = q + f. Is m a composite number?
False
Suppose 4*x = -o + 24, -3*x = 2*o - 2*x - 13. Suppose -3*y + 1043 = o*f, 0 = -y - 2 + 7. Is (0 + f)/(2/10) a prime number?
False
Suppose -14435 - 108610 = -39*k. Is k prime?
False
Let k(z) = 8*z + 7. Let w = 81 + -20. Suppose 0 = -4*u + w - 1. Is k(u) a prime number?
True
Let d(p) = 3*p - 31. Let s be d(9). Let t(i) = -9*i**3 - 3*i**2 + 3*i + 3. Is t(s) composite?
True
Is (-13436)/((-7 + 27)/(-10)) a prime number?
False
Let d be 0/(-3) - (1 + -892). Let r(y) = -y**3 - 15*y**2 + 13*y - 10. Let v be r(-14). Let g = v + d. Is g a composite number?
False
Let i be (-3 - -1)*(-6)/4. Is 0/i + (5*151 - 2) prime?
False
Suppose 2*v - 4 = 2*c, 3*v = -3*c - v + 22. Let w be (-1 - -6 - -3)*c. Is 34/6 - w/(-12) a composite number?
False
Let f(r) = -r**3 + 7*r**2 - r + 4. Suppose 3*x = -5*u + 44, 3*u = -x + 3*x + 15. Let t be f(u). Is 132 + t/(-1) + -4 prime?
True
Let q = 632 - -62. Is q composite?
True
Let r = -23 - 20. Let x = r + 98. Is x prime?
False
Suppose 1278 = -5*x + 10478. Let m be ((-18)/45)/((-2)/510). Suppose 2*l - x = m. Is l prime?
True
Suppose j - 3*j + 196 = -3*m, -5*j = -2*m - 116. Let s be (-51)/m + 3/(-4). Suppose 7*l - 1216 + 313 = s. Is l a composite number?
True
Suppose -1017 = -x + 4*z + 1520, 5*z = -5*x + 12585. Is x composite?
False
Suppose 2*v - 3*k + 92 = 0, -2*v = -k - 3*k + 88. Is 4 - v/(-14) - 2838/(-14) a composite number?
True
Let m be 250*(-2 - (-40)/25). Is (-82)/(-16)*22 + (-25)/m composite?
False
Let f(c) be the third derivative of -c**6/120 + 19*c**5/60 - c**4/2 + 19*c**3/6 + 4*c**2 - c. Is f(18) prime?
True
Let z(g) = g**2 + 3*g - 5. Let a be z(2). Suppose -v = 1 - a. Suppose 528 + 856 = v*l. Is l prime?
False
Suppose -5*b + 14 = p - 6, -2*b - 3*p = 5. Suppose -b*t - 4 = -7*t. Suppose -t*m + 4 = u - 43, 3*u - 2*m - 173 = 0. Is u prime?
False
Suppose -2*r - 6*x + 2*x = -2, -5*r - x - 31 = 0. Is 4 + r + 7 + 1107 composite?
True
Suppose 16*s - 17*s - 29905 = -3*b, 5*s = 2*b - 19954. Is b prime?
True
Suppose 18*k - 1958 = 598. Is k composite?
True
Let g be (-1 + 2)*(0 + 2). Suppose 0 = n + g*n - 132. Suppose -x + 24 = -0*x + u, -x = 5*u - n. Is x prime?
True
Let d = 74 - 132. Let x = d + 107. Suppose v - s - 206 - x = 0, 4*s = -8. Is v composite?
True
Suppose 32 = -0*m + 8*m. Suppose -1499 = -2*f + 3*x, 5*f - x = m*x + 3740. Is f prime?
False
Let g(u) = 940*u + 1. Let o be g(1). Suppose 3*y + 3*s + 242 = 4*y, -3*s = -4*y + o. Is y composite?
False
Let t(f) = 14 + 5*f**2 - 11*f**2 + 0*f**2 - 2*f**2 + 7*f. Let p(k) = -7*k**2 + 6*k + 13. Let j(r) = -3*p(r) + 2*t(r). Is j(6) a prime number?
False
Suppose -j + 5*o - 16 = 0, 2 + 3 = -2*j + o. Let a(r) = 35*r**2. Let h be a(j). Is 258/7 - (-5)/h a prime number?
True
Let j(n) = 8*n**2 - 2*n + 2. Let w be j(1). Suppose -w*x = x - 711. Is x a prime number?
True
Let l = -803 - -1203. Let t be 592 + 0/(-1) + -1. Let f = t - l. Is f composite?
False
Let f = -48 + 39. Let d(j) = -21*j + 9. Let q be d(f). Suppose -3*a + z = -0*z - 307, -2*a + 4*z + q = 0. Is a prime?
True
Let l(a) = -5*a - 3. Let p be l(-2). Suppose -3*o + p*o + 60 = 0. Is (-467)/o - 2/15 a composite number?
False
Suppose 2*f - 2*a = 2804, 5581 = -f + 5*f + 5*a. Is f composite?
False
Let q be (-886)/6 + 2/3. Let g = q + 83. Let c = g - -153. Is c composite?
False
Let q(s) = -69*s**2 - 2*s. Let v be q(2). Is -9 - v - (0 - 4/(-2)) a prime number?
True
Let v(g) = 9*g**2 - 68*g - 63. Is v(-30) prime?
False
Suppose -143135 = -17*j + 133982. Is j a prime number?
True
Let k be (-6 + 8)/(-2 - -1). Let q(x) = -8*x**3 - x**2 + 3*x + 4. Is q(k) prime?
False
Let i = 2119 + 1870. Is i prime?
True
Let a = 4 - 11. Let x = 7 + a. Suppose -4*b + 3*b + 203 = x. Is b a composite number?
True
Let s be 1/4 + 273/28. Let k(c) = c**3 - 9*c**2 - 12*c + 14. Let o be k(s). Is 25 - 4 - (2 + o) prime?
False
Let v(g) = g**3 + 7*g**2 + g + 5. Let m be v(-4). Let p be (-184)/14 - (-7)/m. Let l = 76 - p. Is l composite?
False
Suppose 18*g = 16*g + 116770. Is g a composite number?
True
Let f = -26332 + 53091. Is f composite?
False
Let n = -11 - 16. Let y = -24 - n. Is (y - 7)*93/(-12) composite?
False
Suppos