et f(v) be the first derivative of 17*v**3/3 + 3*v**2/2 + 5*v - 59. Is f(b) a composite number?
False
Let s(d) = 162*d**2 + 33*d - 58. Is s(9) composite?
True
Let o(p) = p**2 + 7*p + 16. Let i be o(-11). Let q = 761 + i. Is q composite?
False
Is (7 - -3)/10 - 6*-1226 prime?
False
Let p(d) = 273*d + 37. Let n(s) = 136*s + 19. Let k(h) = -9*n(h) + 4*p(h). Is k(-12) a prime number?
False
Let g = 338 - -451. Is g a composite number?
True
Let t(o) = -142*o - 4. Let l be t(-10). Suppose 0 = -3*w - 2 + 5, -4*m + 4*w + l = 0. Is m prime?
False
Let k(g) = -2*g**2 + 6*g + 5. Let l be k(5). Let j = 17 + l. Suppose -76 = -j*t + h, 0 = t + 2*h - 29 - 9. Is t a prime number?
False
Let r(v) = -3*v**3 - 20*v**2 - 16*v - 80. Is r(-17) a prime number?
True
Suppose 26*g - 33779 = 23967. Is g composite?
False
Let a = 509 - 41. Suppose 3*z + a = 4*f + z, 4*f - 3*z = 464. Is f a prime number?
False
Let g = 20 + -15. Suppose -2*h - 2 = v - 1, h = g*v + 5. Suppose h = 5*i - 3*a - 95 - 66, 0 = -2*i + a + 64. Is i a composite number?
False
Suppose 1 = 3*b + 10. Is (b/((-3)/1))/((-1)/(-293)) a prime number?
True
Suppose 5846 - 302 = 4*i. Is (i - 5)/(-1*(0 - 1)) a composite number?
False
Let a = 6142 - -2109. Is a composite?
True
Suppose 12*w - 2*w = 171170. Is w prime?
True
Let k(q) = -2*q - 4. Let m be k(-3). Suppose -4 = -m*n + n. Suppose -h + n*h = 435. Is h prime?
False
Let b(x) = -490*x + 15. Let p(g) = 981*g - 29. Let w(o) = 5*b(o) + 2*p(o). Is w(-4) a composite number?
True
Suppose 0 = -0*r - 4*r + 8. Suppose 163 + r = 3*k. Is k composite?
True
Suppose i + 2*i + 5*x = 26, -x = -4. Suppose -c - 556 = -q - i*c, q + 3*c - 554 = 0. Is q a prime number?
True
Is -14*(-3044)/8 + -6 a composite number?
True
Let h(o) = o**3 - 5*o**2 + 5*o. Let n be h(4). Suppose -n*x = -2*s - s + 53, 0 = 3*s - 3*x - 54. Is s prime?
True
Let a(o) = o**3 - o**2 - 2*o + 955. Is a(0) prime?
False
Suppose -5*w - 3*p + 0*p + 3 = 0, -4*p - 10 = 2*w. Suppose 3*a = 5*o + 37, -w*o + 5*o + 22 = 3*a. Suppose -5*r + 635 = -a*r. Is r prime?
False
Let h(g) = 6*g - 16 + 35 - 3*g. Suppose -2*u = -4 - 12. Is h(u) prime?
True
Let w be 5 - (-3 - -4) - 2. Suppose m - 13 = -m + 5*j, 18 = 5*m + w*j. Let f = m + 87. Is f composite?
True
Is (-30453)/(-12)*(4224/12)/8 prime?
False
Let z = 6 - 14. Let m be (-24)/9*12/z. Suppose m*p - 1005 = p. Is p composite?
True
Let i(l) = -l**3 + 6*l**2 - 7*l + 4. Let k be i(4). Is ((-4)/6)/(k/(-6036)) composite?
False
Suppose 2*h - a - a = 0, -5*a + 18 = h. Suppose -1522 - 137 = -h*x. Is x a prime number?
False
Suppose 102 + 102 = -4*b. Let h = b + 344. Is h a prime number?
True
Suppose 2297 + 6615 = 3*m - 5*c, 0 = 3*m + 2*c - 8926. Is m prime?
False
Suppose 3*l = -l + 2*k + 13506, 3*l + k - 10132 = 0. Is l prime?
False
Let z = 7 - 3. Suppose 3*t - 4*u - 1 = -9, 0 = z*t + 5*u - 41. Suppose 5*b = 2*f + 1005, t*b = f - 3*f + 822. Is b composite?
True
Let p(m) = -2*m + 1. Let j be p(-1). Let r be (20/8 - j)*0. Suppose r = 8*k - 3*k - 170. Is k prime?
False
Let f(c) = c**2 - 4*c - 9. Let y be f(6). Let d be 7/y + (-9)/27. Suppose -d*h + 178 = 2*t + 2*t, h + 233 = 5*t. Is t a prime number?
False
Let l(d) = d**3 + d**2 + 2*d - 2. Let u be l(-3). Is ((-142)/(-2))/((2/(-1))/u) prime?
False
Let q be 100/30*(-6)/(-5). Let l be 3 - (-110)/q*12. Suppose -s + 4*t = 2*t - l, s = -3*t + 338. Is s prime?
False
Suppose 2*k = -5*w + 353971, -2*k - 70789 = -w - 5*k. Is w composite?
True
Suppose -3*d = -2*s + 4, -2*d + 2 = 3*s - 2*s. Suppose 5*g - 3*g - 4946 = d. Is g composite?
False
Suppose -3*p - y + 5114 = 0, -7*p = -2*p + 2*y - 8522. Is p a prime number?
False
Let w(s) = 207*s + 218. Is w(9) prime?
True
Let g be (-2 + (-5)/(-2))*10. Suppose -4*z = -g*w + 7, 7 = -0*w + w + 2*z. Suppose -f = -2*f + 3, -w*f = -3*p + 780. Is p a composite number?
False
Let q = -3 - 9. Let k = q + 14. Is 3*(1 - -5)/k prime?
False
Suppose -2*n + 6*n - 4 = 0. Let m = n + 66. Is m prime?
True
Let x be (1*2)/((-2)/(-215)). Let d be ((-27)/15)/(63/(-1050)). Suppose 0 = 5*w - x + d. Is w prime?
True
Suppose -2*a + 3*i = i + 190, 6 = 3*i. Let t = a + 2. Is (-4 - t*15)*1 prime?
True
Suppose -3*i - 2*i + 51825 = 4*q, 0 = -4*i + 4*q + 41460. Suppose -6*j + j = -i. Is j prime?
False
Suppose 3*n + 5*c = -9, 3*n - c = -5 - 4. Let b be ((-1)/n)/(6/180). Suppose 2*v + 4*a = -0*a + 454, -b = -2*a. Is v prime?
False
Suppose g + 3*u + 0*u = 16039, g - 16023 = 5*u. Is g a prime number?
True
Suppose -3*u = 2*u. Let m(t) = t + 847. Let d be m(0). Suppose 5*r - g = d, -g + 167 = r - u*r. Is r prime?
False
Let g(s) = -71*s + 65. Let c be g(-16). Suppose -3*m = -k - 2765, c = -4*m - 5*k + 4913. Is m a composite number?
True
Suppose -10*u = -36 - 4. Suppose -u*a + 8396 = -0*a. Is a a composite number?
False
Let d(k) = 8*k**3 + 7*k**2 + 6*k + 6. Let p be d(-5). Let r = 1390 + p. Is r a prime number?
True
Let v be 4790 + -3 + 4/(-2) + 1. Suppose -4*d + 3*b = -2*d - 3179, -3*d + b = -v. Is d a composite number?
False
Is ((8 - (-16)/(-4)) + -215)*-1 prime?
True
Let u(x) = 93*x**3 - 13*x**2 - 13*x + 64. Is u(6) a prime number?
False
Let a = 588 - -79. Is a a prime number?
False
Suppose 0 = -3*z + 4*y + 10903, 12384 + 5765 = 5*z - y. Is z a composite number?
True
Let o(q) = q**3 - 7*q**2 - 5*q + 17. Let b be o(7). Let d(f) = -f**2 - 21*f - 5. Let l be d(b). Let x = l - -304. Is x composite?
False
Let k(s) = -100*s - 83. Is k(-6) composite?
True
Suppose -6 = -3*h - 0. Suppose -3*n - h*n = 1205. Let z = n + 480. Is z prime?
True
Is (-4)/(-26) + 34238022/2366 a prime number?
False
Suppose -6*u + 11*u - 7080 = 0. Let t = u - 439. Is t composite?
False
Let p(g) = -g**2 - 13*g + 13. Suppose 5*n = -27 - 23. Is p(n) composite?
False
Suppose 3*y - 5*l + 0*l - 1 = 0, -11 = y + 4*l. Let g = y - 15. Let b = g - -71. Is b a composite number?
False
Let j(y) = 13*y**3 - 12*y**2 + 7*y + 1. Is j(5) prime?
True
Let w(m) = -12*m - 86 + 139 - 4*m + 49*m**2. Is w(6) a composite number?
False
Let q = -95 - -100. Is 1341/36*(q - 1) composite?
False
Let f = -109 + 413. Let v = f + -207. Is v a composite number?
False
Suppose -2*m - 850 - 558 = 0. Let v = 1545 + m. Is v composite?
True
Suppose -11*r = -52715 - 2076. Is r a composite number?
True
Let l(o) = 37 - 24*o - 12*o**2 + 2*o**2 - 44 + o**3. Is l(18) composite?
False
Let j = -13 - -22. Let m(x) = -3*x**3 - 6*x**2 - 16*x + 6. Let l(i) = 8*i**3 + 18*i**2 + 47*i - 19. Let n(p) = -4*l(p) - 11*m(p). Is n(j) a composite number?
True
Let k(u) be the third derivative of u**8/5040 - u**7/630 + 11*u**6/720 + u**5/20 - 4*u**2. Let j(q) be the third derivative of k(q). Is j(10) prime?
True
Suppose 3*u - 5*u + 6122 = 0. Is u a composite number?
False
Suppose -14 + 47 = 3*g. Let p(h) = 57*h + 46. Is p(g) prime?
True
Let g(l) = -369*l + 445. Is g(-6) composite?
False
Let v(w) = -w**2 + w - 1. Let y(k) = -k**2 + 3*k + 6. Let f be y(4). Let q be v(f). Is q/6 + 717/6 prime?
False
Suppose 5*p = -15, 0 = -3*v - 6*p + 7*p + 49812. Is v composite?
False
Suppose 3 = 2*n - 3. Let z(f) = 80*f**3 + 3*f**2 + f - 1. Let r be z(n). Suppose 0 = -4*v + 4*s + 1764, v - s - r = -4*v. Is v a composite number?
True
Let v = 761 - -116. Suppose 0 = y - 2, -5*w - 2*y + y + v = 0. Suppose -4*k + 3*a + 334 = 0, 2*k - a - w + 7 = 0. Is k composite?
True
Suppose 72*t + 48618 = 90*t. Is t composite?
True
Suppose -3*h + 10*h - 5579 = 0. Is h*(-2 - -5)*(-2)/(-6) a prime number?
True
Suppose -80 = 3*o - 4*o. Let b = -13 + o. Is (b/2)/((-6)/(-36)) composite?
True
Suppose -6*h = -3*h + 1107. Let v = 573 + h. Is (-3)/6*2 + v composite?
True
Let j = 4 + 0. Suppose 2*f + 2 = -j. Is 213 - (4/2 + f) composite?
True
Suppose 0*m - 920 = -2*m. Suppose -5*j + 1189 = -2*x, 4*j - 4*x - m = 496. Suppose -j = -3*s + 42. Is s composite?
True
Let s(t) = -89*t**3 + 4*t**2 - 2*t + 3. Let g be s(-5). Is ((-2)/4)/(-5 + g/2248) prime?
False
Let k(w) = -30*w + 1. Let h(j) = j**3 - 7*j**2 + 2*j + 1. Let m be h(7). Suppose 4*y + m = -5*t, 3*t = y - 2 - 7. Is k(t) composite?
True
Let j(u) = -u + 1. Let t be j(-1). Suppose 283 = t*b - 3*d + 36, 0 = -b - 2*d + 134. Suppose 0*z + z - 15 = 5*n, -4*z = -3*n - b. Is z a composite number?
True
Let b(r) = -r**3 + 7*r**2 - 8*r + 4. Let a be b(5). Let u be 4/a + 6/(-21). Suppose -t - 3*n = -0*t - 277, u = -4*t + 4*n + 1092. Is t a prime n