p(k). Is h - 4 - (-58 + 0) composite?
False
Suppose 2*h - 69 = -h. Let u = h - -8. Is u a composite number?
False
Let u = 946 + -373. Is u prime?
False
Is (2456/4)/((2 - 2) + 2) a composite number?
False
Let w be 6/9*(-6)/(-1). Let x be 6 - (w + -3 + 1). Suppose 3*g - 13 = -4*y, -x*y = -y - g - 26. Is y prime?
True
Let u be 1303/2*48/(-6). Let j be u/10 + (-3)/(-15). Let c = -298 - j. Is c a composite number?
False
Suppose 23*k + 836 = 27*k. Is k composite?
True
Let k(w) = -3*w**3 + 3*w**2 - 9*w - 10. Let i(j) = 2*j**3 - 2*j**2 + 9*j + 10. Let f(b) = -4*i(b) - 3*k(b). Is f(7) prime?
False
Let u be 24/30*1450/4. Suppose -q - 60 = -l - 0*q, 5*l - u = -5*q. Is l composite?
False
Suppose -328 = -3*c + 602. Let j = c - 183. Is j a prime number?
True
Let u be (100/6)/((-1)/6). Is u/(-1) + (0 - 3) a composite number?
False
Let l(i) = i**2 + 9*i - 8. Let t be l(-10). Let o = 6 - 8. Is ((-54)/(-1))/t + o a composite number?
True
Let a = 54 + -162. Let n = a + 272. Suppose j - 3*j + 56 = 2*s, -5*s + 3*j + n = 0. Is s prime?
True
Let l be (884/(-6))/(8/(-36)). Let r = l + -329. Is (-1)/(2 + r/(-166)) composite?
False
Let r = -7 + 4. Let z(s) = -7*s**2 + 7*s + 1. Let h(v) = -20*v**2 + 20*v + 3. Let d(t) = -3*h(t) + 8*z(t). Is d(r) composite?
False
Let h = 7 + -6. Let o = 4 - h. Is o composite?
False
Let j(a) = a**3 - a**2 + 2*a - 1. Let b = 2 - 1. Let v be j(b). Is 2/(261/255 - v) a composite number?
True
Let j(w) = w**2 + 6*w + 2. Let g be j(-6). Let m be g*1 + (-260)/(-4). Suppose 8*r - 3*r - m = h, 3 = h. Is r prime?
False
Let t(j) = j**3 - 6*j**2 + 5*j + 3. Let d be t(5). Is 1934/((4 - 5) + d) a composite number?
False
Suppose -2*t + 251 = 4*h - 517, 4*h - 762 = t. Is h a prime number?
True
Let t(d) = 18*d**3 + d**2 - 2*d - 4. Is t(3) a prime number?
False
Let s(w) be the second derivative of -11*w**5/120 + w**4/24 - w**3/3 + 2*w. Let m(r) be the second derivative of s(r). Is m(-2) a prime number?
True
Suppose -306 = -0*c - 6*c. Is c a prime number?
False
Is (-9)/((-9)/4) + 207 composite?
False
Suppose 5*l + 5*y - 8 = 3*y, l - 2*y - 4 = 0. Suppose -3*t + t = -5*f - 325, 0 = l*f + 6. Is t a prime number?
False
Let d = -175 - -306. Suppose 3*g - d = -4*r, 3*r - 2*r + 2*g - 29 = 0. Let t = r + -25. Is t prime?
False
Let n(h) = h**3 - 12*h**2 + 13*h - 12. Let t be n(11). Is (44/(-8))/((-1)/t) prime?
False
Let r be ((-1)/(-3))/((-3)/(-1413)). Suppose 4*i - i - 12 = 0. Suppose 4*t = -t + 10, -5*q + i*t + r = 0. Is q a composite number?
True
Let z = -5 - -5. Let d be z + (-3 - -1) - 0. Is (3/d)/((-3)/20) a composite number?
True
Let g = 200 - 135. Is g prime?
False
Let b be (8 - 4)/((-1)/1). Is 66/b*(-40)/12 composite?
True
Let s(l) = 53*l + 1. Suppose 5*y - 16 = -3*b + 18, -2*b - 14 = -4*y. Let f(m) = -26*m - 1. Let n(j) = y*f(j) + 2*s(j). Is n(-3) composite?
True
Suppose 2*o - 943 = -2*b + 321, 2*o - 1260 = 2*b. Is o composite?
False
Suppose 2*y + 10 = 4*b, -2*y - 2*b - 16 = -0*b. Let l(d) = -2 - 6*d + 3*d - 2*d. Is l(y) a prime number?
False
Let p(x) = -34*x**3 + x**2 - x - 1. Is p(-1) composite?
True
Let r = 1776 + -899. Is r composite?
False
Suppose 3*n - n + 8 = 2*q, 4 = 2*q - n. Suppose -3*x - 2*z + 711 = q, -x - 2*x - z + 711 = 0. Suppose d - x = -2*d. Is d a composite number?
False
Is 51/(-2)*(-16)/12 composite?
True
Let b(a) = -a**3 - 17*a**2 - 20*a + 15. Is b(-16) prime?
True
Suppose -69 = -5*w - 4*u, 3*w + 3*u = 14 + 28. Let l(a) = 4 + w*a**2 - 4*a**2 - 2*a + 0. Is l(3) prime?
True
Let u = 44 + -5. Suppose 2*w - u = 215. Is w prime?
True
Let h be (-5 + 2)/(-1) + 158. Suppose -3*s - 401 = -5*o, h = -5*s - 3*o - 530. Let g = -66 - s. Is g a composite number?
False
Let x(z) = -z**3 - 3 + z + 0*z**3 + z + 3*z**2. Let f be x(3). Is ((-452)/(-6)*f)/2 a prime number?
True
Let s(q) = q + 2. Let y be s(0). Suppose y*p = -4*j + 504, -4*j + 4*p - 373 = -7*j. Is j composite?
False
Let d = 4515 - 2668. Is d a composite number?
False
Is (-1)/((-5)/3090) - 5 a composite number?
False
Let m(f) = f**3 - 3*f**2 + 3*f - 2. Let y be m(2). Suppose -j = -3*b - 107, y*j - 2*j + 234 = 4*b. Is j composite?
False
Suppose -4*m + 15 = -1. Suppose w = m*c - 2*w - 116, 2*w = -3*c + 70. Is c prime?
False
Let x(c) = -c**2 - c - 109. Let i be x(0). Let a(b) = b**3 + 14*b**2 + 10*b + 1. Let g be a(-11). Let q = g + i. Is q a prime number?
False
Let c = 2562 - 1441. Is c composite?
True
Let t(n) = 2*n**2 - 7*n + 6. Is t(4) composite?
True
Suppose -y + 4*y - 9 = 0. Let o(k) = -15*k**2 + 17*k - 19. Let l(f) = -8*f**2 + 9*f - 10. Let p(j) = 11*l(j) - 6*o(j). Is p(y) a composite number?
False
Let l be (5 + -7)/((-4)/10). Suppose 2375 = 3*m + 2*d, -l*m + 6*d + 3973 = 2*d. Is m composite?
True
Suppose 4*q - 3385 = -q. Is q a prime number?
True
Suppose -4*j = -5*i + 106, -3*j + 4*j + 5*i + 14 = 0. Let u = j - -55. Is u prime?
True
Suppose d = -2*f - 4, 4*f - 32 = -4*d + 8*f. Let r = 6 - d. Is r a composite number?
False
Suppose 2*d - 3*d = i + 11, i = d + 3. Let s(h) be the third derivative of h**5/20 + h**4/6 + h**3/3 - 9*h**2. Is s(d) a prime number?
False
Let t(k) = 9*k + 1. Let p(q) = -8*q - 1. Let o(f) = 4*p(f) + 3*t(f). Let c be o(-1). Suppose 4*m - 4*s - 456 = 0, c*m - s = -3*s + 450. Is m composite?
False
Let d = 486 - 193. Is d a composite number?
False
Is (-3 + -19)/(2/(-5)) composite?
True
Suppose -v = -r - 0 - 4, -2*v + 5*r + 23 = 0. Let g be 0 + (-1 + v)*-12. Let m = 83 - g. Is m prime?
True
Suppose l - 4*c + 4 - 28 = 0, -3*l + 37 = -5*c. Suppose 0 = l*w + 34 + 190. Let h = 109 + w. Is h prime?
True
Suppose 3*j + 11 = -4*a - 5, -3*j = a + 13. Let u = a - -13. Let p = u + 19. Is p prime?
True
Let z = 279 - -1568. Is z a composite number?
False
Suppose 4*t + 1 = t + 2*j, -t + 5*j + 4 = 0. Is (-2)/t + -2 - -251 prime?
True
Let g(s) = -191*s**3 - s**2 + 1. Let x = 0 + -1. Is g(x) prime?
True
Suppose 4*d - d - 9 = 0. Suppose -2*o - 7 + 80 = d*s, 4*s = -3*o + 99. Is s a composite number?
True
Suppose h + 49319 = 5*p, -2*p - 4*h = -11609 - 8101. Is p composite?
True
Let b(z) = -615*z + 13. Is b(-2) prime?
False
Let n = 32 + -27. Let k = -144 - -270. Suppose -n*v + k + 169 = 0. Is v composite?
False
Let b(l) be the third derivative of l**4/4 - l**3/2 - l**2. Let h be b(4). Is 8/(-12)*h/(-2) composite?
False
Let z = 3068 - 1498. Suppose 3*a + 2*a = z. Is a a prime number?
False
Let p(a) = 33*a - 2. Let w(z) be the third derivative of -5*z**4/24 + z**2. Let g be w(-1). Is p(g) a prime number?
True
Let l(b) = -b**2 - 3*b + 4. Let m be l(-3). Let g(k) = 74*k - 1. Let c be g(4). Suppose -c = -i - m*i. Is i composite?
False
Let v = 1273 + -642. Is v a prime number?
True
Suppose -z = 4*v - 146, 5*z - 4*v + 7*v = 645. Suppose -z = 2*i - 320. Is i a composite number?
False
Let o(j) be the third derivative of j**6/120 + j**5/12 + j**4/6 - j**3/6 - 3*j**2. Let b be o(-4). Let d(x) = 48*x**2 - 2*x - 1. Is d(b) a prime number?
False
Let m = -105 - -268. Is m a composite number?
False
Let j be (-1)/(-5) + 3238/10. Suppose -2*v - 336 = -4*u, 4*u + 2*v - j = -2*v. Is u prime?
True
Suppose -49*b + 47*b + 34334 = 0. Is b composite?
False
Let z(l) = 1262*l - 3. Is z(2) composite?
False
Let m = 0 - -3. Let l(s) = 59*s - 8. Let q(v) = 30*v - 4. Let f(c) = 3*l(c) - 5*q(c). Is f(m) prime?
False
Suppose -4*u = -i - 6, 4*u + 18 = 9*i - 4*i. Let t = i - -9. Is t composite?
True
Suppose 453 = u - 5*z, 0*u = -2*u + 2*z + 890. Is u a prime number?
True
Let l be 1 - 1/(2/(-112)). Let o = l - 36. Is o prime?
False
Let z = 6 + -4. Let w(o) = 2*o**2 - 3*o + 1. Let j be w(2). Suppose -j*c + 89 = -z*c. Is c prime?
True
Let k = 577 - 284. Is k a composite number?
False
Let r(g) = 45*g**2 + g. Let f be r(1). Let z = f + 3. Is z a composite number?
True
Let x(o) = o**3 - 7*o**2 + 3*o - 6. Let v be x(7). Is (178/5)/(6/v) prime?
True
Suppose -2*g + 7*g - 4325 = 0. Is g prime?
False
Let a(v) = 47*v**3 + v**2 - 2*v + 3. Is a(2) a prime number?
True
Let p(n) = 4*n**3 - 2*n**2 - 9*n + 3. Is p(4) a prime number?
True
Suppose 688 = 2*q - 6*q. Is (-5)/(10/q) - -3 composite?
False
Let t be 4/(-6) - (-280)/6. Suppose -t = r - 173. Is r a prime number?
True
Let t be 6/(-9) - 470/(-3). Suppose -t = -3*z - z. Let a = -20 + z. Is a a composite number?
False
Let m = -543 - -1364. Is m a composite number?
False
Let i(z) = -z**3 + z