 - 3*x + 19 = 0. Is x a prime number?
True
Let d(g) = 8*g**3 - 2*g**2 + 4*g - 7. Is d(3) composite?
True
Let b be (225/(-18))/(2/(-4)). Suppose -5*q + 20 = -v, 5*v - b = 4*v - 4*q. Suppose -5*o - u = -o - 201, 5*o - v*u - 270 = 0. Is o prime?
False
Let l = -8481 - -28976. Is l a composite number?
True
Let b(a) be the first derivative of 8*a**3/3 - 6*a**2 - 13*a - 3. Is b(-9) a composite number?
False
Let a = 100 + -91. Let i(o) = 7*o**2 + 6*o + 56. Is i(a) composite?
False
Let o(s) = s**2 + 8*s + 13. Let z(p) = p**2 + p + 1. Let x(n) = -o(n) + 4*z(n). Is x(10) composite?
False
Let y = 18882 + 2875. Is y a composite number?
False
Suppose 5*n - 4*b + 6*b - 24 = 0, 0 = -5*n + 2*b + 16. Suppose n*m + 694 = 5*m. Is m composite?
True
Let f = -20 - -20. Let t be ((-84)/(-9) + 0)*15. Suppose -4*r = z + 3*z - t, -2*r + 2*z + 78 = f. Is r a prime number?
True
Let y(m) = m**3 + 9*m**2 - 8*m + 22. Let w be y(-10). Suppose -9277 = -4*b + 3*a, -3*a + w*a = -3*b + 6954. Is b prime?
False
Let f be 21/(-2)*2/3. Let m(l) = l**3 + 7*l**2 + l + 8. Let q be m(f). Is 2*q*335/10 a prime number?
True
Let o(t) = 3*t**2 - 3*t - 2. Let m be o(-1). Suppose -3*b + 533 = m*r, 3*r + b - 36 = 365. Suppose -r = -2*w + c + c, 3*c + 63 = w. Is w a prime number?
False
Suppose -2*z = -5*z + 9. Let g be (2 - (3 + -2)) + z. Suppose 0 = -g*u - 0*u + 228. Is u a prime number?
False
Suppose 0 = 3*x - u - 14863, -4*u - 19 = -3. Suppose -2*q = 11*q - x. Is q a composite number?
True
Let p(w) = 20*w**2 + 7*w - 93. Is p(-40) prime?
True
Suppose -47*j = -60*j + 689. Is j prime?
True
Let p(u) = -u**2 + 3*u + 10. Let c be p(5). Suppose 4*q - 12 = c, 0*j = 5*j + q - 6298. Is j composite?
False
Let t be ((-36)/(-7))/((-4)/(-84)). Is (t/10)/(2/30) + -1 a composite number?
True
Let k(t) = 177*t**2 + 48*t + 148. Is k(-3) a prime number?
True
Let c be (7 + 1 + -2)/3. Suppose 0 = 2*f + c, 125 = 4*p + f - 2*f. Is p a prime number?
True
Suppose 0 = -28*i + 32*i + 8068. Let h = i + 3060. Is h prime?
False
Let b(l) = 3037*l**3 - 2*l**2 + 1. Let d be b(1). Let g = -2129 + d. Is g a prime number?
True
Let y(f) = -186*f**3 + 17*f + 16. Is y(-3) a prime number?
True
Let q(j) be the third derivative of j**6/15 - j**5/24 - 5*j**4/24 + 2*j**2. Let d(m) be the second derivative of q(m). Is d(7) a composite number?
False
Let k be 1149/21 + (-2)/(-7). Is (-5953)/(-11) - 10/k prime?
True
Suppose -2*g - 17846 + 869 = -f, -2*g = 4. Is f a prime number?
False
Suppose -z - 910 = -2*z. Suppose 3*n + z = 2803. Is n a composite number?
False
Let j(v) = v**3 + 7*v**2 + 3. Let h be j(-7). Is (479/h)/(5/15) composite?
False
Suppose -12*o = -1726871 + 305435. Is o a prime number?
True
Suppose 10933 = 3*j - 41270. Is j composite?
False
Suppose 0 = 2*w - s - s - 2112, 0 = w + s - 1066. Is w prime?
True
Suppose -5*j = -4*j - 6. Let m(d) = d**3 + 8*d**2 - 8*d - 2. Let u be m(j). Let c = -201 + u. Is c a composite number?
True
Let y(o) = 13*o - 4. Let p be y(-2). Let h = -161 - p. Let i = 190 + h. Is i prime?
True
Suppose 2*a - 9 = 425. Suppose -y - w = -4*y - 13, -3*y - 2*w - 28 = 0. Let s = a + y. Is s prime?
True
Let d(j) = 7*j**3 + j - 1. Let g be d(1). Suppose -1 = 3*m - g. Suppose -7 = 4*r + 9, m*b - 50 = 2*r. Is b composite?
True
Suppose 33*i - 240 = -27*i. Let x = -3265 - -7454. Suppose i*o = x + 7. Is o prime?
True
Let y(q) = -146*q + 1. Let l(d) = -d. Let o(v) = 2*l(v) + y(v). Is o(-1) composite?
False
Let i be 2/14 + (-132880)/(-56). Suppose -i = -11*g + 4*g. Is g a prime number?
False
Let h = -146 + 246. Suppose -h = -2*k + 414. Is k a composite number?
False
Suppose -13 + 5 = -q - 4*k, -5*q + 3*k = -17. Suppose 12 = -3*r - 3, -q*r = -x + 27. Suppose -4*l - h + 738 = 0, x*l - 915 = 2*l - 5*h. Is l prime?
False
Let b = 62 + -19. Let c = 51 - 27. Let k = b + c. Is k a prime number?
True
Let q = -4 + 6. Suppose -2*h = -5*y - 255, -q*h - 710 = -7*h - 2*y. Suppose -4*f = -2*u - 274, 2*u = f + f - h. Is f a prime number?
True
Let v(m) = -8*m**3 + 5*m + 3. Suppose -k - 22 = 4*a, 4*k - 2*a + 3*a = -13. Is v(k) prime?
False
Let h = 8087 + -3820. Is h composite?
True
Suppose 6*p - 13*p = 63. Let i(y) = -y**3 + 4*y**2 + 10*y + 8. Is i(p) a composite number?
False
Let s(d) be the third derivative of 3*d**5/5 - d**4/6 - d**3 + 14*d**2 - d. Is s(-5) a prime number?
False
Suppose 857 + 289 = 3*w. Is (7/14 + 0/1)*w a prime number?
True
Let q = 33000 - 8641. Is q a composite number?
False
Suppose 7840 = -14*d - 2772. Is -16 - -14 - -2*d/(-4) a prime number?
False
Let n = 2056 - 657. Suppose 5*p - n = 2721. Suppose -4*g = -4*x + g + p, 5*g = 5*x - 1035. Is x a prime number?
True
Let i be 2/(-6) - 31974/(-18). Let h be -1 - -1 - i/(-3). Let u = -191 + h. Is u a composite number?
False
Let v(n) = 1 - 233*n - 37*n + 18*n - 2. Is v(-2) prime?
True
Suppose -5*k + 3*z + 25720 = 0, 5*k + 5*z + 0*z - 25760 = 0. Is k prime?
True
Let o(m) = 2 + 5*m**2 + 1 + 0*m**3 - m**3 - 4*m. Let w be o(4). Suppose w*t - 5*p = -t + 121, -3*t + 114 = 4*p. Is t a prime number?
False
Let q(a) = 4*a**3 + 7 - 14*a - 6*a**2 + 5*a**3 - 4*a**3. Is q(6) composite?
False
Let r = 58 - 52. Suppose y + r*y = 329. Is y a composite number?
False
Is ((-17567)/(-33))/(2/6) composite?
False
Suppose -5*j + 19559 = -2976. Is j prime?
True
Suppose -5*m + 8 = j - 0*m, -2*j + 8 = 2*m. Suppose -v = -j*u + 5195, 2*v = -4*u + 8333 - 1413. Is u a prime number?
False
Let w(a) = 273*a**2 + a - 7. Suppose 5*j - 5*c - 2 = 8, -2*j + 5*c + 4 = 0. Is w(j) prime?
True
Let x(h) = 3*h**2 + 7*h - 1. Let m(s) be the second derivative of s**3/6 - s**2 + 2*s. Let f be m(-5). Is x(f) a composite number?
False
Let q(l) = l**3 - 10*l**2 + 4*l + 17. Let f = -57 + 69. Is q(f) a prime number?
True
Is (-882365)/(-77) - (-5)/((-70)/4) a composite number?
True
Suppose -668 - 965 = -i. Suppose 2*g + 799 = u, i = -0*u + 2*u + 3*g. Suppose -153 - u = -2*p. Is p a prime number?
False
Suppose -11 = -3*i + 7. Is 2 - i/2 - -32 a composite number?
False
Suppose 3642 - 183438 = -12*h. Is h a prime number?
True
Suppose -21*i + 20*i + w = -320, 0 = -4*i - 5*w + 1253. Is i composite?
False
Suppose 0*u = -u + 10. Let n be 4/u - 88/(-5). Let t = n - -28. Is t a composite number?
True
Suppose -y - 3*w = -354, 5*w + 70 = -y + 418. Suppose -y = -i + 340. Is i prime?
False
Let r(g) be the second derivative of g**6/360 + g**5/120 + 89*g**4/24 - g**3/6 - 7*g. Let o(x) be the second derivative of r(x). Is o(0) a composite number?
False
Let f be -1 + (-3 - -6) + -16. Is 9249/6 + (-21)/f a prime number?
True
Let i(a) = 177*a + 514. Is i(29) a composite number?
False
Is (-99 - 4505)/(4/(-5)) prime?
False
Let f(b) = b**2 + 28*b - 64. Is f(-53) composite?
True
Suppose -3*r + 15 = -5*w - 6*r, -2*w + 3*r + 15 = 0. Suppose w = -7*q + 9 + 5. Suppose 3725 = -q*p + 7*p. Is p composite?
True
Is -3*1 - (-2 + (12 - 39692)) prime?
True
Suppose 1187 + 1152 = 4*r - l, -3*r = -2*l - 1748. Suppose 2*s + 4*o = -0*s + 1170, -s = 3*o - r. Is s composite?
True
Let j(z) = -z - 8. Suppose 3*n + 42 = 3*f, -n - 2*f = 3*n + 44. Let y be j(n). Suppose -y*k + 48 = -376. Is k a composite number?
True
Is 11/(4 - 9090/2274) a composite number?
True
Suppose 3*r = 3*g + 9891, 3*g + 1549 = r - 1744. Is r composite?
False
Let c(d) = 4*d**2 + 2*d + 1. Let w be c(-1). Suppose 9*f + m - 3594 = 4*f, 2*m - 2155 = -w*f. Is f a composite number?
False
Let c(m) = -14*m**2 - 1 - 27*m**2 + 2 - 3*m - 2*m**2. Let i be c(2). Is (i/(-12))/((-2)/(-8)) composite?
False
Let t(y) = 15084*y**2 + 9*y - 13. Is t(2) a prime number?
False
Suppose 4*s = -3*s + 6629. Suppose s + 378 = 5*b. Is b prime?
False
Suppose 6*o - 8 = 4. Suppose w + o*h - 10138 = -3*w, 0 = -4*w + 3*h + 10123. Is w prime?
False
Let u(l) = 15*l**3 + 16*l**2 - l + 13. Let b(f) = 8*f**3 + 8*f**2 - f + 6. Let m(c) = -5*b(c) + 2*u(c). Is m(-5) a prime number?
True
Let f = -32 + 32. Suppose 5*z - j + 106 = f, -6*z - 62 = -3*z + j. Is (-1875)/z - 10/35 prime?
True
Is (6/(-4))/(6/(-273484)) prime?
True
Suppose -n + 689 = 3*k - 185, 0 = -n + 3*k + 886. Let m = n + -573. Is m a composite number?
False
Suppose -2*o + 2 = -2. Suppose 0 = -3*s + 2*s - 3*d - 12, 0 = 5*s + 3*d + 12. Suppose -o*a - 2*a + 2084 = s. Is a composite?
False
Suppose 0 = 34*v - 760945 + 32223. Is v prime?
True
Is 1/((678408/135678 - 5)/3) a prime numb