 2. Is m(0) a composite number?
True
Let k be (-4)/(-6) + 4/12. Let q be (13/(-1))/(k/(-11)). Let n = q - 64. Is n a prime number?
True
Let y(v) = -v - 9 - 2*v - 2*v. Suppose 4*k = -0*k - 32. Is y(k) a prime number?
True
Suppose -79 = -2*t + t. Is t prime?
True
Suppose 0*n = 5*n - 2820. Suppose 4*m = 4*c - n, 0*m + 5*m = -2*c + 296. Suppose 3*w - c = 70. Is w prime?
True
Let c(o) = -14*o - 7. Let r(w) be the third derivative of -19*w**4/8 - 14*w**3/3 - 3*w**2. Let g(b) = 9*c(b) - 2*r(b). Is g(-5) prime?
True
Let r = -1 - -6. Suppose -5*x + 2*s = -42, -r*x + s = -0*s - 46. Is x prime?
False
Let s(x) = -6*x**2 - 14 + x**3 - 9*x - 10*x**2 + 0 + 5*x**2. Is s(12) prime?
False
Let g = 8 - 5. Suppose 4 = r + 2*m, g*r + 10 = 5*m - 22. Is (11/2)/((-2)/r) prime?
True
Let u be 2/(-12) + 1/6. Is u + (0 - (2 - 55)) prime?
True
Let g(c) = -c**2 + 4*c + 6. Let u be g(5). Is 202 - (u - (-1 - 1)) prime?
True
Let x(z) = z**3 + 2*z**2 + 3*z + 1. Let i be x(-2). Let n = i - -12. Let d(v) = v**2 - 5*v. Is d(n) composite?
True
Let n(u) = u**2 - 5*u + 3. Let r be n(4). Let j be r/(0 + (-3)/(-411)). Let d = -72 - j. Is d prime?
False
Let w(f) = f**2 - 6*f + 6. Let z be w(4). Is z/2 - (2 - 124) prime?
False
Let q(z) = z + 8. Let n be q(-8). Let y be 10/2*1 + n. Suppose k + d - 11 = 0, 34 = 4*k - 2*k + y*d. Is k composite?
False
Suppose -4*u - 93 = -505. Is u composite?
False
Suppose -8533 = -3*f + 4*k, -f = 2*k - 3*k - 2844. Is f composite?
False
Let o be (-18)/8*(-2 + -2). Let m(i) = 11 - 4*i**2 + 12*i + 3*i**2 + 0*i**2 - 24. Is m(o) composite?
True
Let i = -795 + 1626. Is i a composite number?
True
Let s(u) = -1260*u - 1. Is s(-1) a prime number?
True
Suppose -5*f - 11 - 29 = 5*k, -5*k = -4*f + 4. Let h = f + 5. Let a(c) = 52*c**3 + 1. Is a(h) prime?
True
Suppose 3*v + 110 = 743. Let t = -52 + v. Suppose -4*h + h - 4*u + t = 0, 0 = 3*u. Is h a prime number?
True
Let v(y) = 6 - 3*y + 6*y + 2*y. Is v(5) prime?
True
Suppose 155 = 4*v + 19. Is v a composite number?
True
Suppose 4*j - 2880 - 2980 = 0. Is j prime?
False
Let v(y) = -29*y - 26. Is v(-15) prime?
True
Suppose -z = -3*c + 2*z + 270, -345 = -4*c - z. Is c a composite number?
True
Let y(a) = a**3 - 4*a**2 - a + 1. Let f be y(4). Is ((-422)/(-6))/((-1)/f) a prime number?
True
Let h be (3 + -2)/((-2)/4). Let g be 1 - 99/6*h. Is 1 + 1 - g/(-2) a composite number?
False
Let g be -1 + (-153 - -1) + 1. Let u = g + 291. Is u a composite number?
False
Suppose -2*i - 4*n + 15 = 3, -5*n = 3*i - 19. Let w(u) = -u**2 + 10*u - 2. Is w(i) a prime number?
False
Let o be (88/6)/((-2)/(-30)). Suppose j - 5*j + o = 0. Is j composite?
True
Suppose -3*g + 513 + 768 = 0. Is g composite?
True
Suppose 5*i + 3*j = 2465, i - 465 = -0*i + 5*j. Suppose -215 = -5*v + i. Is v composite?
True
Let n(j) = 4 - 4 + 0 + 3*j - 3. Is n(3) prime?
False
Let b(y) = 76*y**2 + 17*y - 12. Is b(5) composite?
False
Let r(v) = -16*v - 2*v - 10 - 5. Is r(-7) a composite number?
True
Suppose -3*a = -2*a + 22. Is (a - 1)/(1/(-5)) prime?
False
Let l(q) = q**2 - 4*q + 4. Let z be l(5). Let m(y) = -4*y - 1 + 9*y**3 - 21*y**3 - 6 + 10*y**2 + 11*y**3. Is m(z) a prime number?
False
Let b be 523/7 - (-12)/42. Let u = 6 + -1. Suppose -u*c + b = -0*c. Is c composite?
True
Suppose 6*w - 6 = 4*w. Suppose 1 + 11 = w*o. Suppose m + o*m = 4*p - 288, -5*p - 3*m + 323 = 0. Is p a composite number?
False
Let n be (12/15)/(4/(-10)). Let c(v) = 67*v**2 + 3*v + 1. Is c(n) prime?
True
Let c(i) = i**3 - 2*i**2 - 3*i + 3. Let v be c(3). Is 1/(19/6 - v) a prime number?
False
Let f(g) = 168*g + 17. Is f(3) a prime number?
True
Let g = 989 - 588. Is g prime?
True
Let a(g) = 78*g + 7. Is a(5) prime?
True
Suppose -6 - 18 = -4*u. Let l be ((-4)/u)/((-3)/9). Is (4/8)/(l/76) prime?
True
Let p(s) = 5*s**3 + 7*s**2 - 121. Let r(z) = 9*z**3 + 13*z**2 - 241. Let q(l) = 11*p(l) - 6*r(l). Let d be (0/(4 - 1))/((-6)/(-2)). Is q(d) a composite number?
True
Is (1042/(-8))/((-9)/36) a composite number?
False
Let k = -438 - -959. Is k prime?
True
Suppose -4*y + 0 = 3*n + 3, -5*y - 4*n = 5. Is y + 0 + -3 - -209 a composite number?
True
Let o be (5/(-15))/(2/(-12)). Suppose 5*k + o*p = 425, -5*k - 5*p = -0*k - 440. Is k prime?
True
Suppose -o = -3*s + 3125, 2*s - 3*o - 924 = 1164. Is s composite?
True
Let h be (-86)/10 - (-2)/(-5). Let u(q) = 2*q**2 + 10*q + 7. Is u(h) prime?
True
Let d = -13 + 19. Is -790*(-2 - d/(-4)) composite?
True
Let f(o) = -o**2 + o + 19. Let i = 7 - 7. Is f(i) composite?
False
Suppose -2*y + 2*x + 2*x - 8 = 0, 4*y - 3*x + 6 = 0. Suppose y*c + 445 = 5*c. Is c composite?
False
Let u(q) = 2*q + 6. Let l be u(-5). Is -1 - 1*l - -74 prime?
False
Let f(w) = 13*w - 1 - 2 + 13*w. Suppose -4 = 3*o - 5*o. Is f(o) a composite number?
True
Suppose -2*b + 156 = -4*m, 6*m - 3*m = -4*b + 301. Suppose -460 = -4*c + 3*j - b, 3*c + 5*j = 259. Is c a prime number?
False
Let w = -60 + 171. Is w prime?
False
Suppose 0 = -5*m - 2*x + 23, -4*m = -3*x + 5*x - 18. Let q be (-1 + -2)*(4 - m). Is (-82)/(-2 + 1) - q composite?
False
Let a(j) = 71*j**2 - 13*j - 7. Is a(6) prime?
False
Suppose -5*p + 4*x + 13 = -0*x, 4 = -p + 3*x. Suppose l - 4*y - 21 = 0, 3*y - p = -3*l - 2. Let z(m) = 2*m**2 - 6*m - 1. Is z(l) a prime number?
True
Let k = 239 + -18. Is k composite?
True
Let z = 16 + -44. Let r = z + 20. Let s(u) = 2*u**2 + 13*u + 11. Is s(r) a prime number?
False
Let t(w) = 68*w + 18. Is t(5) a prime number?
False
Suppose -4*r = n - 18, 0*r + 10 = -n + 3*r. Is n prime?
True
Is (1/2)/((-9)/(-44694)) prime?
False
Let k(s) be the third derivative of s**6/120 - s**5/20 - s**4/24 + s**3/3 - s**2. Suppose -5*u + 4 = -4*u. Is k(u) a composite number?
True
Let x(u) = u**3 - 5*u**2 + u + 1. Let p be x(5). Let m(r) = r**3 - 6*r**2 + 3. Let w be m(p). Suppose 13 = y - v, -2*y - v + 77 = w*y. Is y a composite number?
True
Suppose 2*n + 3*n - 200 = 0. Let a = 5 + n. Suppose a = k + 2*k. Is k prime?
False
Suppose 0*b - 5*b + 19 = 4*u, -2*b - 26 = -4*u. Let k be (40/24)/(2/u). Is k*(2 + (-1 - -2)) a composite number?
True
Suppose 6*v + 691 = 7*v. Is v a prime number?
True
Suppose 5*w + 0*w + 2*z - 1115 = 0, -3*z = 4*w - 899. Is w a composite number?
True
Let x = -215 - -544. Is x prime?
False
Suppose -2239 = -8*k + 2769. Is k prime?
False
Suppose m = -0*m + 92. Let l = m - 58. Is l a prime number?
False
Let o be 1 + ((-114)/3)/(-2). Let r = 17 + o. Is r a prime number?
True
Let k = 4 - 2. Is ((-81)/(-2) - 1)*k composite?
False
Let b be 21/(-28) + 1215/4. Suppose 4*s - b = -35. Is s a prime number?
True
Let m = -20 - -41. Suppose 5*o - 4*o = 2*x + 26, -4*x - 5*o - 80 = 0. Let j = m + x. Is j a composite number?
True
Suppose 3*m = m + 6, -3*v - 2*m + 18 = 0. Suppose 2*c + 4*i = 110, -3*i = -7*i + v. Is c a composite number?
False
Suppose 4*f = -4*w, 0 = -5*f + 2*w + 12 + 2. Let k be (311 + (-4)/f)/(-1). Is k/(-4) - (-3)/(-12) a composite number?
True
Let y(m) = -m**2 + 4*m - 1. Suppose 4*a = -a + 15. Let t be y(a). Suppose 0 = 3*h + t*h - 110. Is h composite?
True
Let x(b) = b**3 - 5*b**2 + b - 2. Let p be x(5). Suppose 0 = p*d - 54 - 3. Is d prime?
True
Suppose -2*p = 3*n - 253, -n = -p - 19 - 72. Is n composite?
True
Let c = 2525 - 1636. Is c a composite number?
True
Let r be 1*(-2 - (-2 + -22)). Let p be (1 + -4)/(1/5). Let l = r - p. Is l prime?
True
Is 187 - -2*(1 + 1) a prime number?
True
Let g(u) = 34*u + 1. Is g(2) a composite number?
True
Let u(h) = -13*h - 2. Let v(i) be the second derivative of -i**4/3 + i**2/2 - i. Let n be v(1). Is u(n) a prime number?
True
Suppose -2*n + 16 = 4. Suppose m - 2*t + 697 = n*m, -443 = -3*m + 5*t. Is m a prime number?
False
Let p = -2 - 4. Let n(l) = -l**3 - 5*l**2 - 11 - 4*l + 2 + 2. Is n(p) prime?
True
Suppose 291 = l - k, 3*l - 275 = 2*l + 5*k. Is l prime?
False
Let s be 5/(-20)*84/(-3). Suppose 477 = s*p - 4*p. Is p prime?
False
Suppose -19*u + 340 = -15*u. Is u a prime number?
False
Let c(f) = -33*f - 5. Let n = -6 - -2. Is c(n) a composite number?
False
Let j(w) = 80*w - 1. Suppose c - 8 = -2*n, 5*c - 5*n + 4 = -1. Is j(c) a composite number?
True
Let w(c) = -5*c**3 - c**2 + c + 1. Let s be w(-1). Suppose -2*i + s*z + 2 = 6, -4*i - 2*z = -2. Let m = 2 - i. Is m a prime number?
True
Let i be 11/3*(10 + -4). Let p be (2 - 3)/((-2)/i). Suppose -2*h = -h - p. Is h prime?
Tr