mposite number?
True
Suppose 3*l - 37 = -2*z, 2*z = l - 12 - 3. Let q(n) = 20*n**2 - 1 - 15*n**2 - l*n + 6. Is q(9) prime?
True
Suppose -4*c + 14 = 2*v, v + 0*v - 5*c = -14. Is (-13254)/(-24) - v*3/(-4) prime?
False
Suppose 0*r - 4*r + 12 = 0. Suppose 12 = r*k + 3. Suppose 0 = -k*o + 2*o + 47. Is o a composite number?
False
Suppose -2 = 4*p + 2. Let y = p + 3. Suppose -607 = -3*s - 0*h - y*h, s - 5*h - 174 = 0. Is s a composite number?
False
Let p be (-1 + -2)*(-246030)/(-18). Is p/(-65) + (3 - 37/13) a prime number?
True
Let t = 1202 - 2220. Let n(f) = f**3 - 9*f**2 - 6*f + 43. Let g be n(9). Is (g - -12)/((-2)/t) composite?
False
Let x = -69 + 109. Is 2*(-4)/(x/(-335)) prime?
True
Let c = -48 + 54. Suppose -c*x + 414 = -294. Is x a composite number?
True
Let t be 1/(-3)*-6 - 2. Suppose t = -3*q - 3*q + 42. Is q composite?
False
Let b be (-4)/2 - (0 + -3). Let l be b/(-3) + 28/21. Is l/(2 - (-938)/(-470)) prime?
False
Let u = -23 + 26. Suppose u*w + 21 + 3 = 0. Is w/(-4) + -3 - -68 composite?
False
Let w = -3865 - -1614. Is (-1 + -1)/(8 - 6)*w prime?
True
Suppose 2*d + 3*d - 2*o = 24, 0 = o - 3. Suppose -1917 = d*n - 9*n. Let q = -377 + n. Is q composite?
True
Let f(a) be the first derivative of a**7/840 + a**6/40 + a**5/30 - a**4/8 + 7*a**3/3 - 5. Let c(z) be the third derivative of f(z). Is c(-7) a prime number?
True
Suppose -3 = 3*w + 5*i, -4*i + 1 = -3*w + 25. Suppose 3*u = 5*r + 5, 0 = 2*r + 5*u - 17 - 12. Is (-378)/(-12) - r/w composite?
False
Let w = -9 + -4. Let v(f) = -f**2 - 18*f + 12. Is v(w) composite?
True
Suppose -5*l + 9*l = -724. Let g = l + 474. Is g prime?
True
Let s(z) = z**2 - 4*z - 14. Let f be s(8). Is (354/f)/(3/18) prime?
False
Suppose -11*s - 22693 = -12*s. Is s a composite number?
True
Is 16923/12 - ((-49)/28 + 1) a composite number?
True
Suppose -5*q - r = 2*r - 28115, 2*q - 11246 = -5*r. Is q composite?
False
Let r(t) = -t**2 + 9 + t - 2*t + 2*t**2 + 5*t. Is r(-10) a prime number?
False
Let y be 8/(-4) + 5 + 4. Suppose -y*v + 3*v + 2348 = 0. Is v composite?
False
Let i(c) = -4996*c - 575. Is i(-13) composite?
False
Suppose 5*b - 8 = -0*y - 2*y, -12 = -4*b - 3*y. Suppose -r = z - 5800 + 2122, b = -2*r + 4*z + 7386. Is r a composite number?
True
Suppose -2*k + 16 = 12. Suppose k*b = -3*j + 2903 + 1716, 4617 = 3*j + 3*b. Is j a prime number?
False
Let s(v) = -16*v**2 + 5*v - 3. Let h be (0 - (0 + 4)) + -2. Let r(y) = -15*y**2 + 6*y - 4. Let o(i) = h*s(i) + 5*r(i). Is o(3) composite?
True
Let t(u) = -10871*u**3 - u**2 + 15*u + 14. Is t(-1) prime?
False
Is (42/(-6) + 6)*-317 a prime number?
True
Suppose -12*u + 16570 = -2*u. Is u composite?
False
Let i = -85 + 37. Let l be i/(-36)*(-3)/(-2). Suppose 4*a = -5*h + 805, -2*a = -4*h + l*a + 608. Is h prime?
True
Let h be (2/(-5))/((-2)/80). Let l = 2 + 19. Let v = l + h. Is v prime?
True
Let p(y) = -3 + 8 + 20*y - 35*y + 12*y + 173*y**2. Is p(2) composite?
False
Suppose 0 = -81*q + 78*q + 16311. Is q prime?
True
Suppose -36280 = -2*n + 10918. Is n a composite number?
False
Let n(x) = -x**3 + 8*x**2 - 6*x - 1. Let v be n(3). Is (-65)/v*1412/(-10) a prime number?
True
Is 63/6*(4 + (-33870)/(-9)) a composite number?
True
Let i be -6*1/2 + -3 + 9. Suppose 0 = 3*l + 9, 1002 = i*s - 0*s + l. Is s composite?
True
Let j(p) = -27*p**3 - p**2 + 4*p + 1. Let t be j(-4). Let r = -928 + t. Is r composite?
False
Let p(r) = 11*r**2 + 2*r + 17. Is p(24) prime?
False
Suppose 4*n + 3*l - 12 = 0, l - 2 = n + 2. Suppose v + v = -4*q + 482, 3*v - 3*q - 687 = n. Is v a prime number?
True
Let r(n) = 22*n**2 + 2. Let a be r(2). Let z = 452 - a. Is z a prime number?
False
Suppose 6*r + 2396 - 11030 = 0. Is r a prime number?
True
Let y be ((-2)/2)/((-2)/24). Let x be (-1 + -281)*114/y. Is x/(-21) + 4/(-7) a composite number?
False
Let m = -20 - -23. Suppose 564 + 1929 = m*s. Suppose -5*h + 815 = -3*j - 8, -5*h + j = -s. Is h a composite number?
False
Let f(p) = -5*p - 19. Let h be f(-5). Let s = 285 + h. Is s prime?
False
Suppose 3*t - 35904 = 2*y - 5893, 0 = -t - y + 10012. Is t composite?
False
Is ((-25455)/(-63) + 18/63)*33 composite?
True
Let j(u) = -6*u**2 - 11*u - u - 6*u + 14 - 17*u**3 + 16*u**3. Is j(-9) a prime number?
True
Suppose -6*r + 9*r - 63 = 0. Suppose 3*o + 32 = -o. Let c = o + r. Is c a composite number?
False
Let q(l) = 2*l**2 + 6*l + 4. Let n be q(-7). Suppose -207 = -3*o + n. Suppose -o = -0*y - y. Is y composite?
False
Let q be -1252 + (-3)/(-4) + (-77)/44. Is -2 + 3 - (0 + 1 + q) composite?
True
Suppose i + 293 = 739. Suppose 3*m - i = 127. Is m composite?
False
Let o(v) be the second derivative of -5/2*v**3 + 0 - 3*v - 1/6*v**4 + 5/2*v**2 + 1/20*v**5. Is o(6) a composite number?
False
Let f = 20 + -16. Suppose 142 = f*i - 2*y - 0*y, 0 = 4*y - 20. Suppose 6*a - 16 = i. Is a composite?
True
Let j(q) = -3*q - q + 5*q + 2. Let m be j(-3). Is 116 + m + (0 - 2) a composite number?
False
Suppose -6930 = 2*n + 4*g - 35512, -5*n + 2*g = -71395. Is n composite?
False
Let u be (22/6)/((-5)/60). Let y = 39 + u. Let p(b) = -27*b - 22. Is p(y) a prime number?
True
Let a(l) = 21*l**3 - l**2 + 9*l + 36. Is a(7) prime?
True
Suppose -133*x + 141*x = 100312. Is x a composite number?
False
Let f = -154635 + 248974. Is f prime?
False
Let t = -207 + 209. Let x be -1 + (-3)/(6/(-310)). Suppose -4 = -4*s, -x = -g + t*s - 11. Is g prime?
False
Suppose -4*r - c + 1875 = -1904, 12 = 4*c. Let h = -457 + 992. Let q = r - h. Is q a composite number?
False
Is 34807 + -1 - (12 + (-14)/2) a prime number?
False
Suppose -r + 20013 = 2*t, -t - 6*r = -9*r - 10010. Is t a composite number?
False
Suppose -2*y = y - 5*c - 11, y + 3 = -5*c. Suppose -y*r + 376 = 2*r. Let u = 183 - r. Is u composite?
False
Suppose -4*l + 4*c = 13596, -2*l = -c - 2711 + 9510. Let u = l + 5561. Is u prime?
True
Suppose -47*y = -37*y - 750790. Is y a composite number?
False
Let o be (6/9)/(8/612). Suppose 5*z - t = o, 2*z - z = -t + 9. Suppose 0 = w - z - 111. Is w prime?
False
Suppose 4*q + 115282 = 2*y, -y + q - 15214 + 72852 = 0. Is y a composite number?
True
Let m be (-10 - -23)/((-2)/(-20)). Suppose -f + 42 = -m. Is 3/(6/f) + 3 a prime number?
True
Let h(t) be the first derivative of -t**4 - 1/2*t**2 + t - t**3 - 6. Is h(-2) prime?
True
Suppose -5*q = 4*s - 545, 3*q - 109 = 2*q + 5*s. Suppose 37 = -3*m + q. Suppose 710 = -19*y + m*y. Is y a prime number?
False
Let z = -846 + 223. Let d = -114 - z. Is d a prime number?
True
Let k = -4610 + 7113. Is k composite?
False
Let j(z) = 136*z**2 - 10*z + 14. Let c be j(10). Suppose c = 6*s + 4670. Suppose 2*m = -2, 3*m - s = -4*u + 1959. Is u prime?
True
Suppose -3*q + 4*z = 5, -2*q = -3*z + 5 - 0. Suppose 0 = -q*p + 9*p - 5596. Is p prime?
True
Let v = -3684 - -6007. Is v composite?
True
Suppose -5*j + 27 = 2. Suppose -j*q - 4*p + 2130 = p, -3*p + 6 = 0. Suppose -3*o + 3*b + 0*b = -1242, -o = b - q. Is o composite?
False
Let q = 11960 + -8397. Is q a composite number?
True
Let q = -89237 - -262572. Is q composite?
True
Let c(p) = 18*p**3 + 12*p**2 + 29*p + 37. Is c(14) a prime number?
False
Suppose 0 = -6*h + h + 895. Let u = -64 + h. Is u a composite number?
True
Suppose 0 = -m - 3*m - 4*q - 515600, 2*q + 4 = 0. Is (-1)/((-6)/1) - m/324 a prime number?
False
Let y = -16869 + 30136. Is y a prime number?
True
Is 60/(-570) - 11281355/(-95) composite?
False
Let g(y) = -12*y**2 - 10*y + 52. Let i be g(15). Let x = -1845 - i. Is x a prime number?
True
Let k(l) = -l**3 - 4*l**2 - l + 6. Let m be k(-3). Suppose m = 7*x + 448 - 3101. Is x a composite number?
False
Suppose -6*c + 10*c - 5*g - 21447 = 0, -5*c + 5*g + 26810 = 0. Is c a prime number?
False
Let o = -10323 + 18064. Is o prime?
True
Let x(m) = m**2 + 3*m + 9. Let k be x(-10). Suppose 77*i - 76*i = k. Is i a prime number?
True
Suppose 83 = 4*y - 3*c, 2*y - 5*y = -4*c - 57. Let g = -19 + y. Suppose -8*b + g*b = -356. Is b composite?
False
Let j = 588 + -1122. Is j/(-9)*(-6)/(-4) a composite number?
False
Let i(p) = -263*p - 2. Let g be i(-1). Let w = g - -118. Is w a prime number?
True
Let j(i) = i**2 - 9*i + 3. Let p be j(9). Let k(v) = 36*v + 3. Is k(p) a composite number?
True
Let o be ((-2)/10)/((-4)/940). Let s = -10 + o. Is s composite?
False
Let q(c) = 12*c. Suppose 5*t = -0 + 5. Let a be q(t). Is (-18)/a*88/(-6) a prime number?