b + 3*b + 4*u = -256. Let m = b + 467. Is m composite?
False
Let m be (-3)/(-2)*(-3552)/(-9). Let g = m - 364. Let o = g + -23. Is o prime?
False
Let j be (2/4)/((-4)/(-32)). Let s(c) = 5*c - 4*c - 3 - 3*c + c**3 - c**2. Is s(j) prime?
True
Let p be (-299)/(-3) + (-1)/(-3). Suppose 0 = -o - 13 + p. Is o a composite number?
True
Let d = 281 + -70. Is d a prime number?
True
Let g(s) = 130*s**2 + 2*s - 1. Is g(2) a composite number?
False
Let m = -134 + 211. Is m a prime number?
False
Suppose 9 = p + d, 4*p + 3*d - 41 = -0*p. Suppose 0 = -0*l + 3*l + 3*k - 15, -4*k + 16 = 0. Let a = p - l. Is a a composite number?
False
Suppose 3*x = 5*x. Suppose 5*w - 5*d = 0, -4*w + 6 = -2*d + d. Suppose q = -2*b + 39, x = -w*b + 5 - 3. Is q composite?
False
Let h = -8 - -11. Let k(z) be the second derivative of z**4/12 + z**3/3 + 2*z**2 - z. Is k(h) composite?
False
Let z = -11 + 13. Let w(i) = 86*i**2 - 4*i + 3. Is w(z) composite?
True
Let q be 12/(-8)*(2 - 4). Suppose 5*y - 130 + 521 = q*k, 5*y + 645 = 5*k. Is k composite?
False
Let n = 50 - 25. Suppose -2*h + 24 = -4*d + 2, -2*h + n = -d. Is h a prime number?
True
Suppose 0 = 2*b - 0*b. Suppose 3*s - 2*s - 4 = b. Suppose 5*h + 224 = s*m + 3*h, 102 = 2*m + 4*h. Is m a prime number?
False
Let i(c) = c + 89. Is i(0) a composite number?
False
Suppose 71 = o + 4*f + 2, o + 5*f - 72 = 0. Is o a prime number?
False
Suppose 2*x = 6*x + 8. Let d be 0/(-2)*(-1)/x. Suppose -t - 9 + 31 = d. Is t a composite number?
True
Suppose f - 2*f - 1 = 0. Let j = 1 - f. Is 19/j + 2/4 a prime number?
False
Let q = 287 - 43. Suppose 5 + q = 3*b. Is b prime?
True
Suppose -c + 4*y = -356, -3*y + y = c - 338. Suppose 0 = -i - 3*i + c. Let w = i + -49. Is w composite?
False
Let r = -82 + 140. Is r a composite number?
True
Let u = 3 - 3. Suppose 0 = -5*h - u*h + 15. Is (-68)/h*(-6)/4 prime?
False
Suppose 6*j - 2*j = -720. Let c = 43 - j. Is c composite?
False
Let a be (0 - 6*-1) + -3. Suppose -a*o = 2 - 95. Is o a prime number?
True
Suppose 4036 = -12*y + 16*y. Is y a composite number?
False
Let i be (-10)/(-4) - (-1)/(-2). Let j(v) = 2*v**3 + 3*v - 2*v**2 + 1 - v**2 + 0*v**3 - 6*v**i. Is j(6) a prime number?
True
Suppose -4*z + 559 = 5*d - 849, d - 1392 = -4*z. Is z prime?
True
Suppose -d + 18 = -0. Suppose -m = -28 - d. Is m composite?
True
Let z(t) = -t**3 - 11*t**2 + 12*t. Let h be z(-12). Suppose i + i - 34 = h. Let m = i + 30. Is m composite?
False
Let y be 2/3*(-54)/(-12). Let n(h) = 22*h + 2 + y - 4. Is n(1) a composite number?
False
Let s = 9 - 7. Let c be 2/9 + (-642)/(-27). Suppose s = -2*j + 4, j + c = r. Is r a prime number?
False
Suppose 2*z = -5*y + z + 1264, -3 = 3*z. Is 2/4 + y/2 a prime number?
True
Let x = 2872 - 1659. Is x a prime number?
True
Let s = 182 + 77. Is s a composite number?
True
Let n(x) be the third derivative of -x**6/120 - x**5/20 - x**4/4 - x**3/2 + 4*x**2. Is n(-5) a composite number?
True
Suppose 2*s - 102 - 408 = 0. Suppose -a - s = -4*a. Is a a composite number?
True
Let m(j) = 3*j**3 + 7*j**2 - 8*j + 15. Let b(a) = 4*a**3 + 6*a**2 - 9*a + 16. Let t(u) = 4*b(u) - 5*m(u). Is t(13) a prime number?
True
Let o = -15 - -21. Let t(b) = 3*b - 4. Is t(o) composite?
True
Let u(i) = i. Let q(p) = 23*p**3 - 4*p**2 - 4*p - 3. Let l(g) = -q(g) + 2*u(g). Is l(-2) a composite number?
False
Let p(f) be the second derivative of f**8/6720 - f**7/252 + f**6/180 + 13*f**5/120 + f**4/6 - 3*f. Let d(t) be the third derivative of p(t). Is d(10) composite?
False
Let h = -770 - -1179. Is h a composite number?
False
Let d = -61 + 66. Let y(z) = -27*z. Let c be y(-1). Let m = c - d. Is m composite?
True
Suppose 0 = -2*k + 12 + 2. Is k composite?
False
Let b = 1331 + -771. Suppose -b - 468 = -4*w. Is w composite?
False
Let v(h) = h**2 + 13*h - 13. Let c = 27 + -15. Is v(c) prime?
False
Let r = 12 + 66. Suppose -r = -0*o - 3*o. Is o a prime number?
False
Let p be (-3223)/(-4) + (-21)/28. Suppose -s = -6*s - p. Let h = s + 250. Is h prime?
True
Suppose 152 + 22 = 3*q. Is q a prime number?
False
Let i = -2514 - -4055. Is i prime?
False
Suppose -3*m = -0*m + 6. Let q = m - -2. Suppose -4*i + 519 - 139 = q. Is i composite?
True
Let l(q) = -q**3 - 2*q**2 + 5*q + 3. Let r be l(-3). Let m be 794*(5/(-2) - r). Suppose -4*t + 3*f + 493 = 0, -m = -4*t + 5*f + 86. Is t prime?
True
Suppose -s = 4*c - 139, -s - 118 = -3*c + s. Is c - (0/3 - 1) a composite number?
False
Is 1 - (-8)/(-4)*-95 a prime number?
True
Let l(q) = q**2 - 5*q - 4. Suppose 2*f - 5*h + 5 = 32, 0 = 3*f - 2*h - 24. Let w be l(f). Suppose w*i - 390 = -2*d, -3*i + 589 = -3*d + 7*d. Is i prime?
True
Let t(c) = -c**3 + 11*c**2 - 13. Is t(9) a prime number?
True
Suppose 85 = l - 4*t - 8, -2*t + 69 = l. Suppose f - l = -2*s, 74 = -2*s + 4*s - 2*f. Let b = s + 19. Is b a composite number?
True
Let c = -9 - -5. Let b(x) = -18*x**3 - 4*x**2 - 2*x + 3. Is b(c) composite?
True
Let f be 52*((-3)/(-2))/(-1). Let t = -66 + f. Let i = t - -235. Is i a composite number?
True
Is 0 - (27986/(-28) - (-6)/4) composite?
True
Let p(y) be the second derivative of 5*y**3/2 + 5*y**2/2 - y. Is p(6) a prime number?
False
Let l(i) = -i + 4. Let d(p) = p - 1. Let c(z) = 15*d(z) + 3*l(z). Is c(5) a composite number?
True
Suppose -16 = 2*r - 6*r, -2*t - 5*r + 194 = 0. Suppose -k + 12 = -t. Suppose 5*w = s + 129 + 61, 5*s + k = 2*w. Is w a prime number?
True
Let b be (22/(-3))/((-8)/(-36)). Is (b/(-2))/((-3)/(-4)) prime?
False
Let a be 2/(-5) - (-114)/(-15). Let g be (-57)/(-2)*a/12. Let c = 2 - g. Is c a prime number?
False
Is (-184)/(-2)*11/4 a composite number?
True
Let s(y) be the second derivative of y**5/10 + 7*y**4/24 + y**3/6 - 2*y. Let v(o) be the second derivative of s(o). Is v(5) composite?
False
Let y(g) = -4*g**2 - 5*g - 4. Let m(w) = -3*w**2 - 4*w - 3. Let t(l) = 3*m(l) - 2*y(l). Let o be t(-2). Is 3 + 2 + (32 - o) a composite number?
True
Suppose -4 = -2*l, -2*t = 5*l - 0*l - 8. Let h = t + 3. Suppose 4*q = 2*i - 16, 23 = 4*i - h*q - 3. Is i a composite number?
True
Suppose -10*q + 21 = -9*q. Is q composite?
True
Suppose 8*k = 5*k + 15897. Is k prime?
False
Let n(j) = -32*j**3 - 2*j**2 - j + 4. Is n(-2) a prime number?
False
Let y(w) = w**2 - 4*w - 6. Let h be y(6). Let k(s) = -7*s**2 - 1 - 7*s - s**3 + 2 - 4 + h. Is k(-6) prime?
False
Is ((-1)/3)/((-55658)/13914 + 4) composite?
True
Let g be (-4)/14 + 61/(-7). Let d(b) = 3*b**2 - 25*b + 9. Let h(r) = r**2 - 12*r + 4. Let l(p) = -2*d(p) + 5*h(p). Is l(g) composite?
False
Let t(k) = 38*k**2 - k - 5*k**2 + 5*k**2. Is t(1) composite?
False
Let o(j) = -42*j + 1. Let w(m) = -m**3 + 9*m**2 - 8*m - 5. Let r be w(8). Is o(r) a composite number?
False
Suppose 3*i = 3*s - 486, 3*s - 481 = -3*i + i. Is s prime?
False
Let c be 3/2*(-4)/(-6). Suppose -2*k + c = -n, -2*k + 8 = n + 1. Is (-1)/(n/(-69))*5 a composite number?
True
Let f = 20 + -18. Suppose 0 = l + f*l - 2*q - 62, -l - q = -24. Is l a composite number?
True
Is (-1)/(906/909 + -1) a prime number?
False
Suppose 3*c = -108 - 24. Let d = 235 + c. Is d composite?
False
Suppose -3*w - 2*h = -4, -w + 3*w = -5*h - 1. Suppose -k + 2 = -w. Suppose -k*u = -m - 270, 0 = 3*u - 5*m - 178 - 33. Is u composite?
False
Suppose -5*k + 4*k = -3*p, 5*k + 3*p = 18. Suppose -5*z = 10, k*b - 5*z = 5*b - 2304. Suppose 4*f - 3*n = -0*f + b, -4*f + 1145 = n. Is f prime?
False
Let z be 4 + 1 + (0 - 2). Let w(d) = 3*d**2 + 5*d - d - d - 2*d**2 + 3. Is w(z) a prime number?
False
Let z be (4/5)/(4/30). Suppose -g + z = g. Is 143 + g + (-2 - -1) prime?
False
Is 9/6 - (-758)/4 prime?
True
Let a(y) be the third derivative of y**6/120 - y**5/30 + y**4/8 - y**3/2 - y**2. Let b be a(2). Is ((-3)/(-4))/(b/84) prime?
False
Is (-3225)/(-9) + -3 + (-3)/9 a composite number?
True
Let u(s) = -s**2 + 61*s - 8. Is u(18) a prime number?
False
Let k(p) = 4*p**2 + 7*p. Let i be k(5). Is i/4 + (-2)/(-8) composite?
True
Let f(r) = 2*r**2 + 8*r - 4. Let v be f(-6). Suppose 2*z - 5*t = -0*z - v, 0 = 4*t - 16. Suppose z = -a - 0*a + 95. Is a a composite number?
True
Let f = 2 + 0. Let d(g) be the second derivative of 9*g**5/20 + g**4/6 - g**3/3 + 3*g**2/2 - 3*g. Is d(f) composite?
False
Let z(o) = -7*o + 43. Is z(-6) prime?
False
Let y(n) = 10*n + n + 3 - n. Let v be y(-6). Is (v + 1 + 1)/(-1) a composite number?
True
Let a = -38 + 91