/(-719)) prime?
True
Let g(x) = 272*x**2 - x + 1. Let c be g(1). Let n = c - 10. Suppose 4*o = -3*u + n - 20, u - 2*o = 84. Is u a prime number?
False
Let g(m) = -1258*m**2 - 3*m - 2. Let o(y) = -y**2 - y - 1. Let f(j) = -g(j) + 4*o(j). Is f(-1) a composite number?
True
Suppose 5*v = 2*d - 89 + 1888, -2*d - 4 = 0. Is v a prime number?
True
Suppose -3*b - 12*f = -7*f - 3371, 2*f = -2*b + 2246. Let t = b + -385. Is t composite?
True
Let i = -1 - -9. Suppose -2*k = i, m - 6*m - k + 171 = 0. Suppose p - 2*p + m = 0. Is p composite?
True
Suppose -20 = 3*t - 8*t. Suppose c + 1353 + 6037 = 4*n, 4*n + t*c = 7380. Is n prime?
True
Let f(j) be the second derivative of 7*j**6/240 + j**5/120 + 5*j**4/6 - 5*j. Let g(k) be the third derivative of f(k). Is g(2) composite?
False
Suppose -8*o + 5534 = -6*o. Is o a composite number?
False
Suppose 4*s - v - 17 + 14 = 0, 3*v - 5 = 5*s. Suppose 2*w - 3*r - 536 = 0, -5*w + 501 = s*r - 820. Is w a prime number?
False
Let s be -3 + 6/3 + 1. Suppose s = -4*a + 3*a + 353. Is a composite?
False
Suppose 15 = 5*k - 3*d, -9 = -5*k + 2*k + 5*d. Suppose -k*b + 5*v + 4609 + 207 = 0, -2*v - 1607 = -b. Is b a prime number?
True
Let p(k) = -1330*k + 67. Is p(-10) prime?
True
Suppose 2*z + 0*f - 4*f = 30, -z + 5*f + 27 = 0. Suppose -8*o + 809 = -z*o. Is o a composite number?
False
Suppose 4*y = 2*c - 8, 8 = c + 2*c - 2*y. Suppose -1204 = -4*s - 4*t, c*s - 3*t = 400 + 212. Is s a prime number?
False
Let b(g) = 3*g - 13. Let u be b(5). Suppose 0 = 4*c + 3*j - 1624, -4*c + u*c + 5*j + 838 = 0. Is c prime?
True
Suppose 0 = -4*y, 2*y = g - 0*y - 5. Suppose g*r - 2*r - 9 = 0. Suppose -r*s - 358 + 1237 = 0. Is s a prime number?
True
Suppose 2*v + x - 3*x - 20 = 0, v - 2*x - 10 = 0. Suppose -v*j + 5233 = -3657. Is j a composite number?
True
Suppose -3*s - 7 = 5, 5*j - 39315 = -5*s. Is j prime?
True
Let w(j) = 6*j**2 + 30*j + 26. Let g be w(-7). Suppose f + 3 = -2. Is g - ((-10)/f + -3) a prime number?
False
Let s(z) = z**2 - 6*z - 3. Let y be s(6). Let j(g) = -13*g - 11*g + 4 - 8 - 2*g**2 - g**3 + 21*g. Is j(y) a prime number?
False
Let z = 314 - 127. Is z prime?
False
Let z be ((-3)/1)/(0 + -1). Let p(y) = -4*y**2 - y**3 - 3 + z*y - 3*y + 3*y. Is p(-5) a prime number?
True
Let a(i) = 4832*i**2 - 3. Is a(1) composite?
True
Let j(q) = 36*q - 15. Is j(18) composite?
True
Suppose 8 = 4*g, 0 = -0*n + 4*n - 4*g - 1532. Suppose 2*p - 13 = -q, 0*p = -4*p + 20. Suppose 8*b - n = q*b. Is b a composite number?
True
Let m = 0 + 0. Suppose 4*j + j - 825 = m. Suppose 2*r + 3*i = 175, 5*i = -5*r + 3*r + j. Is r composite?
True
Let h = 1848 + 113. Is h a prime number?
False
Let g = 11650 - 3638. Suppose 48*z - 44*z = g. Is z composite?
False
Let k(i) = -i**2 + 7*i - 7. Let t be k(7). Let o = t + 12. Suppose -2*s - 553 = -o*s - y, -533 = -3*s + 4*y. Is s a prime number?
False
Let g(q) = 2*q**2 + q - 2. Let j be g(2). Let p be 2125/(-20) - (-2)/j. Let i = p + 311. Is i composite?
True
Let i = -5 - -8. Suppose 6*l - 4*l + 1071 = r, -4*r = -i*l - 4269. Suppose 0*s + 5*s = r. Is s a composite number?
True
Let i(n) = n**2 - 4*n + 3. Let p be i(2). Let z be 0/3 + (p - -3). Suppose -z*q = -v - 126, -10 = 4*v - 2. Is q composite?
True
Suppose -2*x + 3 + 5 = 0, 5*q + x - 6774 = 0. Is q prime?
False
Let x = -9 - 9. Let a(w) = -w**2 - 17*w + 21. Let q be a(x). Suppose q*r + 5*l = -0*r + 134, -5*l = -2*r + 81. Is r a composite number?
False
Is (5 + (-569 - -7))/(-1) prime?
True
Is (-35)/105 - ((-215562)/9 + 0) a composite number?
True
Let j = 2106 - -350. Let q = j - 642. Is q prime?
False
Let b(v) = v**2 - 7*v - 1. Let q be b(9). Suppose -3 = -a + q. Is 6128/a - (-6)/10 a prime number?
True
Let d(s) = 63*s**3 - 4*s**2 - s + 3. Let c be d(2). Suppose t - c = -5*x, -5*t - 345 + 2732 = -4*x. Is t composite?
False
Let c(o) = o**3 + 6*o**2 + 5*o + 3. Let l be c(-5). Suppose 2*h + 2505 = -l*h. Let x = 250 - h. Is x prime?
True
Suppose 5*t - 4*t = -264. Let c = t + 446. Let m = c - 91. Is m prime?
False
Suppose 6161 = 13*j - 4161. Is j a composite number?
True
Suppose -2*w - h = -1591, -181 + 161 = -4*h. Is w a prime number?
False
Let l be -2*(4 - 2)*346. Let b = 464 - l. Is b/55 + (-2)/(-5) prime?
False
Suppose 52*t - 28172 = 48*t. Is t a composite number?
False
Let a(c) be the first derivative of 7*c**4/6 + c**3/2 - 3*c**2 + 4. Let b(q) be the second derivative of a(q). Is b(3) a composite number?
True
Let n be (-2 + -1)*(-127)/3. Suppose -2*g + h + 226 = 0, -g - h - 2*h + n = 0. Let u = -82 + g. Is u a prime number?
False
Let t(j) be the first derivative of j**6/120 + 3*j**5/20 - 5*j**4/8 - 13*j**3/6 + 5*j**2/2 - 5. Let y(d) be the second derivative of t(d). Is y(-10) composite?
False
Suppose -4*l - 4*r + 9148 = 0, l - 4*l = -5*r - 6877. Suppose -54*j + l = -51*j. Is j a prime number?
False
Let u be (-119)/2 - (-7)/(-56)*4. Is 561 - (5/3)/((-50)/u) a prime number?
False
Let u(q) = 27*q + 1. Suppose -a + 2*a - 10 = 4*l, -3*a + 78 = 4*l. Suppose -5*g = -3*k + a, -2*g - 24 = -4*k + 2*g. Is u(k) composite?
False
Suppose -5*q = -0*q + 25, -4*v - 2*q = -100218. Is v prime?
True
Let g(o) = -o**3 + 4*o**2 + 2*o - 3. Let y be g(3). Let f = -10 + y. Suppose s + 10 = f*s. Is s composite?
True
Let w = 116172 + -3967. Is w a composite number?
True
Suppose -4*m = -3*m - 6. Suppose 1424 = m*o - 4090. Is o a composite number?
False
Suppose -3*d = -a - 15098, 9302 + 5800 = 3*d + 3*a. Is d a composite number?
True
Let c(f) = f**3 - 9*f**2 + 13*f - 19. Let b be c(8). Is 2 + (-2980)/(-6) + 7/b a prime number?
True
Is 146/(-6)*-1063 + (-18)/(-27) composite?
False
Let j(x) = 19*x**3 + 12*x**2 - 27*x - 155. Is j(16) a prime number?
True
Let k be -13 + 17 - (-83 + 1). Let o = 161 - k. Suppose 3*p = -n + 288, 0 = -2*p - 4*n + 257 - o. Is p a prime number?
True
Suppose -249 = -d + 4*d. Let s = d - -157. Is s a prime number?
False
Suppose -5*v - 1436 = 3*b, -7*v + 4*v = -3*b + 852. Let s = -69 - v. Is s a composite number?
True
Let u(i) = 43*i**3 + i**2 - 12*i + 7. Is u(5) composite?
False
Suppose -237*f = -227*f - 647630. Is f composite?
False
Let l(b) = -525 - 584*b + 508 - 720*b. Is l(-5) a composite number?
True
Let v(s) be the second derivative of -103*s**3/6 + 11*s**2 - 15*s. Is v(-7) a prime number?
True
Suppose -6*a = -3*a. Suppose a = -2*g + z + 300, 157 = g + 2*z - 6*z. Is g a composite number?
False
Let h = 9 - 7. Is (3 - (206 + h))/(-1) a composite number?
True
Suppose -7 = -r + 3*s, -3*r + 4*r = -s - 1. Suppose 0 = -4*u + 3*d + 6265, 2*d - r = d. Is u a prime number?
True
Let b(a) = -1 + 12 + 1 + 0 - a. Let k be b(-8). Is ((-1461)/12)/((-5)/k) a prime number?
True
Let n(o) be the third derivative of 1/4*o**4 + o**2 + 0 + 0*o + 1/3*o**3. Is n(12) a composite number?
True
Let w = 79 + -79. Suppose w = 10*t - 2588 - 1802. Is t composite?
False
Is 1282/4*(54 - -4) a composite number?
True
Let h(k) = -k**3 + k**2 - k - 1. Let x(b) = -13*b**2 + 20*b + 15. Let s(d) = -h(d) - x(d). Is s(-12) composite?
True
Suppose -5*l + 2 = -8. Suppose -2*z + 4*k = l*z - 600, 0 = -z - 4*k + 145. Is z prime?
True
Is 4366*(49/70 - 1/5) a prime number?
False
Is 5/(55/(-2)) - (-367815)/165 a prime number?
False
Suppose 5*h - 99 = -6*g + 4*g, -5*g + 10 = 0. Let q = h + -16. Suppose 84 = q*x - 243. Is x a composite number?
False
Let v be 8/(-10)*20/(-8). Suppose 0 = -5*f - 15, 0*i - 2*f - 512 = -v*i. Is i composite?
True
Let n be ((-218 - -2) + 2)*-1. Let y = n + -149. Is y prime?
False
Suppose 8*p + 20 - 52 = 0. Suppose 3*f - 2*o = 4*f - 28, 81 = 3*f + 3*o. Is 3731/f + 6/p composite?
True
Let p(l) be the third derivative of l**5/30 + l**4/24 - 13*l**3/6 - l**2. Let m = -88 - -74. Is p(m) a composite number?
True
Let s = -2 - 8. Let a be 8/12*(-135)/s. Let v(m) = 11*m**2 - 2*m - 8. Is v(a) a composite number?
True
Let a = -46 + 48. Suppose 0 = -3*i - 3*o + 771, 0*i + a*i = 4*o + 490. Is i a prime number?
False
Let f(i) = -11*i**2 + 4*i - 12. Let j(v) = 10*v**2 - 3*v + 11. Let h(u) = 5*f(u) + 6*j(u). Is h(-2) a composite number?
True
Suppose 0 = u + 8 + 1. Let v be (-1 - -1)*u/(-18). Suppose v = -5*j + 57 + 238. Is j a prime number?
True
Let n = -67 + 61. Let c = 683 - n. Is c a composite number?
True
Suppose 0 = -6*t - 15650 - 1432. Let d = -1676 - t. Is d a prime number?
True
Suppose -4*j = -2*j + 3*y + 