y**2 - 2*y + 1. Let g(j) = -j**3 - j**2 + j + 1. Let k be g(0). Is z(k) composite?
True
Let j be (-412)/6 - (-16)/24. Let x(t) = -7*t - 3. Let l be x(6). Let d = l - j. Is d a composite number?
False
Let w be (4/(-3))/((-6)/18). Is 4 + 212 + 3 - w a composite number?
True
Let z(h) = -353*h**2 - 3*h - 1. Let f be z(-1). Let b = -160 - f. Is b composite?
False
Is 0 + (-1373)/(1 - (0 - -2)) prime?
True
Let c(g) = g + 2. Let k be c(4). Let p(o) = -o**2 + 9 + 8 + k. Is p(0) composite?
False
Let n(y) = 3*y**3 - 2*y**2 + 1. Let t be n(4). Let v(p) = -10*p**2 - 4. Let s be v(3). Let b = s + t. Is b a prime number?
True
Suppose 4*c - 373 = 5*s - 5, -3*s = -3*c + 279. Is c composite?
False
Let q(h) be the first derivative of h - 2 + 1/3*h**3 + 0*h**2. Is q(6) prime?
True
Suppose 5*j = f + 660, -f + 186 = 4*j - 351. Is j a prime number?
False
Let o(k) = -31*k**2 - 7*k + 1. Let z(l) = 47*l**2 + 11*l - 1. Let r(x) = -8*o(x) - 5*z(x). Is r(-5) a composite number?
False
Is (-5278)/(-21) - (-1)/(-3) a composite number?
False
Let h be -9 + 10 + (-2)/(-2). Suppose h*x + 4*x - 1524 = 0. Is x a prime number?
False
Suppose 3*q + 5*i - 30 = -10, 5*q - 27 = -2*i. Let c(w) = -2*w + 7. Let r be c(q). Is (-4)/(-2) + 38 + r composite?
False
Suppose 6*o - 3 = 3*o. Let k be (o*-3)/(12/(-320)). Suppose -4*p + 7*p = -u + k, -5*p = -5. Is u composite?
True
Let i(p) = -15*p + 1. Let f be i(3). Let y = f + 93. Is y/((-3)/6*-2) a prime number?
False
Let o be (-4)/2 + 40/4. Is (-4 + o)/(4/10) a prime number?
False
Let d(p) = 6*p**2 - 1. Let s be d(1). Let n(c) = -11*c**3 + c**2 - 3*c - 4. Let h be n(-2). Suppose u = 5*y + 23 - s, 2*y - h = -4*u. Is u a prime number?
True
Let g(a) be the first derivative of a**4/4 - 4*a**2 + 10*a + 4. Is g(5) a prime number?
False
Is 26583/13 - (-10)/65 a prime number?
False
Suppose -2*k - 2*u = -10, 0 = -5*k - 0*k + u + 7. Let h(f) = -8*f - 2 + k*f**2 + 3*f + 4*f. Is h(-5) prime?
True
Let a = 15 + -9. Suppose -a*y + 165 = -3*y. Is y composite?
True
Let o(y) = y**2 - 8*y + 2. Let d be o(8). Suppose 0 = 3*p - d*p - 237. Is p a composite number?
True
Let p = -9 + 13. Suppose -5*q + s = -8 - 13, 4*s = p*q - 20. Is 2*6*q - 2 prime?
False
Suppose -5*d + 360 = 2*s, -2*d + 4*s - s + 163 = 0. Let g(x) = -x**3 + 5*x**2 - x + 7. Let h be g(5). Suppose -d = -h*b - 0. Is b a prime number?
True
Let o(u) = -4*u + 13. Let f be o(-9). Suppose -m - f = -206. Is m composite?
False
Is (-5867)/(-2) - 10/20 prime?
False
Suppose 0 = -5*g + 4*h + 39, g + 2*h - 3*h = 8. Suppose 0 = -2*k + 2*q + 212, 5*k + g*q - 3*q = 575. Is k prime?
False
Let h(m) = 6*m**2 + 2*m + 1. Suppose 0 = 3*x + 9 - 0. Is h(x) a composite number?
True
Let r(d) = -7*d**2 + 3*d + 9. Let f(j) = 8*j**2 - 4*j - 10. Let c(k) = -6*f(k) - 7*r(k). Is c(8) composite?
True
Let v(z) = -2*z - 2. Suppose -3*x + 4*y - 14 = 2*y, 3*y = -3*x + 6. Let b be v(x). Suppose 0 = -5*i - 25, -b*f + 5*f = -3*i + 90. Is f a composite number?
True
Let d(y) = -50*y**3 - y - 2. Let m(v) = -v**3 - v**2 + v + 1. Let g(i) = -d(i) - 2*m(i). Is g(1) composite?
False
Let r = 492 - 250. Let b = -5 + 7. Suppose -b*w = 60 - r. Is w composite?
True
Suppose 4*l = -d + 1193, -4*l = -d - 0*l + 1209. Is d a composite number?
False
Suppose 0 = 5*c - 6*c + 3. Suppose c*i - 5*x = -0*x + 503, i - 3*x - 169 = 0. Is i a composite number?
True
Let d(t) = -t**3 + t**2 - 4*t + 211. Is d(0) composite?
False
Let t(p) = -p**3 - 9*p**2 - 9*p + 7. Is t(-12) prime?
True
Let h(t) = 11*t**2 - 8*t + 16. Is h(9) a composite number?
True
Let z be (-4)/(-18) - 172/(-36). Suppose -4*u = -g + 26, 4*u - 10 = -10*g + z*g. Is g prime?
False
Let n(k) = -k**3 - k**2 - k. Let v be n(-2). Suppose 0 = 3*z - v, -5*z - 148 = -j + 173. Is j prime?
True
Suppose -11 = 4*q + 9, 253 = 4*w + 3*q. Let k = 27 + -22. Suppose -4*a - a + w = 3*z, 0 = 5*z - k*a - 45. Is z prime?
False
Suppose -3*j + 0 + 3 = 0. Suppose -2*m - 13 = -b, 0 = -b + 5*m + 29 - j. Suppose b*l - 10 = 2*l. Is l a prime number?
False
Suppose -3*n + 25 = -14. Suppose -4*c + 63 + n = 0. Is c prime?
True
Suppose 0 - 2 = u. Is (89/2)/((-1)/u) a prime number?
True
Suppose -7*v + v + 474 = 0. Is v a prime number?
True
Let a be ((-4)/18)/(5/(-45)). Suppose -5*o - 2*r + 422 = 2*r, -2*r - 262 = -3*o. Suppose 0*n + o = a*n. Is n a composite number?
False
Suppose 8 = -5*q + q. Is (-13)/(q - (-9)/5) prime?
False
Let l = 298 - 185. Is l composite?
False
Let u(w) be the first derivative of w**4/4 + w**3 - w**2 - w + 4. Is u(3) a composite number?
False
Let a = 957 - 460. Is a composite?
True
Let b = 148 - -811. Is b a composite number?
True
Suppose -906 = -2*i + 2*t + 1024, -3*t = 3*i - 2907. Is i a composite number?
False
Let p(f) = -7 - 6*f - 1 - 1. Is p(-8) a prime number?
False
Let n = 657 - 340. Is n a prime number?
True
Let n(m) be the third derivative of 1/6*m**3 - 2*m**2 + 1/60*m**6 + 1/6*m**4 + 0*m**5 + 0*m + 0. Is n(3) composite?
False
Let g(p) = 3*p**2 + p + 1. Let u be g(-1). Suppose 3*h + q + 0*q - 11 = 0, 0 = u*h - 5*q + 19. Let o = h - -4. Is o composite?
True
Is ((-47)/2)/((-3)/66) a prime number?
False
Suppose 3*f + b + 24 = 6*f, b = -f + 8. Let u(z) = -z**2 + 11*z - 2. Let y be u(f). Is (1 - 1) + y - 0 a prime number?
False
Suppose 0 = j - 2. Suppose j*w = u - 2*u + 18, -5*w = -2*u. Let c = -4 + u. Is c a prime number?
False
Suppose 4*o + 3*a = 7*a + 16, -5*o - 2*a + 55 = 0. Let g be (-210)/(-13) - (-6)/(-39). Let b = g - o. Is b a composite number?
False
Suppose 5*x - 9*x = -6404. Is x a prime number?
True
Is (-78 + -5)*(-1 + -2) prime?
False
Let y(b) = -b**3 - 14*b**2 - 3*b + 23. Is y(-16) composite?
True
Suppose -4*i + 2*l + 98 = 0, -3*i + 103 = 2*i + 4*l. Suppose -i - 40 = -2*b - w, -4*b + 5*w + 119 = 0. Suppose 26 = q - b. Is q prime?
False
Is 887/7 + (18/14 - 1) a prime number?
True
Let g(r) = 3 + 1 - 5*r**2 + 0*r - 3*r - r**3. Is g(-5) a prime number?
True
Let c(f) be the first derivative of f**5/60 + f**4/8 - 2*f**3/3 - f**2 + 2. Let o(r) be the second derivative of c(r). Is o(3) a composite number?
True
Let b be 2 + (-1)/1 + -1. Is 2 + 77 + (b - 2) composite?
True
Let b(z) = 7*z - 4. Is b(2) a prime number?
False
Let g(b) = 38*b + 13. Is g(5) prime?
False
Is 58 + (5 + -2 - 3) a composite number?
True
Let t = -6 + 5. Let i(k) = -2*k + 1. Is i(t) prime?
True
Suppose 6 = 3*b - b. Suppose -2*g + 20 = b*g. Suppose i + g*i - 245 = 0. Is i composite?
True
Let t = -4464 + 6331. Suppose -5*r = 3*s - 4*s - t, 0 = 4*r + 3*s - 1486. Is r a composite number?
False
Let c = -147 + 235. Let v = 61 - c. Is (-10)/(v/21 + 1) composite?
True
Suppose -f - 4*b + 405 = 0, f - 2*b - 114 - 303 = 0. Is f a prime number?
False
Suppose 0 = 5*f - 5*y - 45, 21 + 6 = 3*f + 3*y. Suppose 2*q = f + 29. Is q a composite number?
False
Suppose 5*v = -20, -5*v + 261 = g - 393. Is g composite?
True
Let a(s) = 26*s. Let h(i) = -17*i. Let m(r) = -5*a(r) - 7*h(r). Is m(-1) a composite number?
False
Suppose 3*m + 2*p - 23 + 7 = 0, -5*m + 3*p + 14 = 0. Suppose z - 33 = -m. Let s = z + 8. Is s a composite number?
False
Let u = 8 + -6. Suppose 4*d + 5*a - 296 = 0, -u*d = -7*d - 2*a + 387. Is d a prime number?
True
Let k(o) = 3*o**2 - 5. Is k(6) composite?
False
Let b be (-2 - (6 - -2))/(-2). Suppose -3*i - 2*h + 230 = -6*h, -4*i + b*h = -306. Is i a prime number?
False
Suppose -376 + 6 = -2*h. Let x = 334 - h. Is x a prime number?
True
Let h(c) = 156*c**2 + c + 2. Is h(-1) prime?
True
Let t be -4 - (18/(-3))/2. Let x be ((3 - 6) + -12)/t. Is (-10)/x*(-534)/4 a prime number?
True
Suppose -2*q + q = 0. Suppose 0 = -0*d - d + 21. Suppose -d = -3*f - q*f. Is f a prime number?
True
Let i(l) be the second derivative of l**3/6 + 3*l. Let m(b) = 4*b + 3. Let d(a) = 2*i(a) - m(a). Is d(-6) composite?
True
Suppose c = -0*c + 283. Suppose c = 2*o - 2235. Is o a composite number?
False
Let h(i) = -i + 5. Let v be h(3). Suppose -v*r + 5*r - 111 = 0. Is r a composite number?
False
Let q(k) = -22*k - 1. Is q(-6) a prime number?
True
Let j(v) = -v + 2. Let z be j(5). Let u = -4 + z. Let m = u - -17. Is m prime?
False
Let o(q) = -2*q**2 + 2*q + 2. Let h be o(2). Let x be h/4*1*0. Suppose -l - 19 = -2*r - x, 3*l = -4*r + 33. Is r a composite number?
True
Let y be ((-2)/(-3))/((-3)/(-72)). Let g = -10 + y. Suppose 8 + g = j. Is j composite?
True
Is 1/(12/3)*