y*g(b) - 6*k(b). Is d(0) a composite number?
True
Let w(x) = x**3 - 4*x**2 - 2*x - 1. Let h be w(3). Let c = 7 - 1231. Is c/h + (-1)/(-2) prime?
False
Is (15*99)/5 + -2 + 4 a prime number?
False
Suppose -x - 4*p - 1020 = 0, 2*p + 2022 = -2*x - 0*x. Let c = x + 1471. Is c a prime number?
True
Suppose 3*g - 10 = 8. Is 132 + 10/(4 - g) a composite number?
False
Is (-3386)/(-4)*1*(24 + -10) a composite number?
True
Let p = -9 - -8. Let i be (-348)/(-8)*p*38. Is (-2)/(-7) + i/(-21) a prime number?
True
Suppose x - 9 = -0*x - 2*r, 3*r - 11 = -x. Suppose 5*o - x*a - 80 = 0, -2*o + 4*a + 22 = -o. Is 1558/o - (-4)/(-14) a prime number?
False
Let y(r) be the third derivative of -r**8/20160 + r**7/5040 + 127*r**6/720 + 11*r**5/60 + 3*r**2. Let h(l) be the third derivative of y(l). Is h(0) prime?
True
Let r be (-284)/24 + 1/(-6). Let l be (-1315)/(-4) + (-3)/r. Suppose -l = -5*q + 146. Is q a prime number?
False
Suppose 3*r + 230 = -4*z, 240 = z - 5*z + 2*r. Let k = 192 - z. Is k prime?
True
Let s(b) = 230*b - 151. Is s(10) composite?
True
Suppose 12*k = 9*k + 4617. Suppose r = -5*g - r + 7681, k = g - r. Is g composite?
True
Suppose 4*g - 4*k = -0*k + 24532, -3*g - 3*k + 18387 = 0. Is g a composite number?
False
Let w(y) = 2*y**3 + 3*y**2 + 3*y + 1. Let c be 5/((-25)/15) - -6. Is w(c) prime?
False
Let q = -9 - -9. Suppose q*j - 4 = -j. Suppose -3*u - 904 = -j*d, -2*d + 572 = u + 130. Is d a prime number?
True
Let o = 49989 + 4310. Is o a prime number?
False
Let w(c) = -15*c + 0 + 1 + 10 + 64*c + 1. Let i be 4 - (0 - (-1)/(-1)). Is w(i) composite?
False
Suppose 0 = -0*r + r - 7. Let u = r + -3. Suppose 0 = -5*j - u*b + 545, j - 3*b = -2*j + 354. Is j a composite number?
False
Suppose 20 = -0*k + 4*k. Suppose 5*b + 64 = -k*w + 3494, 0 = -3*b. Let a = w + -133. Is a a prime number?
False
Let t = -30 + 21. Let o be 6*(1479/t)/(-1). Suppose 8*v - o - 30 = 0. Is v prime?
True
Is 3/15 + 18814/5 prime?
False
Let t(z) = z**3 + 28*z**2 - 24*z - 36. Is t(-17) composite?
True
Let m(v) be the first derivative of 58*v**3 - v**2 + v + 5. Let a be m(1). Suppose 0*j + 3*w + 707 = 4*j, -2*w = -j + a. Is j prime?
True
Let r = -204 - -320. Suppose -t + 736 = 5*i, -4*i = -3*t - r + 2419. Is t prime?
True
Suppose 0 = -3*y + 67 + 62. Is (-5)/((-1)/y - 0) a composite number?
True
Let x = 11078 + -87. Is x composite?
True
Suppose 12 = -3*w, -d + 320 - 1138 = 4*w. Is 15/(-10) + d/(-4) a prime number?
True
Suppose 0 = 3*c + 4*g - 3856, -3*c - 2*c = g - 6438. Let y = c + -355. Is y/5 + (-10)/(-25) prime?
False
Suppose -2*i - 14625 = -5*a, -a - 30*i = -33*i - 2912. Is a composite?
False
Let k(v) = 2*v**3 - 64 + 10*v - 6*v**2 + 66 - v**3. Is k(7) prime?
False
Suppose k - 3*k + 8 = 0. Suppose 5*p - k*g - 105 = 0, 5*g - 10 = 3*g. Suppose 0 = 2*u - 21 - p. Is u a composite number?
False
Suppose -o + 0*o = -437. Suppose -2*n + o = -f, f + 928 - 275 = 3*n. Let h = n - 127. Is h a composite number?
False
Let x(w) = -w**2 + 467 + 440 + 6*w**2 - 3*w - 4*w**2. Is x(0) composite?
False
Suppose b + 0 = 2. Suppose 0 = -0*t + b*t + 274. Let x = t + 196. Is x a composite number?
False
Let l = -13 + 7. Let q be (46/l)/(7/63). Let x = q + 283. Is x a prime number?
False
Suppose -24*o + 4*l + 899 = -23*o, -4*l - 5314 = -6*o. Is o a prime number?
True
Let m = 146 + -146. Suppose m = k + f - 1598, 4*k - 1036 - 5351 = f. Is k a composite number?
False
Let g = 591 + -322. Let r = -1130 + 1598. Let l = r - g. Is l prime?
True
Suppose -502 = -2*a + b, a = b + 4*b + 233. Is a composite?
True
Let s be (-5)/(-25) - 58/(-10). Suppose -29 = -3*c + 4*v, -c - 3*v + s*v + 8 = 0. Let f = c + -4. Is f a composite number?
False
Suppose 21232 = 16*j - 12*j. Is j/14 + 10/(-70) a composite number?
False
Suppose 0 = -2*j + 4*w - 26, 0*j + 5*j = 4*w - 35. Is ((-1)/j)/(5/23955) a prime number?
True
Let l(b) = 2*b**3 - 8*b**2 + 6*b + 19. Let u(j) = -2*j**3 + 9*j**2 - 6*j - 19. Let t(q) = 7*l(q) + 6*u(q). Is t(13) a composite number?
False
Let b(w) be the third derivative of 7*w**4/12 + 7*w**3/6 - w**2. Let x be b(5). Suppose 0 = 2*c - x - 189. Is c composite?
True
Suppose -t - t - 1196 = 0. Let d = t - -849. Is d composite?
False
Let i(a) = 277*a + 14. Is i(27) composite?
True
Let l(y) be the second derivative of -1/2*y**2 + 1/6*y**3 + 0 + 37/6*y**4 - 5*y. Is l(-2) composite?
False
Let j(g) = g**2 + 16*g - 27. Let l be j(-17). Is (-1414)/l + (1 - 49/35) prime?
False
Suppose -3*h - a = -4*h - 3, 0 = -2*h - a - 6. Is ((-10)/h - 3)*951 a composite number?
False
Let v(d) = -30*d**3 - 17*d**2 - 8*d + 41. Is v(-10) composite?
True
Let q = 51 + -51. Let m(h) = 2*h + 1009. Is m(q) prime?
True
Let m(f) = 702*f - 305. Is m(3) a prime number?
True
Let j(g) = 1. Let i(h) = -29*h + 15. Let v(r) = i(r) + 5*j(r). Is v(-7) composite?
False
Let y(o) be the first derivative of 128*o**3/3 + o - 4. Is y(-1) a prime number?
False
Suppose -7*g + 8 = -6. Suppose -5*j + 417 = -g*j. Is j prime?
True
Suppose a = -4*a - 3*i + 437, -65 = -a + 5*i. Is a composite?
True
Let i(z) = -132*z - 349. Is i(-14) a prime number?
True
Suppose 3*f + 2*o = -6, -2*f - 1 = 5*o + 3. Let m be (-40)/(-6) + f/3. Is 6530/26 + m/(-39) prime?
True
Let a = 96046 - 54523. Is a composite?
True
Let m = 7 + -1. Suppose x - 3 = -3*c, 0 = 2*x - 3*x - 2*c + 3. Is -14*-179*x/m prime?
False
Let h(d) = 5*d - 6. Let v be h(-3). Let s = v - -43. Let y = 111 + s. Is y a prime number?
False
Suppose -u = f - 139, 3*u - f - 3*f - 417 = 0. Suppose 6*b - u = 317. Suppose -2*o + 2 = -b. Is o a prime number?
False
Let w(j) = -j**3 - 3*j**2 + 11*j + 7. Let g be w(-5). Suppose c - 1767 = -g*c. Is c composite?
True
Let g be 24/(-9)*(-9)/6. Suppose g*x = -4*t + 2*t + 3176, -2*x + 5*t = -1588. Suppose 0 = 4*r - 5*r - 3*o + 397, -5*o = -2*r + x. Is r composite?
False
Suppose 15241 = 14*o - 18863. Let g = -919 + o. Is g composite?
True
Suppose 10 = 3*q - 5. Suppose -q*b = -13 - 2. Suppose u = -3*v + 241 + 69, 4*u = b*v + 1225. Is u a prime number?
True
Let m = -2601 + 4272. Is m prime?
False
Is 6/(-39) - 402570/(-78) a composite number?
True
Suppose -3*u - 303*o = -298*o - 39682, -u - 3*o + 13226 = 0. Is u prime?
True
Let g = 2198 - 1479. Is g a prime number?
True
Let a = 39 + -24. Suppose a*t = 13*t + 382. Is t a prime number?
True
Let a(g) = -2*g + 17. Let p be a(7). Is 87 - (-1 + (p - -2)) composite?
False
Suppose 1 = -b + 2*b. Let w be ((-13)/(-26))/(b/(-4)). Is (4 + -5)*(-125 + w) a composite number?
False
Suppose 3*x + 6 = 3*v, -x = 4*v + x - 32. Suppose -s - v = 3*f - 6*f, -2*s = 5*f - 10. Suppose 0*q - q + 97 = s. Is q a composite number?
False
Let t(l) = 4451*l + 88. Is t(5) composite?
False
Let b = 16712 + 5477. Is b prime?
True
Suppose -41*h = -53*h + 11436. Is h a composite number?
False
Is (-15)/3 - -21194 - 4 - 6 prime?
True
Let f(l) = 3*l - 2. Let s(m) = -3*m + 2. Let z(x) = -5*f(x) - 6*s(x). Let q be z(2). Suppose q*v + c - 1961 + 647 = 0, 2*c = 3*v - 991. Is v prime?
False
Let m = 484 + 10103. Is m a prime number?
False
Let a be -2 - 9/(-3) - -729. Let b = a + 67. Is b prime?
True
Suppose 15*z + 1 = 46. Is (8/(-24))/((z/3771)/(-1)) prime?
True
Let a be (-14 + 24)*(-10)/(-4). Let l = a + 222. Is l a composite number?
True
Suppose 5*s = 0, -4*s - 29 = 3*t - 5. Is ((-7312)/(-64))/(14/t - -2) composite?
False
Let q(v) = -8*v**2 + 2*v. Let m be q(4). Let r be (10/(-8))/((-6)/m). Let k = -18 - r. Is k composite?
False
Let s be (-4)/((-1)/(1/2)). Let w(n) = -n**3 - 7*n**2 - 6*n + 6. Let b be w(-6). Suppose 2*p = 4*x - 240, -2*x + 126 = -b*p + s*p. Is x a composite number?
False
Is (-32367)/(-2) - (-6)/(-12) a composite number?
False
Let c be 5/((-15)/6) - -634. Let r = c - 45. Is r prime?
True
Suppose -2*f = o - 3, 2*f - o = -0*o + 9. Suppose f*x = -s + x, x + 5 = 2*s. Let p(v) = 129*v**2 + v - 4. Is p(s) a prime number?
False
Suppose -4*n = n - 25, -g + 3*n = -7702. Is g composite?
False
Let x be (-2233)/(-2) + -4 + 1/2. Let f = 1856 - x. Is f prime?
True
Let s(m) = m**2 - m. Let o(f) = 48*f**2 + 7*f - 3. Let n(j) = o(j) + 4*s(j). Is n(2) composite?
False
Let o(i) = -940*i - 51. Is o(-5) a prime number?
True
Suppose -13*d + 28 - 2 = 0. Suppose 2*v - 3*b = -4*b + 113, d*b = -5*v + 284. Is v a composite number?
True
Let o be 6 + 0 + -8 + 7. Suppose -5*w = -2*f + 1880 + 55, -w = o*f + 387