ite number?
False
Is (0 + -373)/(0 + -6 + 5) a composite number?
False
Let k(o) = o**2 - o + 1. Let t(b) = -b**3 - 4*b**2 + b - 3. Let h(i) = 4*k(i) + t(i). Let d = -7 + 4. Is h(d) a prime number?
True
Let m(f) = -3*f + 10. Let p be m(10). Let j = -14 - p. Is j a composite number?
True
Let j = 13951 + -9750. Is j a composite number?
False
Suppose -3*l + 12 = 0, 2*m + 8882 = -2*l + 4*l. Is 10/(-35) + m/(-21) prime?
True
Let q(t) = 6*t**2 - t + 6. Is q(7) prime?
True
Let z = -27 + 41. Suppose r = -u + 19, 2*r = 2*u - 40 - z. Is u prime?
True
Suppose 1419 = 4*d - 5*w - 8488, 4*w - 12353 = -5*d. Is d a composite number?
False
Let u = 692 - 385. Is u a prime number?
True
Let b = 2 - -1. Suppose -b*j = -j. Let r = 2 + j. Is r prime?
True
Let w(h) = 150*h**2 + h - 1. Let z be w(-2). Suppose 0 = -4*p - d - z - 6617, -3604 = 2*p - d. Is 4/18 + p/(-27) a prime number?
True
Let z(o) = -34*o**2 - o + 3. Let m(r) = 102*r**2 + 3*r - 8. Let a(p) = 3*m(p) + 8*z(p). Is a(1) a prime number?
False
Is 6/18 - 104/(-3) a prime number?
False
Suppose 2*a + h - 163 = 0, 5*a - 365 = -h + 35. Is a a prime number?
True
Suppose -11005 = -5*u + 5*g, -4*g - 4398 = -2*u - 0*g. Is u a prime number?
True
Suppose p - 934 + 171 = 0. Is p composite?
True
Suppose 14 = 2*d + 2*s, 0 = 3*d + s - 20 + 7. Suppose -j = -b - 3, -2 + 3 = 2*j + d*b. Is -7*((5 - j) + -4) a prime number?
True
Let v(x) = 2*x**2 - x - 19. Is v(12) prime?
True
Let s = -8 + 13. Let k be s*(-1 + (5 - -1)). Suppose -3*b + 130 - k = 0. Is b a prime number?
False
Let u = -3228 - -1624. Is 4/(-6) + u/(-12) a prime number?
False
Let v be 16/4 - (-1)/(-1). Let o(y) = -y**2 - 12 - y - 12*y - 4*y + v. Is o(-11) composite?
True
Let u = -14 - -18. Let s(t) be the second derivative of 8*t**3/3 + 3*t**2/2 - 2*t. Is s(u) composite?
False
Suppose -4*a - 5*u + 75 = 0, 0 = a + 2*a + 4*u - 57. Let l = a + 54. Is l a composite number?
True
Let m(y) = 131*y**3 - 3*y**2 + 9*y - 5. Is m(2) prime?
True
Let a(m) = -m**3 + m**2 + m + 2. Let j be a(2). Suppose -d + 0 + 4 = j. Let r = 57 - d. Is r composite?
False
Suppose 2*x - 5*x - 18 = 0. Let r(d) = 1 - d + 12 - 12. Is r(x) a composite number?
False
Let n be 167/5 + 4/(-10). Suppose -3*s = -4 - 8. Suppose 5*o = -4*a + n, s*o = 2 + 2. Is a prime?
True
Suppose -4*r - 24 = -g - 0*r, 3*r = -5*g + 5. Suppose -2*n + 237 = n - g*d, 5*n = 2*d + 395. Is n a prime number?
True
Suppose 2*f - 3*c = -10, -f - 2*c = -2*f - 7. Let t be 3/(f - 37/38). Is (-2)/((-3)/(t/4)) composite?
False
Let d(y) = 151*y**2. Let s be d(1). Suppose -4*p - a + 403 = -269, 4*a = p - s. Is p a composite number?
False
Let v(m) = -449*m**3 - m**2 + m - 1. Let b be v(1). Let p = -227 - b. Is p prime?
True
Let b(o) = o + 3 - 5 + 2*o**3 - 2. Is b(3) composite?
False
Let g(z) = -z**3 - z + 2. Let n be g(0). Let k = -17 - -21. Suppose -5*s - n*v + 99 = 0, -70 = -5*s - k*v + 33. Is s prime?
True
Let g(d) = -75*d - 8. Let x be g(-12). Suppose -3*w + x = w. Is w composite?
False
Let n(p) = 7*p - 3. Let h(d) = -22*d + 9. Let w(o) = -4*h(o) - 11*n(o). Let t(i) = -7*i + 2. Let f(s) = 7*t(s) + 5*w(s). Is f(2) a prime number?
True
Let k = -2 - -2. Let a = 53 - k. Is a composite?
False
Let g(w) = -18*w + 23. Is g(-17) a prime number?
False
Suppose -2*w = 3*m - 21, 3*m = -5*w - 1 + 31. Suppose -m*v + 56 = -v. Is v a prime number?
False
Let s(t) = t**2 - 7*t + 4. Let o be s(7). Suppose f + 3*b - 47 = 0, -o*b - 16 = 3*f - 152. Let h = f + 21. Is h a composite number?
True
Suppose 2*o + 6 = 5*o. Suppose -72 = -5*k + 5*h - 7, 5*k - o*h = 56. Is k a prime number?
False
Let t(k) be the first derivative of -k**2/2 + 57*k - 2. Is t(0) prime?
False
Let a = 11 - 9. Suppose -4*o - 2*x + 38 = 0, -o = -a*x - 5 - 12. Is o prime?
True
Let q = -7 + 9. Suppose q - 49 = -o. Is o prime?
True
Suppose 23 = 2*f + 1. Is f composite?
False
Is (-57845)/(-35) + -2 + 2/7 prime?
False
Let d(v) = -22*v**3 - 3*v**2 + v + 5. Is d(-4) a prime number?
True
Let o(w) = -12*w**3 + w + w**3 - 5*w**3. Is o(-1) prime?
False
Let w(l) = -l**2 - 8*l + 11. Let z be w(-9). Suppose z*g + 116 = 4*g. Is g prime?
False
Suppose 2*a - 407 = 3*v, 3*v = 5*v + 2. Is a prime?
False
Let s = -2908 + 4755. Is s a composite number?
False
Let h(r) be the first derivative of 5*r**2 - 7*r + 4. Is h(6) prime?
True
Let m(l) = 6 - 2 - 2*l + 2 - 1 + 14*l**2. Is m(-6) a composite number?
False
Let o(m) = -51*m - 25. Is o(-12) a composite number?
False
Suppose -3*c + 5 + 4 = 0. Suppose 4*d + 6 = -c*y, -3*y - 5*d - 9 = -0*y. Suppose 228 = 2*l - y*t, -2*t + 233 = 2*l + t. Is l a composite number?
True
Let v be (1 + (0 - 0))*-11. Let r be (16/6)/(4/(-30)). Let j = v - r. Is j prime?
False
Is 248 + 0 + 2*(-12)/(-8) prime?
True
Let u(j) = -410*j + 13. Is u(-6) a prime number?
True
Let r(w) = -14*w**2 - 3*w - 6. Let q(n) = 29*n**2 + 7*n + 13. Let k(v) = -2*q(v) - 5*r(v). Is k(3) a prime number?
False
Let l(c) = -c**3 - 8*c**2 + 8*c - 5. Let r be l(-9). Is (205/(-10))/((-1)/r) prime?
False
Let a = 24 - 34. Let b = a - -7. Let z(r) = 3*r**2 + r + 2. Is z(b) a prime number?
False
Let a be (3/9)/((-1)/(-6)). Suppose 5*v + 3*r - 765 = 0, -4*r + 126 + 166 = a*v. Suppose 3*y + y = v. Is y composite?
True
Suppose -g - 8 = -5. Suppose 2*z = 4*p + 6, 0*p - 1 = 5*z - 2*p. Is 33 - 0 - g - z a prime number?
True
Let x be (-4)/18 - (-29)/9. Suppose -5*c + x*m - m = -1995, m = -5*c + 2010. Is c a prime number?
True
Let m(f) = -10*f - 12. Let v be m(-8). Let l = 95 - v. Suppose -u + 4*p + 44 + l = 0, 145 = 3*u + 5*p. Is u a prime number?
False
Let f be 365 - (-3 + 2 - -3). Suppose f = -2*p + 1143. Suppose 632 = 5*z - y, -3*z - y - 2*y + p = 0. Is z a prime number?
True
Let z = 9 + -13. Let n = z + 6. Suppose -n*j = -5*j + 99. Is j composite?
True
Suppose 4*u - 123 - 521 = 0. Is u a composite number?
True
Let c = -29 + 51. Suppose -5*h + c + 3 = 0. Is 577/h + 4/(-10) prime?
False
Let g be ((-2)/4)/((-2)/(-4)). Let d(c) = -32*c**3 - 2*c**2 - 2*c - 1. Is d(g) prime?
True
Let x(o) = o**3 + 4*o**2 - 6*o - 8. Let l be x(-5). Let d(m) = -25*m**3 - m**2 - m. Is d(l) a composite number?
True
Let r(o) = -1. Let b(j) = 3*j. Let f(y) = b(y) + 2*r(y). Let w be f(-2). Is (-178)/w - (-2)/(-8) composite?
True
Suppose -i = 3*i - 12. Let u(s) = -8*s**2 + 0*s - 9 + 3*s - s**i - 7*s. Is u(-8) a composite number?
False
Let w(c) = -3*c**2 - 2*c - 23. Let i(f) = -4*f**2 - f - 24. Let p(u) = -4*i(u) + 5*w(u). Is p(14) a composite number?
True
Suppose 0*m + 2*o - 165 = m, -2*o - 177 = m. Let x = m + 246. Let c = x + -49. Is c a composite number?
True
Let n(f) = -4*f**3 + f**2 - 1. Let b be n(-1). Suppose -b*p = -1 - 11. Suppose -3*s = -5*s + p*z + 29, s + 4*z - 42 = 0. Is s prime?
False
Suppose -l - 3*l + 684 = 0. Let w = -94 + l. Is w prime?
False
Let p(s) = 83*s**2 - 2*s + 14. Is p(-5) prime?
True
Suppose 5*s - 91 - 9 = 0. Let q = s + 11. Is q prime?
True
Let a be -2 + 4 + 3 - 2. Suppose -3*h - 501 = -5*u, -4*u + 327 = -a*h - 75. Suppose -s + u = 20. Is s a prime number?
True
Let j = -41 + 187. Is j a prime number?
False
Let c(h) = h. Let j be c(3). Let m be 4/j*(-9)/(-3). Suppose -w + 25 = -3*y, -5*w + m*y + 92 = -66. Is w composite?
True
Let q be (2 - 4)/((-1)/34). Suppose 0*p + 2*p = q. Is p composite?
True
Suppose -526 = -4*m - 106. Let b = 26 + m. Is b prime?
True
Let p(o) = -5*o**2 + 17*o + 1. Let u(f) = -f**2 + 1. Let a(y) = p(y) - 4*u(y). Let m = 17 + -8. Is a(m) a prime number?
False
Let s(k) = k**3 - 11*k**2 + 16*k - 15. Suppose -14 = j - 8*d + 3*d, -5*d = 4*j - 69. Is s(j) a composite number?
True
Is (1949/(-1))/((-2)/(-1))*-2 prime?
True
Is (2/6)/(2/1146) composite?
False
Suppose -x - a + 1012 = 0, -5*a + 1948 = 2*x - 85. Is x composite?
False
Suppose 4*t - 3*j - 1315 = 0, 4*t + 5*j = 203 + 1136. Is t a composite number?
False
Let z be 0/(2 + -4 - -3). Suppose q + 3*c - 299 = z, 5*c + 554 = 2*q - 0*q. Is q composite?
True
Is (-1039 - 0)*(-13 - -12) prime?
True
Let x = 13 + -19. Let y be ((-2)/1 - -1)*x. Suppose 0 = -3*z + b + 108, -160 = -5*z + b - y*b. Is z a prime number?
False
Suppose g - 3 - 3 = 0. Is (-2769)/(-15) + g/15 composite?
True
Is (-3828)/(-18)*(-3)/(-2) a composite number?
True
Let u be 2/7 - 9558/(-63). Let h = u + -63. Is h a prime number?
True
Let h = 455 + -148. Is h prime?
True
Let z = 5 + 19. Suppose -3*s + 13