3*y**2 - 4. Let a(b) = -b**3 + 5*b**2 - 4*b - 3. Suppose -m = -3 - 1. Let f be a(m). Is n(f) composite?
False
Let m(q) = 2*q**2 + 6*q - 2. Let t(i) = 6*i. Let r be t(-1). Is m(r) a prime number?
False
Let u(n) be the first derivative of -n**4/4 - 7*n**3/3 - 5*n**2/2 + 3*n + 8. Is u(-7) a prime number?
False
Let w = 0 - 30. Let u = -55 + -12. Let v = w - u. Is v a prime number?
True
Let b(k) = -k. Let s be b(-1). Is s*217 - 6/3 a composite number?
True
Let a be 213/2*2/1. Suppose -2*i - a = -4*i + 5*j, 0 = -5*i + j + 590. Is i composite?
True
Let y(v) = 37*v - 19. Is y(6) prime?
False
Let a be (3 - 0 - 125)/(-2). Let y(x) = -x**3 - 35. Let o be y(0). Let d = o + a. Is d a composite number?
True
Suppose -2*s - 5*x + 145 = 0, -2*x + 0 = -2. Suppose p - s = 87. Is p composite?
False
Suppose 0 = x - 2*x. Suppose x = g + 3 + 1, 4*f - 596 = -3*g. Suppose d - 3*d + 3*u + 51 = 0, 4*d + 4*u - f = 0. Is d a composite number?
True
Suppose 26 = -4*h + 378. Let c = -53 + h. Is c a prime number?
False
Suppose -2 = 4*w + f, 2*w - 5*f = 6*w + 10. Suppose w = 2*a - 3*a - 77. Is a/(-4) - (-2)/(-8) a composite number?
False
Let p(v) = -v**2 - v + 1049. Is p(0) prime?
True
Let v be (-94)/4 + 1/(-2). Let m be ((-12)/16)/((-1)/v). Is (0 + -502)*9/m prime?
True
Suppose 4*h - 5*d - 5024 = -838, 4*h = -d + 4198. Is h a composite number?
False
Let n = 17 - 0. Suppose 5*b + n = -z, -3*b - b = 16. Let v(s) = 10*s**2 + 3*s - 2. Is v(z) a prime number?
True
Let x = -5 - -7. Suppose -3*s + x*z + 8 = 3*z, 3*s + 3*z - 6 = 0. Suppose -d + 2*d - s*w - 37 = 0, 4*d - 5*w = 134. Is d composite?
False
Suppose 4 = 5*r - 4*r. Suppose -r*y + 7*y = 333. Is y composite?
True
Let u be 107/2*22/11. Let t = -18 + u. Is t composite?
False
Let j = 91 + -32. Suppose 33 = 2*r - j. Is r composite?
True
Let k be 2*(6/(-4) + 3). Suppose k*y + z - 5*z + 14 = 0, -y = -4*z + 18. Suppose -j = -0*j - 2, 3*s = -y*j + 49. Is s a composite number?
True
Suppose -211 = 3*q + 131. Let x = q + 223. Is x a prime number?
True
Let a(m) = m**3 - 5*m**2 + 5*m - 6. Suppose 2*v + 4 = n + 2*n, -2*v + n + 4 = 0. Let i be a(v). Is (31/i)/((-5)/10) composite?
False
Let c(o) = -5*o + 19*o + 6 - 1. Is c(10) a prime number?
False
Suppose 0*v + v - 3*y - 13 = 0, -5*v = y - 1. Is 8 + v + -1 + -2 composite?
True
Suppose -4*x + 4 + 0 = 0. Suppose j - x = -3. Is (-4)/(-6)*(-339)/j prime?
True
Let o be ((-1254)/4)/((-2)/4). Suppose -2*y = -5*i - 412, 3*y - 3*i - o = -0*i. Is y a prime number?
True
Let a(z) = 9*z**2 - 3*z + 1. Let l be (-6)/4*8/(-6). Is a(l) prime?
True
Let i be 30/((-48)/27 - -2). Suppose -y = -i - 102. Suppose -l - 2*l + y = 0. Is l composite?
False
Let f(w) = -20*w + 2. Let r(z) = z - 2. Let j be r(-3). Let c be f(j). Suppose -2*v + 4 = -c. Is v prime?
True
Let b be (-100)/15*9/(-2). Let r be ((-4)/10)/(1/b). Is (489/r)/(2/(-8)) a prime number?
True
Suppose 453 = f - 274. Suppose -t = -0*c + 2*c - 152, 0 = -5*t + c + f. Is t a composite number?
True
Let x(o) = 26*o**2 + o - 2. Let h be x(-3). Suppose 4*y - 1041 = -h. Is y a composite number?
True
Let f(y) = 12*y**2 - 1. Let h(s) = -s**2 + 5*s - 2. Let a be h(5). Is f(a) composite?
False
Let g(o) = 37*o**2 - 3*o + 5. Let v be g(4). Suppose -4*y = 3*a - v, -101 = -3*a + 3*y + 463. Is a prime?
True
Suppose b = 34 + 63. Is b composite?
False
Let h(s) = -12*s**2 + 3*s - 2. Let r(v) = 23*v**2 - 5*v + 3. Let f(q) = 7*h(q) + 4*r(q). Let i be (2 - 5) + (-1 - -1). Is f(i) a prime number?
True
Suppose 0 = 4*o - 3*o + 13. Suppose -k = 5*a - 120, -5*a + 2*k = -0*k - 120. Let b = a - o. Is b composite?
False
Let l = -130 - -81. Let w = 162 + l. Is w composite?
False
Let k = 1 + 2. Let v(u) be the third derivative of 7*u**5/60 + u**4/6 - u**3/6 + u**2. Is v(k) composite?
True
Let n(k) = 19*k - 9. Let b be n(-4). Let z = b - -144. Is z a composite number?
False
Let u = -10 - -10. Suppose d - 138 = -u*d. Let v = d + -61. Is v a composite number?
True
Let a(z) = -z**3 - 8*z**2 + 2*z + 19. Is a(-10) a prime number?
True
Let t be 1*(-2 - -4) - -2. Suppose f - z + 5 = 3*z, 0 = t*f - 5*z + 9. Is (740/(-16))/(f/4) a composite number?
True
Suppose c - 1007 = x, -3*c = c + 2*x - 4040. Is c a composite number?
False
Suppose 13*z - 7*z = 10362. Is z prime?
False
Suppose -12*d = -2706 - 918. Is d prime?
False
Let t(f) = 8*f**3 - 6*f**2 + 7*f - 8. Is t(5) composite?
False
Suppose 2*c + 0*c = d + 110, -2*d = c + 245. Let g = d + 202. Is g composite?
True
Suppose 0 = 4*i + 49 + 3. Let q(o) = -o**3 - 12*o**2 + 13*o + 1. Let p be q(i). Is (21 - 2)*1/p composite?
False
Let i be ((-12)/(-4))/((-3)/(-2)). Suppose -1 = -i*t + s + 4, t + 5 = 3*s. Is t composite?
True
Let c(j) = -7*j**3 + 7*j**2 + 6*j + 7. Is c(-5) a prime number?
False
Let x(a) = -a**2 + 6*a + 5. Let r be x(6). Suppose g = 4*z + 697, 2*g - 581 = -r*z + 826. Is g composite?
False
Suppose k + 5*m = -24, m + m - 48 = 2*k. Is (-3)/(-4) - 2742/k a composite number?
True
Suppose -3*k + 5*k = 10. Suppose 0 = -k*l, 2*i - 444 = -2*i + l. Is i a prime number?
False
Let s(x) = -x**2 + 5*x. Let d be s(5). Suppose d = -5*z - 2 - 8. Is (-108)/(-2) + (-2)/z a composite number?
True
Let x(h) be the second derivative of 0 + 1/3*h**3 + 1/3*h**4 - h - 1/2*h**2. Is x(-2) composite?
False
Let h(q) = 4. Let k(a) = a. Let m(d) = h(d) - 2*k(d). Let p be m(3). Is -1 - p*(-7)/(-2) a prime number?
False
Suppose 0*n + 216 = n - 5*l, -3*n = -l - 690. Let k = n + -136. Is k prime?
False
Suppose -5*y = 2 + 3. Let w(d) = 8*d**2 + d + 1. Let h be w(-2). Is 0 - 11/y*h a prime number?
False
Suppose f = -2*r - 10, 2*f + 2*f + 20 = -4*r. Suppose 2*z + y - 10 = -117, f = 3*y - 9. Let g = z + 188. Is g a composite number?
True
Suppose -22 = 3*x - 4*r, 0*r = x + 5*r + 39. Let d = 46 + 103. Is 4/x + d/7 prime?
False
Let w(u) = 7*u**2 - u. Let o be w(5). Let x = o + -73. Is x prime?
True
Let g(r) = -r - 9. Let o be g(-11). Suppose -3*m = -o*x - 54 + 242, -4*x = 2*m - 360. Is x a composite number?
True
Let c(d) = -d**3. Let p(z) = 4*z**3 - 2*z**2 - 3*z. Let r(o) = -3*c(o) - p(o). Is r(-2) composite?
True
Suppose -z + 2*z = -4*u + 3, 0 = 2*u + 3*z + 11. Let g = u + 9. Is g a composite number?
False
Let k = -23 - -28. Suppose -115 + 540 = k*n. Is n prime?
False
Let z = -1 + -2. Let t(q) = -2*q**3 + 2*q**2 - 4*q - 3. Let y be t(z). Let p = y + -50. Is p a prime number?
True
Suppose 2 = -r + 6. Let o(b) = b**3 + 2*b**2 - 3*b - 2. Is o(r) composite?
True
Suppose 3*d = 2*l - 1, -2*l + 17 = -d + 2*l. Let z(f) = -3*f - f**2 + 5*f**3 - f**3 + 3 - 2*f. Is z(d) a prime number?
False
Let r(w) = -2*w**2 - 2*w - 1 - w**3 - 3*w + 2*w**3 + 0*w**2. Is r(5) a prime number?
False
Let l(k) = -k**2 + 4*k. Let w be l(3). Suppose 0 = 2*u - w*u - 2. Is (u/(-6))/1*93 prime?
True
Let k = -66 - -193. Is k a composite number?
False
Let m = 16 + -7. Is 870/m*(-12)/(-8) a prime number?
False
Let j be (-5 + 6)/(2/1148). Let b = j - 332. Suppose 5*g - b - 173 = 0. Is g prime?
True
Let o be -2 + 26 + -3 + 2. Let f(d) = -d**3 + 12*d**2 - 11*d + 10. Let q be f(10). Let m = q - o. Is m composite?
True
Let h(l) = 2 + 107*l**2 + 444*l**2 - 1 - 2. Let w be h(-1). Suppose -824 = -4*u - 2*z, 3*u - z = 63 + w. Is u composite?
True
Let n be 227/3 + 3/9. Let g be n - (-9)/3 - -2. Suppose 43 = 4*r - g. Is r a composite number?
False
Suppose 13 = -5*b + 3, 2*r + 2*b = -4. Suppose -2*p = -r*p - 182. Is p a prime number?
False
Is (0 + -853)*(6 - 7) prime?
True
Suppose -a = -5*d + 11, 3*a + 2*d - 42 = -7. Suppose a = 3*k - 18. Let u = 71 - k. Is u composite?
True
Let i(w) = -17*w - 5. Let z be i(-8). Is z/(0 - (-1 + 0)) a prime number?
True
Suppose -45*y = -43*y - 2252. Is y a prime number?
False
Let i = 290 + -201. Is i a prime number?
True
Let s be 2 - (-3 - -3)/(-1). Is (-236)/(-6)*3/s a composite number?
False
Let t(b) = 482*b + 11. Is t(1) prime?
False
Is 43810/90 - 4/(-18) a prime number?
True
Let u(b) = -30*b**3 - 2*b - 1. Is u(-1) a composite number?
False
Let r be (-2*(-12)/2)/2. Let o = 9 - r. Suppose k + 22 = o*k. Is k prime?
True
Let f be (10/(-25))/(2/(-5)). Let u(j) = -31*j + 1. Let d be u(-3). Is f*d*(-3)/(-6) composite?
False
Let n = 6 + 0. Let h be ((-16)/3)/(n/(-9)). Suppose 4*b + 2*y - 630 = 0, h*b - y = 3*b + 784. Is b a prime number?
True
Let p = 18 + -18. Let j be 2/4 - (-3)/2. Suppose p = -j*h