 a(y) = -y**2 - 13*y + 71. Let j be a(-17). Let c(g) be the second derivative of g**5/5 + g**4/6 + g**2/2 + g. Is c(j) a prime number?
True
Let d(i) = 11*i + 51. Let q be d(-5). Is (-10158)/9*6/q composite?
False
Let p be 60/14 - (-10)/(-35). Suppose o - 375 = -p*o. Is (-4)/((-12)/o) - 2 a prime number?
True
Suppose 6*f + 5*o + 30 = f, -f + 3*o - 14 = 0. Let z = -11 - f. Is 13*(12 + -2) + z composite?
False
Let s(y) be the second derivative of y**6/24 - y**5/60 + y**4/24 - y**3/3 - 7*y**2/2 - y. Let z(m) be the first derivative of s(m). Is z(3) composite?
False
Let b = 49 + 211. Suppose -2*j = i - 131, 2*i - 4*j - b = -7*j. Is i a prime number?
True
Let x(b) = -2*b + 11 + 16 + 6*b**2 + 3*b**2 - 8. Is x(6) a composite number?
False
Let w(x) be the third derivative of 389*x**5/20 + x**4/24 - x**3/6 - 29*x**2. Is w(1) a composite number?
True
Let p(c) = -c + 14. Let r be p(12). Suppose 0 = m + r*m - 423. Suppose -4*a + m = w, 4*a + 306 = -w + 3*w. Is w a prime number?
True
Let k = 11262 - -3547. Is k a composite number?
True
Let i(g) = -6*g - 2. Let v(c) = 7*c + 1. Let u(o) = 6*i(o) + 7*v(o). Let p be u(2). Let r = 402 - p. Is r prime?
False
Suppose -350 - 230 = -5*k. Let q(o) = -7*o**2 + 6*o + 1. Let n be q(1). Suppose -3*s + 121 = p, p + n*s - k = -2*s. Is p composite?
True
Is -34406*((5 - 42/4) + 4) composite?
True
Suppose 2*f = 4, -20 = -5*g - 4*f - f. Suppose 0 = -4*y + 4*z + 9844, -3*z + 2469 = -g*y + 3*y. Is y a composite number?
True
Suppose -7*j + 14118 = 3793. Suppose 4*h - 1404 = -5*k - 242, -5*h + 5*k = -j. Is h a composite number?
False
Let q = 3 - 2. Let z(k) = 1848*k**2 - 6*k + 5. Is z(q) composite?
False
Suppose 104 = 4*p - 4*k, 70 = 3*p - 3*k + 4*k. Suppose 4*n = -3*r + n + 18, 0 = 2*r + 5*n - p. Let h = r + 55. Is h composite?
True
Let b(g) = g**3 - 6*g**2 + 4*g + 5. Let i be b(4). Is 1/2*i/((-44)/848) a prime number?
False
Suppose 5*p - 2011 = -3*o, -3*p - 1004 = -3*o + 991. Is o composite?
True
Suppose 21877 + 36017 = 6*g. Is g composite?
False
Let l = -337 + 1897. Suppose -2*a + 4685 = 5*j - l, -2519 = -2*j - 5*a. Is j a prime number?
False
Let r(z) = z**2 - 6*z - 12. Let j be r(9). Let w(q) = j*q - 2*q + 10*q. Is w(5) a composite number?
True
Suppose 3*k = k + 42. Let g = 61 - k. Suppose -g = -o + 31. Is o prime?
True
Let d(f) = -3*f - 15*f**2 + 11*f + 17*f**2 + 1 + 15*f**2 - f**3. Is d(8) prime?
True
Let s(q) = q**2 + 8*q + 13. Let y be s(-6). Is 15/5 + y + 43 composite?
False
Let w(n) = 44*n**2 + 6*n + 3. Let d be w(-6). Let s = d + -1072. Is s a prime number?
True
Suppose -5*m + 527 = -4*m. Suppose m = 4*h - 789. Is h prime?
False
Let b(d) = -d**2 - d + 5. Let i be b(-3). Is (-65)/(-25)*(i - -6) a composite number?
False
Let n(w) = -887*w. Suppose 3*x + 1 + 8 = -3*l, 4*x + 8 = -2*l. Is n(x) a composite number?
False
Is 17/(34/20) - -63039 a prime number?
False
Let x(y) = -12*y**3 - 6*y**2 - 13*y - 12. Is x(-5) a composite number?
True
Let s = -66 + 164. Let g = s - 55. Is g composite?
False
Suppose -k + 2*s - 122 = -9, -3*k - 347 = 2*s. Is 16/(-4) - (7*k + -2) composite?
True
Suppose 0 = 6*o - 4398 - 18084. Is o a prime number?
False
Let d = 8343 - 4384. Is d a composite number?
True
Suppose 3*q - d - 6160 = 0, -q - d + 921 + 1131 = 0. Is q a prime number?
True
Is (-7 - -5) + 5061 + 4 - 4 prime?
True
Suppose 787863 = 50*l - 306187. Is l a composite number?
False
Suppose 2*t - 13 = -3*o, 0 = -4*o - 3*t - t + 20. Suppose 2*w + k - 816 = 0, 0*k + 2051 = 5*w - o*k. Is w composite?
False
Suppose -45 = -2*j + 11*j. Is (-615)/j + (5 - 1) composite?
False
Suppose -q + 3*v = -41186, -2*q + 82345 = -3*v + 6*v. Is q a composite number?
False
Let p be 16227/108 + -2*1/8. Is ((-2310)/p)/((-2)/10) composite?
True
Let s = 5 + -2. Suppose 5*q + 4 = x - 18, 0 = s*q + 12. Is 250 - (-12)/8*x a prime number?
False
Suppose n + 2 = 3*b + 3*n, 2*b = -4*n + 12. Is b + -2 + 6 - -1115 a prime number?
True
Suppose 8 = q + 3*q. Suppose -653 = b - 0*b - 3*z, b - q*z + 653 = 0. Is 3/(-5 + 2)*b composite?
False
Is (-4)/18 + ((-5580992)/72)/(-8) composite?
False
Suppose -6*u + 1951 = -2669. Let z = u + 82. Let s = -401 + z. Is s composite?
True
Let t(s) = 2840*s**2 + 31*s - 76. Is t(3) a composite number?
False
Let m(z) = -z**3 - 7*z**2 + 15*z - 11. Let q be m(-9). Is 143 - -2 - 8/(q/4) a composite number?
True
Let n = 5392 + -2549. Is n composite?
False
Suppose -9*n + 18*n = 23535. Is n a composite number?
True
Let o(j) = j - 4. Let d be o(13). Let k(i) = 13*i**2 + 3*i - 21. Is k(d) a prime number?
False
Let t be (9/(-18))/(2/(-80)). Suppose 0 = 4*d - 3*q - t, -2 + 12 = d - 2*q. Suppose -d*i = 3*y - 0*i - 105, -y + 3*i = -35. Is y composite?
True
Suppose -2*v + 2386 = -4*j, 3*v + 20*j - 3604 = 21*j. Is v composite?
True
Let t(c) = -171*c + 29. Is t(-8) composite?
True
Let n = -7533 - -16390. Is n composite?
True
Let f be (-2)/2 - (0 + 0 + -2). Is 4/(-18) - f/(18/(-2290)) a composite number?
False
Let x(a) = -121*a - 427. Is x(-48) a prime number?
True
Let x(n) = -3*n**3 + 4*n**3 - 2*n**3 + 9 - 8*n + n**2. Let l(u) = -2*u**3 + 2*u**2 - 9*u + 9. Let d(a) = -2*l(a) + 3*x(a). Is d(8) a prime number?
True
Let c be (15/6)/(-1)*-2. Suppose c*t = 5*g - 465, -501 = -5*g - 6*t + 2*t. Is g a prime number?
True
Let f(d) = -2*d**2 - 12*d + 2. Let s be f(-6). Let h(p) = -9 - 2 + 11*p + s*p. Is h(10) composite?
True
Let j = 70142 + -43286. Suppose -y + 3260 = -3*a, 5*y - j + 10586 = 5*a. Is y composite?
False
Let b be (10/15)/((-1)/9). Let w be (-1 + 3)/((-3)/b). Suppose n + 45 = w*n. Is n prime?
False
Suppose -2*u - 3116 = -4*c - 7*u, 4*c - 3116 = -2*u. Let w = 74 + c. Is w a composite number?
False
Let h be (-91)/(-14) + 6/(-4). Suppose 4*t = -3*r + 13, 0 = -h*t - 2*r + 6*r + 24. Suppose t*y - 77 = -o, 0*y = -5*o - 2*y + 439. Is o prime?
True
Let j = 2237 - 1140. Is j prime?
True
Let t(r) = r**2 + 2*r - 4. Let m(y) = y**2 - 12*y + 13. Let k be m(10). Is t(k) composite?
False
Suppose -18 = 4*p + 22. Let n(c) = 8*c**2 + 25*c + 21. Is n(p) composite?
False
Suppose 2*x - 3*x = -m - 91, 4*x - 2*m = 364. Suppose -x + 568 = 3*g. Is g prime?
False
Suppose 46*m - 45542 = 39*m. Is m a composite number?
True
Let f = -2967 + 4184. Is f a prime number?
True
Let z(s) be the second derivative of -s**5/20 - 2*s**4/3 + s**3 - 19*s**2/2 - 30*s. Is z(-10) a prime number?
False
Let n = 301 - 156. Is n a composite number?
True
Suppose 0 = 4*v - k - 91 - 41, -v - 2*k = -33. Is v/(-2)*(-798)/63 composite?
True
Let c(p) = -p**3 - 6*p**2 - p - 7. Suppose 0 = 4*v - 0*u + 5*u + 39, v - u + 3 = 0. Let z be c(v). Let d(f) = -46*f + 1. Is d(z) composite?
False
Let s(h) = 410*h + 17. Is s(3) a composite number?
True
Let z(w) = 2655*w + 314. Is z(5) a composite number?
True
Let y be 2/5 + (-16)/40. Suppose y = -c + 355 - 36. Is c prime?
False
Let d = 739 + 3072. Is d a composite number?
True
Let q = 60127 - 24866. Is q composite?
True
Let y(c) = 2*c**2 + 2*c + 18. Let k be y(-12). Let o = 508 - k. Is o a composite number?
True
Let s(r) = -r**3 + 12*r**2 + 11*r + 237. Is s(-14) a prime number?
True
Suppose -5*l - 3*g + 29 = 0, -l = g + 3*g - 16. Suppose -6*o - 3*u = -7*o + 1901, -l*u = 3*o - 5703. Is o a composite number?
False
Suppose -21 = a + b, -2*a - 14 - 37 = 5*b. Let u be (4 + -1)*(-12)/a. Suppose 3*o = 2*o + 4*k + 87, 5*o + u*k = 391. Is o a composite number?
False
Suppose 38*s = 32*s - 114. Let i = 240 - s. Is i a prime number?
False
Let w(u) = -4701*u + 11. Is w(-2) a prime number?
True
Suppose -1001 = -h + w + 3928, 9 = -3*w. Is (h/15)/((-14)/(-35)) a prime number?
True
Suppose 3*i = 5*c - 4*c - 39613, -3*i - 6 = 0. Is c composite?
False
Let h = -453 + 757. Suppose 3*y - 5*d = 457, 0 = 5*y - 3*y - 3*d - h. Is y a composite number?
False
Let h(p) = -6*p**2 - 5*p**2 - p + 2*p + 9 + p**2. Let z be h(5). Is 4/12 - z/3 composite?
False
Suppose 2*q + r - 1240 = 0, 0*q + 5*q - 3100 = 3*r. Suppose 5*j = 5*m + q, -4*j - 6*m = -7*m - 505. Is j prime?
True
Let f = 1 + 3. Suppose 166 = o + 5*c, -f*o + c + 574 = 3*c. Is o composite?
True
Suppose -68*t = -67*t. Suppose 0 = 3*b + 5*l - 1607, -2*b = -4*l - t*l - 1042. Is b a composite number?
True
Suppose 0*j = 5*j + 6180. Let w = 713 + j. Let i = -312 - w. Is i a prime number?
True
Let z = 3725 - 2164. Is z composite?
True
Let k(h) = -3*h + 13. L