 5 + -4. Is n(m) a prime number?
True
Let d(r) = 4 - r**3 + 9*r**2 + 6*r + 3*r**2 - 3*r + 7*r. Is d(7) prime?
False
Let t(v) = 2*v - 17. Suppose 26 = 5*j - 2*j + 4*d, -3*d - 3 = 0. Let i be t(j). Suppose 2*k - i*r + 2*r - 116 = 0, r + 57 = k. Is k a prime number?
True
Suppose -3*a = 2*h - 195, 3*a - 310 = -3*h + 2*a. Suppose -h = -l - 4*f, -341 = -2*l - l + f. Is l prime?
True
Let x(g) = 5*g**2 + 13*g + 35. Is x(-9) a prime number?
False
Let y(q) = 16*q + 8. Let j be (-4)/(-3*4/18). Let l be y(j). Suppose 4*f - 4*h - l = 0, 3 - 29 = -f + 4*h. Is f a composite number?
True
Let d(f) = -24*f**3 - 3*f**2 + 14*f + 6. Is d(-7) composite?
False
Is 3/90*4 - 39169/(-195) prime?
False
Let b(c) = -c**3 - 20*c**2 + 4*c - 50. Is b(-21) a composite number?
False
Let w(b) = b**2 + 11*b + 6. Let o(q) = q + 1. Let u(n) = -3*o(n) + w(n). Suppose 19*r - 14*r = -40. Is u(r) composite?
False
Let w be (-2)/(-11) + 480/22. Suppose w*a - 5410 = 12*a. Is a a composite number?
False
Let c(x) = -x**3 - 8*x**2 - 6*x + 2. Let r be c(-7). Is ((-199)/r)/(1/5) a composite number?
False
Suppose 6518 = x + 9*z - 10*z, 0 = -2*x + 5*z + 13027. Is x a composite number?
False
Let p = 17 - 16. Let b be (-75)/3*(p - -2). Let i = -20 - b. Is i a composite number?
True
Let u = -13 + 23. Suppose 8*i - 992 = u*i. Let j = i + 791. Is j a prime number?
False
Suppose 3*i = 2*i + 615. Let s be -2*(2532/(-4) + -1). Let w = s - i. Is w prime?
True
Let v be (-2)/(-12) - (-5)/6. Let o be (1 - v)/((-4)/2). Suppose -p - 8 + 4 = o, 3*n + 2*p - 163 = 0. Is n a composite number?
True
Let g(q) = -3 - 6 - 589*q + 7. Is g(-1) composite?
False
Is 7057*11/121*11 prime?
True
Is (-1)/((-3)/50613)*(-4)/(-4) composite?
False
Let d(j) = -11547*j**3 - 6*j**2 - 6*j - 3. Let s be d(-4). Is 1 + 10/(-14) - s/(-273) composite?
False
Let g(h) be the third derivative of h**5/60 + h**4/24 + 11*h**3/6 + 31*h**2. Let y be (1/(-2))/(1/(-24)). Is g(y) composite?
False
Let i be 1/(-2) - (-189)/14. Suppose -4*w + i - 5 = 0, -187 = -d + 2*w. Is d composite?
False
Let s(t) = 30*t**2 + 26*t + 66. Let m(o) = -6*o**2 - 5*o - 13. Let w(a) = -16*m(a) - 3*s(a). Let b be w(6). Let x = -3 + b. Is x a composite number?
True
Suppose -r = 5*u - 2844, -3*r + 14090 = 2*r - u. Is r composite?
False
Suppose 19*k = -15*k + 452302. Is k a prime number?
False
Let g(a) = -1606*a - 245. Is g(-10) composite?
True
Let f(l) be the first derivative of 1/2*l**2 + 59/3*l**3 + l - 1. Is f(-1) a prime number?
True
Is 185288/32 + (-18)/(-24) prime?
True
Let h = 6697 + -2328. Is h prime?
False
Let n(m) = -51*m - 21*m + 7 - 38*m + 22*m. Is n(-6) composite?
True
Suppose l + 0*p = -4*p + 2, 5 = -2*l + p. Let b be (-6)/27 + l/(-9). Is 3*15 + 2 + b composite?
False
Let v be 14/8*-84*1. Let b be v + 3 + -7 + 3. Is ((-51)/17)/(6/b) prime?
False
Let p = -4908 + 12391. Is p prime?
False
Is 39/39*(39602 - -3 - -2) a composite number?
False
Let f = 2625 - 1464. Let p = 1734 - f. Is p prime?
False
Let p(c) be the third derivative of 17*c**4/8 + 7*c**3/2 + c**2. Let f be p(-16). Let b = -544 - f. Is b a prime number?
True
Let i(m) = 234*m**3 - m**2 - m + 13. Is i(4) a composite number?
False
Let c(f) = 51*f - 5. Let b(q) = -17*q + 2. Let h(d) = 8*b(d) + 3*c(d). Is h(2) composite?
True
Is ((-25)/20)/((-11)/692164) a prime number?
False
Suppose 0 = -3*z - 336 + 81. Is z/2*(1 + -1 + -2) a composite number?
True
Let g(x) = 70*x**3 + 7*x**2 - 5*x - 1. Is g(5) composite?
True
Suppose -3*o = 2*o - 25. Suppose -l = -4*f + 2*l + 160, -o*l + 165 = 5*f. Is f a composite number?
False
Suppose 0 = 4*y - y + 222. Let q = y - -475. Let b = q - 214. Is b composite?
True
Suppose -2*x + 2*i + 3004 = 272, 3*x - 4093 = 2*i. Is x a composite number?
False
Suppose 3*z + 28 = 4*k, 5*k - 4*z - 32 = -z. Suppose -4*f - 6*a + a = -1950, 0 = k*a - 8. Is f composite?
True
Suppose -4*b + 305 + 2707 = 0. Suppose -3*v + 2*d - 26 = 0, 0 = -v + 5*d - 15 - 11. Is (-2 - 14/v)*b a composite number?
False
Let s(y) = -74*y - 9. Let t(u) = -u**3 - 6*u**2 - 5*u - 5. Let q be t(-4). Let i be s(q). Suppose i = 5*o + 434. Is o a composite number?
False
Let l(v) be the second derivative of 3*v**4/2 - 43*v**2/2 - 5*v - 3. Is l(-10) prime?
False
Let f(w) = -2*w**2 + 15*w - 14. Let z be f(6). Suppose k + z*g = 2625, -k - 5214 = -3*k + g. Is k composite?
False
Suppose 0 = 4*i + 5*w - w + 12, 5*i = -2*w. Suppose 2*t = t - i. Is (-4 + 9)*(-166)/t a composite number?
True
Let b = 44 + -67. Let m = 26 + b. Is m a prime number?
True
Suppose 3*s + 32 = 3*k + 1214, 5*k - 1603 = -4*s. Is s a prime number?
True
Let c(w) = 296*w + 871. Is c(17) a prime number?
True
Let c = -8085 + 14888. Is c a composite number?
False
Suppose -j + 10 - 3 = 0. Suppose -90 = -j*b + b. Suppose -3*p + 252 = -b. Is p prime?
True
Let b = -2 + 7. Suppose 0 = -3*h + c - 21, b*h + 3*c + 24 - 3 = 0. Is h/(-2) + -2 - -32 prime?
False
Suppose -3*r + 1804 = -1607. Is (-1)/(3 - 3414/r) a prime number?
True
Let u(y) = 7125*y + 302. Is u(9) prime?
False
Let c = 285 - 138. Let h be 10/(-4)*48/(-40). Suppose -4*r + 2*l = 53 - 257, -3*l = -h*r + c. Is r a prime number?
True
Is (-10374)/(-56) + (-9)/(-12) - 1 composite?
True
Let h(p) = 0 + 0 + 1 + p**2 + 3 - 5*p. Let q be h(5). Is q*2/((-32)/(-1964)) composite?
False
Suppose 2*c - a = 4449, 2*c = -c - 2*a + 6684. Suppose 0*f = -3*f - 3*l + c, 2*l = -2. Is f composite?
False
Let w be -2 + 4 - (2 + -5). Suppose i - s - 79 = 0, 0 = -i - w*s + 101 - 28. Suppose -5*f = 5, -15 = -p + 4*f + i. Is p a composite number?
False
Let t(b) = -2*b**3 - 21*b**2 - 11*b - 111. Is t(-17) prime?
True
Let i(q) = -q**2 + 19*q + 44. Let p be i(21). Suppose -4*g - 4*c = -2748, p*g - 6*g + 2736 = c. Is g prime?
True
Suppose -r + 5*g = -22, -2*r = -0*r - 5*g - 19. Let y = r - -11. Let l = y - -1. Is l composite?
True
Let m(y) = 6*y**3 + 3*y**2 - 42*y + 43. Is m(8) prime?
True
Suppose -4*l + 44588 = 4*h, -5*l + 20*h - 15*h = -55755. Is l a prime number?
True
Suppose -w + 9 = -5*o, -4*o - 4*w + 16 = w. Let s(y) be the first derivative of -47*y**2 - y + 14. Is s(o) composite?
True
Let y(d) be the third derivative of 301*d**5/60 + d**4/24 + d**3/3 - 3*d**2. Let r = 3 - 4. Is y(r) a composite number?
True
Suppose 0 = -52*x - 337 - 27. Let d(p) be the second derivative of 5*p**4/4 + 7*p**3/6 - 13*p**2/2 - p. Is d(x) a composite number?
False
Let q(a) = -3*a**3 - 3*a - 2. Let t be q(-1). Is (34/t)/(11/110) a prime number?
False
Let k = -22 + 16. Let x be (-1)/((-3)/k*-1). Suppose -5*s = m - 26, x*m + m - 36 = -s. Is m prime?
True
Let x(a) = -a**3 - 12*a**2 + 84*a + 54. Is x(-32) a prime number?
False
Let l(k) = 312*k**3 + 3*k - 3. Is l(4) a prime number?
False
Let i = -5562 + 423. Is (-1)/2 - i/2 a prime number?
False
Suppose -f + 3*a = 6, f = -3*f - a + 15. Let j(w) be the third derivative of 5*w**5/12 - w**4/8 + 7*w**3/6 + w**2. Is j(f) a composite number?
False
Suppose 5*b - 1 - 14 = 0. Is (1 + b)*159/6 prime?
False
Let s = 30 - 25. Suppose 0 = 5*i - m - 11016, 4*i + s*m = 10*m + 8817. Is i composite?
False
Let c be (4/5)/((-4)/(-150)). Is 5538/c + (-2)/(-5) prime?
False
Let o = -19 + 23. Suppose 0 = -3*n - o*p + 573, 2*n - p - 573 = -n. Is n a prime number?
True
Let y be 1/((-2)/(-212)) + -3. Suppose 0 = 2*x - y - 31. Let v = x - 36. Is v a composite number?
False
Suppose -3737 = -2*z + 93. Suppose n + 314 - z = 0. Is n a prime number?
True
Let p = -13 + 19. Let x(f) = f**3 - f**2 - 1. Let n(w) = -5*w**3 + 11*w**2 + 3*w + 1. Let g(k) = n(k) + 4*x(k). Is g(p) a prime number?
False
Let o = 40589 - 17820. Is o a composite number?
False
Is (-6)/14 + (-1031128)/(-49) a composite number?
True
Suppose -5*r - 7 = -2*q, -4*q + 8 + 51 = 5*r. Suppose -12*c + q*c + 267 = 0. Is c a composite number?
True
Let a = 24568 - -30579. Is a prime?
True
Let m(g) = -g**2 + 3*g + 1139. Is m(0) prime?
False
Let p be -349 + (-16)/4 + 3. Let l = p - -973. Is l prime?
False
Let t(z) = 40*z**2 - 16 - 9 + 8 + 12*z. Is t(-6) composite?
True
Let l(t) = 6*t**2 + 2*t - 13. Let h(x) = 3*x - 6. Let u be h(5). Is l(u) prime?
True
Let k(q) = -q**3 + 40*q**2 - 23*q + 143. Is k(36) a composite number?
True
Let j be -2 + 2 + (-2)/(6/(-6057)). Suppose 2*d = 5*b + 1334, 2*b = 3*d - j + 29. Is d a prime number?
False
Is (1 - -6598)/(-14 - 4 - -19) a composite number?
False
Let n