02 = 0. Is m composite?
True
Let g = 47642 + -23361. Is g prime?
True
Let u(y) = 8 + y - 20 + 1734*y**2 + 7 + 8. Is u(-2) prime?
False
Let f = 19 - 9. Suppose f = m + 4*m. Suppose 0 = z + m*u - 291, -z + 6*u = 2*u - 285. Is z prime?
False
Let m be (-182)/(-7) + (2 - 2). Suppose 4*w + f + f - m = 0, -4*w + 2*f + 6 = 0. Suppose -t + 2*t - w = 0, 4*o = 2*t + 656. Is o a composite number?
True
Suppose 0 = 2*c - 7*c + 25. Let r = -6 + 10. Suppose -367 = r*u - c*u. Is u composite?
False
Let l(c) = -2*c - 20. Let y be l(-12). Suppose -h + 3*h + 3*g - 55 = 0, 2*h - 58 = -y*g. Is h composite?
False
Let z be 3 - 3 - 6/(-3). Let b(x) = 25 - 7*x + 3*x**z - 4*x**2 + 2 + 2*x**2. Is b(12) a composite number?
True
Let c(g) = -g**3 + 14*g**2 - 11*g - 12. Let p be c(13). Is p*42 + 2 + -1 a prime number?
False
Is (411/4)/(18/1896 - 0) a prime number?
False
Let l(y) = 58*y**2 + 11*y - 46. Is l(-13) a composite number?
False
Suppose -3*o - 3*g + 3480 = 0, -o = -4*o - 5*g + 3486. Is o prime?
False
Suppose -7832430 = -20*s - 34*s. Is s a prime number?
False
Let o(q) = q**2 + 10*q + 18. Let y be o(-9). Let k = y + -5. Suppose 0 = -3*t + k*a + 535 + 608, -2*t - 2*a = -762. Is t prime?
False
Suppose -3*s = -17 + 2, -720 = t - 3*s. Is 8 - 9 - ((-3)/(-3) + t) a composite number?
True
Suppose 273 = -0*r + 3*r. Is r a composite number?
True
Let w = 11 - 13. Let c be w*1/2 - -36. Suppose -90 = -a - o, -o = -a + c + 61. Is a a composite number?
True
Let i = 3317 + -120. Suppose -l + 1823 + i = 4*d, 4*d = -4*l + 5020. Is d composite?
True
Suppose -523 = 4*a - 6327. Is a a composite number?
False
Let o be -1 + (-2)/(-4) + (-23562)/(-36). Let y = -1005 + 572. Let j = o + y. Is j a prime number?
False
Let c(u) = 14*u - 9 + 0*u**2 + 8*u**2 + u**3 - 9*u. Let j be c(-7). Suppose 0*p = -3*y - j*p + 272, 3*y = 3*p + 264. Is y a composite number?
False
Is (-1*38)/(296/(-34484)) composite?
True
Suppose -7*j + 10*j = -5*s + 20522, 0 = 3*s + j - 12314. Is s composite?
True
Suppose -5*z = -4*f - 20, 3*f + 8 + 0 = 2*z. Let t be 26*((-98)/z)/(-7). Suppose 3*h = 2*h + t. Is h composite?
True
Suppose -4*i + 5 + 11 = 0. Suppose 4*s = -3*g + 829, g - 839 = -i*s - 0*s. Is s a prime number?
True
Let m be (-2)/8 - 81/12. Let a(x) = -4*x - 13. Let y be a(m). Is ((-423)/y)/((-4)/20) composite?
True
Let v be (-8)/6 + (-1144)/6. Let c = -103 - v. Is c a prime number?
True
Let w(y) be the first derivative of y**3/3 + 3*y**2 + 10*y - 58. Let g(n) = 3*n. Let t be g(3). Is w(t) a composite number?
True
Let t = 2177 - 1086. Let l = t - -308. Is l a prime number?
True
Suppose -2*b = -4*z - 362, 0 = -0*b + 4*b + 5*z - 672. Let t = 78 + b. Is t prime?
True
Suppose -u = -4*p - 4593, -4*p - 15438 = -5*u + 7607. Is u a composite number?
True
Suppose -i - 15*i + 526928 = 0. Is i a prime number?
True
Let b(j) be the second derivative of -j**5/20 + 17*j**4/12 - 5*j**3/2 - j**2 + 5*j. Is b(13) a prime number?
True
Suppose 3*v + 1 = -3*d - 5, 3*v = -2*d - 7. Is 31/(v/(-3 + 6))*-1 a composite number?
False
Let q = -65861 + 111250. Is q a prime number?
True
Is ((-5)/(-5))/((-5)/(-6055)) prime?
False
Let p(d) be the second derivative of -5/2*d**2 - 1/20*d**5 + 0 - 1/6*d**4 + 6*d - 1/2*d**3. Is p(-6) a composite number?
False
Let s(u) be the second derivative of 53*u**4/12 - u**3/6 - 2*u**2 + 17*u. Is s(2) prime?
False
Let k(z) = 4*z**3 - z**2 - z. Let v be 1/(-4) + (-27)/36. Let l be k(v). Is (6/l)/((-3)/164) a prime number?
False
Is 17038/56*1*4 a prime number?
True
Let q be 3/(-6) - 3006/(-4). Suppose 0 = -6*g + 5*g + 3. Suppose g*a - q = 128. Is a composite?
False
Suppose 15*a = 38038 - 2143. Is a composite?
False
Let i be (-1 - -3)*35/(-14). Let u be i/(25/(-15)) + -12. Is (-2820)/(-18) + (-3)/u prime?
True
Let c be (2 + (-51)/6)*(-4)/(-2). Let k(q) = -61*q - 15. Is k(c) composite?
True
Let q(g) = 12*g - 75 + 45 + 49. Is q(10) composite?
False
Let t = 1441 + -575. Let p = t + 203. Is p prime?
True
Suppose 27*a = 20*a + 60823. Is a a prime number?
True
Let d(y) = -y**3 + 3*y**2 + 3*y + 2. Let n be d(4). Let i = -105 + 104. Is n + 26 + i/1 prime?
True
Let l = -19 - 15. Suppose -12*x + 17 = -31. Let a = x - l. Is a a composite number?
True
Let l(h) = 2714*h - 239. Is l(15) a prime number?
True
Let u(d) = -6*d + 9. Let x be u(0). Suppose 2098 = x*m - 7*m. Is m a prime number?
True
Suppose -3*u + v + 280 = -3*v, -5*u + 4*v + 472 = 0. Let y = u - 5. Is y a composite number?
True
Suppose -3249*w = -3253*w + 57548. Is w a composite number?
False
Suppose 10 - 15 = -y. Suppose -y*z = -10*z + 6645. Is z composite?
True
Let d(v) = -355*v + 53. Is d(-20) composite?
True
Let c be 163/3 - 2/(-3). Let h = 254 - c. Is h a composite number?
False
Let n = -9 + 14. Suppose 0 = -n*l + 25 - 0. Suppose 4*s - 3*s = 4*w + 203, -5*s = l*w - 1015. Is s a prime number?
False
Suppose -5*b + 0*j + 9598 = -4*j, 0 = 3*b + j - 5769. Let m = 3853 - b. Is m a prime number?
True
Suppose 5*c + 3*d = 13, 3*d = -3*c + 8*d + 1. Suppose 2*t - 3719 = -c*o - 3*o, -3*o = -3*t - 2223. Is o a prime number?
True
Suppose -193*w = -199*w + 318774. Is w a composite number?
False
Is 6*7/(-231) + 781466/22 prime?
True
Is ((-27933)/(-2))/(-10 - 23/(-2)) composite?
False
Let j(u) = -u + 4. Let t be j(0). Suppose -d + 1535 = t*d. Is d composite?
False
Suppose -5*j + 197201 = 5*b - 248669, 445863 = 5*b - 2*j. Is b prime?
False
Suppose 0*b = -5*b - 60. Let z be ((-1506)/b)/(3/6). Suppose 2*n = 65 + z. Is n composite?
True
Let t(c) = c**3 + 2*c**2 + 6*c - 6. Let g be t(-7). Let n = g - -484. Let q = n + -36. Is q prime?
False
Let t be 18/7 + (-24)/(-56). Suppose -5 - 10 = -t*z. Suppose z*u = w + 2*u - 176, 3*w - 564 = -3*u. Is w a prime number?
False
Suppose -35*h - 12*h + 665755 = 0. Is h prime?
False
Let x be (-9560)/8 - -2*(-2)/4. Let q = x + 2242. Is q a composite number?
True
Let f = 268 - -17425. Is f a prime number?
False
Suppose -8548 = -37*l - 815. Is l prime?
False
Suppose -5*u - 4*r - 1 = 0, r = 2 - 6. Suppose u*c + 35 = 4*p, 5*p + 11 = -2*c + 26. Is (4775/(-15))/p*-6 a composite number?
True
Is (1*(-10154)/5)/(10/(-25)) composite?
False
Suppose 2*s - 25 = 7*s. Let x be -2 + -2 - (s - -1). Suppose -3*a + 6*a - 777 = x. Is a prime?
False
Let b = -22029 + 38564. Is b a prime number?
False
Let x be (-2945)/(-7) + 28/98. Is x - (5 + 3)/4 prime?
True
Let a(g) = 3*g**2 - 20*g - 55. Is a(14) composite?
True
Let l(r) = -76*r + 3. Suppose 3*s + 2 = z, 3 = -2*z - s - 7. Is l(z) composite?
False
Suppose 0 = -i - 2*y - 3*y + 11657, 0 = 5*i - 3*y - 58397. Is i composite?
False
Let i(h) = h**3 + 6*h**2 - 5*h - 5. Let l(d) = d**2 + 6*d - 10. Let g be l(-7). Let b = g + -3. Is i(b) prime?
False
Suppose -5*j + 0*j - 25 = 0, 4*q + 3*j + 7 = 0. Suppose 0 = -x - q*x. Suppose -2*p + 3*r - 8*r + 47 = x, -2*p = 2*r - 50. Is p a composite number?
True
Let i = 10998 + 4039. Is i a prime number?
False
Let d = -3 - -4. Let c(k) = 3*k**2 + 2*k - 1. Let o be c(d). Is (2/o)/(9/774) composite?
False
Suppose 39*w - 37*w - 14402 = 0. Is w prime?
False
Let r = -13147 + 24726. Is r a prime number?
True
Suppose 3*s + 0*s = 6. Let o be s/7 + 72/(-7). Is 1 + (-1 - 4)*o a prime number?
False
Is ((-262)/8)/((51/156)/(-17)) composite?
True
Let m be (1 - 1)*(-4)/12. Suppose 0 = -m*o - o + 53. Let r = o + 74. Is r a composite number?
False
Suppose -2*f + 68 = -4*r - 452, 5*f + 152 = -r. Let h = 361 + r. Suppose 0 = 5*m + k - 0*k - 293, -4*m + k = -h. Is m prime?
False
Let l be (-6897)/2 - -1 - 18/(-36). Let u = -1882 - l. Is u prime?
False
Let p be -1894*((-1)/4 + 9/12). Let i = -314 - p. Is i a prime number?
False
Let z(v) = v + 4. Let o be z(-8). Let s(c) = -139*c + 9. Is s(o) a composite number?
True
Let y(d) be the third derivative of d**6/120 + d**5/15 + d**4/24 - d**2. Let x be y(-4). Let p = x - -15. Is p composite?
False
Let n(p) = 6*p. Let u be n(0). Suppose 4*r = t + 2737, u = -4*r + 2*r + 4*t + 1386. Is r composite?
False
Let v = 2774 + -1729. Suppose 0 = -5*s + 150 + v. Is s composite?
False
Suppose -6*g - 15 = -g. Let p(u) = u**3 + 3*u**2 - 2*u - 4. Let l be p(g). Suppose l*i - 295 = -5*x, -i - 170 = -2*i + 5*x. Is i composite?
True
Suppose -400*m = -395*m + 2*p - 175, -3*m + p = -94. Suppose 0 = 4*v + v - 15. Suppose 0 = v*i - 132 - m. Is i a prime number?
False
Suppose 7335 = -3*g - 2