 a prime number?
True
Suppose -102*y + 101*y = -47877. Is y composite?
True
Let t = 3558 + -2010. Suppose -4*g + t = 272. Is g a composite number?
True
Suppose 2*t - 10915 = -u, t - 3*t = -4*u - 10940. Let l = 9147 - t. Is l composite?
True
Is (-3498502)/(-35) - 2 - (-4)/(-20) a prime number?
False
Suppose -2*k - 2*g - 42 = -4*g, -51 = 2*k - 5*g. Let x(h) = 48*h - 23. Let f(r) = -24*r + 11. Let v(w) = -11*f(w) - 6*x(w). Is v(k) a composite number?
False
Suppose -3*y + 8 = 2*b - 0*y, -4*y - 8 = 0. Suppose b*w - 18 = w. Suppose 2*r - 4*q - 140 = 0, -r - 2*r = -w*q - 198. Is r composite?
True
Suppose 3*g = 0, -3*u - 2*g - 3*g + 11898 = 0. Let l = u + -2749. Is l a composite number?
False
Let z be (-32)/(-4)*10/(-8). Let q(p) = 3*p**2 + 7*p - 8. Let l be q(z). Suppose -2*n - 68 = -l. Is n composite?
True
Let n(y) = -1629*y - 16. Let h be n(-3). Suppose 0 = 4*s - 3*t - h, 1302 = s + t + 86. Is s composite?
False
Let j be (-8)/(-28) + 681516/14. Suppose 5*i - 13*i = -j. Is i composite?
True
Let d = -1326 - -2097. Let y = d - -788. Is y composite?
False
Let o = 182 + -274. Let n = 133 + o. Suppose -4*v + 699 + n = 0. Is v a composite number?
True
Let f = 67 + -77. Is 1207/(((-5)/(f/4))/2) prime?
False
Let h = 23 - 14. Let r be -4 + h - (1 + 1). Suppose -5*w + 7 = m, -r*m - 2*w = -0*w - 21. Is m a composite number?
False
Let l(n) = n**3 - n**2 + 23. Let w be l(0). Let r = w - 21. Suppose r*j - 62 = 236. Is j composite?
False
Let h(u) be the third derivative of u**6/120 + u**5/20 - u**4/12 - 2*u**2. Let i be h(-3). Suppose -i*w + 8*w = 226. Is w prime?
True
Suppose 2*j + 3 = -7, 220 = 2*t - 4*j. Let d be (-2)/(-9) - t/(-36). Suppose -d*r + 37 = -4*i, -r = -2*i + 4*i - 29. Is r composite?
False
Let i = -24 - -27. Suppose 0 = -i*s - 2 - 1, -2*s + 34 = -3*z. Is 3*-251*4/z composite?
False
Let v be (-11)/(-55) - 38/(-10). Suppose -2*f = -v*r - 1038, -484 = -f - 4*r + 59. Is f composite?
True
Let n be 17/5 + 4/(-10). Suppose d + 2 = 2*d + h, 0 = -n*d - 2*h + 2. Is 87/d*28/(-6) a prime number?
False
Suppose 6 = 10*y - 8*y. Suppose -y*b = 3*s - 1212, -b + 1247 = 2*b - 4*s. Is b a prime number?
True
Let u(a) = 22*a**2 - 17*a + 6. Let j be u(14). Suppose -3415 = -5*n + j. Is n a prime number?
True
Let z(t) = -593*t + 93. Is z(-8) composite?
True
Let u be (-3)/(((-36)/15)/4). Suppose 0 = -4*t + w - 2*w + 2815, u*t - 3518 = -w. Is t a composite number?
True
Let f be (-2 - (-86 - -1))/1. Let b = -56 + f. Suppose -4*z = l - 125, -z + 3 + b = -l. Is z a prime number?
True
Let c(v) be the second derivative of -v**5/20 + v**4/2 + v**3/3 - 11*v**2/2 + 27*v. Is c(-6) a prime number?
True
Let k(u) be the second derivative of -u**6/120 - u**5/60 + 5*u**4/24 - 11*u**3/6 + 2*u**2 + 6*u. Let a(p) be the first derivative of k(p). Is a(-8) composite?
False
Suppose 0 = -3*n + 9. Let o = n + 2. Suppose 0 = -o*h + 6*h - 161. Is h composite?
True
Suppose -4*h = -3*i + 18, 3*i + h - 5 + 2 = 0. Suppose i*j - 3*m = 5483, -5*m - 13713 = -5*j - 3*m. Is j a composite number?
True
Let j(i) = 3*i**3 + 2*i**2 - 2*i. Let s be (-4)/(-8)*(-1 + 3). Let u be j(s). Suppose -3*t + 1320 = u*w, w + 2*t = 416 + 27. Is w prime?
False
Let v(x) = 242*x**3 - 2*x**2 - 2*x - 1. Is v(3) a composite number?
True
Let g be 0 + 1 + -122 + 1. Let b = g - -242. Let u = 81 + b. Is u a prime number?
False
Let n(u) = -u**3 + 11*u**2 - 4*u - 5. Suppose 2*y = 7*y. Suppose y*a = -4*a + 40. Is n(a) prime?
False
Let p(m) be the third derivative of 5/6*m**3 - 14*m**2 + 0 + 3/8*m**4 - 1/15*m**5 + 1/40*m**6 + 0*m. Is p(7) a prime number?
False
Suppose 2*n - 33834 = -4*u, -13*n = -15*n - u + 33840. Is n a composite number?
False
Let n be 4 + -4 + (-6)/(-3). Suppose n*y - h - 507 = 0, -2*h = 3*y + 2*h - 733. Is y a prime number?
True
Is ((-80)/(-120))/((-2)/(-11967)) composite?
False
Let l(a) be the first derivative of 7*a**3/3 - 13*a**2/2 - 15*a - 1. Let f be l(11). Let x = f - 400. Is x prime?
False
Let c(l) = l**2 - 3*l + 7. Let u be c(6). Let x = u + -9. Is (-122)/(-1)*24/x composite?
True
Suppose -3*s - 24*l + 21423 = -27*l, -7145 = -s - 3*l. Is s a prime number?
False
Let p be 0 - (4 - 6) - (8 - 1). Is ((-16)/(-40) + 3447/p)*-1 prime?
False
Let g = 70 + -74. Is 6/6*2174/(-8)*g a composite number?
False
Suppose 4*f = -14*f - 13464. Let y = f + 1859. Is y a prime number?
False
Let d(n) = 2*n - 14. Let y = 29 - 9. Let c = -10 + y. Is d(c) composite?
True
Suppose -2*x + 4*a - 4 = 4, -16 = -5*x - 2*a. Let o(n) = 743*n + 16. Is o(x) composite?
True
Suppose -k = 3*c - 1105, -3*k + 2*c = -2*c - 3289. Is k a composite number?
True
Suppose m = 5*j - 10 - 9, -2*m - 52 = -3*j. Let x = -20 - m. Is ((-316)/(-2))/(-7 + x) a prime number?
True
Suppose -4*n = -4*u - 5828, 3*n - 7305 = -2*n - 5*u. Is n a composite number?
False
Suppose -3*a - v + 2702 + 2734 = 0, -9060 = -5*a - v. Suppose 315 = -3*j + a. Is j a prime number?
True
Let n be ((-18)/(-12) - 4)/((-2)/33692). Suppose -n = -8*j - 779. Is j a prime number?
True
Let q be 6/(-24) + 92134/(-8). Let o = q - -16664. Is o a composite number?
False
Let b(s) = -s**3 + 4*s**2 - 3*s - 2. Let c be b(3). Let q = c + 1. Is q + (1*1016)/4 composite?
True
Let i(c) = 10*c**2 - 11*c - 8. Let z(o) = -11*o**2 + 12*o + 9. Let k(d) = -5*i(d) - 4*z(d). Let q be k(4). Let x = q + 183. Is x a composite number?
True
Suppose 43631 + 10965 = 4*a. Is a a composite number?
False
Let q be (-25264)/20*-1*5. Let v = q - 1221. Is v prime?
False
Let q = 11231 - 5308. Is q a composite number?
False
Let b(q) = 2*q**3 - q**2 - q + 1. Let n be b(1). Suppose -n = -h + 34. Is h a composite number?
True
Let t(m) be the second derivative of -11*m**3/3 - 11*m**2/2 + 6*m. Is t(-12) prime?
False
Let w(y) = y**2 - 3. Let g be w(-7). Suppose 0 = 3*k - g - 29. Suppose 0 = l + 4 - k. Is l a composite number?
True
Suppose -4*a = -u - 7, 4*a - 5 = 4*u - 1. Is -5*a/((-4)/614) prime?
False
Let z = 129 + -132. Let o(n) = -17*n - 14. Is o(z) a prime number?
True
Suppose -3*f = k - 496, 5*f - 4*k + 5*k - 826 = 0. Suppose -s - f = -2*s. Is (s/10 + 0)*2 a prime number?
False
Let h(n) = -n**2 - 11*n + 6. Let y be h(-8). Let k = -53 - -43. Is 14*y - k/(-10) a composite number?
False
Let q(k) = k**3 - 6*k**2 - 6*k - 5. Let b be q(7). Suppose -b = 2*s - s. Is (-203)/(s/4*2) a composite number?
True
Suppose 6 = -11*u + 14*u. Suppose -776 = -u*y + 50. Is y composite?
True
Let r = -2474 - -14361. Is r a composite number?
False
Suppose g + 358 = -3*x, 2*g - 3*x + 600 = -152. Let p = g - -697. Is p composite?
True
Is (-1)/(-2 - -1 - (-45760)/45776) a composite number?
False
Suppose -5*l = -2*l + 2*n - 5949, 5*l = 3*n + 9896. Suppose -5*k + l + 1384 = 0. Is k prime?
True
Suppose -3*f + 47 = 5*i + 3, -f + 24 = 4*i. Suppose -f*p - 370 = -3*p. Let v = p - -133. Is v a composite number?
False
Suppose 3*v - 7395 = 4923. Is v composite?
True
Let c = 130 + -132. Let u(k) = k**2 - 5*k + 6. Let g be u(4). Is g*c/4 + 35 a prime number?
False
Let x be 30/6 - -148 - 3*-1. Let w = x + -110. Is w a prime number?
False
Suppose 6 + 0 = n. Suppose 0 = 2*j - n - 4. Suppose 4*s - 2*i + 4*i - 206 = 0, j*s - i - 268 = 0. Is s a prime number?
True
Suppose 64744 = 4*a - 3*f, 10*f = 11*f + 4. Is a a composite number?
False
Suppose -13*l + 9 = -10*l. Suppose -l*y = -y. Suppose y*g = 2*g - 130. Is g a prime number?
False
Suppose -162842 = -22*b - 13704. Is b prime?
True
Let v(o) = o - 10. Let w be v(10). Let p be (w - (-447)/9)*21. Suppose -2*i + 5*i - 5*t - 3180 = 0, -i = 4*t - p. Is i composite?
True
Let l(s) = -1 + 4 - 427*s - 3. Let c = 7 + -8. Is l(c) composite?
True
Let j be 7/2*40/14. Suppose -3*c + 15 = -5*p, 2*c - 2*p = 2*p + j. Suppose 0*b = 4*b - 12, 5*b = c*y - 1300. Is y composite?
False
Let c(w) = 2*w**2 - 3*w - 4. Let k be c(3). Suppose -y + 133 = 3*n - k*y, -y = -2. Is n a prime number?
True
Let o = 2566 + -631. Suppose 0 = -13*v + 4*v + o. Is v a composite number?
True
Suppose -5*r + 76 = 5*t - 189, r + 5*t - 73 = 0. Let v(p) = 5*p**2 - 1 + r*p**2 - 2 - 6*p + 0. Is v(-2) composite?
True
Suppose 0 = 36*n - 18967 - 140909. Is n a prime number?
True
Let z be 1/5 + (-38)/(-10). Let j(c) = 23*c**2 + 8*c - 27. Is j(z) a composite number?
False
Let q(g) = 15*g**3 + 3*g - 3*g**2 - 10*g**3 - 9 + 9*g**3 - g**3. Is q(4) composite?
False
Suppose -6*t + 14760 =