-6*c + 4*c = -10858. Suppose -2511 - c = -10*h. Is h a prime number?
False
Suppose 954514 - 292266 = 8*l. Is l a prime number?
True
Let c be 2/10 - (18/(-5))/2. Suppose -j + c*j = 3*s + 1663, s = -3*j - 561. Let a = -40 - s. Is a prime?
False
Suppose 3*m - 5*l = 31, m - 3*l + 3 = 20. Suppose m*j - 617 = 2337. Is j a prime number?
False
Let b(d) = -88*d**3 - 2*d**2 + 4*d - 1. Let m be b(-3). Let z be ((-40)/12)/(4/(-6)). Suppose -942 = -4*l - 5*g + 934, z*l - m = 5*g. Is l a prime number?
False
Let q(h) = 13*h + 109. Let d be q(-8). Suppose -9136 = -o - 3*j, -3*o + 4*o - d*j - 9128 = 0. Is o composite?
False
Let h(w) = 108*w**2 + 19*w - 13. Let x = 199 + -191. Is h(x) prime?
False
Let d = -11387 + 57580. Is d prime?
False
Let c = 466 + -461. Suppose -c*w + 1170 = -155. Is w a composite number?
True
Let h = 617 - 601. Suppose 4 = 4*j + h, -65616 = -2*d - 2*j. Is d prime?
False
Suppose -3 = -4*x + 5*x. Let v be 65/39 - 28/x. Let y(i) = 9*i + 14. Is y(v) composite?
False
Let f(r) = -9*r**3 + 7*r**2 - r - 1. Let p = -42 - -69. Let q be (-114)/p + (12/27)/2. Is f(q) a composite number?
False
Let q = -136 + 114. Is (-109481)/(-11) + (8 - (-172)/q) a prime number?
False
Let m = 259 - 261. Is m*2/20 + 24528/40 a prime number?
True
Suppose -7*u = -5*u - 14. Let c(n) = 11*n**3 - 9*n**3 - 16*n + 2 - 3 + 5*n**2 - n**2. Is c(u) a composite number?
False
Suppose 2*p = -5*h + 5939333, 0 = -4*p + 19 + 17. Is h a composite number?
False
Is 18/12 + (-35911)/(-2) + 0 composite?
False
Is (-2)/2*(-4 - 545613 - 24) composite?
False
Let z be -8 + 11 + (11 - -1). Let i be 1/(-9)*-6*z. Let f = i - 0. Is f a composite number?
True
Let o = 20 + -15. Let z be -18 - 42 - (o + -1). Let n = 7 - z. Is n prime?
True
Let z = -65 - 6. Let i = 53 + z. Let b = i + 413. Is b a prime number?
False
Let h(p) = -p**3 + 17*p**2 - 18*p + 23. Let m(f) = f**3 - 18*f**2 + 19*f - 24. Let u(z) = 7*h(z) + 6*m(z). Let w be u(10). Is 1328/3 - 1/w composite?
False
Suppose -9*c = -0*c - 1224. Suppose 3*s - c = 10325. Is s a composite number?
True
Is 22369726/266 - (22/(-77))/(-1 + 2) composite?
True
Suppose -7*l - 7973 = -42196. Is l a prime number?
True
Let m = -23 - -19. Let z be (-1 - (-6327 + m))*1. Suppose -14*o + 4*o + z = 0. Is o composite?
True
Let n(s) = 81518*s**2 - 171*s + 3. Is n(2) a prime number?
False
Let a = 518 + 372. Let k(s) = -337*s**2 - 2*s - 2. Let j be k(-1). Let g = a + j. Is g prime?
False
Suppose -2*h = -4*u - 2, -2*u + 4*h - 16 = -0*h. Let n(l) = 45*l**2 - 13*l + 79. Let i be n(11). Suppose -i = u*g - 20335. Is g a composite number?
False
Let g(p) = -16 - 202*p + 1 - 82 - 66. Is g(-6) a composite number?
False
Let n(j) = j**3 + 2*j**2 - j. Let y be n(-3). Let s(u) = 20*u**2 - 162*u + 14. Let g be s(8). Is (y + -1)/(g/46) a composite number?
True
Suppose 8196868 + 16562199 = 138*s + 4618105. Is s composite?
False
Let l(g) = -4868*g - 6979. Is l(-6) prime?
True
Let r(z) = -z**2 + 5*z + 3. Let u be r(5). Suppose 0 = 2*p + t - 815, -3*t = u + 6. Is p a prime number?
True
Let c(r) be the third derivative of r**6/60 - 4*r**5/15 + r**4/6 - 9*r**3/2 + 3*r**2 - 11*r. Is c(11) prime?
True
Let c = -119137 + 183246. Is c prime?
True
Let z be 3/(-6)*1 + (-172863)/(-18). Suppose z = 10*f - 9827. Is f a composite number?
True
Let w be 1/((-9 - -4) + (-236)/(-47)). Suppose -149035 = -w*z + 6*z. Is z a composite number?
True
Suppose 0 = 2*j + j - 3*o + 6, -4*j = 4*o - 24. Let m(i) = 209*i**3 - 2*i**2 + 7*i - 5. Is m(j) a composite number?
True
Suppose 3*a - 32710 + 2373 = 2*o, 0 = -2*a - 3*o + 20229. Is a composite?
True
Let n(f) = -123*f + 11. Let g be n(9). Let s be 1*(6 - -2618) - (1 + -4). Let h = s + g. Is h a prime number?
True
Let b(v) = -v**3 + v**2 + 324*v - 115. Is b(-53) a composite number?
False
Let l(b) = -2*b**2 - 11*b - 19. Let s be l(-4). Let w(k) = -10*k**3 - 11*k**2 - 4*k + 14. Is w(s) composite?
True
Suppose -14*t + 2 = -13*t. Suppose -t*f - 4*z - 4244 = -6*f, 3*f - 2*z - 3183 = 0. Is f prime?
True
Suppose 0 = 128*c - 131*c + 4071. Is (-4)/(-5)*5 + c a prime number?
True
Let w be (8 + -11)/(1/(-62)). Suppose 1959 = 5*c + 10*y - 6*y, -387 = -c - 2*y. Let o = c - w. Is o a prime number?
False
Suppose -20*c - 2*u = -23*c + 4298843, -2*u + 2865902 = 2*c. Is c a composite number?
True
Is -15 - 1 - -12 - -186101 a prime number?
True
Let h(p) = 14*p**2 - 56*p + 3. Let f be h(4). Let c(m) = 165*m**2 + m - 1. Let o be c(1). Suppose -4*u = -12, -o = -f*z - 0*u + 3*u. Is z a prime number?
False
Suppose 186 = 4*a - 7*a. Let z = a + 64. Is z/6 - 2926/(-33) a prime number?
True
Let b(d) = 3461*d**2 - 138*d + 23. Is b(-18) a composite number?
True
Let z(j) = -5*j**2 - 540*j - 6. Is z(-5) a composite number?
True
Suppose -2*m - 2 = -n + 4, 5*m = 5*n - 25. Suppose 11713 = 4*z - p + 4*p, z = n*p + 2933. Is z a prime number?
False
Suppose m + 2*r - 9 = 0, 0 = 5*m - r - 26 + 3. Suppose -5 = m*p, -p = 3*b - 5*p - 58663. Is b a composite number?
False
Suppose -1056023 = -6*j + 511189. Is j/12 + 6/288*8 prime?
True
Let x = -5104 + 13180. Let g = x + -3179. Is g composite?
True
Is 45151127/112 + (-29)/464 a composite number?
True
Is (-2 - (-11022 - -3))*(-2 - -3) composite?
True
Suppose -53*r + 50*r = 23337. Let o = -4418 - r. Suppose -w = 5*l - o, 7*l + 4*w = 3*l + 2676. Is l a prime number?
True
Let z(h) = -2*h - 2. Let y be z(-2). Suppose -1 + 10 = -3*s, 0 = y*f - 2*s. Is ((-573)/(-12))/(f/(-60)) prime?
False
Let u(x) = 2*x**3 + 7*x**2 + 12*x - 50. Let b be u(2). Let k(w) = 14*w + 0 - w**2 - 5 + 23*w. Is k(b) composite?
False
Let o = 6584 + -1072. Let r = 12905 - o. Is r a composite number?
False
Suppose 5*p + 67*c - 233880 = 62*c, 5*c = -35. Is p composite?
True
Suppose w + b + 151 - 165 = 0, -5*w - 2*b + 67 = 0. Suppose 77 = 4*t + 17. Suppose -w*z = -t*z + 422. Is z prime?
True
Suppose 2*y = -4*p + 110, -3*y + 188 = p + 3. Let s(o) = -117*o - 1 + 68*o + 5*o**2 + y*o + 45. Is s(-7) a composite number?
False
Let b be (5 - 5)*(-2)/(-2). Suppose 3*n - 2 = 4*n + 2*a, 5*n - 2*a - 14 = b. Suppose 5*p + n*p = 1001. Is p a composite number?
True
Let s = -110 + 116. Suppose -5*d = -3*i - s - 39, -i - 2*d = 4. Let v = 9 - i. Is v a prime number?
True
Suppose -15751 = 5*l - 2*f, -4*f = 5*l + 9534 + 6229. Let x(d) = -d**2 - 14*d - 8. Let t be x(-6). Is 2*((-15)/t - l/8) prime?
True
Let k(x) = 156*x**2 - 15*x + 265. Is k(-26) a prime number?
False
Suppose 584546 = 5*f - 2230924. Suppose -173980 = -26*t + f. Is t a prime number?
True
Let t be (0 - -2)*(-133)/(-14). Is ((-2018)/(-6) - 0)/(t/57) a prime number?
True
Suppose 0 = -177*m + 134*m + 967973. Is m composite?
False
Let w = 6353 - -6468. Is w prime?
True
Suppose 0*r = -r - 5*g - 15, -g - 3 = r. Suppose -3*c = -4*j + 1543, 5*j + r*c - 5*c - 1935 = 0. Is j prime?
False
Let r be (-11249)/(-14)*(0 - 2). Let m = r + 2758. Is m a composite number?
False
Let x(n) = n**2 + 18*n - 37. Let k be 6/15 + 168/30. Suppose k*r = 12*r - 90. Is x(r) composite?
True
Let a(r) = 3*r**3 + 6*r**2 + 7*r + 769181. Is a(0) composite?
True
Suppose -5 + 15 = 2*q. Suppose -10704 = -q*s - 1169. Is s composite?
False
Suppose -4*w = w + 5, -31084 = -3*i + 4*w. Let k = i + -5961. Is k composite?
True
Suppose 34039 = g + 5*d, -2*g + 105*d = 108*d - 68050. Is g prime?
True
Suppose 310 = 2*h - 2*q, -2*q = -0*h - 3*h + 468. Suppose 7736 = -154*k + h*k. Is k a composite number?
True
Let a(c) be the first derivative of -251*c**2 + 17*c - 34. Is a(-21) prime?
True
Suppose -8*v - 41 = -169. Let d(o) be the first derivative of 28*o**2 - 9*o - 2. Is d(v) a prime number?
True
Let c be 546/21 + (1 - 10/2). Suppose c*s - 337735 = 75579. Is s composite?
False
Suppose v = -9, -3*c + 173595 = 4*v - 756678. Is c a prime number?
False
Suppose -99628 = -2*s + 2*g, -2*s - 10*g = -43905 - 55687. Is s composite?
False
Let i = 1061 - 523. Suppose -x + 2205 = -i. Is x composite?
True
Let b(f) be the third derivative of f**4/24 + 31*f**3/6 + 21*f**2. Let h be b(-22). Suppose -2*i = h*i - 737. Is i a prime number?
True
Is (-147 + 146)/((-2)/7114) prime?
True
Is -7*11/(-7) - -80028 prime?
True
Let b(s) = 177*s - 295. Let k be b(17). Suppose -3*w + 12203 = k. Is w a prime number?
True
Is (170/20 - 7)*718 prime?
False
Suppose -9615 + 1152 = -13*q. Let o = -686 + 334. Let m = q + o. Is m composite?
True