se
Let c(x) be the first derivative of x**4/4 + 10*x**3/3 + 3*x**2/2 + 7*x - 8. Is c(-7) prime?
False
Let h(a) = a. Let u be h(-2). Let r be (-6)/2*(-3 - u). Let y = r - -7. Is y a composite number?
True
Let b be 10/(-25) + 584/10. Suppose -4*g - b = -5*g. Is g a composite number?
True
Suppose -9*z = -62279 - 61426. Is z a prime number?
False
Let b be (-5817)/9 + 3/9. Let h = -411 - b. Is h prime?
False
Let a = 6 - -1. Is a composite?
False
Let v = 908 - 163. Is v composite?
True
Let j be (57/(-2))/(1/(-2)). Let q(r) = -r**3 + 5. Let g be q(0). Suppose -g = -2*t + j. Is t prime?
True
Suppose 2*z + 2*p - 32 = 0, p - 50 = -5*z + 6*p. Let m = z - -60. Suppose 3 = -q, 99 = 2*t - 2*q - m. Is t a prime number?
True
Suppose 6*a = -2 + 956. Is a prime?
False
Let r(l) = 15*l**2. Let h be r(3). Let w = -96 + h. Is w composite?
True
Suppose -3*n + 4*m = 2, -2*n - 2*m + m + 6 = 0. Suppose -174 = -5*a + n*a. Is a a composite number?
True
Let q = -2 + 1. Is q - -2 - (1 + -31) composite?
False
Let m(j) = j**2 - 6*j + 6. Let b be m(4). Let v be b/5 + (-34)/(-10). Is -2*(-4 + v + -2) a prime number?
False
Let m(o) = 93*o + 1. Is m(6) composite?
True
Let m be 13 - 3 - 3 - 2. Suppose 11 = -m*u + g + 71, 0 = -5*u - 4*g + 35. Is u prime?
True
Let t = -750 - -2491. Is t a composite number?
False
Let z = -16 - -32. Suppose z = -g + 5*g. Is 13/4 + 3/g a composite number?
True
Let v = 3264 - 1375. Is v a composite number?
False
Let v(l) = l**3 - l. Let b(z) = z**2 - 7*z + 1. Let p be b(7). Let a(i) = 6*i**3 - 3*i**2 - 11*i - 7. Let n(y) = p*a(y) - 5*v(y). Is n(6) a prime number?
False
Let g(j) = -j**2 - 4*j + 2. Let f be g(-4). Let n(t) = -t**f - t**3 - t**2 + 0*t**2 - 2*t - 1. Is n(-3) composite?
True
Suppose 0 = -3*p + 4*p - 7237. Is p prime?
True
Suppose 0 = z + 4*s - 399, 3*z - s + 405 = 4*z. Let d = z - 258. Is d composite?
False
Is (-2)/(-3) + (-4)/24*-974 a composite number?
False
Suppose 3*b - 2164 = -b + 4*d, 2*b + 4*d - 1058 = 0. Is b a composite number?
True
Let p = -1040 - -2127. Is p a composite number?
False
Let l = -185 + 309. Let z = l + -59. Let i = z - 28. Is i composite?
False
Let n = 644 - 177. Is n a prime number?
True
Let g(w) = 5*w - 1. Let c be g(3). Let n = c + -8. Is n prime?
False
Let w = -3063 - -5036. Is w composite?
False
Let x be (-779)/2 - 3/2. Let c = x + 686. Is c composite?
True
Suppose -5*f - 3*z + 0 = 2, -5*f = 2*z - 2. Suppose f*c - 62 = 72. Is c a prime number?
True
Let g = -26 - -31. Suppose r - 83 = 5*n, g*n = -2*r + 2*n + 166. Is r a prime number?
True
Is (-20475)/(-147) - (-2)/(-7) composite?
False
Let c(l) = l**3 + 5*l**2 + 5*l + 2. Let j be 1 + 1 - (6 - 0). Let b be c(j). Is 1/b + 75/2 prime?
True
Suppose -4*c = u - 6024, 0*c = -2*c + 5*u + 3034. Is c prime?
False
Suppose k + 2*k - 711 = 0. Suppose -5*t + 16 = 6. Suppose -5*b = -t*b - k. Is b prime?
True
Suppose 0 = 2*d - 2*h + 38, d - 5*d = h + 81. Let z = -27 + 66. Let x = d + z. Is x a prime number?
True
Suppose -19*h = -14*h - 1605. Is h composite?
True
Let j(c) = 6*c**2 - 2*c - 1. Let t = -17 - -12. Let g be -1*(t + 6/3). Is j(g) a prime number?
True
Let p(h) = -38*h. Suppose -4*r + 9*r = -5. Is p(r) a composite number?
True
Let n = 2 - -4. Suppose -3*b + 12 = -5*y, 4*b - 2*y = n*b - 8. Suppose 5*o + 170 = 5*v, -b - 2 = -2*o. Is v composite?
False
Let n(j) = -j**3 - 3*j**2 - j + 4. Suppose d + 0 = -5. Is n(d) composite?
False
Suppose 3*r + 10 = i, i - 8 = r - 0. Suppose 2*m + 175 = i*m. Is m prime?
False
Suppose k - 2*b = 727 + 1408, 0 = -4*k - 2*b + 8510. Is k a prime number?
True
Suppose -2*r = -7*r. Let j be -1 - (r/(-1) - -1). Is (4/8)/(j/(-148)) prime?
True
Suppose 2*t = -5*m + 329, 0 = -m - 0*m + t + 63. Let c = m + 34. Suppose 5*q - a = 2*a + 181, 3*q - c = -3*a. Is q prime?
False
Let r(w) be the third derivative of w**6/120 - w**5/15 - w**4/24 + 4*w**3/3 + w**2. Is r(6) prime?
False
Let z(q) = 24*q + 7. Is z(9) a prime number?
True
Suppose -4*f = -4*w - 164, 2*w + 3*w = -4*f + 146. Is f composite?
True
Let c = -1 - -1. Let b be (16/4)/(-4) + 4. Suppose b*j = -c*j + 69. Is j a prime number?
True
Let u(r) = 114*r**3 - 2*r**2 + 2*r - 1. Let s be -2 + 1 - (-7 + 5). Is u(s) a composite number?
False
Suppose -17 = -3*t - 8. Suppose 4*f = m + 76 + 142, 0 = 4*f + t*m - 226. Is f prime?
False
Let p(b) = 35*b**2 + 2*b - 2. Suppose -a + 1 = -4*z - 16, 4*a = 3*z + 16. Is p(a) prime?
False
Let h be 0/(-5 + 0 + 3). Is 180 + 2/(-2 - h) a prime number?
True
Let a = 8 + -6. Let y be (a/5)/((-3)/(-810)). Let g = y + -25. Is g a composite number?
False
Suppose 2128 = 7*w - 525. Is w a prime number?
True
Let f = -4 + 0. Is 4/(-16) + (-45)/f a prime number?
True
Let k = 11 + 4. Let p(h) = 2*h**3 + h**2 + 2*h + 1. Let i be p(2). Let o = i - k. Is o prime?
False
Let p(y) = -y**3 + 19. Let w be (-5)/15 + (-1)/(-3). Is p(w) prime?
True
Let z = 12 + -9. Suppose -m - z*d = -5*d - 59, 20 = 5*d. Is m a prime number?
True
Let b(i) be the first derivative of i**2 - 9*i - 1. Let w be b(7). Suppose -a - 2*r + 65 = 2*a, 0 = 2*a + w*r - 36. Is a prime?
True
Let u(l) = -294*l**3 - l**2 + 2*l - 1. Let h be u(1). Let g = h - -585. Is g a prime number?
False
Let s(m) = -12*m**3 + 3*m**2 - 1. Let k be s(3). Let w = 158 + k. Let b = -61 - w. Is b a prime number?
True
Let s(q) = q**3 + q - 28. Let m be s(0). Suppose -5*x = -2*x + 126. Let r = m - x. Is r a prime number?
False
Let m(h) = 22*h**2 - 6. Is m(4) a prime number?
False
Let w(d) be the third derivative of d**5/30 + d**4/4 - 3*d**3/2 - 5*d**2. Is w(-10) prime?
True
Suppose -4*w + 0*w + 16 = 0. Suppose 3*y - 274 = -w*f, y - 203 = 2*f - 5*f. Is f a prime number?
True
Let i = -9 - -16. Let n = i - 4. Suppose 4*v + 6*f - 15 = n*f, -11 = -2*v - 5*f. Is v composite?
False
Is (3/(-9)*-6)/((-8)/(-3124)) a prime number?
False
Let k(l) = l + 13. Let a be k(-9). Let g(p) = p**2 - 3*p - 4. Let n be g(a). Suppose -2*y - 7 = -3*y - 3*x, n = 2*y + 5*x - 14. Is y a composite number?
False
Suppose 0*o - 1947 = -3*o. Suppose 4*v - o = -141. Is v prime?
True
Suppose -2*x + 432 = 2*x + 2*c, -5*c = -4*x + 404. Suppose 2*k + x = 4*k. Is k a composite number?
False
Suppose 5*w + 3 + 27 = 0. Let q(x) = -19*x - 5. Is q(w) composite?
False
Suppose -496 = -2*l - 2*w, -4*l + 0*w = -2*w - 1010. Suppose -l = -5*f + 84. Is f prime?
True
Let g(x) = 23*x - 22. Let t(c) = -24*c + 23. Let b(r) = 5*g(r) + 4*t(r). Is b(11) prime?
True
Let g(s) = -18*s**3 + 3*s**2 - 2. Is g(-3) a prime number?
False
Suppose b + 2*b = 3*m + 12, -2*b - 3*m - 2 = 0. Is 146 - (b/2)/1 a prime number?
False
Suppose 7*n + 1235 = 12*n. Is n prime?
False
Let g(d) = 2*d - 6. Let b be g(4). Suppose -7*p + b*p + 5 = 0, 0 = 2*f + 5*p - 519. Is f a composite number?
False
Let j = -1 + 2. Let u be (j - 0) + 4/2. Is 67/u + 3/(-9) a composite number?
True
Suppose 2*i + i = -4*f + 791, 3*f - 1043 = -4*i. Is i a prime number?
True
Let f(o) = o**2 - o - 2. Let z be (4 + -4)*(-2)/4. Let t be f(z). Is t/7 + 387/7 a composite number?
True
Is ((-388)/(-16))/((-3)/(-12)) a prime number?
True
Is 1315 - 0 - 6/(1 + -4) a composite number?
True
Suppose 2*u + 16 = 56. Let n = 29 - u. Let v(m) = m**2 - 7*m + 3. Is v(n) prime?
False
Let u(s) be the third derivative of s**6/120 - 2*s**5/15 - 3*s**4/8 + 5*s**3/3 + s**2. Is u(9) a prime number?
False
Let a = -631 + 932. Suppose -2*c + 149 = -3*c - 3*j, -4*c + 3*j - 611 = 0. Let x = a + c. Is x a prime number?
True
Let l = 21 - 35. Is ((-442)/4)/(7/l) a prime number?
False
Let j(g) = -7*g + 3. Let k(d) = d**3 + d**2 - d - 5. Let l be k(0). Is j(l) composite?
True
Let j(p) = -45*p + 6. Let z(l) = 45*l - 5. Let g(m) = -2*j(m) - 3*z(m). Is g(-2) composite?
True
Suppose 0 = -4*s + 9*s - 15. Suppose -g = s*g - 3*u - 1271, g = u + 318. Is g composite?
False
Is 29/3 + (-8)/(-6) composite?
False
Let a(n) = n**3 + 7*n**2 + n + 5. Let o be a(-7). Is (-6*1)/(o/11) prime?
False
Suppose -2*r - u + 1768 = -5*u, -r = -4*u - 890. Is r composite?
True
Let d(g) be the third derivative of 17*g**4/12 + g**3/6 - 6*g**2. Suppose -4*o = -1 - 3. Is d(o) a prime number?
False
Suppose 3184 = 2*l - 0*l. Suppose 0 = 4*n - 3*o - l, -3*o + 6*o = 5*n - 1993. Is n a composite number?
False
Suppose 5*i - 23 = -2*s, -i + 4 = 4*s + 3. Let q = 16 + s. Is q prime?
False
Suppose -z - 3*x + 962 = 0, 0*x - 4774 = -5*z