prime?
False
Let h = 3366 + 9415. Is h a composite number?
False
Let h = 937 + 157. Is h a prime number?
False
Is 7764 + (-7)/(-8 + 15) a prime number?
False
Let n(o) = -o**3 + 6*o**2 + 16*o + 4. Let y be n(8). Suppose 0 = 3*j + 12, -4*r - y = j + 3*j. Is r a composite number?
False
Let w(p) = 372*p - 25. Let l be w(7). Let m = 5042 - l. Is m prime?
False
Let h = -2171 - -5714. Is h composite?
True
Suppose 0 = -b - 0*b + 2*i + 120, -3*b = -2*i - 364. Let g = 267 - b. Is g prime?
False
Suppose -3*k + 14*f - 13*f = -7498, 20 = 4*f. Is k a prime number?
False
Let w be (7/(-4))/((-13)/(-52)). Let p(i) = -i**3 - 3*i**2 + 5. Let h be p(w). Let v = h + -106. Is v a prime number?
False
Let r = -41130 + 60791. Is r a prime number?
True
Let l = 15342 + 8120. Is l prime?
False
Let k = 62934 + -26863. Is k prime?
False
Suppose 3*w - 103 = -88, 3*a + 4*w = 40301. Is a a composite number?
True
Suppose 4*x - 61979 = -23407. Is x a composite number?
False
Is (393668/44)/(1 - 0) a prime number?
False
Let d(z) = -1681*z - 1120. Is d(-23) prime?
False
Let u(a) = 8*a**2 - 35*a + 17. Let n(t) = -3*t**2 + 12*t - 6. Let z(v) = -11*n(v) - 4*u(v). Let j be z(-8). Is (-398)/(-4)*(-4)/j a composite number?
False
Suppose -16*j = -5*j - 25663. Is j a composite number?
False
Suppose -201*m = -186*m - 571365. Is m prime?
False
Let t(y) = -y**2 + 16*y - 20. Let a be t(15). Let b = 7 + a. Is (-763)/(-4) + b/8 prime?
True
Is -5*316804/20*(0 - 1) a prime number?
True
Let i = -26 - -26. Suppose 4446 = 3*y + c, i = y + 3*c - 4*c - 1478. Is y composite?
False
Is (-1 - 7736/(-4)) + (-4 - -2) a composite number?
False
Let n(w) = -w**3 - 2*w**2 + 7*w - 5. Let j = 8 + -8. Suppose j = -3*q - q - 28. Is n(q) composite?
False
Suppose 5*c - 15 + 5 = 0. Suppose -3*o = g - 47, c*g + 3*g - 187 = -3*o. Is g a prime number?
False
Suppose -3*z + 3*p - 189 = 0, 51 + 6 = -z - 5*p. Let i = 108 + z. Is i a composite number?
True
Suppose -i + 5*l + 1357 = 9*l, 3*i + 4*l = 4079. Is i prime?
True
Let d = 19 + -15. Suppose 339 = -c + d*c. Let w = 270 - c. Is w a composite number?
False
Suppose 2*f + 8547 = x, 3*x - f = -0*f + 25631. Suppose -6*n + 6547 = -x. Is n a prime number?
False
Suppose 4*m + 4*k = -0*k + 20, 5*k + 15 = 5*m. Suppose 3*x = -l - 148, -m*l - 562 = x + x. Let i = -33 - l. Is i a composite number?
True
Let g(s) = 4*s**2 - 94*s + 27. Is g(-22) a prime number?
False
Let d(p) = -2574*p**3 + 9*p**2 + 21*p + 7. Is d(-2) composite?
False
Let w(x) = 572*x**2 - 20*x + 75. Is w(8) prime?
True
Let t(h) = 7*h - 17. Let i be t(7). Let c be i/(-3)*66/(-44). Let o(x) = 3*x**2 - 24*x + 13. Is o(c) composite?
False
Let x(g) = 48*g + 3. Let s be x(1). Let m be (4/6)/(4/90). Suppose 2*r - m = s. Is r a prime number?
False
Let d = 48253 - 18831. Is ((-2)/4)/(5 - d/5884) a prime number?
True
Let z be ((-54)/4)/(-3) + (-13)/26. Is 499*z/(6 + -2) a prime number?
True
Suppose 0 = -2*x + 27 + 1311. Is x a composite number?
True
Let x(m) = m**2 - 5*m - 1. Let h(t) = t**3 + 6*t**2 - t. Let o be h(-6). Let n be x(o). Suppose -n*f + 5*d = -370, 3*d - 59 = -f - d. Is f a composite number?
False
Let d(v) be the second derivative of -v**3/6 - 5*v**2/2 - 3*v. Let c be d(10). Is (138/9)/((-2)/c) a prime number?
False
Let p = -14 - -23. Let r be (-5 + 2 - 0) + p. Is ((-18)/15)/(r/(-45)) a composite number?
True
Suppose 0 = 2*w - 0*w. Suppose -q = 2*s - 247, q - 2*s - 235 = -w*q. Suppose 4*k + 6 = 22, 2*k + q = 3*y. Is y composite?
False
Suppose 22*s = -3*s + 107150. Is s composite?
True
Let s be ((-54)/(1 + -4))/2. Suppose 13*w = s*w. Suppose w = -v + 586 - 177. Is v a composite number?
False
Suppose h = 5*j - h - 2667, 3*j + h - 1598 = 0. Suppose -j = 4*o - 3097. Is o prime?
True
Is ((-14020)/28)/(19/(-133)) composite?
True
Let v(x) = -3*x**3 + 11*x**2 + 3*x - 6. Let r(k) = -2*k**2 - k + 14. Let g be r(3). Is v(g) a prime number?
False
Let y(t) = t**3 + t**2 - 8*t + 15. Let p be y(6). Let u = 2294 + p. Is u prime?
False
Let x be ((-10)/4 - -3)*8. Suppose 2*j - 5*y = -y + 402, 799 = x*j - 3*y. Is j composite?
False
Suppose m = -2 + 6. Let j be (m/10)/((-1)/(-5)). Suppose -j*h + 7*h - 805 = 0. Is h prime?
False
Suppose 30036 = 3*b + 5*p, -4*b = -2*b + 5*p - 20029. Is b a composite number?
False
Suppose 38927 = 150*w - 143*w. Is w composite?
True
Suppose 4*f - 45913 = -v, 4*f = -13*v + 8*v + 45933. Is f composite?
True
Suppose -5*d + h = -3*d - 5, 4*d = 3*h + 7. Suppose 2*c - 10 = -d. Is c a prime number?
True
Let z = -23 + 23. Suppose 2*s + 10 = 2*k, k + z*k = 3*s + 9. Suppose -k*f = 128 - 401. Is f prime?
False
Let k(c) = 64*c + 13. Let h(u) = -u - 1. Let l(w) = w**2 + 13*w + 1. Let m(g) = -5*h(g) - l(g). Let y be m(-7). Is k(y) prime?
False
Let r = -868 - -3121. Is r composite?
True
Suppose 2*s - 5*n = 2097, 4259 = 4*s - 4*n + 7*n. Is s prime?
True
Is 2 - (6 - (-196083)/(-3)) prime?
True
Let u = -1734 + 2496. Is ((-5)/30*-46)/(2/u) a composite number?
True
Suppose -o + 11 = -0*o + 2*s, 0 = 5*o + 5*s - 35. Suppose o*j - 595 - 1643 = -3*i, 3*i + 2220 = 3*j. Is j a composite number?
False
Suppose 5*x - 4*n = -21, 2*n - 3 = 5*n. Let z(m) = -9*m**2 - 5*m - 3. Let w(g) = g + 1. Let i(d) = -5*w(d) - z(d). Is i(x) a prime number?
True
Let t(m) = -5 + 29 + 2*m + 3. Is t(20) prime?
True
Let d = 6156 + -1687. Is d composite?
True
Suppose 5*a + 4*w + 2 = w, -5*w + 8 = -3*a. Is 675 + (a - -1) - -2 a composite number?
False
Suppose 1 = -a + 3. Suppose 4*q = 2*m + 2*m - 228, 3*q = -a*m + 104. Is m composite?
True
Suppose -o = -5*r + 9, 4*r = r + 3*o + 3. Suppose r*b - 1 = 3. Suppose -5*m = 2*s - 2722, 2*s + b*m = 4*s - 2722. Is s a prime number?
True
Suppose -p + 5*k = -687, -646 = -2*p - 5*k + 758. Is p prime?
False
Suppose 110625 = 15*m - 9060. Is m a composite number?
True
Suppose -46*l + 4 = -44*l. Suppose -l*u - 381 = -5*u. Is u prime?
True
Let y(k) = -283*k - 114. Let n(i) = 71*i + 29. Let z(g) = -9*n(g) - 2*y(g). Is z(-8) a prime number?
False
Let v be (5/(-6))/(3/(-18)). Suppose -c + 6*c = -4*g - 7, 0 = -5*g - v*c - 5. Suppose g*y - 63 = 743. Is y composite?
True
Suppose -83110 = 41*m - 46*m + 5*p, -3*m = -5*p - 49868. Is m composite?
True
Let g = 993 + 1991. Suppose -9*d + g = -5*d. Is d composite?
True
Suppose -2*y - 1008 = 4*y. Let r = y + 851. Is r a prime number?
True
Suppose -6*g + 5*a = -1059176, 2*a + 99274 = g - 77253. Is g a prime number?
True
Let i(k) = -k**2 + 8*k + 6. Suppose 0 = -j + 2, q + 2*j - 49 = -4*q. Let z be i(q). Is (-1)/(-2)*(221 + z) a prime number?
True
Let p be -1 - -8 - (-1 - -4). Let t be p/2 - -1 - -45. Let d = t - 1. Is d a prime number?
True
Let i(d) = -153*d + 370. Is i(-19) composite?
True
Let o be 23/(-46) - 2/(-4). Let i(a) = -2*a + 14. Is i(o) a composite number?
True
Suppose -2*m + 3*m = 2*y + 4424, 3*y + 8846 = 2*m. Suppose -5*f + q + m = -4*q, -f + 899 = 2*q. Is f a composite number?
True
Let y(r) = -1280*r**3 - r - 1. Let t be y(-1). Let x = t - 639. Is x a composite number?
False
Let d = 8870 - 5437. Is d prime?
True
Let t(r) = -3287*r - 6. Is t(-1) a composite number?
True
Suppose -11*l = -10*l - 3, 2*m - 11234 = 4*l. Is m a prime number?
True
Let p be (-2)/6 - (-106)/(-6). Let g(f) = f**3 + 19*f**2 - 25*f - 25. Is g(p) prime?
False
Let x(n) = -2811*n**2 - 8*n + 2 + 11*n + 0. Let m be x(-1). Let p = -1227 - m. Is p a composite number?
True
Suppose -3353 = -3*r + 2332. Is r a prime number?
False
Suppose -j = 2*d - 19, 4*j - 4*d = j + 27. Let f(t) = t**3 - 6*t**2 - 15*t + 21. Is f(j) a prime number?
True
Let c(m) = -826*m**3 - m**2 + 8*m + 11. Is c(-2) prime?
True
Suppose -52 - 457 = -2*t + 5*w, 1003 = 4*t - 5*w. Let y be (-2598)/(-21) - 4/(-14). Let s = t - y. Is s prime?
False
Is (-1 - -2)/((-1 - 1)/(-11158)) prime?
False
Let a be (-1 + 3)*(0 - (-1 + -1)). Suppose 4*x - 520 = -r + 55, -a*x + 2*r + 590 = 0. Is x a composite number?
True
Let q = -14 - -19. Suppose 0*a = -q*a. Suppose -2*i - 4*r + 210 = a, 2*r + r = -i + 109. Is i a prime number?
True
Suppose -r - 4 = -n - 2, 6 = 3*n. Let c(m) = -15*m + 174. Let y(h) = 7*h - 87. Let l(g) = -6*c(g) - 13*y(g). Is l(r) prime?
False
Let p(k) be the first derivative of 5 - 9*k + 3*k**3 - 5/2*k**2. Is p(5) composite?
False
Let q(i) = 11500*i**3 - i**2 + i - 2. Is q(1) a composite number?
True
Let p = -3 + 9. Suppose -3*n = -p + 30. Is 