2 + 2 a composite number?
True
Suppose 2*p + 3*v = 44609, 22308 = 7*p - 6*p + 5*v. Is p a prime number?
True
Let p = -8 + 10. Let u = -1 + p. Is (0 - (1 + -20))/u composite?
False
Let u(b) = b**3 - 9*b**2 + 8*b + 3. Let v be u(8). Let h be v/((-2)/1704*-9). Suppose h = 3*n - 637. Is n composite?
False
Let b be 15698/(-5) - 3/(-5). Let y = b + 4674. Suppose y = -18*s + 23*s. Is s a composite number?
False
Let s = 11 + -4. Is (-2)/s - 27485/(-35) composite?
True
Suppose 35 = 3*v - 7*a + 2*a, -5*v - a + 21 = 0. Let i(z) = z**3 - 5*z**2 - 4*z. Let f be i(v). Is (-5)/(f/836)*1 a composite number?
True
Let a(d) = 3*d + 33. Let l be a(-9). Suppose -i - 2*r + l*r + 995 = 0, -i - 2*r = -989. Is i a composite number?
False
Suppose -3*n + 25351 = -5*o, 3*n - 2*o - 22732 = 2631. Is n a composite number?
True
Suppose 2*g + s - 30 = 0, -g + 5 = -3*s + s. Suppose -11*m - 470 = -g*m. Is m a composite number?
True
Suppose 0 = 4*l + 4*x - 35664, -2*l + 11836 = -4*x - 5984. Let s be l/6 + (-6)/(-18). Suppose -s = 9*z - 11*z. Is z prime?
True
Suppose -4*c + 3044 = -5*h - 52282, -3*c + 4*h + 41495 = 0. Is c a prime number?
True
Suppose -2*j = j + 9. Let z be -11 - 1*(-6 - j). Let h(r) = -r**3 - 5*r**2 + 11*r - 7. Is h(z) a composite number?
False
Let t = 32 + -30. Suppose -4137 = -t*r - r. Is r a prime number?
False
Is ((-2253)/3)/(10/(-50)) composite?
True
Let u = -310 + 19. Let g = -182 - u. Is g a prime number?
True
Suppose -4*v + 4*i = -61720, -3*v + i + 46296 = -4*i. Is v composite?
False
Let m(w) = 34 - 1 - 4*w - w. Is m(-10) prime?
True
Let y(n) = 86*n - 10. Let v be y(9). Suppose -c - 3*c + v = 0. Is c a prime number?
True
Is (-12)/54 - 210309/(-27) composite?
False
Let t(b) = -3*b**3 - 19*b**2 - 9*b - 10. Is t(-8) prime?
False
Suppose -4*s + 2*n = s - 16, 0 = 2*s - 3*n - 2. Suppose -g + 348 + 397 = 4*p, 0 = 2*p + s*g - 362. Is p a prime number?
False
Let o(b) = b**3 + b**2 + b + 3. Let d(k) = k - 9. Let n be d(10). Let g = 5 - n. Is o(g) composite?
True
Suppose 0 = 4*v + 2*d - 3298 - 730, -5*d - 985 = -v. Suppose -z + 0*j + v = -3*j, 3*z - 2999 = 5*j. Is z a composite number?
True
Let l(c) be the second derivative of -5*c**3/6 - 11*c**2/2 - 6*c. Is l(-9) prime?
False
Suppose -5*o + 2537 + 1843 = -5*w, 2*o = 0. Let d = -623 - w. Is d composite?
True
Let o = 9 + 1114. Is o a composite number?
False
Suppose -3*j + u + 17749 = 0, -5*j + 10*j = u + 29583. Is j a prime number?
False
Suppose 4*q + 7 - 23 = 2*z, -3*z - 20 = -5*q. Is 34/(-4)*(z + (-1 - 57)) composite?
True
Suppose l + 5*j - 6168 = 0, -21*l - 5*j = -18*l - 18454. Is l prime?
True
Suppose 7*j - 11*j - 2*h = 16, 5*j + 23 = -4*h. Suppose 1 = b - 0. Is 4 + 23 + j + b a prime number?
False
Suppose m + 0*m + 1 = 2*y, -4*m - 4*y - 4 = 0. Is (-200)/m + -10 + 9 composite?
False
Suppose -2*j + 3*j - 3 = 0. Suppose 0 = 4*f - 5*f + 5*u + 641, -4*f + 2564 = -j*u. Is f a prime number?
True
Let x = 48667 - 21854. Is x composite?
False
Let o = 27026 + -12013. Is o prime?
True
Let z be (-20)/15 - (-4)/3. Suppose -5*k + 25 = -40. Let l = z + k. Is l composite?
False
Let s be ((-2)/(-2))/(6/(-18)). Let x be (-44)/(-3) + 2/s. Suppose 5*o - 1295 = -2*r, x = 2*r + 4. Is o a composite number?
False
Suppose -23922 = -10*q + 20248. Is q prime?
False
Let b = -66 + 135. Let t = b + 648. Is t a prime number?
False
Let l be -462 + -9 - 2/1. Let m = -238 - l. Suppose 0*h + h - m = 0. Is h prime?
False
Is (-6 - -7) + -3 - -493 prime?
True
Suppose -2*j - 6 = -2*o, 2*o - 5 = 5*j + 1. Suppose -588 = -3*q - 3*i, -4*i + 6 + 14 = j. Is q a prime number?
True
Suppose j + 5*j + 6 = 0. Let b be (-9 - -7) + (j - -7). Suppose 0 = b*g - 3*o - 1996, -2*o = 2*g - o - 998. Is g a composite number?
False
Let i(c) = 8*c**3 - c**2 - 12*c + 4. Let t(p) = 2*p. Let w(o) = i(o) + 6*t(o). Suppose 2*z = 4*a - 8, 5 = -2*a + 5*a - 2*z. Is w(a) composite?
False
Let j = 13328 + -7945. Is j prime?
False
Let r(i) = 8*i**2 - 3*i + 12. Let z be r(-10). Let h = 1489 - z. Is h prime?
True
Let d(t) = -t**3 + 24*t**2 - 15*t + 93. Is d(-17) composite?
False
Suppose 7*z = 3*z + y + 15, -5*y - 11 = -4*z. Let d be (-425)/(-75) - (-10)/(-6). Suppose d*r = 5*v + 1157, 0 = z*r - v + 4*v - 1181. Is r prime?
True
Suppose 0 = 3*a + 4*h + 2018, 0 = a - 3*a + 3*h - 1317. Let f = -247 - a. Is f composite?
False
Let k(g) = 6*g + 111 - g**3 - 9*g**2 - 42 - 51. Suppose 0*m - 40 = 4*m. Is k(m) a prime number?
False
Suppose 5*w - 5163 = -5*b + w, w = -b + 1033. Is b prime?
True
Let d = -18 - -20. Suppose 3*c - d*n - 247 = -0*n, -c = -3*n - 94. Is c prime?
True
Let j = 3 - 5. Let g be 1 + (j - -1)*47. Let u = -12 - g. Is u prime?
False
Let d be 1/(-6) - 7262/(-12). Let g = d + -116. Is g prime?
False
Let u(b) = b**2 + 29*b - 23. Is u(19) a composite number?
True
Let h be (-48)/(-32)*32/6. Suppose -3*s + h*s - 15685 = 0. Is s a prime number?
True
Let i be (-3)/6*0 + 0. Suppose -5*o + 4*o + 2 = i. Suppose 4*p = -5*h + 183, -7*p + 185 = 5*h - o*p. Is h composite?
True
Let t be 2/(-9) + (-261)/(-81). Let k be ((-142)/8)/(4/(-16)). Suppose -q + k = -t*y, 0*y + 2 = -y. Is q a composite number?
True
Let b(o) = -5*o**2 - 10*o - 18. Let l(y) = 4*y**2 + 9*y + 19. Let q(n) = 3*b(n) + 4*l(n). Is q(15) prime?
True
Let n be 2/(-4) + (-2959)/(-22). Suppose 3*z - 154 = n. Suppose 5*f - 47 - 133 = -5*l, -z = -3*l + f. Is l a prime number?
False
Let b = -37854 + 68143. Is b a prime number?
False
Suppose u = -3*u + 12. Suppose -7*n = -u*n - 1240. Suppose -700 = -5*f + 5*g, -114 - n = -3*f - g. Is f prime?
False
Suppose 0 = -3*n + 6, -2*y = y - 2*n + 40. Let z(h) = 7*h**2 + 12*h - 1. Is z(y) a prime number?
True
Suppose -5*k - 3*n + 809 + 140 = 0, -2*n = 5*k - 946. Let y be (-9 + 0)*k/(-6). Suppose -4*j + y = -1394. Is j a composite number?
False
Suppose 16 = 4*p, 5*t = -0*p + 2*p + 17. Suppose -3*g + 60 = 3*d, t*g - 5*d = 3*g + 61. Is g composite?
False
Is (1184/222)/((-4)/(-6)) - -5943 a composite number?
True
Suppose 10 = 5*a, 2*b = -4*a + 4762 + 10148. Is b prime?
True
Is -4 + -9 + 31322 - 2 a composite number?
False
Let y = -5 + 10. Suppose -4*a + r = -3*r - 3540, -y*a + 4441 = 3*r. Is a prime?
True
Let m(l) = -890*l - 181. Is m(-37) prime?
True
Let i be (-4)/(-14) + ((-6)/21)/1. Suppose i = 5*k + t - 15999, 5*t + 15975 = 3*k + 2*k. Is k composite?
True
Suppose 0*j = -5*o + 4*j + 46, -2*j = -2. Suppose o = 5*v - 5. Suppose 3*d = v*f - 5889, 0 = -f + 3*f + 5*d - 3954. Is f prime?
False
Let w = 6986 - -23567. Is w composite?
False
Let n(c) = -2*c**3 - 14*c**2 - 11*c + 107. Is n(-20) a composite number?
True
Let q be (-1)/6 + 1/6. Suppose 4*j + j + 35 = q. Is (j - -2)/((-2)/94) composite?
True
Suppose 184*r = 178*r + 195582. Is r prime?
False
Let r be 8/5*(-10)/(-2). Suppose r*g - 13*g = -1685. Is g a prime number?
True
Is 55287 + 0 + (-15 - -13) a composite number?
True
Is 856630/85*((-1)/(-2))/1 prime?
True
Suppose 4*i - 29 = -3*o, -14 = -0*i + i + 5*o. Suppose i*y = 8*y + 66. Is (33/y)/((-1)/(-74)) composite?
True
Suppose 4552 = 4*q - 3*m - 3933, 5*q - 10640 = -3*m. Let h = q + -1026. Is h prime?
False
Suppose -19140 + 3250 = -5*n. Is (-3 + (-1)/(-1))*n/(-4) a composite number?
True
Let j be (-2 + (-7)/(-3))*39. Suppose j + 7 = 4*a. Suppose -3*h + 323 = a*k, 0*h - 420 = -4*h + 4*k. Is h a composite number?
True
Suppose z = -3*z - 16, -3*a + z = -16. Suppose a*t - 2*y - 1196 = 322, 5*y = -5*t + 1920. Is t prime?
False
Let t(j) = -53*j**3 + 7*j**2 + 20*j + 103. Is t(-5) a composite number?
False
Let y = 18701 - 8160. Is y composite?
True
Suppose p + 4*j = 11, 7*j - 10 = -2*p + 5*j. Suppose -p*x - 10114 = -3*h - 4*x, -5*h + 16852 = -3*x. Is h a prime number?
True
Let f(q) = 13*q**3 - 12*q**2 + 66*q + 1. Is f(6) a composite number?
True
Let h = -282 - -421. Let x = h - -63. Let w = 425 - x. Is w prime?
True
Suppose 5*y - 1005350 = -5*x, -2*x - y + 117943 + 284200 = 0. Is x a prime number?
True
Let a be -1*(2 - (-1 - -2)). Let x(r) = r**2 - r. Let h be x(a). Is 86 + h - (-3 - -4) a prime number?
False
Let p = 30422 + -18049. Is p prime?
True
Let m = -79 - -85. Is 4/m*(-25113)/(-22) a composite number?
False
Suppose -g + 355 = -4*x + 45, 3*g - 978 = -4*x. Let c(n) = -14*n**3 + 2*n**2 + n + 1. Let p be c(-2). Let q = g - p. Is q a composite number?
True
Is 3*(20928/9 - -7) a prime number?
True
Let x