 a prime number?
False
Let o = 34 + -31. Let u(f) = -5*f**2 - 4*f + 7. Let j be u(o). Let n = j + 109. Is n prime?
True
Let g be ((-9)/(-6))/(7/(-21546)). Let l = 8900 + g. Is l prime?
True
Let x(i) = i**3 + 8*i**2 - i - 6. Let o be x(-8). Is (o + 0)*(-5 - -6) + 675 a prime number?
True
Let w(h) = 231*h + 11. Is w(6) prime?
False
Let v = -151 + 6044. Is v composite?
True
Let a(j) = -j**2 - 17*j + 2. Let s = -32 - -20. Let f be a(s). Suppose 4*w = f + 518. Is w prime?
False
Suppose o - 1 = r - 0*r, -3*r + o = -3. Suppose -5*q + 3*c + 3666 = -1627, -4*c = r*q - 2138. Is q composite?
False
Let j be 4 + 3 + 1 + -6. Suppose -3*b + 1209 = 4*u, 609 = j*b - u - 208. Is b prime?
False
Suppose -2*g - m = 2*g - 18812, -m = -5*g + 23515. Is g a prime number?
True
Let f(u) = -u**3 + 23*u**2 - 21*u - 18. Let v be f(22). Suppose -5*m = 2*q - 1911, 5*m - 332 = v*q - 4079. Is q composite?
True
Let w be 0*(-1 + 6/(-9) - -2). Suppose -z + 2*l = -1649, -2*z - 2*z - l + 6596 = w. Is z a composite number?
True
Let h(d) be the first derivative of d**4/4 + 8*d**3/3 + 7*d - 4. Suppose 3*n - r = 4*n + 7, 3*r - 3 = n. Is h(n) a prime number?
True
Let c = -37680 - -60211. Is c a prime number?
True
Let h be (-25)/1 + (-1 - -2). Let r = 94 + -137. Let i = h - r. Is i a composite number?
False
Suppose k - 1 - 8 = 0. Let n = k + -5. Suppose -6*s + 310 = -n*s. Is s a composite number?
True
Let b(a) = a**2 + 11*a + 24. Let x be b(-7). Is -2 + ((-976)/x - 3) a composite number?
False
Suppose 0 = -0*u + 5*u + 30. Let k(c) = 9*c**3 + 3*c**2 - 9*c - 12. Let g(b) = 11*b**3 + 2*b**2 - 9*b - 13. Let y(j) = -4*g(j) + 5*k(j). Is y(u) prime?
False
Suppose 20*z = 21*z. Suppose z = -2*o + q + 1272 - 478, 5*q - 1191 = -3*o. Is o a prime number?
True
Let j be (3/(6/(-34)))/((-2)/(-1042)). Let x = -2660 - j. Is x a prime number?
True
Is 6/6*(5517 + 7)/4 a composite number?
False
Let z = 19 + 522. Is z composite?
False
Suppose 10*m = 44504 + 31626. Is m prime?
False
Let b = 66 + -40. Suppose 8 - 4 = -2*u - 2*t, 5*u - b = 4*t. Suppose y - 4*y = u*q - 823, 5*y = 2*q - 831. Is q prime?
False
Suppose -2*g + 3*g - 1795 = 0. Suppose q + 2*n = 359, -4*q - n + g = q. Is q composite?
False
Let o(q) = 3*q + 22. Let j be o(-5). Let g(y) = 2*y**2 + 2*y + 27. Is g(j) a prime number?
True
Let o(d) = d**2 - 29*d + 59. Let y be o(27). Let r be (2/3)/((-1)/(-3)). Suppose 34 = n + s - r, 2*n - 69 = -y*s. Is n prime?
True
Let o be 4/(12/(-39))*(8 + 10). Let s(v) = 27*v**2 - 2*v + 1. Let x be s(4). Let a = x + o. Is a composite?
False
Let p be 7*-4*3/(-42) + 983. Suppose -3*u + p = -2672. Is u composite?
True
Let m be (-18)/(-2*3/4). Is 2083/4 - (-3)/m a composite number?
False
Suppose 2*l = 10*l - 24. Suppose t - 1610 = l*u - 3*t, u = t - 535. Let c = u + 817. Is c prime?
False
Suppose -8*n = -190 + 70. Let w = 28 - n. Is w prime?
True
Let i be -10 - ((-6)/(-2) + -6). Let l = i + 9. Suppose -2*g = -3*z - 0*g + 28, l*z + 2*g = 2. Is z prime?
False
Let w(v) = v**3 - 8*v**2 - 8*v - 11. Let s be w(9). Let g be (-11060)/(-21) + s/3. Suppose 0 = -7*n + 5*n + g. Is n composite?
False
Let x(q) = -44*q**3 + q**2 + q - 1. Let v(m) = 2*m + 1. Let p be v(-1). Is x(p) composite?
False
Suppose 0 = 4*l - 2*l + 24. Let k(h) = -h**3 - 10*h**2 + 17*h - 2. Is k(l) a composite number?
True
Let v be 16/(-6)*12831/(-26). Suppose -8*m - v = -m. Is m/(-10)*(-30)/(-12) a prime number?
True
Let a = -2135 + 4336. Is a a composite number?
True
Suppose -3*u = 2*r - 43, -73 = -3*u - 2*u - 2*r. Suppose -u*m - 149 = -16*m. Is m prime?
True
Let z(i) = 25*i**2 + 2*i - 2. Let s(n) be the second derivative of n**4/12 + n**3/6 + 8*n. Let w(a) = -4*s(a) + z(a). Is w(-1) composite?
True
Let z = -3378 + 2033. Let a = 1917 + z. Suppose -3*p = p - a. Is p a prime number?
False
Let f(n) = -n + 1. Let x be f(-3). Let s be (3 + (-2)/1)*x. Suppose -4*j + 3*j + 223 = -4*z, -5*j - s*z + 1067 = 0. Is j a composite number?
True
Let n(s) = s**3 - s**2 - s + 3. Let k be n(0). Suppose k*g = 7*g - 132. Is 506/g - 2/6 a prime number?
False
Suppose -6*o + 27326 - 7016 = 0. Is o prime?
False
Let g be -3 + (-1 - 3 - -9). Suppose -5*h = 2*j - 149, 5*h - 2*j - g*j - 167 = 0. Is h a prime number?
True
Let y(i) = -7*i**2 + 7*i. Let t(r) = -r**2. Let j(w) = -6*t(w) + y(w). Let k be j(7). Suppose k*l - 564 = -4*l. Is l a composite number?
True
Suppose -23 = -z + 5*p, -4*z = 6*p - 2*p - 20. Suppose 2 = 5*x - h, x - 3 = 2*h - z. Let i(l) = 496*l**2 + l. Is i(x) a composite number?
True
Let l(p) = 3*p - 24. Let i be l(13). Let r(w) = i + 2 - 10 + 13*w**2 - 6*w. Is r(4) composite?
False
Suppose 579002 = 26*p + 56*p. Is p a prime number?
False
Let g = -11 + 5. Let j be 20016 - 16/12*-3. Is 2/g + j/21 prime?
True
Let o = -3888 + 6049. Is o prime?
True
Suppose 5*g + 5*j - 9428 = 23262, -g - 5*j = -6550. Is g prime?
False
Let f(q) = q**2 - 3*q. Let c be f(4). Suppose c*r + y = 2692, 2*y = 4*r - 0*y - 2692. Is r prime?
True
Let z(i) = 237*i + 3. Let f be z(-2). Let s = 70 - f. Is s a prime number?
True
Suppose -228910 = -5*i - 5*i. Is i prime?
False
Let c = -4 - -4. Suppose m - 5*o = 42, c = 2*m + 4*o - 3*o - 139. Is m a composite number?
False
Let j = -26847 + 38314. Is j prime?
True
Let y = 3 + -5. Let o be y/9 + (-520)/(-72). Suppose -o*j + 141 = -4*j. Is j prime?
True
Suppose 4*f = -269 + 49. Is 1/(-10)*6*f a prime number?
False
Suppose 15 + 0 = 5*y. Suppose 2*r - 1 = y. Is 0 + -2 + (71 - r) composite?
False
Let m(t) be the third derivative of -1/15*t**5 + 0*t + 0 + 1/24*t**4 + 1/120*t**6 - t**2 - 7/6*t**3. Is m(8) a composite number?
False
Let o = -5 + 9. Suppose -o*m + 2*m + 6 = 0. Suppose -5*d = -12 - m. Is d a prime number?
True
Let c be 0 - (182/(-21))/(2/24). Let o = 235 - c. Is o composite?
False
Is (22/176)/((-1)/(-236008)) a prime number?
True
Is 9455 - 0 - (27 - 17) composite?
True
Suppose 4*o + 4*z + 148 = -0*z, 5*o - 2*z = -164. Let l = o - -59. Suppose 86 = 3*x - l. Is x prime?
True
Let k(m) = 125*m**2 - m + 6. Let o(t) = 63*t**2 - t + 3. Let b(r) = 4*k(r) - 7*o(r). Is b(-2) prime?
True
Suppose -27*d + 2492 = -26*d. Suppose d + 1536 = 4*i. Is i a prime number?
False
Let y(a) = a + 1. Let d be y(1). Suppose 13 = 5*o + 4*q, 2*o + 5*q + 7 - 2 = 0. Suppose -d*m - o*b = -41, 8*m - 3*m - 5*b = 120. Is m composite?
False
Let t(g) = 64*g - 2. Let i be t(5). Let q = -366 - -175. Let c = q + i. Is c prime?
True
Let c be ((-9)/4)/(-6*(-5)/(-80)). Let h(o) = 39*o**2 - 3*o - 7. Is h(c) a composite number?
True
Suppose -117222 = -3*p + 5*c - 36461, p = 5*c + 26907. Is p a prime number?
True
Suppose 3*l + 12*l = 654105. Is l prime?
True
Let p(t) be the first derivative of -t**4/4 - t**3/3 - t**2/2 + 307*t - 42. Is p(0) prime?
True
Let p = -5777 + 23551. Is p a composite number?
True
Let l = 68 - -65. Suppose -233 - l = -f. Let b = f - -413. Is b composite?
True
Let t be -5*5/((0 - 3)/8049). Suppose -t = -9*n - 13246. Is n composite?
False
Suppose 2*h + 3*h + 3*z = -141, -51 = 2*h + 3*z. Is 14895/h*(-4)/6 a prime number?
True
Suppose 13118 - 99967 = -19*s. Is s a composite number?
True
Let g be 25 + (1 - 2/(-1)). Let d = g + -7. Suppose -4*z + 173 - d = 0. Is z a prime number?
False
Let v be -3*-2*3/6. Let a be (v - (3 + -2)) + 38. Is (-890)/(-4)*48/a a composite number?
True
Let u(q) = -3*q**2 + 16*q - 16. Let g be u(-17). Is (-8)/6 + g/(-9) composite?
False
Let n(f) = -f**3 - f**2 - f + 1. Let v(a) = -5*a**3 - 5*a**2 - 2*a + 4. Let r(p) = -3*n(p) + v(p). Is r(-2) prime?
True
Let t(u) = u**2 - 16*u - 13. Let g = -37 + 27. Is t(g) composite?
True
Let k(o) = 500*o**2 - 35*o - 17. Is k(6) a composite number?
True
Is -19945*((-168)/(-15))/(-8) a prime number?
False
Let f(r) = 134*r**2 - 38*r + 7. Is f(-3) composite?
False
Suppose 0 = 2*m - 10, -5*m = l + 3*l - 40173. Is l a composite number?
False
Let t(r) = 4*r - 19. Let f = -66 - -88. Is t(f) a prime number?
False
Let l(q) = 4918*q**2 + 47*q - 46. Is l(1) composite?
False
Let d(h) be the third derivative of h**6/120 - 7*h**5/60 + 5*h**4/24 - 2*h**3/3 + 3*h**2. Let x be (-9 + 2 - 0)/(-1). Is d(x) a prime number?
True
Is 172771/51 + (-10)/6 a composite number?
True
Let i(x) = 27*x - 14. Let s be i(11). Suppose -675 = -2*z + s. Is z prime?
True
Let m = 7201 - 2391. Let t = m + -2381. Is t prime?
False
Suppose -5*p - 2914 - 3561 = 