 1811, 2*z - 5*k = 1817. Is z a prime number?
False
Let o = 10 - 8. Suppose o*t - 1007 - 436 = 5*d, 10 = -2*d. Is t composite?
False
Is 2 - ((-2)/2 - 290) prime?
True
Let b(v) be the first derivative of v**5/4 - v**4/8 + v**3/6 - 3*v**2/2 - 4. Let y(l) be the second derivative of b(l). Is y(3) composite?
False
Let o(z) = 86*z + 1. Let g be 2 + -1 + -2 + 2. Is o(g) composite?
True
Let g be ((1 - 0) + -7)/2. Is 48 + ((-20)/4 - g) a prime number?
False
Let t = 6 - 2. Suppose -1 = -3*q - t, -111 = -h - 3*q. Suppose -299 = -3*x + 5*g + h, -4*x + 544 = -5*g. Is x a prime number?
True
Let v = -313 + 986. Is v a prime number?
True
Let r = -13 + 59. Is r composite?
True
Let q = 7 + -5. Suppose s - 29 + 92 = u, q*s + 59 = u. Is u prime?
True
Is 2/3*(-14745)/(-10) composite?
False
Suppose 26*f = 23*f + 6. Let s(m) = 26*m - 3. Is s(f) a composite number?
True
Is 1358/6*(27 + -24) a composite number?
True
Is ((-14)/6)/(6/(-1062)) prime?
False
Suppose 0 = -3*j + 4*k - 2*k - 1067, -k + 1072 = -3*j. Let f(m) = 31*m**3 - m + 2. Let z be f(-2). Let i = z - j. Is i a prime number?
False
Suppose -5 = -2*k - 1, 5*y - 1895 = 5*k. Is y a prime number?
False
Suppose -12 = 5*y - 3*c, 0 = -4*y + 3*c - 0*c - 12. Suppose -t + 42 = z, t - 2*z - 19 - 38 = y. Let j = 20 + t. Is j a prime number?
True
Let r = -69 + 120. Let v = 100 - r. Is v a prime number?
False
Let y(f) = 15*f**2 - 2*f + 2. Is y(3) prime?
True
Suppose 7 = 2*i - 35. Suppose 2*y - 2*q - i = 23, 4*y - 93 = -q. Is y a prime number?
True
Suppose 0 = -f + 4. Suppose -3*x - 12 = 0, -x + 308 = -4*d + 8*d. Suppose -d = -f*q - 18. Is q prime?
False
Let b be 3*(-3)/(-3*1). Let i = b + -2. Is i + (4/(-2) - -23) a composite number?
True
Suppose -18 = -z + 2. Is z/(-110) + 2323/11 composite?
False
Let d(k) = 6*k + 4. Let p be d(3). Let n be 4*(-2 + p/8). Suppose 0 = o - n*o + v + 28, 0 = o + 5*v - 14. Is o a composite number?
True
Suppose -3*q + 5305 = 2*q. Is q composite?
False
Let d be (2 + -2 + 2)*2. Suppose d*y = -0*y + 200. Suppose -4*a = g - y, 20 = 2*a - g + 4*g. Is a a prime number?
True
Let s be 24*(-3 + (-7)/(-2)). Let z be ((-6)/(-8))/(3/s). Suppose -z*n + 1093 = -800. Is n a composite number?
False
Let y = 4011 + -1442. Is y prime?
False
Let s = 402 + 139. Is s prime?
True
Let y be (-27)/(-6)*32/12. Let k = y - -369. Is k composite?
True
Let w = -7 + 17. Let x be (-50)/(-15)*12/w. Suppose x*t + q - 1601 - 51 = 0, -3*t = 4*q - 1239. Is t a prime number?
False
Suppose -5*c + 27 = t - 4, c + 4*t = -9. Suppose 2*v + c = 3. Is (-5)/(-2)*(v - -48) a prime number?
False
Let q(s) be the third derivative of -77*s**4/6 - s**3/6 - 6*s**2. Is q(-1) prime?
True
Suppose 2*u - u - 399 = 2*r, 3*u + r - 1204 = 0. Is u composite?
False
Suppose 0 = -p + 3. Suppose 5*k + 3*h = -0*k + 240, 0 = 2*k + p*h - 105. Let z = 22 + k. Is z composite?
False
Let a be (-1)/((-2)/(-3 + 221)). Is a/5 - 2/(-10) a composite number?
True
Suppose -472 = -6*v + 38. Is v composite?
True
Let q = 25 + 14. Is q composite?
True
Suppose 4*m - 8*m = -i - 63, 0 = 4*m. Let p(h) = 10*h**3 - 2*h**2 + h + 2. Let l be p(-2). Let c = i - l. Is c a composite number?
True
Suppose -2*c = -0*c - 2. Suppose -3*v + h = -c - 1, 2*v - 12 = -2*h. Suppose 0*m = -v*m + 114. Is m a composite number?
True
Suppose -s = 3*s - 100. Let l be -1*2 + 4 - -20. Suppose -b - b = -4*p + l, -4*p = -b - s. Is p a composite number?
False
Suppose -3 = 3*g + 3*s - 0*s, 0 = 5*g - 2*s - 30. Is g composite?
True
Let v be (-1)/(-2 + 1) + 0. Suppose 2*o - v = -q, 4*q - 6*o = -o + 17. Is (74/3)/(2/q) a prime number?
True
Let b(d) be the second derivative of d**5/20 + d**4/2 + 2*d**3/3 - d**2 + d. Is b(-4) composite?
True
Suppose -4*w + 9 - 38 = -5*y, y - 10 = 5*w. Suppose -r - 348 = -y*r. Is r a prime number?
False
Suppose 10*j - 5*j - 455 = 0. Is j a prime number?
False
Is ((-4)/(-8))/((-2)/(-8812)) a composite number?
False
Let r(b) = -21*b**3 - 2*b**2 - 2*b + 2. Suppose 5*n + y = -12, 0*y + 5*y - 15 = 0. Is r(n) composite?
False
Let x(c) = 2*c**2 + 2*c + 7. Is x(-8) prime?
False
Suppose o = 0, 12 + 3 = 3*c + 2*o. Suppose -x + 28 = -u, -5*x + 2*u = c*u - 100. Is x a composite number?
False
Let c be 8/(-12)*474/(-4). Let b be (-9)/(-54) + (-554)/12. Let j = c + b. Is j prime?
False
Let p(b) = 2*b**3 - b**2 + b. Let g be p(1). Suppose 0 = 5*c - d - 264, -c - g*d = -29 - 26. Is c a composite number?
False
Let f = 147 + -2. Is f prime?
False
Suppose 3*u + 2*u = 4*h + 70, 4*h = u + 2. Suppose -151 = -o - u. Is o composite?
True
Let t = 1 - 2. Let s be 6*t*(-1)/3. Suppose 5*w + 4*m - 185 = 0, -s*w + 124 = w + 5*m. Is w a prime number?
False
Let l(p) = 21*p - 6*p + 3 - 4 + 7*p. Suppose -4*j = -k - 19 - 2, j + k - 9 = 0. Is l(j) a composite number?
False
Let w(q) = -24*q - 12. Let p be w(-9). Let h = -56 + p. Suppose s - h = -3*s. Is s a composite number?
False
Suppose 231 = 6*y + y. Is y prime?
False
Is (-10)/4*(-17 + -161) prime?
False
Let n = 252 - 167. Is n prime?
False
Let n be (-4)/(-10) - (-138)/30. Suppose -n*a + a - 8 = 0. Is ((-6)/(-10))/(a/(-50)) prime?
False
Suppose 2*j = -0*j + 166. Is (-5)/(10/8) + j a composite number?
False
Let k(r) = -452*r**3 + 3*r + 2. Is k(-1) prime?
False
Suppose -6*t = -3*t - 30. Let m be 4/t + 10/(-25). Suppose -d + 4*d = -h + 151, m = -3*d + 5*h + 163. Is d prime?
False
Suppose 3*j = 1688 + 1765. Is j prime?
True
Let y(b) be the first derivative of -3*b**4/2 - 2*b**3/3 + 3*b**2/2 + 3*b + 2. Is y(-2) a prime number?
True
Suppose -3*i + 4*i - 55 = 5*s, -i = 5*s - 105. Suppose i + 47 = y. Is y composite?
False
Let s = -16 + -18. Suppose 0 = 2*f - 326 + 100. Let n = f + s. Is n prime?
True
Let r(x) = -50*x**2 + 1. Let k(h) = -99*h**2 + 3. Let u(o) = 2*k(o) - 5*r(o). Is u(1) a prime number?
True
Suppose j - 5*g = 308, -2*g + 5*g - 292 = -j. Is j prime?
False
Let j(s) = -7*s**3 + 4*s**2 - s. Let g be j(3). Let z = g + 275. Is z composite?
True
Let p(f) = -f + 11. Let l be p(9). Is 1782/14 + l/(-7) prime?
True
Suppose -l + 1048 + 685 = 0. Is l a composite number?
False
Suppose 3*k = 15, k + 6 = 2*v + 1. Suppose v*j - j - 5*y = 2016, -2012 = -4*j + 4*y. Is j composite?
False
Suppose 11*l + 1825 = 12660. Is l a prime number?
False
Let x be 0 + -2 + 1 - -7. Is (-1)/1 + 210/x a composite number?
True
Suppose -126 = -2*u + 3*j, 5*u + 5*j = -119 + 409. Let w = 89 + u. Is w composite?
False
Suppose 0 = -4*n + 8*n - 412. Suppose -4*s = -12, -g - s + n = 3*g. Is g prime?
False
Let b = 8 - 11. Let r be (b/(-9))/(1/9). Suppose 2*w = -2*i + 18, -r*w - 4*i + 0*i + 30 = 0. Is w prime?
False
Let d = 650 + -399. Is d composite?
False
Let p(o) = 74*o - 1. Is p(4) a composite number?
True
Let h(x) be the third derivative of 89*x**4/24 - 4*x**3/3 + x**2. Is h(3) a composite number?
True
Let r(h) = h**3 + 26*h**2 + 21*h + 21. Is r(-19) a prime number?
False
Let h(x) = x + 16. Let s be h(-12). Suppose -30 = -2*d - 4*z + 16, 0 = -d - s*z + 21. Is d a composite number?
True
Suppose 749 = 3*r - 4*t, 2*r + t = -3*t + 506. Is r prime?
True
Let c(s) = 1072*s**3 - s. Let u be c(1). Is (4/6)/(6/u) composite?
True
Let z be ((-4)/(-6))/((-5)/(-30)). Suppose 0 = -t + 4, -z*w + 89 = -2*t - 395. Is w a prime number?
False
Let j(d) = d**3 - 5*d**2 - 4*d - 3. Let f be j(6). Let g = 1 - 7. Is (g - -4)/((-2)/f) composite?
True
Suppose 2*x + 3 = 5*x. Let m be (306/10 + x)*5. Is ((-2)/4)/((-1)/m) prime?
True
Let h(r) = -10*r**2 + 3*r + 4. Let w(g) = g. Let s(u) = 29*u**2 - 6*u - 12. Let b(y) = s(y) - 2*w(y). Let c(x) = 6*b(x) + 17*h(x). Is c(-3) prime?
True
Let d = -2 + 4. Let u be ((-1)/(-3))/(d/6). Let o(c) = 47*c**3 - c**2 + 2*c - 1. Is o(u) a prime number?
True
Suppose 3 = s + 4. Let p be (4/(-10))/(s/(-10)). Is (17*-5)/(-5 - p) a prime number?
False
Let v = -55 - -5. Let g be (-1)/6 + v/(-12). Suppose 3*c + 168 = g*p + c, 4 = 2*c. Is p composite?
False
Let i be (-2)/4 + (-30)/(-12). Suppose 0*h + 224 = -i*h. Is h/(-5) + (-10)/25 a composite number?
True
Let u = 2453 - -3210. Is u composite?
True
Suppose 0 = -0*z + 4*z - 3*n - 14, -4*n = z - 13. Let f(k) = k**2 + k + 7. Is f(z) a prime number?
True
Let s(k) = -2*k**2 - 6*k + 2. Let v be s(-5). Let t = -11 - v. Is t a prime number?
True
Suppose 0 = 5*d - f - 6963, 3*f = 2*d + 1847 - 4627. Is d prime?
False
Let k(i) = -2*i - 3. Let h(b) = 2*b**3 + 3