) a prime number?
True
Let r = 2891 + 218. Is r a composite number?
False
Let x(z) be the second derivative of -z + 1/12*z**4 - 1/6*z**3 + 0 - 1/2*z**2. Is x(8) composite?
True
Let k(v) = v**2 + 172. Let x be k(0). Suppose 2*w = -6 + x. Is w a prime number?
True
Let i(y) = y**3 + y**2 + 2*y + 3. Is i(5) a composite number?
False
Let i = 26 + -37. Let v = -9 - i. Is ((-15)/v)/5*-58 a prime number?
False
Let z = -538 - -1211. Is z prime?
True
Let f(w) = w**3 - w**2 - 4*w + 1277. Is f(0) prime?
True
Let v = 67 + -8. Is v a prime number?
True
Suppose 13*p - 15*p = -1766. Is p prime?
True
Suppose 0 = -2*x - 5*c + 1769, -7*x + 2*x = -4*c - 4373. Is x a composite number?
False
Let i = 8 - 3. Let s = i - 3. Let k = s + 17. Is k a prime number?
True
Let l = -767 - -2476. Is l prime?
True
Let v be (-1)/((-2)/6) + -2. Let c(a) = a**2 + 9*a + 1. Let w be c(-9). Is v/((-108)/(-106) - w) composite?
False
Let w be 4*((-30)/(-8))/(-5). Let v(o) = o**3 + 2*o**2 - 2*o + 4. Let q be v(w). Is 6 + (2 - q) - 0 a composite number?
False
Let o = 106 + -22. Let m = 173 - o. Is m a composite number?
False
Let x(h) = -h**2 - 12*h + 15. Let k be x(-13). Let y(f) = 28*f - 3. Is y(k) composite?
False
Let n = -448 + 761. Suppose 6 = -d + n. Is d composite?
False
Suppose 6*u = 8*u - 10. Suppose u*z - 723 = -68. Is z prime?
True
Suppose 0*o + 5331 = w - 4*o, -o - 26731 = -5*w. Is w prime?
True
Suppose 0 = -3*g - a + 12, -2 = a - 5. Suppose 7*z = g*z + 476. Is z a prime number?
False
Is (-2)/4 + (-700)/(-8) a prime number?
False
Let v be 26/(-8) + (-7)/(-28). Let o = v - -14. Is o a prime number?
True
Let i = 37 + -64. Let p(c) = -c**2 + 3*c - 6. Let o be p(-5). Let h = i - o. Is h a composite number?
False
Let n(l) = -l + 5. Let y be n(3). Let a = y - -17. Suppose a + 243 = 2*t. Is t prime?
True
Let s(r) = 3*r**2 + 8*r - 8. Let f = -8 - 1. Is s(f) composite?
False
Let d(k) = -k**2 + k. Let m be d(1). Suppose -t = -m*t + 16. Let y = 53 + t. Is y composite?
False
Let j = 4 - 1. Let n(t) = 4 + 2*t**3 - t - t**3 + 0*t + t**2. Is n(j) a prime number?
True
Let k(v) be the third derivative of 15/4*v**4 - 1/6*v**3 + v**2 + 0 + 0*v. Is k(1) composite?
False
Let v(p) = -p**3 + 6*p**2 + 5. Let g be v(6). Suppose 0 = 3*w - 0*w - g*t + 15, -5*t = 3*w - 15. Suppose w*z + 69 = 3*z. Is z composite?
False
Is 2 + (-1772)/((-8)/2) a prime number?
False
Let s = 102 - -4. Let k = -47 + s. Is k prime?
True
Let m = 6 - 3. Suppose m*c = -0*c + 147. Is c composite?
True
Suppose -2*o + 2 + 18 = 0. Let i(x) = -3*x + 5*x + o + 3*x - x**3 - 5*x**2 - 1. Is i(-8) composite?
True
Let x(w) be the second derivative of 77*w**4/12 - w**3/6 - w**2/2 + w. Let p(d) = d**3 - 12*d**2 + 2*d - 25. Let a be p(12). Is x(a) composite?
True
Is 16700/14 - 1/(-7) a composite number?
False
Let n = 10 - 6. Suppose n*l = 14 - 6. Suppose -r + 111 = l*r. Is r prime?
True
Suppose 0*c - 3*s = 3*c - 4758, 0 = 3*c + 2*s - 4761. Is c a prime number?
False
Let t = -6 + 19. Is t prime?
True
Let k = 4 - -1. Suppose -15 = 5*m - 5*h - 5, k*h - 4 = 2*m. Is (-2)/2 + (m - -50) prime?
True
Let t = 12 - 4. Let g = t - 6. Suppose -2*p + 84 = g*p. Is p prime?
False
Suppose 4*c + 5 = 5*m, 0*m - 4*m = -4*c - 4. Let v be (0/(2 - c))/(-1). Let z(f) = -f**3 + f + 127. Is z(v) composite?
False
Let z(l) = -l**3 + 4*l**2 - 3*l + 2. Let u be z(4). Let b = -14 - u. Is 178*-1*2/b composite?
False
Let v(q) be the second derivative of q**4/12 + q**3/3 + q**2 + q. Is v(7) a prime number?
False
Let d(m) = 5*m**2 - 1. Let c be d(1). Suppose 3*z + 1515 = 4*l, 5*l + 5*z = c*z + 1870. Let f = l + -74. Is f a prime number?
False
Suppose -3*d + 479 = -0*d + 4*g, 0 = -d + g + 155. Is d a composite number?
False
Let b(p) = 414*p**2 - 1. Is b(-1) a composite number?
True
Is (-1 + 2)*71 + -4 a composite number?
False
Let y(r) = r. Let i be y(-2). Let g be 1*1/i*-14. Suppose k = g + 28. Is k prime?
False
Let m = 3001 - 1940. Is m composite?
False
Suppose d + 197 = -0*d + 3*f, 4*d + 732 = -2*f. Let k = -106 - d. Is k a prime number?
True
Suppose 0 = 2*s - 5 - 15. Suppose 0 = 2*k - 3*k + 4*x - 2, -5*x = -s. Let u(m) = -m**3 + 7*m**2 - 2*m - 1. Is u(k) a composite number?
False
Suppose -6*k = -2*k. Suppose 0 = j - k - 5. Suppose j*u - 4*a = 251, -a = u + u - 90. Is u a prime number?
True
Let d = 1098 - -301. Is d prime?
True
Suppose 5*m = m + 120. Let h = 5 + 64. Let z = h - m. Is z prime?
False
Let z = -21 + 40. Suppose 36 = 5*q - z. Is q prime?
True
Let a(w) be the first derivative of 5*w + 3 + 1/3*w**3 + 0*w**2. Is a(-4) a prime number?
False
Let u(w) = -w**3 + 8*w**2 - 7*w + 4. Is u(6) a composite number?
True
Let l = -295 + 422. Is l composite?
False
Let f(r) = -35*r + 12. Let o be f(-9). Let y be (3 - 2 - 3) + o. Let w = 534 - y. Is w prime?
False
Suppose -2*b - 3*l + 8009 = 0, 4*b + 6926 = -3*l + 22941. Is b a composite number?
False
Suppose 10*k = 6*k + 18796. Is k a prime number?
False
Let n = 59 + -24. Suppose -4*b + n = m, b - 270 = -6*m + m. Is m a prime number?
False
Let a(b) = 5*b**3 - 3*b**2 + 3*b + 4. Is a(3) prime?
False
Let f be -1*(-1 + -1 + 2). Suppose f = -2*i - i + 24. Is i/12*462/4 a prime number?
False
Suppose -53 - 157 = -3*d. Suppose -5*s - 132 = -2*h - 38, -2*h - s + d = 0. Is h a composite number?
False
Let n(s) = -2*s + 331. Is n(0) a composite number?
False
Is (17943/12)/((-5)/(-20)) a prime number?
True
Suppose 8*a = 4*a + 20. Suppose 5*g = 2*h + 169, -a*g - 5*h + 187 = -h. Is g a prime number?
False
Suppose 36 = 5*r - 79. Let u(s) = 0*s + 0*s + 1 - 2*s + r*s**2. Is u(2) prime?
True
Suppose -3*x + 2*k + 362 = k, x = 5*k + 144. Is x prime?
False
Suppose 0 = w + b + 3*b + 12, 5*w - 4*b = 36. Suppose 0 = w*t + 60 - 808. Is t a composite number?
True
Let f(g) = 2*g**2 - 4*g + 5. Let b(l) = l**3 - 7*l**2 + 8*l - 8. Let u be b(6). Is f(u) a prime number?
False
Let r = 1471 - 818. Is r prime?
True
Suppose 5 = -2*w - 3*l, 4 = -l + 7. Is (-2283)/(-21) + (-2)/w composite?
False
Suppose -3*x + 650 + 667 = 0. Is x a composite number?
False
Let c(z) = -z + 8. Let x be c(6). Suppose l - x*p = -25 + 70, -39 = -l + 4*p. Suppose 3*w = 2*w + l. Is w a composite number?
True
Suppose 0 = 5*i + 24 - 154. Let d = i + -16. Is d prime?
False
Let s(k) = 5*k**3 - 2*k**2 + k. Let j(h) = -h**3 + 4*h**2 - 4*h + 3. Let y be j(2). Let o = y + -2. Is s(o) composite?
True
Suppose h - 3*h + 12 = 0. Suppose -2*s + h = -0, -o + 4*s + 118 = 0. Suppose 2*m - 18 = o. Is m prime?
False
Is 4/38 - 22260/(-76) a prime number?
True
Suppose 0*g - 8595 = -9*g. Is g a composite number?
True
Suppose -2*j + 4 = -2. Let k(p) = p**3 + 2*p. Is k(j) a composite number?
True
Let p = 11 + -7. Suppose 0 = -w + p*w. Suppose -b = -4*s - 165, -6*b + b + s + 920 = w. Is b a composite number?
True
Suppose -5*a + 1505 = -5*m, -3*m = 3*a + 2*a - 1489. Is a composite?
True
Let t(w) = w**3 - 9*w**2 + 17*w - 7. Is t(11) prime?
False
Let t(r) = r**2 + r + 13. Let v be 2/10 - (-3)/(-15). Suppose y + 3*y = v. Is t(y) a composite number?
False
Is 4 - 3 - 4 - -586 composite?
True
Let y(z) be the first derivative of -25*z**2/2 - 5*z - 1. Is y(-4) composite?
True
Suppose 3*p = -4*q + 347, -4*p + 83 = q - 2*p. Is q a composite number?
False
Let v be (-2)/(-3) - (-14399)/33. Suppose 5*d - 2*i = 296, 5*i = 5*d + 132 - v. Is d prime?
False
Suppose 3*g - 10 = -2*g. Suppose -g*x + 285 = x. Suppose 0 = 2*t + 3*t - x. Is t prime?
True
Suppose 6*d + 41 = 4*c + d, 4*c + 9 = -5*d. Suppose 3*n - 22 = -7. Suppose c = -n*q + 39. Is q a composite number?
False
Is (-4 - (-13)/4)*-568 - 4 a prime number?
False
Suppose -530 = -4*v - 0*d + 5*d, 5*d = 10. Let l = 250 - v. Is l composite?
True
Suppose -2*p + 22 = 2. Let h = p - 6. Suppose 3 = -h*u + 5*u. Is u a composite number?
False
Suppose -4*m = m - 90. Suppose -m = -3*w + 6*w. Let g = 49 + w. Is g composite?
False
Let t(n) = -n**3 - 7*n**2 - n - 5. Let h be t(-7). Suppose -5*g + h*v + 1007 = 0, 4 = -2*v + 12. Is g a composite number?
True
Let a(r) = -160*r + 3. Let l be a(-3). Suppose -5*i + l + 632 = 0. Is i a prime number?
True
Let p be (8 + 1)*(0 - -1). Let w(q) = 16*q - 12. Let a be w(p). Suppose 3*t + t - a = 0. Is t composite?
True
Suppose 4*r - 2*v - 12 = 0, 0 = -4*r - v - 6 + 24. Suppose -20 = r*d, -4*d = -4*q + 9 + 11. Suppose q = -4*t + 16, -2*z + 17 + 15 = -3*t. Is