 + 14*s**2 - 14*s + 17. Let g be a(-15). Is 2165807/116 - g/(-8) prime?
True
Let t(o) = 2*o**3 + o**2 + o. Let h be t(0). Suppose h = -2*w + 5 - 1. Suppose -1197 - 1525 = -w*q. Is q prime?
True
Let r be (-3)/6*-228*3. Suppose 804 + r = 6*f. Is f a composite number?
False
Suppose -2*y + 2*p + 2*p = -10, 0 = 5*p. Suppose l + y*k - 8*k - 1206 = 0, -l + 1200 = 3*k. Is l a composite number?
True
Suppose -x + 19 - 25 = 0, -2*m = x - 48032. Is m a composite number?
False
Let x(f) = f**2 + 345*f - 1671. Is x(137) a composite number?
True
Let r(s) = 5*s**3 - 3*s**2 + s - 11. Let q(w) = -w**3 + w + 1. Let o(c) = -2*q(c) + r(c). Let m be o(6). Suppose x = 2*x - m. Is x prime?
False
Let h(d) = 2*d**2 + 52*d + 47. Let l be h(-18). Let a(m) = 872*m. Let k be a(1). Let f = k + l. Is f prime?
True
Let s = 358 - 347. Suppose -s*g + 894 = -5*g. Is g composite?
False
Let q = 8858 + -6128. Suppose -3*v - 5438 = -4*w, 12*w - 14*w + q = 4*v. Is w a prime number?
True
Let b(i) = 3770*i**2 - 2. Let l be b(-1). Suppose -4*o = 3*x - 3775, -4*o = -3*x - o + l. Is x a composite number?
True
Let v = -19686 - -64175. Is v prime?
False
Suppose 10*a = 9*a + 10. Is 134*((-4)/10 + 14/a) a prime number?
False
Let h(y) = -y + 4. Let x(o) = 41*o + 102. Let v(r) = -3*h(r) + x(r). Is v(13) prime?
False
Let y(x) = 419*x**2 + 8*x - 18. Let l be y(-6). Let d = 709 + l. Is d prime?
True
Let o = 129 + -84. Suppose -b + 6426 = 5*b. Suppose 5*u + 4*r = o + 1008, -5*u + 2*r + b = 0. Is u prime?
False
Suppose 2135 = 3*v + 4*f, -v + 15*f - 12*f = -716. Suppose 1800 = 5*h - 5*g, -5*h - 5*g = -3*h - v. Is h a prime number?
True
Suppose 13*n = 18*n - 4*c - 561999, 224800 = 2*n - 2*c. Is n composite?
True
Let p be -1*(-6 + 5)*-1. Let g(z) = -6175*z + 4. Is g(p) prime?
False
Suppose -6*f + 16 = -32. Let g(m) = 10*m**2 + m - 15. Let p be g(f). Is (7 + -8)/((-3)/p) composite?
False
Is (-2)/(-4)*(-2270372)/(-26) a composite number?
False
Let h(n) = -n**3 + 14*n**2 - 12*n - 8. Let v be h(13). Suppose 6*d - 17 + v = 0. Suppose -1088 - 302 = -d*p. Is p prime?
False
Let b(t) = 250*t + 140321. Is b(0) composite?
False
Let n = 71941 + 8602. Is n composite?
True
Is (-198)/(-24) - (-1 + 8) - (-1884375)/4 prime?
False
Let h(t) = -t**3 - 12*t**2 + 10*t + 8. Let b be h(-12). Let k be 2/(-10) - b/35. Suppose j - 820 = -k*j. Is j a composite number?
True
Let s(r) = 36*r + 56. Let i(j) = -19*j - 28. Let y(c) = -9*i(c) - 4*s(c). Let g(o) = o**2 - 3*o + 3. Let a be g(4). Is y(a) composite?
True
Let i be (3 - 248/88) + (-62)/(-22). Suppose -r - 9 = 5*m, 0*m - 16 = i*r + 4*m. Is (6/r)/((-1)/(-6 + 1148)) a prime number?
False
Suppose -12*g + 1 + 11 = 0. Let r(n) = 6195*n - 2. Is r(g) a prime number?
False
Let r = 42560 - 24909. Is r a composite number?
True
Let o(a) = -17112*a - 1561. Is o(-12) a composite number?
True
Suppose -406*q = -408*q + 1434. Suppose -4*j + 287 = -q. Is j prime?
True
Is ((-174798568)/(-98) - -44) + (2/14 - 0) prime?
False
Let p = 44 - 45. Let u be ((-702)/(-8) + p)*4. Suppose 3*s - 5264 = -u. Is s a composite number?
True
Suppose c - 20493 = -2*f, 28*c + 5*f - 102425 = 23*c. Is c prime?
True
Suppose 7*o + 9 = 10*o. Suppose -13 = 2*u + 5*t, 3*u - o*t = t + 15. Is 753 - (-8)/(-4 + 0)*u a composite number?
False
Let x(p) = p**2 + 19*p**3 + 253 - p - 257 + 2*p**2. Is x(3) composite?
True
Let g(z) be the first derivative of 23*z**4/4 - z**3/3 - 3*z**2/2 - 7*z + 48. Is g(4) composite?
True
Let p be (-70)/(-8) - (-60)/48 - 6. Let m(r) = -r**2. Let s(b) = 17*b**3 - 7*b**2 - 3*b + 13. Let j(d) = -2*m(d) + s(d). Is j(p) a composite number?
False
Suppose -5*n + 0*n = -10. Let j be (-1 - -2)/(n/(-258)). Let x = 240 + j. Is x prime?
False
Let m(l) = 1923*l**3 - l**2 + 8*l - 21. Let i be m(2). Is i + 2 + 1 + -7 a prime number?
False
Let o(m) = 313*m + 2825. Is o(92) a composite number?
True
Suppose 6777843 = -46739*c + 46742*c. Is c prime?
True
Let d(n) = -39 - 33 + n + 74. Let y be d(-1). Is -1 + y - (-1660 - (-3 + 0)) composite?
False
Let a(u) = u**2 + 8*u + 1. Let v be a(-8). Let y be -3*2/18*-15*v. Suppose 4*m + 4*o + 57 = y*m, o = 4*m - 213. Is m a composite number?
False
Let i be (-14)/4*(-4)/(-7). Let q be i + (-5 + 1 - 4798). Is (3/(-6))/(2/q) prime?
True
Let d = -98339 - -284716. Is d prime?
True
Suppose 0*p + 18*p = 24948. Let i = p - -71. Is i a prime number?
False
Suppose 3054*j - 3033*j - 3619749 = 0. Is j prime?
False
Suppose -121*i + 182 = -114*i. Is (-4 - (-5)/(40/i))*-2276 prime?
False
Let m be ((-126)/(-147))/((-2)/(-7)). Let l(n) = 64*n**3 - 5*n + 4. Is l(m) a prime number?
False
Let w(h) = h**3 + 20*h**2 - 85*h - 75. Is w(-19) a composite number?
False
Suppose 0 = -283*x - 1254245 + 174539956. Is x a composite number?
False
Let o(g) = g**2 + g + 47. Suppose -3*r - 168 = -10*r. Is o(r) composite?
False
Suppose -14*a + 15 = -11*a. Let o = -91 - -169. Suppose a*y = -3 + o. Is y a prime number?
False
Let s(q) = 397*q**2 + 20*q + 28. Let j be s(-6). Let c = j + -6383. Is c a composite number?
False
Let y(g) = g**3 + 6*g**2 + 3*g - 6. Let t be y(-5). Suppose 4*w - z - 2 = 17, -t*w + 4*z = -28. Suppose -m + 4 = 2, -w*m - 3258 = -2*c. Is c prime?
False
Let y(h) = h**3 + 156*h**2 - 228*h + 104. Is y(-57) prime?
True
Suppose -89*r + 2050 = -99*r. Let j(o) = -o + 6. Let m be j(6). Is -2 + r/(-1) + (m - 1) a prime number?
False
Let a(b) = b**2 + 18*b + 38. Suppose 3*q = 3*o + 2*o + 86, 12 = -o - 2*q. Let p be a(o). Suppose -2016 = -3*l + 3*y, -5*l = -p*l - 2*y + 663. Is l composite?
True
Let m(r) = 12*r**3 - 3*r**2 + 12*r + 30. Let p(l) = -l**3 - l**2 - l. Let w(o) = m(o) + 4*p(o). Is w(7) composite?
True
Let w be (160/(-15))/8 - (-41809)/3. Let r = w - 8198. Is r a composite number?
False
Suppose -3391 = -6*t + 29. Suppose -t = -n - 2097. Let p = -706 - n. Is p a composite number?
False
Suppose 31*m + 162 = -6*f + 36*m, -5*f = m + 135. Is ((-192369)/f - 7) + (-4)/(-18) prime?
False
Let l(u) = 224*u - 19. Let q be l(3). Let y be q - -3 - (3 + -2). Suppose -y = -6*w + 1877. Is w prime?
False
Let x = -2466 + -1851. Let t = -1822 - x. Is t a composite number?
True
Suppose 3*y + 4382 + 13889 = 2*k, y = 3. Let l = 23382 - k. Is l a prime number?
False
Let f = -77317 - 17285. Let j = 137107 + f. Is j a prime number?
False
Let k(b) = -b**2 + 12*b - 11. Let c be k(4). Is (-47390)/(-15)*c/14 composite?
True
Suppose 4*c = -4*n + 24, c + 1 + 5 = 3*n. Let t be (24/5)/(n/(-150)). Let v = 451 + t. Is v a composite number?
False
Let t be (-76)/(1 + -5) + (2 - 0). Let j be 10/3 - (3 - 56/t). Suppose 0 = 4*r - j*r - 3155. Is r a composite number?
True
Is (-28 - -18 - -13) + 67444 a composite number?
False
Suppose -24*f = -3*f - 231. Let r(j) = 5*j - 2*j**2 + 45*j**3 - 44*j**3 + 0 - 3. Is r(f) composite?
True
Let s(x) = 20*x + 92. Let v be s(-5). Let h(n) = 25*n**2 + 14*n + 29. Is h(v) prime?
False
Let l = 69 + -54. Suppose -7*k + l*k = -1536. Let n = k - -403. Is n a composite number?
False
Let o = 431 - 252. Let v = 246 - o. Is v prime?
True
Let l(n) = n**3 - 4*n**2 - 5*n + 2. Let d be l(5). Suppose -d*s = -4004 + 1194. Is s prime?
False
Suppose -d = 4*z + 21, -7*d + 3*z + 2 = -5*d. Let j be -4614*((-16)/(-40) + 7/d). Suppose -2*o - h = -3083, -3*o = -h + 6*h - j. Is o a prime number?
True
Let f = 251747 + -148780. Is f composite?
False
Let z(w) = 2866*w**2 + 10*w + 2. Let c be z(-4). Suppose -10855 = -27*s + c. Is s a prime number?
True
Let v = -5471 + 36948. Let n = v - 21446. Is n a prime number?
False
Suppose 0*b + 5*b + 4*x = 654041, 5*b - 654021 = x. Is b composite?
True
Let v(z) = -2*z**2 - 10*z - 3. Let p be v(-3). Suppose p*r - 7681 = 3425. Is r a composite number?
True
Suppose -107*q + 104*q = -14466. Suppose 6*a - q = 7016. Is a prime?
True
Is (7 - (-6)/(-1))/(5/59965) a composite number?
True
Suppose 0 = 2*i - 0*i + u + 5, -15 = -4*i + 3*u. Suppose 239*q - 240*q + 3251 = i. Is q a composite number?
False
Suppose 223*z - 663529 = -256331. Let r(l) = 16*l - 3. Let x be r(6). Let q = z - x. Is q a composite number?
False
Suppose -37 - 19 = -7*h. Suppose 0 = 4*n + h, z + 2*n = 5*z - 952. Suppose o + 4*s - 211 = 0, 0 = 4*o - 2*s - 1045 + z. Is o composite?
True
Let n = -37 - -47. Suppose n = 9*h - 17. Is 314 - (h + 3 + -6) composite?
True
Let t(c) = -37*c - 74. Let p be t(-19). Suppose -3*j + 364 = -p. 