Is m a prime number?
False
Let x = -111 - 10. Let q = x - -40. Let z = -44 - q. Is z a composite number?
False
Let j = 15571 + -24574. Let q = j + 19040. Is q a composite number?
False
Let t = -4 + 6. Suppose 0 = -t*d + 988 + 1246. Is d composite?
False
Let r = 15952 + -7733. Is r a prime number?
True
Let b(c) = 120*c**3 - 2*c**2 + 6*c + 18. Is b(5) prime?
False
Suppose 2*j + 2 = -0. Let r be j*(-1 + -2 + 1). Suppose -3*d - 3*z - 32 = -5*d, 2*d = -r*z + 42. Is d a prime number?
True
Let g be 92/5 + (-2)/5. Let o = g + -14. Suppose 76 + 976 = o*k. Is k prime?
True
Let q(m) = 13*m**3 + 5*m**2 + 2*m + 1. Let l be q(-3). Let p be (-2 - 1)*(-1 + 2). Is l/p - 18/27 prime?
True
Suppose -9 = 9*x - 54. Suppose -u = x*u - 4278. Is u a composite number?
True
Let x(c) be the first derivative of -c**4/2 - 14*c**3/3 + 3*c**2/2 - 5*c + 2. Let y be x(-14). Suppose 2*r - y = -r. Is r prime?
False
Suppose 12 = -3*j + 3. Let h be (30/(-9))/(2/j). Suppose h*k - 1319 = 51. Is k a composite number?
True
Let k(y) = 519*y + 73. Is k(2) a prime number?
False
Suppose -4*o = -7*o. Suppose o = -m - 173 + 714. Is m composite?
False
Let t(r) = -153*r**2 + 3*r - 2. Let q = -10 - -12. Let n be t(q). Let x = -349 - n. Is x a prime number?
False
Let h(z) = -18*z**2 + 8*z + 6. Let c be h(-5). Let l = c + 0. Let t = -285 - l. Is t a prime number?
True
Suppose 3*v - 5*v = m + 8, 4*v + 20 = 0. Let f = m - 1. Is (107 - 6/(-3))/f composite?
False
Suppose -730265 = -26*u + 6653. Is u prime?
False
Let x = -10 - -13. Suppose -5*i + 221 = 3*h, 2*h = x*i + h - 141. Is i prime?
False
Is -4666*1*(4 - (-54)/(-12)) composite?
False
Suppose 0*q = q + 2*i + 3, 0 = 4*q + i + 12. Let h(d) = -44*d**3 - 3*d**2 - 3*d - 3. Is h(q) a prime number?
False
Let z(y) = 6*y + 13. Is z(12) composite?
True
Suppose 3*h + 0 - 6 = 0. Suppose -h*z = 6*i - i - 108, 3*i - 55 = -z. Is z prime?
False
Suppose -5*g + 318 = -67. Let s(o) = o**3 - 5*o**2 - 6*o. Let v be s(6). Suppose v = 3*j - 4*j + g. Is j prime?
False
Let l = 34 + 469. Is l prime?
True
Let h be (-1 + (-2)/4)*-2. Let f be -1*(0/2 - 3). Suppose -v + h*r + 154 = 0, v = -f*v + 5*r + 581. Is v composite?
False
Let b be 2/(-14) - (-1152)/126. Let v(p) = p - 8. Let l be v(b). Is 217 + (-1 - (l - 2)) composite?
True
Suppose 5*t = a - 135, 5*t + 8 + 127 = -3*a. Is (-6)/t - 1475/(-45) prime?
False
Let s(d) be the third derivative of d**9/20160 - d**8/5040 + d**6/144 + d**5/20 + 5*d**2. Let n(a) be the third derivative of s(a). Is n(4) composite?
True
Is ((-42629)/(-3))/(-11 - 34/(-3)) prime?
False
Is ((-8216)/12)/((-14)/21) a prime number?
False
Let o(m) = m + 6. Let n(w) be the second derivative of w**3/3 + 6*w**2 - 5*w. Let k be n(-6). Is o(k) prime?
False
Suppose 3*q = -52 - 290. Suppose -2*a - 2*a = 5*p + 717, 4*a = 4*p - 672. Let s = q - a. Is s prime?
True
Let a be ((-186)/(-5))/((-4)/(-20)). Let z be (a/5)/((-63)/(-210)). Suppose -2*p = v - 799 + z, 0 = -3*p - v + 1014. Is p a prime number?
False
Let l(z) = 2998*z**3 + z**2. Is l(1) a prime number?
True
Suppose -b + 21749 = 4*m, 2*m - b - 10864 = -5*b. Is m prime?
False
Let c(u) = 19*u - 5. Let t be c(3). Let r = t - 32. Let k = r + 1. Is k a composite number?
True
Let g(z) = z - 4. Let a be g(2). Let l be (3936/40)/(a/(-15)). Suppose 3*o + 123 = l. Is o a prime number?
False
Let v(u) = -2*u + 4. Let m be v(0). Suppose 2*h = -m*l - 4520 + 12062, -4*l + 5*h = -7507. Is l a composite number?
True
Suppose 3*f - 45 = q - 229, -f = -5*q + 906. Let x = q - 54. Is x composite?
False
Let v(g) = g**2 - 6*g + 5. Let z be v(5). Let o(l) = l**3 - 2*l**2 + 121. Is o(z) prime?
False
Let d be 6*-148*1/(-8). Suppose -t = -3*t. Suppose t*p + p = d. Is p composite?
True
Let r be 4142/6 - (-9)/(135/10). Let c = 1904 - r. Is c a composite number?
False
Suppose -4*h = -5*z + 3871 - 26083, -h + 5*z + 5538 = 0. Suppose -h = -5*p - 3*m - 0*m, 5560 = 5*p + 5*m. Is p a composite number?
True
Let l be 4*(-5)/(-80) - 1135/(-4). Let y = -58 + l. Is y composite?
True
Suppose x - 3*l - 18 = 0, -4*l = 3*x + 2*x - 33. Is 3381/(-14)*(-6)/x prime?
False
Let c(i) = 6*i - 12. Let j be c(7). Suppose 0*h = -2*s - 4*h + j, 3*h + 30 = s. Is s composite?
True
Suppose -p - 2*u + 13 = 0, -4*p + u = 1 - 17. Suppose -6 = p*f - 7*f. Is 47 + f - (1 - 0) a composite number?
True
Let p = -779 - -484. Let u(o) = -20*o**2 + 2*o + 2. Let m be u(-3). Let k = m - p. Is k prime?
False
Let m = 12982 + -8281. Is m composite?
True
Let t(b) = -6*b**3 + b + 1. Let y be t(2). Let h = -20 - y. Suppose 5*r = h, 4*x - 3*r - 361 = -0*x. Is x a composite number?
True
Let p(y) = 90*y - 2. Let m be p(1). Suppose -4*b = -g - b + m, 5*g - 479 = 2*b. Is g a composite number?
False
Let a = -2193 - -23332. Is a prime?
True
Let q(g) = 22*g**2 + 11*g - 25. Suppose 10*j = 12*j - 16. Is q(j) composite?
False
Suppose -2*t + 1328 = 2*t - 4*c, -5*t - 3*c = -1620. Let s be 1/3 + t/(-9). Let n = 23 - s. Is n composite?
False
Let i(l) = l**2 - 10*l + 8. Let q = 31 + -20. Is i(q) a composite number?
False
Let z be (8/14)/((-2)/(-7)). Suppose -z*a + 1678 = -0*a. Is a a composite number?
False
Suppose 2*k - 317 = -r + 23, 3*k = -5*r + 1679. Is r a composite number?
True
Suppose -2*d - 2*n - 2177 = -3*d, 2*d = -4*n + 4362. Is d a composite number?
False
Let a(l) = l + 4. Let h(c) = c**2 + 2*c - 4. Let s be h(2). Suppose -s*u = u. Is a(u) a composite number?
True
Suppose 2 = 2*l - 6. Suppose 0 = l*x + 3*g - 31, g - 9 = -x - 0*g. Suppose 0*j = -j - x*u + 79, -5*u = 2*j - 161. Is j prime?
True
Let h be ((-1246)/8)/((-11)/(-44)). Let u = -333 - h. Let n = u + -157. Is n a prime number?
False
Suppose -10*k + 4*k = -148494. Is k a prime number?
True
Suppose k = -5757 + 36383. Is k a composite number?
True
Let o be (-50)/(-3) + 2/(-3). Suppose j = -2*r + 18, -j = -r + 2*j + o. Is r composite?
True
Let z(l) be the first derivative of l**2/2 - 5. Let r be z(4). Suppose 4*i - r*h - 76 = 0, -3*i + 52 = 2*h + 15. Is i a prime number?
False
Let m be (-16972)/(-2) + (-5 - -2). Let y = -5970 + m. Is y composite?
True
Suppose -h + 3 = -4. Let n = -2 + h. Suppose -2*x + 199 = -n*v + 2*v, 0 = -5*x + 5*v + 490. Is x a prime number?
False
Is (-2)/(-11) - -26*43335/110 a composite number?
False
Let k(n) be the third derivative of n**5/60 - 13*n**4/24 - 2*n**3 + 5*n**2. Let a be k(14). Suppose a*u - 133 = u. Is u a composite number?
True
Is 228074/18 - ((-592)/72 + 8) composite?
False
Let y(p) = -162*p**2 + 1. Let w be y(-1). Suppose -54 = 4*k + 26. Let x = k - w. Is x composite?
True
Suppose t = d - 14, -4*t = -0*d - d + 20. Suppose 25130 = 22*i - d*i. Is i composite?
True
Suppose -639784 = -19*w - 25685. Is w a composite number?
False
Let k(v) = -v**3 + 5*v**2 - 2*v - 5. Let n be k(4). Suppose 5*y = j - 640, -2*j - 2*y + 1539 = 319. Suppose 0*c = n*c - j. Is c a prime number?
False
Suppose 0*h - 20 = -5*h. Suppose x + 5*u = 15, 5*u + 1 = x + 16. Suppose x = h*y - 210 - 682. Is y a composite number?
False
Let g(u) = 37*u - 6. Suppose -11 + 36 = 5*w. Is g(w) composite?
False
Let p(d) = -41*d - 369. Let i be p(-9). Suppose -3*n + 9 = 3. Suppose n*a + 11 - 1 = i, -5*t - a + 3260 = 0. Is t a composite number?
False
Let j = 4608 + -2919. Is j a prime number?
False
Let v(o) = -o**3 + 4*o**2 - 4*o + 4. Let c be v(3). Let x = -7 + c. Let b(g) = -56*g - 7. Is b(x) prime?
False
Suppose 3*a = -5*i + 10, 0*i - 5*i + 2*a + 10 = 0. Suppose -4*o = -3*u - 5308, o + 1327 = i*o + 4*u. Is o prime?
True
Let q(h) = h**2 + 6*h + 2. Let s be q(-6). Suppose -8 = -s*a - 0*a. Suppose a*v - 18 = 106. Is v prime?
True
Suppose -n = 3*j - 5470, 963 - 4605 = -2*j + 4*n. Is j composite?
False
Let p(l) = -7*l**2 - 12*l + 5. Let u(k) = k**2 + k. Let x(b) = p(b) + 6*u(b). Let t be x(-6). Let z(d) = 17*d**2 - 2*d + 4. Is z(t) a prime number?
True
Let b(m) = -m**3 - 8*m**2 + 8*m - 4. Let v be b(-9). Suppose 2*r = -v*g - r + 436, -g + 95 = -2*r. Suppose -y = -68 - g. Is y a prime number?
True
Let x(y) = 8*y**2 + 11*y + 27. Let p be x(13). Suppose 488 = -5*i - 3*r - p, -4*r + 1576 = -4*i. Let f = 988 + i. Is f prime?
False
Let o be 15/35 + (-32616)/7. Let q = -2756 - o. Is q prime?
False
Let c = 42 - -88. Let g be ((-83)/(-2))/(13/c). Suppose -f = 3*l - g, -5*l + f + 10 = -687. Is l composite?
False
Let x = 42 + -61. Let u = -16 - x. Suppose -u