omposite?
True
Suppose -3*s - 3*h = -2157, 2*s - s + 3*h = 721. Is s composite?
True
Let v(s) be the third derivative of 0*s + 0 - 1/6*s**3 - 1/12*s**4 + 1/60*s**5 + 1/60*s**6 - 3*s**2. Is v(2) a prime number?
False
Is 2/2*(-1 - (-2 - 2998)) prime?
True
Let c be (3 - -1 - 0)/2. Suppose -m = s - 7, -s = -3*s + c*m + 22. Is s prime?
False
Let f be 4*(9/(-6))/(-3). Let q = f - -29. Suppose 3*l = -2*j + 27, -5*j - 3*l = -q - 14. Is j composite?
True
Is 2/6 + (-1624)/(-6) prime?
True
Suppose -3*q + 5*a = -160 + 62, 0 = -4*q + a + 108. Is 10/(-65) + 13550/q a composite number?
False
Suppose 4*g = -4*f + 20, -2*g + 6*g + 1 = 3*f. Let t = g - 2. Suppose -2*l + 5*l - 41 = 5*j, t = 4*l + 3*j - 16. Is l composite?
False
Suppose -2*t + 884 = -344. Is t/(-2)*(2 - 3) a composite number?
False
Is 112*4 + (-4)/(-4) composite?
False
Suppose 5*z = 572 + 383. Is z composite?
False
Let h = 1834 - 875. Is h prime?
False
Let l(b) = 30*b + 9. Let z be l(-6). Let k(t) = 10*t**2 + t + 3. Let g be k(-5). Let q = z + g. Is q a composite number?
True
Is -1 - (-1 - 0) - -33 a composite number?
True
Let o = 69 + 90. Is o a composite number?
True
Let x be 3/3 - (1 + -5). Suppose 3*z = x + 313. Is z a composite number?
True
Suppose 3*q - z = -q + 1343, 2*z + 1675 = 5*q. Is q a composite number?
False
Let z(b) = -b**3 + 3*b**2 + b + 3. Let k be z(3). Suppose 2*y = k*y - 104. Is y a prime number?
False
Let j be 2/(-8) - (-1)/4. Suppose 0 = 5*f - 6 - 19. Suppose j*g - 110 = -f*g. Is g a composite number?
True
Suppose 2*i = -5*n + 572 + 140, 0 = -n - 2*i + 136. Suppose -100 = -j - x - 31, 0 = 2*j + 4*x - n. Let q = -35 + j. Is q a prime number?
True
Let z be (-52)/(-9) - 8/(-36). Let r(b) = b. Let t be r(z). Is 63/t*(2 - 0) a composite number?
True
Let h be (-2 - (1 - 4))*-2. Is 3 + h*25/(-1) a prime number?
True
Let q(m) = 26*m + 7. Let h be (-30)/(-4)*16/20. Is q(h) a prime number?
True
Let w = 63 - -508. Suppose 4*y = -5*d + w, -2*d + 2*y + 12 + 220 = 0. Is d a composite number?
True
Suppose -5*w + 3*m = -19714, m = -6*w + 3*w + 11820. Is w a prime number?
False
Let l(j) = -81*j - 32. Is l(-31) prime?
False
Let r(m) = -54*m**3 - m**2. Let i be r(-1). Suppose 3*y - 169 = i. Is y a composite number?
True
Let y = 338 + 505. Is y a composite number?
True
Let h = 5 - 1. Suppose -c = h*c - 885. Is c prime?
False
Let d = -104 - -199. Is d composite?
True
Let j = 6 - -6. Let c = -2 + j. Is c a prime number?
False
Suppose d + 2735 = 2*d. Is d a prime number?
False
Let p be (6 - -2 - 0) + -3. Let h(q) = -6 + q**3 + 2*q**3 - 3*q**2 - 2*q**3 + 3*q. Is h(p) a composite number?
False
Let j(o) = o**2. Let n be j(0). Suppose -318 = -n*f - 3*f. Is f a prime number?
False
Is 908 + 2 + (-1 - 2) composite?
False
Suppose -5 - 3 = -4*c. Let d be (-1)/((-1419)/709 + c). Suppose 4*q - d = -5*v - 0*q, 0 = -5*v - 3*q + 713. Is v a composite number?
True
Suppose -2*t - 2 + 0 = 2*q, -5*t - q = -11. Let u(i) = 4*i**2 + i - 2. Is u(t) composite?
False
Let l = 123 + 21. Suppose 0*w = w + l. Let u = -77 - w. Is u composite?
False
Let r(y) = -y**3 - 4*y**2 + 2. Let x be r(-5). Suppose -3*j + 3 = -3*h, 6 = -5*j - 3*h + x. Is j a prime number?
True
Suppose -14 = -4*g - 6. Suppose g*x + 2*m - 68 = 0, 3*x + 0*x - 104 = -m. Is x a composite number?
True
Let z(y) = 3*y**2 + 3*y - 3. Let f = -1 - -4. Let v be z(f). Is (v/(-4))/((-4)/16) a composite number?
True
Let z(h) be the second derivative of -h**5/20 + 5*h**4/12 + 2*h**2 - 2*h. Let i be z(5). Is (-3)/6 - (-42)/i a composite number?
True
Let o(m) = -2*m + 4*m + m + 5. Is o(10) a composite number?
True
Let n(u) = 5*u**2 - 2*u - 2. Suppose 0 = -4*b + 16, -5*o + b + b + 2 = 0. Is n(o) a prime number?
False
Suppose 2*p - 10 = p. Is p composite?
True
Let v(b) = -b**3 - 12*b**2 - 22*b + 5. Is v(-16) a composite number?
False
Let f = 7 - 4. Suppose -c = 2*c - f. Is -1 + -1 + 12 + c composite?
False
Let c(o) = -4*o - 2. Let u be c(5). Let s = u - -12. Is (-2)/(-5) + (-246)/s composite?
True
Let o(g) = 0*g + 10 - g**3 + 2*g + 6*g**2 + 4*g. Let h be o(7). Suppose h*n - 4*n = -6. Is n a composite number?
True
Suppose 3*c - o - 4*o = 9798, 3*c + 5*o = 9828. Is c prime?
True
Let f be ((-9)/2)/((-6)/424). Let n = -203 + f. Is n a composite number?
True
Let r(l) = l**3 + 4*l**2 - 2*l - 3. Let s be r(-4). Let h(u) be the second derivative of -u**5/20 + u**4/2 - 5*u**3/6 + u**2 - u. Is h(s) a composite number?
False
Let p be (17 + -2)*4/6. Suppose p = 5*h - 0. Is (-84)/(-4) + -1*h a composite number?
False
Suppose 0 = 20*j - 25*j + 13165. Is j a prime number?
True
Let s(m) = 3*m**2 - 14*m + 1. Let p be s(10). Suppose 0*j + j = p. Is j a composite number?
True
Is (-17 + 14)/((-2)/142) a composite number?
True
Suppose -4955 = 6*v - 11*v. Is v composite?
False
Is -3 + 3 + -2 + 415 a prime number?
False
Let b(c) = -14*c**3 + c**2 - 2*c + 1. Let t be b(1). Is (-1131)/(-2) - (-7)/t a prime number?
False
Is (-2340)/(-10) + 2 + -1 a prime number?
False
Is (185/4)/(3/12) composite?
True
Let y(z) = 3*z - 8. Suppose 3*o - 4*c = -2*o - 2, 0 = 2*o - 4*c + 8. Suppose 2 = o*r - 10. Is y(r) composite?
True
Let s(h) = 9*h + 11. Is s(7) composite?
True
Let g(n) = -68*n - 1. Let i be -1*(3 + (-1 - 1)). Is g(i) composite?
False
Is 6/(-9) + 3214/6 a prime number?
False
Let b(c) = 6*c + 10. Suppose -5*s - 3*p + 57 = 0, 3*p = 4*s - p - 52. Is b(s) prime?
False
Is 3*3/27*10977 a composite number?
False
Let b(a) = -7*a**3 - 6*a**2 + 6*a + 8. Is b(-5) a prime number?
False
Let p = -563 + -42. Let o = -411 - p. Suppose -5*k = -o - 621. Is k a composite number?
False
Let n = -15 - -10. Let t be 2/n + (-5328)/(-20). Let o = t + -189. Is o composite?
True
Suppose -2 = -s + 2*s. Is s - 7/(14/(-48)) a composite number?
True
Let r = 5 + -3. Suppose 3*z + r = -7. Is (z - -6) + 30 - 2 a prime number?
True
Let c = 75 - 51. Suppose 0 = -3*f + j + 4*j + c, 3*f - 21 = 4*j. Is f composite?
False
Suppose 4*c = 3*p + 296, 3*c = 2*p - 1 + 222. Is c prime?
True
Let t(m) = -20*m**3 + m**2 + 2*m + 1. Is t(-2) prime?
False
Suppose 3*j + 12 = 0, -2*r + 0*j = -4*j - 12. Is (-651)/(-35) - r/5 composite?
False
Suppose -2*o - 347 = 5*j, 2*o = -o + 3*j - 510. Let y = 320 + o. Is y prime?
True
Suppose -5*s + 5 = -0*s. Suppose -a + 1 = -s. Is a + -4 - -1*27 composite?
True
Let u(n) = 45*n - 8. Is u(7) prime?
True
Suppose -3*x + 2 = -5*r + 1, -5*x - 4*r + 14 = 0. Is (-2464)/(-72) + x/(-9) a prime number?
False
Suppose -3*z + 128 + 108 = 5*b, -2*b + z + 101 = 0. Let s = b + 114. Is s a prime number?
True
Suppose 0*b + b = x - 2, -x = b - 8. Suppose -4 + 19 = x*c. Suppose s - 3*w = 38, 3*w = c*s - 102 + 12. Is s a prime number?
False
Is (158/6)/(21/9 - 2) prime?
True
Let y = -646 - -1243. Is y a prime number?
False
Let x(k) = 16*k - 1. Let p be x(2). Suppose p - 4 = 3*q. Is q composite?
True
Let n be (-8)/20 - 43/5. Let a = n - -128. Is a prime?
False
Suppose 2*u + 2*u + 4 = 0. Is (1 - -560) + u + 3 prime?
True
Suppose -2*p + 1253 = 2*m + 3*m, -3*m + 739 = -2*p. Is m composite?
True
Let c(v) = v**3 - 3*v**2 + 2*v - 5. Let q = 5 + -10. Let o = q - -10. Is c(o) a composite number?
True
Let o(k) = -14*k - 5. Let y(b) = -2*b - 1. Let w be y(2). Is o(w) a composite number?
True
Let f(t) be the second derivative of 23*t**5/20 + t**4/24 + t**3/6 + t**2 - t. Let u(b) be the first derivative of f(b). Is u(-1) prime?
False
Is (-4 + (124/8 - -3))*6 a prime number?
False
Let i = 9 + -4. Let c(z) = 5*z**3 - 3*z**2 - 4*z + 5. Is c(i) a prime number?
False
Suppose 0 = i + g + 4, -2*g = 3*g. Is i/10 - 4068/(-20) a composite number?
True
Suppose -208 = s + 3*s. Is (1 - s) + (-2 - -4) prime?
False
Suppose c = -2*y + 15, -y = 3*c - 4*y - 27. Suppose 0 = 5*k - 16 - 4. Let v = c - k. Is v a prime number?
True
Suppose 2*t - 1962 - 2200 = 0. Is t a prime number?
True
Is (1 + 2)*2204/12 a prime number?
False
Let l(y) = 10*y**2 + 7*y + 5. Is l(8) prime?
True
Suppose 5*g - 2*g = 9. Suppose -5*f + 286 = 4*x - g*f, 4*x - 2*f - 306 = 0. Suppose 5*r + 10 = 0, 0*r = 5*d - 2*r - x. Is d a composite number?
True
Let n(s) = 5*s**2 - 6*s + 5. Let q be 66/12 + (-1)/(-2). Is n(q) a composite number?
False
Let p be (-139)/(-3)*(6 - -6). Suppose j = -3*j + p. Is j a prime number?
True
Let j be ((-6)/(-9))/((-4)/(-18)). Suppose 0 = 3*x - 2*s - 485, -2*s = -5*x - 4*s +