rime?
True
Suppose 2*c + 2 = -2*b, -12 = b + 5*c + 9. Suppose b*w - 53 = 3. Let o(h) = 12*h + 17. Is o(w) composite?
True
Let d(j) be the second derivative of -13*j**5/10 - j**4/12 - j**3/6 + 5*j**2/2 + 15*j. Is d(-3) a prime number?
True
Suppose 0 = -20*w + 6*w + 3485734. Is w a prime number?
True
Let d = 67 + -63. Suppose -1730 = -c - p, -d*c = -9*c + 3*p + 8674. Is c a prime number?
True
Suppose v = -2*v - v. Suppose 2*a - 8*a + 474 = v. Is a prime?
True
Let u(x) be the second derivative of x**4/12 - 4*x**3/3 + 11*x**2/2 + 95*x. Let d(c) = 3*c + 1. Let i be d(3). Is u(i) prime?
True
Is 0 + (-955)/(-4) + (-44)/(-176) a composite number?
False
Let a(w) = 15*w + w**3 - 3*w**2 + 4 - 3 - 16*w. Let x be a(3). Is (-2)/x*(226 + -3) composite?
False
Is 40/8 + -10 - 132*-26 prime?
False
Let l be (1/((-5)/(-1210)))/2. Suppose 6 = -5*o + l. Is o composite?
False
Let c = 23 + -21. Suppose -3*y = 3*d - 15, c*d - 4*d + 4*y = -28. Is (777/(-12))/((-2)/d) a prime number?
False
Suppose 2*r + 763 - 8329 = 0. Let o = r + -1546. Is o prime?
True
Is ((-16)/6 + 5)/((-2)/(-3882)) composite?
True
Let l(s) = 3*s - 17. Let x be l(5). Suppose -3*a + 1 = 3*h - 2, 2*h - 11 = a. Is h + 4/x - -125 prime?
True
Let b = 13 - 11. Suppose -b = a + 16. Let s = -12 - a. Is s prime?
False
Let w be (-1 + -3 + 6)/2. Let z(n) = -676*n**3 + 2*n**2 + 2*n + 3. Let d(t) = -677*t**3 + 3*t**2 + 2*t + 4. Let b(f) = 4*d(f) - 5*z(f). Is b(w) composite?
False
Is -5 - ((-167412)/34 + 68/(-578)) a prime number?
True
Let h(n) = -5 - 5 + 3*n**3 + 1 - n + 6*n**2 - 4*n**3. Let l(s) = s**3 - 7*s**2 + s + 10. Let t(i) = -3*h(i) - 2*l(i). Is t(5) composite?
False
Suppose 0 = 5*v + 3*w - 39, v - 2*w + w - 11 = 0. Let i = v - 5. Is (3/i + 0)*8 composite?
True
Let p(n) be the third derivative of n**5/30 + n**4/8 - 22*n**2. Suppose -5*o = -4*w - 59 + 11, 9 = w + 4*o. Is p(w) composite?
True
Suppose 6*y = y + 3*r - 12217, 5*r + 4862 = -2*y. Let q = -1164 - y. Is q a composite number?
False
Is (4 + 15)/(1 - 2390/2395) a composite number?
True
Let j(f) = -f**2 + 8*f + 3. Let q be j(7). Suppose -a + 6*a = q. Suppose 0 = 4*h - 26 + a. Is h prime?
False
Suppose 3*d + 4040 = 7*d. Suppose 0 = -2*m - 16 - 4. Is (-12)/m*d/4 prime?
False
Suppose a + 0 = -1. Let r(t) be the third derivative of 509*t**5/60 - t**4/12 - t**3/3 + 3*t**2. Is r(a) prime?
True
Let o(i) be the first derivative of 95*i**2/2 + 11*i - 1. Suppose 0 = 9*t - 14*t + 30. Is o(t) a prime number?
False
Let y(t) be the second derivative of 31*t**7/1260 - t**5/120 - 2*t**4/3 - 4*t. Let b(w) be the third derivative of y(w). Is b(-2) a prime number?
False
Let v = 708 - 1221. Let r be ((-40)/(-3))/(1/(-72)). Let q = v - r. Is q a composite number?
True
Suppose 2*r - 3*q - 10 = 0, r = 7*q - 2*q + 12. Let i be (8/(-12))/r*-9. Suppose -i*a + 62 = 4*g, 2*g = 3*a - a - 46. Is a prime?
False
Let i be (-57)/(-5) - ((-12)/15)/(-2). Let v(k) = 19*k - 18. Is v(i) a prime number?
True
Let v be 3*92/24 - 7/14. Suppose v*d - 17238 = 1121. Is d a composite number?
False
Suppose 201*v - 42285 = 196*v. Is v a composite number?
True
Suppose -d = -4*d - 15, 0 = -w + 3*d - 8. Let h = 28 + w. Suppose -1624 = -h*x - 3*x. Is x a prime number?
False
Suppose 0 = 29*q - 1219492 - 43197. Is q prime?
True
Let b = 4928 + -2305. Is b a composite number?
True
Suppose -24*y + 26*y - p - 31999 = 0, y - 16010 = -3*p. Is y prime?
True
Let x(v) = v**3 - 11*v**2 + 10*v + 2. Let c be x(10). Suppose -1972 - 1126 = -4*o - c*i, 0 = -5*i + 15. Suppose -6*k = -o - 2221. Is k a composite number?
False
Is 2534436/252 - 2/7 a prime number?
False
Let k(a) be the second derivative of a**5/5 + 3*a**4/4 - a**3/2 - 7*a**2/2 + a. Let g be 25/10*(-1 - 17/(-5)). Is k(g) a prime number?
True
Let a(p) = -p**3 + 10*p**2 + p - 16. Let v be a(10). Is -1114*(-4 + (-21)/v) composite?
False
Let d = -12 - -14. Suppose 0 = 3*p - d*z - 30, 41 = 5*p + 2*z + 7. Is (-5844)/p*(-8)/12 prime?
True
Suppose 1811 = 8*o - 2773. Is o prime?
False
Let q = 4 - 0. Suppose 2*w + 27 + 12 = -m, -q*m - 2*w = 126. Let b = m + 124. Is b composite?
True
Suppose -17*w - 904465 = -54*w. Is w a composite number?
True
Let w(y) = 5*y**2. Let v be w(-1). Suppose 6*o + 4 = v*o. Let r = 55 + o. Is r a composite number?
True
Let b be 20/2*12/30. Suppose j + b*v = -4*j + 5705, 3445 = 3*j - 2*v. Is j a prime number?
False
Let o = 10276 + -3945. Is o a prime number?
False
Let g = 5853 - -12416. Is g prime?
True
Suppose 0*m - 4*n - 33437 = -3*m, -3*m = 2*n - 33425. Is m prime?
False
Is (-2 + 45/2)/((-10)/(-940)) composite?
True
Let z = 263 + -12. Is z a prime number?
True
Let n(u) = -u**3 - 11*u**2 + 5. Let c be n(-11). Suppose h = 4*b + 2 - 13, 2*h - c*b + 10 = 0. Suppose -5*w - 3*v + 184 = 0, -117 = -h*w - 4*v + 70. Is w prime?
False
Suppose 0 = 4*v - 5*v. Suppose -t = -5 - v. Suppose 1 = -x, 2*s - 289 - 1290 = t*x. Is s a prime number?
True
Is (-6)/(-105) + (-8676798)/(-910) a composite number?
True
Let j = 80 - 125. Let y be 2 - (-96 + -1) - -5. Let z = y - j. Is z prime?
True
Suppose 0 = -x + 5*n - 23, -4*x - 2*n + 6*n = 12. Suppose 0 = -x*m - 3*m + 715. Is m composite?
True
Let o be 146/(-6) + (-2 - (-35)/15). Let y = o - -4909. Is y composite?
True
Suppose 5*b = -q + 4349, -1743 = -b - b + 3*q. Is (-3)/((-27)/b) + 6/18 composite?
False
Suppose -3*k = -5*k + 3*r + 119, k = -4*r + 54. Let y = 45 + k. Is y prime?
True
Let f be 45/(-6)*6/9. Let a(g) = -g. Let p be a(f). Is 15 + p + 1*3 a prime number?
True
Suppose -k - 5*i - 9 = 0, 2*k + 9 = -2*i + 23. Suppose 7*v + 4964 = k*v. Is v composite?
True
Let f = 3347 + -1959. Let w = -945 + f. Is w a prime number?
True
Let t = -1076 - -3597. Is t composite?
False
Let m be (0/1)/(-1)*10/(-10). Suppose 2*d + m*i - 3*i - 914 = 0, -i - 1357 = -3*d. Is d a prime number?
False
Let b(y) = -3*y**2 + 24*y + 4. Let o be b(8). Suppose -o*t + 8*t - 4292 = 0. Is t composite?
True
Let s = 2060 - 1433. Suppose -3*m - 3*m + 12 = 0. Suppose -5*q + m*q + s = 0. Is q a composite number?
True
Suppose 8*s - 6 = 11*s, -21001 = -5*u - 2*s. Is u composite?
False
Let t(o) = o - 1. Let l(n) = 65*n - 18. Let k(m) = l(m) - 5*t(m). Is k(8) composite?
False
Let s(j) = -32*j - 5. Suppose -8*z + 6 = -5*z. Suppose z*k + 40 = -3*k. Is s(k) composite?
False
Suppose m - 517 = -0*m. Is m a prime number?
False
Let b(j) = -1835*j**3 - 4*j**2 - 3*j - 8. Is b(-2) composite?
True
Let b = 61 + -43. Let h = b - 15. Suppose 5*w - h*q = 4342, 103 + 762 = w - 4*q. Is w a composite number?
True
Let a be (-1)/(-1*(-2)/(-134)). Suppose -94 - 923 = -9*h. Let j = h - a. Is j a prime number?
False
Let r = 19 + -17. Is ((-1048)/24)/(r/(-18)) a prime number?
False
Let p(b) be the first derivative of -1/3*b**3 + 7 - 1/2*b**2 + 413*b. Is p(0) a composite number?
True
Suppose -52554 = -2*w - 2*b, 131425 = -8*w + 13*w - 5*b. Is w a composite number?
True
Let r = 51 + -2. Let c(p) = -p + 15 + r + 5. Is c(0) a prime number?
False
Let h = 10 + -18. Let r be ((-3 - -6) + -2)*h. Is -12*28/r - 3 prime?
False
Is ((-652)/(-16))/(3/12) a composite number?
False
Suppose 4*z = a + 61225, -33*a + 35*a = -2*z + 30600. Is z a composite number?
True
Is 1 + -5 + (4429 + 5 - 9) composite?
False
Let j be (-138)/(-12)*(0 + -2). Let q be (j - -23)/(1 - -1). Suppose -h - 465 = -5*t, 3*t - 279 = -q*h - 2*h. Is t composite?
True
Let n = -91492 - -268677. Is n a composite number?
True
Let q = -1242 + 10129. Is q composite?
False
Let m be (-55)/5*-91 + 2. Let j = m - 696. Is j prime?
True
Suppose 2*y = -0*y - 10, -3*y = -5*a + 35. Is ((-7)/a)/(2/(-184)) a composite number?
True
Let d = 11 - 6. Suppose -5*g - 42 = -6*g. Let p = g - d. Is p a prime number?
True
Let r(t) = 79*t**3 + 11*t + 23. Is r(6) composite?
True
Let v(w) be the third derivative of -7*w**4/24 + 3*w**3/2 - 8*w**2. Is v(-4) composite?
False
Suppose 10*h = 12*h - 774. Let m = h + 560. Is m a prime number?
True
Suppose 7*x - 15391 - 13890 = 0. Is x a prime number?
False
Let o = -292 - -739. Is o composite?
True
Suppose -5*q - 3643 = -4*d, -3*d + 3*q = 2*q - 2724. Is d composite?
False
Let o(x) be the first derivative of 44*x**2 + x + 11. Is o(1) prime?
True
Let n(j) = 8*j**2 + 55*j - 17. Let c(p) = 8*p**2 + 55*p - 17. Let g(l) = 6*c(l) - 5*n(l). Is g(-16) composite?
False
Let m be (125 - (4 - 1)) + (1 - 3). Let n = m +