 = 56*n - 5. Suppose -t = 2*y - 12, -4*t - 20 = -9*t. Let x be k(y). Let i = -140 + x. Is i a composite number?
False
Let n = 14 - 10. Suppose -n = -3*b + b. Is 64 - -2*b/4 a composite number?
True
Let h be 7 - (-2 - 0)*-1. Suppose -h*u + 956 = -i, 2*u + 2*i = 3*u - 193. Is u a prime number?
True
Let o = -100 + 389. Is o prime?
False
Let m(q) = -q**3 + 25*q**2 - 22*q + 5. Is m(24) a composite number?
False
Let k(m) = -m - 4. Let j be k(-5). Let w = -7 + j. Is (-2)/(-1)*(-201)/w a composite number?
False
Let p = -11 + 31. Is ((-24)/p)/((-2)/205) a composite number?
True
Let r = -1686 + 2929. Is r composite?
True
Let p(r) = -r**2 + r + 553. Is p(0) composite?
True
Let k(s) = -s**3 + s**2 + s + 49. Suppose -2*v = 2*v - 16. Let g be ((-2)/v*0)/1. Is k(g) composite?
True
Let i(q) = -q**3 - 15*q**2 + 21. Let o be i(-15). Suppose n + 5*t = -10, 4*n - 11 = -0*t - 3*t. Suppose v + 5*k - o = 0, -n*v + 0*k + 157 = -k. Is v prime?
True
Let f = 5 - -10. Let h = -1 - f. Let c = h - -71. Is c composite?
True
Suppose 2*o - 4 = 0, -3*o = 7*l - 2*l - 341. Is l a composite number?
False
Is (-2)/(-8) - (435/(-4))/1 a composite number?
False
Is ((-158)/(-5))/(8/20) composite?
False
Let p be (-5)/(10/6) - 19. Is 4 + -7 - p/1 composite?
False
Let g(j) = 5 + 38*j - 8 - 8. Is g(9) prime?
True
Suppose 787 = y - 0*y. Is y a prime number?
True
Suppose 4*x - 2064 - 2084 = 0. Is x composite?
True
Let x = 5 - 3. Suppose 4*t - x*j = t + 279, -181 = -2*t + 3*j. Is t prime?
False
Suppose 3*a - 2*a + 2*i = 0, 0 = -2*a + 3*i + 14. Let d(w) = -6*w + 2*w**2 - 2*w + a*w. Is d(3) a prime number?
False
Suppose -2*p = 3*l + p + 1101, -4*l + 2*p - 1492 = 0. Let f = 52 - l. Let i = 614 - f. Is i composite?
False
Let b = -20 - -78. Is b a prime number?
False
Suppose 11*k = 8*k + 8121. Is k composite?
False
Let k(r) = 0*r**3 + 5*r**2 + 2*r**2 + 9 - 3*r - r**3. Let v be k(6). Suppose u - 28 - v = 0. Is u composite?
True
Let t(w) = -w**3 - 7*w**2 + 4*w - 5. Let l(c) = -3*c**2 - 3*c - 3. Let i be l(-2). Is t(i) prime?
False
Suppose 0 = -4*r - 3*u + u + 1070, -r + 278 = -3*u. Is r a prime number?
True
Let f(h) = 2 + h**3 + 1 + 5*h**2 + 0*h**3 - 5*h + 2. Let m be f(-6). Let z(g) = -23*g. Is z(m) a composite number?
False
Suppose -1310 = 4*d + 4*r - 4174, 3*r = d - 728. Is d composite?
False
Suppose 0 = 5*g - 486 - 449. Is g a prime number?
False
Let n be -10*(-1)/(-2 + 1). Let o be (172 - 2)*4/n. Is ((-6)/4)/(2/o) prime?
False
Let t(m) = 3*m - 1. Let v be t(1). Is v/(-8) + 1935/12 prime?
False
Suppose 5*v - 26 - 4 = 0. Suppose 4*n + 62 = v*n. Is n a composite number?
False
Suppose -34 - 1 = -x. Suppose u = 18 + x. Suppose 0 = -f + 2*f - u. Is f composite?
False
Suppose 5*w - 39 = 116. Suppose 0 = 5*l - s + 46, -3*l + 2*l = -3*s + 12. Let y = l + w. Is y composite?
True
Suppose -4*q - 13 = -5. Is (-6)/12 - 335/q composite?
False
Let y = -5806 + 9221. Suppose s = 6*s - y. Is s composite?
False
Let q = 283 - -2484. Is q a prime number?
True
Let r = 1963 + -492. Is r a prime number?
True
Let d(a) = a**2 + 8*a + 13. Suppose -4*f + 0 = 40. Is d(f) a composite number?
True
Suppose -2*g - 8 = -a, 2*g - 4 = 3*g - a. Let n(q) = -q**2 + 1. Let z(j) = -j**3 - 12*j**2 - 6*j + 1. Let o(t) = 6*n(t) - z(t). Is o(g) prime?
True
Suppose -256 = -4*x - t - 77, t + 5 = 0. Is x composite?
True
Let a be (-7)/(-1) + (1 - -1). Let y = 1 - a. Let n(r) = 2*r**2 + 4*r - 5. Is n(y) composite?
True
Let o(i) = 212*i - 7. Is o(4) composite?
True
Let h(q) = q - 7. Let f(p) = p - 1. Let j(i) = 2*f(i) - h(i). Let z be j(-3). Suppose 4*v = z*n + 252, -n - 85 = -v - 6*n. Is v composite?
True
Let z be -3 - (-648 + -3 + -2). Suppose 0*k + z = 4*m + k, 4*m + 4*k = 644. Is m a composite number?
False
Suppose -121 = -s - 7. Suppose s = -2*h + 4*h. Suppose -2*n + h = -53. Is n a composite number?
True
Let u(k) be the first derivative of -k**5/2 - k**4/12 - k**3/2 - k**2/2 - 2*k - 5. Let i(v) be the first derivative of u(v). Is i(-3) composite?
False
Suppose 0 = -2*g - 49 + 145. Suppose 4*r + 5*p + 11 = g, -2*p = r - 7. Is r prime?
True
Let u(h) = -35*h - 31. Is u(-10) a composite number?
True
Suppose -2*v + 18 + 38 = 2*p, -52 = -2*v - p. Suppose -13 = -n + v. Is n prime?
True
Let m(y) = -5*y + 3. Let q be m(9). Suppose -6*h + 158 = -4*h. Let l = q + h. Is l a prime number?
True
Let y(i) = -1 - i**3 - 2 - 2 - 28*i + 23*i + i**2. Is y(-4) a prime number?
False
Let u(g) = -g**2 + 205. Is u(0) prime?
False
Let k(w) = w**2 + 9*w + 5. Let l be k(-6). Let d = -16 - -36. Let a = d + l. Is a prime?
True
Let r(c) = 2*c**3 + c**2 + c + 1. Let x be r(-1). Let p be 4/(-5)*5/x. Suppose 2*m - w = 41, -p*w + 13 = m - 2*w. Is m a prime number?
True
Let z be 2/4 + 7290/20. Let m = z - -157. Suppose -3*n + 781 = -y - 4*y, -2*n + m = -3*y. Is n composite?
True
Let y(u) = 317*u**2. Is y(-1) prime?
True
Let i be (4/(-3))/(3/(-9)). Suppose -5*v + 2 = 12, -124 = -4*a - i*v. Is a a composite number?
True
Suppose 5*i - u - 43 - 678 = 0, 2*u = -5*i + 733. Let a = 238 - i. Suppose q - 60 = -3*t, 3*t + t = 3*q + a. Is t composite?
True
Let y be (-3)/(-2)*68/3. Suppose -3*h = y - 112. Is h composite?
True
Let p be (-10)/4*42/(-35). Suppose 148 = p*k + k. Is k prime?
True
Suppose -w - 3*c + 2760 = 2*c, -8229 = -3*w + 2*c. Suppose 4*u = -2*v + w - 821, v - 483 = -u. Is u a prime number?
True
Let p = 23 + -14. Let r(i) = 2*i**2 - 7*i - 20. Is r(p) composite?
False
Let t = 200 - -11. Is t prime?
True
Let t(b) = 458*b**2 + b - 2. Is t(1) prime?
True
Is 3/(-2)*17838/(-27) composite?
False
Let w = -5 + 15. Let m be w/(-6) - 3/9. Is -23*m/(2 + 0) a prime number?
True
Suppose 0 = -2*v + v + 59. Is v a composite number?
False
Let l(i) = 7*i - 4. Let h be l(5). Let t = h - 10. Is t a composite number?
True
Let m = 2 - 8. Let y = 10 + m. Suppose -y*u + 0*u + 420 = 4*l, 3*l - 331 = u. Is l a composite number?
False
Let m(x) = 9*x**2 - 2*x + 4. Is m(3) composite?
False
Let v = -2218 + 3855. Is v composite?
False
Let k be (3/6)/(5/90). Suppose 3*s - k*s + 8166 = 0. Is s a prime number?
True
Suppose 0 = -2*w + 7 - 3. Suppose -2*i = -2*o + w*i + 58, -2*o + 5*i = -55. Is o a composite number?
True
Is 906 + (3 + 1 - 3) composite?
False
Let x = -11 + 13. Let l be 0/(0 + (1 - 3)). Let m = l + x. Is m a prime number?
True
Suppose -4*j - 3*c - 936 = -7*j, -4*c - 327 = -j. Is j a composite number?
False
Let b(v) = 2*v**2 - 4*v + 1. Is b(-3) a composite number?
False
Let z = -504 + 919. Is z a composite number?
True
Suppose -5*d - 804 = -2*d. Is (d/(-8))/((-3)/(-12)) composite?
True
Suppose -2*c + 4*h + 0*h = 54, -4*h + 124 = -4*c. Let n be (-2040)/c + (-2)/7. Suppose -z + 1 = -n. Is z composite?
False
Let b(q) = -10*q**3 + 2*q + 2*q - 3*q**2 - 2*q - 2. Is b(-3) prime?
False
Let d(g) = 308*g**3 - 2*g**2 + g. Suppose -3*n = -7*n + 4. Is d(n) a prime number?
True
Let p be 2*2/(-4)*-2. Suppose 0 = p*d - 6*d. Is 71 - (d + 0 + 2) prime?
False
Suppose 7*b - 15 = 2*b. Suppose y = 4*o + 10, 2*o - 4 = -b*y - y. Is 3/((-3)/(-65)) + y a composite number?
False
Let o = -24 + 977. Is o prime?
True
Let g = -1630 - -2469. Is g prime?
True
Let i be 15/((2/1)/2). Suppose 30 = 3*w - i. Is w prime?
False
Suppose 60565 = -4*z + 9*z. Is z composite?
False
Let t = -50 + 83. Is (22/t)/(2/195) composite?
True
Suppose 0 = q - 3*d - 167, -3*d + 738 = 4*q - 5. Suppose 3*w - 6 + 470 = 5*y, 3*w + q = 2*y. Is y a prime number?
False
Is 26/(-273) + (-100239)/(-63) a composite number?
True
Suppose -3*l = -5*x + l + 4993, -3*l = -4*x + 3994. Is x prime?
True
Let m be 3 + 56 + (-1 - -2). Let y = m - 36. Let v = y - -73. Is v a prime number?
True
Suppose r + 0*d + 4*d = 63, -4*d - 8 = 0. Let a = -38 + r. Is a prime?
False
Suppose -4*d = -7*d - 5*f + 2087, -3*f = -d + 677. Is d a prime number?
False
Suppose 385 + 110 = -5*b + 5*c, 198 = -2*b + 3*c. Suppose 8*o + 86 = 1302. Let a = o + b. Is a prime?
True
Is (-8)/10 + (-259)/(-5) a composite number?
True
Let v(o) = 586*o**2 + o. Is v(1) composite?
False
Suppose -5*y + 1549 + 486 = 0. Is y a prime number?
False
Let q = 473 + -222. Is q prime?
True
Let y(w) = -w + 1. Let h(x) = 3*x - 6. Let n(t) = h(t) + 2*y(t). Let p be n(7). Suppose -102 = -p*l - 0*l. Is l a composite number?
True
Suppose -l = -318 - 435. Is l a prime number?
False
Let h(i) be the first derivative of -i*