omposite?
True
Let x be (1 + 0 + -2)*-5. Let h = 0 - -5. Suppose -4*n + x*n = -h*k + 385, -4*k + 308 = -3*n. Is k prime?
False
Let j(y) be the first derivative of y**2/2 + 34*y - 2. Is j(0) a composite number?
True
Let p(r) = 4*r**3 - r**2 - 5*r + 3. Let b = 0 - -5. Let i = b + -1. Is p(i) composite?
False
Let u(j) = 27*j + 5. Let s be ((-16)/(-12))/((-1)/(-3)). Let y be u(s). Let p = y + -64. Is p a composite number?
True
Suppose 0 = 5*j - 13 - 2. Suppose l = j*l - 220. Suppose -3*p + 7*p - 4*z - 144 = 0, 0 = -3*p + 5*z + l. Is p a prime number?
False
Let p(g) = -5*g**2 + 2*g - 1. Let j be p(-2). Let m = 24 - j. Is m composite?
True
Let o(l) = l**3 + 2*l**2 - 3*l. Let z be o(2). Suppose r - 13 = 24. Is z/15 + r/3 a composite number?
False
Let a(q) = 11*q. Let o(y) = -5*y. Let f(u) = -3*a(u) - 7*o(u). Let d be f(1). Suppose 5*p = 2*p - 2*v + 33, -d*v + 15 = p. Is p a prime number?
False
Let g be 4/22 + 10/(-55). Is g - 290/(2 - 4) composite?
True
Is 641*-2*(3 + 21/(-6)) prime?
True
Let z(o) = -20*o + 14. Is z(-6) a prime number?
False
Let x be (0 - -6)*(-1)/(-2). Let q(c) = 20*c**3 - 3*c**2 - 2*c + 4. Is q(x) composite?
True
Suppose -10 = i - 2*w, -3*i - w = -0*w + 16. Is (4/i)/((-20)/2670) a composite number?
False
Let g be -135 + (9/3 - 0). Let x = 45 - g. Is x prime?
False
Let q be ((-1)/(-2))/(5/30). Suppose m + 3*u - 4 = 0, -3*m - 2*u = -2*m - q. Is (m/3)/((-1)/(-111)) a prime number?
True
Let n be 6/(-4)*12/9. Let q be (-2 - 1 - n) + 31. Let h = 85 - q. Is h a composite number?
True
Let d = -10 - -14. Let u(j) = 4*j**2 - 5. Is u(d) prime?
True
Let w(f) = -f**3 - 6*f**2 + 2*f + 9. Suppose -5*s - 3*z - 35 = 2*z, -21 = 3*s + 2*z. Let n be w(s). Suppose 0 = 4*q - n. Is q a composite number?
False
Let g = 7 + -4. Is g - (-1 - -10)/(-3) prime?
False
Suppose 5*l = x - 3652, 0*x + 4*l = -5*x + 18405. Is x a composite number?
False
Let x(v) = -v**2 + 5*v + 2. Let a be x(4). Let u(z) = 3*z**2 + 8*z + 5. Is u(a) a composite number?
True
Let u(k) = 39*k - 1. Is u(2) composite?
True
Let t = 77 - 8. Is t composite?
True
Suppose 0*d - 2*d + 8 = 0, 0 = -3*y + 2*d + 109. Suppose -2*b + 31 = -y. Is b composite?
True
Let l = -2 - 8. Let s be 336/30 - (-2)/l. Suppose 7 = 4*k - 5*g, 3*k - s = -g - g. Is k a prime number?
True
Suppose t - 187 - 76 = 0. Is t a prime number?
True
Suppose -k - 3*k + 20 = 2*q, -5*q - 5 = -k. Suppose 5*u - 706 - 399 = q. Is u a prime number?
False
Suppose 14 = -r + 3*r. Let d(a) = -1 - a**3 + 3*a + 3*a**2 + r*a**2 - 3*a**2 + a**2. Is d(7) a prime number?
False
Is (-6)/4*(-39974)/69 composite?
True
Suppose -p + 5*j = 0, 3*j = 5*p - j - 21. Suppose -4*h - 33 = -5*g - 5, -g + p*h = -14. Suppose -g*z + 2*z + 20 = 0. Is z composite?
True
Let w = 134 + -92. Is 24498/w + (-4)/14 a composite number?
True
Let r = -32 - -22. Let z = r + 16. Suppose -z*l = -l - 20. Is l a composite number?
True
Let q = 1445 - -1128. Is q a composite number?
True
Suppose 2*d = 4*d. Suppose l - 3*l + 26 = d. Is l a composite number?
False
Let o be 4/(-6) - (-16)/6. Suppose 0 = -o*x + 15 - 1. Is x composite?
False
Let h(a) = a**2 + 6*a - 1. Let z be h(6). Let d = z - 50. Is d a prime number?
False
Let o(a) = -7*a**3 + 3*a**2 + 8*a + 1. Is o(-2) prime?
True
Suppose -5*a + 17 = -33. Suppose 9*k = a*k - 119. Is k prime?
False
Let q be 6*2/(-4) - 9. Let g = 49 + q. Is g composite?
False
Suppose 2*l + 63 = 5*i, 2*i - 20 - 7 = -l. Let d(f) = 4*f + 1. Is d(i) prime?
True
Let o = -3 + 3. Let a be (o - 0)/(-1) + 2. Suppose a*q = 5*f - 41, -q + 20 = 2*f - 3*q. Is f a composite number?
False
Let t(y) = 2*y**2 + y - 1. Let d be t(1). Let k be (124/(-12))/(d/24). Let m = k - -179. Is m prime?
False
Let n be (-609)/(-2)*26/39. Let a = 490 - n. Is a a composite number?
True
Let g(t) = -4*t - 2. Let b be g(7). Is (b/(-4))/(12/16) a composite number?
True
Suppose -3*y = 3*t - 2082, 4*y - 379 - 324 = -t. Is t composite?
False
Let c(i) = -i**3 - 7*i**2 - 3*i + 1. Is c(-8) a prime number?
True
Let u(y) = -105*y - 4. Let j be u(-3). Suppose -3*p + 5*x + j = 0, 4*p - 155 - 269 = 2*x. Suppose -4*o = -25 - p. Is o composite?
True
Let g(n) = 4*n**3 - 10*n**2 + 12*n + 5. Is g(6) composite?
True
Let f(q) be the second derivative of -q**8/6720 + q**6/240 - 7*q**5/120 - q**4/6 - q. Let y(x) be the third derivative of f(x). Is y(-6) composite?
False
Suppose 5*k = 2*d - 318, -3*k + 332 = 5*d - 401. Is d a prime number?
True
Let m(i) = -13*i - 4. Suppose -4*b - 9 = -b. Is m(b) a composite number?
True
Let y(w) = -w**3 - 4*w**2 - 4*w + 1. Let g be y(-3). Let l(x) = -x**3 + 4*x**2 + 2*x + 2. Is l(g) prime?
False
Let w = 5 + -12. Let a = -4 - w. Suppose 0*u = a*u - 255. Is u a prime number?
False
Suppose -3*m = 5*c - 7, 4*c + 0*c + 4 = 0. Suppose 0 = -m*w - 216 + 668. Is w composite?
False
Let u be (-1)/(4/(-116)*1). Suppose y - u = -p - 3*y, 3*p + 2*y = 107. Is p a prime number?
True
Let v(m) be the second derivative of 11*m**4/4 + 2*m**3/3 + 3*m**2/2 + 4*m. Is v(-2) a prime number?
True
Suppose 58 = -3*d - 3*g - g, 10 = 5*g. Let j be 33*(1 - 0) - -2. Let p = d + j. Is p a composite number?
False
Let y be 152/3 + (-3)/(-9). Let b = y + -9. Suppose f = 4*f - b. Is f composite?
True
Let f(c) = -6*c - 4. Let k(q) = 19*q + 11. Let u(b) = 8*f(b) + 3*k(b). Is u(2) prime?
True
Suppose 0 = -3*k - k + 884. Is k prime?
False
Let m = 297 - 77. Suppose 10 + m = 4*x - 3*o, 0 = -2*x + 3*o + 112. Is x composite?
False
Let c(s) = -s**2 + s - 5. Let y be c(0). Let j(r) = 14*r - 8. Let n(i) = -14*i + 7. Let g(a) = y*n(a) - 4*j(a). Is g(4) a composite number?
False
Let i(f) = -5*f**2 + 2*f - 1. Let s be i(1). Let c(d) = 5*d**2 + 4*d + 1. Is c(s) a prime number?
False
Let z(u) = -9*u - 9. Let c be z(-11). Let k = c + -52. Is k prime?
False
Let o(x) = 2*x**2 - x - 23. Is o(-10) a composite number?
True
Let d = -720 - -1127. Is d a composite number?
True
Let m(u) = -u**3 + u**2 - u - 1. Let z(y) = -3*y**3 - 3*y**2 - 11*y - 17. Let k(r) = -4*m(r) + z(r). Is k(10) composite?
True
Suppose -2*f = 3*u - 5809, -u + 6*f - f = -1959. Is u a prime number?
False
Let f(p) = 0*p - p**3 + p + 11*p**2 + 3*p - 12 - 3*p. Let h be f(10). Suppose 0 = -x - x + h. Is x a prime number?
False
Let v(a) = 180 - 14 - 2*a + 129. Is v(0) prime?
False
Let l(x) = 1 - 3 - 5*x - x. Let u be l(-2). Let z = u - 6. Is z prime?
False
Suppose -3*m + 0*m = -477. Is m composite?
True
Let d(m) = -2 - 3*m - 1 - 8*m**2 - 7*m - m**3. Is d(-8) a composite number?
True
Let v be (2 - (-4)/4) + 1. Suppose v*r + 2*p - 132 = 0, -2*p + 4 - 37 = -r. Is r a prime number?
False
Let x = 167 + -112. Is x a prime number?
False
Suppose -3*o + 0*s = -s - 38, 5*o = -2*s + 45. Let p = -7 + o. Suppose -p*v - 3 = -j - 0*j, 3*v = 15. Is j a prime number?
True
Let t = 1 + 0. Let f = 0 + t. Is (2 - -4*32) + f composite?
False
Let m(j) = -2*j - 9. Let d be m(-8). Let i = 26 - d. Is i prime?
True
Let j(a) = 14*a**3 + a**2 - 4*a + 3. Let o be j(2). Suppose 0*m + m + 25 = -3*q, -4*m = q + o. Is (-204)/m - 2/7 prime?
True
Let f(y) be the third derivative of y**8/6720 + y**7/504 - y**6/90 - y**5/15 - y**4/24 + y**2. Let v(s) be the second derivative of f(s). Is v(-6) composite?
True
Let w(n) = n**3 + n**2 - n + 6. Let o be w(0). Suppose 5*b + 6 + 4 = 0. Is (-13)/(b*3/o) a prime number?
True
Is 3/(12/172) - -3 prime?
False
Suppose -306 = 4*z - 7430. Is z prime?
False
Suppose 0 = -3*v - 4*d + 630, d + 4*d = 4*v - 871. Suppose -y = -3*w - v, -y + 2*w = -5*y + 842. Is y a composite number?
False
Suppose 0 = 5*n + 3*i + 25, -2*n - 2*n + i - 3 = 0. Let c be n + 2 + 3 + 841. Suppose -4*t + 0*t = -c. Is t a composite number?
False
Let n(z) = -5*z - 2. Let k be n(2). Let h = 66 + 1. Let v = k + h. Is v a prime number?
False
Suppose m - 8 = -k, -3*k + 5*m + 20 = 4. Is k + 0 + 6/(-2) a composite number?
True
Let x(u) = u**2 + 5*u - 3. Let d = 0 + -12. Let j(z) = -z**2 - 12*z + 3. Let q be j(d). Is x(q) a composite number?
True
Let n = 1 + 17. Suppose -5*k - 3 = -n, t - 128 = -5*k. Is t a prime number?
True
Let a(b) = 7*b + 1. Let q be a(4). Let v = q - -8. Is v composite?
False
Let h be 4 - (-1)/(2/(-4)). Suppose -5*c - j + 379 = j, 0 = 2*c - h*j - 160. Is c a prime number?
False
Let y(g) be the second derivative of -2*g**3 - 5*g**2/2 - g. Let j be (-2)/1 + (-5 - 0). Is y(j) a prime number?